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")
 }