?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Merge branch 'clean_and_improve_numeric_examples' into 'master'
[why3.git] / check.sh
blob3699fd540285569ea31698715eadd35c3e2c7bb1
1 # useful script for git bisect
2
3 (autoconf && ./configure --enable-local --disable-coq-libs --disable-isabelle-libs && make) || exit 125 ; bin/why3config --detect && bin/why3replay examples/linear_probing.mlw
A platform for deductive program verification