tiny.hypothesis.Coverage

1pub const Counters = struct {2    counts: Counts = .{},34    pub fn record(self: *Counters, bucket: Bucket) void {5        const counter = switch (bucket) {6            .valid => &self.counts.valid,7            .invalid => &self.counts.invalid,8            .boundary => &self.counts.boundary,9            .large_state => &self.counts.large_state,10        };11        std.debug.assert(counter.* < std.math.maxInt(u64));12        counter.* += 1;13    }1415    pub fn snapshot(self: *const Counters) Counts {16        return self.counts;17    }1819    pub fn meets(self: *const Counters, minimum: Counts) bool {20        for (std.meta.tags(Bucket)) |bucket| {21            if (self.counts.get(bucket) < minimum.get(bucket)) return false;22        }23        return true;24    }2526    pub fn require(self: *const Counters, minimum: Counts) error{InsufficientCoverage}!void {27        if (!self.meets(minimum)) return error.InsufficientCoverage;28    }29};

1pub const Coverage = coverage.Counters;