[lsd0003] branch master updated: Fixed some more

[gnunet]

This is an automated email from the git hooks/post-receive script.

elias-summermatter pushed a commit to branch master
in repository lsd0003.

The following commit(s) were added to refs/heads/master by this push:
     new ec5663e  Fixed some more
ec5663e is described below

commit ec5663ea14762c53bbad474b93858be9e4f00f24
Author: Elias Summermatter <elias.summermatter@seccom.ch>
AuthorDate: Tue Jun 15 10:32:54 2021 +0200

    Fixed some more
---
 draft-summermatter-set-union.xml | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/draft-summermatter-set-union.xml b/draft-summermatter-set-union.xml
index a344788..c9c1141 100644
--- a/draft-summermatter-set-union.xml
+++ b/draft-summermatter-set-union.xml
@@ -2318,7 +2318,7 @@ FUNCTION unpack_counter(ibf, offset, count, cbl, pd)
                 RETURN
             END IF
 
-            IF (store_bits + bit_to_pack_left) >= cbl
+            IF store_bits + bit_to_pack_left >= cbl
                 bit_use = cbl - store_bits
 
                 IF store_bits > 0
@@ -2461,13 +2461,13 @@ END FUNCTION
 # Output:
 # returns TRUE if parameters in byzantine bounds otherwise returns FALSE
 FUNCTION check_byzantine_bounds (rec,rsd,lec,lsd)
-    IF (rec + rsd > UPPER_BOUND)
+    IF rec + rsd > UPPER_BOUND
         RETURN FALSE
     IF END
-    IF (lec + lsd > UPPER_BOUND)
+    IF lec + lsd > UPPER_BOUND
         RETURN FALSE
     IF END
-    IF (rec < LOWER_BOUND)
+    IF rec < LOWER_BOUND
         RETURN FALSE
     IF END
     RETURN TRUE
@@ -2758,16 +2758,16 @@ FUNCTION full_sync_plausibility_check 
(state,rs,lis,rd,rf)
 
     # Make sure that no element is received double when
     # all elements already are transmitted to the oder side.
-    IF ( (FULL_SENDING == state) && (rd > 0) )
+    IF FULL_SENDING == state AND rd > 0
         RETURN FALSE
     END IF
 
     # Probabilistic algorithm to check for plausible
     # element distribution
-    IF (FULL_RECEIVING == state)
+    IF FULL_RECEIVING == state
 
         # Prevent division by 0
-        IF (0 <= rs)
+        IF  0 <= rs
             rs = 1
         END IF
 
@@ -2775,7 +2775,7 @@ FUNCTION full_sync_plausibility_check (state,rs,lis,rd,rf)
         base = 1 - (rs / (lis + rs))
         exponent = rd - rf * lis / rs
         value = exponent * (LOG2(base)/LOG2(2))
-        IF ((value < security_level_lb) || (value > SECURITY_LEVEL)
+        IF value < security_level_lb OR value > SECURITY_LEVEL
             RETURN FALSE
         END IF
     END IF

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.