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

testclass LogicalAndTests for statechart LogicalAnd {
	@Test
	operation operandEvaluationOrder(){
		
		enter
		proceed 1 cycle
		
		assert x == 4 && b message "logical and expression was executed in wrong order..."	
	}

}