3.39 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (5/59): running Example\.LogicLibSpec.eitherPositive.is True when both are positive
3.43 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (7/59): running Example\.LogicLibSpec.eitherPositive.is True when only the second is positive
3.43 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (5/59): done Example\.LogicLibSpec.eitherPositive.is True when both are positive (11 mutations)
3.43 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (8/59): running Example\.LogicLibSpec.eitherPositive.is True when only the first is positive
3.46 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (6/59): done Example\.LogicLibSpec.eitherPositive.is False when neither is positive (18 mutations)
3.46 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (9/59): running Example\.LogicLibSpec.bothPositive.is False when only the second is positive
3.46 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (10/59): running Example\.LogicLibSpec.bothPositive.is False when only the first is positive
3.48 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (9/59): done Example\.LogicLibSpec.bothPositive.is False when only the second is positive (11 mutations)
3.48 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (12/59): running Example\.LogicLibSpec.bothPositive.is False when neither is positive
3.48 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (8/59): done Example\.LogicLibSpec.eitherPositive.is True when only the first is positive (11 mutations)
3.48 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (13/59): running Example\.FunctionExceptionLibSpec.addOneArithDisabled.increments by one
3.48 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (10/59): done Example\.LogicLibSpec.bothPositive.is False when only the first is positive (18 mutations)
3.48 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (14/59): running Example\.FunctionExceptionLibSpec.addOneArithAndIntLitDisabled.increments by one
3.49 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (13/59): done Example\.FunctionExceptionLibSpec.addOneArithDisabled.increments by one (2 mutations)
3.49 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (12/59): done Example\.LogicLibSpec.bothPositive.is False when neither is positive (11 mutations)
3.49 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (11/59): running Example\.LogicLibSpec.bothPositive.is True when both are positive
3.49 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (15/59): running Example\.FunctionExceptionLibSpec.addOneFunctionDisabled.increments by one
3.49 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (14/59): done Example\.FunctionExceptionLibSpec.addOneArithAndIntLitDisabled.increments by one (0 mutations)
3.51 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (11/59): done Example\.LogicLibSpec.bothPositive.is True when both are positive (18 mutations)
3.51 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (15/59): done Example\.FunctionExceptionLibSpec.addOneFunctionDisabled.increments by one (0 mutations)
3.53 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (22/59): running Example\.LocalDisableLibSpec.withInnerDisabled.is False when given True
3.53 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (7/59): done Example\.LogicLibSpec.eitherPositive.is True when only the second is positive (18 mutations)
3.54 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (23/59): running Example\.LocalDisableLibSpec.withInnerDisabled.is True when given False
3.54 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (19/59): done Example\.OtherwiseLibSpec.classify.classifies zero (10 mutations)
3.54 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (24/59): running Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (True -> False)
3.55 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (25/59): running Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (False -> True)
3.55 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (23/59): done Example\.LocalDisableLibSpec.withInnerDisabled.is True when given False (6 mutations)
3.55 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (26/59): running Example\.LocalDisableLibSpec.withInnerKept.is False when given True
3.56 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (24/59): done Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (True -> False) (6 mutations)
3.56 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (27/59): running Example\.LocalDisableLibSpec.withInnerKept.is True when given False
3.57 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (25/59): done Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (False -> True) (6 mutations)
3.57 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (28/59): running Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is True when given False
3.57 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (26/59): done Example\.LocalDisableLibSpec.withInnerKept.is False when given True (12 mutations)
3.57 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (30/59): running Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (False -> True)
3.58 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (27/59): done Example\.LocalDisableLibSpec.withInnerKept.is True when given False (12 mutations)
3.58 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (29/59): running Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is False when given True
3.59 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (28/59): done Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is True when given False (8 mutations)
3.59 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (31/59): running Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (True -> False)
3.60 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (30/59): done Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (False -> True) (3 mutations)
3.60 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (32/59): running Example\.ExceptionLibSpec.addOneModuleDisabled.increments by one
3.60 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (29/59): done Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is False when given True (8 mutations)
3.61 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (31/59): done Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (True -> False) (3 mutations)
3.61 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (32/59): done Example\.ExceptionLibSpec.addOneModuleDisabled.increments by one (0 mutations)
3.61 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (35/59): running Example\.ConstFnLibSpec.implies.True does not imply False
3.62 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (37/59): running Example\.ConstFnLibSpec.digitsOf.returns the whole string when every character is a digit
3.63 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (38/59): running Example\.ConstFnLibSpec.digitsOf.returns the empty string when no character is a digit
3.63 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (35/59): done Example\.ConstFnLibSpec.implies.True does not imply False (13 mutations)
3.63 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (39/59): running Example\.ConstFnLibSpec.majorityOf5Wrapper.agrees with majorityOf5 on a 2-out-of-5 tuple
3.64 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (37/59): done Example\.ConstFnLibSpec.digitsOf.returns the whole string when every character is a digit (6 mutations)
3.64 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (40/59): running Example\.ConstFnLibSpec.majorityOf5Wrapper.agrees with majorityOf5 on a 3-out-of-5 tuple
3.65 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (38/59): done Example\.ConstFnLibSpec.digitsOf.returns the empty string when no character is a digit (6 mutations)
3.65 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (36/59): running Example\.ConstFnLibSpec.digitsOf.keeps only the digits
3.65 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (39/59): done Example\.ConstFnLibSpec.majorityOf5Wrapper.agrees with majorityOf5 on a 2-out-of-5 tuple (53 mutations)
3.65 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (41/59): running Example\.ConstFnLibSpec.majorityOf5.is True when all 5 are True
3.67 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (40/59): done Example\.ConstFnLibSpec.majorityOf5Wrapper.agrees with majorityOf5 on a 3-out-of-5 tuple (53 mutations)
3.67 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (42/59): running Example\.ConstFnLibSpec.majorityOf5.is True when 3 of 5 are True
3.67 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (36/59): done Example\.ConstFnLibSpec.digitsOf.keeps only the digits (6 mutations)
3.67 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (43/59): running Example\.ConstFnLibSpec.majorityOf5.is False when all 5 are False
3.67 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (22/59): done Example\.LocalDisableLibSpec.withInnerDisabled.is False when given True (6 mutations)
3.67 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (44/59): running Example\.ConstFnLibSpec.majorityOf5.is False when only 2 of 5 are True
3.68 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (42/59): done Example\.ConstFnLibSpec.majorityOf5.is True when 3 of 5 are True (35 mutations)
3.68 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (45/59): running Example\.ConstFnLibSpec.firstChar.returns Nothing for the empty string
3.69 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (41/59): done Example\.ConstFnLibSpec.majorityOf5.is True when all 5 are True (35 mutations)
3.69 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (46/59): running Example\.ConstFnLibSpec.firstChar.returns Just the first character of a non-empty string
3.69 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (43/59): done Example\.ConstFnLibSpec.majorityOf5.is False when all 5 are False (35 mutations)
3.71 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (46/59): done Example\.ConstFnLibSpec.firstChar.returns Just the first character of a non-empty string (3 mutations)
3.73 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (52/59): running Example\.BoolLibSpec.negateWrapped.negates Just True to Just False
3.73 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (50/59): done Example\.BoolLibSpec.wrapTrue.is Just True (2 mutations)
3.73 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (53/59): running Example\.BoolLibSpec.negateWrapped.leaves Nothing as Nothing
3.74 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (51/59): done Example\.BoolLibSpec.wrapFalse.is Just False (2 mutations)
3.74 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (54/59): running Example\.BoolLibSpec.negateWrapped.negates Just False to Just True
3.75 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (52/59): done Example\.BoolLibSpec.negateWrapped.negates Just True to Just False (4 mutations)
3.75 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (56/59): running Example\.ListLibSpec.pairConcat.preserves the order
3.75 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (55/59): running Example\.ListLibSpec.pairConcat.concatenates both arguments
3.76 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (54/59): done Example\.BoolLibSpec.negateWrapped.negates Just False to Just True (4 mutations)
3.76 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (57/59): running Example\.ListLibSpec.tripleConcat.concatenates all three arguments
3.77 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (56/59): done Example\.ListLibSpec.pairConcat.preserves the order (6 mutations)
3.77 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (58/59): running Example\.ListLibSpec.tripleConcat.distinguishes the last element
3.78 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (55/59): done Example\.ListLibSpec.pairConcat.concatenates both arguments (6 mutations)
3.78 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (57/59): done Example\.ListLibSpec.tripleConcat.concatenates all three arguments (8 mutations)
3.78 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (59/59): running Example\.ListLibSpec.tripleConcat.distinguishes the first element
3.79 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (58/59): done Example\.ListLibSpec.tripleConcat.distinguishes the last element (8 mutations)
3.80 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (59/59): done Example\.ListLibSpec.tripleConcat.distinguishes the first element (8 mutations)
4.17 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] coverage (44/59): done Example\.ConstFnLibSpec.majorityOf5.is False when only 2 of 5 are True (35 mutations)
4.23 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] shrinking RPATHs of ELF executables and libraries in /nix/store/6hhi16q7c9zd934pnck1p3yry2mcf1p8-sydtest-mutation-example-coverage-sydtest-mutation-example-gen
4.24 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] checking for references to /build/ in /nix/store/6hhi16q7c9zd934pnck1p3yry2mcf1p8-sydtest-mutation-example-coverage-sydtest-mutation-example-gen...
4.26 s[sydtest-mutation-example-coverage-sydtest-mutation-example-gen] patching script interpreter paths in /nix/store/6hhi16q7c9zd934pnck1p3yry2mcf1p8-sydtest-mutation-example-coverage-sydtest-mutation-example-gen
4.31 s[post-build-hook] Uploading to cachix cache "sydtest": /nix/store/6hhi16q7c9zd934pnck1p3yry2mcf1p8-sydtest-mutation-example-coverage-sydtest-mutation-example-gen
4.78 s[post-build-hook] Pushing 1 paths (0 are already present) using zstd to cache sydtest ⏳
6.01 s[post-build-hook] Uploading to the NixCI staging cache: /nix/store/6hhi16q7c9zd934pnck1p3yry2mcf1p8-sydtest-mutation-example-coverage-sydtest-mutation-example-gen
6.05 s[post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead