revert some changes that were not necessary

Author: gustavo-grieco

lib/Echidna/ABI.hs

@@ -191,7 +191,7 @@ getRandomInt :: MonadRandom m => Int -> m Integer
 getRandomInt n =
   getRandomR =<< Random.weighted
     [ ((-1023, 1023), 1)
-    , ((-(2 ^ (n - 1)), 2 ^ (n - 1) - 1), 9)
+    , (((-1) * 2 ^ (n - 1), 2 ^ (n - 1) - 1), 9)
     ]
 
 -- | Synthesize a random 'AbiValue' given its 'AbiType'. Doesn't use a dictionary.
@@ -352,11 +352,6 @@ mutateAbiCall = traverse f
                   mv <- mutateAbiValue $ xs !! k
                   return $ replaceAt mv xs k
 
-mutateAllAbiCall :: MonadRandom m => SolCall -> m SolCall
-mutateAllAbiCall = traverse f
-  where f [] = pure []
-        f xs = mapM mutateAbiValue xs
-
 -- Generation, with dictionary
 
 -- | Given a generator taking an @a@ and returning a @b@ and a way to get @b@s associated with some

lib/Echidna/Transaction.hs

@@ -155,11 +155,6 @@ mutateTx tx@Tx{call = SolCall c} = do
         skip _ = pure tx
 mutateTx tx = pure tx
 
-regenTx :: MonadRandom m => Tx -> m Tx
-regenTx tx@Tx{call = SolCall c} = do
-  mutateAllAbiCall c >>= \c' -> pure tx { call = SolCall c' }
-regenTx tx = pure tx
-
 -- | Given a 'Transaction', set up some 'VM' so it can be executed. Effectively, this just brings
 -- 'Transaction's \"on-chain\".
 setupTx :: (MonadIO m, MonadState (VM Concrete RealWorld) m) => Tx -> m ()