(header ((h) ihello provides) ((sut) deadlock_asynchronous_sync_reply component) ((w0) icruel requires) ((w1) iworld requires))
(state ((h)) ((sut)) ((w0) (idle . true)) ((w1)))
<external>.h.hello -> ...
... -> sut.h.hello
sut.w0.hello -> ...
... -> <external>.w0.hello
... <- <external>.w0.return
sut.w0.return <- ...
... <- sut.h.return
<external>.h.return <- ...
(state ((h)) ((sut)) ((w0) (idle . false)) ((w1)))
(trail "h.hello" "w0.hello" "w0.return" "h.return")
test/all/deadlock_asynchronous_sync_reply/deadlock_asynchronous_sync_reply.dzn:69:21: error: deadlock
... <- <external>.w0.world
sut.<q> <- ...
... <- sut.<q>
sut.w0.world <- ...
sut.w1.hello -> ...
... -> <external>.w1.hello
... <- <external>.w1.world
sut.<q> <- ...
... <- <external>.w1.return
sut.w1.return <- ...
... <- sut.<q>
sut.w1.world <- ...
<deadlock>
(state ((h)) ((sut)) ((w0) (idle . true)) ((w1)))
test/all/deadlock_asynchronous_sync_reply/deadlock_asynchronous_sync_reply.dzn:69:21: error: deadlock
(trail "w0.world" "w1.hello" "w1.world" "w1.return" "<deadlock>")
(labels "h.hello" "w0.world" "w1.world")
(eligible)
