Add information about bv2int / int2bv support
@@ -92,7 +92,7 @@ public class Yices2BitvectorFormulaManager
protected Integer toIntegerFormulaImpl(Integer bvFormula, boolean pSigned) {
// TODO Check if actually true
throw new UnsupportedOperationException(
- "Yices dows not support making an INT formula from a BV formula.");
+ "Yices dows not support making an INT formula from a BV formula as of Version 2.6.1. Support is planned for a future release.");
}
@Override
@@ -260,6 +260,6 @@ public class Yices2BitvectorFormulaManager
protected Integer makeBitvectorImpl(int pLength, Integer pFormula) {
// TODO Check if actually true
throw new UnsupportedOperationException(
- "Yices does not support making a BV formula from an INT formula.");
+ "Yices does not support making a BV formula from an INT formula as of Version 2.6.1. Support is planned for a future release.");
}
}
