Test living vertigo mutations

[Rubilmax]

Mutation testing report:
Number of mutations:    75
Killed:                 50 / 75

Mutations:
Mutation:
    File: /home/rubilmax/sites/morpho.xyz/morpho-blue-irm/src/AdaptiveCurveIrm.sol
    Line nr: 75
    Result: Lived
    Original line:
                 require(curveSteepness <= ConstantsLib.MAX_CURVE_STEEPNESS, ErrorsLib.INPUT_TOO_LARGE);

    Mutated line:
                 require(curveSteepness < ConstantsLib.MAX_CURVE_STEEPNESS, ErrorsLib.INPUT_TOO_LARGE);


Mutation:
    File: /home/rubilmax/sites/morpho.xyz/morpho-blue-irm/src/AdaptiveCurveIrm.sol
    Line nr: 77
    Result: Lived
    Original line:
                 require(adjustmentSpeed <= ConstantsLib.MAX_ADJUSTMENT_SPEED, ErrorsLib.INPUT_TOO_LARGE);

    Mutated line:
                 require(adjustmentSpeed < ConstantsLib.MAX_ADJUSTMENT_SPEED, ErrorsLib.INPUT_TOO_LARGE);


Mutation:
    File: /home/rubilmax/sites/morpho.xyz/morpho-blue-irm/src/AdaptiveCurveIrm.sol
    Line nr: 78
    Result: Lived
    Original line:
                 require(targetUtilization < WAD, ErrorsLib.INPUT_TOO_LARGE);

    Mutated line:
                 require(targetUtilization <= WAD, ErrorsLib.INPUT_TOO_LARGE);


Mutation:
    File: /home/rubilmax/sites/morpho.xyz/morpho-blue-irm/src/AdaptiveCurveIrm.sol
    Line nr: 79
    Result: Lived
    Original line:
                 require(targetUtilization > 0, ErrorsLib.ZERO_INPUT);

    Mutated line:
                 require(targetUtilization >= 0, ErrorsLib.ZERO_INPUT);


Mutation:
    File: /home/rubilmax/sites/morpho.xyz/morpho-blue-irm/src/AdaptiveCurveIrm.sol
    Line nr: 81
    Result: Lived
    Original line:
                 require(initialRateAtTarget <= ConstantsLib.MAX_RATE_AT_TARGET, ErrorsLib.INPUT_TOO_LARGE);

    Mutated line:
                 require(initialRateAtTarget < ConstantsLib.MAX_RATE_AT_TARGET, ErrorsLib.INPUT_TOO_LARGE);


Mutation:
    File: /home/rubilmax/sites/morpho.xyz/morpho-blue-irm/src/AdaptiveCurveIrm.sol
    Line nr: 121
    Result: Lived
    Original line:
                 int256 errNormFactor = utilization > TARGET_UTILIZATION ? WAD - TARGET_UTILIZATION : TARGET_UTILIZATION;

    Mutated line:
                 int256 errNormFactor = utilization >= TARGET_UTILIZATION ? WAD - TARGET_UTILIZATION : TARGET_UTILIZATION;


Mutation:
    File: /home/rubilmax/sites/morpho.xyz/morpho-blue-irm/src/libraries/adaptive-curve/ExpLib.sol
    Line nr: 27
    Result: Lived
    Original line:
                     if (x < LN_WEI_INT) return 0;

    Mutated line:
                     if (x <= LN_WEI_INT) return 0;


Mutation:
    File: /home/rubilmax/sites/morpho.xyz/morpho-blue-irm/src/libraries/adaptive-curve/ExpLib.sol
    Line nr: 33
    Result: Lived
    Original line:
                     int256 roundingAdjustment = (x < 0) ? -(LN_2_INT / 2) : (LN_2_INT / 2);

    Mutated line:
                     int256 roundingAdjustment = (x <= 0) ? -(LN_2_INT / 2) : (LN_2_INT / 2);


Mutation:
    File: /home/rubilmax/sites/morpho.xyz/morpho-blue-irm/lib/morpho-blue/src/libraries/MathLib.sol
    Line nr: 32
    Result: Lived
    Original line:
                 return (x * y + (d - 1)) / d;

    Mutated line:
                 return (x * y + (d - 1)) * d;


Mutation:
    File: /home/rubilmax/sites/morpho.xyz/morpho-blue-irm/lib/morpho-blue/src/libraries/MathLib.sol
    Line nr: 32
    Result: Lived
    Original line:
                 return (x * y + (d - 1)) / d;

    Mutated line:
                 return (x * y - (d - 1)) / d;


Mutation:
    File: /home/rubilmax/sites/morpho.xyz/morpho-blue-irm/lib/morpho-blue/src/libraries/MathLib.sol
    Line nr: 32
    Result: Lived
    Original line:
                 return (x * y + (d - 1)) / d;

    Mutated line:
                 return (x / y + (d - 1)) / d;


Mutation:
    File: /home/rubilmax/sites/morpho.xyz/morpho-blue-irm/lib/morpho-blue/src/libraries/MathLib.sol
    Line nr: 32
    Result: Lived
    Original line:
                 return (x * y + (d - 1)) / d;

    Mutated line:
                 return (x * y + (d + 1)) / d;


Mutation:
    File: /home/rubilmax/sites/morpho.xyz/morpho-blue-irm/lib/morpho-blue/src/libraries/MathLib.sol
    Line nr: 42
    Result: Lived
    Original line:
                 return firstTerm + secondTerm + thirdTerm;

    Mutated line:
                 return firstTerm + secondTerm - thirdTerm;


Mutation:
    File: /home/rubilmax/sites/morpho.xyz/morpho-blue-irm/lib/morpho-blue/src/libraries/MathLib.sol
    Line nr: 42
    Result: Lived
    Original line:
                 return firstTerm + secondTerm + thirdTerm;

    Mutated line:
                 return firstTerm - secondTerm + thirdTerm;


Mutation:
    File: /home/rubilmax/sites/morpho.xyz/morpho-blue-irm/src/libraries/adaptive-curve/ConstantsLib.sol
    Line nr: 17
    Result: Lived
    Original line:
             int256 internal constant MAX_ADJUSTMENT_SPEED = int256(1_000 ether) / 365 days;

    Mutated line:
             int256 internal constant MAX_ADJUSTMENT_SPEED = int256(1_000 ether) * 365 days;

[MathisGD]

@Rubilmax can you run it again pls, I'm curious to see what's remaining