SaleEnderFacet Code Style Findings

SEF-01C: Redundant Evaluation

Description:

The linked require check is redundant as the one that follows it guarantees its success.

Example:

Copy
71require(sale.state != State.Ended, "Sale has already been settled");
72require(sale.state == State.Running, "Sale hasn't started");

Recommendation:

We advise it to be omitted from the codebase.

Alleviation:

The redundant state comparison has been safely omitted.