Add new JNI call to get Boolector statistics as a String + description
@@ -491,6 +491,16 @@ class BtorJNI {
*/
protected static native String[][] boolector_uf_assignment_helper(long btor, long ufNode);
+ /**
+ * Helper method for boolector_print_stats() that does not print to the commandline. This needs
+ * verbosity level 3 or more! Since this prints debug info all the time it is recommended to set
+ * the option to 3 before using this and setting it back to 0 afterwards.
+ *
+ * @param btor boolector instance.
+ * @return a String representing the stats that Boolector gives out.
+ */
+ protected static native String boolector_print_stats_helper(long btor);
+
/**
* Sets termination callback to chosen implementation of a method.
*
