More precise pattern matching

jad-hamza · jad-hamza · commit f6ef8a92ee6d · 2021-04-20T15:42:07.000+02:00
diff --git a/src/main/scala/inox/solvers/SolverFactory.scala b/src/main/scala/inox/solvers/SolverFactory.scala
@@ -221,7 +221,7 @@ object SolverFactory {
         }
       })
 
-      case _ if finalName.startsWith("smt-z3") => create(p)(finalName, {
+      case _ if finalName == "smt-z3" || finalName.startsWith("smt-z3:") => create(p)(finalName, {
         val chooseEnc = ChooseEncoder(p)(enc)
         val fullEnc = enc andThen chooseEnc
         val theoryEnc = theories.Z3(fullEnc.targetProgram)

Original file line number	Diff line number	Diff line change
`@@ -221,7 +221,7 @@ object SolverFactory {`
`221`	`221`	`}`
`222`	`222`	`})`
`223`	`223`
`224`		`- case _ if finalName.startsWith("smt-z3") => create(p)(finalName, {`
	`224`	`+ case _ if finalName == "smt-z3" \|\| finalName.startsWith("smt-z3:") => create(p)(finalName, {`
`225`	`225`	`val chooseEnc = ChooseEncoder(p)(enc)`
`226`	`226`	`val fullEnc = enc andThen chooseEnc`
`227`	`227`	`val theoryEnc = theories.Z3(fullEnc.targetProgram)`