Adding weakagree claim to nsl3.
This commit is contained in:
parent
6fabb3b1b4
commit
ca5c7eaa49
@ -19,6 +19,7 @@ protocol nsl3(I,R)
|
||||
claim(I,Secret,ni);
|
||||
claim(I,Secret,nr);
|
||||
claim(I,Alive);
|
||||
claim(I,Weakagree);
|
||||
claim(I,Commit,R,ni,nr);
|
||||
claim(I,Niagree);
|
||||
claim(I,Nisynch);
|
||||
@ -37,6 +38,7 @@ protocol nsl3(I,R)
|
||||
claim(R,Secret,ni);
|
||||
claim(R,Secret,nr);
|
||||
claim(R,Alive);
|
||||
claim(R,Weakagree);
|
||||
claim(R,Commit,I,ni,nr);
|
||||
claim(R,Niagree);
|
||||
claim(R,Nisynch);
|
||||
|
Loading…
Reference in New Issue
Block a user