Add property-based contribution tests#141

Johnyyy1 wants to merge 1 commit into

sorosave-protocol:mainsorosave-protocol/contracts:mainfrom

Johnyyy1:codex/sorosave-property-testsJohnyyy1/sorosave-contracts:codex/sorosave-property-testsCopy head branch name to clipboard