Merge pull request #6 from Veridise/basis2-fix

BUG FIX: basis2 lemma only valid for bit sizes < 254.
chyanju · Aug 18, 2023 · cea6fb9 · cea6fb9
2 parents c120fd0 + 1fca1b5
commit cea6fb9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/picus/algorithms/lemmas/basis2-lemma.rkt b/picus/algorithms/lemmas/basis2-lemma.rkt
@@ -30,7 +30,7 @@
     (values tmp-ks tmp-us)
 )
 
-(define basis2-seqs (for/set ([i (range 270)])
+(define basis2-seqs (for/set ([i (range 253)])
     (for/set ([j (range (+ 1 i))])
         (expt 2 j)
     )
@@ -207,4 +207,4 @@
         ]
     )
     (values tmp-ks tmp-us)
-)
+)