Re-enable unfolding in test suite

epfl-lara · Nov 22, 2019 · f2bea54 · f2bea54
1 parent b500e37
commit f2bea54
Showing 1 changed file with 0 additions and 1 deletion.
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),
     )
   )