verify: ihello: check: deadlock: ok
verify: ihello: check: unreachable: ok
verify: ihello: check: livelock: ok
verify: ihello: check: deterministic: ok
verify: icruel: check: deadlock: ok
verify: icruel: check: unreachable: ok
verify: icruel: check: livelock: ok
verify: icruel: check: deterministic: ok
verify: iworld: check: deadlock: ok
verify: iworld: check: unreachable: ok
verify: iworld: check: livelock: ok
verify: iworld: check: deterministic: ok
verify: deadlock_asynchronous_sync_reply: check: deterministic: ok
verify: deadlock_asynchronous_sync_reply: check: illegal: ok
verify: deadlock_asynchronous_sync_reply: check: deadlock: fail
error: deadlock in model deadlock_asynchronous_sync_reply
model: deadlock_asynchronous_sync_reply
h.hello
w0.hello
w0.return
h.return
w0.world
w1.hello
w1.world
w1.return
<deadlock>
verify: deadlock_asynchronous_sync_reply: check: unreachable: skip
verify: deadlock_asynchronous_sync_reply: check: livelock: ok
verify: deadlock_asynchronous_sync_reply: check: compliance: skip
