Issue 18592: 7.3.10 uses the function max() which should be specified in clause 3 (cvl-ftf)
Source: Microsoft (Mr. Steve Cook, stcook(at)microsoft.com)
Nature: Uncategorized Issue
Severity: 
Summary: 7.3.10 uses the function max(). Say that this function is defined in the OCL spec, and which one. In fact, clause 3 should specify this.
Resolution: 
Revised Text: 
Actions taken:
March 22, 2013: received issue
Discussion: 

End of Annotations:=====
s is issue # 18592

7.3.10 uses the function max() which should be specified in clause 3

7.3.10 uses the function max(). Say that this function is defined in the OCL spec, and which one. In fact, clause 3 should specify this.