Recognize Gappa 1.2.

89c2faca · Guillaume Melquiond · c8216dfa · 89c2faca
Commit 89c2faca authored May 19, 2015 by Guillaume Melquiond
--- a/share/provers-detection-data.conf
+++ b/share/provers-detection-data.conf
@@ -216,7 +216,7 @@ exec = "gappa-0.16.1"
 exec = "gappa-0.14.1"
 version_switch = "--version"
 version_regexp = "Gappa \\([^ \n]*\\)"
-version_ok = "^1\.[0-1]\..+$"
+version_ok = "^1\.[0-2]\..+$"
 version_old = "^0\.1[1-8]\..+$"
 command = "%l/why3-cpulimit %t %m -s %e -Eprecision=70"
 driver = "drivers/gappa.drv"