Jose Armando Garcia Sancio created KAFKA-12958:
--------------------------------------------------
Summary: Add similation invariant for leadership and snapshot
Key: KAFKA-12958
URL: https://issues.apache.org/jira/browse/KAFKA-12958
Project: Kafka
Issue Type: Sub-task
Reporter: Jose Armando Garcia Sancio
During the simulation we should add an invariant that notified leaders are
never asked to load snapshots. The state machine always sees the following
sequence of callback calls:
Leaders see:
...
handleLeaderChange state machine is notify of leadership
handleSnapshot is never called
Non-leader see:
...
handleLeaderChange state machine is notify that is not leader
handleSnapshot is called 0 or more times
--
This message was sent by Atlassian Jira
(v8.3.4#803005)
