|
@@ -2006,6 +2006,13 @@ class TestModelverseCore(unittest.TestCase):
|
|
|
"Name of new transformation?",
|
|
|
"Waiting for model constructors...",
|
|
|
"Ready for command...",
|
|
|
+ # model_add
|
|
|
+ "Creating new model!",
|
|
|
+ "Model type?",
|
|
|
+ "Model name?",
|
|
|
+ "Waiting for model constructors...",
|
|
|
+ "Model upload success!",
|
|
|
+ "Ready for command...",
|
|
|
# model_list
|
|
|
model_list |
|
|
|
set([
|
|
@@ -2016,5 +2023,10 @@ class TestModelverseCore(unittest.TestCase):
|
|
|
" reachability : ActionLanguage",
|
|
|
" reachability_print : ReachabilityGraph_RAM",
|
|
|
" pn_reachability : ProcessModel",
|
|
|
+ " PetriNet_RAM : SimpleClassDiagrams",
|
|
|
+ " ReachabilityGraph_RAM : SimpleClassDiagrams",
|
|
|
+ " __merged_PetriNet_RAM : SimpleClassDiagrams",
|
|
|
+ " __merged_ReachabilityGraph_RAM : SimpleClassDiagrams",
|
|
|
+ " __merged_refine_PN : SimpleClassDiagrams",
|
|
|
]),
|
|
|
]))
|