List of Halmos resources. Contribute to redtrama/awesome-halmos development by creating an account on GitHub.

How to implement stateful invariant testing using Halmos, a symbolic testing tool for EVM smart contracts.

My halmos usage #1

[This is the first post in my series on sharing applications of halmos.]

I enjoy reading highly gas-optimized code. There's something deeply satisfying about learning from and being inspired by the creative use or discovery of uncommon…