verify: Iprov: check: deadlock: ok
verify: Iprov: check: unreachable: ok
verify: Iprov: check: livelock: ok
verify: Iprov: check: deterministic: ok
verify: Iext: check: deadlock: ok
verify: Iext: check: unreachable: fail
test-models/external_call_unreachable_state/external_call_unreachable_state.dzn:15:16: error: code will never be executed
test-models/external_call_unreachable_state/external_call_unreachable_state.dzn:16:16: error: code will never be executed
verify: Iext: check: livelock: ok
verify: Iext: check: deterministic: ok
verify: external_call_unreachable_state: check: deterministic: ok
verify: external_call_unreachable_state: check: illegal: fail
error: illegal action performed in model external_call_unreachable_state
model: external_call_unreachable_state
p.p
e.cmd
<illegal>
verify: external_call_unreachable_state: check: deadlock: ok
verify: external_call_unreachable_state: check: unreachable: skip
verify: external_call_unreachable_state: check: livelock: ok
verify: external_call_unreachable_state: check: compliance: skip
