|
@@ -49,7 +49,7 @@ class TestMvCSimulateLarger(unittest.TestCase):
|
|
|
utils.write_perf_to_file(
|
|
|
'mvc_large', optimization_level,
|
|
|
utils.run_correctness_test(all_files,
|
|
|
- ["root", "root", "root",
|
|
|
+ [ "root", "root", "root",
|
|
|
"model_add",
|
|
|
"SimpleClassDiagrams",
|
|
|
"PetriNets",
|
|
@@ -182,6 +182,7 @@ class TestMvCSimulateLarger(unittest.TestCase):
|
|
|
" CoreFormalism : SimpleClassDiagrams",
|
|
|
" PetriNets : SimpleClassDiagrams",
|
|
|
" my_pn : PetriNets",
|
|
|
+ " ActionLanguage : SimpleClassDiagrams",
|
|
|
" PetriNets_Runtime : SimpleClassDiagrams",
|
|
|
" core : CoreFormalism"]),
|
|
|
"Ready for command...",
|
|
@@ -194,6 +195,7 @@ class TestMvCSimulateLarger(unittest.TestCase):
|
|
|
" CoreFormalism : SimpleClassDiagrams",
|
|
|
" PetriNets_Runtime : SimpleClassDiagrams",
|
|
|
" PetriNets : SimpleClassDiagrams",
|
|
|
+ " ActionLanguage : SimpleClassDiagrams",
|
|
|
" __merged_PetriNets_RAM : SimpleClassDiagrams",
|
|
|
" PetriNets_RAM : SimpleClassDiagrams",
|
|
|
" my_pn : PetriNets",
|
|
@@ -297,6 +299,7 @@ class TestMvCSimulateLarger(unittest.TestCase):
|
|
|
" CoreFormalism : SimpleClassDiagrams",
|
|
|
" PetriNets_Runtime : SimpleClassDiagrams",
|
|
|
" PetriNets : SimpleClassDiagrams",
|
|
|
+ " ActionLanguage : SimpleClassDiagrams",
|
|
|
" pn_print : PetriNets_RAM",
|
|
|
" pn_design_to_runtime : PetriNets_RAM",
|
|
|
" pn_runtime_to_design : PetriNets_RAM",
|