Kani

Kani #81

Job	Run time
Kani proofs (lending)	2m 4s
Kani proofs (escrow)	37s
Proof unit tests (order-book)	12s
Proof unit tests (token-swap)	13s
Proof unit tests (vault-strategy)	13s
Kani proofs (order-book)	2m 28s
Kani proofs (vault-strategy)	55s
Kani proofs (betting-market)	40s
Proof unit tests (prop-amm)	14s
Kani proofs (token-fundraiser)	32s
Proof unit tests (escrow)	15s
Proof unit tests (lending)	18s
Proof unit tests (betting-market)	17s
Proof unit tests (token-fundraiser)	14s
Kani proofs (prop-amm)	45m 17s
Kani proofs (token-swap)	2m 0s
	56m 29s

Provide feedback