From afbf74df90b8a775ce33e1848e37633de891dddb Mon Sep 17 00:00:00 2001
From: Nicolas Voirol <voirol.nicolas@gmail.com>
Date: Thu, 28 Apr 2016 17:48:53 +0200
Subject: [PATCH] Ignored flaky test
---
.../verification/purescala/PureScalaVerificationSuite.scala | 6 +++++-
1 file changed, 5 insertions(+), 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 524a516ff..ff1fcd53b 100644
--- a/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
+++ b/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
@@ -59,7 +59,11 @@ class PureScalaInvalidSuiteFairZ3 extends PureScalaInvalidSuite {
class PureScalaInvalidSuiteCVC4 extends PureScalaInvalidSuite {
val optionVariants = isCVC4Available.option(opts.last).toList
- override val ignored = List("invalid/BinarySearchTreeQuant.scala", "invalid/PropositionalLogic.scala")
+ override val ignored = List(
+ "invalid/AbstractRefinementMap2.scala",
+ "invalid/BinarySearchTreeQuant.scala",
+ "invalid/PropositionalLogic.scala"
+ )
}
class PureScalaInvalidSuiteZ3 extends PureScalaInvalidSuite {
--
GitLab