remove warnings

crates/evm/traces/src/lib.rs

@@ -305,16 +305,11 @@ pub fn load_contracts<'a>(
     let decoder = CallTraceDecoder::new();
     let mut contracts = ContractsByAddress::new();
     for trace in traces {
-        let a = decoder.trace_addresses(trace);
-        for (address, _) in a.clone() {
-            warn!("address in trace: {:?}", address);
-        }
-        let identified_addresses = local_identifier.identify_addresses(a);
+        let identified_addresses =
+            local_identifier.identify_addresses(decoder.trace_addresses(trace));
         for address in identified_addresses {
             let contract = address.contract;
             let abi = address.abi;
-            warn!("contract: {:?}", contract);
-            warn!("abi: {:?}", abi);
             if let (Some(contract), Some(abi)) = (contract, abi) {
                 contracts.insert(address.address, (contract, abi.into_owned()));
             }

crates/forge/src/multi_runner.rs

@@ -453,7 +453,6 @@ impl MultiContractRunnerBuilder {
                                         immutable_references: BTreeMap::new(),
                                     }),
                                 };
-                                warn!("id: {:?}", id);
                                 zk_contracts_map.insert(id.clone(), compact_contract);
                             }
                         }

crates/forge/src/runner.rs

@@ -339,7 +339,6 @@ impl<'a> ContractRunner<'a> {
 
         // Invariant testing requires tracing to figure out what contracts were created.
         let has_invariants = self.contract.abi.functions().any(|func| func.is_invariant_test());
-        warn!("has_invariants: {:?}", has_invariants);
         let tmp_tracing = self.executor.inspector.tracer.is_none() && has_invariants && call_setup;
         if tmp_tracing {
             self.executor.set_tracing(true);
@@ -397,7 +396,6 @@ impl<'a> ContractRunner<'a> {
                 &setup.deployments,
             )
         });
-        warn!("identified_contracts: {:?}", identified_contracts);
         let test_results = functions
             .par_iter()
             .map(|&func| {

zk-tests/foundry.toml

@@ -19,4 +19,4 @@ testnet = "https://testnet.era.zksync.dev:443"
 
 [profile.default.invariant]
 runs = 10
-depth = 1
+depth = 1

zk-tests/src/Deposit.sol

@@ -15,4 +15,4 @@ contract Deposit {
         (bool s, ) = msg.sender.call{value: amount}("");
         require(s, "failed to send");
     }
-}
+}

zk-tests/src/InvariantDeposit.t.sol

@@ -23,4 +23,4 @@ contract InvariantDeposit is Test {
     }
 
     receive() external payable {}
-}
+}