Commit e0467a30 authored by MARCHE Claude's avatar MARCHE Claude

allow running nightly bench with Coq8.4pl4 as substitute for pl5

parent 95d1e085
......@@ -82,6 +82,15 @@ target_name = "Coq"
target_version = "8.4pl5"
version = "8.4pl4"
[uninstalled_prover policy1]
alternative = ""
name = "Coq"
policy = "upgrade"
target_alternative = ""
target_name = "Coq"
target_version = "8.4pl4"
version = "8.4pl5"
EOF
# run the bench
......
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