(header ((h) ihello provides) ((sut) compliance_reply_bool component) ((w) ihello requires))
(state ((h)) ((sut) (bb . false)) ((w)))
<external>.h.hello -> ...
... -> sut.h.hello
sut.w.bye -> ...
... -> <external>.w.bye
... <- <external>.w.true
sut.w.true <- ...
... <- sut.h.true
<external>.h.true <- ...
(state ((h)) ((sut) (bb . true)) ((w)))
(trail "h.hello" "w.bye" "w.true" "h.true")
test/all/compliance_reply_bool/compliance_reply_bool.dzn:47:10: error: non-compliance
<external>.h.hello -> ...
... -> sut.h.hello
sut.w.bye -> ...
... -> <external>.w.bye
... <- <external>.w.false
sut.w.false <- ...
... <- sut.h.false
<external>.h.true <- ...
<non-compliance>
(state ((h)) ((sut) (bb . true)) ((w)))
test/all/compliance_reply_bool/compliance_reply_bool.dzn:47:10: error: non-compliance
(trail "h.hello" "w.bye" "w.false" "h.false" "<non-compliance>")
(labels "h.hello" "h.bye")
(eligible)
