starknet_os_flow_tests: fuzz test call scenario

Author: dorimedini-starkware

crates/blockifier_test_utils/resources/feature_contracts/cairo0/compiled/fuzz_revert_compiled.json

@@ -38,7 +38,7 @@
         ],
         "EXTERNAL": [
             {
-                "offset": 177,
+                "offset": 206,
                 "selector": "0x8e64dfac867f301a439703710296f437e9f91d1bba17cfea5ad7f137a5acd"
             },
             {
@@ -49,7 +49,28 @@
         "L1_HANDLER": []
     },
     "program": {
-        "attributes": [],
+        "attributes": [
+            {
+                "accessible_scopes": [
+                    "__main__",
+                    "__main__",
+                    "__main__.test_revert_fuzz"
+                ],
+                "end_pc": 202,
+                "flow_tracking_data": {
+                    "ap_tracking": {
+                        "group": 17,
+                        "offset": 55
+                    },
+                    "reference_ids": {
+                        "__main__.test_revert_fuzz.scenario": 4
+                    }
+                },
+                "name": "error_message",
+                "start_pc": 198,
+                "value": "Unknown scenario: {scenario}."
+            }
+        ],
         "builtins": [
             "pedersen",
             "range_check"
@@ -227,18 +248,47 @@
             "0x48127ffc7fff8000",
             "0x48127ffc7fff8000",
             "0x208b7fff7fff7ffe",
-            "0x48127ffc7fff8000",
-            "0x48127ffc7fff8000",
-            "0x48127ffc7fff8000",
+            "0x4826800180018000",
+            "0x800000000000011000000000000000000000000000000000000000000000000",
+            "0x20680017fff7fff",
+            "0x19",
+            "0x48127ffb7fff8000",
+            "0x48127ffb7fff8000",
+            "0x48127ffb7fff8000",
+            "0x480a80007fff8000",
+            "0x1104800180018000",
+            "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffcf",
+            "0x1104800180018000",
+            "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff4d",
+            "0x48127ff77fff8000",
+            "0x48127ff97fff8000",
+            "0x480680017fff8000",
+            "0x8e64dfac867f301a439703710296f437e9f91d1bba17cfea5ad7f137a5acd",
+            "0x480680017fff8000",
+            "0x0",
+            "0x48127ffb7fff8000",
+            "0x1104800180018000",
+            "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff49",
+            "0x48127ffd7fff8000",
+            "0x48127fec7fff8000",
+            "0x48127fec7fff8000",
             "0x1104800180018000",
-            "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe6",
+            "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffd1",
+            "0x208b7fff7fff7ffe",
+            "0x480680017fff8000",
+            "0x0",
+            "0x400680017fff7fff",
+            "0x1",
+            "0x48127ffa7fff8000",
+            "0x48127ffa7fff8000",
+            "0x48127ffa7fff8000",
             "0x208b7fff7fff7ffe",
             "0x402b7ffd7ffc7ffd",
             "0x480280007ffb8000",
             "0x480280017ffb8000",
             "0x480280027ffb8000",
             "0x1104800180018000",
-            "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffdf",
+            "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffc2",
             "0x40780017fff7fff",
             "0x1",
             "0x48127ffc7fff8000",
@@ -359,7 +409,7 @@
                     }
                 }
             ],
-            "183": [
+            "212": [
                 {
                     "accessible_scopes": [
                         "__main__",
@@ -379,6 +429,10 @@
             ]
         },
         "identifiers": {
+            "__main__.FUZZ_TEST_SELECTOR": {
+                "type": "const",
+                "value": 15724280504397459906927412945650388641747292702364032215010569113747217101
+            },
             "__main__.HashBuiltin": {
                 "destination": "starkware.cairo.common.cairo_builtins.HashBuiltin",
                 "type": "alias"
@@ -387,6 +441,10 @@
                 "type": "const",
                 "value": 1148028502779661890523359593720089131979067183173988258322045506921168040387
             },
+            "__main__.SCENARIO_CALL": {
+                "type": "const",
+                "value": 1
+            },
             "__main__.SCENARIO_RETURN": {
                 "type": "const",
                 "value": 0
@@ -730,6 +788,21 @@
                 "type": "const",
                 "value": 2
             },
+            "__main__.test_revert_fuzz.scenario": {
+                "cairo_type": "felt",
+                "full_name": "__main__.test_revert_fuzz.scenario",
+                "references": [
+                    {
+                        "ap_tracking_data": {
+                            "group": 17,
+                            "offset": 54
+                        },
+                        "pc": 165,
+                        "value": "[cast(fp + 1, felt*)]"
+                    }
+                ],
+                "type": "reference"
+            },
             "__wrappers__.constructor": {
                 "decorators": [
                     "constructor"
@@ -804,7 +877,7 @@
                 "decorators": [
                     "external"
                 ],
-                "pc": 177,
+                "pc": 206,
                 "type": "function"
             },
             "__wrappers__.test_revert_fuzz.Args": {
@@ -2121,6 +2194,14 @@
                     },
                     "pc": 34,
                     "value": "[cast(fp + (-3), felt*)]"
+                },
+                {
+                    "ap_tracking_data": {
+                        "group": 17,
+                        "offset": 54
+                    },
+                    "pc": 165,
+                    "value": "[cast(fp + 1, felt*)]"
                 }
             ]
         }

crates/blockifier_test_utils/resources/feature_contracts/cairo0/fuzz_revert.cairo

@@ -7,9 +7,12 @@ from starkware.starknet.common.syscalls import call_contract
 // Scenarios.
 // The RETURN scenario *must* be zero, as the zero value also indicates end of scenario stream.
 const SCENARIO_RETURN = 0;
+const SCENARIO_CALL = 1;
 
 // selector_from_name("pop_front").
 const POP_FRONT_SELECTOR = 0x289c2d7d6351cd03d4f928bde75fa14d5f52e32bdbc750d5296e1b48c12f1c3;
+// selector_from_name("test_revert_fuzz").
+const FUZZ_TEST_SELECTOR = 0x8e64dfac867f301a439703710296f437e9f91d1bba17cfea5ad7f137a5acd;
 
 @storage_var
 func orchestrator_address() -> (address: felt) {
@@ -68,6 +71,19 @@ func test_revert_fuzz{syscall_ptr: felt*, pedersen_ptr: HashBuiltin*, range_chec
         return ();
     }
 
-    test_revert_fuzz();
+    if (scenario == SCENARIO_CALL) {
+        call_contract(
+            contract_address=pop_front(orchestrator),
+            function_selector=FUZZ_TEST_SELECTOR,
+            calldata_size=0,
+            calldata=new(),
+        );
+        test_revert_fuzz();
+        return ();
+    }
+
+    with_attr error_message("Unknown scenario: {scenario}.") {
+        assert 1 = 0;
+    }
     return ();
 }