From a2b28d5e12797c2b35f49cfba2e3ec005da9377b Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Mon, 24 Oct 2016 14:29:25 +0200
Subject: Update the tests in test/regression, continued

---
 test/regression/Makefile | 17 ++++-------------
 1 file changed, 4 insertions(+), 13 deletions(-)

(limited to 'test/regression/Makefile')

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 \
-- 
cgit