(header ((pt) itransaction provides) ((sut) illegal_blocking_race component) ((rb) iblock requires) ((rt) itransaction requires))
(state ((pt) (active . false)) ((sut)) ((rb)) ((rt) (active . false)))
test/all/illegal_blocking_race/illegal_blocking_race.dzn:54:3: error: illegal
<external>.pt.request -> ...
... -> sut.pt.request
sut.rt.request -> ...
... -> <external>.rt.request
... <- <external>.rt.return
sut.rt.return <- ...
sut.rb.block -> ...
... -> <external>.rb.block
... <- <external>.rt.complete
sut.<q> <- ...
... <- <external>.rb.return
sut.rb.return <- ...
sut.rt.cancel -> ...
... -> <external>.rt.cancel
... <- <external>.rt.return
sut.rt.return <- ...
... <- sut.<q>
sut.rt.complete <- ...
<illegal>
(state ((pt) (active . true)) ((sut)) ((rb)) ((rt) (active . false)))
test/all/illegal_blocking_race/illegal_blocking_race.dzn:54:3: error: illegal
(trail "pt.request" "rt.request" "rt.return" "rb.block" "rt.complete" "rb.return" "rt.cancel" "rt.return" "<illegal>")
(labels "pt.cancel" "pt.request" "rt.complete")
(eligible)
