(header ((p_left) ihello provides) ((p_right) ihello provides) ((sut) compliance_fork_provides component) ((r) ihello requires))
(state ((p_left)) ((p_right)) ((sut)) ((r)))
test/all/compliance_fork_provides/compliance_fork_provides.dzn:43:25: error: non-compliance
... -> sut.p_left.hello
... <- sut.p_right.world
<non-compliance>
(state ((p_left)) ((p_right)) ((sut)) ((r)))
test/all/compliance_fork_provides/compliance_fork_provides.dzn:43:25: error: non-compliance
(trail "p_left.hello" "p_right.world" "<non-compliance>")
(labels "p_left.hello" "p_right.hello" "r.world")
(eligible)
