Repository navigation

Kani

Escrow: refuse offers with zero tokens or the same token on both sides #233

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