def test_condition_abduction_test5(self):
print("running test_condition_abduction_test5")
s = Synthesizer(self.condition_abduction_grammar, [(4, 16), (6, 14),
(3, 8), (5, 25)])
start = time.time()
sol = s.find_solution_with_condition_abduction(self.boolean_grammar)
end = time.time()
assert (SynthesizerTest.found_sol(sol))
if SynthesizerTest.found_sol(sol):
with open("tests_results/test_condition_abduction_test5",
'w') as f:
f.write(sol)
with open("synthesizer_tests_report.csv", 'a') as f:
f.write(
f"test_condition_abduction_test5, {'Found' if self.found_sol(sol) else 'Not Found'}"
f", {end - start}\n")
def test_condition_abduction_test4_unrealizable(self):
print("running test_condition_abduction_test4_unrealizable")
s = Synthesizer(self.condition_abduction_grammar, [(2, 6), (6, 2),
(3, 9), (5, 15),
(12, 36)])
start = time.time()
sol = s.find_solution_with_condition_abduction(self.boolean_grammar)
end = time.time()
assert (not SynthesizerTest.found_sol(sol))
if not SynthesizerTest.found_sol(sol):
with open(
"tests_results/test_condition_abduction_test4_unrealizable",
'w') as f:
f.write(sol)
with open("synthesizer_tests_report.csv", 'a') as f:
f.write(
f"test_condition_abduction_test4_unrealizable, {'Found' if self.found_sol(sol) else 'Not Found'}"
f", {end - start}\n")