Postcondition
Enter a postcondition in the ensure field. A postcondition clause will be added to the feature:
...
ensure
n = count
cached: 11/17/2025 1:15:34.000 AM
Enter a postcondition in the ensure field. A postcondition clause will be added to the feature:
...
ensure
n = count