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: sender: check: deterministic: ok
verify: sender: check: illegal: fail
error: queue full in model sender
model: sender
p.go
<queue-full>
verify: sender: check: deadlock: ok
verify: sender: check: unreachable: skip
verify: sender: check: livelock: ok
verify: sender: 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
