From 57f29055f6777fd3f7fa8114b9a4e498423af7db Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Fri, 4 Dec 2015 17:53:33 +0100
Subject: [PATCH] Add these tests back
---
.../verification/purescala/PureScalaVerificationSuite.scala | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala b/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
index 974615e64..d308e840f 100644
--- a/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
+++ b/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
@@ -59,10 +59,10 @@ class PureScalaValidSuite3 extends PureScalaValidSuite {
val optionVariants = List(opts(2))
}
class PureScalaValidSuiteZ3 extends PureScalaValidSuite {
- val optionVariants = Nil//if (isZ3Available) List(opts(3)) else Nil
+ val optionVariants = if (isZ3Available) List(opts(3)) else Nil
}
class PureScalaValidSuiteCVC4 extends PureScalaValidSuite {
- val optionVariants = Nil//if (isCVC4Available) List(opts(4)) else Nil
+ val optionVariants = if (isCVC4Available) List(opts(4)) else Nil
}
class PureScalaInvalidSuite extends PureScalaVerificationSuite {
--
GitLab