Commit 6c8e054b authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files

provers-detection-data.conf: mark old versions

parent 8639ada5
......@@ -16,7 +16,7 @@ exec = "alt-ergo-0.95.1"
exec = "alt-ergo-0.95"
version_switch = "-version"
version_regexp = "\\([0-9.]+\\(-dev\\)?\\)"
version_ok = "0.95.1"
version_old = "0.95.1"
version_old = "0.95"
command = "%l/why3-cpulimit %T %m -s %e -timelimit %t %f"
driver = "drivers/alt_ergo.drv"
......@@ -95,11 +95,11 @@ exec = "cvc4-1.1"
exec = "cvc4-1.0"
version_switch = "--version"
version_regexp = "This is CVC4 version \\([^ \n\r]+\\)"
version_ok = "1.0"
version_ok = "1.1"
version_ok = "1.2"
version_ok = "1.3"
version_ok = "1.4"
version_old = "1.3"
version_old = "1.2"
version_old = "1.1"
version_old = "1.0"
driver = "drivers/cvc4.drv"
command = "%l/why3-cpulimit %t %m -s %e --lang=smt2 %f"
......@@ -166,8 +166,8 @@ exec = "eprover-1.4"
version_switch = "--version"
version_regexp = "E \\([-0-9.]+\\) [^\n]+"
version_ok = "1.8-001"
version_ok = "1.7"
version_ok = "1.6"
version_old = "1.7"
version_old = "1.6"
version_old = "1.5"
version_old = "1.4"
# we pass time 0 to why3-cpulimit to avoid race
......
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