manticore icon indicating copy to clipboard operation
manticore copied to clipboard
verified publisher icon trailofbits

Most of the EVM tests do not check if the states soundness

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

Most of the EVM tests access the list of states/transactions without considering that some of them could be unsound. For instance:

https://github.com/trailofbits/manticore/blob/47326e688915132a32a56f7b892f8d8ca6ffb4b4/tests/ethereum/test_general.py#L672-L699

They should be changed to use only sound states.

gustavo-grieco avatar Apr 08 '21 17:04 gustavo-grieco