Commit 2b3e8fb2 authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files

Yices 1.0.35 is supported

parent 7e909f86
......@@ -116,6 +116,7 @@ name = "Yices"
exec = "yices"
version_switch = "--version"
version_regexp = "[Yices ]*\\([^ \n]+\\)"
version_ok = "1.0.35"
version_ok = "1.0.29"
version_ok = "1.0.28"
version_ok = "1.0.27"
......
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