[−][src]Module round_based::async_runtime
Instruments for executing protocol in async environment
Modules
| watcher | Mechanism for tracking protocol execution |
Structs
| AsyncProtocol | Executes protocol in async environment using tokio backend |
Enums
| BadStateMachineReason | Reason why StateMachine implementation looks buggy |
| Error | Represents error that can occur while executing protocol |
| InternalError | Describes internal errors that could occur |