diff options
Diffstat (limited to 'test/unit/api/java/TermTest.java')
| -rw-r--r-- | test/unit/api/java/TermTest.java | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test/unit/api/java/TermTest.java b/test/unit/api/java/TermTest.java index cb59849e0..94f35e97f 100644 --- a/test/unit/api/java/TermTest.java +++ b/test/unit/api/java/TermTest.java @@ -39,6 +39,11 @@ class TermTest d_solver = new Solver(); } + @AfterEach void tearDown() + { + d_solver.close(); + } + @Test void eq() { Sort uSort = d_solver.mkUninterpretedSort("u"); |