Add benchmark rule

tests/regression/shared.mk

+benchmark:
+	@$(MAKE) test-ada > /dev/null 2>&1 && ([ -f test_ada ] || exit 1)
+	@$(MAKE) test-llvm > /dev/null 2>&1 && ([ -f test_llvm ] || exit 1)
+	@echo "binary-size:"
+	@echo "    test_llvm: $$(du -b test_llvm | cut -f1)"
+	@echo "    test_ada:  $$(du -b test_ada | cut -f1)"
+
+.PHONY: benchmark
\ No newline at end of file

tests/regression/test-branchcoverage/Makefile

+include ../shared.mk
+
 all: test-ada
 
 edit:

tests/regression/test-controlflow/Makefile

+include ../shared.mk
+
 all: test-ada
 
 edit:
@@ -13,8 +15,8 @@ test-ada:
 	gnatmake -c *.adb
 	gcc -c test_ada.c
 	gnatbind -n controlflow.ali
-	gnatlink test_ada.o controlflow.ali -lgnat -lm -o testcase
-	./testcase | diff expected -
+	gnatlink test_ada.o controlflow.ali -lgnat -lm -o test_ada
+	./test_ada | diff expected -
 
 test-llvm:
 	../../../opengeode.py controlflow.pr system_structure.pr --check --llvm
@@ -23,12 +25,12 @@ test-llvm:
 	gcc -c controlflow.s
 	gcc -c dataview-uniq.c
 	gcc -c test_llvm.c
-	gcc controlflow.o dataview-uniq.o test_llvm.o -o testcase
-	./testcase | diff expected -
+	gcc controlflow.o dataview-uniq.o test_llvm.o -o test_llvm -lm
+	./test_llvm | diff expected -
 
 clean:
 	rm -rf *.adb *.ads *.pyc runSpark.sh spark.idx *.o *.ali gnat.cfg examiner \
-	bin *.wrn *.gpr testcase *.ll *.s dataview-uniq.c dataview-uniq.h real.c xer.c \
-	ber.c acn.c asn1crt.c asn1crt.h
+	bin *.wrn *.gpr *.ll *.s dataview-uniq.c dataview-uniq.h real.c xer.c \
+	ber.c acn.c asn1crt.c asn1crt.h test_ada test_llvm
 
 .PHONY: all edit test-parse test-ada test-llvm clean
\ No newline at end of file

tests/regression/test-exitnested/Makefile

+include ../shared.mk
+
 all: test-ada test-llvm
 
 edit:
@@ -12,8 +14,8 @@ test-ada:
 	gnatmake -c *.adb
 	gcc -c	test_ada.c
 	gnatbind -n challenge.ali
-	gnatlink -o testcase  test_ada.o challenge.ali -lgnat -lm
-	./testcase | diff expected -
+	gnatlink -o test_ada  test_ada.o challenge.ali -lgnat -lm
+	./test_ada | diff expected -
 
 test-llvm:
 	../../../opengeode.py challenge.pr system_structure.pr --check --llvm
@@ -22,15 +24,15 @@ test-llvm:
 	gcc -c challenge.s
 	gcc -c dataview-uniq.c
 	gcc -c test_llvm.c
-	gcc challenge.o dataview-uniq.o test_llvm.o -o testcase -lm
-	./testcase | diff expected -
+	gcc challenge.o dataview-uniq.o test_llvm.o -o test_llvm -lm
+	./test_llvm | diff expected -
 
 coverage:
 	coverage run -p ../../../opengeode.py challenge.pr system_structure.pr --toAda
 
 clean:
 	rm -rf *.adb *.ads *.pyc runSpark.sh spark.idx *.o *.ali gnat.cfg examiner \
-	bin *.wrn *.gpr testcase *.ll *.s dataview-uniq.c dataview-uniq.h real.c xer.c \
-	ber.c acn.c asn1crt.c asn1crt.h
+	bin *.wrn *.gpr *.ll *.s dataview-uniq.c dataview-uniq.h real.c xer.c \
+	ber.c acn.c asn1crt.c asn1crt.h test_ada test_llvm
 
 .PHONY: all edit test-parse test-ada test-llvm coverage clean
\ No newline at end of file

tests/regression/test-expressions/Makefile

+include ../shared.mk
+
 all: test-ada
 
 edit:
