Skip to content

refactor(DssVestMintable): remove filtered clause from rule #118

refactor(DssVestMintable): remove filtered clause from rule

refactor(DssVestMintable): remove filtered clause from rule #118

Annotations

1 warning

Certora (mintable)

succeeded Oct 23, 2024 in 5m 41s