Permissions: Bad loop (failing case 2)
Simple verification example case where a shared variable `val` is updated inside a while-loop. This example fails, since the update to `val` can not be done: there is no permission to write to `val`.
|Path to example file||permissions/BadLoop2.java|
|Lines of code||15 lines (comments not included)|
|Lines of specification||3 lines (20% of the total)|
|Computation time||8028 milliseconds|
Note, verification may take a while and has a time-out of 20 seconds.