verify: ihello: check: deadlock: ok
verify: ihello: check: unreachable: ok
verify: ihello: check: livelock: ok
verify: ihello: check: deterministic: ok
verify: isilly: check: deadlock: ok
verify: isilly: check: unreachable: ok
verify: isilly: check: livelock: ok
verify: isilly: check: deterministic: ok
verify: shared_no_function: check: deterministic: ok
verify: shared_no_function: check: illegal: ok
verify: shared_no_function: check: deadlock: ok
verify: shared_no_function: check: unreachable: fail
test-models/shared_no_function/shared_no_function.dzn:95:7: error: code will never be executed
test-models/shared_no_function/shared_no_function.dzn:96:7: error: code will never be executed
test-models/shared_no_function/shared_no_function.dzn:97:7: error: code will never be executed
test-models/shared_no_function/shared_no_function.dzn:98:7: error: code will never be executed
test-models/shared_no_function/shared_no_function.dzn:99:7: error: code will never be executed
test-models/shared_no_function/shared_no_function.dzn:100:7: error: code will never be executed
test-models/shared_no_function/shared_no_function.dzn:101:7: error: code will never be executed
test-models/shared_no_function/shared_no_function.dzn:102:7: error: code will never be executed
test-models/shared_no_function/shared_no_function.dzn:103:7: error: code will never be executed
test-models/shared_no_function/shared_no_function.dzn:104:7: error: code will never be executed
test-models/shared_no_function/shared_no_function.dzn:105:7: error: code will never be executed
test-models/shared_no_function/shared_no_function.dzn:106:7: error: code will never be executed
test-models/shared_no_function/shared_no_function.dzn:107:7: error: code will never be executed
test-models/shared_no_function/shared_no_function.dzn:108:7: error: code will never be executed
test-models/shared_no_function/shared_no_function.dzn:109:7: error: code will never be executed
test-models/shared_no_function/shared_no_function.dzn:110:7: error: code will never be executed
test-models/shared_no_function/shared_no_function.dzn:111:7: error: code will never be executed
test-models/shared_no_function/shared_no_function.dzn:112:7: error: code will never be executed
test-models/shared_no_function/shared_no_function.dzn:113:7: error: code will never be executed
test-models/shared_no_function/shared_no_function.dzn:114:7: error: code will never be executed
test-models/shared_no_function/shared_no_function.dzn:115:7: error: code will never be executed
verify: shared_no_function: check: livelock: ok
verify: shared_no_function: check: compliance: ok
