From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Mon, 28 Mar 2022 17:31:34 +0000 (-0500)
Subject: Fix synth result python unit test (#8418)
X-Git-Tag: cvc5-1.0.0~154
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=671dc49883743c7286dcbec13fd1b2a2ec17f932;p=cvc5.git

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 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()