verify: ip: check: deadlock: ok
verify: ip: check: unreachable: ok
verify: ip: check: livelock: ok
verify: ip: check: deterministic: ok
verify: ir: check: deadlock: ok
verify: ir: check: unreachable: ok
verify: ir: check: livelock: ok
verify: ir: check: deterministic: ok
verify: ext_precall_illegal_ready: check: deterministic: ok
verify: ext_precall_illegal_ready: check: illegal: fail
error: illegal action performed in model ext_precall_illegal_ready
model: ext_precall_illegal_ready
p.work
r.go
r.return
r.isReady
r.true
<illegal>
verify: ext_precall_illegal_ready: check: deadlock: ok
verify: ext_precall_illegal_ready: check: unreachable: skip
verify: ext_precall_illegal_ready: check: livelock: ok
verify: ext_precall_illegal_ready: check: compliance: skip