@@ -13,8 +15,8 @@ test-ada:
 	gnatmake -c *.adb
 	gcc -c test_ada.c
 	gnatbind -n expressions.ali
-	gnatlink test_ada.o expressions.ali -lgnat -lm -o testcase
-	./testcase
+	gnatlink test_ada.o expressions.ali -lgnat -lm -o test_ada
+	./test_ada
 
 test-llvm:
 	../../../opengeode.py expressions.pr system_structure.pr --check --llvm
@@ -23,12 +25,12 @@ test-llvm:
 	gcc -c expressions.s
 	gcc -c dataview-uniq.c
 	gcc -c test_llvm.c
-	gcc expressions.o dataview-uniq.o test_llvm.o -o testcase
-	./testcase
+	gcc expressions.o dataview-uniq.o test_llvm.o -o test_llvm -lm
+	./test_llvm
 
 clean:
 	rm -rf *.adb *.ads *.pyc runSpark.sh spark.idx *.o *.ali gnat.cfg examiner \
-	bin *.wrn *.gpr testcase *.ll *.s dataview-uniq.c dataview-uniq.h real.c xer.c \
-	ber.c acn.c asn1crt.c asn1crt.h
+	bin *.wrn *.gpr *.ll *.s dataview-uniq.c dataview-uniq.h real.c xer.c \
+	ber.c acn.c asn1crt.c asn1crt.h test_ada test_llvm
 
 .PHONY: all edit test-parse test-ada test-llvm clean
\ No newline at end of file

tests/regression/test-operators/Makefile

+include ../shared.mk
+
 all: test-ada
 
 edit:
@@ -13,8 +15,8 @@ test-ada:
 	gnatmake -c *.adb
 	gcc -c test_ada.c
 	gnatbind -n operators.ali
-	gnatlink test_ada.o operators.ali -lgnat -lm -o testcase
-	./testcase | diff expected -
+	gnatlink test_ada.o operators.ali -lgnat -lm -o test_ada
+	./test_ada | diff expected -
 
 test-llvm:
 	../../../opengeode.py operators.pr system_structure.pr --check --llvm
@@ -23,12 +25,12 @@ test-llvm:
 	clang -c operators.s
 	clang -c dataview-uniq.c
 	clang -c test_llvm.c
-	clang operators.o dataview-uniq.o test_llvm.o -o testcase -lm
-	./testcase | diff expected -
+	clang operators.o dataview-uniq.o test_llvm.o -o test_llvm -lm
+	./test_llvm | diff expected -
 
 clean:
 	rm -rf *.adb *.ads *.pyc runSpark.sh spark.idx *.o *.ali gnat.cfg examiner \
-	bin *.wrn *.gpr testcase *.ll *.s dataview-uniq.c dataview-uniq.h real.c xer.c \
-	ber.c acn.c asn1crt.c asn1crt.h
+	bin *.wrn *.gpr *.ll *.s dataview-uniq.c dataview-uniq.h real.c xer.c \
+	ber.c acn.c asn1crt.c asn1crt.h test_ada test_llvm
 
 .PHONY: all edit test-parse test-ada test-llvm clean
\ No newline at end of file

tests/regression/test-substrings/Makefile

+include ../shared.mk
+
 all: test-ada
 
 edit:
@@ -11,10 +13,10 @@ test-ada:
 	asn1.exe -Ada dataview-uniq.asn -typePrefix asn1Scc -equal
 	asn1.exe -c dataview-uniq.asn -typePrefix asn1Scc
 	gnatmake -c myfunction.adb
-	gcc -c test.c
+	gcc -c test_ada.c
 	gnatbind -n myfunction.ali
-	gnatlink -o testcase test.o myfunction.ali -lgnat
-	./testcase | diff expected -
+	gnatlink -o test_ada test_ada.o myfunction.ali -lgnat
+	./test_ada | diff expected -
 
 test-llvm:
 	../../../opengeode.py myfunction.pr system_structure.pr --check --llvm
@@ -23,14 +25,15 @@ test-llvm:
 	gcc -c myfunction.s
 	gcc -c dataview-uniq.c
 	gcc -c test_llvm.c
