verify: I: check: deadlock: ok
verify: I: check: unreachable: ok
verify: I: check: livelock: ok
verify: I: check: deterministic: ok
verify: fail_reply_missing_branch_ask_bool: check: deterministic: ok
verify: fail_reply_missing_branch_ask_bool: check: illegal: ok
verify: fail_reply_missing_branch_ask_bool: check: deadlock: fail
error: reply missing from model fail_reply_missing_branch_ask_bool
model: fail_reply_missing_branch_ask_bool
p.ask
<missing-reply>
verify: fail_reply_missing_branch_ask_bool: check: unreachable: skip
verify: fail_reply_missing_branch_ask_bool: check: livelock: ok
verify: fail_reply_missing_branch_ask_bool: check: compliance: skip
