|
|
@@ -660,35 +660,3 @@ Element function constraint(model : Element, name : String):
|
|
|
transform + [set(['"p1" --> 0', '"p2" --> 1', '"p3" --> 5'])] + transform_result_true + prompt
|
|
|
,
|
|
|
"PO"))
|
|
|
-
|
|
|
- """
|
|
|
- def pn_interface_ftg(self, mode):
|
|
|
- pn_runtime = open("integration/code/pn_runtime.mvc", "r").read()
|
|
|
- pn_design = open("integration/code/pn_design.mvc", "r").read()
|
|
|
-
|
|
|
- cbd_design = open("integration/code/cbd_design.mvc", "r").read()
|
|
|
- cbd_runtime = open("integration/code/cbd_runtime.mvc", "r").read()
|
|
|
-
|
|
|
- fsa_design = open("integration/code/fsa_design.mvc", "r").read()
|
|
|
- fsa_runtime = open("integration/code/fsa_runtime.mvc", "r").read()
|
|
|
-
|
|
|
- pn_model = open("integration/code/pn_design_model.mvc", "r").read()
|
|
|
- transform_model_design_to_runtime = open("integration/code/pn_design_to_runtime.mvc", "r").read()
|
|
|
- transform_model_print = open("integration/code/pn_print.mvc", "r").read()
|
|
|
- transform_model_simulate = open("integration/code/pn_simulate.mvc", "r").read()
|
|
|
-
|
|
|
- self.assertTrue(run_file(all_files,
|
|
|
- get_model_constructor(pn_runtime) +
|
|
|
- get_model_constructor(pn_design) +
|
|
|
- get_model_constructor(cbd_runtime) +
|
|
|
- get_model_constructor(cbd_design) +
|
|
|
- get_model_constructor(fsa_runtime) +
|
|
|
- get_model_constructor(fsa_design) +
|
|
|
- ["generate_ftg", "generated_ftg",
|
|
|
- "load", "generated_ftg",
|
|
|
- "list",
|
|
|
- "verify",
|
|
|
- ],
|
|
|
- None,
|
|
|
- mode))
|
|
|
- """
|
