Fuzz Failure
Closed this issue · 1 comments
dapp-whisperer commented
[FAIL. Reason: Error != expected error: 'BorrowerOperations: Cdp's net stEth collateral balance must be greater than minimum' != 'BorrowerOperations: Cdp's net coll must be greater than minimum' Counterexample: calldata=0x8730758000000000000000000000000000000000000000000000000000000000216bd267, args=[560714343]] testMinCollTooLow(uint256) (runs: 0, μ: 0, ~: 0)
dapp-whisperer commented
just a comment rename issue