fix: input stack range for POW2 and RAWRESERVE (#10)

Danil42Russia · web-flow · commit 21f5eeacb3e7 · 2025-10-18T19:55:03.000+04: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
@@ -611,7 +611,7 @@
               "name": "x",
               "range": {
                 "min": 0,
-                "max": 1023
+                "max": 255
               },
               "value_types": ["Int"]
             }
@@ -24372,7 +24372,7 @@
               "value_types": ["Int"],
               "range": {
                 "min": 0,
-                "max": 15
+                "max": 31
               }
             }
           ],
