Omniscia Symbiosis Finance Audit
Synthesis Code Style Findings
Synthesis Code Style Findings
SYN-01C: Inexistent Error Messages
| Type | Severity | Location |
|---|---|---|
| Code Style | ![]() | Synthesis.sol:L80, L466 |
Description:
The linked require checks have no error messages explicitly defined.
Example:
contracts/synth-contracts/Synthesis.sol
80require(bridge == msg.sender);Recommendation:
We advise them to be set so to aid in the validation of the require's condition as well as the legibility of the codebase.
Alleviation:
Proper error messages were introduced for all linked instances.
