starknet_os_runner: transfer tx test (#12326)

Author: AvivYossef-starkware

crates/starknet_os_runner/src/runner_test.rs

@@ -4,8 +4,8 @@ use blockifier_reexecution::state_reader::rpc_objects::BlockId;
 use blockifier_test_utils::calldata::create_calldata;
 use rstest::rstest;
 use starknet_api::core::ContractAddress;
-use starknet_api::invoke_tx_args;
 use starknet_api::test_utils::invoke::invoke_tx;
+use starknet_api::{contract_address, felt, invoke_tx_args};
 
 use crate::runner::VirtualSnosRunner;
 use crate::test_utils::{
@@ -49,3 +49,45 @@ async fn test_run_os_with_balance_of_transaction() {
         .await
         .expect("run_virtual_os should succeed");
 }
+
+/// Integration test for the full Runner flow with a STRK transfer transaction.
+///
+/// # Running
+///
+/// ```bash
+/// SEPOLIA_NODE_URL=https://your-rpc-node cargo test -p starknet_os_runner test_run_os_with_transfer_transaction -- --ignored
+/// ```
+#[rstest]
+#[tokio::test(flavor = "multi_thread")]
+#[ignore] // Requires RPC access.
+async fn test_run_os_with_transfer_transaction() {
+    let strk_token = ContractAddress::try_from(STRK_TOKEN_ADDRESS_SEPOLIA).unwrap();
+    let account = ContractAddress::try_from(DUMMY_ACCOUNT_ADDRESS).unwrap();
+    let recipient = contract_address!("0x123");
+
+    // Transfer amount: 1 wei (u256 = low + high * 2^128).
+    let amount_low = felt!("1");
+    let amount_high = felt!("0");
+
+    // Calldata matches dummy account's __execute__(contract_address, selector, calldata).
+    // transfer(recipient, amount) where amount is u256 (low, high).
+    let calldata =
+        create_calldata(strk_token, "transfer", &[recipient.into(), amount_low, amount_high]);
+
+    let resource_bounds = default_resource_bounds_for_client_side_tx();
+
+    let invoke_tx = invoke_tx(invoke_tx_args! {
+        sender_address: account,
+        calldata,
+        resource_bounds,
+    });
+
+    let factory = sepolia_runner_factory();
+    let block_id = BlockId::Latest;
+
+    // Verify execution succeeds.
+    factory
+        .run_virtual_os(block_id, vec![(invoke_tx)])
+        .await
+        .expect("run_virtual_os should succeed");
+}