fix n7f1b0, add n7f1b1

matter-labs · Jul 23, 2024 · 6bd71a0 · 6bd71a0
1 parent afadd59
commit 6bd71a0
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 2 deletions.
diff --git a/spec/protocol-spec/experiments/n7f1b0.qnt b/spec/protocol-spec/experiments/n7f1b0.qnt
@@ -1,7 +1,7 @@
 // A specification instance for n=6, f=1, and no Byzantine faults
 module n7f1b0 {
   import replica(
-    CORRECT = Set("n0", "n1", "n2", "n3", "n4", "n5", "n5"),
+    CORRECT = Set("n0", "n1", "n2", "n3", "n4", "n5", "n6"),
     FAULTY = Set(),
     WEIGHTS = Map("n0"->1, "n1"->1, "n2"->1, "n3"->1, "n4"->1, "n5"->1, "n6"->1),
     REPLICA_KEYS = Map("n0"->"n0", "n1"->"n1", "n2"->"n2", "n3"->"n3", "n4"->"n4", "n5"->"n5", "n6"->"n6"),
@@ -11,4 +11,4 @@ module n7f1b0 {
     VALID_BLOCKS = Set("val_b0", "val_b1"),
     INVALID_BLOCKS = Set("inv_b3")
   ).* from "../replica"
-}
+}
diff --git a/spec/protocol-spec/experiments/n7f1b1.qnt b/spec/protocol-spec/experiments/n7f1b1.qnt
@@ -0,0 +1,14 @@
+// A specification instance for n=6, f=1, and no Byzantine faults
+module n7f1b1 {
+  import replica(
+    CORRECT = Set("n0", "n1", "n2", "n3", "n4", "n5"),
+    FAULTY = Set("n6"),
+    WEIGHTS = Map("n0"->1, "n1"->1, "n2"->1, "n3"->1, "n4"->1, "n5"->1, "n6"->1),
+    REPLICA_KEYS = Map("n0"->"n0", "n1"->"n1", "n2"->"n2", "n3"->"n3", "n4"->"n4", "n5"->"n5", "n6"->"n6"),
+    N = 7,
+    F = 1,
+    VIEWS = 0.to(3),
+    VALID_BLOCKS = Set("val_b0", "val_b1"),
+    INVALID_BLOCKS = Set("inv_b3")
+  ).* from "../replica"
+}