Fix tests

scroll-tech · Dec 9, 2024 · 52418da · 52418da
1 parent d9cc59b
commit 52418da
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/ceno_zkvm/src/tables/ram/ram_circuit.rs b/ceno_zkvm/src/tables/ram/ram_circuit.rs
@@ -161,11 +161,10 @@ pub trait DynVolatileRamTable {
     fn name() -> &'static str;
 
     fn max_len(params: &ProgramParams) -> usize {
-        let max_size =
-            (Self::end_addr(params) - Self::offset_addr(params)).div_ceil(WORD_SIZE as u32) as Addr;
-        let max_len = 1 << (u32::BITS - 1 - max_size.leading_zeros()); // prev_power_of_2
+        let max_size = (Self::end_addr(params) - Self::offset_addr(params)) as usize;
+        let max_len: usize = max_size.next_power_of_two().div_ceil(WORD_SIZE);
         assert!(
-            max_size as usize <= max_len,
+            max_size <= max_len,
             "Did not round up {max_size} correctly, got {max_len}, which is smaller."
         );
         max_len