verify: ihello: check: deadlock: ok
verify: ihello: check: unreachable: ok
verify: ihello: check: livelock: ok
verify: ihello: check: deterministic: ok
verify: i_world: check: deadlock: ok
verify: i_world: check: unreachable: ok
verify: i_world: check: livelock: ok
verify: i_world: check: deterministic: ok
verify: leaf_ext: check: deterministic: ok
verify: leaf_ext: check: illegal: fail
error: queue full in model leaf_ext
model: leaf_ext
<queue-full>
verify: leaf_ext: check: deadlock: ok
verify: leaf_ext: check: unreachable: skip
verify: leaf_ext: check: livelock: ok
verify: leaf_ext: check: compliance: skip
verify: plain: check: deterministic: ok
verify: plain: check: illegal: ok
verify: plain: check: deadlock: ok
verify: plain: check: unreachable: ok
verify: plain: check: livelock: ok
verify: plain: check: compliance: ok
