diff options
Diffstat (limited to 'test/python/unit/api/test_solver.py')
| -rw-r--r-- | test/python/unit/api/test_solver.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test/python/unit/api/test_solver.py b/test/python/unit/api/test_solver.py index c7398aa3b..71ab17465 100644 --- a/test/python/unit/api/test_solver.py +++ b/test/python/unit/api/test_solver.py @@ -646,13 +646,13 @@ def test_mk_real(solver): def test_mk_regexp_empty(solver): strSort = solver.getStringSort() s = solver.mkConst(strSort, "s") - solver.mkTerm(kinds.StringInRegexp, s, solver.mkRegexpEmpty()) + solver.mkTerm(kinds.StringInRegexp, s, solver.mkRegexpNone()) def test_mk_regexp_sigma(solver): strSort = solver.getStringSort() s = solver.mkConst(strSort, "s") - solver.mkTerm(kinds.StringInRegexp, s, solver.mkRegexpSigma()) + solver.mkTerm(kinds.StringInRegexp, s, solver.mkRegexpAllchar()) def test_mk_sep_emp(solver): @@ -690,8 +690,8 @@ def test_mk_term(solver): # mkTerm(Kind kind) const solver.mkPi() - solver.mkTerm(kinds.RegexpEmpty) - solver.mkTerm(kinds.RegexpSigma) + solver.mkTerm(kinds.RegexpNone) + solver.mkTerm(kinds.RegexpAllchar) with pytest.raises(RuntimeError): solver.mkTerm(kinds.ConstBV) |