Module round_based::async_runtime[][src]

This is supported on crate feature async-runtime only.
Expand description

Instruments for executing protocol in async environment

Modules

Mechanism for tracking protocol execution

Structs

Executes protocol in async environment using tokio backend

Enums

Reason why StateMachine implementation looks buggy

Represents error that can occur while executing protocol

Describes internal errors that could occur