Omniscia KlimaDAO Audit
KlimaCirculatingSupplyContract Static Analysis Findings
KlimaCirculatingSupplyContract Static Analysis Findings
KCS-01S: Redundant bool Variable Comparison
| Type | Severity | Location |
|---|---|---|
| Gas Optimization | Informational | KlimaCirculatingSupplyContract.sol:L303 |
Description:
The linked statements perform a direct comparison between a bool variable and a bool literal.
Example:
contracts/utils/KlimaCirculatingSupplyContract.sol
303require( isInitialized == false );Recommendation:
We advise the bool variable to be utilized directly instead either in its normal or negated (!) form.
Alleviation:
The KlimaDAO team considered this exhibit but opted to retain the codebase in its current state.