Task/echidna additional tests#172

Open

aparnakr wants to merge 2 commits intodevfrom task/echidna-additional-tests

+71-2

Commits on Aug 17, 2020

fix the ability to get all vault owners
aparnakr
committed

Commits on Aug 18, 2020

some better invariants, not sure why they don't fail
aparnakr
committed