Skip to content
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

Investigate Halmos as a fuzzing tool #213

Closed
dapp-whisperer opened this issue Feb 3, 2023 · 4 comments
Closed

Investigate Halmos as a fuzzing tool #213

dapp-whisperer opened this issue Feb 3, 2023 · 4 comments
Assignees
@rayeaster
Labels
test Testing additions or enhancements

Comments

@dapp-whisperer
Copy link
Contributor

https://github.com/a16z/halmos
@dapp-whisperer dapp-whisperer self-assigned this Feb 3, 2023
@dapp-whisperer dapp-whisperer added the test Testing additions or enhancements label Feb 3, 2023
@rayeaster
Copy link
Contributor

Tried to run halmos in Windows but no luck yet a16z/halmos#52

@rayeaster
Copy link
Contributor

Tried to run halmos in Windows but no luck yet a16z/halmos#52

From dev of halmos

Halmos first runs the existing build system, foundry or hardhat, to compile the solidity source files, and it seems that the build has failed. We haven't tested halmos on Windows; let me take a look and get back to you.

@rayeaster
Copy link
Contributor

rayeaster commented Mar 30, 2023 •
edited
Loading

https://github.com/a16z/halmos

@dapp-whisperer looks like halmos still in very early stage and have limited dev resource. maybe we could wait later to check back on it a16z/halmos#15

@ICEBADGER
Copy link
Collaborator

No viable yet.

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

@rayeaster rayeaster

Labels
test Testing additions or enhancements
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@rayeaster @dapp-whisperer @ICEBADGER