Repository navigation

Kani

Fees round against the user, real tokens carry real decimals, refusals assert codes #285

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