echidna icon indicating copy to clipboard operation
echidna copied to clipboard

Published 20 hours ago • verified publisher icon crytic

Bound max values for certain config options

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

If the user specifies extremely large values for certain config options (e.g. max gas usage), echidna will silently change it to a very large but valid value (2**64). Should fixes #765

gustavo-grieco avatar Jun 28 '22 11:06 gustavo-grieco