Test all bitvector/uf capable solvers in a formulaManager test case
@@ -193,7 +193,7 @@ public class FormulaManagerTest extends SolverBasedTest0 {
@Test
public void bitvectorFormulaEqualsAndHashCode() {
// Boolector does not support integers and it is easier to make a new test with bvs
- assume().that(solverToUse()).isEqualTo(Solvers.BOOLECTOR);
+ requireBitvectors();
FunctionDeclaration<BitvectorFormula> fb =
fmgr.declareUF(
"f_bv",
