|
@@ -162,19 +162,9 @@ class TestPetrinetInterface(unittest.TestCase):
|
|
|
|
|
|
def pn_interface_new_reload(self, mode):
|
|
|
self.assertTrue(run_file(all_files,
|
|
|
- ["new", "PetriNets", "abc", "exit", "load", "abc"], init + new_full +
|
|
|
- prompt_menu + load_full, mode))
|
|
|
-
|
|
|
- def test_po_pn_interface_new_list_empty(self):
|
|
|
- self.pn_interface_new_list_empty("PO")
|
|
|
-
|
|
|
- def test_co_pn_interface_new_list_empty(self):
|
|
|
- self.pn_interface_new_list_empty("CO")
|
|
|
-
|
|
|
- def pn_interface_new_list_empty(self, mode):
|
|
|
- self.assertTrue(run_file(all_files,
|
|
|
- ["new", "PetriNets", "abc", "list"], init + new_full + list_model +
|
|
|
- prompt_model, mode))
|
|
|
+ ["new", "PetriNets", "abc", "exit", "load", "abc"],
|
|
|
+ init + new + loaded + prompt + load + loaded,
|
|
|
+ mode))
|
|
|
|
|
|
def test_po_pn_interface_instantiate_place(self):
|
|
|
self.pn_interface_instantiate_place("PO")
|