fuzz: add pause-invariant property test (closes #96)#150

Degentle12 wants to merge 1 commit into

StellarTips:mainStellarTips/StellarTip-Contract:mainfrom

Degentle12:feat/issue-96-pause-invariantDegentle12/StellarTip-Contract:feat/issue-96-pause-invariantCopy head branch name to clipboard