Omniscia Powercity Audit
TroveManager Static Analysis Findings
TroveManager Static Analysis Findings
TMR-01S: Inexistent Visibility Specifiers
| Type | Severity | Location |
|---|---|---|
| Code Style |  | TroveManager.sol:L27, L29 |
Description:
The linked variables have no visibility specifier explicitly set.
Example:
TroveManager.sol
27address gasPoolAddress;Recommendation:
We advise them to be set so to avoid potential compilation discrepancies in the future as the current behaviour is for the compiler to assign one automatically which may deviate between pragma versions.
Alleviation (8bedd3b0df6387957e6b8f5d52507e776c1458b0):
The gasPoolAddress member has been set as public, ensuring that it contains an explicit visibility specifier and thus addressing this exhibit.