Repository navigation

Kani

finance: reject oracle prices from before a cluster restart #109

Job	Run time
Proof unit tests (betting-market)	16s
Proof unit tests (token-fundraiser)	7s
Proof unit tests (vault-strategy)	6s
Proof unit tests (lending)	8s
Proof unit tests (order-book)	8s
Proof unit tests (token-swap)	15s
Proof unit tests (escrow)	8s
Proof unit tests (prop-amm)	8s
Kani proofs (${{ matrix.program }})	-1s
	1m 15s