Enable Boolector in tests with models
@@ -248,10 +248,10 @@ public abstract class SolverBasedTest0 {
}
protected void requireModel() {
- assume()
+ /*assume()
.withMessage("Solver %s does not support model generation in a usable way", solverToUse())
.that(solverToUse())
- .isNotEqualTo(Solvers.BOOLECTOR);
+ .isNotEqualTo(Solvers.BOOLECTOR);*/
}
protected void requireVisitor() {
