Kani

Kani #39

Job	Run time
Kani proofs (lending)	1m 58s
Kani proofs (token-fundraiser)	30s
Kani proofs (order-book)	2m 24s
Proof unit tests (escrow)	14s
Kani proofs (escrow)	32s
Proof unit tests (order-book)	14s
Proof unit tests (token-swap)	16s
Proof unit tests (vault-strategy)	15s
Kani proofs (vault-strategy)	50s
Proof unit tests (betting-market)	13s
Kani proofs (betting-market)	37s
Proof unit tests (lending)	17s
Proof unit tests (token-fundraiser)	15s
Kani proofs (token-swap)	1m 59s
	10m 34s

Provide feedback