def test_is_succ_true(self):
sdm_file = "data/filled_pre.sdm"
sudoku_pre = format.SudokuSet(open(sdm_file)).get(0)
sdm_file = "data/filled.sdm"
sudoku = format.SudokuSet(open(sdm_file)).get(0)
self.assertTrue(format.is_successor(sudoku, sudoku_pre))
def test_is_succ_false(self):
sdm_file = "data/two.sdm"
sudoku_pre = format.SudokuSet(open(sdm_file)).get(0)
sudoku = format.SudokuSet(open(sdm_file)).get(1)
self.assertFalse(format.is_successor(sudoku, sudoku_pre))