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

b8196d6c-2a0f-c06e-855f-d9fe23cbe950
cached: 06/26/2017 11:56:19.000 AM