fix

0xPolygonMiden · Jun 28, 2023 · ffcee6c · ffcee6c
1 parent 5bfc157
commit ffcee6c
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 4 deletions.
diff --git a/air/src/trace/mod.rs b/air/src/trace/mod.rs
@@ -16,7 +16,7 @@ pub const MIN_TRACE_LEN: usize = 64;
 // ------------------------------------------------------------------------------------------------
 
 //      system          decoder           stack      range checks       chiplets
-//    (8 columns)     (24 columns)    (19 columns)    (4 columns)     (18 columns)
+//    (8 columns)     (24 columns)    (19 columns)    (3 columns)     (18 columns)
 // ├───────────────┴───────────────┴───────────────┴───────────────┴─────────────────┤
 
 pub const SYS_TRACE_OFFSET: usize = 0;
@@ -57,7 +57,7 @@ pub const TRACE_WIDTH: usize = CHIPLETS_OFFSET + CHIPLETS_WIDTH;
 // ------------------------------------------------------------------------------------------------
 
 //      decoder         stack       range checks      hasher         chiplets
-//    (3 columns)     (1 column)     (3 columns)    (1 column)      (1 column)
+//    (3 columns)     (1 column)     (2 columns)    (1 column)      (1 column)
 // ├───────────────┴──────────────┴──────────────┴───────────────┴───────────────┤
 
 // Decoder auxiliary columns

diff --git a/miden/tests/integration/air/chiplets/mod.rs b/miden/tests/integration/air/chiplets/mod.rs
@@ -5,7 +5,6 @@ mod hasher;
 mod memory;
 
 #[test]
-#[ignore]
 fn chiplets() {
     // Test a program that uses all of the chiplets.
     let source = "begin

diff --git a/processor/src/range/aux_trace.rs b/processor/src/range/aux_trace.rs
@@ -89,7 +89,7 @@ impl AuxTraceBuilder {
         let mut rc_user_op_idx = 0;
 
         // the first half of the trace only includes values from the operations.
-        for (clk, range_checks) in self.cycle_range_checks.range(0..=self.start_16bit as u32) {
+        for (clk, range_checks) in self.cycle_range_checks.range(0..self.start_16bit as u32) {
             let clk = *clk as usize;
 
             // if we skipped some cycles since the last update was processed, values in the last