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"
             },
             {
@@ -230,15 +230,44 @@
             "0x48127ffc7fff8000",
             "0x48127ffc7fff8000",
             "0x48127ffc7fff8000",
+            "0x4826800180018000",
+            "0x800000000000011000000000000000000000000000000000000000000000000",
+            "0x20680017fff7fff",
+            "0x18",
+            "0x48127ffc7fff8000",
+            "0x48127ffc7fff8000",
+            "0x48127ffc7fff8000",
+            "0x480a80007fff8000",
+            "0x1104800180018000",
+            "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffcc",
+            "0x1104800180018000",
+            "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff4a",
+            "0x48127ff77fff8000",
+            "0x48127ff97fff8000",
+            "0x480680017fff8000",
+            "0x8e64dfac867f301a439703710296f437e9f91d1bba17cfea5ad7f137a5acd",
+            "0x480680017fff8000",
+            "0x0",
+            "0x48127ffb7fff8000",
             "0x1104800180018000",
-            "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe6",
+            "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff46",
+            "0x48127ffd7fff8000",
+            "0x48127fec7fff8000",
+            "0x48127fec7fff8000",
+            "0x10780017fff7fff",
+            "0x5",
+            "0x48127ffc7fff8000",
+            "0x48127ffc7fff8000",
+            "0x48127ffc7fff8000",
+            "0x1104800180018000",
+            "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffc9",
             "0x208b7fff7fff7ffe",
             "0x402b7ffd7ffc7ffd",
             "0x480280007ffb8000",
             "0x480280017ffb8000",
             "0x480280027ffb8000",
             "0x1104800180018000",
-            "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffdf",
+            "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffc2",
             "0x40780017fff7fff",
             "0x1",
             "0x48127ffc7fff8000",
@@ -359,7 +388,7 @@
                     }
                 }
             ],
-            "183": [
+            "212": [
                 {
                     "accessible_scopes": [
                         "__main__",
@@ -370,7 +399,7 @@
                     "code": "memory[ap] = segments.add()",
                     "flow_tracking_data": {
                         "ap_tracking": {
-                            "group": 20,
+                            "group": 21,
                             "offset": 0
                         },
                         "reference_ids": {}
@@ -379,6 +408,10 @@
             ]
         },
         "identifiers": {
+            "__main__.FUZZ_TEST_SELECTOR": {
+                "type": "const",
+                "value": 15724280504397459906927412945650388641747292702364032215010569113747217101
+            },
             "__main__.HashBuiltin": {
                 "destination": "starkware.cairo.common.cairo_builtins.HashBuiltin",
                 "type": "alias"
@@ -387,6 +420,10 @@
                 "type": "const",
                 "value": 1148028502779661890523359593720089131979067183173988258322045506921168040387
             },
+            "__main__.SCENARIO_CALL": {
+                "type": "const",
+                "value": 1
+            },
             "__main__.SCENARIO_RETURN": {
                 "type": "const",
                 "value": 0
@@ -804,7 +841,7 @@
                 "decorators": [
                     "external"
                 ],
-                "pc": 177,
+                "pc": 206,
                 "type": "function"
             },
             "__wrappers__.test_revert_fuzz.Args": {

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) {
@@ -72,6 +75,22 @@ func test_revert_fuzz{syscall_ptr: felt*, pedersen_ptr: HashBuiltin*, range_chec
         tempvar range_check_ptr = range_check_ptr;
     }
 
+    if (scenario == SCENARIO_CALL) {
+        call_contract(
+            contract_address=pop_front(orchestrator),
+            function_selector=FUZZ_TEST_SELECTOR,
+            calldata_size=0,
+            calldata=new(),
+        );
+        tempvar syscall_ptr = syscall_ptr;
+        tempvar pedersen_ptr = pedersen_ptr;
+        tempvar range_check_ptr = range_check_ptr;
+    } else {
+        tempvar syscall_ptr = syscall_ptr;
+        tempvar pedersen_ptr = pedersen_ptr;
+        tempvar range_check_ptr = range_check_ptr;
+    }
+
     test_revert_fuzz();
     return ();
 }