Commit f16f3e35 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Update version numbers of Gappa and Yices in testsuite to the latest ones.

parent dc022e22
......@@ -24,7 +24,7 @@
<prover
id="5"
name="Gappa"
version="0.16.1"/>
version="0.16.6"/>
<prover
id="6"
name="Z3"
......
......@@ -28,7 +28,7 @@
<prover
id="6"
name="Gappa"
version="0.16.1"/>
version="0.16.6"/>
<prover
id="7"
name="Z3"
......
......@@ -12,7 +12,7 @@
<prover
id="2"
name="Gappa"
version="0.16.1"/>
version="0.16.6"/>
<prover
id="3"
name="Z3"
......
......@@ -12,7 +12,7 @@
<prover
id="2"
name="Gappa"
version="0.16.1"/>
version="0.16.6"/>
<prover
id="3"
name="Z3"
......
......@@ -16,7 +16,7 @@
<prover
id="3"
name="Gappa"
version="0.16.1"/>
version="0.16.6"/>
<prover
id="4"
name="Simplify"
......@@ -28,7 +28,7 @@
<prover
id="6"
name="Yices"
version="1.0.25"/>
version="1.0.38"/>
<prover
id="7"
name="Z3"
......
......@@ -20,11 +20,11 @@
<prover
id="4"
name="Gappa"
version="0.16.1"/>
version="0.16.6"/>
<prover
id="5"
name="Yices"
version="1.0.25"/>
version="1.0.38"/>
<prover
id="6"
name="Z3"
......
......@@ -20,7 +20,7 @@
<prover
id="4"
name="Gappa"
version="0.16.1"/>
version="0.16.6"/>
<prover
id="5"
name="Z3"
......
......@@ -36,7 +36,7 @@
<prover
id="8"
name="Yices"
version="1.0.25"/>
version="1.0.38"/>
<prover
id="9"
name="Z3"
......
......@@ -28,7 +28,7 @@
<prover
id="6"
name="Yices"
version="1.0.25"/>
version="1.0.38"/>
<prover
id="7"
name="Z3"
......
......@@ -12,7 +12,7 @@
<prover
id="2"
name="Gappa"
version="0.16.1"/>
version="0.16.6"/>
<file
name="../my_cosine.why"
verified="true"
......
......@@ -12,7 +12,7 @@
<prover
id="2"
name="Gappa"
version="0.16.1"/>
version="0.16.6"/>
<prover
id="3"
name="Simplify"
......@@ -28,7 +28,7 @@
<prover
id="6"
name="Yices"
version="1.0.25"/>
version="1.0.38"/>
<prover
id="7"
name="Z3"
......
......@@ -28,7 +28,7 @@
<prover
id="6"
name="Yices"
version="1.0.25"/>
version="1.0.38"/>
<prover
id="7"
name="Z3"
......
......@@ -20,7 +20,7 @@
<prover
id="4"
name="Yices"
version="1.0.25"/>
version="1.0.38"/>
<prover
id="5"
name="Z3"
......
......@@ -8,7 +8,7 @@
<prover
id="1"
name="Gappa"
version="0.16.1"/>
version="0.16.6"/>
<file
name="../my_cosine.mlw"
verified="true"
......
......@@ -4,7 +4,7 @@
<prover
id="0"
name="Gappa"
version="0.16.1"/>
version="0.16.6"/>
<file
name="../gappa.why"
verified="true"
......
......@@ -28,7 +28,7 @@
<prover
id="6"
name="Gappa"
version="0.16.1"/>
version="0.16.6"/>
<prover
id="7"
name="Simplify"
......@@ -44,7 +44,7 @@
<prover
id="10"
name="Yices"
version="1.0.25"/>
version="1.0.38"/>
<prover
id="11"
name="Z3"
......
......@@ -126,7 +126,7 @@ name = "Yices"
exec = "yices"
version_switch = "--version"
version_regexp = "[Yices ]*\\([^ \n]+\\)"
version_ok = "^1\.0\.3[0-5]$"
version_ok = "^1\.0\.3[0-8]$"
version_ok = "^1\.0\.2[5-9]$"
version_old = "^1\.0\.2[0-4]$"
version_old = "^1\.0\.1\.*$"
......
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