DSC Invariant Test Failing #2463
Unanswered
SpringxDSay
asked this question in
Q&A
Replies: 1 comment 4 replies
-
Hello @SpringxDSay, Sometimes, when your invariant test fails, it is not that you made a mistake in the test or didn't write it properly, but the test found an edge case where your protocol breaks. I will advise you to take the sequence of the invariant test that resulted in this test failure and run a unit test to see how things break in a simpler scope. |
Beta Was this translation helpful? Give feedback.
4 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
I ran my OpenInvariantTest.sol with 128 runs and it was a success but when I increased the number of runs to 1000, I got an error. Here is my OpenInvariantTest.sol:
And here is the error being thrown at me:
How I get past this?
Beta Was this translation helpful? Give feedback.
All reactions