Closed dc-mak closed 1 month ago
https://github.com/rems-project/cerberus/pull/602 fixes a bug in the solver which changes the behaviour of this test, so I'm deleting it so that the CI passes (to re-add it later once the PR is merged).
https://github.com/rems-project/cerberus/pull/602 fixes a bug in the solver which changes the behaviour of this test, so I'm deleting it so that the CI passes (to re-add it later once the PR is merged).