Create foundry fuzz test for proposed invariant

ebtc-protocol / ebtc

GNU General Public License v3.0

56 stars 25 forks source link

Create foundry fuzz test for proposed invariant #662

Open dapp-whisperer opened 1 year ago

dapp-whisperer commented 1 year ago

| 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 | |