Add CVC5 to the list of solvers not supporting parsing
@@ -259,7 +259,7 @@ public abstract class SolverBasedTest0 {
assume()
.withMessage("Solver %s does not support parsing formulae", solverToUse())
.that(solverToUse())
- .isNoneOf(Solvers.CVC4, Solvers.BOOLECTOR, Solvers.YICES2);
+ .isNoneOf(Solvers.CVC4, Solvers.BOOLECTOR, Solvers.YICES2, Solvers.CVC5);
}
protected void requireModel() {
