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

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

}