Current section
Files
Jump to
Current section
Files
include/metamon@internal@report_FailureReport.hrl
-record(failure_report, {
mr_name :: binary(),
test_name :: binary(),
config_seed :: integer(),
config_seed_original :: gleam@option:option(integer()),
runs_done :: integer(),
runs_total :: integer(),
shrinks_done :: integer(),
shrink_capped :: boolean(),
morph_mode :: gleam@option:option(metamon@internal@report:morph_mode()),
relation_name :: binary(),
source_input :: binary(),
followup_input :: binary(),
source_output :: binary(),
followup_output :: binary(),
input_source :: metamon@internal@report:input_source(),
diff_enabled :: boolean(),
annotations :: list(binary()),
footnotes :: list(binary()),
coverage_snapshot :: gleam@option:option(metamon@coverage:snapshot())
}).