Skip to content

why3
why3
Commit f76cc1cb authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files
Options

Fix incorrect version regex.

parent aeed1092
Hide whitespace changes
Inline Side-by-side
Showing with 1 addition and 1 deletion
share/provers-detection-data.conf
View file @ f76cc1cb
......@@ -508,7 +508,7 @@ compile_time_support = true
exec = "coqtop -batch"
version_switch = "-v"
version_regexp = "The Coq Proof Assistant, version \\([^ \n]+\\)"
version_ok = "8.4pl[1-6]"
version_ok = "^8\.4pl[1-6]$"
version_ok = "8.4"
command = "%l/why3-cpulimit 0 %m -s %e -R %l/coq-tactic Why3 -R %l/coq Why3 -l %f"
driver = "drivers/coq.drv"
......
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