- This is not the released version of the documentation. Recommended Version
Postcondition
Enter a postcondition in the ensure field. A postcondition clause will be added to the feature:
...
ensure
n = count
Enter a postcondition in the ensure field. A postcondition clause will be added to the feature:
...
ensure
n = count