Removed option that isn't accepted via API

marcoeilers · marcoeilers · commit 3ab2d79ba871 · 2023-03-24T15:57:04.000+01:00
diff --git a/src/main/scala/decider/Z3ProverAPI.scala b/src/main/scala/decider/Z3ProverAPI.scala
@@ -49,7 +49,7 @@ object Z3ProverAPI {
     "delay_units" -> true,
     "smt.mbqi" -> false,
     "mbqi" -> false,
-    "pp.bv_literals" -> false,
+    //"pp.bv_literals" -> false,  // This is part of z3config.smt2 but Z3 won't accept it via API.
     "model.v2" -> true
   )
   val intParams = Map(

Original file line number	Diff line number	Diff line change
`@@ -49,7 +49,7 @@ object Z3ProverAPI {`
`49`	`49`	`"delay_units" -> true,`
`50`	`50`	`"smt.mbqi" -> false,`
`51`	`51`	`"mbqi" -> false,`
`52`		`- "pp.bv_literals" -> false,`
	`52`	`+ //"pp.bv_literals" -> false, // This is part of z3config.smt2 but Z3 won't accept it via API.`
`53`	`53`	`"model.v2" -> true`
`54`	`54`	`)`
`55`	`55`	`val intParams = Map(`