From d58ad3460aac828370effeab7e90c2297f2caecd Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Thu, 10 Dec 2015 15:43:07 +0100
Subject: [PATCH] Fix OutOfBounds
---
.../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 d308e840f..569eb95df 100644
--- a/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
+++ b/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
@@ -62,7 +62,7 @@ class PureScalaValidSuiteZ3 extends PureScalaValidSuite {
val optionVariants = if (isZ3Available) List(opts(3)) else Nil
}
class PureScalaValidSuiteCVC4 extends PureScalaValidSuite {
- val optionVariants = if (isCVC4Available) List(opts(4)) else Nil
+ val optionVariants = if (isCVC4Available) opts.takeRight(1) else Nil
}
class PureScalaInvalidSuite extends PureScalaVerificationSuite {
--
GitLab