Omniscia Symbiosis Finance Audit

Synthesis Code Style Findings

Synthesis Code Style Findings

SYN-01C: Inexistent Error Messages

TypeSeverityLocation
Code StyleSynthesis.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.