Repository navigation

Kani

Add draft state and betting close time to betting market events #193

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