Check if EOF can cause a transaction to succeed

ChainSecurity / deployment_validation

Deployment Validation Files aim to simplify Deployment Validation of Smart Contracts

GNU Affero General Public License v3.0

22 stars 1 forks source link

Check if EOF can cause a transaction to succeed #12

Open stiefn opened 2 months ago

stiefn commented 2 months ago

In StorageSnapshot::add_trace(), we assume that a transaction succeeded when either a STOP or RETURN opcode has been executed.

We should find out if it is also possible that a transaction succeeds when the last opcode (which could be any that does not cause a revert) is executed.