diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2016-10-24 14:29:25 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2016-10-24 14:34:59 +0200 |
commit | a2b28d5e12797c2b35f49cfba2e3ec005da9377b (patch) | |
tree | 6ea4aa8c5fda303d65fac879b0098a440486b1ca /test/regression/Makefile | |
parent | af5758ac9414541a62bf08ae44373b441b8653ec (diff) | |
download | compcert-a2b28d5e12797c2b35f49cfba2e3ec005da9377b.tar.gz compcert-a2b28d5e12797c2b35f49cfba2e3ec005da9377b.zip |
Update the tests in test/regression, continued
Diffstat (limited to 'test/regression/Makefile')
-rw-r--r-- | test/regression/Makefile | 17 |
1 files changed, 4 insertions, 13 deletions
diff --git a/test/regression/Makefile b/test/regression/Makefile index 88f50466..5def966b 100644 --- a/test/regression/Makefile +++ b/test/regression/Makefile @@ -69,22 +69,13 @@ clean: rm -f *.parsed.c *.compcert.c *.light.c *.s *.o *.sdump *~ test: + @echo "----------- Compiled tests -------------" @for i in $(TESTS) $(TESTS_COMP); do \ - if ./$$i.compcert | cmp -s - Results/$$i; \ - then echo "$$i: passed"; \ - else echo "$$i: FAILED"; exit 2; \ - fi; \ + ./Runtest $$i ./$$i.compcert; \ done + @echo "----------- Interpreted tests -------------" @for i in $(TESTS); do \ - if $(CCOMP) -fall -interp -quiet $$i.c > _cinterp.log; then \ - if cmp -s _cinterp.log Results/$$i; \ - then echo "$$i: interpreter passed"; \ - else echo "$$i: interpreter FAILED"; \ - fi; \ - else \ - echo "$$i: interpreter undefined behavior"; \ - fi; \ - rm -f _cinterp.log; \ + ./Runtest $$i $(CCOMP) -fall -interp -quiet $$i.c; \ done @for i in $(TESTS_DIFF); do \ if $(CCOMP) -fall -interp -quiet $$i.c > _cinterp.log; then \ |