Certora

fix(DssVestTest): remove remaining debug assert messages #120

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Certora (mintable)	5m 56s
Certora (suckable)	4m 32s
Certora (transferrable)	4m 34s
	15m 2s