From 25a98f632f385799148d4a9c0bf2c72b0f35d443 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Wed, 3 Jun 2015 15:24:47 +0200
Subject: [PATCH] Free solvers in tests
---
.../scala/leon/test/verification/NewSolversRegression.scala | 2 +-
.../test/verification/PureScalaVerificationRegression.scala | 4 ++--
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/test/scala/leon/test/verification/NewSolversRegression.scala b/src/test/scala/leon/test/verification/NewSolversRegression.scala
index 7329709b2..d7793a3b1 100644
--- a/src/test/scala/leon/test/verification/NewSolversRegression.scala
+++ b/src/test/scala/leon/test/verification/NewSolversRegression.scala
@@ -18,7 +18,7 @@ class NewSolversRegression extends VerificationRegression {
val optionVariants: List[List[String]] = {
val isCVC4Available = try {
- CVC4Interpreter.buildDefault
+ CVC4Interpreter.buildDefault.free()
true
} catch {
case e: java.io.IOException =>
diff --git a/src/test/scala/leon/test/verification/PureScalaVerificationRegression.scala b/src/test/scala/leon/test/verification/PureScalaVerificationRegression.scala
index 0221488a5..3bd1b82d4 100644
--- a/src/test/scala/leon/test/verification/PureScalaVerificationRegression.scala
+++ b/src/test/scala/leon/test/verification/PureScalaVerificationRegression.scala
@@ -16,7 +16,7 @@ class PureScalaVerificationRegression extends VerificationRegression {
val pipeBack = AnalysisPhase
val optionVariants: List[List[String]] = {
val isZ3Available = try {
- Z3Interpreter.buildDefault
+ Z3Interpreter.buildDefault.free()
true
} catch {
case e: java.io.IOException =>
@@ -24,7 +24,7 @@ class PureScalaVerificationRegression extends VerificationRegression {
}
val isCVC4Available = try {
- CVC4Interpreter.buildDefault
+ CVC4Interpreter.buildDefault.free()
true
} catch {
case e: java.io.IOException =>
--
GitLab