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

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

}