search

a16z / halmos

A symbolic testing tool for EVM smart contracts
GNU Affero General Public License v3.0
817 stars 68 forks source link

ci: use temp forked repo for updated tests #357

Closed daejunpark closed 2 months ago

daejunpark commented 2 months ago

a temporary forked repo is used for morpho tests. the morpho tests in the forked repo have been updated to avoid --symbolic-storage, and use enableSymbolicStorage() cheatcode instead.

the temporary use of the forked repo is unavoidable, because the changes in the fork cannot be upstreamed until the next version of halmos is released. after the release, we can upstream the changes and revert to using the main repo.