$sel:abi:CreationContext | EVM.Types |
$sel:abiMap:DappInfo | EVM.Dapp |
$sel:abiMap:SolcContract | EVM.Solidity |
$sel:accessedAddresses:SubState | EVM.Types |
$sel:accessedStorageKeys:SubState | EVM.Types |
$sel:accessList:Transaction | EVM.Transaction |
$sel:addr:BalanceFact | EVM.Facts |
$sel:addr:UnexpectedSymbolicArg | EVM.Types |
$sel:address:AccessListEntry | EVM.Transaction |
$sel:address:CreationContext | EVM.Types |
$sel:address:TestVMParams | EVM.UnitTest |
$sel:address:VMOpts | EVM.Types |
$sel:addressWord160:Addr | EVM.Types |
$sel:allowFFI:VM | EVM.Types |
$sel:allowFFI:VMOpts | EVM.Types |
$sel:args:UnexpectedSymbolicArg | 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:balance:Contract | EVM.Types |
$sel:balanceCreate:TestVMParams | EVM.UnitTest |
$sel:baseFee:Block | EVM.Types |
$sel:baseFee:TestVMParams | EVM.UnitTest |
$sel:baseFee:VMOpts | EVM.Types |
$sel:blob:BalanceFact | EVM.Facts |
$sel:block:VM | EVM.Types |
$sel:blockContext:CexVars | EVM.SMT |
$sel:blockContext:SMTCex | EVM.SMT |
$sel:blockGaslimit:VMOpts | EVM.Types |
$sel:buffers:CexVars | EVM.SMT |
$sel:buffers:SMTCex | EVM.SMT |
$sel:burned:VM | EVM.Types |
$sel:byte:Base | EVM.SMT |
$sel:cache:VM | EVM.Types |
$sel:calldata:CexVars | EVM.SMT |
$sel:calldata:CreationContext | EVM.Types |
$sel:calldata:FrameState | EVM.Types |
$sel:calldata:VMOpts | EVM.Types |
$sel:caller:FrameState | EVM.Types |
$sel:caller:TestVMParams | EVM.UnitTest |
$sel:caller:VMOpts | EVM.Types |
$sel:callreversion:CreationContext | EVM.Types |
$sel:callvalue:FrameState | EVM.Types |
$sel:chainId:Env | EVM.Types |
$sel:chainId:TestVMParams | EVM.UnitTest |
$sel:chainId:Transaction | EVM.Transaction |
$sel:chainId:VMOpts | EVM.Types |
$sel:code:FrameState | EVM.Types |
$sel:codeContract:FrameState | EVM.Types |
$sel:codehash:Contract | EVM.Types |
$sel:codehash:CreationContext | EVM.Types |
$sel:codeOps:Contract | EVM.Types |
$sel:coinbase:Block | EVM.Types |
$sel:coinbase:TestVMParams | EVM.UnitTest |
$sel:coinbase:VMOpts | EVM.Types |
$sel:constraints:VM | EVM.Types |
$sel:constructorInputs:SolcContract | EVM.Solidity |
$sel:context:CreationContext | EVM.Types |
$sel:context:Frame | EVM.Types |
$sel:contract:FrameState | EVM.Types |
$sel:contract:Trace | EVM.Types |
$sel:contract:VMOpts | EVM.Types |
$sel:contractcode:Contract | EVM.Types |
$sel:contractName:SolcContract | EVM.Solidity |
$sel:contracts:BuildOutput | EVM.Solidity |
$sel:contracts:Env | EVM.Types |
$sel:contracts:Traces | EVM.Types |
$sel:contracts:UiBrowserState | EVM.TTY |
$sel:covMatch:UnitTestOptions | EVM.UnitTest |
$sel:create:VMOpts | EVM.Types |
$sel:createreversion:CreationContext | EVM.Types |
$sel:creationCode:SolcContract | EVM.Solidity |
$sel:creationCodehash:SolcContract | EVM.Solidity |
$sel:creationSrcmap:SolcContract | EVM.Solidity |
$sel:dapp:UiTestPickerState | EVM.TTY |
$sel:dapp:UnitTestOptions | EVM.UnitTest |
$sel:dataASCII:Data | EVM.Facts |
$sel:debug:VeriOpts | EVM.SymExec |
$sel:env:DappContext | EVM.Dapp |
$sel:env:VM | EVM.Types |
$sel:errorMap:DappInfo | EVM.Dapp |
$sel:errorMap:SolcContract | EVM.Solidity |
$sel:eventMap:DappInfo | EVM.Dapp |
$sel:eventMap:SolcContract | EVM.Solidity |
$sel:external:Contract | EVM.Types |
$sel:fetchedContracts:Cache | EVM.Types |
$sel:fetchedStorage:Cache | EVM.Types |
$sel:ffiAllowed:UnitTestOptions | EVM.UnitTest |
$sel:file:SM | EVM.Solidity |
$sel:fileData:File | EVM.Facts |
$sel:filePath:File | EVM.Facts |
$sel:files:SourceCache | EVM.Solidity |
$sel:frames:VM | EVM.Types |
$sel:fuzzRuns:UnitTestOptions | EVM.UnitTest |
$sel:gas:FrameState | EVM.Types |
$sel:gas:VMOpts | EVM.Types |
$sel:gasCall:TestVMParams | EVM.UnitTest |
$sel:gasCreate:TestVMParams | EVM.UnitTest |
$sel:gaslimit:Block | EVM.Types |
$sel:gaslimit:TestVMParams | EVM.UnitTest |
$sel:gasLimit:Transaction | EVM.Transaction |
$sel:gaslimit:TxState | EVM.Types |
$sel:gaslimit:VMOpts | EVM.Types |
$sel:gasprice:TestVMParams | EVM.UnitTest |
$sel:gasPrice:Transaction | EVM.Transaction |
$sel:gasprice:TxState | EVM.Types |
$sel:gasprice:VMOpts | EVM.Types |
$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_initcodeword: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:idx:Base | EVM.SMT |
$sel:immutableLocations:Code | EVM.Dapp |
$sel:immutableReferences:SolcContract | EVM.Solidity |
$sel:info:DappContext | EVM.Dapp |
$sel:initialStorage:VMOpts | EVM.Types |
$sel:inputs:Method | EVM.Solidity |
$sel:isCreate:TxState | EVM.Types |
$sel:iterations:VM | EVM.Types |
$sel:jump:SM | EVM.Solidity |
$sel:keccakEqs:VM | EVM.Types |
$sel:length:Base | EVM.SMT |
$sel:length:Reference | EVM.Solidity |
$sel:length:SM | EVM.Solidity |
$sel:lines:SourceCache | EVM.Solidity |
$sel:logs:VM | EVM.Types |
$sel:loopHeuristic:VeriOpts | EVM.SymExec |
$sel:match:UnitTestOptions | EVM.UnitTest |
$sel:maxCodeSize:Block | EVM.Types |
$sel:maxCodeSize:TestVMParams | EVM.UnitTest |
$sel:maxCodeSize:VMOpts | EVM.Types |
$sel:maxDepth:UnitTestOptions | EVM.UnitTest |
$sel:maxFeePerGas:Transaction | EVM.Transaction |
$sel:maxIter:UnitTestOptions | EVM.UnitTest |
$sel:maxIter:VeriOpts | EVM.SymExec |
$sel:maxPriorityFeeGas:Transaction | EVM.Transaction |
$sel:memory:FrameState | EVM.Types |
$sel:memorySize:FrameState | EVM.Types |
$sel:methodSignature:Method | EVM.Solidity |
$sel:modifierDepth:SM | EVM.Solidity |
$sel:msg:UnexpectedSymbolicArg | EVM.Types |
$sel:mutability:Method | EVM.Solidity |
$sel:name:Method | EVM.Solidity |
$sel:next:Base | EVM.SMT |
$sel:nonce:Contract | EVM.Types |
$sel:nonce:Transaction | EVM.Transaction |
$sel:number:Block | EVM.Types |
$sel:number:TestVMParams | EVM.UnitTest |
$sel:number:VMOpts | EVM.Types |
$sel:offset:CreationContext | EVM.Types |
$sel:offset:SM | EVM.Solidity |
$sel:offset:StorageItem | EVM.Solidity |
$sel:opIx:Trace | EVM.Types |
$sel:opIxMap:Contract | EVM.Types |
$sel:opts:UiTestPickerState | EVM.TTY |
$sel:origin:TestVMParams | EVM.UnitTest |
$sel:origin:TxState | EVM.Types |
$sel:origin:VMOpts | EVM.Types |
$sel:origStorage:Env | EVM.Types |
$sel:output:Method | EVM.Solidity |
$sel:overrideCaller:VM | EVM.Types |
$sel:path:Cache | EVM.Types |
$sel:pc:FrameState | EVM.Types |
$sel:pc:UnexpectedSymbolicArg | EVM.Types |
$sel:prevRandao:Block | EVM.Types |
$sel:prevrandao:TestVMParams | EVM.UnitTest |
$sel:prevRandao:VMOpts | EVM.Types |
$sel:priorityFee:TestVMParams | EVM.UnitTest |
$sel:priorityFee:TxState | EVM.Types |
$sel:priorityFee:VMOpts | EVM.Types |
$sel:process:SolverInstance | EVM.Solvers |
$sel:r:Transaction | EVM.Transaction |
$sel:raw:Code | EVM.Dapp |
$sel:refunds:SubState | EVM.Types |
$sel:replay:UnitTestOptions | EVM.UnitTest |
$sel:result:VM | EVM.Types |
$sel:resultChan:Task | EVM.Solvers |
$sel:returndata:FrameState | EVM.Types |
$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:s:Transaction | EVM.Transaction |
$sel:schedule:Block | EVM.Types |
$sel:schedule:VMOpts | EVM.Types |
$sel:script:Task | EVM.Solvers |
$sel:selfdestructs:SubState | EVM.Types |
$sel:sha3Crack:Env | EVM.Types |
$sel:showMemory:UiVmState | EVM.TTY |
$sel:simp:VeriOpts | EVM.SymExec |
$sel:size:CreationContext | EVM.Types |
$sel:slot:StorageItem | EVM.Solidity |
$sel:slotType:StorageItem | EVM.Solidity |
$sel:smtDebug:UnitTestOptions | EVM.UnitTest |
$sel:smtTimeout:UnitTestOptions | EVM.UnitTest |
$sel:snapshots:UiVmState | EVM.TTY |
$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:solvertype:SolverInstance | EVM.Solvers |
$sel:sources:BuildOutput | EVM.Solidity |
$sel:sources:DappInfo | EVM.Dapp |
$sel:srcContract:OpLocation | EVM.UnitTest |
$sel:srcOpIx:OpLocation | EVM.UnitTest |
$sel:stack:FrameState | EVM.Types |
$sel:start:Reference | EVM.Solidity |
$sel:state:Frame | EVM.Types |
$sel:state:VM | EVM.Types |
$sel:static:FrameState | EVM.Types |
$sel:stderr:SolverInstance | EVM.Solvers |
$sel:stdin:SolverInstance | EVM.Solvers |
$sel:stdout:SolverInstance | EVM.Solvers |
$sel:step:UiVmState | EVM.TTY |
$sel:stepper:UiVmState | EVM.TTY |
$sel:storage:Env | EVM.Types |
$sel:storageKeys:AccessListEntry | EVM.Transaction |
$sel:storageLayout:SolcContract | EVM.Solidity |
$sel:store:SMTCex | EVM.SMT |
$sel:storeReads:CexVars | EVM.SMT |
$sel:subState:CreationContext | EVM.Types |
$sel:substate:CreationContext | EVM.Types |
$sel:substate:TxState | EVM.Types |
$sel:target:CreationContext | EVM.Types |
$sel:testOpts:UiVmState | EVM.TTY |
$sel:testParams:UnitTestOptions | EVM.UnitTest |
$sel:tests:UiTestPickerState | EVM.TTY |
$sel:timestamp:Block | EVM.Types |
$sel:timestamp:TestVMParams | EVM.UnitTest |
$sel:timestamp:VMOpts | EVM.Types |
$sel:toAddr:Transaction | EVM.Transaction |
$sel:toAddr:TxState | EVM.Types |
$sel:touchedAccounts:SubState | EVM.Types |
$sel:tracedata:Trace | EVM.Types |
$sel:traces:Traces | EVM.Types |
$sel:traces:VM | EVM.Types |
$sel:tx:VM | EVM.Types |
$sel:txAccessList:VMOpts | EVM.Types |
$sel:txContext:CexVars | EVM.SMT |
$sel:txContext:SMTCex | EVM.SMT |
$sel:txdata:Transaction | EVM.Transaction |
$sel:txReversion:TxState | EVM.Types |
$sel:txtype:Transaction | EVM.Transaction |
$sel:unFunctionSelector:FunctionSelector | EVM.Types |
$sel:unitTests:DappInfo | EVM.Dapp |
$sel:v:Transaction | EVM.Transaction |
$sel:value:Transaction | EVM.Transaction |
$sel:value:TxState | EVM.Types |
$sel:value:VMOpts | EVM.Types |
$sel:vars:SMTCex | EVM.SMT |
$sel:verbose:UnitTestOptions | EVM.UnitTest |
$sel:vm:UiBrowserState | EVM.TTY |
$sel:vm:UiVmState | EVM.TTY |
$sel:vmModifier:UnitTestOptions | EVM.UnitTest |
$sel:what:BalanceFact | EVM.Facts |
$sel:which:BalanceFact | EVM.Facts |