Module frontier 

Re-exports

use crate::inspectors::CmpOperands; 🔒

use alloy_json_abi::Function; 🔒

use alloy_primitives::Address; 🔒

use alloy_primitives::I256; 🔒

use alloy_primitives::U256; 🔒

use alloy_primitives::map::Entry; 🔒

use alloy_primitives::map::HashMap; 🔒

use foundry_common::fs; 🔒

use foundry_evm_fuzz::BasicTxDetails; 🔒

use foundry_evm_fuzz::FuzzRunMetadata; 🔒

use revm::bytecode::opcode; 🔒

use serde::Serialize; 🔒

use serde::Serialize; 🔒

use serde::Serializer; 🔒

use std::path::Path; 🔒

use std::sync::Arc; 🔒

use std::time::SystemTime; 🔒

use std::time::UNIX_EPOCH; 🔒

Structs

FuzzBranchFrontier 🔒

FuzzBranchFrontierArtifact 🔒

FuzzBranchFrontierKey 🔒

FuzzBranchFrontierOperands 🔒

FuzzBranchFrontierSite 🔒

FuzzFrontierRecorder 🔒

StatefulFuzzBranchFrontier 🔒

StatefulFuzzBranchFrontierArtifact 🔒

StatefulFuzzSequence 🔒

Constants

FRONTIER_FILE 🔒

FRONTIER_SCHEMA 🔒

STATEFUL_FRONTIER_SCHEMA 🔒

Functions

comparison_result 🔒

merge_frontiers 🔒

Merges per-worker frontier records into a single bounded, globally deduplicated set.

opcode_name 🔒

operand_delta 🔒

serialize_sequence 🔒

serialize_sequences 🔒

signed_magnitude 🔒

signed_operand_delta 🔒

unsigned_operand_delta 🔒

write_frontier_artifact 🔒