def test_passes_and_returns_solvable(self): result = solve_csp( csp_file=sample_csp_file_solvable, remove_tmp_files=True, csp_solver_config=csp_solver_config ) self.failUnlessEqual(len(result),2) #print result[0] self.failUnlessEqual( set(result[1].keys()), set([ 'minisat_cpu_time', 'csp_to_cnf_time', 'minisat_time', 'map_file_size', 'solution_list', 'satisfiable_bool', 'cnf_file_size' ]) ) self.failUnlessEqual( result[1]['satisfiable_bool'], True )
def test_passes_and_returns_not_solvable(self): result = solve_csp( csp_file=sample_csp_file_not_solvable, remove_tmp_files=True, csp_solver_config=csp_solver_config ) self.failUnlessEqual(len(result),2) #print result[0] # csp to cnf reports unsolvable # --> minisat is not triggered! self.failUnlessEqual( set(result[1].keys()), set([ 'csp_to_cnf_time', 'solution_list', 'satisfiable_bool' ]) ) self.failUnlessEqual( result[1]['satisfiable_bool'], False )