Disable translation based on parsing for CVC5 as it does not support
parsing
@@ -93,14 +93,14 @@ public class TranslateFormulaTest {
assume()
.withMessage("Solver %s does not support parsing formulae", translateTo)
.that(translateTo)
- .isNoneOf(Solvers.CVC4, Solvers.BOOLECTOR, Solvers.YICES2);
+ .isNoneOf(Solvers.CVC4, Solvers.BOOLECTOR, Solvers.YICES2, Solvers.CVC5);
}
private void requireParserFrom() {
assume()
.withMessage("Solver %s does not support parsing formulae", translateFrom)
.that(translateFrom)
- .isNoneOf(Solvers.CVC4, Solvers.BOOLECTOR, Solvers.YICES2);
+ .isNoneOf(Solvers.CVC4, Solvers.BOOLECTOR, Solvers.YICES2, Solvers.CVC5);
}
private void requireIntegers() {
