Submission Details
Severity:
Invariant tests are failing for protocol core invariants
Description
When running forge test we see that that 2 invariant tests are failing
Running 2 tests for test/fuzz/Invariants.t.sol:Invariants
...
invariant_gettersCantRevert() (runs: 41, calls: 5212, reverts: 1)
...
invariant_protocolMustHaveMoreValueThanTotalSupply() (runs: 41, calls: 5212, reverts: 1)
// 1. The total supply of DSC should be less than the total value of collateral
// 2. Getter view functions should never revert <- evergreen invariant
Recommend Mitigation
Resolve the issues. Marking issue as low as the first invariant was discussed in another issue and the second one is not of a higher value
Prize pool breakdown
Total prize
15,000 USDC
nSLOC
23664 USDC / LOC
14,000 USDC
1,000 USDC
Live
The contest is live. Earn rewards by submitting a finding.
Appeals
This is your time to appeal against judgements on your submissions.
Appeals Review
Appeals are being carefully reviewed by our judges.