Add a note for CVC5 interpolants in the CVC5 native API test (CVC5
produces currently only boolean interpolants)
@@ -93,6 +93,9 @@ public class CVC5NativeAPITest {
solver.close();
}
+ /*
+ * Note: CVC5s interpolation does not produce useful interpolants! Just true/false statements!
+ */
@Test
public void checkInterpolation() {
// solver.setOption("produce-unsat-cores", "true");
