Search results for
halmos
Halmos v0.3.0: Enhanced Bug Detection and Performance Improvements
Halmos v0.3.0 introduces stateful invariant testing, performance enhancements, and improved solver support, significantly advancing bug detection in EVM smart contracts.