diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-04-21 10:21:34 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-21 10:21:34 -0700 |
| commit | ae5ee4b07dc3d3c792e7fe7f382ff490dd28aca4 (patch) | |
| tree | a7c2ab8013f46dbea75fcd6e7da3fb83e2012b2f /test/python/unit/api/test_solver.py | |
| parent | 86aa9bc35ba9dc9a57913a2ffc71619c7657cc35 (diff) | |
Goodbye CVC4, hello cvc5! (#6371)
This commits changes the build system to cvc5 and removes the remaining
occurrences of CVC4. It further cleans up outdated/unused scripts in contrib/.
Diffstat (limited to 'test/python/unit/api/test_solver.py')
| -rw-r--r-- | test/python/unit/api/test_solver.py | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/test/python/unit/api/test_solver.py b/test/python/unit/api/test_solver.py index b4a19afa8..74eda63bc 100644 --- a/test/python/unit/api/test_solver.py +++ b/test/python/unit/api/test_solver.py @@ -12,14 +12,14 @@ ## import pytest -import pycvc4 +import pycvc5 import sys -from pycvc4 import kinds +from pycvc5 import kinds @pytest.fixture def solver(): - return pycvc4.Solver() + return pycvc5.Solver() def test_recoverable_exception(solver): solver.setOption("produce-models", "true") @@ -31,9 +31,9 @@ def test_recoverable_exception(solver): def test_supports_floating_point(solver): if solver.supportsFloatingPoint(): try: - solver.mkRoundingMode(pycvc4.RoundNearestTiesToEven) + solver.mkRoundingMode(pycvc5.RoundNearestTiesToEven) except RuntimeError: pytest.fail() else: with pytest.raises(RuntimeError): - solver.mkRoundingMode(pycvc4.RoundNearestTiesToEven) + solver.mkRoundingMode(pycvc5.RoundNearestTiesToEven) |