Test the Heartbeat Transaction's state machine and timeout behavior. Simulate scenarios where the coordinator crashes or fails to send HEARTBEAT messages, and verify that replicas correctly detect the crash by allowing their watchdog timers to expire and triggering an ElectionTransaction.
Test the Heartbeat Transaction's state machine and timeout behavior. Simulate scenarios where the coordinator crashes or fails to send
HEARTBEATmessages, and verify that replicas correctly detect the crash by allowing their watchdog timers to expire and triggering anElectionTransaction.