chickadee
»
checks
»
>>>%
Identifier search
>>>%
loc
result-name
result
#!rest
tests
procedure
Postcondition test. Procedure version of >>>, result needs to be named.