fn collect_data(
invariant_test: &InvariantTest,
state_changeset: &mut HashMap<Address, Account>,
tx: &BasicTxDetails,
call_result: &RawCallResult,
run_depth: u32,
)
Expand description
Collects data from call for fuzzing. However, it first verifies that the sender is not an EOA before inserting it into the dictionary. Otherwise, we flood the dictionary with randomly generated addresses.