Certora

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Certora (urn)	1m 1s
Certora (lsmkr)	2m 4s
Certora (engine)	2h 30m 24s
Certora (engine-multicall)	7m 27s
Certora (clipper)	58m 22s
	3h 39m 18s