Remove redundant assert_eq.

lurk-lab · Jan 11, 2024 · e84433b · e84433b
1 parent ed0aa43
commit e84433b
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/src/coprocessor/memoset/mod.rs b/src/coprocessor/memoset/mod.rs
@@ -811,9 +811,6 @@ mod test {
             expect_eq(cs.num_constraints(), expect!["10826"]);
             expect_eq(cs.aux().len(), expect!["10859"]);
 
-            assert_eq!(10826, cs.num_constraints());
-            assert_eq!(10859, cs.aux().len());
-
             let unsat = cs.which_is_unsatisfied();
 
             if unsat.is_some() {