check.sh 208 Bytes
Newer Older
1 2
# useful script for git bisect

3
(autoconf && ./configure --enable-local --disable-coq-libs --disable-isabelle-libs && make) || exit 125 ; bin/why3config --detect && bin/why3replay examples/linear_probing.mlw