testgroup FeatureCalls for statechart FeatureCalls { test FeatureCalls { enter assert active ( FeatureCalls.main_region.A) //assert MyInterface.myInt == 0 //raise MyInterface.Event1 cycle //assert MyInterface.myInt == 42 assert active (FeatureCalls.main_region.A) } }
