Commit f226c87c authored by Guillaume Melquiond's avatar Guillaume Melquiond

Split benches.

parent 47f6a44c
......@@ -98,6 +98,15 @@ nightly-bench:
script:
- misc/ci-docker.sh misc/ci-local.sh nightly-bench-reduced
ce-bench:
stage: nightly
variables:
COMPILER: 4.04.0
DEBIAN_PACKAGES: cvc3 spass
OPAM_PACKAGES: alt-ergo.2.0.0 zenon.0.8.0 coq.8.7.1 coq-flocq.2.6.1
script:
- misc/ci-docker.sh misc/ci-local.sh ce-bench
opam:
stage: build
variables:
......
......@@ -34,9 +34,12 @@ do
doc)
make doc
;;
nightly-bench-reduced)
ce-bench)
bin/why3config --detect-provers
bench/ce-bench
;;
nightly-bench-reduced)
bin/why3config --detect-provers
sed -i why3.conf -e "s/running_provers_max = [0-9]*/running_provers_max = 1/"
cat misc/bench-few-provers-why3-conf >> why3.conf
examples/regtests.sh --reduced-mode
......
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