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

testgroup LogicalAndTests for statechart LogicalAnd {
	
	test operandEvaluationOrder {
		
		enter
		cycle
		
		assert x == 4 && b "logical and expression was executed in wrong order..."	
	}

}