(header ((client) determinism_interface provides) ((sut) determinism_interface interface))
test/all/determinism_interface/determinism_interface.dzn:35:8: error: interface is unobservably non-deterministic
test/all/determinism_interface/determinism_interface.dzn:34:8: error: interface is unobservably non-deterministic
<non-deterministic>
test/all/determinism_interface/determinism_interface.dzn:35:8: error: interface is unobservably non-deterministic
test/all/determinism_interface/determinism_interface.dzn:34:8: error: interface is unobservably non-deterministic
(trail "<non-deterministic>")
(labels "hello")
(eligible)
