From e3f130536377ec6bff526bb56949764012683738 Mon Sep 17 00:00:00 2001
From: Nicolas Voirol <voirol.nicolas@gmail.com>
Date: Sat, 7 May 2016 12:49:26 +0200
Subject: [PATCH] Un-ignored some nativez3 tests
---
.../verification/purescala/PureScalaVerificationSuite.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala b/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
index f2e709d7b..744e6b2f6 100644
--- a/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
+++ b/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
@@ -40,7 +40,7 @@ class PureScalaValidSuiteCodeGenNativeZ3 extends PureScalaValidSuite {
}
class PureScalaValidSuiteEnumNativeZ3 extends PureScalaValidSuite {
val optionVariants = List(opts(2))
- override val ignored = Seq("valid/Predicate.scala","valid/TraceInductTacticTest.scala")
+ //override val ignored = Seq("valid/Predicate.scala","valid/TraceInductTacticTest.scala")
}
class PureScalaValidSuiteZ3 extends PureScalaValidSuite {
val optionVariants = isZ3Available.option(opts(3)).toList
--
GitLab