summaryrefslogtreecommitdiff
path: root/src/main/java/au/id/zancanaro/javacheck/ShrinkResult.java
diff options
context:
space:
mode:
Diffstat (limited to 'src/main/java/au/id/zancanaro/javacheck/ShrinkResult.java')
-rw-r--r--src/main/java/au/id/zancanaro/javacheck/ShrinkResult.java6
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;
}
}