From 671dc49883743c7286dcbec13fd1b2a2ec17f932 Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Mon, 28 Mar 2022 12:31:34 -0500 Subject: [PATCH] Fix synth result python unit test (#8418) --- test/unit/api/python/test_synth_result.py | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/test/unit/api/python/test_synth_result.py b/test/unit/api/python/test_synth_result.py index 27ff9f2d2..4248efa0d 100644 --- a/test/unit/api/python/test_synth_result.py +++ b/test/unit/api/python/test_synth_result.py @@ -38,10 +38,10 @@ def test_has_solution(solver): boolTerm = solver.mkBoolean(True) solver.addSygusConstraint(boolTerm) res = solver.checkSynth() - assert not res_null.isNull() - assert res_null.hasSolution() - assert not res_null.hasNoSolution() - assert not res_null.isUnknown() + assert not res.isNull() + assert res.hasSolution() + assert not res.hasNoSolution() + assert not res.isUnknown() def test_has_no_solution(solver): res_null = SynthResult(solver) @@ -53,7 +53,7 @@ def test_has_is_unknown(solver): boolTerm = solver.mkBoolean(False) solver.addSygusConstraint(boolTerm) res = solver.checkSynth() - assert not res_null.isNull() - assert not res_null.hasSolution() - assert not res_null.hasNoSolution() - assert res_null.isUnknown() + assert not res.isNull() + assert not res.hasSolution() + assert not res.hasNoSolution() + assert res.isUnknown() -- 2.30.2