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