Don't execute NoCalls

crytic · Feb 2, 2024 · 3205428 · 3205428
1 parent 8ecf7b9
commit 3205428
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 6 deletions.
diff --git a/lib/Echidna/Exec.hs b/lib/Echidna/Exec.hs
@@ -87,11 +87,14 @@ execTxWith executeTx tx = do
     #traces .= emptyEvents
     vmBeforeTx <- get
     setupTx tx
-    gasLeftBeforeTx <- gets (.state.gas)
-    vmResult <- runFully
-    gasLeftAfterTx <- gets (.state.gas)
-    handleErrorsAndConstruction vmResult vmBeforeTx
-    pure (vmResult, gasLeftBeforeTx - gasLeftAfterTx)
+    case tx.call of
+      NoCall -> pure (VMSuccess (ConcreteBuf ""), 0)
+      _ -> do
+        gasLeftBeforeTx <- gets (.state.gas)
+        vmResult <- runFully
+        gasLeftAfterTx <- gets (.state.gas)
+        handleErrorsAndConstruction vmResult vmBeforeTx
+        pure (vmResult, gasLeftBeforeTx - gasLeftAfterTx)
   where
   runFully = do
     config <- asks (.cfg)

diff --git a/lib/Echidna/Transaction.hs b/lib/Echidna/Transaction.hs
@@ -161,7 +161,6 @@ setupTx tx@Tx{call = NoCall} = fromEVM $ do
     { state = vm.state
     , block = advanceBlock vm.block tx.delay
     }
-  modify' $ execState $ loadContract (LitAddr tx.dst)
 
 setupTx tx@Tx{call} = fromEVM $ do
   resetState