verify: isend: check: deadlock: ok
verify: isend: check: unreachable: ok
verify: isend: check: livelock: ok
verify: isend: check: deterministic: ok
verify: iext: check: deadlock: ok
verify: iext: check: unreachable: ok
verify: iext: check: livelock: ok
verify: iext: check: deterministic: ok
verify: defersender: check: deterministic: ok
verify: defersender: check: illegal: fail
error: queue full in model defersender
model: defersender
<queue-full>
verify: defersender: check: deadlock: ok
verify: defersender: check: unreachable: skip
verify: defersender: check: livelock: ok
verify: defersender: check: compliance: skip
verify: relay: check: deterministic: ok
verify: relay: check: illegal: ok
verify: relay: check: deadlock: ok
verify: relay: check: unreachable: ok
verify: relay: check: livelock: ok
verify: relay: check: compliance: ok
