- testgroup SimpleHierachy for statechart SimpleHierachy {
- test simpleHierachyTest {
-
- enter
-
- assert active (SimpleHierachy.main_region.A)
- raise Event1
- raise Event1
- raise Event1
- cycle
- assert active (SimpleHierachy.main_region.B)
- assert active (SimpleHierachy.main_region.B.subregion1.B1)
- }
- }
|