| Name | Description |
|---|
 SimpleInfiniteLoop
| A wrong Modelica_StateGraph2 that has an infinite loop (translates with an error) |
| SeveralInfiniteLoops
| Several loops that have wrongly only one delayed transition in one of the loops, but not in all |
| InfiniteLoop
| A wrong Modelica_StateGraph2 with infinite looping of a composite step (translates with an error) |
| ParallelWithInfiniteLoop
| A wrong Modelica_StateGraph2 to demonstrate parallel execution paths with infinite looping ((translates with an error)) |
| NoInitialStep
| An initial step is missing |
| AutonomousWithSuspendAndNoInitialStep
| Autonomous parallel with suspend/resume (either the parallel should have initialStep= true or an initial step is missing in the resume branch) |
| TwoInitialSteps
| A wrong Modelica_StateGraph2 that has two initial steps (gives an error during initialization) |
| ParallelWithTwoInitialSteps
| Wrong Modelica_StateGraph2 with two initial steps |
| UnsafeParallel1
| Wrong Modelica_StateGraph2 that branches out of the parallel step (gives error during initialization) |
| UnsafeParallel2
| Wrong Modelica_StateGraph2 where not all parallel paths are synchronized (gives translation error) |
| UnsafeParallel3
| Wrong Modelica_StateGraph2 where not all parallel paths are synchronized (gives translation error) |
| UnsafeParallel4
| Wrong Modelica_StateGraph2 where not all parallel paths are synchronized and a wrong initial step is added to compensate for this (gives an error during initialization) |
| UnsafeParallel5
| Wrong Modelica_StateGraph2 where an initial step is placed in a parallel (gives translation error) |
| NoUnaryConnection1
| Two steps are wrongly connected to the same outPort of a transition |
| NoUnaryConnection2
| Two steps are wrongly connected to one element of an entry port |
Modelica_StateGraph2.Examples.WrongStateGraphs.SimpleInfiniteLoop