From a6cb9c06ce34da7c262899ca98684614f9d96d23 Mon Sep 17 00:00:00 2001
From: Marco Eilers <eilers.marco@googlemail.com>
Date: Sun, 22 Oct 2023 21:32:41 +0200
Subject: [PATCH] Enabling k-induction on the test suite just to see what
 happens

---
 src/test/scala/SiliconTests.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/test/scala/SiliconTests.scala b/src/test/scala/SiliconTests.scala
index 027bd3da2..cb12aa72b 100644
--- 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")
 }