(header ((client) determinism_modeling provides) ((sut) determinism_modeling interface))
test/all/determinism_modeling/determinism_modeling.dzn:38:12: error: interface is unobservably non-deterministic
test/all/determinism_modeling/determinism_modeling.dzn:37:12: error: interface is unobservably non-deterministic
<non-deterministic>
test/all/determinism_modeling/determinism_modeling.dzn:38:12: error: interface is unobservably non-deterministic
test/all/determinism_modeling/determinism_modeling.dzn:37:12: error: interface is unobservably non-deterministic
(trail "<non-deterministic>")
(labels "hello" "inevitable")
(eligible)
