diff options
Diffstat (limited to 'test/unit/api/java/ResultTest.java')
-rw-r--r-- | test/unit/api/java/ResultTest.java | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test/unit/api/java/ResultTest.java b/test/unit/api/java/ResultTest.java index 38e981888..59bd752ca 100644 --- a/test/unit/api/java/ResultTest.java +++ b/test/unit/api/java/ResultTest.java @@ -31,6 +31,11 @@ class ResultTest d_solver = new Solver(); } + @AfterEach void tearDown() + { + d_solver.close(); + } + @Test void isNull() { Result res_null = d_solver.getNullResult(); |