Halmos

https://github.com/a16z/halmos

Halmos is a symbolic testing tool for EVM smart contracts. A Solidity/Foundry frontend is currently...

Tokens:8,038
Snippets:117
Trust Score:7.8
Update:1 day ago
Tokens:
Raw