verify: itop: check: deadlock: ok
verify: itop: check: unreachable: ok
verify: itop: check: livelock: ok
verify: itop: check: deterministic: ok
verify: iext: check: deadlock: ok
verify: iext: check: unreachable: ok
verify: iext: check: livelock: ok
verify: iext: check: deterministic: ok
verify: optional_ext_empty: check: deterministic: ok
verify: optional_ext_empty: check: illegal: fail
error: queue full in model optional_ext_empty
model: optional_ext_empty
p.go
<queue-full>
verify: optional_ext_empty: check: deadlock: ok
verify: optional_ext_empty: check: unreachable: skip
verify: optional_ext_empty: check: livelock: ok
verify: optional_ext_empty: check: compliance: skip
