search

ethereum / hevm

symbolic EVM evaluator
https://hevm.dev
GNU Affero General Public License v3.0
227 stars 46 forks source link

Missing User Acceptance Tests #527

Open msooseth opened 1 month ago

msooseth commented 1 month ago

We should have e.g. https://github.com/ethereum/hevm/issues/493 code & run as a UAT, and the output should be checked for containing keywords, just like OutputCheck and lit does in LLVM.