tiny.hypothesis.fuzzWithSettings

1pub fn fuzzWithSettings(2    context: anytype,3    comptime fuzzFn: fn (context: @TypeOf(context), input: []const u8) anyerror!void,4    options: FuzzInputOptions,5    settings: Settings,6) anyerror!void {7    const allocator = std.testing.allocator;89    var seed_cases: []SeedCase = &.{};10    var seed_nodes: []conjecture.ChoiceNode = &.{};11    defer {12        if (seed_cases.len > 0) allocator.free(seed_cases);13        if (seed_nodes.len > 0) allocator.free(seed_nodes);14    }1516    if (options.corpus.len > 0) {17        const corpus_count = @min(options.corpus.len, settings.max_replays);18        if (corpus_count > 0) {19            seed_cases = try allocator.alloc(SeedCase, corpus_count);20            seed_nodes = try allocator.alloc(conjecture.ChoiceNode, corpus_count);2122            for (options.corpus[0..corpus_count], 0..) |input, idx| {23                const max_len: usize = if (input.len > default_max_input_size)24                    input.len25                else26                    default_max_input_size;27                seed_nodes[idx] = .{28                    .kind = .integer,29                    .value = @intCast(input.len),30                    .min = 0,31                    .max = @intCast(max_len),32                    .shrink_towards = 0,33                };34                seed_cases[idx] = .{35                    .choices = seed_nodes[idx .. idx + 1],36                    .byte_blocks = input,37                };38            }39        }40    }4142    var wrapper_ctx = FuzzContextType(@TypeOf(context)){43        .user_context = context,44        .fuzz_fn = fuzzFn,45        .max_input_size = default_max_input_size,46    };4748    var result = try engine_mod.runWithContextSeeded(49        allocator,50        &FuzzTestType(@TypeOf(context)).testFn,51        @ptrCast(&wrapper_ctx),52        settings,53        seed_cases,54    );55    defer result.deinit();5657    if (!result.passed) {58        if (settings.report_failure) {59            printFailure(&result);60        }61        return error.PropertyFailed;62    }63}

1pub const fuzzWithSettings = testing.fuzzWithSettings;