Skip to content

Commit

Permalink
minor change to check if the failed test was a fluke
Browse files Browse the repository at this point in the history
  • Loading branch information
samalws-tob committed Jan 11, 2024
1 parent dcbc558 commit c8c1be1
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion lib/Echidna/Types/CodehashMap.hs
Original file line number Diff line number Diff line change
Expand Up @@ -29,7 +29,8 @@ lookupCodehash chmap codehash contr dapp = do
case Map.lookup codehash chmapVal of
Just val -> pure val
Nothing -> do
-- hevm's `findSrc` doesn't always work, since `SolcContract.immutableReferences` isn't always populated
-- hevm's `findSrc` doesn't always work, since
-- `SolcContract.immutableReferences` isn't always populated
let solcContract = findSrc contr dapp <|> findSrcByMetadata contr dapp
originalCodehash = maybe codehash (.runtimeCodehash) solcContract
atomicModifyIORef' chmap $ (, ()) . Map.insert codehash originalCodehash
Expand Down

0 comments on commit c8c1be1

Please sign in to comment.