diff options
Diffstat (limited to 'src/main/java/au/id/zancanaro/javacheck/ShrinkResult.java')
-rw-r--r-- | src/main/java/au/id/zancanaro/javacheck/ShrinkResult.java | 6 |
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; } } |