Model max_uncommitted_tx_count of raft.h in abs.tla#6508
Closed
lemmy wants to merge 2 commits intomicrosoft:mainfrom lemmy:mku-MaxUncommittedCount
+22-13
max_uncommitted_tx_count of raft.h in abs.tla#6508