Commit 128e7fd4 authored by Andrei Paskevich's avatar Andrei Paskevich

recognize Eprover 1.5 and 1.6

parent 28d2a6d2
......@@ -148,6 +148,8 @@ name = "Eprover"
exec = "eprover"
version_switch = "--version"
version_regexp = "E \\([-0-9.]+\\) [^\n]+"
version_ok = "1.6"
version_ok = "1.5"
version_ok = "1.4"
# we pass time 0 to why3-cpulimit to avoid race
command = "'@LOCALBIN@why3-cpulimit' %T %m -s %e -s -R -xAuto -tAuto --cpu-limit=%t --tstp-in %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