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