disable failing unit-test for Princess.
@@ -1871,6 +1871,11 @@ public class ModelTest extends SolverBasedTest0 {
requireArrays();
requireBitvectors();
+ assume()
+ .withMessage("Solver %s sadly fails on this test.", solverToUse())
+ .that(solverToUse())
+ .isNotEqualTo(Solvers.PRINCESS);
+
BooleanFormula formula =
context
.getFormulaManager()
