Certora

Add initial LockstakeEngine/Urn/Clipper logic + tests #36

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Certora (urn)	5m 15s
Certora (lsmkr)	5m 33s
Certora (engine)	2h 30m 27s
Certora (engine-multicall)	21m 31s
Certora (clipper)	1h 15m 33s
	4h 18m 19s