commit 6b58aaa7ea87772216aa0d4bfb1f3d959450c040 parent 453baf68e02f985a7400207d133fff7b47440f22 Author: Quentin Carbonneaux <quentin.carbonneaux@yale.edu> Date: Mon, 21 Mar 2016 13:55:38 -0400 add the ability to run with a seed Diffstat:
| M | lisc/tools/abitest.sh | | | 32 | ++++++++++++++++++++------------ |
1 file changed, 20 insertions(+), 12 deletions(-)
diff --git a/lisc/tools/abitest.sh b/lisc/tools/abitest.sh @@ -9,21 +9,29 @@ failure() { exit 1 } +once() { + if test -z "$1" + then + $OCAML tools/abi.ml $TMP c ssa + else + $OCAML tools/abi.ml -s $1 $TMP c ssa + fi + + ./$QBE -o $TMP/callee.s $TMP/callee.ssa || + failure "qbe" + + c99 -g -o $TMP/abitest $TMP/caller.c $TMP/callee.s || + failure "cc + linking" + + $TMP/abitest || + failure "runtime" +} + if ! test -x $QBE then echo "error: I must run in the directory containing $QBE." >&2 exit 1 fi - $OCAML tools/abi.ml $TMP c ssa - - ./$QBE -o $TMP/callee.s $TMP/callee.ssa - || failure "qbe" - - c99 -g -o $TMP/abitest $TMP/caller.c $TMP/callee.s - || failure "cc + linking" - - $TMP/abitest - || failure "runtime" - -rm -fr $TMP +once "$1" +#rm -fr $TMP