Packages

Property-based testing and metamorphic testing combinator library for Gleam

Current section

Files

Jump to
metamon include metamon@internal@report_FailureReport.hrl
Raw

include/metamon@internal@report_FailureReport.hrl

-record(failure_report, {
mr_name :: binary(),
test_name :: binary(),
config_seed :: 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())
}).