♻️ Add more invariant tests - Githubissues

Vectorized / dn404

Implementation of a co-joined ERC20 and ERC721 pair.

MIT License

476 stars 158 forks source link

♻️ Add more invariant tests #98

Closed AmadiMichael closed 9 months ago

AmadiMichael commented 9 months ago

Description

Added 2 more invariant tests

NFT balance of a user * WAD must be less than or equal to the ERC20 balance of that user, and
Mirror contract known to the base and the base contract known to the mirror never change after initialization

Checklist

Ensure you completed all of the steps below before submitting your pull request:

[x] Ran forge fmt?
[x] Ran forge snapshot?
[x] Ran forge test?

Pull requests with an incomplete checklist will be thrown out.