Apply suggestions from code review

Co-authored-by: Emilio López <[email protected]>

Author: gustavo-grieco

lib/Echidna/Campaign.hs

@@ -28,7 +28,6 @@ import Data.Text (Text, unpack)
 import Data.Time (LocalTime)
 import System.Random (mkStdGen)
 
-
 import EVM (cheatCode)
 import EVM.ABI (getAbi, AbiType(AbiAddressType), AbiValue(AbiAddress))
 import EVM.Dapp (DappInfo(..))

lib/Echidna/Server.hs

@@ -53,7 +53,7 @@ runSSEServer serverStopVar env port nworkers = do
                     TestFalsified _ -> "test_falsified"
                     TestOptimized _ -> "test_optimized"
                     NewCoverage {} -> "new_coverage"
-                    SymExecLog _ -> "sym_tx_verified"
+                    SymExecLog _ -> "sym_exec_log"
                     SymExecError _ -> "sym_exec_error"
                     TxSequenceReplayed {} -> "tx_sequence_replayed"
                     TxSequenceReplayFailed {} -> "tx_sequence_replay_failed"