Put Vector.Rej_sample_table in SLOW_MODULES

cryspen · Dec 11, 2024 · b0ff2c5 · b0ff2c5
1 parent d3bc868
commit b0ff2c5
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/libcrux-ml-kem/proofs/fstar/extraction/Makefile b/libcrux-ml-kem/proofs/fstar/extraction/Makefile
@@ -1,7 +1,7 @@
-SLOW_MODULES += Libcrux_ml_kem.Vector.Portable.Serialize.fst
+SLOW_MODULES += Libcrux_ml_kem.Vector.Portable.Serialize.fst \
+                Libcrux_ml_kem.Vector.Rej_sample_table.fsti
 
-ADMIT_MODULES = Libcrux_ml_kem.Vector.Rej_sample_table.fsti \
-              Libcrux_ml_kem.Vector.Neon.Arithmetic.fst \
+ADMIT_MODULES = Libcrux_ml_kem.Vector.Neon.Arithmetic.fst \
               Libcrux_ml_kem.Vector.Neon.Compress.fst \
               Libcrux_ml_kem.Vector.Neon.fsti \
               Libcrux_ml_kem.Vector.Neon.fst \