RiskProtocol / core-protocol

1 stars 0 forks source link

added the invariant #159

Closed haidarally closed 6 months ago

haidarally commented 7 months ago

Added invariant to verify if total supply of riskON/OFF is always less or equal to underlying locked

https://github.com/RiskProtocol/core-protocol/issues/158

openzeppelin-code[bot] commented 7 months ago

added the invariant

Generated at commit: 17fef08621e3702862f9540daf632029992af93b

🚨 Report Summary

Severity Level Results

Contracts Critical
High
Medium
Low
Note
Total 0
0
0
6
33
39

Dependencies Critical
High
Medium
Low
Note
Total 0
0
0
0
0
0

For more details view the full report in OpenZeppelin Code Inspector

	Severity Level	Results
Contracts	Critical High Medium Low Note Total	0 0 0 6 33 39
Dependencies	Critical High Medium Low Note Total	0 0 0 0 0 0