karmacoma-eth/bayc-invariant-testing
Uses dapptools to find that the max supply invariant can be violated by the contract owner
SolidityUnlicense
Uses dapptools to find that the max supply invariant can be violated by the contract owner
SolidityUnlicense