- 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
cached: 12/11/2025 8:28:59.000 PM
Enter a postcondition in the ensure field. A postcondition clause will be added to the feature:
...
ensure
n = count