Rare find

halmos. A symbolic testing tool for EVM smart contracts

github.com/a16z/halmos
by @a16z

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.