testgroup CastExpressions for statechart CastExpressions{ test CastExpressionTest { enter assert realValue == 5 assert intValue == 5 cycle assert realValue == 15 cycle assert active(CastExpressions.main_region.C) assert realValue == 757 } }