-	gcc myfunction.o dataview-uniq.o test_llvm.o -o testcase
-	./testcase | diff expected -
+	gcc myfunction.o dataview-uniq.o test_llvm.o -o test_llvm -lm
+	./test_llvm | diff expected -
 
 coverage:
 	coverage run  -p ../../../opengeode.py myfunction.pr system_structure.pr --toAda
 
 clean:
 	rm -rf *.adb *.ads *.pyc runSpark.sh spark.idx *.o *.ali gnat.cfg examiner \
-	bin *.wrn *.gpr datav*.? ber.c xer.c asn1crt.? acn.c real.c *.ll *.s testcase
+	bin *.wrn *.gpr *.ll *.s dataview-uniq.c dataview-uniq.h real.c xer.c \
+	ber.c acn.c asn1crt.c asn1crt.h test_ada test_llvm
 
 .PHONY: all edit test-parse test-ada test-llvm coverage clean
\ No newline at end of file

tests/regression/test1/Makefile

+include ../shared.mk
+
 all: test-ada test-llvm
 
 edit:

tests/regression/test10/Makefile

+include ../shared.mk
+
 all: test-ada test-llvm
 
 edit:
@@ -12,8 +14,8 @@ test-ada:
 	gnatmake -c *.adb
 	gcc -c	test_ada.c
 	gnatbind -n challenge.ali
-	gnatlink -o testcase  test_ada.o challenge.ali -lgnat -lm
-	./testcase | diff expected -
+	gnatlink -o test_ada  test_ada.o challenge.ali -lgnat -lm
+	./test_ada | diff expected -
 
 test-llvm:
 	../../../opengeode.py challenge.pr system_structure.pr --check --llvm
@@ -22,15 +24,15 @@ test-llvm:
 	gcc -c challenge.s
 	gcc -c dataview-uniq.c
 	gcc -c test_llvm.c
-	gcc challenge.o dataview-uniq.o test_llvm.o -o testcase -lm
-	./testcase | diff expected -
+	gcc challenge.o dataview-uniq.o test_llvm.o -o test_llvm -lm
+	./test_llvm| diff expected -
 
 coverage:
 	coverage run -p ../../../opengeode.py challenge.pr system_structure.pr --toAda
 
 clean:
 	rm -rf *.adb *.ads *.pyc runSpark.sh spark.idx *.o *.ali gnat.cfg examiner \
-	bin *.wrn *.gpr testcase *.ll *.s dataview-uniq.c dataview-uniq.h real.c xer.c \
-	ber.c acn.c asn1crt.c asn1crt.h
+	bin *.wrn *.gpr *.ll *.s dataview-uniq.c dataview-uniq.h real.c xer.c \
+	ber.c acn.c asn1crt.c asn1crt.h test_ada test_llvm
 
 .PHONY: all edit test-parse test-ada test-llvm coverage clean
\ No newline at end of file

tests/regression/test11/Makefile

+include ../shared.mk
+
 all: test-ada test-llvm
 
 edit:
@@ -12,23 +14,25 @@ test-ada:
 	gnatmake -c *.adb
 	gcc -c test_ada.c
 	gnatbind -n og.ali
-	gnatlink -o testcase test_ada.o og.ali -lgnat
-	./testcase | diff expected -
+	gnatlink -o test_ada test_ada.o og.ali -lgnat
+	./test_ada | diff expected -
 
 test-llvm:
 	../../../opengeode.py og.pr system_structure.pr --llvm
+	asn1.exe -c dataview-uniq.asn -equal -typePrefix asn1Scc
 	llc og.ll
 	gcc -c og.s
+	gcc -c dataview-uniq.c
 	gcc -c test_llvm.c
-	gcc og.o test_llvm.o -o testcase
-	./testcase | diff expected -
-
+	gcc og.o dataview-uniq.o test_llvm.o -o test_llvm -lm
+	./test_llvm | diff expected -
 
 coverage:
 	coverage run -p ../../../opengeode.py og.pr system_structure.pr --toAda
 
 clean:
 	rm -rf *.adb *.ads *.pyc runSpark.sh spark.idx *.o *.ali gnat.cfg examiner \
-	bin *.wrn *.gpr testcase *.ll *.s
+	bin *.wrn *.gpr *.ll *.s dataview-uniq.c dataview-uniq.h real.c xer.c \
+	ber.c acn.c asn1crt.c asn1crt.h test_ada test_llvm
 
 .PHONY: all edit test-parse test-ada test-llvm coverage clean
\ No newline at end of file

tests/regression/test12/Makefile

