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

Timeouts to all of PurescalaVerificationSuite

parent e9ccf933
No related branches found
No related tags found
No related merge requests found
......@@ -17,12 +17,12 @@ abstract class PureScalaVerificationSuite extends VerificationSuite {
val isCVC4Available = SolverFactory.hasCVC4
val opts: List[List[String]] = {
List(
(List(
List("--feelinglucky"),
List("--codegen", /*"--evalground",*/ "--feelinglucky"),
List("--solvers=fairz3,enum", "--codegen", /*"--evalground",*/ "--feelinglucky")) ++
isZ3Available.option(List("--solvers=smt-z3", "--feelinglucky")) ++
isCVC4Available.option(List("--solvers=smt-cvc4", "--feelinglucky"))
isCVC4Available.option(List("--solvers=smt-cvc4", "--feelinglucky")))
.map( _ :+ "--timeout=120")
}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment