verify: ip1: check: deadlock: ok
verify: ip1: check: unreachable: ok
verify: ip1: check: livelock: ok
verify: ip1: check: deterministic: ok
verify: iext1: check: deadlock: fail
error: deadlock in model iext1
model: iext1
e
return
a
<deadlock>
verify: iext1: check: unreachable: skip
verify: iext1: check: livelock: ok
verify: iext1: check: deterministic: ok
verify: ext_multi_handler_delivery_full: check: deterministic: fail
error: component ext_multi_handler_delivery_full is non-deterministic
model: ext_multi_handler_delivery_full
h.hello
r.e
r.return
h.return
r.a
<non-deterministic>
verify: ext_multi_handler_delivery_full: check: illegal: fail
error: illegal action performed in model ext_multi_handler_delivery_full
model: ext_multi_handler_delivery_full
h.hello
r.e
r.return
h.return
h.hello
r.e
<illegal>
verify: ext_multi_handler_delivery_full: check: deadlock: ok
verify: ext_multi_handler_delivery_full: check: unreachable: skip
verify: ext_multi_handler_delivery_full: check: livelock: ok
verify: ext_multi_handler_delivery_full: check: compliance: skip
