Enabling k-induction on the test suite just to see what happens

viperproject · Oct 22, 2023 · a6cb9c0 · a6cb9c0
1 parent 5c4b04d
commit a6cb9c0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/test/scala/SiliconTests.scala b/src/test/scala/SiliconTests.scala
@@ -56,5 +56,5 @@ class SiliconTests extends SilSuite {
   }
 
   val commandLineArguments: Seq[String] =
-    Seq("--timeout", "600" /* seconds */)
+    Seq("--timeout", "600" /* seconds */, "--enableMoreCompleteExhale", "--enableKInduction=1")
 }