diff options
| author | Dimitri Staessens <dimitri.staessens@ugent.be> | 2018-06-08 11:08:15 +0200 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@ugent.be> | 2018-06-08 11:33:08 +0200 |
| commit | e06cd0c186c1a7ead4778aa09de7db69c649f1a5 (patch) | |
| tree | a703a763c64d7f12a8b87c5ff1c165cd6bfa9d66 /doc/workflow.txt | |
| parent | 53df1996a817f270f81cc397edeaf2c0e7929721 (diff) | |
| download | ouroboros-e06cd0c186c1a7ead4778aa09de7db69c649f1a5.tar.gz ouroboros-e06cd0c186c1a7ead4778aa09de7db69c649f1a5.zip | |
lib: Fix bad bounds calculation in frct
Since the seqno is further ahead than the lwe (this was checked
before), we can safely use seqno - lwe in unsigned arithmetic as the
distance in the sequence number space.
Signed-off-by: Dimitri Staessens <dimitri.staessens@ugent.be>
Signed-off-by: Sander Vrijders <sander.vrijders@ugent.be>
Diffstat (limited to 'doc/workflow.txt')
0 files changed, 0 insertions, 0 deletions