diff options
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index a1ce3583..b4265016 100644 --- a/src/Makefile +++ b/src/Makefile @@ -1,4 +1,4 @@ -.PHONY: all test clean doc lib test_power +.PHONY: all test clean doc lib test_power test_idempotence all: lib doc ocamlbuild -classic-display sail.native test/run_tests.native @@ -11,6 +11,11 @@ test_power: SAIL_OPTS=-skip_constraints ocamlbuild -classic-display sail.native test/run_power.native ./run_power.native --file ../../../rsem/idl/power/binary/main.bin +test_idempotence: + @cd test; for file in *.sail; do \ + ./idempotence.sh $$file; echo ;\ + done + clean: -ocamlbuild -clean -rm -rf _build |