From a3625da8933ef05c1d95f2aee8025e41537450cc Mon Sep 17 00:00:00 2001
From: Sam Alws <sam.alws@trailofbits.com>
Date: Thu, 7 Mar 2024 14:00:00 -0500
Subject: [PATCH] sometimes contractNames are filepath:name, we have to account
 for that

---
 lib/Echidna/Solidity.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/Echidna/Solidity.hs b/lib/Echidna/Solidity.hs
index 885e894c8..6694790d7 100644
--- a/lib/Echidna/Solidity.hs
+++ b/lib/Echidna/Solidity.hs
@@ -333,7 +333,7 @@ filterFallbacks la lb contracts = Map.mapWithKey f
                 []  -> [fallback] -- No other alternative
                 ss' -> ss'
     keysToIgnore = concatMap contractNameToCodehashes (la ++ lb)
-    contractNameToCodehashes name = map (.runtimeCodehash) $ filter (\c -> c.contractName == name) contracts
+    contractNameToCodehashes name = map (.runtimeCodehash) $ filter (\c -> last (T.splitOn ":" c.contractName) == name) contracts
 
 prepareHashMaps
   :: [FunctionSelector]