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;
    }
}