Postcondition

Enter a postcondition in the ensure field. A postcondition clause will be added to the feature: ... ensure n = count

cached: 03/21/2019 5:29:58.000 AM