Crate air_test_utils
source ·Modules§
Macros§
- Please note that
unused_tracked
does not exist as unused is never tracked.
Structs§
- Describes behaviour of the AVM.
- Return statistic of AVM server Wasm module heap footprint.
- Describes result of applying functor
apply
to streams. - The resolver for an archived
ApResult
- An archived
ApResult
- An archived
CallServiceFailed
- An archived
CanonCidAggregate
- An archived
CanonResultCidAggregate
- An archived
CidInfo
- An archived
CidStore
- An archived
ExecutionTrace
- An archived
FoldResult
- An archived
FoldSubTraceLore
- An archived
GenerationIdx
- An archived
InterpreterData
- An archived
ParResult
- An archived
RawValue
- An archived
ServiceResultCidAggregate
- An archived
SubTraceDesc
- An archived
TracePos
- Contains arguments of a call instruction and all other necessary information required for calling a service.
- The resolver for an archived
CallServiceFailed
- Represents an executed host function result.
- The type Canon trace CID refers to.
- The resolver for an archived
CanonCidAggregate
- The resolver for an archived
CanonResultCidAggregate
- The resolver for an archived
CidInfo
- Stores CID to Value corresponance.
- The resolver for an archived
CidStore
- The resolver for an archived
ExecutionTrace
- The resolver for an archived
FoldResult
- Let’s consider an example of trace that could be produces by the following fold: (fold $stream v (call 1) (call 2) (next v) (call 3) (call 4) ) x Having started with stream with two elements {v1, v2} the resulted trace would looks like [(1) (2)] [(1) (2)] [(3) (4)] [(3) (4)] <— the sequence of call states v1 v2 v2 v1 <–– corresponding values from $stream that the iterable v had at the moment of call
- The resolver for an archived
FoldSubTraceLore
- The resolver for an archived
GenerationIdx
- The AIR interpreter could be considered as a function f(prev_data: InterpreterData, current_data: InterpreterData, … ) -> (result_data: InterpreterData, …). This function receives prev and current data and produces a result data. All these data have the following format.
- An envelope for the AIR interpreter data that makes AIR data version info accessible in a stable way.
- The resolver for an archived
InterpreterData
- The resolver for an archived
ParResult
- Represents parameters obtained from a particle.
- This struct is very similar to AVMOutcome, but keeps error_code and error_msg for test purposes.
- The resolver for an archived
RawValue
- Describes an origin that set corresponding value.
- A proof of service result execution result.
- The resolver for an archived
ServiceResultCidAggregate
- This stores soft limits triggering flags.
- Descriptor of a subtrace inside execution trace.
- The resolver for an archived
SubTraceDesc
- The resolver for an archived
TracePos
Enums§
- An archived
CallResult
- An archived
CanonResult
- An archived
ExecutedState
- An archived
Provenance
- An archived
Sender
- An archived
ValueRef
- The resolver for an archived
CallResult
- Contains ids of element that were on a stream at the moment of an appropriate canon call.
- The resolver for an archived
CanonResult
- The resolver for an archived
ExecutedState
- Represents the types supported by WIT.
- A WIT value.
- The resolver for an archived
Provenance
- The resolver for an archived
Sender
- The resolver for an archived
ValueRef
Constants§
Traits§
- This trait is used for
Functions§
Type Aliases§
- This type represents all information in an execution trace about states executed during a fold execution.