Permissions: Integer swapping

Method for swapping the values of two shared integers `F` and `G`. Other methods are included that use the swapping method, some of which verify and some do not.

General information

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

Statistical information

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

Example code

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