+include ../shared.mk
+
 all: test-ada test-llvm
 
 edit:

tests/regression/test2/Makefile

+include ../shared.mk
+
 all: test-ada test-llvm
 
 edit:

tests/regression/test3/Makefile

+include ../shared.mk
+
 all: test-ada test-llvm
 
 edit:

tests/regression/test4/Makefile

+include ../shared.mk
+
 all: test-ada test-llvm
 
 edit:

tests/regression/test5/Makefile

+include ../shared.mk
+
 all: test-ada test-llvm
 
 edit:

tests/regression/test6/Makefile

+include ../shared.mk
+
 all: test-ada test-llvm
 
 edit:
@@ -13,8 +15,8 @@ test-ada:
 	gnatmake -c myfunction.adb
 	gcc -c test_ada.c
 	gnatbind -n myfunction.ali
-	gnatlink -o testcase test_ada.o myfunction.ali -lgnat
-	./testcase | diff expected -
+	gnatlink -o test_ada test_ada.o myfunction.ali -lgnat
+	./test_ada | diff expected -
 
 test-llvm:
 	../../../opengeode.py myfunction.pr system_structure.pr --check --llvm
@@ -23,14 +25,15 @@ test-llvm:
 	gcc -c myfunction.s
 	gcc -c dataview-uniq.c
 	gcc -c test_llvm.c
-	gcc myfunction.o dataview-uniq.o test_llvm.o -o testcase
-	./testcase | diff expected -
+	gcc myfunction.o dataview-uniq.o test_llvm.o -o test_llvm -lm
+	./test_llvm | diff expected -
 
 coverage:
 	coverage run  -p ../../../opengeode.py myfunction.pr system_structure.pr --toAda
 
 clean:
 	rm -rf *.adb *.ads *.pyc runSpark.sh spark.idx *.o *.ali gnat.cfg examiner \
-	bin *.wrn *.gpr datav*.? ber.c xer.c asn1crt.? acn.c real.c testcase *.ll *.s
+	bin *.wrn *.gpr *.ll *.s dataview-uniq.c dataview-uniq.h real.c xer.c \
+	ber.c acn.c asn1crt.c asn1crt.h test_ada test_llvm
 
 .PHONY: all edit test-parse test-ada test-llvm coverage clean
\ No newline at end of file

tests/regression/test7/Makefile

+include ../shared.mk
+
 all: test-ada test-llvm
 
 edit:

tests/regression/test8/Makefile

+include ../shared.mk
+
 all: test-ada test-llvm
 
 edit:
@@ -13,8 +15,8 @@ test-ada:
 	gnatmake -c *.adb
 	gcc -c test_ada.c
 	gnatbind -n orchestrator.ali
-	gnatlink -o testcase test_ada.o orchestrator.ali -lgnat
-	./testcase | diff expected -
+	gnatlink -o test_ada test_ada.o orchestrator.ali -lgnat
+	./test_ada | diff expected -
 
 test-llvm:
 	../../../opengeode.py orchestrator.pr system_structure.pr --check --llvm
@@ -23,14 +25,15 @@ test-llvm:
 	gcc -c orchestrator.s
 	gcc -c dataview-uniq.c
 	gcc -c test_llvm.c
-	gcc orchestrator.o dataview-uniq.o test_llvm.o -o testcase -lm
-	./testcase | diff expected -
+	gcc orchestrator.o dataview-uniq.o test_llvm.o -o test_llvm -lm
+	./test_llvm | diff expected -
 
 coverage:
 	coverage run -p ../../../opengeode.py orchestrator.pr system_structure.pr --toAda
 
 clean:
 	rm -rf *.adb *.ads *.pyc runSpark.sh spark.idx *.o *.ali gnat.cfg examiner \
-	bin *.wrn *.gpr datav*.? ber.c xer.c asn1crt.? acn.c real.c *.wrn *.gpr testcase *.ll *.s
+	bin *.wrn *.gpr *.ll *.s dataview-uniq.c dataview-uniq.h real.c xer.c \
+	ber.c acn.c asn1crt.c asn1crt.h test_ada test_llvm
 
 .PHONY: all edit test-parse test-ada test-llvm coverage clean
\ No newline at end of file

tests/regression/test9/Makefile

+include ../shared.mk
+
 all: test-ada test-llvm
 
 edit: