From cbfa87da392894b298aad46a768e01aa6372b5d5 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Wed, 6 Apr 2016 11:08:41 +0200
Subject: [PATCH] Write names correctly
---
.../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 fb9b608cb..a33c85d7c 100644
--- a/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
+++ b/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
@@ -59,7 +59,7 @@ class PureScalaInvalidSuiteFairZ3 extends PureScalaInvalidSuite {
class PureScalaInvalidSuiteCVC4 extends PureScalaInvalidSuite {
val optionVariants = isCVC4Available.option(opts.last).toList
- override val ignored = List("invalid/BinarySearchTreeQuant.scala", "valid/PropositionalLogic.scala")
+ override val ignored = List("invalid/BinarySearchTreeQuant.scala", "invalid/PropositionalLogic.scala")
}
class PureScalaInvalidSuiteZ3 extends PureScalaInvalidSuite {
--
GitLab