Merge pull request #1350 from crytic/fix-better-nearby-constants

Expanded the constant mining to get more nearby values

Author: elopez

lib/Echidna/ABI.hs

@@ -55,7 +55,7 @@ mkValidAbiUInt i x = if x < bit i then Just $ AbiUInt i x else Nothing
 
 makeNumAbiValues :: Integer -> [AbiValue]
 makeNumAbiValues i =
-  let l f = f <$> commonTypeSizes <*> fmap fromIntegral ([i-1..i+1] ++ [(-i)-1 .. (-i)+1])
+  let l f = f <$> commonTypeSizes <*> fmap fromIntegral ([i-3..i+3] ++ [(-i)-3 .. (-i)+3])
   in catMaybes (l mkValidAbiInt ++ l mkValidAbiUInt)
 
 makeArrayAbiValues :: ByteString -> [AbiValue]