1. Dmitry Grebeniuk
  2. ocaml-logicm

Source

ocaml-logicm / run.sh

1
2
3
4
TARGET=tests.native
# rm -f $TARGET && ocamlbuild $TARGET && echo "------------------" && ( ./$TARGET | head -c 1200 ) || echo "exit code: $?"
ocamlbuild logicM_cps.inferred.mli || exit 1
rm -f $TARGET && ocamlbuild $TARGET && echo "------------------" && ./$TARGET || echo "exit code: $?"