ethereum / hevm

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

Update `forge` to more recent version #510

Closed msooseth closed 3 months ago

msooseth commented 3 months ago

Description

Some people have bumped into the issue where the new forge had issues with new forge's build not being parsed. This fixes the issue. We now:

This needs updater to the docs, too, due to --ast. This is unfortunate, we only need it to know the absolutePath whicih is actually a relative path like `src/multiply-test.sol"

I had to move writeTraceDapp and writeTrace because of circular dependency issues. I think putting it in EVM.UnitTest is not a bad place. Feedback welcome, though.

Checklist

msooseth commented 3 months ago

Thanks for the review, it was a good catch!