[391] [CONTRACT] Add regression tests for sender and carrier pagination queries

contracts/shipment/src/budget_bench.rs

@@ -163,6 +163,7 @@ fn bench_create_shipments_batch() {
         inputs.push_back(crate::ShipmentInput {
             receiver: Address::generate(&env),
             carrier: Address::generate(&env),
+            token_address: token_contract.clone(),
             data_hash: BytesN::from_array(&env, &[i + 1; 32]),
             payment_milestones: SorobanVec::new(&env),
             deadline,

contracts/shipment/src/e2e_test.rs

@@ -10,8 +10,6 @@
 // Run: cargo test --lib e2e_test
 // =============================================================================
 
-#![cfg(test)]
-
 extern crate std;
 
 use crate::{test_utils, NavinShipment, NavinShipmentClient, ShipmentStatus};

contracts/shipment/src/fuzz_escrow_arithmetic.rs

@@ -1,4 +1,3 @@
-#![cfg(test)]
 //! # Escrow Arithmetic Fuzzing Harness
 //!
 //! Property-based fuzz tests for escrow arithmetic correctness,

contracts/shipment/src/fuzz_escrow_lifecycle.rs

@@ -1,4 +1,3 @@
-#![cfg(test)]
 //! # Escrow Lifecycle Fuzzing Harness
 //!
 //! Property-based fuzz tests for the complete escrow lifecycle:

contracts/shipment/src/fuzz_milestone_releases.rs

@@ -1,4 +1,3 @@
-#![cfg(test)]
 //! # Milestone Releases Fuzzing Harness
 //!
 //! Property-based fuzz tests for partial milestone-based escrow releases.

contracts/shipment/src/fuzz_rbac_authorization.rs

@@ -1,4 +1,3 @@
-#![cfg(test)]
 //! # RBAC Authorization Fuzzing Harness
 //!
 //! Property-based fuzz tests for role-based access control authorization checks.

contracts/shipment/src/fuzz_role_assignment.rs

@@ -1,4 +1,3 @@
-#![cfg(test)]
 //! # Role Assignment Fuzzing Harness
 //!
 //! Property-based fuzz tests for role assignment, revocation, and suspension.

contracts/shipment/src/fuzz_storage_operations.rs

@@ -1,4 +1,3 @@
-#![cfg(test)]
 //! # Storage Operations Fuzzing Harness
 //!
 //! Property-based fuzz tests for Soroban persistent/instance storage operations.

contracts/shipment/src/fuzz_ttl_management.rs

@@ -1,4 +1,3 @@
-#![cfg(test)]
 //! # TTL Management Fuzzing Harness
 //!
 //! Property-based fuzz tests for Soroban TTL (Time-To-Live) storage management.

contracts/shipment/src/fuzz_wallet_auth_integration.rs

@@ -1,4 +1,3 @@
-#![cfg(test)]
 //! # Wallet-Signed Auth Integration Tests
 //!
 //! End-to-end integration tests approximating wallet-signed invocation behavior

contracts/shipment/src/lib.rs

@@ -1,8 +1,6 @@
 #![no_std]
 #![allow(clippy::too_many_arguments)]
 
-extern crate alloc;
-
 use soroban_sdk::{
     contract, contractimpl, symbol_short, xdr::ToXdr, Address, BytesN, Env, IntoVal, Map, Symbol,
     Vec,