TheDude
/
echidna
mirror of https://github.com/crytic/echidna
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

reverse and keep smallest

Browse Source
remotes/origin/dev-gas-wcet
agroce 5 years ago
parent 21629b8d0b
commit ee56431f76
1 changed files with 2 additions and 1 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 3
      lib/Echidna/Campaign.hs

3
lib/Echidna/Campaign.hs
Unescape View File

@ -178,7 +178,8 @@ updateGasInfo [] _ gi = gi
updateGasInfo ((t@(Tx (SolCall((f, _))) _ _ _ _ _ _), (_, used')):ts) tseq gi = updateGasInfo ((t@(Tx (SolCall((f, _))) _ _ _ _ _ _), (_, used')):ts) tseq gi =
let mused = Data.Map.lookup f gi let mused = Data.Map.lookup f gi
in case mused of Nothing -> updateGasInfo ts (t:tseq) (insert f (used', t:tseq) gi) in case mused of Nothing -> updateGasInfo ts (t:tseq) (insert f (used', t:tseq) gi)
Just (used, _) | used' > used -> updateGasInfo ts (t:tseq) (insert f (used', t:tseq) gi) Just (used, _) | used' > used -> updateGasInfo ts (t:tseq) (insert f (used', reverse (t:tseq)) gi)
Just (used, otseq) | (used' == used) && ((length otseq) > (length (t:tseq))) -> updateGasInfo ts (t:tseq) (insert f (used', reverse (t:tseq)) gi)
_ -> updateGasInfo ts (t:tseq) gi _ -> updateGasInfo ts (t:tseq) gi
updateGasInfo ((t, _):ts) tseq gi = updateGasInfo ts (t:tseq) gi updateGasInfo ((t, _):ts) tseq gi = updateGasInfo ts (t:tseq) gi

Write Preview
Loading…
Cancel
Save