(header ((client) deadlock_optional_out_only provides) ((sut) deadlock_optional_out_only interface))
(state ((client)) ((sut)))
test/all/deadlock_optional_out_only/deadlock_optional_out_only.dzn:28:3: error: deadlock
<deadlock>
(state ((client)) ((sut)))
test/all/deadlock_optional_out_only/deadlock_optional_out_only.dzn:28:3: error: deadlock
(trail "<deadlock>")
(labels "optional")
(eligible "optional")
