verify: Iterate: check: deadlock: ok
verify: Iterate: check: unreachable: ok
verify: Iterate: check: livelock: ok
verify: Iterate: check: deterministic: ok
verify: List: check: deadlock: ok
verify: List: check: unreachable: ok
verify: List: check: livelock: ok
verify: List: check: deterministic: ok
verify: livelock_iterator: check: deterministic: ok
verify: livelock_iterator: check: illegal: ok
verify: livelock_iterator: check: deadlock: ok
verify: livelock_iterator: check: unreachable: ok
verify: livelock_iterator: check: livelock: fail
error: livelock in model livelock_iterator
model: livelock_iterator
iter.map
<loop>
list.next
list.true
<livelock>
verify: livelock_iterator: check: compliance: ok
