Report command lists more nicely (line breaks between commands); report number of nodes visited during shrinking; other small fixes

1 files changed, 5 insertions, 1 deletions

diff --git a/src/main/java/au/id/zancanaro/javacheck/ShrinkResult.java b/src/main/java/au/id/zancanaro/javacheck/ShrinkResult.java
index 6bf3882..f135cee 100644
--- a/src/main/java/au/id/zancanaro/javacheck/ShrinkResult.java
+++ b/src/main/java/au/id/zancanaro/javacheck/ShrinkResult.java
@@ -5,9 +5,13 @@ import java.util.List;
 public class ShrinkResult {
     public final List<Object> args;
     public final Throwable thrown;
+    public final int depth;
+    public final int visited;
 
-    public ShrinkResult(List<Object> args, Throwable thrown) {
+    public ShrinkResult(List<Object> args, Throwable thrown, int depth, int visited) {
         this.args = args;
         this.thrown = thrown;
+        this.depth = depth;
+        this.visited = visited;
     }
 }