verify: ip: check: deadlock: ok
verify: ip: check: unreachable: ok
verify: ip: check: livelock: ok
verify: ip: check: deterministic: ok
verify: ir_ext: check: deadlock: ok
verify: ir_ext: check: unreachable: ok
verify: ir_ext: check: livelock: ok
verify: ir_ext: check: deterministic: ok
verify: iconfig: check: deadlock: ok
verify: iconfig: check: unreachable: ok
verify: iconfig: check: livelock: ok
verify: iconfig: check: deterministic: ok
verify: ilog: check: deadlock: ok
verify: ilog: check: unreachable: ok
verify: ilog: check: livelock: ok
verify: ilog: check: deterministic: ok
verify: ext_multi_spont: check: deterministic: ok
verify: ext_multi_spont: check: illegal: ok
verify: ext_multi_spont: check: deadlock: ok
verify: ext_multi_spont: check: unreachable: ok
verify: ext_multi_spont: check: livelock: ok
verify: ext_multi_spont: check: compliance: ok
