Ejemplo n.º 1
0
    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))
Ejemplo n.º 2
0
    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))