tiny.hypothesis.Config

1pub const Config = struct {2    max_examples: u32 = 100,3    max_replays: u32 = 100,4    max_shrinks: u32 = 1000,5    max_choices: usize = 8192,6    max_input_bytes: usize = conjecture.default_max_input_bytes,7    seed: ?u64 = null,8    persist_failures: bool = true,9    report_failures: bool = true,10    test_name: ?[]const u8 = null,1112    pub fn quick() Config {13        return .{14            .max_examples = 10,15            .max_replays = 10,16            .max_shrinks = 100,17            .max_choices = 4096,18            .max_input_bytes = 256 * 1024,19        };20    }2122    pub fn dev() Config {23        return .{};24    }2526    pub fn ci() Config {27        return .{28            .max_examples = 1000,29            .max_replays = 1000,30            .max_shrinks = 5000,31            .max_input_bytes = 4 * 1024 * 1024,32        };33    }3435    pub fn expectedSlow(max_examples: u32, _: u64) Config {36        return .{ .max_examples = max_examples, .max_replays = max_examples };37    }3839    pub fn toSettings(self: Config) engine.Settings {40        return .{41            .max_examples = @intCast(self.max_examples),42            .max_replays = @intCast(self.max_replays),43            .max_choices = self.max_choices,44            .max_input_bytes = self.max_input_bytes,45            .max_shrinks = @intCast(self.max_shrinks),46            .seed = self.seed,47            .database_path = if (self.persist_failures) "zig-out/pbt-failures" else null,48            .database_namespace = self.test_name,49            .report_failure = self.report_failures,50        };51    }52};

1pub const Config = value.Config;