3.52 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.52 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (5/59): running Example\.LogicLibSpec.eitherPositive.is True when both are positive
3.52 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (6/59): running Example\.LogicLibSpec.eitherPositive.is False when neither is positive
3.54 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.54 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.54 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.54 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.54 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.54 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.56 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.56 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (11/59): running Example\.LogicLibSpec.bothPositive.is True when both are positive
3.56 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.56 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (12/59): running Example\.LogicLibSpec.bothPositive.is False when neither is positive
3.56 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.56 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (13/59): running Example\.FunctionExceptionLibSpec.addOneArithDisabled.increments by one
3.58 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (13/59): done Example\.FunctionExceptionLibSpec.addOneArithDisabled.increments by one (2 mutations)
3.58 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (14/59): running Example\.FunctionExceptionLibSpec.addOneArithAndIntLitDisabled.increments by one
3.58 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.58 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (15/59): running Example\.FunctionExceptionLibSpec.addOneFunctionDisabled.increments by one
3.58 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.60 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (14/59): done Example\.FunctionExceptionLibSpec.addOneArithAndIntLitDisabled.increments by one (0 mutations)
3.60 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (15/59): done Example\.FunctionExceptionLibSpec.addOneFunctionDisabled.increments by one (0 mutations)
3.62 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (22/59): running Example\.LocalDisableLibSpec.withInnerDisabled.is False when given True
3.63 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.63 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (23/59): running Example\.LocalDisableLibSpec.withInnerDisabled.is True when given False
3.63 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.63 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.66 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.66 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (26/59): running Example\.LocalDisableLibSpec.withInnerKept.is False when given True
3.66 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.66 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (27/59): running Example\.LocalDisableLibSpec.withInnerKept.is True when given False
3.66 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.66 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (28/59): running Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is True when given False
3.68 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.68 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (29/59): running Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is False when given True
3.68 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.68 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.68 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.68 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.70 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.70 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.70 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (35/59): running Example\.ConstFnLibSpec.implies.True does not imply False
3.70 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.70 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (36/59): running Example\.ConstFnLibSpec.digitsOf.keeps only the digits
3.72 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.72 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.72 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (36/59): done Example\.ConstFnLibSpec.digitsOf.keeps only the digits (6 mutations)
3.72 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.74 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.74 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.74 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.74 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.74 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.76 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.76 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.76 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.76 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.76 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.76 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (45/59): running Example\.ConstFnLibSpec.firstChar.returns Nothing for the empty string
3.77 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.77 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
3.78 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.80 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)
3.80 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
3.82 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (52/59): running Example\.BoolLibSpec.negateWrapped.negates Just True to Just False
3.82 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (50/59): done Example\.BoolLibSpec.wrapTrue.is Just True (2 mutations)
3.82 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (53/59): running Example\.BoolLibSpec.negateWrapped.leaves Nothing as Nothing
3.82 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)
3.82 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (55/59): running Example\.ListLibSpec.pairConcat.concatenates both arguments
3.83 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)
3.83 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (57/59): running Example\.ListLibSpec.tripleConcat.concatenates all three arguments
3.84 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (51/59): running Example\.BoolLibSpec.wrapFalse.is Just False
3.84 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (55/59): done Example\.ListLibSpec.pairConcat.concatenates both arguments (6 mutations)
3.84 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (58/59): running Example\.ListLibSpec.tripleConcat.distinguishes the last element
3.86 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (57/59): done Example\.ListLibSpec.tripleConcat.concatenates all three arguments (8 mutations)
3.86 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (54/59): running Example\.BoolLibSpec.negateWrapped.negates Just False to Just True
3.87 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (58/59): done Example\.ListLibSpec.tripleConcat.distinguishes the last element (8 mutations)
3.87 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (59/59): running Example\.ListLibSpec.tripleConcat.distinguishes the first element
3.87 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (51/59): done Example\.BoolLibSpec.wrapFalse.is Just False (2 mutations)
3.87 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (56/59): running Example\.ListLibSpec.pairConcat.preserves the order
3.87 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)
3.87 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (32/59): running Example\.ExceptionLibSpec.addOneModuleDisabled.increments by one
3.89 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (59/59): done Example\.ListLibSpec.tripleConcat.distinguishes the first element (8 mutations)
3.89 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (56/59): done Example\.ListLibSpec.pairConcat.preserves the order (6 mutations)
3.89 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (32/59): done Example\.ExceptionLibSpec.addOneModuleDisabled.increments by one (0 mutations)
4.29 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] shrinking RPATHs of ELF executables and libraries in /nix/store/1il3izn4ny5zjld2a6q23r865l1zlmaw-sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage
4.30 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] checking for references to /build/ in /nix/store/1il3izn4ny5zjld2a6q23r865l1zlmaw-sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage...
4.32 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] patching script interpreter paths in /nix/store/1il3izn4ny5zjld2a6q23r865l1zlmaw-sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage
4.37 s[post-build-hook] Uploading to cachix cache "sydtest": /nix/store/1il3izn4ny5zjld2a6q23r865l1zlmaw-sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage
4.73 s[post-build-hook] Pushing 1 paths (0 are already present) using zstd to cache sydtest ⏳
6.08 s[post-build-hook] Uploading to the NixCI staging cache: /nix/store/1il3izn4ny5zjld2a6q23r865l1zlmaw-sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage
6.14 s[post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead