Certora

test(DssVestSuckable): add coverage for USDS vest #106

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Certora (mintable)	16s
Certora (suckable)	13s
Certora (transferrable)	10s
	39s