From 115667875d96f3d4bc4a9bba5967b79a53b78cbb Mon Sep 17 00:00:00 2001 From: sword_smith Date: Wed, 18 Sep 2024 20:25:36 +0200 Subject: [PATCH] fix(test): Remove false assertion when counting nodes The number of constants do not have to match the number of requested constants in the arbitrary implementation because of constant folding. So when an expression is formed from two constants, it results in a new constant (as it should) and not a BinOp expression. --- triton-constraint-circuit/src/lib.rs | 5 ----- 1 file changed, 5 deletions(-) diff --git a/triton-constraint-circuit/src/lib.rs b/triton-constraint-circuit/src/lib.rs index 1dde4362..447f4ed9 100644 --- a/triton-constraint-circuit/src/lib.rs +++ b/triton-constraint-circuit/src/lib.rs @@ -1834,11 +1834,6 @@ mod tests { ); prop_assert_eq!(10, ConstraintCircuitMonad::num_inputs(&multicircuit_monad)); - prop_assert_eq!( - 10, - ConstraintCircuitMonad::num_bfield_constants(&multicircuit_monad) - + ConstraintCircuitMonad::num_xfield_constants(&multicircuit_monad) - ); } /// Test the completeness and soundness of the `apply_substitution` function,