BUG FIX: basis2 lemma only valid for bit sizes < 254.

Veridise · Aug 18, 2023 · 1fca1b5 · 1fca1b5
1 parent 2f46e3e
commit 1fca1b5
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)
-)
+)