Implemented invariant testing from foundry#989

Merged

ggrieco-tob merged 2 commits intomasterfrom dev-foundry-invariant-mode

Mar 23, 2023

+2-2

Commits on Mar 20, 2023

implemented invariant testing from foundry
ggrieco-tob
committed

Commits on Mar 21, 2023

fixes
ggrieco-tob
committed