mirror of
https://github.com/AdaCore/why3.git
synced 2026-02-12 12:34:55 -08:00
4 lines
208 B
Bash
Executable File
4 lines
208 B
Bash
Executable File
# useful script for git bisect
|
|
|
|
(autoconf && ./configure --enable-local --disable-coq-libs --disable-isabelle-libs && make) || exit 125 ; bin/why3config --detect && bin/why3replay examples/linear_probing.mlw
|