List of all items

Structs

• PortfolioDiagnostics
• SymbolicBranchTarget
• SymbolicConcreteInput
• SymbolicExecutor
• SymbolicInvariantRunInput
• SymbolicInvariantStep
• SymbolicInvariantTarget
• SymbolicRunInput
• SymbolicStats
• SymbolicStorageAssignment
• abi::SymbolicAbiBuilder
• abi::SymbolicAbiState
• abi::SymbolicCalldata
• abi::SymbolicInput
• runtime::SymbolicBranchTarget
• runtime::SymbolicRunInput
• runtime::bytes::SymBytes
• runtime::calldata::SymCalldata
• runtime::expr::NoopModel
• runtime::expr::bool::SymBoolExpr
• runtime::expr::cx::SymCx
• runtime::expr::cx::SymCxCache
• runtime::expr::hashcons::HashCons
• runtime::expr::hashcons::HashConsEntry
• runtime::expr::hashcons::HashConsed
• runtime::expr::hashcons::HashConsedInner
• runtime::expr::word::StorageMappingKey
• runtime::expr::word::SymExpr
• runtime::memory::SymCode
• runtime::memory::SymMemory
• runtime::memory::SymReturnData
• runtime::memory::SymStack
• runtime::memory::SymbolicMemoryWrite
• runtime::solver::PortfolioDiagnostics
• runtime::solver::PortfolioScheduler
• runtime::solver::ScheduledSolver
• runtime::solver::SmtLibSubprocessSolver
• runtime::solver::SolverChild
• runtime::solver::SolverCommand
• runtime::solver::SolverCommandRun
• runtime::solver::SolverProcessResult
• runtime::solver::SolverRunSummary
• runtime::solver::hard_arith_fallback::FallbackSearch
• runtime::solver::hard_arith_fallback::MaskHints
• runtime::solver::monotonic_product::OrderFacts
• runtime::solver::opt::ConstraintContext
• runtime::solver::opt::SmtCsePlan
• runtime::solver::opt::SmtCseVisit
• runtime::solver::opt::SmtCseWriter
• runtime::solver::opt::WordInterval
• runtime::state::AccessRecord
• runtime::state::CallFrame
• runtime::state::CallMock
• runtime::state::CallMockOutcome
• runtime::state::ExpectedCall
• runtime::state::ExpectedCreate
• runtime::state::ExpectedEmit
• runtime::state::ExpectedEmitChecks
• runtime::state::ExpectedRevert
• runtime::state::ExternalCallOutcome
• runtime::state::FunctionMock
• runtime::state::InvariantCheckOutcome
• runtime::state::PathState
• runtime::state::SequencePath
• runtime::state::SequenceStepTemplate
• runtime::state::StorageWrite
• runtime::state::SymbolicBlock
• runtime::state::SymbolicLog
• runtime::state::SymbolicPrank
• runtime::state::SymbolicReplayStorageSlot
• runtime::state::SymbolicWorld
• runtime::state::SymbolicWorldSnapshot
• runtime::state::TopLevelCallOutcome
• runtime::symbols::Symbol

Enums

• DeferredIncomplete
• SymbolicError
• SymbolicInvariantCounterexampleKind
• SymbolicInvariantRunResult
• SymbolicRunResult
• SymbolicStopReason
• SymbolicVmCheatcode
• abi::DynamicKind
• abi::SymbolicAbiValue
• runtime::SymbolicError
• runtime::bytes::SymBytesKind
• runtime::control::CallKind
• runtime::control::CheatcodeOutcome
• runtime::control::CreateKind
• runtime::control::ShiftKind
• runtime::control::StepOutcome
• runtime::expr::bool::SymBoolExprKind
• runtime::expr::bool::SymCmpOp
• runtime::expr::word::SymBinOp
• runtime::expr::word::SymExprKind
• runtime::expr::word::SymTernOp
• runtime::memory::BoundedCopySize
• runtime::memory::GuardedOpcode
• runtime::solver::PortfolioSchedulerSignal
• runtime::solver::SolverConfigError
• runtime::solver::SolverOutcome
• runtime::solver::SolverProcessOutcome
• runtime::solver::opt::SmtBinding
• runtime::state::AssumeNoRevert
• runtime::state::ExpectedRevertData
• runtime::state::TopLevelCallStatus

Traits

• runtime::solver::SymbolicSolver
• runtime::symbols::SymbolicModelLookup

Functions

• abi::calldata_variant_limit
• abi::child_aliases
• abi::encode_dynamic_body
• abi::encode_packed_bytes_with_len
• abi::encode_sequence
• abi::encode_static
• abi::first_dynamic_length
• abi::push_variant
• abi::seed_model_bytes
• abi::seed_model_elements
• abi::validate_positional_dynamic_lengths
• executor::calls::byte_eq_condition
• executor::calls::byte_ne_condition
• executor::calls::bytes_eq_condition
• executor::calls::bytes_ne_condition
• executor::calls::constrained_byte
• executor::calls::constrained_bytes_at
• executor::calls::ensure_expr_not_gasleft
• executor::calls::expr_eq_condition
• executor::calls::expr_ne_condition
• executor::calls::kzg_constrained_outcome
• executor::calls::kzg_failure_witness_condition
• executor::calls::kzg_success_return_data
• executor::calls::kzg_success_witness_condition
• executor::calls::kzg_versioned_hash_mismatch_condition
• executor::run::order_roots_by_corpus_seed_count
• executor::run::symbolic_invariant_should_check
• runtime::address::address_word
• runtime::address::mask_bits
• runtime::address::stable_symbol
• runtime::address::word_to_address
• runtime::cheatcodes::abi_bytes_return
• runtime::cheatcodes::abi_bytes_return_with_len
• runtime::cheatcodes::abi_concrete_bytes_return
• runtime::cheatcodes::abi_concrete_value_return
• runtime::cheatcodes::abi_static_input_size
• runtime::cheatcodes::accesses_return_data
• runtime::cheatcodes::array_assertion_element_type
• runtime::cheatcodes::artifact_code
• runtime::cheatcodes::artifact_json_fallback_paths
• runtime::cheatcodes::artifact_json_path
• runtime::cheatcodes::complete_cheatcode_call
• runtime::cheatcodes::decode_cheatcode_args
• runtime::cheatcodes::derive_private_key
• runtime::cheatcodes::derive_private_key_with_language
• runtime::cheatcodes::dyn_address
• runtime::cheatcodes::dyn_address_array
• runtime::cheatcodes::dyn_bool
• runtime::cheatcodes::dyn_bytes
• runtime::cheatcodes::dyn_bytes32_array
• runtime::cheatcodes::dyn_potential_revert
• runtime::cheatcodes::dyn_potential_reverts
• runtime::cheatcodes::dyn_string
• runtime::cheatcodes::dyn_string_array
• runtime::cheatcodes::foundry_cheatcode_min_input_size
• runtime::cheatcodes::hex_nibble_ascii
• runtime::cheatcodes::parse_env_address
• runtime::cheatcodes::parse_env_address_value
• runtime::cheatcodes::parse_env_array
• runtime::cheatcodes::parse_env_bool
• runtime::cheatcodes::parse_env_bool_value
• runtime::cheatcodes::parse_env_bytes
• runtime::cheatcodes::parse_env_bytes32
• runtime::cheatcodes::parse_env_bytes32_value
• runtime::cheatcodes::parse_env_bytes_value
• runtime::cheatcodes::parse_env_int
• runtime::cheatcodes::parse_env_int_value
• runtime::cheatcodes::parse_env_string_value
• runtime::cheatcodes::parse_env_uint
• runtime::cheatcodes::parse_env_uint_value
• runtime::cheatcodes::private_key_address
• runtime::cheatcodes::private_key_signer
• runtime::cheatcodes::push_ascii
• runtime::cheatcodes::push_hex_byte
• runtime::cheatcodes::push_hex_word
• runtime::cheatcodes::read_abi_address_arg
• runtime::cheatcodes::read_abi_address_or_symbolic_slot_arg
• runtime::cheatcodes::read_abi_address_word_or_symbolic_slot_arg
• runtime::cheatcodes::read_abi_bool_arg
• runtime::cheatcodes::read_abi_bytes4_words_arg
• runtime::cheatcodes::read_abi_concrete_word_arg
• runtime::cheatcodes::read_abi_constrained_address_arg
• runtime::cheatcodes::read_abi_constrained_word_arg
• runtime::cheatcodes::read_abi_dynamic_bytes_arg
• runtime::cheatcodes::read_abi_dynamic_return_data_arg
• runtime::cheatcodes::read_abi_string_arg
• runtime::cheatcodes::read_abi_symbolic_dynamic_byte_exprs_arg
• runtime::cheatcodes::read_abi_symbolic_dynamic_bytes_arg
• runtime::cheatcodes::read_abi_symbolic_dynamic_bytes_array_arg
• runtime::cheatcodes::read_abi_u32_arg
• runtime::cheatcodes::read_abi_u64_arg
• runtime::cheatcodes::read_abi_word_arg
• runtime::cheatcodes::recorded_logs_json_return_data
• runtime::cheatcodes::recorded_logs_return_data
• runtime::cheatcodes::selector_has_string_reason
• runtime::cheatcodes::sign_compact_hash_words
• runtime::cheatcodes::sign_hash_words
• runtime::cheatcodes::storage_slots_abi_array
• runtime::cheatcodes::symbolic_vm_cheatcode_min_input_size
• runtime::evm::abi_word
• runtime::evm::abi_word_usize
• runtime::evm::byte_expr
• runtime::evm::byte_word
• runtime::evm::byte_word_dynamic
• runtime::evm::ensure_jumpdest
• runtime::evm::exp_expr_for_concrete_exponent
• runtime::evm::failed_slot
• runtime::evm::is_assert_panic
• runtime::evm::is_assertion_revert
• runtime::evm::is_revert_assertion_failure
• runtime::evm::pow_mod
• runtime::evm::sar
• runtime::evm::sdiv
• runtime::evm::shift_left
• runtime::evm::signed_abs
• runtime::evm::signextend
• runtime::evm::signextend_word
• runtime::evm::signextend_word_dynamic
• runtime::evm::slt
• runtime::evm::smod
• runtime::expr::word::compute_create2_address_word
• runtime::expr::word::compute_create_address_word
• runtime::expr::word::concrete_expr_bytes
• runtime::expr::word::context_forces_masked_expr
• runtime::expr::word::create2_address_word
• runtime::expr::word::keccak_word
• runtime::expr::word::keccak_word_with_len
• runtime::expr::word::low_masked_source
• runtime::expr::word::low_masked_source_any
• runtime::expr::word::mask_low_bits
• runtime::expr::word::masked_expr_matches
• runtime::expr::word::power_of_two_shift
• runtime::expr::word::storage_mapping_key_bytes_form_compact_word
• runtime::expr::word::storage_mapping_key_eq
• runtime::expr::word::symbolic_create2_address_word
• runtime::expr::word::symbolic_create_address_word
• runtime::expr::word::symbolic_hash_word_with_len
• runtime::expr::word::word_from_extracted_bytes
• runtime::expr::word::write_smt_wide_modular_arithmetic
• runtime::precompiles::concrete_precompile_word_at
• runtime::precompiles::execute_precompile
• runtime::precompiles::execute_symbolic_precompile
• runtime::precompiles::input_has_symbolic_bytes
• runtime::precompiles::is_console
• runtime::precompiles::is_known_cheatcode
• runtime::precompiles::is_supported_precompile
• runtime::precompiles::precompile_address
• runtime::precompiles::precompile_number
• runtime::precompiles::precompile_number_for_spec
• runtime::precompiles::symbolic_fixed_len_precompile_output
• runtime::precompiles::symbolic_modexp_precompile
• runtime::solver::first_solver_line
• runtime::solver::format_solver_portfolio_summaries
• runtime::solver::hard_arith_fallback::add_zero_invalid_support_vars
• runtime::solver::hard_arith_fallback::assign_checked_add_base
• runtime::solver::hard_arith_fallback::assign_checked_sub_minuend
• runtime::solver::hard_arith_fallback::bool_expr_binds_single_var
• runtime::solver::hard_arith_fallback::bool_expr_has_two_var_relation
• runtime::solver::hard_arith_fallback::collect_bool_constants
• runtime::solver::hard_arith_fallback::collect_bool_fallback_vars
• runtime::solver::hard_arith_fallback::collect_bool_hard_arith_vars
• runtime::solver::hard_arith_fallback::collect_expr_fallback_vars
• runtime::solver::hard_arith_fallback::complete_checked_add_guard
• runtime::solver::hard_arith_fallback::complete_checked_sub_guard
• runtime::solver::hard_arith_fallback::complete_default_support_comparison
• runtime::solver::hard_arith_fallback::complete_default_support_constraint
• runtime::solver::hard_arith_fallback::complete_fallback_support_model
• runtime::solver::hard_arith_fallback::complete_support_bool
• runtime::solver::hard_arith_fallback::complete_support_comparison
• runtime::solver::hard_arith_fallback::complete_support_constraint
• runtime::solver::hard_arith_fallback::constraints_bind_each_search_var
• runtime::solver::hard_arith_fallback::constraints_have_two_var_relation
• runtime::solver::hard_arith_fallback::constraints_prefer_hard_arith_fallback_first
• runtime::solver::hard_arith_fallback::expr_contains_const
• runtime::solver::hard_arith_fallback::fallback_candidates_for_var
• runtime::solver::hard_arith_fallback::fallback_model_satisfies_all_constraints
• runtime::solver::hard_arith_fallback::fallback_partial_model_satisfies_known_constraints
• runtime::solver::hard_arith_fallback::fallback_search_vars
• runtime::solver::hard_arith_fallback::fallback_single_var_model
• runtime::solver::hard_arith_fallback::fallback_two_var_model
• runtime::solver::hard_arith_fallback::hard_arith_fallback_model
• runtime::solver::hard_arith_fallback::hard_arith_fallback_vars
• runtime::solver::hard_arith_fallback::is_hard_arith_node
• runtime::solver::hard_arith_fallback::is_single_bit
• runtime::solver::hard_arith_fallback::push_fallback_candidate
• runtime::solver::hard_arith_fallback::support_cmp_op
• runtime::solver::hard_arith_fallback::support_target_for_known_left
• runtime::solver::hard_arith_fallback::support_target_for_known_right
• runtime::solver::hard_arith_fallback::zero_mask_equality
• runtime::solver::merge_counts
• runtime::solver::model_satisfies_constraints
• runtime::solver::model_symbols_for_constraints
• runtime::solver::monotonic_product::collect_order_facts
• runtime::solver::monotonic_product::expr_less_or_equal
• runtime::solver::monotonic_product::less_or_equal_comparison
• runtime::solver::monotonic_product::mul_operands
• runtime::solver::monotonic_product::nonzero_expr
• runtime::solver::monotonic_product::order_facts
• runtime::solver::monotonic_product::product_less_or_equal_known
• runtime::solver::monotonic_product::product_less_or_equal_known_ordered
• runtime::solver::monotonic_product::product_less_than_known
• runtime::solver::monotonic_product::product_less_than_known_ordered
• runtime::solver::monotonic_product::product_less_than_negation
• runtime::solver::monotonic_product::product_monotonic_unsat_normalized
• runtime::solver::monotonic_product::remove_implied_monotonic_constraints
• runtime::solver::monotonic_product::reversed_strict_comparison
• runtime::solver::named_solver_command
• runtime::solver::next_portfolio_launch_wait
• runtime::solver::normalize_sat_constraints
• runtime::solver::opt::bool_structural_key
• runtime::solver::opt::cmp_op_key
• runtime::solver::opt::const_side_bound
• runtime::solver::opt::constraints_are_directly_unsat
• runtime::solver::opt::expr_binop_key
• runtime::solver::opt::expr_ternop_key
• runtime::solver::opt::nonzero_bound
• runtime::solver::opt::normalize_bool_for_solver
• runtime::solver::opt::normalize_bool_node_for_solver
• runtime::solver::opt::normalize_cmp_for_solver
• runtime::solver::opt::normalize_constraint_batch
• runtime::solver::opt::normalize_constraints_for_solver
• runtime::solver::opt::normalize_expr_for_solver
• runtime::solver::opt::normalize_expr_node_for_solver
• runtime::solver::opt::normalize_ite_expr_for_solver
• runtime::solver::opt::sort_dedup_bool_exprs
• runtime::solver::opt::sorted_bool_exprs_are_subset
• runtime::solver::opt::write_bool_structural_key
• runtime::solver::opt::write_expr_structural_key
• runtime::solver::opt::write_exprs_structural_key
• runtime::solver::opt::write_smt_assertions
• runtime::solver::parse_and_validate_model
• runtime::solver::parse_model_values
• runtime::solver::parse_model_with_symbol
• runtime::solver::parse_model_with_symbols
• runtime::solver::portfolio_launch_delay
• runtime::solver::run_solver_commands
• runtime::solver::run_solver_process
• runtime::solver::scheduled_portfolio
• runtime::solver::solver_command_availability_error
• runtime::solver::solver_command_for_portfolio_entry
• runtime::solver::solver_commands_for_config
• runtime::solver::solver_exit_error
• runtime::solver::solver_output_is_sat
• runtime::solver::solver_output_is_unknown
• runtime::solver::solver_output_is_unsat
• runtime::solver::solver_portfolio_availability_warning
• runtime::solver::solver_wait_duration
• runtime::solver::split_solver_command
• runtime::solver::summary_for_cancelled_solver_result
• runtime::solver::summary_for_unstarted_solver
• runtime::solver::validate_solver_model_output
• runtime::solver::validated_hard_arith_fallback_model
• runtime::state::symbolic_storage_symbol
• symbolic_create_bytes_selectors
• symbolic_create_int_selectors
• symbolic_create_uint_selectors
• symbolic_solver_is_builtin
• symbolic_solver_portfolio_availability_warning

Type Aliases

• runtime::expr::hashcons::HashConsHasher
• runtime::solver::QueryObserver
• runtime::solver::monotonic_product::LessOrEqualFacts
• runtime::solver::monotonic_product::LessThanFacts
• runtime::solver::monotonic_product::PositiveFacts
• runtime::symbols::SymbolicModel
• runtime::symbols::SymbolicVars

Constants

• BUILTIN_SYMBOLIC_SOLVERS
• consts::ABI_SELECTOR_PLUS_WORD_LEN
• consts::ASSERTION_FAILED_PREFIX
• consts::ASSERT_PANIC_CODE
• consts::BUILTIN_SYMBOLIC_SOLVERS
• consts::CALL_VALUE_STIPEND
• consts::CONCRETE_BASE_SYMBOLIC_EXPONENT_LIMIT
• consts::DEFAULT_DERIVATION_PATH_PREFIX
• consts::ERROR_DATA_MIN_LEN
• consts::ERROR_SELECTOR
• consts::EVM_STACK_LIMIT
• consts::HARD_ARITH_FALLBACK_MAX_ASSIGNMENTS
• consts::HARD_ARITH_FALLBACK_MAX_CANDIDATES_PER_VAR
• consts::HARD_ARITH_FALLBACK_MAX_VARS
• consts::MAX_REMEMBER_KEYS
• consts::PANIC_SELECTOR
• consts::PORTFOLIO_SCHEDULER_HISTORY
• consts::PORTFOLIO_SCHEDULER_MAX_SPEED_BONUS
• consts::PORTFOLIO_SCHEDULER_MIN_RECENCY_WEIGHT
• consts::PORTFOLIO_SCHEDULER_SPEED_BONUS_CAP_MS
• consts::PRECOMPILE_ADDRESS_LEADING_ZEROS
• consts::RESCUE_PORTFOLIO_SOLVER_DELAY
• consts::SECOND_PORTFOLIO_SOLVER_DELAY
• consts::SOLVER_CANCEL_CHECK_INTERVAL
• consts::SYMBOLIC_EXP_CONCRETE_EXPONENT_LIMIT
• consts::SYMBOLIC_SOLVER_MODEL_CACHE_MAX_ENTRIES
• consts::SYMBOLIC_SOLVER_SAT_CACHE_MAX_ENTRIES
• consts::SYMBOLIC_VM_COMPAT_ADDRESS
• executor::calls::KZG_BLS_MODULUS
• executor::calls::KZG_COMMITMENT_OFFSET
• executor::calls::KZG_INVALID_PROOF
• executor::calls::KZG_ONE_COMMITMENT
• executor::calls::KZG_POINT_EVALUATION_INPUT_LEN
• executor::calls::KZG_PROOF_OFFSET
• executor::calls::KZG_RESIDUAL_REASON
• executor::calls::KZG_SUCCESS_INPUT
• executor::calls::KZG_VERSIONED_HASH_OFFSET
• executor::calls::KZG_Y_OFFSET
• executor::calls::KZG_ZERO_COMMITMENT
• executor::calls::KZG_Z_OFFSET