add extra methods

[jpf-core.git] / moreStatistics

diff --git a/moreStatistics b/moreStatistics
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..329e40d12458266c523944f9ce8e77abd35b232f 100644 (file)
--- a/moreStatistics
+++ b/moreStatistics
@@ -0,0 +1,8 @@
+==> DEBUG: State reduction mode  : true
+==> DEBUG: Number of conflicts   : 4
+==> DEBUG: Number of transitions : 7
+
+==> DEBUG: State reduction mode  : true
+==> DEBUG: Number of conflicts   : 4
+==> DEBUG: Number of transitions : 7
+