test(blockifier): fix grindy-validate test to use tighter bounds (#1212)

Signed-off-by: Dori Medini <[email protected]>
starkware-libs · Oct 10, 2024 · 72a16a7 · 72a16a7
1 parent fe19937
commit 72a16a7
Show file tree

Hide file tree

Showing 5 changed files with 148 additions and 73 deletions.
diff --git a/crates/blockifier/feature_contracts/cairo0/account_with_long_validate.cairo b/crates/blockifier/feature_contracts/cairo0/account_with_long_validate.cairo
@@ -49,7 +49,7 @@ func __validate_deploy__(
 
 @external
 func __validate__(contract_address, selector: felt, calldata_len: felt, calldata: felt*) {
-    grind();
+    grind_recurse(calldata[0]);
     return ();
 }
 

diff --git a/crates/blockifier/feature_contracts/cairo0/compiled/account_with_long_validate_compiled.json b/crates/blockifier/feature_contracts/cairo0/compiled/account_with_long_validate_compiled.json
@@ -114,11 +114,11 @@
         ],
         "EXTERNAL": [
             {
-                "offset": 161,
+                "offset": 162,
                 "selector": "0x15d40a3d6ca2ac30f4031e42be28da9b056fef9bb7357ac5e85627ee876e5ad"
             },
             {
-                "offset": 122,
+                "offset": 123,
                 "selector": "0x162da33a4585851fe8d3af3c2a9c60b557814e221e0d4f30ff0b2189d9c7775"
             },
             {
@@ -259,8 +259,9 @@
             "0x0",
             "0x48127ffb7fff8000",
             "0x208b7fff7fff7ffe",
+            "0x480280007ffd8000",
             "0x1104800180018000",
-            "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffc9",
+            "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffcd",
             "0x208b7fff7fff7ffe",
             "0x480280027ffb8000",
             "0x480280027ffd8000",
@@ -276,7 +277,7 @@
             "0x482680017ffd8000",
             "0x3",
             "0x1104800180018000",
-            "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff1",
+            "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff0",
             "0x40780017fff7fff",
             "0x1",
             "0x480280027ffb8000",
@@ -294,7 +295,7 @@
             "0x480a7ffc7fff8000",
             "0x480a7ffd7fff8000",
             "0x1104800180018000",
-            "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff68",
+            "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff67",
             "0x48127ffd7fff8000",
             "0x480a7ff87fff8000",
             "0x480a7ff97fff8000",
@@ -415,7 +416,7 @@
                     }
                 }
             ],
-            "137": [
+            "138": [
                 {
                     "accessible_scopes": [
                         "__main__",
@@ -448,7 +449,7 @@
                     "external",
                     "raw_output"
                 ],
-                "pc": 148,
+                "pc": 149,
                 "type": "function"
             },
             "__main__.__execute__.Args": {
@@ -854,7 +855,7 @@
                     "external",
                     "raw_output"
                 ],
-                "pc": 161,
+                "pc": 162,
                 "type": "function"
             },
             "__wrappers__.__execute__.Args": {
@@ -889,7 +890,7 @@
                 "decorators": [
                     "external"
                 ],
-                "pc": 122,
+                "pc": 123,
                 "type": "function"
             },
             "__wrappers__.__validate__.Args": {

diff --git a/crates/blockifier/feature_contracts/cairo1/account_with_long_validate.cairo b/crates/blockifier/feature_contracts/cairo1/account_with_long_validate.cairo
@@ -54,7 +54,7 @@ mod Account {
         selector: felt252,
         calldata: Array<felt252>
     ) -> felt252 {
-        grind();
+        grind_recurse(*calldata[0]);
         starknet::VALIDATED
     }