| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-09-19 14:31:10 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-09-19 14:31:10 +0200 |
| commit | d74a7c7ab3f10e9ea6eddb26639cfb6929646793 (patch) | |
| tree | 29a09cc147d3b92c95ab0c6b30350d330aeaf57c /data/test/Makefile | |
| parent | f2b7e406b8e77df22ef379a5e880f64d1e5043b9 (diff) | |
Fixes valid test, adds tests pretty printing.
Diffstat (limited to 'data/test/Makefile')
| -rw-r--r-- | data/test/Makefile | 17 |
1 files changed, 17 insertions, 0 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) |