Module oracle 

Defines the trait Oracle, which represents a CPU observer oracle.

Structs

CarefulOracle

An oracle that always executes Oracle::observe_carefully.

InvocationCountingOracle

An oracle that counts how many times it was invoked.

VerifyOracle

An oracle that observes execution on two oracles, and panics if the results are not identical.

Enums

OracleError

Error returned when an error occurs in an Oracle during instruction observation.

Traits

MappableArea

The memory addresses that can be mapped by an oracle.

Oracle

An oracle that can observe instruction execution.

OracleSource

Provides oracles.

Type Aliases

Observation

A tuple of (state_in, state_out) representing an input to the observation and the observed output.

ObservationResult

The result of an observation.