Revert #5939 (#6501)

Signed-off-by: Markus Alexander Kuppe <[email protected]>
microsoft · Sep 26, 2024 · 5e615a9 · 5e615a9
1 parent e213df0
commit 5e615a9
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/tla/consensus/SIMccfraft.cfg b/tla/consensus/SIMccfraft.cfg
@@ -78,9 +78,8 @@ INVARIANTS
     CandidateTermNotInLogInv
     ElectionSafetyInv
     LogMatchingInv
-    \* Disabled until retirement is modeled correctly in the spec
-    \* QuorumLogInv
-    \* LeaderCompletenessInv
+    QuorumLogInv
+    LeaderCompletenessInv
     SignatureInv
 
     ReconfigurationVarsTypeInv