3.70 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (5/59): running Example\.LogicLibSpec.eitherPositive.is True when both are positive
3.72 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (8/59): running Example\.LogicLibSpec.eitherPositive.is True when only the first is positive
3.73 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (7/59): running Example\.LogicLibSpec.eitherPositive.is True when only the second is positive
3.73 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (5/59): done Example\.LogicLibSpec.eitherPositive.is True when both are positive (11 mutations)
3.73 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (10/59): running Example\.LogicLibSpec.bothPositive.is False when only the first is positive
3.75 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (6/59): running Example\.LogicLibSpec.eitherPositive.is False when neither is positive
3.75 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (8/59): done Example\.LogicLibSpec.eitherPositive.is True when only the first is positive (11 mutations)
3.75 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (12/59): running Example\.LogicLibSpec.bothPositive.is False when neither is positive
3.75 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (7/59): done Example\.LogicLibSpec.eitherPositive.is True when only the second is positive (18 mutations)
3.75 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (14/59): running Example\.FunctionExceptionLibSpec.addOneArithAndIntLitDisabled.increments by one
3.76 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (10/59): done Example\.LogicLibSpec.bothPositive.is False when only the first is positive (18 mutations)
3.76 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (15/59): running Example\.FunctionExceptionLibSpec.addOneFunctionDisabled.increments by one
3.77 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (6/59): done Example\.LogicLibSpec.eitherPositive.is False when neither is positive (18 mutations)
3.77 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (14/59): done Example\.FunctionExceptionLibSpec.addOneArithAndIntLitDisabled.increments by one (0 mutations)
3.77 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (9/59): running Example\.LogicLibSpec.bothPositive.is False when only the second is positive
3.77 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (12/59): done Example\.LogicLibSpec.bothPositive.is False when neither is positive (11 mutations)
3.77 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (13/59): running Example\.FunctionExceptionLibSpec.addOneArithDisabled.increments by one
3.78 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (15/59): done Example\.FunctionExceptionLibSpec.addOneFunctionDisabled.increments by one (0 mutations)
3.79 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (13/59): done Example\.FunctionExceptionLibSpec.addOneArithDisabled.increments by one (2 mutations)
3.79 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (19/59): running Example\.OtherwiseLibSpec.classify.classifies zero
3.79 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (9/59): done Example\.LogicLibSpec.bothPositive.is False when only the second is positive (11 mutations)
3.81 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (11/59): running Example\.LogicLibSpec.bothPositive.is True when both are positive
3.81 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (19/59): done Example\.OtherwiseLibSpec.classify.classifies zero (10 mutations)
3.81 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (22/59): running Example\.LocalDisableLibSpec.withInnerDisabled.is False when given True
3.82 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (23/59): running Example\.LocalDisableLibSpec.withInnerDisabled.is True when given False
3.83 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (25/59): running Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (False -> True)
3.84 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (11/59): done Example\.LogicLibSpec.bothPositive.is True when both are positive (18 mutations)
3.84 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (24/59): running Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (True -> False)
3.84 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (22/59): done Example\.LocalDisableLibSpec.withInnerDisabled.is False when given True (6 mutations)
3.84 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (26/59): running Example\.LocalDisableLibSpec.withInnerKept.is False when given True
3.85 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (25/59): done Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (False -> True) (6 mutations)
3.85 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (27/59): running Example\.LocalDisableLibSpec.withInnerKept.is True when given False
3.86 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (23/59): done Example\.LocalDisableLibSpec.withInnerDisabled.is True when given False (6 mutations)
3.86 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (28/59): running Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is True when given False
3.86 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (24/59): done Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (True -> False) (6 mutations)
3.86 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (29/59): running Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is False when given True
3.86 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (26/59): done Example\.LocalDisableLibSpec.withInnerKept.is False when given True (12 mutations)
3.86 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (30/59): running Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (False -> True)
3.88 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (28/59): done Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is True when given False (8 mutations)
3.88 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (31/59): running Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (True -> False)
3.88 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (27/59): done Example\.LocalDisableLibSpec.withInnerKept.is True when given False (12 mutations)
3.88 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (32/59): running Example\.ExceptionLibSpec.addOneModuleDisabled.increments by one
3.88 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (29/59): done Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is False when given True (8 mutations)
3.89 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (30/59): done Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (False -> True) (3 mutations)
3.90 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (31/59): done Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (True -> False) (3 mutations)
3.90 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (35/59): running Example\.ConstFnLibSpec.implies.True does not imply False
3.90 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (32/59): done Example\.ExceptionLibSpec.addOneModuleDisabled.increments by one (0 mutations)
3.90 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (36/59): running Example\.ConstFnLibSpec.digitsOf.keeps only the digits
3.90 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (37/59): running Example\.ConstFnLibSpec.digitsOf.returns the whole string when every character is a digit
3.91 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (38/59): running Example\.ConstFnLibSpec.digitsOf.returns the empty string when no character is a digit
3.92 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (36/59): done Example\.ConstFnLibSpec.digitsOf.keeps only the digits (6 mutations)
3.92 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (39/59): running Example\.ConstFnLibSpec.majorityOf5Wrapper.agrees with majorityOf5 on a 2-out-of-5 tuple
3.92 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (37/59): done Example\.ConstFnLibSpec.digitsOf.returns the whole string when every character is a digit (6 mutations)
3.92 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (40/59): running Example\.ConstFnLibSpec.majorityOf5Wrapper.agrees with majorityOf5 on a 3-out-of-5 tuple
3.92 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (35/59): done Example\.ConstFnLibSpec.implies.True does not imply False (13 mutations)
3.92 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (41/59): running Example\.ConstFnLibSpec.majorityOf5.is True when all 5 are True
3.93 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (38/59): done Example\.ConstFnLibSpec.digitsOf.returns the empty string when no character is a digit (6 mutations)
3.93 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (42/59): running Example\.ConstFnLibSpec.majorityOf5.is True when 3 of 5 are True
3.94 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (39/59): done Example\.ConstFnLibSpec.majorityOf5Wrapper.agrees with majorityOf5 on a 2-out-of-5 tuple (53 mutations)
3.94 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (43/59): running Example\.ConstFnLibSpec.majorityOf5.is False when all 5 are False
3.95 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (41/59): done Example\.ConstFnLibSpec.majorityOf5.is True when all 5 are True (35 mutations)
3.95 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (45/59): running Example\.ConstFnLibSpec.firstChar.returns Nothing for the empty string
3.95 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (40/59): done Example\.ConstFnLibSpec.majorityOf5Wrapper.agrees with majorityOf5 on a 3-out-of-5 tuple (53 mutations)
3.96 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (42/59): done Example\.ConstFnLibSpec.majorityOf5.is True when 3 of 5 are True (35 mutations)
3.97 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (43/59): done Example\.ConstFnLibSpec.majorityOf5.is False when all 5 are False (35 mutations)
3.97 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (53/59): running Example\.BoolLibSpec.negateWrapped.leaves Nothing as Nothing
3.97 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (45/59): done Example\.ConstFnLibSpec.firstChar.returns Nothing for the empty string (2 mutations)
3.97 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (55/59): running Example\.ListLibSpec.pairConcat.concatenates both arguments
3.98 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (58/59): running Example\.ListLibSpec.tripleConcat.distinguishes the last element
3.99 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (59/59): running Example\.ListLibSpec.tripleConcat.distinguishes the first element
3.99 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (55/59): done Example\.ListLibSpec.pairConcat.concatenates both arguments (6 mutations)
3.99 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (44/59): running Example\.ConstFnLibSpec.majorityOf5.is False when only 2 of 5 are True
4.00 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (50/59): done Example\.BoolLibSpec.wrapTrue.is Just True (2 mutations)
4.00 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (52/59): running Example\.BoolLibSpec.negateWrapped.negates Just True to Just False
4.00 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (58/59): done Example\.ListLibSpec.tripleConcat.distinguishes the last element (8 mutations)
4.01 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (59/59): done Example\.ListLibSpec.tripleConcat.distinguishes the first element (8 mutations)
4.01 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (56/59): running Example\.ListLibSpec.pairConcat.preserves the order
4.01 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (44/59): done Example\.ConstFnLibSpec.majorityOf5.is False when only 2 of 5 are True (35 mutations)
4.01 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (57/59): running Example\.ListLibSpec.tripleConcat.concatenates all three arguments
4.02 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (52/59): done Example\.BoolLibSpec.negateWrapped.negates Just True to Just False (4 mutations)
4.02 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (46/59): running Example\.ConstFnLibSpec.firstChar.returns Just the first character of a non-empty string
4.03 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (51/59): running Example\.BoolLibSpec.wrapFalse.is Just False
4.04 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (57/59): done Example\.ListLibSpec.tripleConcat.concatenates all three arguments (8 mutations)
4.04 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (54/59): running Example\.BoolLibSpec.negateWrapped.negates Just False to Just True
4.04 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (56/59): done Example\.ListLibSpec.pairConcat.preserves the order (6 mutations)
4.04 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (46/59): done Example\.ConstFnLibSpec.firstChar.returns Just the first character of a non-empty string (3 mutations)
4.05 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (51/59): done Example\.BoolLibSpec.wrapFalse.is Just False (2 mutations)
4.05 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (54/59): done Example\.BoolLibSpec.negateWrapped.negates Just False to Just True (4 mutations)
4.16 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] shrinking RPATHs of ELF executables and libraries in /nix/store/y9qai5f84vjfnkcimsi36s9hjpl0rnza-sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage
4.16 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] checking for references to /build/ in /nix/store/y9qai5f84vjfnkcimsi36s9hjpl0rnza-sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage...
4.19 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] patching script interpreter paths in /nix/store/y9qai5f84vjfnkcimsi36s9hjpl0rnza-sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage
4.53 s[post-build-hook] Uploading to cachix cache "sydtest": /nix/store/y9qai5f84vjfnkcimsi36s9hjpl0rnza-sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage
4.92 s[post-build-hook] Pushing 1 paths (0 are already present) using zstd to cache sydtest ⏳
6.24 s[post-build-hook] Uploading to the NixCI staging cache: /nix/store/y9qai5f84vjfnkcimsi36s9hjpl0rnza-sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage
6.29 s[post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead