| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'data')
| -rw-r--r-- | data/test/Makefile | 17 | ||||
| -rw-r--r-- | data/test/combinational_processes/valid.vhd | 2 |
2 files changed, 18 insertions, 1 deletions
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 => |