Capture returns a Captured value that is valid _after_ being passed as an option to Run().

CaptureBytecode captures a copy of the compiled bytecode.

CaptureConfig captures the entire [Configuration].

CaptureStateDB captures the [vm.StateDB] used for storage of accounts (i.e.

ContractAddress sets the address to which the compiled bytecode will be "deployed" before being run.

DefaultContractAddress returns the default address used as [Contract.Address].

DefaultFromAddress returns the default address from which the contract is called.

From sets the address calling the contract; i.e.

GenesisAlloc preloads the state with code, storage values, and balances described in the alloc.

NewContract returns a new [Contract] with the specified bytecode.

NoErrorOnRevert signals to Run() that it must return a nil error if the Code compiled and was successfully executed but the execution itself reverted.

Value sets the value sent when calling the contract; i.e.

WithDebugger returns an Option that sets Configuration.VMConfig.Tracer to dbg.Tracer(), intercepting every opcode execution.

WithNewDebugger is a convenience function for constructing a new Debugger, passing it to WithDebugger(), and returning both the Debugger and the Option.

A Captured value is an [Option] that stores part of the [Configuration] for later inspection.

A Configuration carries all values that can be modified to configure a call to specops.Code.Run().

Contract defines how the compiled SpecOps bytecode will be "deployed" before being run.

An Option modifies a Configuration.

An Unsigned type is an unsigned integer.

A Func converts a function into an Option by calling itself as Apply().