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

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

}