tiny.hypothesis.Settings

1pub const Settings = struct {2    max_examples: usize = 100,3    max_replays: usize = 100,4    max_choices: usize = 4096,5    max_input_bytes: usize = conjecture.default_max_input_bytes,6    max_shrinks: usize = 5000,7    target_examples: usize = 100,8    seed: ?u64 = null,9    database_path: ?[]const u8 = null,10    database_namespace: ?[]const u8 = null,11    shrinking: bool = true,12    report_failure: bool = true,13    per_example_leak_check: bool = false,1415    pub fn quick() Settings {16        return .{17            .max_examples = 25,18            .max_replays = 25,19            .max_choices = 2048,20            .max_input_bytes = 256 * 1024,21            .max_shrinks = 1000,22            .target_examples = 25,23        };24    }2526    pub fn dev() Settings {27        return .{};28    }2930    pub fn ci() Settings {31        return .{32            .max_examples = 1000,33            .max_replays = 1000,34            .max_choices = 8192,35            .max_input_bytes = 4 * 1024 * 1024,36            .max_shrinks = 20_000,37            .target_examples = 1000,38        };39    }4041    pub fn withSeed(self: Settings, seed: ?u64) Settings {42        var out = self;43        out.seed = seed;44        return out;45    }4647    pub fn withDatabase(self: Settings, path: ?[]const u8) Settings {48        var out = self;49        out.database_path = path;50        return out;51    }5253    pub fn withNamespace(self: Settings, namespace: ?[]const u8) Settings {54        var out = self;55        out.database_namespace = namespace;56        return out;57    }5859    pub fn withSeedFromEnv(self: Settings) Settings {60        if (comptime builtin.os.tag == .windows or builtin.os.tag == .wasi) return self;61        const threaded = std.Options.debug_threaded_io orelse return self;62        const text = std.process.Environ.getPosix(63            threaded.environ.process_environ,64            seed_env_name,65        ) orelse return self;66        return self.withSeedText(text);67    }6869    pub fn withSeedText(self: Settings, text: []const u8) Settings {70        var out = self;71        if (std.mem.eql(u8, text, "random")) {72            out.seed = null;73            return out;74        }75        out.seed = std.fmt.parseUnsigned(u64, text, 0) catch76            @panic(seed_env_name ++ " must be an unsigned integer or \"random\"");77        return out;78    }79};

1pub const Settings = engine.Settings;