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)