(header ((client) determinism_silent provides) ((sut) determinism_silent interface))
test/all/determinism_silent/determinism_silent.dzn:28:3: error: interface is unobservably non-deterministic
test/all/determinism_silent/determinism_silent.dzn:32:12: error: interface is unobservably non-deterministic
<non-deterministic>
test/all/determinism_silent/determinism_silent.dzn:28:3: error: interface is unobservably non-deterministic
test/all/determinism_silent/determinism_silent.dzn:32:12: error: interface is unobservably non-deterministic
(trail "<non-deterministic>")
(labels "hello" "optional")
(eligible)
