diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-10-20 16:12:55 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-20 23:12:55 +0000 |
| commit | bef33ceaf0a6b69d76b4fd61cb03c990e86bc41c (patch) | |
| tree | 8dac5c6e500c4a6379270de70c3c547b5b0b18d8 /test/unit/api/java | |
| parent | 80cdf28298c9190506f37721492680f432ef635d (diff) | |
api: Add Solver::mkSepEmp(). (#7432)
@alex-ozdemir
Diffstat (limited to 'test/unit/api/java')
| -rw-r--r-- | test/unit/api/java/cvc5/SolverTest.java | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/test/unit/api/java/cvc5/SolverTest.java b/test/unit/api/java/cvc5/SolverTest.java index d153b8a91..6f9d8206d 100644 --- a/test/unit/api/java/cvc5/SolverTest.java +++ b/test/unit/api/java/cvc5/SolverTest.java @@ -623,6 +623,11 @@ class SolverTest assertDoesNotThrow(() -> d_solver.mkTerm(STRING_IN_REGEXP, s, d_solver.mkRegexpSigma())); } + @Test void mkSepEmp() + { + assertDoesNotThrow(() -> d_solver.mkSepEmp()); + } + @Test void mkSepNil() { assertDoesNotThrow(() -> d_solver.mkSepNil(d_solver.getBooleanSort())); @@ -2342,4 +2347,4 @@ class SolverTest + "\"Z\")))", projection.toString()); } -}
\ No newline at end of file +} |