Skip to content

Certora

Certora #34

Annotations

2 warnings

verify (verifyFlashMinter.conf --rule balanceOfFlashMinterGrows integrityOfTreasurySet integrityO...

succeeded May 27, 2024 in 4m 32s