Commit f4c52b97 authored by MARCHE Claude's avatar MARCHE Claude

support also for Z3 4.1.1 and 4.1.2

parent ca898c71
...@@ -204,10 +204,14 @@ driver = "drivers/verit.drv" ...@@ -204,10 +204,14 @@ driver = "drivers/verit.drv"
name = "Z3" name = "Z3"
exec = "z3" exec = "z3"
exec = "z3-4.2" exec = "z3-4.2"
exec = "z3-4.1.2"
exec = "z3-4.1.1"
exec = "z3-4.0" exec = "z3-4.0"
version_switch = "-version" version_switch = "-version"
version_regexp = "Z3 version \\([^ \n\r]+\\)" version_regexp = "Z3 version \\([^ \n\r]+\\)"
version_ok = "4.2" version_ok = "4.2"
version_ok = "4.1.2"
version_ok = "4.1.1"
version_ok = "4.0" version_ok = "4.0"
driver = "drivers/z3.drv" driver = "drivers/z3.drv"
command = "'@LOCALBIN@why3-cpulimit' %t %m -s %e -smt2 -rs:42 %f" command = "'@LOCALBIN@why3-cpulimit' %t %m -s %e -smt2 -rs:42 %f"
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment