$sel:abiMap:DappInfo | EVM.Dapp |
$sel:abiMap:SolcContract | EVM.Solidity |
$sel:accessAddress:AccessListEntry | EVM.Transaction |
$sel:accessStorageKeys:AccessListEntry | EVM.Transaction |
$sel:addr:BalanceFact | EVM.Facts |
$sel:addressWord160:Addr | EVM.Types |
$sel:askSmtIters:UnitTestOptions | EVM.UnitTest |
$sel:askSmtIters:VeriOpts | EVM.SymExec |
$sel:astIdMap:DappInfo | EVM.Dapp |
$sel:asts:SourceCache | EVM.Solidity |
$sel:astSrcMap:DappInfo | EVM.Dapp |
$sel:blob:BalanceFact | EVM.Facts |
$sel:blockContext:SMTCex | EVM.SMT |
$sel:blockContextV:CexVars | EVM.SMT |
$sel:buffers:SMTCex | EVM.SMT |
$sel:buffersV:CexVars | EVM.SMT |
$sel:callContextAbi:CreationContext | EVM |
$sel:callContextCodehash:CreationContext | EVM |
$sel:callContextContext:CreationContext | EVM |
$sel:callContextData:CreationContext | EVM |
$sel:callContextOffset:CreationContext | EVM |
$sel:callContextReversion:CreationContext | EVM |
$sel:callContextSize:CreationContext | EVM |
$sel:callContextSubState:CreationContext | EVM |
$sel:callContextTarget:CreationContext | EVM |
$sel:calldataV:CexVars | EVM.SMT |
$sel:constructorInputs:SolcContract | EVM.Solidity |
$sel:contractName:SolcContract | EVM.Solidity |
$sel:covMatch:UnitTestOptions | EVM.UnitTest |
$sel:creationCode:SolcContract | EVM.Solidity |
$sel:creationCodehash:SolcContract | EVM.Solidity |
$sel:creationContextAddress:CreationContext | EVM |
$sel:creationContextCodehash:CreationContext | EVM |
$sel:creationContextReversion:CreationContext | EVM |
$sel:creationContextSubstate:CreationContext | EVM |
$sel:creationSrcmap:SolcContract | EVM.Solidity |
$sel:dapp:UnitTestOptions | EVM.UnitTest |
$sel:dataASCII:Data | EVM.Facts |
$sel:debug:VeriOpts | EVM.SymExec |
$sel:env:DappContext | EVM.Dapp |
$sel:errorMap:DappInfo | EVM.Dapp |
$sel:errorMap:SolcContract | EVM.Solidity |
$sel:eventMap:DappInfo | EVM.Dapp |
$sel:eventMap:SolcContract | EVM.Solidity |
$sel:ffiAllowed:UnitTestOptions | EVM.UnitTest |
$sel:fileData:File | EVM.Facts |
$sel:filePath:File | EVM.Facts |
$sel:files:SourceCache | EVM.Solidity |
$sel:fuzzRuns:UnitTestOptions | EVM.UnitTest |
$sel:g_access_list_address:FeeSchedule | EVM.FeeSchedule |
$sel:g_access_list_storage_key:FeeSchedule | EVM.FeeSchedule |
$sel:g_balance:FeeSchedule | EVM.FeeSchedule |
$sel:g_base:FeeSchedule | EVM.FeeSchedule |
$sel:g_blockhash:FeeSchedule | EVM.FeeSchedule |
$sel:g_call:FeeSchedule | EVM.FeeSchedule |
$sel:g_callstipend:FeeSchedule | EVM.FeeSchedule |
$sel:g_callvalue:FeeSchedule | EVM.FeeSchedule |
$sel:g_codedeposit:FeeSchedule | EVM.FeeSchedule |
$sel:g_cold_account_access:FeeSchedule | EVM.FeeSchedule |
$sel:g_cold_sload:FeeSchedule | EVM.FeeSchedule |
$sel:g_copy:FeeSchedule | EVM.FeeSchedule |
$sel:g_create:FeeSchedule | EVM.FeeSchedule |
$sel:g_ecadd:FeeSchedule | EVM.FeeSchedule |
$sel:g_ecmul:FeeSchedule | EVM.FeeSchedule |
$sel:g_exp:FeeSchedule | EVM.FeeSchedule |
$sel:g_expbyte:FeeSchedule | EVM.FeeSchedule |
$sel:g_extcode:FeeSchedule | EVM.FeeSchedule |
$sel:g_extcodehash:FeeSchedule | EVM.FeeSchedule |
$sel:g_fround:FeeSchedule | EVM.FeeSchedule |
$sel:g_high:FeeSchedule | EVM.FeeSchedule |
$sel:g_jumpdest:FeeSchedule | EVM.FeeSchedule |
$sel:g_log:FeeSchedule | EVM.FeeSchedule |
$sel:g_logdata:FeeSchedule | EVM.FeeSchedule |
$sel:g_logtopic:FeeSchedule | EVM.FeeSchedule |
$sel:g_low:FeeSchedule | EVM.FeeSchedule |
$sel:g_memory:FeeSchedule | EVM.FeeSchedule |
$sel:g_mid:FeeSchedule | EVM.FeeSchedule |
$sel:g_newaccount:FeeSchedule | EVM.FeeSchedule |
$sel:g_pairing_base:FeeSchedule | EVM.FeeSchedule |
$sel:g_pairing_point:FeeSchedule | EVM.FeeSchedule |
$sel:g_quaddivisor:FeeSchedule | EVM.FeeSchedule |
$sel:g_selfdestruct:FeeSchedule | EVM.FeeSchedule |
$sel:g_selfdestruct_newaccount:FeeSchedule | EVM.FeeSchedule |
$sel:g_sha3:FeeSchedule | EVM.FeeSchedule |
$sel:g_sha3word:FeeSchedule | EVM.FeeSchedule |
$sel:g_sload:FeeSchedule | EVM.FeeSchedule |
$sel:g_sreset:FeeSchedule | EVM.FeeSchedule |
$sel:g_sset:FeeSchedule | EVM.FeeSchedule |
$sel:g_transaction:FeeSchedule | EVM.FeeSchedule |
$sel:g_txcreate:FeeSchedule | EVM.FeeSchedule |
$sel:g_txdatanonzero:FeeSchedule | EVM.FeeSchedule |
$sel:g_txdatazero:FeeSchedule | EVM.FeeSchedule |
$sel:g_verylow:FeeSchedule | EVM.FeeSchedule |
$sel:g_warm_storage_read:FeeSchedule | EVM.FeeSchedule |
$sel:g_zero:FeeSchedule | EVM.FeeSchedule |
$sel:immutableLocations:Code | EVM.Dapp |
$sel:immutableReferences:SolcContract | EVM.Solidity |
$sel:info:DappContext | EVM.Dapp |
$sel:inputs:Method | EVM.Solidity |
$sel:length:Reference | EVM.Solidity |
$sel:lines:SourceCache | EVM.Solidity |
$sel:match:UnitTestOptions | EVM.UnitTest |
$sel:maxDepth:UnitTestOptions | EVM.UnitTest |
$sel:maxIter:UnitTestOptions | EVM.UnitTest |
$sel:maxIter:VeriOpts | EVM.SymExec |
$sel:methodSignature:Method | EVM.Solidity |
$sel:mutability:Method | EVM.Solidity |
$sel:name:Method | EVM.Solidity |
$sel:offset:StorageItem | EVM.Solidity |
$sel:output:Method | EVM.Solidity |
$sel:raw:Code | EVM.Dapp |
$sel:replay:UnitTestOptions | EVM.UnitTest |
$sel:resultChan:Task | EVM.Solvers |
$sel:root:DappInfo | EVM.Dapp |
$sel:rpcInfo:UnitTestOptions | EVM.UnitTest |
$sel:rpcInfo:VeriOpts | EVM.SymExec |
$sel:runtimeCode:SolcContract | EVM.Solidity |
$sel:runtimeCodehash:SolcContract | EVM.Solidity |
$sel:runtimeSrcmap:SolcContract | EVM.Solidity |
$sel:r_block:FeeSchedule | EVM.FeeSchedule |
$sel:r_sclear:FeeSchedule | EVM.FeeSchedule |
$sel:r_selfdestruct:FeeSchedule | EVM.FeeSchedule |
$sel:script:Task | EVM.Solvers |
$sel:simp:VeriOpts | EVM.SymExec |
$sel:slot:StorageItem | EVM.Solidity |
$sel:slotType:StorageItem | EVM.Solidity |
$sel:smtDebug:UnitTestOptions | EVM.UnitTest |
$sel:smtTimeout:UnitTestOptions | EVM.UnitTest |
$sel:solcByCode:DappInfo | EVM.Dapp |
$sel:solcByHash:DappInfo | EVM.Dapp |
$sel:solcByName:DappInfo | EVM.Dapp |
$sel:solver:UnitTestOptions | EVM.UnitTest |
$sel:solvers:UnitTestOptions | EVM.UnitTest |
$sel:sources:DappInfo | EVM.Dapp |
$sel:srcContract:OpLocation | EVM.UnitTest |
$sel:srcMapFile:SM | EVM.Solidity |
$sel:srcMapJump:SM | EVM.Solidity |
$sel:srcMapLength:SM | EVM.Solidity |
$sel:srcMapModifierDepth:SM | EVM.Solidity |
$sel:srcMapOffset:SM | EVM.Solidity |
$sel:srcOpIx:OpLocation | EVM.UnitTest |
$sel:start:Reference | EVM.Solidity |
$sel:storageLayout:SolcContract | EVM.Solidity |
$sel:store:SMTCex | EVM.SMT |
$sel:storeReads:CexVars | EVM.SMT |
$sel:testAddress:TestVMParams | EVM.UnitTest |
$sel:testBalanceCreate:TestVMParams | EVM.UnitTest |
$sel:testBaseFee:TestVMParams | EVM.UnitTest |
$sel:testCaller:TestVMParams | EVM.UnitTest |
$sel:testChainId:TestVMParams | EVM.UnitTest |
$sel:testCoinbase:TestVMParams | EVM.UnitTest |
$sel:testGasCall:TestVMParams | EVM.UnitTest |
$sel:testGasCreate:TestVMParams | EVM.UnitTest |
$sel:testGaslimit:TestVMParams | EVM.UnitTest |
$sel:testGasprice:TestVMParams | EVM.UnitTest |
$sel:testMaxCodeSize:TestVMParams | EVM.UnitTest |
$sel:testNumber:TestVMParams | EVM.UnitTest |
$sel:testOrigin:TestVMParams | EVM.UnitTest |
$sel:testParams:UnitTestOptions | EVM.UnitTest |
$sel:testPrevrandao:TestVMParams | EVM.UnitTest |
$sel:testPriorityFee:TestVMParams | EVM.UnitTest |
$sel:testTimestamp:TestVMParams | EVM.UnitTest |
$sel:txAccessList:Transaction | EVM.Transaction |
$sel:txContext:SMTCex | EVM.SMT |
$sel:txContextV:CexVars | EVM.SMT |
$sel:txData:Transaction | EVM.Transaction |
$sel:txGasLimit:Transaction | EVM.Transaction |
$sel:txGasPrice:Transaction | EVM.Transaction |
$sel:txMaxFeePerGas:Transaction | EVM.Transaction |
$sel:txMaxPriorityFeeGas:Transaction | EVM.Transaction |
$sel:txNonce:Transaction | EVM.Transaction |
$sel:txR:Transaction | EVM.Transaction |
$sel:txS:Transaction | EVM.Transaction |
$sel:txToAddr:Transaction | EVM.Transaction |
$sel:txType:Transaction | EVM.Transaction |
$sel:txV:Transaction | EVM.Transaction |
$sel:txValue:Transaction | EVM.Transaction |
$sel:unitTests:DappInfo | EVM.Dapp |
$sel:vars:SMTCex | EVM.SMT |
$sel:verbose:UnitTestOptions | EVM.UnitTest |
$sel:vmModifier:UnitTestOptions | EVM.UnitTest |
$sel:vmoptAddress:VMOpts | EVM |
$sel:vmoptAllowFFI:VMOpts | EVM |
$sel:vmoptBaseFee:VMOpts | EVM |
$sel:vmoptBlockGaslimit:VMOpts | EVM |
$sel:vmoptCalldata:VMOpts | EVM |
$sel:vmoptCaller:VMOpts | EVM |
$sel:vmoptChainId:VMOpts | EVM |
$sel:vmoptCoinbase:VMOpts | EVM |
$sel:vmoptContract:VMOpts | EVM |
$sel:vmoptCreate:VMOpts | EVM |
$sel:vmoptGas:VMOpts | EVM |
$sel:vmoptGaslimit:VMOpts | EVM |
$sel:vmoptGasprice:VMOpts | EVM |
$sel:vmoptMaxCodeSize:VMOpts | EVM |
$sel:vmoptNumber:VMOpts | EVM |
$sel:vmoptOrigin:VMOpts | EVM |
$sel:vmoptPrevRandao:VMOpts | EVM |
$sel:vmoptPriorityFee:VMOpts | EVM |
$sel:vmoptSchedule:VMOpts | EVM |
$sel:vmoptStorageBase:VMOpts | EVM |
$sel:vmoptTimestamp:VMOpts | EVM |
$sel:vmoptTxAccessList:VMOpts | EVM |
$sel:vmoptValue:VMOpts | EVM |
$sel:what:BalanceFact | EVM.Facts |
$sel:which:BalanceFact | EVM.Facts |
$sel:_accessedAddresses:SubState | EVM |
$sel:_accessedStorageKeys:SubState | EVM |
$sel:_allowFFI:VM | EVM |
$sel:_balance:Contract | EVM |
$sel:_baseFee:Block | EVM |
$sel:_block:VM | EVM |
$sel:_browserContractList:UiBrowserState | EVM.TTY |
$sel:_browserVm:UiBrowserState | EVM.TTY |
$sel:_burned:VM | EVM |
$sel:_cache:VM | EVM |
$sel:_calldata:FrameState | EVM |
$sel:_caller:FrameState | EVM |
$sel:_callvalue:FrameState | EVM |
$sel:_chainId:Env | EVM |
$sel:_code:FrameState | EVM |
$sel:_codeContract:FrameState | EVM |
$sel:_codehash:Contract | EVM |
$sel:_codeOps:Contract | EVM |
$sel:_coinbase:Block | EVM |
$sel:_constraints:VM | EVM |
$sel:_contract:FrameState | EVM |
$sel:_contractcode:Contract | EVM |
$sel:_contracts:Env | EVM |
$sel:_env:VM | EVM |
$sel:_external:Contract | EVM |
$sel:_fetchedContracts:Cache | EVM |
$sel:_fetchedStorage:Cache | EVM |
$sel:_frameContext:Frame | EVM |
$sel:_frames:VM | EVM |
$sel:_frameState:Frame | EVM |
$sel:_gas:FrameState | EVM |
$sel:_gaslimit:Block | EVM |
$sel:_gasprice:TxState | EVM |
$sel:_isCreate:TxState | EVM |
$sel:_iterations:VM | EVM |
$sel:_keccakEqs:VM | EVM |
$sel:_logs:VM | EVM |
$sel:_maxCodeSize:Block | EVM |
$sel:_memory:FrameState | EVM |
$sel:_memorySize:FrameState | EVM |
$sel:_nonce:Contract | EVM |
$sel:_number:Block | EVM |
$sel:_opIxMap:Contract | EVM |
$sel:_origin:TxState | EVM |
$sel:_origStorage:Env | EVM |
$sel:_overrideCaller:VM | EVM |
$sel:_path:Cache | EVM |
$sel:_pc:FrameState | EVM |
$sel:_prevRandao:Block | EVM |
$sel:_process:SolverInstance | EVM.Solvers |
$sel:_refunds:SubState | EVM |
$sel:_result:VM | EVM |
$sel:_returndata:FrameState | EVM |
$sel:_schedule:Block | EVM |
$sel:_selfdestructs:SubState | EVM |
$sel:_sha3Crack:Env | EVM |
$sel:_stack:FrameState | EVM |
$sel:_state:VM | EVM |
$sel:_static:FrameState | EVM |
$sel:_stderr:SolverInstance | EVM.Solvers |
$sel:_stdin:SolverInstance | EVM.Solvers |
$sel:_stdout:SolverInstance | EVM.Solvers |
$sel:_storage:Env | EVM |
$sel:_substate:TxState | EVM |
$sel:_testOpts:UiTestPickerState | EVM.TTY |
$sel:_testPickerDapp:UiTestPickerState | EVM.TTY |
$sel:_testPickerList:UiTestPickerState | EVM.TTY |
$sel:_timestamp:Block | EVM |
$sel:_toAddr:TxState | EVM |
$sel:_touchedAccounts:SubState | EVM |
$sel:_traceContract:Trace | EVM |
$sel:_traceData:Trace | EVM |
$sel:_traceOpIx:Trace | EVM |
$sel:_traces:VM | EVM |
$sel:_tx:VM | EVM |
$sel:_txgaslimit:TxState | EVM |
$sel:_txPriorityFee:TxState | EVM |
$sel:_txReversion:TxState | EVM |
$sel:_type:SolverInstance | EVM.Solvers |
$sel:_uiShowMemory:UiVmState | EVM.TTY |
$sel:_uiSnapshots:UiVmState | EVM.TTY |
$sel:_uiStep:UiVmState | EVM.TTY |
$sel:_uiStepper:UiVmState | EVM.TTY |
$sel:_uiTestOpts:UiVmState | EVM.TTY |
$sel:_uiVm:UiVmState | EVM.TTY |
$sel:_value:TxState | EVM |