Clarification for default timeout.

viperproject · Apr 22, 2022 · 2924e00 · 2924e00
1 parent 6bc0d29
commit 2924e00
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/main/scala/Config.scala b/src/main/scala/Config.scala
@@ -186,9 +186,11 @@ class Config(args: Seq[String]) extends SilFrontendConfig(args, "Silicon") {
     valueName = "level"
   )
 
+  // cvc5 uses a different default timeout since per check timeouts are not supported.
   private val rawTimeout: ScallopOption[Int] = opt[Int]("timeout",
     descr = ( "Time out after approx. n seconds. The timeout is for the whole verification, "
-            + s"not per method or proof obligation (default: 0 i.e. no timeout for all provers except ${Cvc5ProverStdIO.name} with default 180)."),
+            + s"not per method or proof obligation (default for ${Cvc5ProverStdIO.name} prover: 180"
+            +"; default for all other provers: 0, i.e. no timeout."),
     default = None,
     noshort = true
   )