From f2bea545cf4778fedefa7fa8931aadd4dbcc2e5c Mon Sep 17 00:00:00 2001 From: Romain Ruetschi Date: Fri, 22 Nov 2019 15:32:41 +0100 Subject: [PATCH] Re-enable unfolding in test suite --- .../src/it/scala/stainless/verification/ComponentTestSuite.scala | 1 - 1 file changed, 1 deletion(-) diff --git a/frontends/common/src/it/scala/stainless/verification/ComponentTestSuite.scala b/frontends/common/src/it/scala/stainless/verification/ComponentTestSuite.scala index d29e49aa29..153fe1ed31 100644 --- 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), ) )