Fix tests after spell cast + minor update on README #33

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Certora (urn)	1m 47s
Certora (lsmkr)	1m 23s
Certora (engine)	2h 30m 21s
Certora (engine-multicall)	4m 37s
Certora (clipper)	58m 20s
	3h 36m 28s