starknet_os: os resources test - library call

Author: dorimedini-starkware

crates/apollo_starknet_os_program/src/cairo/starkware/starknet/core/os/constants.cairo

@@ -110,7 +110,7 @@ const DEPLOY_CALLDATA_FACTOR_GAS_COST = 4850;
 const GET_BLOCK_HASH_GAS_COST = 10840;
 const GET_CLASS_HASH_AT_GAS_COST = 10000;
 const GET_EXECUTION_INFO_GAS_COST = 12640;
-const LIBRARY_CALL_GAS_COST = 89160;
+const LIBRARY_CALL_GAS_COST = 88460;
 const REPLACE_CLASS_GAS_COST = 10670;
 // TODO(Yoni, 1/1/2026): take into account Patricia updates and dict squash.
 const STORAGE_READ_GAS_COST = 18070;

crates/apollo_starknet_os_program/src/program_hash.json

@@ -1,6 +1,6 @@
 {
-  "os": "0x1569abd39792bd43ec8d3ff0bf9baf4c8dab6e0528ffdf7b6f2c57a1e7e3188",
-  "virtual_os": "0x1c3f2f4f0a1b23ec07e236928c02ae3b13cb0137af1c8e3048994401b4b8e74",
+  "os": "0x73def16c6a0a7e518bbdd57fde03ad788801643d5bfc561b8fc90781ddb5995",
+  "virtual_os": "0x1689e4a3bb32dd81c66ee660a9ca05aad72309b38ba5cbac0ffec782e5b8154",
   "aggregator": "0x700786d51b3854af43d8e12180380bda3029be6c1767e007858de6ca2edac40",
   "aggregator_with_prefix": "0xe08d300e3f5996e43d6d7cc5a20068e0e58cf1309089f2348317ac580f6c1f"
 }

crates/blockifier/resources/blockifier_versioned_constants_0_14_3.json

@@ -346,7 +346,7 @@
                 }
             },
             "LibraryCall": {
-                "n_steps": 879,
+                "n_steps": 872,
                 "n_memory_holes": 0,
                 "builtin_instance_counter": {
                     "range_check_builtin": 18

crates/blockifier_test_utils/resources/feature_contracts/cairo1/os_resources_test_contract.cairo

@@ -2,7 +2,7 @@
 #[starknet::contract(account)]
 mod OsResourcesTestContract {
     use starknet::info::SyscallResultTrait;
-    use starknet::syscalls::call_contract_syscall;
+    use starknet::syscalls::{call_contract_syscall, library_call_syscall};
     use starknet::{ClassHash, ContractAddress};
 
     const EMPTY_FUNCTION_SELECTOR: felt252 = selector!("empty_function");
@@ -32,6 +32,10 @@ mod OsResourcesTestContract {
         // call_contract syscall — calls empty_function on self.
         call_contract_syscall(self_address, EMPTY_FUNCTION_SELECTOR, ArrayTrait::new().span())
             .unwrap_syscall();
+
+        // library_call syscall — calls empty_function on self.
+        library_call_syscall(self_class_hash, EMPTY_FUNCTION_SELECTOR, ArrayTrait::new().span())
+            .unwrap_syscall();
     }
 
     // Target for call_contract and library_call — accepts no arguments.

crates/starknet_os_flow_tests/src/os_resources_test.rs

@@ -28,7 +28,7 @@ use crate::tests::NON_TRIVIAL_RESOURCE_BOUNDS;
 use crate::utils::get_class_hash_of_feature_contract;
 
 // TODO(Dori): Delete this, or at least reduce it to a minimal set of unmeasurable syscalls.
-const UNMEASURABLE_SYSCALLS: [Selector; 34] = [
+const UNMEASURABLE_SYSCALLS: [Selector; 33] = [
     Selector::DelegateCall,
     Selector::DelegateL1Handler,
     Selector::Deploy,
@@ -46,7 +46,6 @@ const UNMEASURABLE_SYSCALLS: [Selector; 34] = [
     Selector::Keccak,
     Selector::KeccakRound,
     Selector::Sha256ProcessBlock,
-    Selector::LibraryCall,
     Selector::LibraryCallL1Handler,
     Selector::MetaTxV0,
     Selector::ReplaceClass,