package au.id.zancanaro.javacheck; import java.util.List; public class ShrinkResult { public final List args; public final Throwable thrown; public final int depth; public final int visited; public ShrinkResult(List args, Throwable thrown, int depth, int visited) { this.args = args; this.thrown = thrown; this.depth = depth; this.visited = visited; } }