ReplayState

^{ref / conversations / ReplayState}

A replay state.

A replay state consists of two logs of operations.

1. A send log which records send operations in the shape of SendOp
2. A receive log which records receive operations in the shape of ReceiveOp

Note that each receive op links to a specific send op. A valid replay state should only contain receive ops that point to send ops contained in the same replay state.

A replay state can be created using create.

^Source

Properties

send

send: SendOp[];

The send log of the replay state

^Source

receive

receive: ReceiveOp[];

The receive log of the replay state

^Source