From 5b66fd23c06a1f5c6cdc81f1c4b5dcd14dc6ca04 Mon Sep 17 00:00:00 2001
From: momantech <166911910+momantech@users.noreply.github.com>
Date: Thu, 18 Apr 2024 22:17:45 +0800
Subject: [PATCH] Fix some typos in comments (#1238)

Signed-off-by: momantech <cuimoman@qq.com>
---
 lib/Echidna/Campaign.hs | 2 +-
 lib/Echidna/Exec.hs     | 2 +-
 lib/Echidna/Solidity.hs | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/lib/Echidna/Campaign.hs b/lib/Echidna/Campaign.hs
index 67b3f6b3e..2bba2f884 100644
--- a/lib/Echidna/Campaign.hs
+++ b/lib/Echidna/Campaign.hs
@@ -60,7 +60,7 @@ isSuccessful =
 
 -- | Run all the transaction sequences from the corpus and accumulate campaign
 -- state. Can be used to minimize corpus as the final campaign state will
--- contain minized corpus without sequences that didn't increase the coverage.
+-- contain minimized corpus without sequences that didn't increase the coverage.
 replayCorpus
   :: (MonadIO m, MonadThrow m, MonadRandom m, MonadReader Env m, MonadState WorkerState m)
   => VM Concrete RealWorld -- ^ VM to start replaying from
diff --git a/lib/Echidna/Exec.hs b/lib/Echidna/Exec.hs
index fe1f389f0..afedf6245 100644
--- a/lib/Echidna/Exec.hs
+++ b/lib/Echidna/Exec.hs
@@ -128,7 +128,7 @@ execTxWith executeTx tx = do
                     liftIO $ atomicWriteIORef cacheRef $ Map.insert addr (Just contract) cache
                   _ -> do
                     -- TODO: better error reporting in HEVM, when intermmittent
-                    -- network eror then retry
+                    -- network error then retry
                     liftIO $ atomicWriteIORef cacheRef $ Map.insert addr Nothing cache
                     logMsg $ "ERROR: Failed to fetch contract: " <> show q
                     -- TODO: How should we fail here? It could be a network error,
diff --git a/lib/Echidna/Solidity.hs b/lib/Echidna/Solidity.hs
index e124016ce..2c4de3628 100644
--- a/lib/Echidna/Solidity.hs
+++ b/lib/Echidna/Solidity.hs
@@ -66,7 +66,7 @@ readSolcBatch d = do
       Left e ->
         error $ "Failed to parse combined JSON file " <> (d </> f) <> "\n" <> e
 
--- | Given a list of files, use its extenstion to check if it is a precompiled
+-- | Given a list of files, use its extension to check if it is a precompiled
 -- contract or try to compile it and get a list of its contracts and a list of source
 -- cache, throwing exceptions if necessary.
 compileContracts