Certora

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Certora (mintable)	5m 41s
Certora (suckable)	7m 5s
Certora (transferrable)	2m 36s
	15m 22s