New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

chore: update halmos.toml example + add missing tests #371

Open

daejunpark wants to merge 2 commits into main from chore/add-missing-tests

+105 −1

Collaborator

daejunpark commented Sep 24, 2024 •

edited

Loading

update halmos.toml example to reflect the new and updated option flags
add tests to cover issues fixed by fix: concretize calldatacopy #364

todo:

add chore: improve interface explanation halmos-cheatcodes#10 after merged

daejunpark added 2 commits

September 23, 2024 16:21


          chore: update halmos.toml example

68275ca


          test: add tests for #364

3b6723c

daejunpark mentioned this pull request

fix: concretize calldatacopy #364

Merged

daejunpark requested a review from karmacoma-eth

September 24, 2024 03:37

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet