6.61 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (5/108): running Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (False -> True)
6.65 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (1/108): done Example\.OtherwiseLibSpec.classify.classifies zero (0 mutations)
6.65 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (6/108): running Example\.LocalDisableLibSpec.withInnerDisabled.is True when given False
6.67 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (4/108): running Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (True -> False)
6.67 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (7/108): running Example\.LocalDisableLibSpec.withInnerDisabled.is False when given True
6.68 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (6/108): done Example\.LocalDisableLibSpec.withInnerDisabled.is True when given False (0 mutations)
6.68 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (8/108): running Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (False -> True)
6.68 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (5/108): done Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (False -> True) (0 mutations)
6.68 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (9/108): running Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (True -> False)
6.69 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (7/108): done Example\.LocalDisableLibSpec.withInnerDisabled.is False when given True (0 mutations)
6.69 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (10/108): running Example\.LocalDisableLibSpec.withInnerKept.is False when given True
6.69 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (4/108): done Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (True -> False) (0 mutations)
6.69 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (11/108): running Example\.LocalDisableLibSpec.withInnerKept.is True when given False
6.70 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (8/108): done Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (False -> True) (0 mutations)
6.70 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (12/108): running Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is False when given True
6.71 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (9/108): done Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (True -> False) (0 mutations)
6.74 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (11/108): done Example\.LocalDisableLibSpec.withInnerKept.is True when given False (0 mutations)
6.74 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (13/108): running Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is True when given False
6.74 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (12/108): done Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is False when given True (0 mutations)
6.74 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (17/108): running Example\.ListLibSpec.tripleConcat.concatenates all three arguments
6.80 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (17/108): done Example\.ListLibSpec.tripleConcat.concatenates all three arguments (0 mutations)
6.80 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (18/108): running Example\.ListLibSpec.tripleConcat.distinguishes the last element
6.81 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (21/108): running Example\.ListLibSpec.pairConcat.preserves the order
6.81 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (23/108): running Example\.FunctionExceptionLibSpec.addOneFunctionDisabled.increments by one
6.82 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (18/108): done Example\.ListLibSpec.tripleConcat.distinguishes the last element (0 mutations)
6.82 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (19/108): running Example\.ListLibSpec.tripleConcat.distinguishes the first element
6.84 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (21/108): done Example\.ListLibSpec.pairConcat.preserves the order (0 mutations)
6.84 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (23/108): done Example\.FunctionExceptionLibSpec.addOneFunctionDisabled.increments by one (0 mutations)
6.88 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (10/108): done Example\.LocalDisableLibSpec.withInnerKept.is False when given True (0 mutations)
6.88 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (24/108): running Example\.FunctionExceptionLibSpec.addOneArithAndIntLitDisabled.increments by one
6.88 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (19/108): done Example\.ListLibSpec.tripleConcat.distinguishes the first element (0 mutations)
6.88 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (26/108): running Example\.BoolLibSpec.wrapTrue.is Just True
6.89 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (25/108): running Example\.FunctionExceptionLibSpec.addOneArithDisabled.increments by one
6.90 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (26/108): done Example\.BoolLibSpec.wrapTrue.is Just True (0 mutations)
6.90 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (27/108): running Example\.BoolLibSpec.wrapFalse.is Just False
6.90 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (24/108): done Example\.FunctionExceptionLibSpec.addOneArithAndIntLitDisabled.increments by one (0 mutations)
6.90 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (28/108): running Example\.BoolLibSpec.negateWrapped.negates Just True to Just False
6.91 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (25/108): done Example\.FunctionExceptionLibSpec.addOneArithDisabled.increments by one (0 mutations)
6.91 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (29/108): running Example\.BoolLibSpec.negateWrapped.leaves Nothing as Nothing
6.91 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (20/108): done Example\.ListLibSpec.pairConcat.concatenates both arguments (0 mutations)
6.91 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (31/108): running Example\.ConstFnLibSpec.firstChar.returns Just the first character of a non-empty string
6.93 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (27/108): done Example\.BoolLibSpec.wrapFalse.is Just False (0 mutations)
6.93 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (33/108): running Example\.ConstFnLibSpec.majorityOf5.matches the reference majority on all 32 inputs
6.93 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (28/108): done Example\.BoolLibSpec.negateWrapped.negates Just True to Just False (0 mutations)
6.93 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (32/108): running Example\.ConstFnLibSpec.firstChar.returns Nothing for the empty string
6.94 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (31/108): done Example\.ConstFnLibSpec.firstChar.returns Just the first character of a non-empty string (0 mutations)
6.95 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (33/108): done Example\.ConstFnLibSpec.majorityOf5.matches the reference majority on all 32 inputs (0 mutations)
6.95 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (37/108): running Example\.ConstFnLibSpec.majorityOf5Wrapper.matches the reference majority on all 32 inputs
6.96 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (32/108): done Example\.ConstFnLibSpec.firstChar.returns Nothing for the empty string (0 mutations)
6.96 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (38/108): running Example\.ConstFnLibSpec.digitsOf.returns the empty string when no character is a digit
6.96 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (30/108): running Example\.BoolLibSpec.negateWrapped.negates Just False to Just True
6.98 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (37/108): done Example\.ConstFnLibSpec.majorityOf5Wrapper.matches the reference majority on all 32 inputs (0 mutations)
6.98 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (35/108): running Example\.ConstFnLibSpec.implies.True does not imply False
6.98 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (30/108): done Example\.BoolLibSpec.negateWrapped.negates Just False to Just True (0 mutations)
6.98 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (39/108): running Example\.ConstFnLibSpec.digitsOf.returns the whole string when every character is a digit
6.99 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (35/108): done Example\.ConstFnLibSpec.implies.True does not imply False (0 mutations)
7.00 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (39/108): done Example\.ConstFnLibSpec.digitsOf.returns the whole string when every character is a digit (0 mutations)
7.02 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (45/108): running Example\.CrossLibSpec.eitherPositive.is True when only the second is positive
7.03 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (38/108): done Example\.ConstFnLibSpec.digitsOf.returns the empty string when no character is a digit (0 mutations)
7.03 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (46/108): running Example\.CrossLibSpec.eitherPositive.is True when both are positive
7.04 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (47/108): running Example\.CrossLibSpec.eitherPositive.is True when only the first is positive
7.04 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (45/108): done Example\.CrossLibSpec.eitherPositive.is True when only the second is positive (19 mutations)
7.04 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (48/108): running Example\.CrossLibSpec.bothPositive.is False when only the second is positive
7.05 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (44/108): done Example\.CrossLibSpec.eitherPositive.is False when neither is positive (19 mutations)
7.05 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (40/108): running Example\.ConstFnLibSpec.digitsOf.keeps only the digits
7.06 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (46/108): done Example\.CrossLibSpec.eitherPositive.is True when both are positive (11 mutations)
7.06 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (49/108): running Example\.CrossLibSpec.bothPositive.is False when only the first is positive
7.06 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (47/108): done Example\.CrossLibSpec.eitherPositive.is True when only the first is positive (11 mutations)
7.06 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (50/108): running Example\.CrossLibSpec.bothPositive.is False when neither is positive
7.06 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (40/108): done Example\.ConstFnLibSpec.digitsOf.keeps only the digits (0 mutations)
7.06 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (48/108): done Example\.CrossLibSpec.bothPositive.is False when only the second is positive (13 mutations)
7.06 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (51/108): running Example\.CrossLibSpec.bothPositive.is True when both are positive
7.08 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (49/108): done Example\.CrossLibSpec.bothPositive.is False when only the first is positive (20 mutations)
7.16 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (50/108): done Example\.CrossLibSpec.bothPositive.is False when neither is positive (13 mutations)
7.16 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (54/108): running Example\.MaybeCompoundLibSpec.wrapPair.wraps its argument in Just
7.16 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (57/108): running Example\.ConstConstructorLibSpec.isNorth.says north is north
7.16 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (54/108): done Example\.MaybeCompoundLibSpec.wrapPair.wraps its argument in Just (0 mutations)
7.16 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (59/108): running Example\.ConstConstructorLibSpec.isNorth.says south is not north
7.16 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (59/108): done Example\.ConstConstructorLibSpec.isNorth.says south is not north (0 mutations)
7.16 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (58/108): running Example\.ConstConstructorLibSpec.isNorth.says east is not north
7.16 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (57/108): done Example\.ConstConstructorLibSpec.isNorth.says north is north (0 mutations)
7.16 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (58/108): done Example\.ConstConstructorLibSpec.isNorth.says east is not north (0 mutations)
7.16 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (61/108): running Example\.ConstConstructorLibSpec.ignoreDirection.throws the direction away
7.17 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (62/108): running Example\.ConstConstructorLibSpec.directionsOf.sends each number its own way
7.17 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (51/108): done Example\.CrossLibSpec.bothPositive.is True when both are positive (20 mutations)
7.17 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (56/108): running Example\.ConstConstructorLibSpec.northAt.holds north at the given key
7.19 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (62/108): done Example\.ConstConstructorLibSpec.directionsOf.sends each number its own way (0 mutations)
7.19 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (63/108): running Example\.ConstConstructorLibSpec.directionOf.sends odd numbers east
7.20 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (56/108): done Example\.ConstConstructorLibSpec.northAt.holds north at the given key (0 mutations)
7.20 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (60/108): running Example\.ConstConstructorLibSpec.noDirections.holds no directions
7.20 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (61/108): done Example\.ConstConstructorLibSpec.ignoreDirection.throws the direction away (0 mutations)
7.20 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (65/108): running Example\.ConstConstructorLibSpec.(?\:).picks the second direction of another pair for an odd number
7.21 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (68/108): running Example\.ConstConstructorLibSpec.(?\:).picks the first direction of another pair for an even number
7.22 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (60/108): done Example\.ConstConstructorLibSpec.noDirections.holds no directions (0 mutations)
7.22 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (65/108): done Example\.ConstConstructorLibSpec.(?\:).picks the second direction of another pair for an odd number (0 mutations)
7.22 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (69/108): running Example\.ConstConstructorLibSpec.pick.picks east for an odd number
7.22 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (70/108): running Example\.ConstConstructorLibSpec.pick.picks north for an even number
7.24 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (68/108): done Example\.ConstConstructorLibSpec.(?\:).picks the first direction of another pair for an even number (0 mutations)
7.24 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (67/108): running Example\.ConstConstructorLibSpec.(?\:).picks the first direction for an even number
7.24 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (69/108): done Example\.ConstConstructorLibSpec.pick.picks east for an odd number (0 mutations)
7.24 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (70/108): done Example\.ConstConstructorLibSpec.pick.picks north for an even number (0 mutations)
7.24 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (71/108): running Example\.ConstConstructorLibSpec.myHead.has no head for an empty list
7.25 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (66/108): running Example\.ConstConstructorLibSpec.(?\:).picks the second direction for an odd number
7.26 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (67/108): done Example\.ConstConstructorLibSpec.(?\:).picks the first direction for an even number (0 mutations)
7.26 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (73/108): running Example\.ConstConstructorLibSpec.homeDirection.is north
7.26 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (71/108): done Example\.ConstConstructorLibSpec.myHead.has no head for an empty list (0 mutations)
7.26 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (72/108): running Example\.ConstConstructorLibSpec.myHead.has the first element as its head
7.27 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (66/108): done Example\.ConstConstructorLibSpec.(?\:).picks the second direction for an odd number (0 mutations)
7.27 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (74/108): running Example\.ConstConstructorLibSpec.taggedOff.is off
7.28 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (76/108): running Example\.ConstConstructorLibSpec.taggedOn.is on
7.28 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (73/108): done Example\.ConstConstructorLibSpec.homeDirection.is north (0 mutations)
7.28 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (75/108): running Example\.ConstConstructorLibSpec.unitSquare.is the square of side one
7.28 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (72/108): done Example\.ConstConstructorLibSpec.myHead.has the first element as its head (0 mutations)
7.28 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (78/108): running Example\.TypeSigLibSpec.diffOf.subtracts the second number from the first
7.29 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (74/108): done Example\.ConstConstructorLibSpec.taggedOff.is off (0 mutations)
7.29 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (77/108): running Example\.ExceptionLibSpec.addOneModuleDisabled.increments by one
7.30 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (75/108): done Example\.ConstConstructorLibSpec.unitSquare.is the square of side one (0 mutations)
7.30 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (79/108): running Example\.LogicLibSpec.eitherPositive.is True when only the first is positive
7.31 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (76/108): done Example\.ConstConstructorLibSpec.taggedOn.is on (0 mutations)
7.31 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (80/108): running Example\.LogicLibSpec.eitherPositive.is True when both are positive
7.31 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (78/108): done Example\.TypeSigLibSpec.diffOf.subtracts the second number from the first (0 mutations)
7.31 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (81/108): running Example\.LogicLibSpec.eitherPositive.is False when neither is positive
7.33 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (79/108): done Example\.LogicLibSpec.eitherPositive.is True when only the first is positive (0 mutations)
7.33 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (80/108): done Example\.LogicLibSpec.eitherPositive.is True when both are positive (0 mutations)
7.33 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (83/108): running Example\.LogicLibSpec.bothPositive.is False when only the first is positive
7.33 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (82/108): running Example\.LogicLibSpec.eitherPositive.is True when only the second is positive
7.33 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (81/108): done Example\.LogicLibSpec.eitherPositive.is False when neither is positive (0 mutations)
7.33 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (84/108): running Example\.LogicLibSpec.bothPositive.is False when neither is positive
7.35 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (84/108): done Example\.LogicLibSpec.bothPositive.is False when neither is positive (0 mutations)
7.35 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (85/108): running Example\.LogicLibSpec.bothPositive.is True when both are positive
7.35 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (82/108): done Example\.LogicLibSpec.eitherPositive.is True when only the second is positive (0 mutations)
7.35 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (86/108): running Example\.LogicLibSpec.bothPositive.is False when only the second is positive
7.35 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (83/108): done Example\.LogicLibSpec.bothPositive.is False when only the first is positive (0 mutations)
7.35 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (87/108): running Example\.TupleSwapLibSpec.diagonal.repeats the single component
7.37 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (87/108): done Example\.TupleSwapLibSpec.diagonal.repeats the single component (0 mutations)
7.37 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (88/108): running Example\.TupleSwapLibSpec.triple.keeps the three components in order
7.37 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (86/108): done Example\.LogicLibSpec.bothPositive.is False when only the second is positive (0 mutations)
7.37 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (89/108): running Example\.TupleSwapLibSpec.unboxedPair.pairs the two numbers in order
7.37 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (85/108): done Example\.LogicLibSpec.bothPositive.is True when both are positive (0 mutations)
7.37 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (91/108): running Example\.TupleSwapLibSpec.tagChar.pairs the number with the character
7.38 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (91/108): done Example\.TupleSwapLibSpec.tagChar.pairs the number with the character (0 mutations)
7.38 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (90/108): running Example\.TupleSwapLibSpec.orderedPair.keeps the two components in order
7.39 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (88/108): done Example\.TupleSwapLibSpec.triple.keeps the three components in order (0 mutations)
7.39 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (92/108): running Example\.SwitchArgsLibSpec.stripStorePrefix.strips the /nix/store/ prefix
7.39 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (89/108): done Example\.TupleSwapLibSpec.unboxedPair.pairs the two numbers in order (0 mutations)
7.39 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (93/108): running Example\.SwitchArgsLibSpec.parenDivide.divides the first argument by the second, then succeeds
7.40 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (90/108): done Example\.TupleSwapLibSpec.orderedPair.keeps the two components in order (0 mutations)
7.40 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (95/108): running Example\.SwitchArgsLibSpec.divideThe.divides the first argument by the second
7.41 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (96/108): running Example\.SwitchArgsLibSpec.makeColour.keeps the components in order
7.41 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (93/108): done Example\.SwitchArgsLibSpec.parenDivide.divides the first argument by the second, then succeeds (0 mutations)
7.41 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (94/108): running Example\.SwitchArgsLibSpec.greyscale.repeats the single component
7.42 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (77/108): done Example\.ExceptionLibSpec.addOneModuleDisabled.increments by one (0 mutations)
7.42 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (96/108): done Example\.SwitchArgsLibSpec.makeColour.keeps the components in order (0 mutations)
7.42 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (95/108): done Example\.SwitchArgsLibSpec.divideThe.divides the first argument by the second (0 mutations)
7.44 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (100/108): running Example\.UnliftedLibSpec.subInts.subtracts the second argument from the first
7.45 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (103/108): running Example\.ElideCallLibSpec.useSame.returns its argument unchanged
7.47 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (100/108): done Example\.UnliftedLibSpec.subInts.subtracts the second argument from the first (0 mutations)
7.47 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (105/108): running Example\.ElideCallLibSpec.absSucc.takes the successor then the absolute value of a negative input
7.47 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (107/108): running Example\.ElideCallLibSpec.negateInt.negates its argument
7.49 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (105/108): done Example\.ElideCallLibSpec.absSucc.takes the successor then the absolute value of a negative input (0 mutations)
7.49 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (108/108): running Example\.ElideCallLibSpec.same.returns its argument unchanged
7.49 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (104/108): running Example\.ElideCallLibSpec.absSucc.takes the successor then the absolute value of a positive input
7.50 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (64/108): running Example\.ConstConstructorLibSpec.directionOf.sends even numbers north
7.50 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (107/108): done Example\.ElideCallLibSpec.negateInt.negates its argument (0 mutations)
7.50 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (55/108): running Example\.ConstConstructorLibSpec.constantDirection.is north
7.52 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (55/108): done Example\.ConstConstructorLibSpec.constantDirection.is north (0 mutations)
7.53 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (64/108): done Example\.ConstConstructorLibSpec.directionOf.sends even numbers north (0 mutations)
7.53 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] coverage (104/108): done Example\.ElideCallLibSpec.absSucc.takes the successor then the absolute value of a positive input (0 mutations)
7.65 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] shrinking RPATHs of ELF executables and libraries in /nix/store/bz600hg3c1j27x80kyv52yvxv22csgk6-sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen
7.66 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] checking for references to /build/ in /nix/store/bz600hg3c1j27x80kyv52yvxv22csgk6-sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen...
7.67 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen] patching script interpreter paths in /nix/store/bz600hg3c1j27x80kyv52yvxv22csgk6-sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen
8.02 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen:post-build] Uploading to cachix cache "sydtest": /nix/store/bz600hg3c1j27x80kyv52yvxv22csgk6-sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen
8.54 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen:post-build] Pushing 1 paths (0 are already present) using zstd to cache sydtest ⏳
9.72 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen:post-build] All done.
9.95 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen:post-build] Uploading to the NixCI staging cache: /nix/store/bz600hg3c1j27x80kyv52yvxv22csgk6-sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen
10.10 s[sydtest-mutation-example-cross-coverage-sydtest-mutation-example-gen:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
12.22 s[sydtest-mutation-example-cross-mutation-sydtest-mutation-example-cross] shrinking RPATHs of ELF executables and libraries in /nix/store/klc9xlxvaq49dkjiz1v35c67v9wjwlkx-sydtest-mutation-example-cross-mutation-sydtest-mutation-example-cross
12.23 s[sydtest-mutation-example-cross-mutation-sydtest-mutation-example-cross] checking for references to /build/ in /nix/store/klc9xlxvaq49dkjiz1v35c67v9wjwlkx-sydtest-mutation-example-cross-mutation-sydtest-mutation-example-cross...
12.24 s[sydtest-mutation-example-cross-mutation-sydtest-mutation-example-cross] patching script interpreter paths in /nix/store/klc9xlxvaq49dkjiz1v35c67v9wjwlkx-sydtest-mutation-example-cross-mutation-sydtest-mutation-example-cross
12.45 s[sydtest-mutation-example-cross-mutation-sydtest-mutation-example-cross:post-build] Uploading to cachix cache "sydtest": /nix/store/klc9xlxvaq49dkjiz1v35c67v9wjwlkx-sydtest-mutation-example-cross-mutation-sydtest-mutation-example-cross
13.12 s[sydtest-mutation-example-cross-mutation-sydtest-mutation-example-cross:post-build] Pushing 1 paths (0 are already present) using zstd to cache sydtest ⏳
14.34 s[sydtest-mutation-example-cross-mutation-sydtest-mutation-example-cross:post-build] All done.
14.38 s[sydtest-mutation-example-cross-mutation-sydtest-mutation-example-cross:post-build] Uploading to the NixCI staging cache: /nix/store/klc9xlxvaq49dkjiz1v35c67v9wjwlkx-sydtest-mutation-example-cross-mutation-sydtest-mutation-example-cross
14.53 s[sydtest-mutation-example-cross-mutation-sydtest-mutation-example-cross:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
15.72 s[sydtest-mutation-example-cross-check-sydtest-mutation-example-cross] Full report: /nix/store/klc9xlxvaq49dkjiz1v35c67v9wjwlkx-sydtest-mutation-example-cross-mutation-sydtest-mutation-example-cross/report.txt
15.82 s[sydtest-mutation-example-cross-check-sydtest-mutation-example-cross:post-build] Uploading to cachix cache "sydtest": /nix/store/slmhwch7gwnrr7ypxqxgx2xxls20yghq-sydtest-mutation-example-cross-check-sydtest-mutation-example-cross
16.46 s[sydtest-mutation-example-cross-check-sydtest-mutation-example-cross:post-build] Pushing 1 paths (1 are already present) using zstd to cache sydtest ⏳
17.72 s[sydtest-mutation-example-cross-check-sydtest-mutation-example-cross:post-build] All done.
17.75 s[sydtest-mutation-example-cross-check-sydtest-mutation-example-cross:post-build] Uploading to the NixCI staging cache: /nix/store/slmhwch7gwnrr7ypxqxgx2xxls20yghq-sydtest-mutation-example-cross-check-sydtest-mutation-example-cross
17.84 s[sydtest-mutation-example-cross-check-sydtest-mutation-example-cross:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
21.00 s[sydtest-mutation-example-cross-mutation-check:post-build] All done.
21.05 s[sydtest-mutation-example-cross-mutation-check:post-build] Uploading to the NixCI staging cache: /nix/store/whlrcvl6r8l9kghwa050lg5aigs3z73b-sydtest-mutation-example-cross-mutation-check
21.14 s[sydtest-mutation-example-cross-mutation-check:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead