From 6a3d09a6b0e016977c123cb01a8809ea037c826f Mon Sep 17 00:00:00 2001 From: Amaury Chamayou Date: Mon, 30 Oct 2023 15:57:57 +0000 Subject: [PATCH] Minimal repro triggering the issue in ccfraft.tla AdvanceCommitIndex --- tests/raft_scenarios/replicate | 1 + 1 file changed, 1 insertion(+) diff --git a/tests/raft_scenarios/replicate b/tests/raft_scenarios/replicate index 68c601a8b0a5..8d198afe29c9 100644 --- a/tests/raft_scenarios/replicate +++ b/tests/raft_scenarios/replicate @@ -13,6 +13,7 @@ dispatch_all state_all replicate,1,helloworld emit_signature,1 +emit_signature,1 periodic_all,10 dispatch_all periodic_all,1