Commit c0e72f21 authored by Daniel Tuulik's avatar Daniel Tuulik
Browse files

Add QGen tests for C and Ada to all Makefiles

parent 9d04f34f
...@@ -11,6 +11,12 @@ test-parse: ...@@ -11,6 +11,12 @@ test-parse:
test-qgen-parse: test-qgen-parse:
@python3 test.py test-qgen-parse $(TEST_CASES) @python3 test.py test-qgen-parse $(TEST_CASES)
test-qgen-ada:
@python3 test.py test-qgen-ada $(TEST_CASES)
test-qgen-c:
@python3 test.py test-qgen-c $(TEST_CASES)
test-ada: test-ada:
@python3 test.py test-ada $(TEST_CASES) @python3 test.py test-ada $(TEST_CASES)
......
...@@ -11,7 +11,13 @@ test-parse: ...@@ -11,7 +11,13 @@ test-parse:
$(OPENGEODE) challenge.pr system_structure.pr --check $(OPENGEODE) challenge.pr system_structure.pr --check
test-qgen-parse: test-qgen-parse:
$(TESTQGEN) challenge.pr system_structure.pr $(TESTQGEN_PARSE) $(ROOT_MODEL)
test-qgen-ada:
$(TESTQGEN_ADA) $(ROOT_MODEL)
test-qgen-c:
$(TESTQGEN_C) $(ROOT_MODEL)
test-ada: challenge.ali dataview-uniq.o | test_ada.o test-ada: challenge.ali dataview-uniq.o | test_ada.o
$(GNATBIND) -n challenge.ali $(GNATBIND) -n challenge.ali
......
include ../shared.mk include ../shared.mk
ROOT_MODEL=system_structure.pr ROOT_MODEL=og.pr
all: test-ada test-llvm all: test-ada test-llvm
...@@ -11,7 +11,13 @@ test-parse: ...@@ -11,7 +11,13 @@ test-parse:
$(OPENGEODE) og.pr --check $(OPENGEODE) og.pr --check
test-qgen-parse: test-qgen-parse:
$(TESTQGEN) og.pr $(TESTQGEN_PARSE) $(ROOT_MODEL)
test-qgen-ada:
$(TESTQGEN_ADA) $(ROOT_MODEL)
test-qgen-c:
$(TESTQGEN_C) $(ROOT_MODEL)
test-ada: test-ada:
$(OPENGEODE) og.pr --toAda $(OPENGEODE) og.pr --toAda
......
...@@ -11,7 +11,13 @@ test-parse: ...@@ -11,7 +11,13 @@ test-parse:
$(OPENGEODE) orchestrator.pr system_structure.pr --check $(OPENGEODE) orchestrator.pr system_structure.pr --check
test-qgen-parse: test-qgen-parse:
$(TESTQGEN) orchestrator.pr system_structure.pr $(TESTQGEN_PARSE) $(ROOT_MODEL)
test-qgen-ada:
$(TESTQGEN_ADA) $(ROOT_MODEL)
test-qgen-c:
$(TESTQGEN_C) $(ROOT_MODEL)
test-ada: orchestrator.ali dataview-uniq.o | test_ada.o test-ada: orchestrator.ali dataview-uniq.o | test_ada.o
$(GNATBIND) -n orchestrator.ali $(GNATBIND) -n orchestrator.ali
......
include ../shared.mk include ../shared.mk
ROOT_MODEL=system_structure.pr ROOT_MODEL=og.pr
all: test-ada test-llvm all: test-ada test-llvm
...@@ -11,7 +11,13 @@ test-parse: ...@@ -11,7 +11,13 @@ test-parse:
$(OPENGEODE) og.pr --check $(OPENGEODE) og.pr --check
test-qgen-parse: test-qgen-parse:
$(TESTQGEN) og.pr $(TESTQGEN_PARSE) $(ROOT_MODEL)
test-qgen-ada:
$(TESTQGEN_ADA) $(ROOT_MODEL)
test-qgen-c:
$(TESTQGEN_C) $(ROOT_MODEL)
test-ada: test-ada:
$(OPENGEODE) og.pr --toAda $(OPENGEODE) og.pr --toAda
......
...@@ -14,7 +14,13 @@ test-parse: ...@@ -14,7 +14,13 @@ test-parse:
$(OPENGEODE) myfunction.pr system_structure.pr --check $(OPENGEODE) myfunction.pr system_structure.pr --check
test-qgen-parse: test-qgen-parse:
$(TESTQGEN) myfunction.pr system_structure.pr $(TESTQGEN_PARSE) $(ROOT_MODEL)
test-qgen-ada:
$(TESTQGEN_ADA) $(ROOT_MODEL)
test-qgen-c:
$(TESTQGEN_C) $(ROOT_MODEL)
test-ada: test-ada:
$(OPENGEODE) --toAda myfunction.pr system_structure.pr 2>&1 | sort | diff expected - || exit 0 $(OPENGEODE) --toAda myfunction.pr system_structure.pr 2>&1 | sort | diff expected - || exit 0
......
...@@ -14,7 +14,13 @@ test-parse: ...@@ -14,7 +14,13 @@ test-parse:
$(OPENGEODE) myfunction.pr system_structure.pr --check $(OPENGEODE) myfunction.pr system_structure.pr --check
test-qgen-parse: test-qgen-parse:
$(TESTQGEN) myfunction.pr system_structure.pr $(TESTQGEN_PARSE) $(ROOT_MODEL)
test-qgen-ada:
$(TESTQGEN_ADA) $(ROOT_MODEL)
test-qgen-c:
$(TESTQGEN_C) $(ROOT_MODEL)
test-ada: test-ada:
$(OPENGEODE) --toAda myfunction.pr system_structure.pr 2>&1 | sort | diff expected - || exit 0 $(OPENGEODE) --toAda myfunction.pr system_structure.pr 2>&1 | sort | diff expected - || exit 0
......
include ../shared.mk include ../shared.mk
ROOT_MODEL=system_structure.pr ROOT_MODEL=og.pr
all: test-ada test-llvm all: test-ada test-llvm
...@@ -11,7 +11,13 @@ test-parse: ...@@ -11,7 +11,13 @@ test-parse:
$(OPENGEODE) og.pr --check $(OPENGEODE) og.pr --check
test-qgen-parse: test-qgen-parse:
$(TESTQGEN) og.pr $(TESTQGEN_PARSE) $(ROOT_MODEL)
test-qgen-ada:
$(TESTQGEN_ADA) $(ROOT_MODEL)
test-qgen-c:
$(TESTQGEN_C) $(ROOT_MODEL)
test-ada: test-ada:
$(OPENGEODE) og.pr --toAda $(OPENGEODE) og.pr --toAda
......
...@@ -11,7 +11,13 @@ test-parse: ...@@ -11,7 +11,13 @@ test-parse:
$(OPENGEODE) controlflow.pr system_structure.pr --check $(OPENGEODE) controlflow.pr system_structure.pr --check
test-qgen-parse: test-qgen-parse:
$(TESTQGEN) controlflow.pr system_structure.pr $(TESTQGEN_PARSE) $(ROOT_MODEL)
test-qgen-ada:
$(TESTQGEN_ADA) $(ROOT_MODEL)
test-qgen-c:
$(TESTQGEN_C) $(ROOT_MODEL)
test-ada: controlflow.ali dataview-uniq.o | test_ada.o test-ada: controlflow.ali dataview-uniq.o | test_ada.o
$(GNATBIND) -n controlflow.ali $(GNATBIND) -n controlflow.ali
......
...@@ -11,7 +11,13 @@ test-parse: ...@@ -11,7 +11,13 @@ test-parse:
$(OPENGEODE) orchestrator.pr system_structure.pr --check $(OPENGEODE) orchestrator.pr system_structure.pr --check
test-qgen-parse: test-qgen-parse:
$(TESTQGEN) orchestrator.pr system_structure.pr $(TESTQGEN_PARSE) $(ROOT_MODEL)
test-qgen-ada:
$(TESTQGEN_ADA) $(ROOT_MODEL)
test-qgen-c:
$(TESTQGEN_C) $(ROOT_MODEL)
test-ada: orchestrator.ali dataview-uniq.o | test_ada.o test-ada: orchestrator.ali dataview-uniq.o | test_ada.o
$(GNATBIND) -n orchestrator.ali $(GNATBIND) -n orchestrator.ali
......
include ../shared.mk include ../shared.mk
ROOT_MODEL=system_structure.pr ROOT_MODEL=testsc.pr
all: test-ada test-llvm all: test-ada test-llvm
...@@ -11,7 +11,13 @@ test-parse: ...@@ -11,7 +11,13 @@ test-parse:
$(OPENGEODE) testsc.pr --check $(OPENGEODE) testsc.pr --check
test-qgen-parse: test-qgen-parse:
$(TESTQGEN) testsc.pr $(TESTQGEN_PARSE) $(ROOT_MODEL)
test-qgen-ada:
$(TESTQGEN_ADA) $(ROOT_MODEL)
test-qgen-c:
$(TESTQGEN_C) $(ROOT_MODEL)
test-ada: test-ada:
./check_simulation.sh && rm -rf testsc_simu ./check_simulation.sh && rm -rf testsc_simu
......
include ../shared.mk include ../shared.mk
ROOT_MODEL=system_structure.pr ROOT_MODEL=demodevicedsap.pr
all: test-ada test-llvm all: test-ada test-llvm
...@@ -11,7 +11,13 @@ test-parse: ...@@ -11,7 +11,13 @@ test-parse:
$(OPENGEODE) demodevicedsap.pr --check $(OPENGEODE) demodevicedsap.pr --check
test-qgen-parse: test-qgen-parse:
$(TESTQGEN) demodevicedsap.pr $(TESTQGEN_PARSE) $(ROOT_MODEL)
test-qgen-ada:
$(TESTQGEN_ADA) $(ROOT_MODEL)
test-qgen-c:
$(TESTQGEN_C) $(ROOT_MODEL)
test-ada: test-ada:
$(OPENGEODE) demodevicedsap.pr --toAda $(OPENGEODE) demodevicedsap.pr --toAda
......
include ../shared.mk include ../shared.mk
ROOT_MODEL=system_structure.pr ROOT_MODEL=og.pr
all: test-ada test-llvm all: test-ada test-llvm
...@@ -11,7 +11,13 @@ test-parse: ...@@ -11,7 +11,13 @@ test-parse:
$(OPENGEODE) og.pr --check $(OPENGEODE) og.pr --check
test-qgen-parse: test-qgen-parse:
$(TESTQGEN) og.pr $(TESTQGEN_PARSE) $(ROOT_MODEL)
test-qgen-ada:
$(TESTQGEN_ADA) $(ROOT_MODEL)
test-qgen-c:
$(TESTQGEN_C) $(ROOT_MODEL)
test-ada: test-ada:
$(OPENGEODE) og.pr --toAda $(OPENGEODE) og.pr --toAda
......
include ../shared.mk include ../shared.mk
ROOT_MODEL=system_structure.pr ROOT_MODEL=test.pr
all: test-ada test-llvm all: test-ada test-llvm
...@@ -11,7 +11,13 @@ test-parse: ...@@ -11,7 +11,13 @@ test-parse:
$(OPENGEODE) test.pr --check $(OPENGEODE) test.pr --check
test-qgen-parse: test-qgen-parse:
$(TESTQGEN) test.pr $(TESTQGEN_PARSE) $(ROOT_MODEL)
test-qgen-ada:
$(TESTQGEN_ADA) $(ROOT_MODEL)
test-qgen-c:
$(TESTQGEN_C) $(ROOT_MODEL)
test-ada: test-ada:
$(OPENGEODE) test.pr --toAda $(OPENGEODE) test.pr --toAda
......
...@@ -11,7 +11,13 @@ test-parse: ...@@ -11,7 +11,13 @@ test-parse:
$(OPENGEODE) og.pr system_structure.pr --check $(OPENGEODE) og.pr system_structure.pr --check
test-qgen-parse: test-qgen-parse:
$(TESTQGEN) og.pr system_structure.pr $(TESTQGEN_PARSE) $(ROOT_MODEL)
test-qgen-ada:
$(TESTQGEN_ADA) $(ROOT_MODEL)
test-qgen-c:
$(TESTQGEN_C) $(ROOT_MODEL)
test-ada: og.ali dataview-uniq.o | test_ada.o test-ada: og.ali dataview-uniq.o | test_ada.o
$(GNATBIND) -n og.ali $(GNATBIND) -n og.ali
......
...@@ -11,7 +11,13 @@ test-parse: ...@@ -11,7 +11,13 @@ test-parse:
$(OPENGEODE) challenge.pr system_structure.pr --check $(OPENGEODE) challenge.pr system_structure.pr --check
test-qgen-parse: test-qgen-parse:
$(TESTQGEN) challenge.pr system_structure.pr $(TESTQGEN_PARSE) $(ROOT_MODEL)
test-qgen-ada:
$(TESTQGEN_ADA) $(ROOT_MODEL)
test-qgen-c:
$(TESTQGEN_C) $(ROOT_MODEL)
test-ada: challenge.ali dataview-uniq.o | test_ada.o test-ada: challenge.ali dataview-uniq.o | test_ada.o
$(GNATBIND) -n challenge.ali $(GNATBIND) -n challenge.ali
......
...@@ -11,7 +11,13 @@ test-parse: ...@@ -11,7 +11,13 @@ test-parse:
$(OPENGEODE) expressions.pr system_structure.pr --check $(OPENGEODE) expressions.pr system_structure.pr --check
test-qgen-parse: test-qgen-parse:
$(TESTQGEN) expressions.pr system_structure.pr $(TESTQGEN_PARSE) $(ROOT_MODEL)
test-qgen-ada:
$(TESTQGEN_ADA) $(ROOT_MODEL)
test-qgen-c:
$(TESTQGEN_C) $(ROOT_MODEL)
test-ada: expressions.ali dataview-uniq.o | test_ada.o test-ada: expressions.ali dataview-uniq.o | test_ada.o
$(GNATBIND) -n expressions.ali $(GNATBIND) -n expressions.ali
......
include ../shared.mk include ../shared.mk
ROOT_MODEL=system_structure.pr ROOT_MODEL=og.pr
all: test-ada test-llvm all: test-ada test-llvm
...@@ -11,7 +11,13 @@ test-parse: ...@@ -11,7 +11,13 @@ test-parse:
$(OPENGEODE) og.pr --check $(OPENGEODE) og.pr --check
test-qgen-parse: test-qgen-parse:
$(TESTQGEN) og.pr $(TESTQGEN_PARSE) $(ROOT_MODEL)
test-qgen-ada:
$(TESTQGEN_ADA) $(ROOT_MODEL)
test-qgen-c:
$(TESTQGEN_C) $(ROOT_MODEL)
test-ada: test-ada:
$(OPENGEODE) og.pr --toAda $(OPENGEODE) og.pr --toAda
......
...@@ -11,7 +11,13 @@ test-parse: ...@@ -11,7 +11,13 @@ test-parse:
$(OPENGEODE) packetmanager.pr system_structure.pr --check $(OPENGEODE) packetmanager.pr system_structure.pr --check
test-qgen-parse: test-qgen-parse:
$(TESTQGEN) packetmanager.pr system_structure.pr $(TESTQGEN_PARSE) $(ROOT_MODEL)
test-qgen-ada:
$(TESTQGEN_ADA) $(ROOT_MODEL)
test-qgen-c:
$(TESTQGEN_C) $(ROOT_MODEL)
test-ada: packetmanager.ali test-ada: packetmanager.ali
......
...@@ -11,7 +11,13 @@ test-parse: ...@@ -11,7 +11,13 @@ test-parse:
$(OPENGEODE) framemanager.pr system_structure.pr --check $(OPENGEODE) framemanager.pr system_structure.pr --check
test-qgen-parse: test-qgen-parse:
$(TESTQGEN) framemanager.pr system_structure.pr $(TESTQGEN_PARSE) $(ROOT_MODEL)
test-qgen-ada:
$(TESTQGEN_ADA) $(ROOT_MODEL)
test-qgen-c:
$(TESTQGEN_C) $(ROOT_MODEL)
test-ada: framemanager.ali test-ada: framemanager.ali
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment