Commit b0546113 authored by François Bobot's avatar François Bobot

autodetection: fix regexps by adding '$' and name again alt-ergo 0.95-dev into alt-ergo-model

parent c81517a0
[ATP alt-ergo]
[ATP alt-ergo-model]
name = "Alt-Ergo"
exec = "alt-ergo"
exec = "alt-ergo-0.95-dev"
......@@ -27,7 +27,7 @@ exec = "alt-ergo-0.93.1"
exec = "alt-ergo-0.93"
version_switch = "-version"
version_regexp = "\\([0-9.]+\\)"
version_ok = "^0\.93\.[1-3]"
version_ok = "^0\.93\..+$"
version_ok = "0.93"
command = "'@LOCALBIN@why3-cpulimit' %t %m -s %e %f"
driver = "drivers/alt_ergo_0.93.drv"
......@@ -45,7 +45,7 @@ exec = "alt-ergo-0.8"
exec = "ergo"
version_switch = "-version"
version_regexp = "\\([0-9.]+\\)"
version_old = "^0\.92\..+"
version_old = "^0\.92\..+$"
version_old = "0.92"
version_old = "0.91"
version_old = "0.9"
......@@ -84,10 +84,10 @@ name = "Yices"
exec = "yices"
version_switch = "--version"
version_regexp = "[Yices ]*\\([^ \n]+\\)"
version_ok = "^1\.0\.3[0-5]"
version_ok = "^1\.0\.2[5-9]"
version_old = "^1\.0\.2[0-4]"
version_old = "^1\.0\.1."
version_ok = "^1\.0\.3[0-5]$"
version_ok = "^1\.0\.2[5-9]$"
version_old = "^1\.0\.2[0-4]$"
version_old = "^1\.0\.1\.*$"
command = "'@LOCALBIN@why3-cpulimit' %t %m -s %e"
driver = "drivers/yices.drv"
......@@ -106,9 +106,9 @@ name = "Gappa"
exec = "gappa"
version_switch = "--version"
version_regexp = "Gappa \\([^ \n]*\\)"
version_ok = "^0.16.[0-1]"
version_ok = "^0\.1[4-5]\..+"
version_old = "^0\.1[1-2]\..+"
version_ok = "^0.16.[0-1]$"
version_ok = "^0\.1[4-5]\..+$"
version_old = "^0\.1[1-2]\..+$"
command = "'@LOCALBIN@why3-cpulimit' %t %m -s %e -Eprecision=70"
driver = "drivers/gappa.drv"
......@@ -199,7 +199,7 @@ exec = "z3-3.1"
exec = "z3-3.0"
version_switch = "-version"
version_regexp = "Z3 version \\([^ \n\r]+\\)"
version_ok = "^3\..+"
version_ok = "^3\..+$"
version_old = "3.1"
version_old = "3.0"
driver = "drivers/z3.drv"
......@@ -215,8 +215,8 @@ exec = "z3-2.17"
exec = "z3-2.16"
version_switch = "-version"
version_regexp = "Z3 version \\([^ \n\r]+\\)"
version_old = "^2\.2.+"
version_old = "^2\.1[6-9]"
version_old = "^2\.2.+$"
version_old = "^2\.1[6-9]$"
driver = "drivers/z3.drv"
command = "'@LOCALBIN@why3-cpulimit' %t %m -s %e -smt2 -rs:42 \
PHASE_SELECTION=0 \
......@@ -246,8 +246,8 @@ exec = "z3-2.1"
exec = "z3-1.3"
version_switch = "-version"
version_regexp = "Z3 version \\([^ \n\r]+\\)"
version_old = "^2\.1[0-5]"
version_old = "^2\.[0-9]"
version_old = "^2\.1[0-5]$"
version_old = "^2\.[0-9]$"
version_old = "1.3"
command = "'@LOCALBIN@why3-cpulimit' %t %m -s %e -smt %f"
driver = "drivers/z3_smtv1.drv"
......@@ -286,7 +286,7 @@ exec = "pvs"
version_switch = "-version"
version_regexp = "PVS Version \\([^ \n]+\\)"
version_ok = "5.0"
version_old = "^[0-4]\..*"
version_old = "^[0-4]\..+$"
command = "'@LOCALBIN@why3-cpulimit' 0 %m -s @LOCALBIN@why3-check-pvs %l %f"
driver = "drivers/pvs.drv"
in_place = true
......
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