From b4e4f5a8846bd263c60e5aac36733d1acf6419bd Mon Sep 17 00:00:00 2001 From: emmmm <155267286+eeemmmmmm@users.noreply.github.com> Date: Sat, 14 Feb 2026 11:57:37 -0300 Subject: [PATCH] fix: remove duplicate assert_bool constraints in ShiftRightChip --- crates/core/machine/src/alu/sr/mod.rs | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/crates/core/machine/src/alu/sr/mod.rs b/crates/core/machine/src/alu/sr/mod.rs index f7c32e03..bf90f1eb 100644 --- a/crates/core/machine/src/alu/sr/mod.rs +++ b/crates/core/machine/src/alu/sr/mod.rs @@ -502,13 +502,7 @@ where } } - // Check that the operation flags are boolean. - builder.assert_bool(local.is_srl); - builder.assert_bool(local.is_sra); - builder.assert_bool(local.is_ror); - builder.assert_bool(local.is_real); - - // Check that is_real is the sum of the two operation flags. + // Check that is_real is the sum of the operation flags. builder.assert_eq(local.is_srl + local.is_sra + local.is_ror, local.is_real); // Receive the arguments.