From e84433b533d87de173d52e6317b4076df1bba074 Mon Sep 17 00:00:00 2001 From: porcuquine Date: Wed, 10 Jan 2024 19:10:26 -0800 Subject: [PATCH] Remove redundant assert_eq. --- src/coprocessor/memoset/mod.rs | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/coprocessor/memoset/mod.rs b/src/coprocessor/memoset/mod.rs index 78752d0aaa..ced6ee354f 100644 --- 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() {