From 188bb0f372e2274aabd7d75ffe2b1ef04b69c723 Mon Sep 17 00:00:00 2001
From: ravi <ravi.kandhadai@epfl.ch>
Date: Tue, 12 Apr 2016 17:34:03 +0200
Subject: [PATCH] Ignoring traceInductTact in testsuite with --codegen param|
---
.../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 22aa18098..524a516ff 100644
--- a/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
+++ b/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
@@ -38,9 +38,9 @@ class PureScalaValidSuite1 extends PureScalaValidSuite {
class PureScalaValidSuite2 extends PureScalaValidSuite {
val optionVariants = List(opts(1))
}
-class PureScalaValidSuite3 extends PureScalaValidSuite {
+class PureScalaValidSuite3 extends PureScalaValidSuite { // tests verification with --codegen parameter
val optionVariants = List(opts(2))
- override val ignored = Seq("valid/Predicate.scala")
+ override val ignored = Seq("valid/Predicate.scala","valid/TraceInductTacticTest.scala")
}
class PureScalaValidSuiteZ3 extends PureScalaValidSuite {
val optionVariants = isZ3Available.option(opts(3)).toList
--
GitLab