Skip to content
Snippets Groups Projects

Early initialization for solvers options

Closed Viktor Kuncak requested to merge github/fork/jad-hamza/early-options into master
1 file
+ 2
3
Compare changes
  • Side-by-side
  • Inline
@@ -219,7 +219,7 @@ object optTimeout extends OptionDef[Duration] {
def apply(secs: Double): OptionValue[Duration] = apply(secs.seconds)
}
object optSelectedSolvers extends SetOptionDef[String] {
object optSelectedSolvers extends {
val name = "solvers"
val default = Set("nativez3")
val elementParser: OptionParser[String] = { s =>
@@ -227,7 +227,6 @@ object optSelectedSolvers extends SetOptionDef[String] {
}
val usageRhs = "s1,s2,..."
} with SetOptionDef[String] {
override def formatDefault: String = default.mkString(",")
}
Loading