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.