igorganich/halmos-helpers-lib

halmos-helpers-lib is a solidity library for quick and convenient preparation of solidity project for symbolic execution stateful checks under the halmos engine.

语言：Solidity · GitHub 星标：10 · Fork：5

在 GitHub 上查看原仓库