Skip to content
Snippets Groups Projects
Commit 146dce82 authored by Nicolas Voirol's avatar Nicolas Voirol
Browse files

Improve solver option validation

parent 5598093d
Branches
Tags
No related merge requests found
...@@ -198,6 +198,9 @@ object optTimeout extends OptionDef[Duration] { ...@@ -198,6 +198,9 @@ object optTimeout extends OptionDef[Duration] {
object optSelectedSolvers extends OptionDef[Set[String]] { object optSelectedSolvers extends OptionDef[Set[String]] {
val name = "solvers" val name = "solvers"
val default = Set("nativez3") val default = Set("nativez3")
val parser = setParser(stringParser) val parser: OptionParser[Set[String]] = { s =>
setParser(stringParser)(s).filter(_.forall(solvers.SolverFactory.solverNames contains _))
}
val usageRhs = "s1,s2,..." val usageRhs = "s1,s2,..."
} }
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment