Skip to content
Snippets Groups Projects
Commit cac4e05a authored by Manos Koukoutos's avatar Manos Koukoutos
Browse files

typos

parent 48c4a5af
No related branches found
No related tags found
No related merge requests found
......@@ -56,7 +56,7 @@ object SharedOptions extends LeonComponent {
val parser: String => Set[DebugSection] = setParser[Set[DebugSection]](debugParser)(_).flatten
}
val optTimeout = LeonLongOptionDef("timeout", "Set a timeout for each verification/repair (in sec.)", 0L, "t")
val optTimeout = LeonLongOptionDef("timeout", "Set a timeout for attempting to prove a verification condition/ repair a function (in sec.)", 0L, "t")
override val definedOptions: Set[LeonOptionDef[Any]] = Set(
optStrictPhases,
......
......@@ -24,7 +24,7 @@ object SolverFactory {
"smt-cvc4" -> "CVC4 through SMT-LIB",
"smt-z3" -> "Z3 through SMT-LIB",
"smt-z3-q" -> "Z3 through SMT-LIB, with quantified encoding",
"smt-cvc4-proof" -> "CVC4 through SMT-LIB, in-solver inductive reasonning, for proofs only",
"smt-cvc4-proof" -> "CVC4 through SMT-LIB, in-solver inductive reasoning, for proofs only",
"smt-cvc4-cex" -> "CVC4 through SMT-LIB, in-solver finite-model-finding, for counter-examples only",
"unrollz3" -> "Native Z3 with leon-templates for unfolding",
"enum" -> "Enumeration-based counter-example-finder"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment