Various errors in OpenInvariantsTest

[mikechaban]

Hi there. I just finished the DeFi section of the course. However, when I run forge test with fail_on_revert = true, I may get the DSCEngine__BreaksHealthFactor, panic: arithmetic underflow or overflow (0x11), or a different error. Here's what my terminal looks like.

As you can see, I get different errors after running the same command. I do not understand why I don't get the same error - it probably has to do with the random nature of fuzzing.

When I look into the OpenInvariantsTest file, here's what I get. Again, it gives me a different error every time.

When I turn fail_on_revert = false, the errors disappear. Please help me understand why the errors occur and how I can fix them.

You can find my repo here

Thank you in advance ❤️

[EngrPips]

Hello @mikechaban, I see that you ran the test with the -vvvv flag, which shows you the stack trace of the failed test. Did you try to read the stack trace to understand what is wrong?

[mikechaban]

Hi @EngrPips. That's usually how I solve similar errors - I view the traces and then add console.log if needed to pinpoint it.

However, in this case, the problem is that I get different errors and I don't understand which one to solve for. For example, in screenshot Nº4 the calldata is burnDSC. However, in screenshot Nº5 it's liquidate.

I believe those functions work fine and there's some kind of a higher-level issue.

[EngrPips]

Hello @mikechaban, I understand that you are getting different reverts, and that is difficult to debug. Consider adding a seed in your foundry.toml so that your process runs on a consistent path every time you run the fuzz process till you change the seed. That way, you should be getting the same error, and then that should be easy to debug.