path: root/Chalice/tests/general-tests/FunctionPostcondition.output.txt

Verification of FunctionPostcondition.chalice using parameters="" 

The program did not typecheck.
8.5: the postcondition of functions cannot contain unfolding expressions at the moment