Postfix unary operators

This verification example tests support for verifying the unary "++" and "--" operators, by incrementing and decrementing some value, respectively.

General Information

• Backend: Silicon
• Language: PVL
• Features:
• Path to Example File: basic/postfix-increment.pvl
• Should Verify: Yes
• Date: 2017-06-15
• Lines of Code: 24 (comments not included)
• Lines of Specification: 2 (8.3% of total)
• Computation Time: 18.8 seconds