fix: input stack range for POW2 and RAWRESERVE

Danil42Russia · Danil42Russia · commit 4f29d0b1d388 · 2025-10-17T03:35:26.000+03:00
diff --git a/data/message.json b/data/message.json
@@ -63,7 +63,7 @@
             "value_types": ["Int"],
             "range": {
               "min": 0,
-              "max": 15
+              "max": 31
             }
           }
         ],
diff --git a/data/shift_logic.json b/data/shift_logic.json
@@ -30,7 +30,7 @@
             "name": "x",
             "range": {
               "min": 0,
-              "max": 1023
+              "max": 255
             },
             "value_types": ["Int"]
           }
diff --git a/gen/tvm-specification.json b/gen/tvm-specification.json
@@ -638,7 +638,7 @@
               "name": "x",
               "range": {
                 "min": 0,
-                "max": 1023
+                "max": 255
               },
               "value_types": ["Int"]
             }
@@ -25415,7 +25415,7 @@
               "value_types": ["Int"],
               "range": {
                 "min": 0,
-                "max": 15
+                "max": 31
               }
             }
           ],
