fix bug (is-not-zero ROOB)

Consensys · Apr 20, 2023 · d841334 · d841334
1 parent a33a882
commit d841334
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/mxp/constraints.lisp b/mxp/constraints.lisp
@@ -50,7 +50,7 @@
 (defconstraint roob-when-type-2-3 (:guard (+ [MXP_TYPE 2] [MXP_TYPE 3]))
   (if-zero OFFSET_1_HI
     (vanishes ROOB)
-    (is-not-zero ROOB)))
+    (= ROOB 1)))
 
 ;; 2.2.3
 (defconstraint roob-when-mem-4 (:guard [MXP_TYPE 4])