Refute: refuting (case 3)
The refute statement is reachable, therefore it is valid. However, the post-conditions is wrong.
|Path to example file||refute/refute3.java|
|Lines of code||12 lines (comments not included)|
|Lines of specification||5 lines (41.67% of the total)|
|Computation time||16700 milliseconds|
Note, verification may take a while and has a time-out of 20 seconds.