4.49 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (1/59): running Example\.LibSpec.addOne.returns 2 for input 1
4.49 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
4.49 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
4.49 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (2/59): running Example\.LibSpec.addOne.returns 6 for input 5
4.58 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
4.61 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)
4.61 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (5/59): running Example\.LogicLibSpec.eitherPositive.is True when both are positive
4.61 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)
4.62 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (6/59): running Example\.LogicLibSpec.eitherPositive.is False when neither is positive
4.65 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
4.67 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)
4.67 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (12/59): running Example\.LogicLibSpec.bothPositive.is False when neither is positive
4.68 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)
4.68 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)
4.68 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (14/59): running Example\.FunctionExceptionLibSpec.addOneArithAndIntLitDisabled.increments by one
4.72 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)
4.75 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (14/59): done Example\.FunctionExceptionLibSpec.addOneArithAndIntLitDisabled.increments by one (0 mutations)
4.75 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (19/59): running Example\.OtherwiseLibSpec.classify.classifies zero
4.82 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (22/59): running Example\.LocalDisableLibSpec.withInnerDisabled.is False when given True
4.84 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (13/59): running Example\.FunctionExceptionLibSpec.addOneArithDisabled.increments by one
4.84 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (19/59): done Example\.OtherwiseLibSpec.classify.classifies zero (10 mutations)
4.84 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (23/59): running Example\.LocalDisableLibSpec.withInnerDisabled.is True when given False
4.85 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (15/59): running Example\.FunctionExceptionLibSpec.addOneFunctionDisabled.increments by one
4.88 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (13/59): done Example\.FunctionExceptionLibSpec.addOneArithDisabled.increments by one (2 mutations)
4.88 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)
4.88 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (22/59): done Example\.LocalDisableLibSpec.withInnerDisabled.is False when given True (6 mutations)
4.88 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (26/59): running Example\.LocalDisableLibSpec.withInnerKept.is False when given True
4.88 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (23/59): done Example\.LocalDisableLibSpec.withInnerDisabled.is True when given False (6 mutations)
4.89 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (29/59): running Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is False when given True
4.89 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (15/59): done Example\.FunctionExceptionLibSpec.addOneFunctionDisabled.increments by one (0 mutations)
4.89 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (27/59): running Example\.LocalDisableLibSpec.withInnerKept.is True when given False
4.92 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)
4.92 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)
4.93 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (29/59): done Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is False when given True (8 mutations)
4.93 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (11/59): running Example\.LogicLibSpec.bothPositive.is True when both are positive
4.93 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (26/59): done Example\.LocalDisableLibSpec.withInnerKept.is False when given True (12 mutations)
4.93 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)
4.95 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (27/59): done Example\.LocalDisableLibSpec.withInnerKept.is True when given False (12 mutations)
4.97 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)
4.97 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (28/59): running Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is True when given False
4.97 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)
4.97 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)
4.98 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)
5.00 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (36/59): running Example\.ConstFnLibSpec.digitsOf.keeps only the digits
5.01 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (28/59): done Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is True when given False (8 mutations)
5.01 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)
5.01 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
5.01 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (41/59): running Example\.ConstFnLibSpec.majorityOf5.is True when all 5 are True
5.02 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
5.04 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (36/59): done Example\.ConstFnLibSpec.digitsOf.keeps only the digits (6 mutations)
5.04 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (43/59): running Example\.ConstFnLibSpec.majorityOf5.is False when all 5 are False
5.06 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)
5.06 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
5.06 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)
5.07 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (45/59): running Example\.ConstFnLibSpec.firstChar.returns Nothing for the empty string
5.08 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)
5.08 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (32/59): running Example\.ExceptionLibSpec.addOneModuleDisabled.increments by one
5.10 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)
5.15 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (35/59): running Example\.ConstFnLibSpec.implies.True does not imply False
5.15 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)
5.15 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)
5.15 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
5.15 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (32/59): done Example\.ExceptionLibSpec.addOneModuleDisabled.increments by one (0 mutations)
5.15 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
5.16 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (35/59): done Example\.ConstFnLibSpec.implies.True does not imply False (13 mutations)
5.16 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
5.18 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)
5.18 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)
5.20 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)
5.20 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (52/59): running Example\.BoolLibSpec.negateWrapped.negates Just True to Just False
5.20 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (51/59): running Example\.BoolLibSpec.wrapFalse.is Just False
5.23 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (56/59): running Example\.ListLibSpec.pairConcat.preserves the order
5.24 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)
5.25 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (53/59): running Example\.BoolLibSpec.negateWrapped.leaves Nothing as Nothing
5.25 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (51/59): done Example\.BoolLibSpec.wrapFalse.is Just False (2 mutations)
5.25 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (57/59): running Example\.ListLibSpec.tripleConcat.concatenates all three arguments
5.27 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (56/59): done Example\.ListLibSpec.pairConcat.preserves the order (6 mutations)
5.27 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (59/59): running Example\.ListLibSpec.tripleConcat.distinguishes the first element
5.27 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (55/59): done Example\.ListLibSpec.pairConcat.concatenates both arguments (6 mutations)
5.27 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
5.28 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (57/59): done Example\.ListLibSpec.tripleConcat.concatenates all three arguments (8 mutations)
5.28 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (54/59): running Example\.BoolLibSpec.negateWrapped.negates Just False to Just True
5.29 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (50/59): running Example\.BoolLibSpec.wrapTrue.is Just True
5.31 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (59/59): done Example\.ListLibSpec.tripleConcat.distinguishes the first element (8 mutations)
5.31 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (58/59): running Example\.ListLibSpec.tripleConcat.distinguishes the last element
5.31 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)
5.32 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)
5.32 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (50/59): done Example\.BoolLibSpec.wrapTrue.is Just True (2 mutations)
5.34 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (58/59): done Example\.ListLibSpec.tripleConcat.distinguishes the last element (8 mutations)
5.44 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] shrinking RPATHs of ELF executables and libraries in /nix/store/bys6w5bix998mzwyn0q6kv4sr80pqdp0-sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage
5.44 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] checking for references to /build/ in /nix/store/bys6w5bix998mzwyn0q6kv4sr80pqdp0-sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage...
5.46 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] patching script interpreter paths in /nix/store/bys6w5bix998mzwyn0q6kv4sr80pqdp0-sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage
5.60 s[post-build-hook] Uploading to cachix cache "sydtest": /nix/store/bys6w5bix998mzwyn0q6kv4sr80pqdp0-sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage
6.11 s[post-build-hook] Pushing 1 paths (0 are already present) using zstd to cache sydtest ⏳
7.62 s[post-build-hook] Uploading to the NixCI staging cache: /nix/store/bys6w5bix998mzwyn0q6kv4sr80pqdp0-sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage