Add test rule in makefile

Makefile

@@ -6,5 +6,8 @@ install:
 clean:
 	@rm -rf build dist *.egg-info properties/*.pyc
 
+test:
+	properties/properties.py -s ../test/properties test/*.pr
+	cd test && asn1.exe -Ada dataview-uniq.asn -typePrefix asn1Scc -equal && gnatmake -c orchestrator_stop_conditions.adb
 
-.PHONY: all install clean
+.PHONY: all install clean test

properties/properties.py

@@ -78,6 +78,7 @@ def parse_input_files(pr_files, ppty_file):
     process.transitions = []
     process.composite_states = []
     process.mapping = {state:[] for state in process.mapping.keys()}
+    process.processName = '{}_stop_conditions'.format(process.processName)
     idx = 0
     for each in stop_conditions:
         proc = opengeode.ogAST.Procedure()