Repository navigation

Kani

Every participant account closes; suites and comments tell the book's story #288

Job	Run time
Proof unit tests (lending)	18s
Proof unit tests (prop-amm)	18s
Proof unit tests (options)	15s
Proof unit tests (escrow)	17s
Proof unit tests (betting-market)	19s
Proof unit tests (managed-fund)	19s
Proof unit tests (order-book)	16s
Proof unit tests (token-swap)	15s
Proof unit tests (fundraiser)	17s
Kani proofs (${{ matrix.program }})	0s
	2m 34s