Fix synth result python unit test (#8418)

diff --git a/test/unit/api/python/test_synth_result.py b/test/unit/api/python/test_synth_result.py
index 27ff9f2d2844474236b97b9637a8b858bdbbca4a..4248efa0d583e094eefe50763c17f37d98397033 100644 (file)
--- 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()