Repository navigation

Kani

Keep Anchor v1 copies in step with Anchor v2, starting with the betting market #199

Job	Run time
Proof unit tests (vault-strategy)	17s
Proof unit tests (token-swap)	9s
Proof unit tests (options)	15s
Proof unit tests (prop-amm)	6s
Proof unit tests (lending)	16s
Proof unit tests (order-book)	13s
Proof unit tests (betting-market)	9s
Proof unit tests (token-fundraiser)	21s
Proof unit tests (escrow)	17s
Kani proofs (${{ matrix.program }})	0s
	2m 3s