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.

General information

ID126
Articlenone
Back-endChalice
LanguageJava
Features
Sources
Path to example filepermissions/SwapLong.java
Date2017-06-20

Statistical information

Lines of code37 lines (comments not included)
Lines of specification9 lines (24.32% of the total)
Computation time9023 milliseconds

Example code

Note, verification may take a while and has a time-out of 20 seconds.