Expand description
Module for pretty printing state transitions, log updates, etc. No actual Raft-specific logic.
Structs
- Wrapper struct that contains methods for logging specific program flows in Raft
Enums
- Internal debug message to dump contents of entries and state
- Level of logging
Functions
- Helper function to log a test check
- Helper function to pretty print a boolean
- Helper function to pretty print a
ServerId
with a unique colour - Helper function to pretty print a
Term
- Pretty print a set of
Annotations
over a vector ofLogEntries
- Initialize the logger (default uses microseconds)
- Helper function to pretty print a message at the corresponding log
Level
Type Definitions
- A tuple representing an annotation message and its
AnnotationType