fix: setting NSR for INVALID instruction family

Consensys · Oct 20, 2024 · 9d19111 · 9d19111
1 parent 935a970
commit 9d19111
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/hub/constraints/instruction-handling/invalid.lisp b/hub/constraints/instruction-handling/invalid.lisp
@@ -31,6 +31,8 @@
 (defconstraint    invalid-instruction---setting-OPCX              (:guard (invalid-instruction---standard-hypothesis))
                   (eq!    stack/OPCX    stack/INVALID_FLAG))
 
+(defconstraint    invalid-instruction---setting-NSR               (:guard (invalid-instruction---standard-hypothesis))
+                  (eq!    NSR    CMC))
 
 ;; TODO: this is debug
 (defconstraint    invalid-instruction---setting-the-peeking-flags (:guard (invalid-instruction---standard-hypothesis))