Repository navigation

Kani

Bring the Anchor v1 copies in line with v2 where the Anchor version allows #218

Job	Run time
Proof unit tests (token-swap)	14s
Proof unit tests (betting-market)	16s
Proof unit tests (prop-amm)	13s
Proof unit tests (vault-strategy)	9s
Proof unit tests (order-book)	11s
Proof unit tests (token-fundraiser)	11s
Proof unit tests (lending)	9s
Proof unit tests (escrow)	14s
Proof unit tests (options)	22s
Kani proofs (${{ matrix.program }})	-1s
	1m 58s