From 3bc784699e20460ffe2fef9492dcd2d325969b0e Mon Sep 17 00:00:00 2001
From: Dhruv Makwana <dc-mak@users.noreply.github.com>
Date: Mon, 30 Sep 2024 17:18:45 +0100
Subject: [PATCH] Temporarily remove test (#87)

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).