yakindu/test-plugins/org.yakindu.sct.test.models/tests/Parenthesis.sctunit

testclass Parenthesis for statechart Parenthesis {
	@Test
	operation simple(){
		
		enter
		
		assert active (Parenthesis.mainRegion.A)
		assert erg == 8
	}
}