Re-enable unfolding in test suite

romac · romac · commit f2bea545cf47 · 2019-11-22T15:32:41.000+01:00
diff --git a/frontends/common/src/it/scala/stainless/verification/ComponentTestSuite.scala b/frontends/common/src/it/scala/stainless/verification/ComponentTestSuite.scala
@@ -13,7 +13,6 @@ trait ComponentTestSuite extends inox.TestSuite with inox.ResourceUtils with Inp
     Seq(
       inox.optTimeout(300.seconds),
       inox.optSelectedSolvers(Set("smt-z3")),
-      inox.solvers.unrolling.optMaxUnfoldSteps(1),
       verification.optStrictArithmetic(false),
     )
   )

Original file line number	Diff line number	Diff line change
`@@ -13,7 +13,6 @@ trait ComponentTestSuite extends inox.TestSuite with inox.ResourceUtils with Inp`
`13`	`13`	`Seq(`
`14`	`14`	`inox.optTimeout(300.seconds),`
`15`	`15`	`inox.optSelectedSolvers(Set("smt-z3")),`
`16`		`- inox.solvers.unrolling.optMaxUnfoldSteps(1),`
`17`	`16`	`verification.optStrictArithmetic(false),`
`18`	`17`	`)`
`19`	`18`	`)`