add missing case for sra32 to basic machine

valida-xyz · Apr 11, 2024 · 07f28f3 · 07f28f3
1 parent 2835d2a
commit 07f28f3
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/basic/src/lib.rs b/basic/src/lib.rs
@@ -1122,6 +1122,9 @@ impl<F: PrimeField32 + TwoAdicField> Machine<F> for BasicMachine<F> {
             <Shr32Instruction as Instruction<Self, F>>::OPCODE => {
                 Shr32Instruction::execute_with_advice::<Adv>(self, ops, advice)
             }
+            <Sra32Instruction as Instruction<Self, F>>::OPCODE => {
+                Sra32Instruction::execute_with_advice::<Adv>(self, ops, advice)
+            }
             <Lt32Instruction as Instruction<Self, F>>::OPCODE => {
                 Lt32Instruction::execute_with_advice::<Adv>(self, ops, advice)
             }