andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

- oops forgot to update 1 message, we really need some option to check

Browse Source 
input files for correctness (i.e. will it finish without an intruder)
This commit is contained in:
gijs 2005-08-31 13:17:54 +00:00
parent a4c9303781
commit 053a76e5fb
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
spdl/SPORE/wmf-lowe.spdl
View File

@ -80,7 +80,7 @@ protocol wmf-Lowe(I,R,S)
var Ti: TimeStamp; var Ti: TimeStamp;
read_1(I,S, I,{Ti, R, Kir}k(I,S) ); read_1(I,S, I,{Ti, R, Kir}k(I,S) );
send_2(S,R, {S,Ts, I, Kir}k(R,S)); send_2(S,R, {Ts, I, Kir}k(R,S));
} }
} }