Merge pull request #1399 from crytic/fix-1224-small

Allow address to stay the same during shrinking

Author: elopez

CHANGELOG.md

@@ -5,6 +5,7 @@
 * ARM64 Docker containers (#1352)
 * ARM64 Linux builds (#1377)
 * Fix worker crashes when shrinking empty reproducers (#1378)
+* Fix shrinking sometimes not progressing (#1399)
 * Improved UI responsiveness (#1387)
 * Update `hevm` to reduce memory usage on certain scenarios (#1346)
 * Update `hevm` to fix multiple deployments under `prank`ing cheatcodes (#1377)

lib/Echidna/Shrink.hs

@@ -128,6 +128,6 @@ shrinkSender x = do
   let orderedSenders = List.sort $ Set.toList senderSet
   case List.elemIndex x.src orderedSenders of
     Just i | i > 0 -> do
-      sender <- uniform (take i orderedSenders)
+      sender <- uniform (take (i+1) orderedSenders)
       pure x{src = sender}
     _ -> pure x