ReentLock is the re-entrant lock using AtomicInteger as synchronizer. The contracts for the AtomicInteger is the version without magic-wand (delta).
|Features||Atomics, Locking, Witnesses|
|Path to example file||atomics/ReentLock.java|
|Lines of code||209 lines (comments not included)|
|Lines of specification||90 lines (43.06% of the total)|
|Computation time||15594 milliseconds|
Note, verification may take a while and has a time-out of 20 seconds.