src/main/java/au/id/zancanaro/javacheck/ShrinkResult.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

package au.id.zancanaro.javacheck;

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, int depth, int visited) {
        this.args = args;
        this.thrown = thrown;
        this.depth = depth;
        this.visited = visited;
    }
}