44.32 s[sydtest-mutation-example-gen-resource-dir-source] source root is sydtest-mutation-example-gen-0.0.0.0
44.32 s[sydtest-mutation-example-gen-resource-dir-source] setting SOURCE_DATE_EPOCH to timestamp 1779382211 of file "sydtest-mutation-example-gen-0.0.0.0/test/Spec.hs"
44.32 s[sydtest-mutation-example-gen-resource-dir-source] warning: file "sydtest-mutation-example-gen-0.0.0.0/test/Spec.hs" may be generated; SOURCE_DATE_EPOCH may be non-deterministic
45.00 s[sydtest-mutation-example-gen] source root is sydtest-mutation-example-gen-0.0.0.0
45.01 s[sydtest-mutation-example-gen] setting SOURCE_DATE_EPOCH to timestamp 1779382211 of file "sydtest-mutation-example-gen-0.0.0.0/test/Spec.hs"
45.01 s[sydtest-mutation-example-gen] warning: file "sydtest-mutation-example-gen-0.0.0.0/test/Spec.hs" may be generated; SOURCE_DATE_EPOCH may be non-deterministic
54.01 s[sydtest-mutation-example-gen] shrinking RPATHs of ELF executables and libraries in /nix/store/z4r0zm5fngzgx90m7131sa622qc3j9q4-sydtest-mutation-example-gen-0.0.0.0
54.04 s[sydtest-mutation-example-gen] checking for references to /build/ in /nix/store/z4r0zm5fngzgx90m7131sa622qc3j9q4-sydtest-mutation-example-gen-0.0.0.0...
54.06 s[sydtest-mutation-example-gen] patching script interpreter paths in /nix/store/z4r0zm5fngzgx90m7131sa622qc3j9q4-sydtest-mutation-example-gen-0.0.0.0
54.07 s[sydtest-mutation-example-gen] stripping (with command strip and flags -S -p) in /nix/store/z4r0zm5fngzgx90m7131sa622qc3j9q4-sydtest-mutation-example-gen-0.0.0.0/lib
54.09 s[sydtest-mutation-example-gen] shrinking RPATHs of ELF executables and libraries in /nix/store/g85gx01aph1xn9mcmpc03f087pms8mdp-sydtest-mutation-example-gen-0.0.0.0-doc
54.09 s[sydtest-mutation-example-gen] checking for references to /build/ in /nix/store/g85gx01aph1xn9mcmpc03f087pms8mdp-sydtest-mutation-example-gen-0.0.0.0-doc...
54.11 s[sydtest-mutation-example-gen] patching script interpreter paths in /nix/store/g85gx01aph1xn9mcmpc03f087pms8mdp-sydtest-mutation-example-gen-0.0.0.0-doc
54.53 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (4/42): running Example\.LocalDisableLibSpec.withInnerKept.is True when given False
54.53 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (3/42): running Example\.ExceptionLibSpec.addOneModuleDisabled.increments by one
54.55 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (5/42): running Example\.LocalDisableLibSpec.withInnerKept.is False when given True
54.55 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (6/42): running Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is False when given True
54.55 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (4/42): done Example\.LocalDisableLibSpec.withInnerKept.is True when given False (12 mutations)
54.55 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (7/42): running Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is True when given False
54.55 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (3/42): done Example\.ExceptionLibSpec.addOneModuleDisabled.increments by one (0 mutations)
54.55 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (9/42): running Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (True -> False)
54.56 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (5/42): done Example\.LocalDisableLibSpec.withInnerKept.is False when given True (12 mutations)
54.56 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (8/42): running Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (False -> True)
54.57 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (7/42): done Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is True when given False (8 mutations)
54.57 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (10/42): running Example\.LocalDisableLibSpec.withInnerDisabled.is False when given True
54.57 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (6/42): done Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is False when given True (8 mutations)
54.57 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (13/42): running Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (True -> False)
54.57 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (9/42): done Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (True -> False) (6 mutations)
54.57 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (12/42): running Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (False -> True)
54.58 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (8/42): done Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (False -> True) (6 mutations)
54.58 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (14/42): running Example\.BoolLibSpec.wrapTrue.is Just True
54.58 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (10/42): done Example\.LocalDisableLibSpec.withInnerDisabled.is False when given True (6 mutations)
54.58 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (11/42): running Example\.LocalDisableLibSpec.withInnerDisabled.is True when given False
54.58 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (13/42): done Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (True -> False) (3 mutations)
54.58 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (15/42): running Example\.BoolLibSpec.wrapFalse.is Just False
54.58 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (12/42): done Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (False -> True) (3 mutations)
54.59 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (17/42): running Example\.BoolLibSpec.negateWrapped.leaves Nothing as Nothing
54.60 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (11/42): done Example\.LocalDisableLibSpec.withInnerDisabled.is True when given False (6 mutations)
54.60 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (18/42): running Example\.BoolLibSpec.negateWrapped.negates Just False to Just True
54.60 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (15/42): done Example\.BoolLibSpec.wrapFalse.is Just False (2 mutations)
54.60 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (14/42): done Example\.BoolLibSpec.wrapTrue.is Just True (2 mutations)
54.60 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (16/42): running Example\.BoolLibSpec.negateWrapped.negates Just True to Just False
54.60 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (19/42): running Example\.ListLibSpec.pairConcat.preserves the order
54.60 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (20/42): running Example\.ListLibSpec.pairConcat.concatenates both arguments
54.62 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (18/42): done Example\.BoolLibSpec.negateWrapped.negates Just False to Just True (0 mutations)
54.62 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (23/42): running Example\.ListLibSpec.tripleConcat.concatenates all three arguments
54.62 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (19/42): done Example\.ListLibSpec.pairConcat.preserves the order (2 mutations)
54.62 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (22/42): running Example\.ListLibSpec.tripleConcat.distinguishes the first element
54.62 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (16/42): done Example\.BoolLibSpec.negateWrapped.negates Just True to Just False (0 mutations)
54.62 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (21/42): running Example\.ListLibSpec.tripleConcat.distinguishes the last element
54.62 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (20/42): done Example\.ListLibSpec.pairConcat.concatenates both arguments (2 mutations)
54.64 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (22/42): done Example\.ListLibSpec.tripleConcat.distinguishes the first element (3 mutations)
54.64 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (27/42): running Example\.LibSpec.addOne.returns 6 for input 5
54.64 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (21/42): done Example\.ListLibSpec.tripleConcat.distinguishes the last element (3 mutations)
54.66 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (33/42): running Example\.FunctionExceptionLibSpec.addOneArithAndIntLitDisabled.increments by one
54.67 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (32/42): running Example\.FunctionExceptionLibSpec.addOneArithDisabled.increments by one
54.67 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (34/42): running Example\.FunctionExceptionLibSpec.addOneFunctionDisabled.increments by one
54.68 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (31/42): done Example\.OtherwiseLibSpec.classify.classifies zero (9 mutations)
54.68 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (35/42): running Example\.LogicLibSpec.eitherPositive.is True when only the second is positive
54.68 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (33/42): done Example\.FunctionExceptionLibSpec.addOneArithAndIntLitDisabled.increments by one (0 mutations)
54.68 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (36/42): running Example\.LogicLibSpec.eitherPositive.is False when neither is positive
54.69 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (32/42): done Example\.FunctionExceptionLibSpec.addOneArithDisabled.increments by one (2 mutations)
54.69 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (38/42): running Example\.LogicLibSpec.eitherPositive.is True when both are positive
54.69 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (34/42): done Example\.FunctionExceptionLibSpec.addOneFunctionDisabled.increments by one (0 mutations)
54.69 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (37/42): running Example\.LogicLibSpec.eitherPositive.is True when only the first is positive
54.69 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (35/42): done Example\.LogicLibSpec.eitherPositive.is True when only the second is positive (18 mutations)
54.70 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (40/42): running Example\.LogicLibSpec.bothPositive.is True when both are positive
54.70 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (36/42): done Example\.LogicLibSpec.eitherPositive.is False when neither is positive (18 mutations)
54.70 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (39/42): running Example\.LogicLibSpec.bothPositive.is False when only the first is positive
54.71 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (38/42): done Example\.LogicLibSpec.eitherPositive.is True when both are positive (11 mutations)
54.71 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (41/42): running Example\.LogicLibSpec.bothPositive.is False when only the second is positive
54.71 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (37/42): done Example\.LogicLibSpec.eitherPositive.is True when only the first is positive (11 mutations)
54.71 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (42/42): running Example\.LogicLibSpec.bothPositive.is False when neither is positive
54.72 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (39/42): done Example\.LogicLibSpec.bothPositive.is False when only the first is positive (18 mutations)
54.72 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (40/42): done Example\.LogicLibSpec.bothPositive.is True when both are positive (18 mutations)
54.73 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (41/42): done Example\.LogicLibSpec.bothPositive.is False when only the second is positive (11 mutations)
54.73 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] coverage (42/42): done Example\.LogicLibSpec.bothPositive.is False when neither is positive (11 mutations)
54.77 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] shrinking RPATHs of ELF executables and libraries in /nix/store/sqh3a5b917kgxz0qapic0y5jm0xzrybg-sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage
54.77 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] checking for references to /build/ in /nix/store/sqh3a5b917kgxz0qapic0y5jm0xzrybg-sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage...
54.78 s[sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage] patching script interpreter paths in /nix/store/sqh3a5b917kgxz0qapic0y5jm0xzrybg-sydtest-mutation-example-sydtest-mutation-example-gen-mutation-coverage