Postfix unary operators
This verification example tests support for verifying the unary "++" and "--" operators, by incrementing and decrementing some value, respectively.
|Path to example file||basic/postfix-increment.pvl|
|Lines of code||24 lines (comments not included)|
|Lines of specification||2 lines (8.33% of the total)|
|Computation time||18773 milliseconds|
Note, verification may take a while and has a time-out of 20 seconds.