echidna icon indicating copy to clipboard operation
echidna copied to clipboard

Published 20 hours ago • verified publisher icon crytic

Review the return type of the gas value in execTxWith

Open gustavo-grieco opened this issue 5 years ago • 0 comments
trafficstars

is there any reason why we can't just keep this to the gas type to avoid fromIntegral at the end?

Originally posted by @incertia in https://github.com/crytic/echidna/pull/515#discussion_r526298373

gustavo-grieco avatar Nov 19 '20 18:11 gustavo-grieco