From d74a7c7ab3f10e9ea6eddb26639cfb6929646793 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Tue, 19 Sep 2017 14:31:10 +0200
Subject: Fixes valid test, adds tests pretty printing.

---
 data/test/Makefile                          | 17 +++++++++++++++++
 data/test/combinational_processes/valid.vhd |  2 +-
 2 files changed, 18 insertions(+), 1 deletion(-)

diff --git a/data/test/Makefile b/data/test/Makefile
index eec299d..f4f52f1 100644
--- a/data/test/Makefile
+++ b/data/test/Makefile
@@ -18,6 +18,23 @@ IVLD_FILES = $(addsuffix /invalid.result, $(TEST_DIRS))
 export
 
 all: $(AST_FILES) $(OCL_FILES) $(VLD_FILES) $(IVLD_FILES)
+	@echo "################################################################"
+	@echo "## FALSE POSITIVES (should not have detected) ##################"
+	@echo "################################################################"
+
+	@for dir in $(TEST_DIRS) ; do \
+		echo "#### $$dir ####"; \
+		cat $$dir/invalid.result; \
+	done
+
+	@echo "################################################################"
+	@echo "## FALSE NEGATIVES (should have detected) ######################"
+	@echo "################################################################"
+
+	@for dir in $(TEST_DIRS) ; do \
+		echo "#### $$dir ####"; \
+		cat $$dir/valid.result; \
+	done
 
 clean:
 	rm -f $(AST_FILES)
diff --git a/data/test/combinational_processes/valid.vhd b/data/test/combinational_processes/valid.vhd
index 8b6b814..7f2434e 100644
--- a/data/test/combinational_processes/valid.vhd
+++ b/data/test/combinational_processes/valid.vhd
@@ -145,7 +145,7 @@ begin
       end case;
    end process;
 
-   process (n0, n2) -- $SOL:13:0$
+   process (n0, n3) -- $SOL:13:0$
    begin
       case n0 is
          when 0 =>
-- 
cgit v1.2.3-70-g09d2