Permissions: Long swapping
Same problem as the "integer swapping" example, but now the content of two shared `long`'s are swapped. Methods are included that make use of the swapping method, some of which verify and some do not.
|Path to example file||permissions/SwapLong.java|
|Lines of code||37 lines (comments not included)|
|Lines of specification||9 lines (24.32% of the total)|
|Computation time||9023 milliseconds|
Note, verification may take a while and has a time-out of 20 seconds.