testclass CastExpressions for statechart CastExpressions{ @Test operation CastExpressionTest(){ enter assert realValue == 5 assert intValue == 5 proceed 1 cycle assert realValue == 15 proceed 1 cycle assert active(CastExpressions.main_region.C) assert realValue == 757 } }
