tiny.hypothesis.TestResult
Defined in engine.
API (23)
Actions
Public operations.
Fields and members
Public fields and members.
allocatordatabase_entries_scanneddatabase_failures_rejecteddatabase_namespacedatabase_pathfailing_byte_blocksfailing_choicesfailing_errorinvalid_examplesmax_choicesmax_examplesmax_input_bytesmax_replaysmax_shrinkspassedper_example_leak_checkreplay_budget_saturatedreplayed_examplesseedtarget_examplesvalid_examples
Source
Source: lib/hypothesis/src/engine.zig:106
zig
pub const TestResult = struct { passed: bool, valid_examples: usize, invalid_examples: usize, replayed_examples: usize, database_entries_scanned: usize, database_failures_rejected: usize, replay_budget_saturated: bool, failing_choices: ?[]const ChoiceNode, failing_byte_blocks: ?[]const u8, seed: u64, failing_error: ?anyerror, database_path: ?[]const u8, database_namespace: ?[]const u8, max_examples: usize, max_replays: usize, max_choices: usize, max_input_bytes: usize, max_shrinks: usize, target_examples: usize, per_example_leak_check: bool, allocator: Allocator, pub fn initFailureReplay(self: *const TestResult, allocator: Allocator) ?ConjectureData { const choices = self.failing_choices orelse return null; var replay = ConjectureData.initReplay( allocator, choices, self.failing_byte_blocks, ); replay.max_choices = self.max_choices; replay.max_input_bytes = self.max_input_bytes; return replay; } pub fn deinit(self: *TestResult) void { if (self.failing_choices) |fc| self.allocator.free(fc); if (self.failing_byte_blocks) |fbb| self.allocator.free(fbb); }};Source: lib/hypothesis/src/root.zig:64
zig
pub const TestResult = engine.TestResult;Audit
| Definitions | 3 |
|---|---|
| Public names | 6 |
| Members | 21 |
| Version | 26.7.0 |
| Revision | daab053ee433 |