UserRegistry Contract Testing

[Man-Jain]

• [x] Initial Contract State
• [x] Register and Stake User
• [x] Check Stake
• [x] Retrieve Funds
• [x] Set New Fee Recipient
• [x] Set New Fee Percent
• [x] Set Preconfirmations Contract
• [x] Fallback and Receive Functions
• [x] Attempt Unauthorized RetrieveFunds
• [x] Attempt Unauthorized setNewFeeRecipient
• [x] Attempt Unauthorized setNewFeePercent
• [x] Attempt Unauthorized setPreconfirmationsContract
• [x] Attempt Double Registration
• [x] Retrieve Funds Larger Than Available
• [x] Fuzz testing for fee percent
• [x] Fuzz testing for stake and register
• [x] Fuzz testing for retrieve funds