feat: update MXP example (#469)

Update MXP example This updates the mxp example so that it exactly reflects its original formulation.
Consensys · Dec 19, 2024 · 7645e1b · 7645e1b
1 parent 3d2eecb
commit 7645e1b
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/testdata/mxp.lisp b/testdata/mxp.lisp
@@ -50,7 +50,9 @@
   S1NZNOMXPX SIZE_1_NONZERO_NO_MXPX
   S2NZNOMXPX SIZE_2_NONZERO_NO_MXPX)
 
-
+(defconst
+  EVM_INST_RETURN                           0xF3
+  GAS_CONST_G_MEMORY                        3)
 
 (module mxp)
 
@@ -231,9 +233,9 @@
                   (vanishes! CT)
                   (vanishes! INST))))
 
-;; (defconstraint type-flag-sum (:guard STAMP)
-;;   (eq! 1
-;;        (reduce + (for i [5] [MXP_TYPE i]))))
+(defconstraint type-flag-sum (:guard STAMP)
+  (eq! 1
+       (reduce + (for i [5] [MXP_TYPE i]))))
 
 (defconstraint counter-reset ()
   (if-not-zero (will-remain-constant! STAMP)