SizeCredit / size-solidity / 15801494043 / 1

93%

main: 93%

push

github

Halmos v0.3 invariant tests (#184)

* Halmos v0.3 invariant tests

* Improves HalmosVaultsTester

* Update

* Remove proxy contract

* Rename vaults with more descriptive names

* Broken halmos test

* Update

* Bound vault interactions to only USERs

* WIP

* Add unit test

* Update Halmos tests

* Comment out test

334 of 352 branches covered (94.89%)

Branch coverage included in aggregate %.

1757 of 1818 relevant lines covered (96.64%)

4388.25 hits per line