Right now the choice was made to sanitize the target utilization input in the constructor. Because of this choice, I feel like the sanitization should prevent problematic values to be input. Input 0 is problematic because errNormFactor can be 0 and it would lead to a division by 0 in the computation of err. Input WAD is problematic because it would lead to a market with a rate that is always decreasing.
Found when thinking about Certora invariants, thanks @mailalexjoseph, @jhoenicke
Right now the choice was made to sanitize the target utilization input in the constructor. Because of this choice, I feel like the sanitization should prevent problematic values to be input. Input 0 is problematic because
errNormFactorcan be 0 and it would lead to a division by 0 in the computation oferr. Input WAD is problematic because it would lead to a market with a rate that is always decreasing.Found when thinking about Certora invariants, thanks @mailalexjoseph, @jhoenicke