test: modify testing according to the new design

summa-dev · Jun 21, 2023 · bb1a5cf · bb1a5cf
1 parent 1530db2
commit bb1a5cf
Show file tree

Hide file tree

Showing 2 changed files with 75 additions and 56 deletions.
diff --git a/zk_prover/src/chips/overflow/tests.rs b/zk_prover/src/chips/overflow/tests.rs
@@ -113,6 +113,8 @@ impl<const MAX_BITS: u8, const ACC_COLS: usize> Circuit<Fp>
         let addchip_config = AddChip::configure(meta);
 
         let a = meta.advice_column();
+        meta.enable_equality(a);
+
         let decomposed_values = [(); ACC_COLS].map(|_| meta.advice_column());
 
         let overflow_check_config =