(header ((p) IAsync provides) ((sut) livelock_async_cancel component))
<external>.p.e -> ...
... -> sut.p.e
... <- sut.p.return
<external>.p.return <- ...
(trail "p.e" "p.return")
test/all/livelock_async_cancel/livelock_async_cancel.dzn:55:5: error: livelock
<loop>
<livelock>
test/all/livelock_async_cancel/livelock_async_cancel.dzn:55:5: error: livelock
(trail "<loop>" "<livelock>")
(labels "p.e" "p.c")
(eligible)
