Skip to content
Snippets Groups Projects
Commit d58ad346 authored by Manos Koukoutos's avatar Manos Koukoutos
Browse files

Fix OutOfBounds

parent 57f29055
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
+ 1
− 1
View file @ d58ad346
...@@ -62,7 +62,7 @@ class PureScalaValidSuiteZ3 extends PureScalaValidSuite { ...@@ -62,7 +62,7 @@ class PureScalaValidSuiteZ3 extends PureScalaValidSuite {
val optionVariants = if (isZ3Available) List(opts(3)) else Nil val optionVariants = if (isZ3Available) List(opts(3)) else Nil
} }
class PureScalaValidSuiteCVC4 extends PureScalaValidSuite { 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 { class PureScalaInvalidSuite extends PureScalaVerificationSuite {
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment