Certora

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Certora (urn)	5m 47s
Certora (lsmkr)	6m 11s
Certora (engine)	2h 30m 36s
Certora (engine-multicall)	20m 2s
Certora (clipper)	1h 3m 0s
	4h 5m 36s