Commit d37e55aa authored by MARCHE Claude's avatar MARCHE Claude

Sample script for git bisect

parent a45159cb
......@@ -209,3 +209,4 @@ pvsbin/
/src/jessie/ptests_local_config.ml
/src/jessie/tests/basic/result/*.log
/src/jessie/tests/demo/result/*.log
/trash
\ No newline at end of file
# useful script for git bisect
make || exit 125 ; bin/why3config --detect && bin/why3replayer examples/bellman_ford.mlw
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