random logs

.github/workflows/nextest.yml

@@ -96,5 +96,4 @@ jobs:
           HTTP_ARCHIVE_URLS: ${{ secrets.HTTP_ARCHIVE_URLS }}
           WS_ARCHIVE_URLS: ${{ secrets.WS_ARCHIVE_URLS }}
           RUST_BACKTRACE: full
-          RUST_LOG: debug
         run: cargo nextest run -E 'kind(test) & !test(/issue|forge_std|ext_integration|zk|test_zk_aave_di/) & test(/invariant_roll_fork/)' --no-capture

crates/evm/evm/src/executors/invariant/mod.rs

@@ -324,9 +324,10 @@ impl<'a> InvariantExecutor<'a> {
         deployed_libs: &[Address],
         progress: Option<&ProgressBar>,
     ) -> Result<InvariantFuzzTestResult> {
+        println!("invariant fuzz");
         // Throw an error to abort test run if the invariant function accepts input params
         if !invariant_contract.invariant_function.inputs.is_empty() {
-            return Err(eyre!("Invariant test function should have no inputs"))
+            return Err(eyre!("Invariant test function should have no inputs"));
         }
 
         let (invariant_test, invariant_strategy) =
@@ -337,6 +338,7 @@ impl<'a> InvariantExecutor<'a> {
 
         let _ = self.runner.run(&invariant_strategy, |first_input| {
             // Create current invariant run data.
+            println!("inside invariant");
             let mut current_run = InvariantTestRun::new(
                 first_input,
                 // Before each run, we must reset the backend state.
@@ -346,10 +348,11 @@ impl<'a> InvariantExecutor<'a> {
 
             // We stop the run immediately if we have reverted, and `fail_on_revert` is set.
             if self.config.fail_on_revert && invariant_test.reverts() > 0 {
-                return Err(TestCaseError::fail("Revert occurred."))
+                return Err(TestCaseError::fail("Revert occurred."));
             }
 
             while current_run.depth < self.config.depth {
+                println!("current_run: {current_run:?}");
                 // Check if the timeout has been reached.
                 if timer.is_timed_out() {
                     // Since we never record a revert here the test is still considered
@@ -392,7 +395,7 @@ impl<'a> InvariantExecutor<'a> {
                         invariant_test.set_error(InvariantFuzzError::MaxAssumeRejects(
                             self.config.max_assume_rejects,
                         ));
-                        return Err(TestCaseError::fail("Max number of vm.assume rejects reached."))
+                        return Err(TestCaseError::fail("Max number of vm.assume rejects reached."));
                     }
                 } else {
                     // Commit executed call result.
@@ -444,7 +447,7 @@ impl<'a> InvariantExecutor<'a> {
                     }
                     // If test cannot continue then stop current run and exit test suite.
                     if !result.can_continue {
-                        return Err(TestCaseError::fail("Test cannot continue."))
+                        return Err(TestCaseError::fail("Test cannot continue."));
                     }
 
                     invariant_test.set_last_call_results(result.call_result);
@@ -566,7 +569,7 @@ impl<'a> InvariantExecutor<'a> {
             &mut failures,
         )?;
         if let Some(error) = failures.error {
-            return Err(eyre!(error.revert_reason().unwrap_or_default()))
+            return Err(eyre!(error.revert_reason().unwrap_or_default()));
         }
 
         Ok((
@@ -672,7 +675,7 @@ impl<'a> InvariantExecutor<'a> {
                     .wrap_err(format!("{contract} does not have the selector {selector:?}"))?;
             }
 
-            return Ok(artifact.identifier())
+            return Ok(artifact.identifier());
         }
         eyre::bail!("{contract} not found in the project. Allowed format: `contract_name` or `contract_path:contract_name`.");
     }
@@ -830,7 +833,7 @@ impl<'a> InvariantExecutor<'a> {
     ) -> eyre::Result<()> {
         // Do not add address in target contracts if no function selected.
         if selectors.is_empty() {
-            return Ok(())
+            return Ok(());
         }
 
         let contract = match targeted_contracts.entry(address) {