Untested line in nsec3digests/SHA1NSEC3Digest.sol:14

[Arachnid]

Mutation:
    File: nsec3digests/SHA1NSEC3Digest.sol
    Line nr: 14
    Result: Lived
    Original line:
                 buf.init(salt.length + data.length + 16);

    Mutated line:
                 buf.init(salt.length + data.length - 16);

[makoto]

    function hash(bytes calldata salt, bytes calldata data, uint iterations) external override pure returns (bytes32) {
        Buffer.buffer memory buf;
        buf.init(salt.length + data.length + 16);

When A - B returns negative it returns big number and still passes