Commit 6cbee54f authored by Philipp Meyer's avatar Philipp Meyer

Fixed property in leader election example

parent 9260aa37
...@@ -24,5 +24,5 @@ safety property { ...@@ -24,5 +24,5 @@ safety property {
lead >= 2 lead >= 2
} }
liveness property { liveness property {
newleader > 0 || newleader = 0 newleader = 0
} }
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment