From 80e22fcc5825200667cb79f46498fbdb1d8fe15d Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Fri, 30 May 2014 15:50:34 +0100
Subject: Add pretty-printer test (idempotence)

Fails in most cases because of "fresh" variables in type annotations
that cannot be parsed again.
---
 src/Makefile | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'src/Makefile')

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
-- 
cgit v1.2.3