correct graphml output testing

This commit is contained in:
Alexey Fedoseev
2024-04-25 09:24:25 +03:00
parent dbcc4751a8
commit ebf818e0a1
10 changed files with 10 additions and 13 deletions

View File

@@ -31,20 +31,18 @@ int main(int argc, char** argv)
Document d;
StateMachine* sm = d.new_state_machine("SM");
d.new_initial(sm);
State* parent = d.new_state(sm, "State");
try {
// check id uniqueness
d.new_initial(sm, "n0");
d.new_initial(sm, "n0", "init name");
} catch (const Cyberiada::ParametersException&){
}
d.new_initial(sm);
try {
// check non-empty name
d.new_initial(sm, "");
} catch (const Cyberiada::ParametersException&){
}
State* parent = d.new_state(sm, "State");
d.new_initial(parent, "Local init");
try {
// check double initial