starknet_os_flow_tests: migrate test_reverted_invoke_tx

Author: dorimedini-starkware

crates/blockifier/src/bouncer_test.rs

@@ -744,11 +744,11 @@ fn class_hash_migration_data_from_state(
 
     if should_migrate {
         expect![[r#"
-            89892468
+            86774273
         "#]]
         .assert_debug_eq(&migration_sierra_gas.0);
         expect![[r#"
-            205759633
+            198638149
         "#]]
         .assert_debug_eq(&migration_proving_gas.0);
     } else {

crates/blockifier/src/execution/stack_trace_regression/test_contract_ctor_frame_stack_trace_cairo1_casm.txt

@@ -1,8 +1,8 @@
 Transaction execution has failed:
 0: Error in the called contract (contract address: 0x00000000000000000000000000000000000000000000000000000000c0020000, class hash: 0x0000000000000000000000000000000000000000000000000000000080020000, selector: 0x015d40a3d6ca2ac30f4031e42be28da9b056fef9bb7357ac5e85627ee876e5ad):
-Error at pc=0:544:
+Error at pc=0:539:
 1: Error in the called contract (contract address: 0x00000000000000000000000000000000000000000000000000000000c0020000, class hash: 0x0000000000000000000000000000000000000000000000000000000080020000, selector: 0x02730079d734ee55315f4f141eaed376bddd8c2133523d223a344c5604e0f7f8):
-Error at pc=0:782:
+Error at pc=0:781:
 2: Error in the contract class constructor (contract address: 0x0103ee82605273496eed8d9141c5b3ad967baa08be63aa5bc49ffae5eae454cc, class hash: 0x0000000000000000000000000000000000000000000000000000000080040000, selector: 0x028ffe4ff0f226a9107253e17a904099aa4f63a02a5621de0576e5aa71bc5194):
 Execution failed. Failure reason:
 Error in contract (contract address: 0x0103ee82605273496eed8d9141c5b3ad967baa08be63aa5bc49ffae5eae454cc, class hash: 0x0000000000000000000000000000000000000000000000000000000080040000, selector: 0x028ffe4ff0f226a9107253e17a904099aa4f63a02a5621de0576e5aa71bc5194):

crates/blockifier/src/execution/syscalls/syscall_tests/call_contract.rs

@@ -249,7 +249,7 @@ fn test_call_contract(outer_contract: FeatureContract, inner_contract: FeatureCo
             l2_to_l1_messages: [],
             cairo_native: false,
             failed: false,
-            gas_consumed: 129870,
+            gas_consumed: 129070,
         }
     "#]]
     .assert_debug_eq(&execution);

crates/blockifier/src/execution/syscalls/syscall_tests/constants.rs

@@ -1 +1 @@
-pub const REQUIRED_GAS_GET_BLOCK_HASH_TEST: u64 = 15220;
+pub const REQUIRED_GAS_GET_BLOCK_HASH_TEST: u64 = 14920;

crates/blockifier/src/execution/syscalls/syscall_tests/deploy.rs

@@ -52,7 +52,7 @@ fn no_constructor(runnable_version: RunnableCairo1) {
             l2_to_l1_messages: [],
             cairo_native: false,
             failed: false,
-            gas_consumed: 156540,
+            gas_consumed: 156240,
         }
     "#]]
     .assert_debug_eq(&deploy_call.execution);
@@ -136,7 +136,7 @@ fn with_constructor(runnable_version: RunnableCairo1) {
             l2_to_l1_messages: [],
             cairo_native: false,
             failed: false,
-            gas_consumed: 184620,
+            gas_consumed: 183920,
         }
     "#]]
     .assert_debug_eq(&deploy_call.execution);
@@ -156,7 +156,7 @@ fn with_constructor(runnable_version: RunnableCairo1) {
             l2_to_l1_messages: [],
             cairo_native: false,
             failed: false,
-            gas_consumed: 14640,
+            gas_consumed: 14440,
         }
     "#]]
     .assert_debug_eq(&constructor_call.execution);

crates/blockifier/src/execution/syscalls/syscall_tests/emit_event.rs

@@ -71,7 +71,7 @@ fn positive_flow(runnable_version: RunnableCairo1) {
             l2_to_l1_messages: [],
             cairo_native: false,
             failed: false,
-            gas_consumed: 34580,
+            gas_consumed: 33010,
         }
     "#]]
     .assert_debug_eq(&call_info.execution);

crates/blockifier/src/execution/syscalls/syscall_tests/get_block_hash.rs

@@ -83,7 +83,7 @@ fn positive_flow(runnable_version: RunnableCairo1) {
             l2_to_l1_messages: [],
             cairo_native: false,
             failed: false,
-            gas_consumed: 15220,
+            gas_consumed: 14920,
         }
     "#]]
     .assert_debug_eq(&call_info.execution);

crates/blockifier/src/execution/syscalls/syscall_tests/get_class_hash_at.rs

@@ -51,7 +51,7 @@ fn test_get_class_hash_at(runnable_version: RunnableCairo1) {
             l2_to_l1_messages: [],
             cairo_native: false,
             failed: false,
-            gas_consumed: 16460,
+            gas_consumed: 15960,
         }
     "#]]
     .assert_debug_eq(&positive_call_info.execution);

crates/blockifier/src/execution/syscalls/syscall_tests/keccak.rs

@@ -38,7 +38,7 @@ fn test_keccak(runnable_version: RunnableCairo1) {
             l2_to_l1_messages: [],
             cairo_native: false,
             failed: false,
-            gas_consumed: 236667,
+            gas_consumed: 228627,
         }
     "#]]
     .assert_debug_eq(&execution);

crates/blockifier/src/execution/syscalls/syscall_tests/library_call.rs

@@ -57,7 +57,7 @@ fn test_library_call(runnable_version: RunnableCairo1) {
             l2_to_l1_messages: [],
             cairo_native: false,
             failed: false,
-            gas_consumed: 127470,
+            gas_consumed: 126670,
         }
     "#]]
     .assert_debug_eq(&execution);
@@ -101,7 +101,7 @@ fn test_library_call_assert_fails(runnable_version: RunnableCairo1) {
             l2_to_l1_messages: [],
             cairo_native: false,
             failed: true,
-            gas_consumed: 111020,
+            gas_consumed: 110520,
         }
     "#]]
     .assert_debug_eq(&call_info.execution);
@@ -146,7 +146,7 @@ fn test_nested_library_call(runnable_version: RunnableCairo1) {
         ..trivial_external_entry_point_new(test_contract)
     };
     let expected_nested_initial_gas = expect![[r#"
-        9999081600
+        9999083710
     "#]];
     let nested_storage_entry_point = CallEntryPoint {
         entry_point_selector: inner_entry_point_selector,
@@ -158,7 +158,7 @@ fn test_nested_library_call(runnable_version: RunnableCairo1) {
         ..trivial_external_entry_point_new(test_contract)
     };
     let expected_library_initial_gas = expect![[r#"
-        9999182620
+        9999184230
     "#]];
     let library_entry_point = CallEntryPoint {
         entry_point_selector: outer_entry_point_selector,
@@ -176,7 +176,7 @@ fn test_nested_library_call(runnable_version: RunnableCairo1) {
         ..trivial_external_entry_point_new(test_contract)
     };
     let expected_storage_initial_gas = expect![[r#"
-        9998975990
+        9998978400
     "#]];
     let storage_entry_point = CallEntryPoint {
         calldata: calldata![felt!(key), felt!(value)],
@@ -191,7 +191,7 @@ fn test_nested_library_call(runnable_version: RunnableCairo1) {
     );
 
     let expected_nested_gas_consumed = expect![[r#"
-        26450
+        26150
     "#]];
     let nested_storage_call_info = CallInfo {
         call: nested_storage_entry_point,
@@ -212,7 +212,7 @@ fn test_nested_library_call(runnable_version: RunnableCairo1) {
     };
 
     let expected_library_call_gas_consumed = expect![[r#"
-        127470
+        126670
     "#]];
     let library_call_info = CallInfo {
         call: library_entry_point,
@@ -229,7 +229,7 @@ fn test_nested_library_call(runnable_version: RunnableCairo1) {
     };
 
     let expected_storage_call_gas_consumed = expect![[r#"
-        26450
+        26150
     "#]];
     let storage_call_info = CallInfo {
         call: storage_entry_point,
@@ -250,7 +250,7 @@ fn test_nested_library_call(runnable_version: RunnableCairo1) {
     };
 
     let expected_main_gas_consumed = expect![[r#"
-        342890
+        340190
     "#]];
     let expected_call_info = CallInfo {
         call: main_entry_point.clone(),