Properties compile on test case

properties/properties.py

@@ -77,7 +77,7 @@ def parse_input_files(pr_files, ppty_file):
     process.procedures = []
     process.transitions = []
     process.composite_states = []
-    process.mapping = {}
+    process.mapping = {state:[] for state in process.mapping.keys()}
     idx = 0
     for each in stop_conditions:
         proc = opengeode.ogAST.Procedure()
@@ -101,7 +101,7 @@ def parse_input_files(pr_files, ppty_file):
         proc.content.start.transition.terminators = [decision]
         process.content.inner_procedures.append(proc)
         idx += 1
-    opengeode.AdaGenerator.generate(process)
+    opengeode.AdaGenerator.generate(process, simu=True)
 
 def cli():
     ''' Application entry point, when used from the command line '''