Version

Postcondition

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

Back to New feature dialog: feature properties modification
Permanent link
cached: 04/04/2026 4:00:14.000 PM