Skip to main content

merge_handler_errors

Function merge_handler_errors 

Source
fn merge_handler_errors(
    merged: &mut HashMap<(Address, Selector), InvariantFuzzError>,
    worker_errors: HashMap<(Address, Selector), InvariantFuzzError>,
)
Expand description

Deduplicates handler assertion failures by site, keeping the shorter reproducer. Equal-length reproducers keep the one already inserted, which is the earlier logical worker because the caller folds worker outputs in first_global_run order.