Added weak agreement claims to NS.

This commit is contained in:
Cas Cremers 2012-05-01 16:37:04 +02:00
parent ccae884942
commit 8d0b704635

View File

@ -19,6 +19,7 @@ protocol ns3(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 ns3(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);