New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Create foundry fuzz test for proposed invariant #662

Open

dapp-whisperer opened this issue Sep 27, 2023 · 0 comments

Assignees

Milestone

Contributor

dapp-whisperer commented Sep 27, 2023

| R-06 | If the redemption causes a CDP's full debt to be cancelled, the CDP is then closed: Gas Stipend from the Liquidation Reserve becomes avaiable for the borrower to reclaim along of the CDP's Collateral Surplus. The original CDP owner gets the stipend when a CDP is fully closed by redemption | Unit Tests | |

dapp-whisperer changed the title ~~Create foundry test for proposed invariant~~ Create foundry fuzz test for proposed invariant

dapp-whisperer self-assigned this

dapp-whisperer added this to the Release-0.5 milestone

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment