The invariant formula in pair.sol does not match the expected invariant as intended.
Action Items:
LHS and RHS need to match.
Sufficient unit and integration tests exist for all components, and use fuzzing tests to check proper behavior at the bounds.
Description
The invariant formula in pair.sol does not match the expected invariant as intended.
Action Items:
LHS and RHS need to match. Sufficient unit and integration tests exist for all components, and use fuzzing tests to check proper behavior at the bounds.