Question about Lesson: 25. Debugging the fuzz tests handler(DEFi section)

[nikitabiichuk2009]

In this lesson, we debugged the mintDsc handler by adding a check to make sure that the address has already deposited collateral before minting. However, I don’t understand why we didn’t apply the same check to the redeemCollateral handler. Patrick also didn’t mention this point.

Isn’t it true that we can only redeem collateral if we’ve deposited it first?

[EngrPips]

That is true and we should add the same check .

[nikitabiichuk2009]

Thanks for confirming!

[EngrPips]

Anytime buddy.