fix maxSupplyNotLowerThanTotalSupply in CollectibleV1 spec
This commit is contained in:
parent
9f10bf629e
commit
6a55d407cd
|
@ -68,6 +68,7 @@ rule maxSupplyCannotBeLowerThanMintedCount() {
|
||||||
}
|
}
|
||||||
|
|
||||||
rule maxSupplyNotLowerThanTotalSupply(env e, method f) {
|
rule maxSupplyNotLowerThanTotalSupply(env e, method f) {
|
||||||
|
require mintedCount() >= totalSupply();
|
||||||
require maxSupply() >= totalSupply();
|
require maxSupply() >= totalSupply();
|
||||||
|
|
||||||
calldataarg args;
|
calldataarg args;
|
||||||
|
|
Loading…
Reference in New Issue