doc: updating TLA+ spec (#603)

pactus-project · Jul 27, 2023 · db341c3 · db341c3
1 parent 8a65ea8
commit db341c3
Show file tree

Hide file tree

Showing 6 changed files with 384 additions and 207 deletions.
diff --git a/consensus/spec/Pactus.cfg b/consensus/spec/Pactus.cfg
@@ -0,0 +1,9 @@
+SPECIFICATION Spec
+CONSTANTS
+  NumFaulty = 1
+  FaultyNodes = {3}
+  MaxHeight = 1
+  MaxRound  = 1
+
+INVARIANT TypeOK
+PROPERTY Success
diff --git a/consensus/spec/Pactus.pdf b/consensus/spec/Pactus.pdf