include/lightspeed@ops@contention_harness_Report.hrl
-record(report, {
outcomes :: list(lightspeed@ops@contention_harness:scenario_outcome()),
budget_results :: list(lightspeed@ops@contention_harness:budget_result()),
failed_scenarios :: integer(),
nondeterministic_failures :: integer(),
invariant_failures :: integer(),
failed_budgets :: integer()
}).