verify: ihello: check: deadlock: ok
verify: ihello: check: unreachable: ok
verify: ihello: check: livelock: ok
verify: ihello: check: deterministic: ok
verify: itransfer: check: deadlock: ok
verify: itransfer: check: unreachable: ok
verify: itransfer: check: livelock: ok
verify: itransfer: check: deterministic: ok
verify: oracle_bug2: check: deterministic: ok
verify: oracle_bug2: check: illegal: fail
error: illegal action performed in model oracle_bug2
model: oracle_bug2
h.hello
r.move
r.arrived
r.return
r.transfer
<illegal>
verify: oracle_bug2: check: deadlock: fail
error: deadlock in model oracle_bug2
model: oracle_bug2
h.hello
r.move
r.return
h.return
r.arrived
r.transfer
r.return
<deadlock>
verify: oracle_bug2: check: unreachable: skip
verify: oracle_bug2: check: livelock: ok
verify: oracle_bug2: check: compliance: skip
