def test1(self):
p = Problem('input2019/a_example.txt')
s = Solution(p)
s.add_horizontal(1)
s.add_vertical(1, 2)
s.add_horizontal(3)
self.assertFalse(s.check_correctness())
def test5(self):
p = Problem('input2019/a_example.txt')
s = Solution(p)
s.add_vertical(1, 2)
self.assertTrue(s.check_correctness())