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 (suckable)

succeeded Oct 23, 2024 in 7m 5s