Skip to content

Commit

Permalink
rename Echidna.Types.CodehashMap to Echidna.SignatureMapping
Browse files Browse the repository at this point in the history
  • Loading branch information
samalws-tob committed Jan 11, 2024
1 parent dcbc558 commit 87c635b
Show file tree
Hide file tree
Showing 4 changed files with 4 additions and 4 deletions.
2 changes: 1 addition & 1 deletion lib/Echidna/Exec.hs
Original file line number Diff line number Diff line change
Expand Up @@ -31,12 +31,12 @@ import EVM.Types hiding (Env)

import Echidna.Events (emptyEvents)
import Echidna.RPC (safeFetchContractFrom, safeFetchSlotFrom)
import Echidna.SourceMapping (lookupUsingCodehashOrInsert)
import Echidna.Symbolic (forceBuf)
import Echidna.Transaction
import Echidna.Types (ExecException(..), Gas, fromEVM, emptyAccount)
import Echidna.Types.Config (Env(..), EConfig(..), UIConf(..), OperationMode(..), OutputFormat(Text))
import Echidna.Types.Coverage (CoverageInfo)
import Echidna.Types.CodehashMap (lookupUsingCodehashOrInsert)
import Echidna.Types.Solidity (SolConf(..))
import Echidna.Types.Tx (TxCall(..), Tx, TxResult(..), call, dst, initialTimestamp, initialBlockNumber, getResult)
import Echidna.Utility (getTimestamp, timePrefix)
Expand Down
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
module Echidna.Types.CodehashMap where
module Echidna.SourceMapping where

import Control.Applicative ((<|>))
import Data.ByteString (ByteString)
Expand Down
2 changes: 1 addition & 1 deletion lib/Echidna/Transaction.hs
Original file line number Diff line number Diff line change
Expand Up @@ -24,9 +24,9 @@ import EVM.Types hiding (Env, VMOpts(timestamp, gasprice))

import Echidna.ABI
import Echidna.Orphans.JSON ()
import Echidna.SourceMapping (lookupUsingCodehash)
import Echidna.Symbolic (forceWord, forceAddr)
import Echidna.Types (fromEVM)
import Echidna.Types.CodehashMap (lookupUsingCodehash)
import Echidna.Types.Config (Env(..), EConfig(..))
import Echidna.Types.Random
import Echidna.Types.Signature
Expand Down
2 changes: 1 addition & 1 deletion lib/Echidna/Types/Config.hs
Original file line number Diff line number Diff line change
Expand Up @@ -12,8 +12,8 @@ import Data.Word (Word64)
import EVM.Dapp (DappInfo)
import EVM.Types (Addr, Contract, W256)

import Echidna.SourceMapping (CodehashMap)
import Echidna.Types.Campaign (CampaignConf, CampaignEvent)
import Echidna.Types.CodehashMap (CodehashMap)
import Echidna.Types.Corpus (Corpus)
import Echidna.Types.Coverage (CoverageMap)
import Echidna.Types.Solidity (SolConf)
Expand Down

0 comments on commit 87c635b

Please sign in to comment.