verify: ip3: check: deadlock: ok
verify: ip3: check: unreachable: ok
verify: ip3: check: livelock: ok
verify: ip3: check: deterministic: ok
verify: iext3: check: deadlock: ok
verify: iext3: check: unreachable: ok
verify: iext3: check: livelock: ok
verify: iext3: check: deterministic: ok
verify: ext_multi_handler_delivery: check: deterministic: fail
error: component ext_multi_handler_delivery is non-deterministic
model: ext_multi_handler_delivery
h.hello
r.e
r.return
h.return
r.a
<non-deterministic>
verify: ext_multi_handler_delivery: check: illegal: ok
verify: ext_multi_handler_delivery: check: deadlock: ok
verify: ext_multi_handler_delivery: check: unreachable: ok
verify: ext_multi_handler_delivery: check: livelock: ok
verify: ext_multi_handler_delivery: check: compliance: ok
