Show trace instead of list of events when deployment failed (#1466)

Author: gustavo-grieco

lib/Echidna/Solidity.hs

@@ -32,14 +32,14 @@ import System.Info (os)
 import EVM (initialContract, currentContract)
 import EVM.ABI
 import EVM.Effects (runApp)
+import EVM.Format (showTraceTree)
 import EVM.Solidity
 import EVM.Types hiding (Env)
 
 import Echidna.ABI
   ( encodeSig, encodeSigWithName, hashSig, fallback
   , commonTypeSizes, mkValidAbiInt, mkValidAbiUInt )
 import Echidna.Deploy (deployContracts, deployBytecodes)
-import Echidna.Events (extractEvents)
 import Echidna.Exec (execTx, execTxWithCov, initialVM)
 import Echidna.SourceAnalysis.Slither
 import Echidna.Test (createTests, isAssertionMode, isPropertyMode, isDapptestMode)
@@ -213,7 +213,7 @@ loadSpecified env mainContract cs = do
 
     vm3 <- deployment
     when (isNothing $ currentContract vm3) $
-      throwM $ DeploymentFailed solConf.contractAddr $ T.unlines $ extractEvents True env.dapp vm3
+      throwM $ DeploymentFailed solConf.contractAddr $ showTraceTree env.dapp vm3
 
     -- Run setUp function
     let