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

3
make || exit 125 ; bin/why3config --detect && bin/why3replay examples/bellman_ford.mlw