(header ((h) ihello provides) ((sut) deadlock_blocking_replies component) ((w) iworld requires))
<external>.h.hello -> ...
... -> sut.h.hello
... <- sut.h.true
<external>.h.true <- ...
(trail "h.hello" "h.true")
<external>.h.bye -> ...
... -> sut.h.bye
(trail "h.bye")
test/all/deadlock_blocking_replies/deadlock_blocking_replies.dzn:42:3: error: deadlock
<deadlock>
test/all/deadlock_blocking_replies/deadlock_blocking_replies.dzn:42:3: error: deadlock
(trail "<deadlock>")
(labels "h.hello" "h.bye" "w.world" "w.cruel")
(eligible)
