Repository navigation

Anchor v1

Call the Kani harnesses model checks, not proofs #92

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
changes (Anchor v1)	6s
anchor-v1-group-1	8m 55s
anchor-v1-group-0	15m 24s
summary (Anchor v1)	4s
	24m 29s