From 0dcfa391a9d6707d6795e82c268ae2e2bb8bc0b1 Mon Sep 17 00:00:00 2001 From: Gustavo Grieco <31542053+ggrieco-tob@users.noreply.github.com> Date: Thu, 7 Apr 2022 18:50:20 +0200 Subject: [PATCH] setUp() function seems useful for every type of test --- lib/Echidna/Solidity.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/Echidna/Solidity.hs b/lib/Echidna/Solidity.hs index c0e960ae0..d4a26b9dc 100644 --- a/lib/Echidna/Solidity.hs +++ b/lib/Echidna/Solidity.hs @@ -224,7 +224,7 @@ loadSpecified name cs = do -- Run let transaction = execTx $ uncurry basicTx setUpFunction d ca (fromInteger unlimitedGasPerBlock) (0, 0) - vm2 <- if isDapptestMode tm && setUpFunction `elem` abi then execStateT transaction vm1 else return vm1 + vm2 <- if setUpFunction `elem` abi then execStateT transaction vm1 else return vm1 case vm2 ^. result of Just (VMFailure _) -> throwM SetUpCallFailed