test-models/wf_blocking_port/wf_blocking_port.dzn:18:1: error: all provides ports should be defined as blocking
test-models/wf_blocking_port/wf_blocking_port.dzn:20:3: info: non-blocking provides port `p1' define here
test-models/wf_blocking_port/wf_blocking_port.dzn:25:1: error: all provides ports should be defined as blocking
test-models/wf_blocking_port/wf_blocking_port.dzn:27:3: info: non-blocking provides port `p1' define here
test-models/wf_blocking_port/wf_blocking_port.dzn:58:7: error: cannot bind non-blocking port `pp' to blocking port `p'
test-models/wf_blocking_port/wf_blocking_port.dzn:48:3: info: non-blocking port `pp' defined here
test-models/wf_blocking_port/wf_blocking_port.dzn:38:3: info: blocking port `p' defined here
test-models/wf_blocking_port/wf_blocking_port.dzn:60:7: error: cannot bind non-blocking port `r' to blocking port `p'
test-models/wf_blocking_port/wf_blocking_port.dzn:44:3: info: non-blocking port `r' defined here
test-models/wf_blocking_port/wf_blocking_port.dzn:38:3: info: blocking port `p' defined here
test-models/wf_blocking_port/wf_blocking_port.dzn:63:7: error: cannot bind non-blocking port `r' to blocking port `rr'
test-models/wf_blocking_port/wf_blocking_port.dzn:44:3: info: non-blocking port `r' defined here
test-models/wf_blocking_port/wf_blocking_port.dzn:49:3: info: blocking port `rr' defined here
test-models/wf_blocking_port/wf_blocking_port.dzn:68:3: error: superfluous blocking annotation on provides port `p0'
test-models/wf_blocking_port/wf_blocking_port.dzn:77:3: error: superfluous blocking annotation on provides port `pp'
