LendingPool Static Analysis Findings

LPL-01S: Inexistent Error Message

Description:

The linked require check contains no error message explicitly defined.

Example:

Copy
624require(withdrawACTAmount <= actBalance);

Recommendation:

We advise an error message to be introduced here to aid in the debugging process of the system.

Alleviation:

An error message was properly introduced to the linked require check.