clean up test

scroll-tech · Sep 5, 2024 · 9299817 · 9299817
1 parent 5d2825e
commit 9299817
Showing 1 changed file with 0 additions and 18 deletions.
diff --git a/ceno_zkvm/src/uint/arithmetic.rs b/ceno_zkvm/src/uint/arithmetic.rs
@@ -654,15 +654,6 @@ mod tests {
                 eval_by_expr(&witness_values, &challenges, &c.expr()[3]),
                 E::ZERO
             );
-            // overflow
-            assert_eq!(
-                eval_by_expr(
-                    &witness_values,
-                    &challenges,
-                    &c.carries.unwrap().last().unwrap().expr()
-                ),
-                E::ZERO
-            );
         }
 
         #[test]
@@ -703,15 +694,6 @@ mod tests {
                 eval_by_expr(&witness_values, &challenges, &c.expr()[3]),
                 E::ZERO
             );
-            // overflow
-            assert_eq!(
-                eval_by_expr(
-                    &witness_values,
-                    &challenges,
-                    &c.carries.unwrap().last().unwrap().expr()
-                ),
-                E::ZERO
-            );
         }
     }