1. 0.09 s $ /nix/store/9ypz3flqsrl5xl495mm8h645gadjsxi1-coreutils-9.11/bin/timeout --kill-after=15s 7200s /nix/store/23zk8sgzamrbmj1fday15szf7f2279s8-nix-2.34.7/bin/nix --extra-experimental-features nix-command --extra-experimental-features flakes --log-format internal-json build --no-link --print-out-paths git+https://github.com/NorfairKing/sydtest?ref=mutation-redundancy&rev=1264c2a674bdf1f7760efc29305b9c89863c2aba#checks.x86_64-linux.mutation-sydtest-mutation-example --print-build-logs
  2. 0.11 s warning: ignoring untrusted flake configuration setting 'extra-substituters'.
  3. 0.11 s Pass '--accept-flake-config' to trust it
  4. 0.11 s warning: ignoring untrusted flake configuration setting 'extra-trusted-public-keys'.
  5. 0.11 s Pass '--accept-flake-config' to trust it
  6. 1.53 s
  7. 2.82 s Building /nix/store/xm0vx7c91k4kzsx115acivf4cijmhf8z-sydtest-mutation-example-mutation-report.drv
  8. 3.10 s [sydtest-mutation-example-mutation-report] Phase: patchPhase
  9. 3.11 s [sydtest-mutation-example-mutation-report] Phase: updateAutotoolsGnuConfigScriptsPhase
  10. 3.13 s [sydtest-mutation-example-mutation-report] Phase: configurePhase
  11. 3.15 s [sydtest-mutation-example-mutation-report] no configure script, doing nothing
  12. 3.16 s [sydtest-mutation-example-mutation-report] Phase: buildPhase
  13. 3.19 s [sydtest-mutation-example-mutation-report] coverage (1/61): running Example\.LibSpec.addOne.returns 2 for input 1
  14. 3.19 s [sydtest-mutation-example-mutation-report] coverage (2/61): running Example\.LibSpec.addOne.returns 6 for input 5
  15. 3.19 s [sydtest-mutation-example-mutation-report] coverage (3/61): running Example\.DoLibSpec.greet.greets loudly
  16. 3.19 s [sydtest-mutation-example-mutation-report] coverage (4/61): running Example\.DoLibSpec.greet.greets quietly
  17. 3.21 s [sydtest-mutation-example-mutation-report] coverage (1/61): done Example\.LibSpec.addOne.returns 2 for input 1 (4 mutations)
  18. 3.21 s [sydtest-mutation-example-mutation-report] coverage (7/61): running Example\.LogicLibSpec.eitherPositive.is True when only the second is positive
  19. 3.23 s [sydtest-mutation-example-mutation-report] coverage (4/61): done Example\.DoLibSpec.greet.greets quietly (8 mutations)
  20. 3.23 s [sydtest-mutation-example-mutation-report] coverage (5/61): running Example\.LogicLibSpec.eitherPositive.is True when both are positive
  21. 3.23 s [sydtest-mutation-example-mutation-report] coverage (7/61): done Example\.LogicLibSpec.eitherPositive.is True when only the second is positive (18 mutations)
  22. 3.23 s [sydtest-mutation-example-mutation-report] coverage (6/61): running Example\.LogicLibSpec.eitherPositive.is False when neither is positive
  23. 3.25 s [sydtest-mutation-example-mutation-report] coverage (3/61): done Example\.DoLibSpec.greet.greets loudly (9 mutations)
  24. 3.25 s [sydtest-mutation-example-mutation-report] coverage (10/61): running Example\.LogicLibSpec.bothPositive.is False when only the first is positive
  25. 3.26 s [sydtest-mutation-example-mutation-report] coverage (6/61): done Example\.LogicLibSpec.eitherPositive.is False when neither is positive (18 mutations)
  26. 3.26 s [sydtest-mutation-example-mutation-report] coverage (8/61): running Example\.LogicLibSpec.eitherPositive.is True when only the first is positive
  27. 3.26 s [sydtest-mutation-example-mutation-report] coverage (5/61): done Example\.LogicLibSpec.eitherPositive.is True when both are positive (11 mutations)
  28. 3.26 s [sydtest-mutation-example-mutation-report] coverage (11/61): running Example\.LogicLibSpec.bothPositive.is True when both are positive
  29. 3.27 s [sydtest-mutation-example-mutation-report] coverage (10/61): done Example\.LogicLibSpec.bothPositive.is False when only the first is positive (18 mutations)
  30. 3.27 s [sydtest-mutation-example-mutation-report] coverage (12/61): running Example\.LogicLibSpec.bothPositive.is False when neither is positive
  31. 3.28 s [sydtest-mutation-example-mutation-report] coverage (8/61): done Example\.LogicLibSpec.eitherPositive.is True when only the first is positive (11 mutations)
  32. 3.28 s [sydtest-mutation-example-mutation-report] coverage (13/61): running Example\.FunctionExceptionLibSpec.addOneFunctionDisabled.increments by one
  33. 3.28 s [sydtest-mutation-example-mutation-report] coverage (11/61): done Example\.LogicLibSpec.bothPositive.is True when both are positive (18 mutations)
  34. 3.28 s [sydtest-mutation-example-mutation-report] coverage (9/61): running Example\.LogicLibSpec.bothPositive.is False when only the second is positive
  35. 3.29 s [sydtest-mutation-example-mutation-report] coverage (12/61): done Example\.LogicLibSpec.bothPositive.is False when neither is positive (11 mutations)
  36. 3.29 s [sydtest-mutation-example-mutation-report] coverage (15/61): running Example\.FunctionExceptionLibSpec.addOneArithAndIntLitDisabled.increments by one
  37. 3.30 s [sydtest-mutation-example-mutation-report] coverage (9/61): done Example\.LogicLibSpec.bothPositive.is False when only the second is positive (11 mutations)
  38. 3.30 s [sydtest-mutation-example-mutation-report] coverage (14/61): running Example\.FunctionExceptionLibSpec.addOneArithDisabled.increments by one
  39. 3.30 s [sydtest-mutation-example-mutation-report] coverage (13/61): done Example\.FunctionExceptionLibSpec.addOneFunctionDisabled.increments by one (0 mutations)
  40. 3.30 s [sydtest-mutation-example-mutation-report] coverage (16/61): running Example\.CaseLibSpec.describeList.describes singleton lists
  41. 3.31 s [sydtest-mutation-example-mutation-report] coverage (15/61): done Example\.FunctionExceptionLibSpec.addOneArithAndIntLitDisabled.increments by one (0 mutations)
  42. 3.31 s [sydtest-mutation-example-mutation-report] coverage (17/61): running Example\.CaseLibSpec.describeList.describes longer lists
  43. 3.32 s [sydtest-mutation-example-mutation-report] coverage (16/61): done Example\.CaseLibSpec.describeList.describes singleton lists (5 mutations)
  44. 3.32 s [sydtest-mutation-example-mutation-report] coverage (18/61): running Example\.CaseLibSpec.describeList.describes empty lists
  45. 3.32 s [sydtest-mutation-example-mutation-report] coverage (14/61): done Example\.FunctionExceptionLibSpec.addOneArithDisabled.increments by one (2 mutations)
  46. 3.32 s [sydtest-mutation-example-mutation-report] coverage (19/61): running Example\.OtherwiseLibSpec.classify.classifies zero
  47. 3.33 s [sydtest-mutation-example-mutation-report] coverage (17/61): done Example\.CaseLibSpec.describeList.describes longer lists (5 mutations)
  48. 3.33 s [sydtest-mutation-example-mutation-report] coverage (20/61): running Example\.OtherwiseLibSpec.classify.classifies positive numbers
  49. 3.34 s [sydtest-mutation-example-mutation-report] coverage (18/61): done Example\.CaseLibSpec.describeList.describes empty lists (5 mutations)
  50. 3.34 s [sydtest-mutation-example-mutation-report] coverage (22/61): running Example\.LocalDisableLibSpec.withInnerDisabled.is False when given True
  51. 3.34 s [sydtest-mutation-example-mutation-report] coverage (19/61): done Example\.OtherwiseLibSpec.classify.classifies zero (10 mutations)
  52. 3.34 s [sydtest-mutation-example-mutation-report] coverage (21/61): running Example\.OtherwiseLibSpec.classify.classifies negative numbers
  53. 3.35 s [sydtest-mutation-example-mutation-report] coverage (20/61): done Example\.OtherwiseLibSpec.classify.classifies positive numbers (10 mutations)
  54. 3.35 s [sydtest-mutation-example-mutation-report] coverage (23/61): running Example\.LocalDisableLibSpec.withInnerDisabled.is True when given False
  55. 3.36 s [sydtest-mutation-example-mutation-report] coverage (22/61): done Example\.LocalDisableLibSpec.withInnerDisabled.is False when given True (6 mutations)
  56. 3.36 s [sydtest-mutation-example-mutation-report] coverage (25/61): running Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (False -> True)
  57. 3.36 s [sydtest-mutation-example-mutation-report] coverage (21/61): done Example\.OtherwiseLibSpec.classify.classifies negative numbers (7 mutations)
  58. 3.36 s [sydtest-mutation-example-mutation-report] coverage (24/61): running Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (True -> False)
  59. 3.37 s [sydtest-mutation-example-mutation-report] coverage (23/61): done Example\.LocalDisableLibSpec.withInnerDisabled.is True when given False (6 mutations)
  60. 3.37 s [sydtest-mutation-example-mutation-report] coverage (27/61): running Example\.LocalDisableLibSpec.withInnerKept.is True when given False
  61. 3.38 s [sydtest-mutation-example-mutation-report] coverage (25/61): done Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (False -> True) (6 mutations)
  62. 3.38 s [sydtest-mutation-example-mutation-report] coverage (26/61): running Example\.LocalDisableLibSpec.withInnerKept.is False when given True
  63. 3.38 s [sydtest-mutation-example-mutation-report] coverage (24/61): done Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (True -> False) (6 mutations)
  64. 3.38 s [sydtest-mutation-example-mutation-report] coverage (28/61): running Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is True when given False
  65. 3.39 s [sydtest-mutation-example-mutation-report] coverage (27/61): done Example\.LocalDisableLibSpec.withInnerKept.is True when given False (12 mutations)
  66. 3.39 s [sydtest-mutation-example-mutation-report] coverage (29/61): running Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is False when given True
  67. 3.40 s [sydtest-mutation-example-mutation-report] coverage (26/61): done Example\.LocalDisableLibSpec.withInnerKept.is False when given True (12 mutations)
  68. 3.40 s [sydtest-mutation-example-mutation-report] coverage (31/61): running Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (True -> False)
  69. 3.40 s [sydtest-mutation-example-mutation-report] coverage (28/61): done Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is True when given False (8 mutations)
  70. 3.40 s [sydtest-mutation-example-mutation-report] coverage (30/61): running Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (False -> True)
  71. 3.41 s [sydtest-mutation-example-mutation-report] coverage (29/61): done Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is False when given True (8 mutations)
  72. 3.41 s [sydtest-mutation-example-mutation-report] coverage (32/61): running Example\.ExceptionLibSpec.addOneModuleDisabled.increments by one
  73. 3.42 s [sydtest-mutation-example-mutation-report] coverage (31/61): done Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (True -> False) (3 mutations)
  74. 3.42 s [sydtest-mutation-example-mutation-report] coverage (33/61): running Example\.ConstFnLibSpec.impliesPair.accepts (True, True)
  75. 3.42 s [sydtest-mutation-example-mutation-report] coverage (30/61): done Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (False -> True) (3 mutations)
  76. 3.42 s [sydtest-mutation-example-mutation-report] coverage (34/61): running Example\.ConstFnLibSpec.impliesPair.rejects (True, False)
  77. 3.43 s [sydtest-mutation-example-mutation-report] coverage (32/61): done Example\.ExceptionLibSpec.addOneModuleDisabled.increments by one (0 mutations)
  78. 3.43 s [sydtest-mutation-example-mutation-report] coverage (35/61): running Example\.ConstFnLibSpec.impliesPair.accepts (False, False)
  79. 3.44 s [sydtest-mutation-example-mutation-report] coverage (33/61): done Example\.ConstFnLibSpec.impliesPair.accepts (True, True) (22 mutations)
  80. 3.44 s [sydtest-mutation-example-mutation-report] coverage (36/61): running Example\.ConstFnLibSpec.majorityOf5.matches the reference majority on every boolean input
  81. 3.45 s [sydtest-mutation-example-mutation-report] coverage (34/61): done Example\.ConstFnLibSpec.impliesPair.rejects (True, False) (22 mutations)
  82. 3.45 s [sydtest-mutation-example-mutation-report] coverage (38/61): running Example\.ConstFnLibSpec.majorityOf5.is False when only 2 of 5 are True
  83. 3.45 s [sydtest-mutation-example-mutation-report] coverage (35/61): done Example\.ConstFnLibSpec.impliesPair.accepts (False, False) (16 mutations)
  84. 3.45 s [sydtest-mutation-example-mutation-report] coverage (39/61): running Example\.ConstFnLibSpec.majorityOf5.is True when all 5 are True
  85. 3.46 s [sydtest-mutation-example-mutation-report] coverage (36/61): done Example\.ConstFnLibSpec.majorityOf5.matches the reference majority on every boolean input (35 mutations)
  86. 3.46 s [sydtest-mutation-example-mutation-report] coverage (37/61): running Example\.ConstFnLibSpec.majorityOf5.is False when all 5 are False
  87. 3.47 s [sydtest-mutation-example-mutation-report] coverage (38/61): done Example\.ConstFnLibSpec.majorityOf5.is False when only 2 of 5 are True (35 mutations)
  88. 3.47 s [sydtest-mutation-example-mutation-report] coverage (40/61): running Example\.ConstFnLibSpec.majorityOf5.is True when 3 of 5 are True
  89. 3.47 s [sydtest-mutation-example-mutation-report] coverage (39/61): done Example\.ConstFnLibSpec.majorityOf5.is True when all 5 are True (35 mutations)
  90. 3.47 s [sydtest-mutation-example-mutation-report] coverage (41/61): running Example\.ConstFnLibSpec.implies.True implies True
  91. 3.48 s [sydtest-mutation-example-mutation-report] coverage (37/61): done Example\.ConstFnLibSpec.majorityOf5.is False when all 5 are False (35 mutations)
  92. 3.48 s [sydtest-mutation-example-mutation-report] coverage (42/61): running Example\.ConstFnLibSpec.implies.False implies anything
  93. 3.48 s [sydtest-mutation-example-mutation-report] coverage (2/61): done Example\.LibSpec.addOne.returns 6 for input 5 (4 mutations)
  94. 3.48 s [sydtest-mutation-example-mutation-report] coverage (44/61): running Example\.ConstFnLibSpec.firstChar.returns Nothing for the empty string
  95. 3.49 s [sydtest-mutation-example-mutation-report] coverage (41/61): done Example\.ConstFnLibSpec.implies.True implies True (13 mutations)
  96. 3.49 s [sydtest-mutation-example-mutation-report] coverage (45/61): running Example\.ConstFnLibSpec.firstChar.returns Just the first character of a non-empty string
  97. 3.50 s [sydtest-mutation-example-mutation-report] coverage (42/61): done Example\.ConstFnLibSpec.implies.False implies anything (10 mutations)
  98. 3.50 s [sydtest-mutation-example-mutation-report] coverage (46/61): running Example\.ConstFnLibSpec.majorityOf5Wrapper.matches the reference majority on every boolean input
  99. 3.50 s [sydtest-mutation-example-mutation-report] coverage (44/61): done Example\.ConstFnLibSpec.firstChar.returns Nothing for the empty string (2 mutations)
  100. 3.50 s [sydtest-mutation-example-mutation-report] coverage (48/61): running Example\.ConstFnLibSpec.majorityOf5Wrapper.agrees with majorityOf5 on a 3-out-of-5 tuple
  101. 3.52 s [sydtest-mutation-example-mutation-report] coverage (40/61): done Example\.ConstFnLibSpec.majorityOf5.is True when 3 of 5 are True (35 mutations)
  102. 3.52 s [sydtest-mutation-example-mutation-report] coverage (47/61): running Example\.ConstFnLibSpec.majorityOf5Wrapper.agrees with majorityOf5 on a 2-out-of-5 tuple
  103. 3.52 s [sydtest-mutation-example-mutation-report] coverage (45/61): done Example\.ConstFnLibSpec.firstChar.returns Just the first character of a non-empty string (3 mutations)
  104. 3.52 s [sydtest-mutation-example-mutation-report] coverage (50/61): running Example\.ConstFnLibSpec.digitsOf.returns the whole string when every character is a digit
  105. 3.52 s [sydtest-mutation-example-mutation-report] coverage (48/61): done Example\.ConstFnLibSpec.majorityOf5Wrapper.agrees with majorityOf5 on a 3-out-of-5 tuple (53 mutations)
  106. 3.52 s [sydtest-mutation-example-mutation-report] coverage (49/61): running Example\.ConstFnLibSpec.digitsOf.keeps only the digits
  107. 3.53 s [sydtest-mutation-example-mutation-report] coverage (50/61): done Example\.ConstFnLibSpec.digitsOf.returns the whole string when every character is a digit (6 mutations)
  108. 3.53 s [sydtest-mutation-example-mutation-report] coverage (51/61): running Example\.ConstFnLibSpec.digitsOf.returns the empty string when no character is a digit
  109. 3.53 s [sydtest-mutation-example-mutation-report] coverage (47/61): done Example\.ConstFnLibSpec.majorityOf5Wrapper.agrees with majorityOf5 on a 2-out-of-5 tuple (53 mutations)
  110. 3.54 s [sydtest-mutation-example-mutation-report] coverage (52/61): running Example\.BoolLibSpec.wrapTrue.is Just True
  111. 3.54 s [sydtest-mutation-example-mutation-report] coverage (49/61): done Example\.ConstFnLibSpec.digitsOf.keeps only the digits (6 mutations)
  112. 3.54 s [sydtest-mutation-example-mutation-report] coverage (54/61): running Example\.BoolLibSpec.negateWrapped.negates Just True to Just False
  113. 3.55 s [sydtest-mutation-example-mutation-report] coverage (52/61): done Example\.BoolLibSpec.wrapTrue.is Just True (2 mutations)
  114. 3.55 s [sydtest-mutation-example-mutation-report] coverage (53/61): running Example\.BoolLibSpec.wrapFalse.is Just False
  115. 3.56 s [sydtest-mutation-example-mutation-report] coverage (51/61): done Example\.ConstFnLibSpec.digitsOf.returns the empty string when no character is a digit (6 mutations)
  116. 3.56 s [sydtest-mutation-example-mutation-report] coverage (55/61): running Example\.BoolLibSpec.negateWrapped.leaves Nothing as Nothing
  117. 3.56 s [sydtest-mutation-example-mutation-report] coverage (54/61): done Example\.BoolLibSpec.negateWrapped.negates Just True to Just False (4 mutations)
  118. 3.56 s [sydtest-mutation-example-mutation-report] coverage (56/61): running Example\.BoolLibSpec.negateWrapped.negates Just False to Just True
  119. 3.57 s [sydtest-mutation-example-mutation-report] coverage (46/61): done Example\.ConstFnLibSpec.majorityOf5Wrapper.matches the reference majority on every boolean input (53 mutations)
  120. 3.57 s [sydtest-mutation-example-mutation-report] coverage (58/61): running Example\.ListLibSpec.pairConcat.concatenates both arguments
  121. 3.57 s [sydtest-mutation-example-mutation-report] coverage (53/61): done Example\.BoolLibSpec.wrapFalse.is Just False (2 mutations)
  122. 3.57 s [sydtest-mutation-example-mutation-report] coverage (60/61): running Example\.ListLibSpec.tripleConcat.distinguishes the last element
  123. 3.57 s [sydtest-mutation-example-mutation-report] coverage (55/61): done Example\.BoolLibSpec.negateWrapped.leaves Nothing as Nothing (2 mutations)
  124. 3.57 s [sydtest-mutation-example-mutation-report] coverage (59/61): running Example\.ListLibSpec.tripleConcat.concatenates all three arguments
  125. 3.58 s [sydtest-mutation-example-mutation-report] coverage (56/61): done Example\.BoolLibSpec.negateWrapped.negates Just False to Just True (4 mutations)
  126. 3.58 s [sydtest-mutation-example-mutation-report] coverage (61/61): running Example\.ListLibSpec.tripleConcat.distinguishes the first element
  127. 3.59 s [sydtest-mutation-example-mutation-report] coverage (58/61): done Example\.ListLibSpec.pairConcat.concatenates both arguments (6 mutations)
  128. 3.59 s [sydtest-mutation-example-mutation-report] coverage (57/61): running Example\.ListLibSpec.pairConcat.preserves the order
  129. 3.59 s [sydtest-mutation-example-mutation-report] coverage (60/61): done Example\.ListLibSpec.tripleConcat.distinguishes the last element (8 mutations)
  130. 3.59 s [sydtest-mutation-example-mutation-report] coverage (43/61): running Example\.ConstFnLibSpec.implies.True does not imply False
  131. 3.59 s [sydtest-mutation-example-mutation-report] coverage (59/61): done Example\.ListLibSpec.tripleConcat.concatenates all three arguments (8 mutations)
  132. 3.60 s [sydtest-mutation-example-mutation-report] coverage (61/61): done Example\.ListLibSpec.tripleConcat.distinguishes the first element (8 mutations)
  133. 3.61 s [sydtest-mutation-example-mutation-report] coverage (57/61): done Example\.ListLibSpec.pairConcat.preserves the order (6 mutations)
  134. 3.61 s [sydtest-mutation-example-mutation-report] coverage (43/61): done Example\.ConstFnLibSpec.implies.True does not imply False (13 mutations)
  135. 3.70 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:71:33-34 #1
  136. 3.70 s [sydtest-mutation-example-mutation-report] @@ -68,7 +68,7 @@
  137. 3.70 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  138. 3.70 s [sydtest-mutation-example-mutation-report] majorityOf5 :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool
  139. 3.70 s [sydtest-mutation-example-mutation-report] majorityOf5 a b c d e =
  140. 3.70 s [sydtest-mutation-example-mutation-report] - let n = length (filter id [a, b, c, d, e]) in n >= 3
  141. 3.70 s [sydtest-mutation-example-mutation-report] + let n = length (filter id [a, True, c, d, e]) in n >= 3
  142. 3.70 s [sydtest-mutation-example-mutation-report]
  143. 3.70 s [sydtest-mutation-example-mutation-report] -- | A wrapper that references 'majorityOf5' as a bare arity-5 name.
  144. 3.70 s [sydtest-mutation-example-mutation-report] --
  145. 3.70 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:71:30-31 #1
  146. 3.70 s [sydtest-mutation-example-mutation-report] @@ -68,7 +68,7 @@
  147. 3.70 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  148. 3.70 s [sydtest-mutation-example-mutation-report] majorityOf5 :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool
  149. 3.70 s [sydtest-mutation-example-mutation-report] majorityOf5 a b c d e =
  150. 3.70 s [sydtest-mutation-example-mutation-report] - let n = length (filter id [a, b, c, d, e]) in n >= 3
  151. 3.70 s [sydtest-mutation-example-mutation-report] + let n = length (filter id [True, b, c, d, e]) in n >= 3
  152. 3.70 s [sydtest-mutation-example-mutation-report]
  153. 3.70 s [sydtest-mutation-example-mutation-report] -- | A wrapper that references 'majorityOf5' as a bare arity-5 name.
  154. 3.70 s [sydtest-mutation-example-mutation-report] --
  155. 3.70 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:71:42-43 #1
  156. 3.70 s [sydtest-mutation-example-mutation-report] @@ -68,7 +68,7 @@
  157. 3.70 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  158. 3.70 s [sydtest-mutation-example-mutation-report] majorityOf5 :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool
  159. 3.70 s [sydtest-mutation-example-mutation-report] majorityOf5 a b c d e =
  160. 3.70 s [sydtest-mutation-example-mutation-report] - let n = length (filter id [a, b, c, d, e]) in n >= 3
  161. 3.70 s [sydtest-mutation-example-mutation-report] + let n = length (filter id [a, b, c, d, True]) in n >= 3
  162. 3.70 s [sydtest-mutation-example-mutation-report]
  163. 3.70 s [sydtest-mutation-example-mutation-report] -- | A wrapper that references 'majorityOf5' as a bare arity-5 name.
  164. 3.70 s [sydtest-mutation-example-mutation-report] --
  165. 3.70 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:71:39-40 #1
  166. 3.70 s [sydtest-mutation-example-mutation-report] @@ -68,7 +68,7 @@
  167. 3.70 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  168. 3.70 s [sydtest-mutation-example-mutation-report] majorityOf5 :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool
  169. 3.70 s [sydtest-mutation-example-mutation-report] majorityOf5 a b c d e =
  170. 3.70 s [sydtest-mutation-example-mutation-report] - let n = length (filter id [a, b, c, d, e]) in n >= 3
  171. 3.70 s [sydtest-mutation-example-mutation-report] + let n = length (filter id [a, b, c, True, e]) in n >= 3
  172. 3.70 s [sydtest-mutation-example-mutation-report]
  173. 3.70 s [sydtest-mutation-example-mutation-report] -- | A wrapper that references 'majorityOf5' as a bare arity-5 name.
  174. 3.70 s [sydtest-mutation-example-mutation-report] --
  175. 3.70 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/ConstFnLib.hs:71:30-31 #1
  176. 3.70 s [sydtest-mutation-example-mutation-report] @@ -68,7 +68,7 @@
  177. 3.70 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  178. 3.70 s [sydtest-mutation-example-mutation-report] majorityOf5 :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool
  179. 3.70 s [sydtest-mutation-example-mutation-report] majorityOf5 a b c d e =
  180. 3.70 s [sydtest-mutation-example-mutation-report] - let n = length (filter id [a, b, c, d, e]) in n >= 3
  181. 3.70 s [sydtest-mutation-example-mutation-report] + let n = length (filter id [not (a), b, c, d, e]) in n >= 3
  182. 3.70 s [sydtest-mutation-example-mutation-report]
  183. 3.70 s [sydtest-mutation-example-mutation-report] -- | A wrapper that references 'majorityOf5' as a bare arity-5 name.
  184. 3.70 s [sydtest-mutation-example-mutation-report] --
  185. 3.70 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/ConstFnLib.hs:71:39-40 #1
  186. 3.70 s [sydtest-mutation-example-mutation-report] @@ -68,7 +68,7 @@
  187. 3.70 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  188. 3.70 s [sydtest-mutation-example-mutation-report] majorityOf5 :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool
  189. 3.71 s [sydtest-mutation-example-mutation-report] majorityOf5 a b c d e =
  190. 3.71 s [sydtest-mutation-example-mutation-report] - let n = length (filter id [a, b, c, d, e]) in n >= 3
  191. 3.71 s [sydtest-mutation-example-mutation-report] + let n = length (filter id [a, b, c, not (d), e]) in n >= 3
  192. 3.71 s [sydtest-mutation-example-mutation-report]
  193. 3.71 s [sydtest-mutation-example-mutation-report] -- | A wrapper that references 'majorityOf5' as a bare arity-5 name.
  194. 3.71 s [sydtest-mutation-example-mutation-report] --
  195. 3.71 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:71:26-28 #1
  196. 3.71 s [sydtest-mutation-example-mutation-report] @@ -68,7 +68,7 @@
  197. 3.71 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  198. 3.71 s [sydtest-mutation-example-mutation-report] majorityOf5 :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool
  199. 3.71 s [sydtest-mutation-example-mutation-report] majorityOf5 a b c d e =
  200. 3.71 s [sydtest-mutation-example-mutation-report] - let n = length (filter id [a, b, c, d, e]) in n >= 3
  201. 3.71 s [sydtest-mutation-example-mutation-report] + let n = length (filter (\_ -> True) [a, b, c, d, e]) in n >= 3
  202. 3.71 s [sydtest-mutation-example-mutation-report]
  203. 3.71 s [sydtest-mutation-example-mutation-report] -- | A wrapper that references 'majorityOf5' as a bare arity-5 name.
  204. 3.71 s [sydtest-mutation-example-mutation-report] --
  205. 3.71 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/ConstFnLib.hs:71:33-34 #1
  206. 3.71 s [sydtest-mutation-example-mutation-report] @@ -68,7 +68,7 @@
  207. 3.71 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  208. 3.71 s [sydtest-mutation-example-mutation-report] majorityOf5 :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool
  209. 3.71 s [sydtest-mutation-example-mutation-report] majorityOf5 a b c d e =
  210. 3.71 s [sydtest-mutation-example-mutation-report] - let n = length (filter id [a, b, c, d, e]) in n >= 3
  211. 3.71 s [sydtest-mutation-example-mutation-report] + let n = length (filter id [a, not (b), c, d, e]) in n >= 3
  212. 3.71 s [sydtest-mutation-example-mutation-report]
  213. 3.71 s [sydtest-mutation-example-mutation-report] -- | A wrapper that references 'majorityOf5' as a bare arity-5 name.
  214. 3.71 s [sydtest-mutation-example-mutation-report] --
  215. 3.71 s [sydtest-mutation-example-mutation-report] Testing mutation ConstEmptyList at src/Example/ConstFnLib.hs:71:29-44 #1
  216. 3.71 s [sydtest-mutation-example-mutation-report] @@ -68,7 +68,7 @@
  217. 3.71 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  218. 3.71 s [sydtest-mutation-example-mutation-report] majorityOf5 :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool
  219. 3.71 s [sydtest-mutation-example-mutation-report] majorityOf5 a b c d e =
  220. 3.71 s [sydtest-mutation-example-mutation-report] - let n = length (filter id [a, b, c, d, e]) in n >= 3
  221. 3.71 s [sydtest-mutation-example-mutation-report] + let n = length (filter id []) in n >= 3
  222. 3.71 s [sydtest-mutation-example-mutation-report]
  223. 3.71 s [sydtest-mutation-example-mutation-report] -- | A wrapper that references 'majorityOf5' as a bare arity-5 name.
  224. 3.71 s [sydtest-mutation-example-mutation-report] --
  225. 3.71 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/ConstFnLib.hs:71:42-43 #1
  226. 3.71 s [sydtest-mutation-example-mutation-report] @@ -68,7 +68,7 @@
  227. 3.71 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  228. 3.71 s [sydtest-mutation-example-mutation-report] majorityOf5 :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool
  229. 3.71 s [sydtest-mutation-example-mutation-report] majorityOf5 a b c d e =
  230. 3.71 s [sydtest-mutation-example-mutation-report] - let n = length (filter id [a, b, c, d, e]) in n >= 3
  231. 3.71 s [sydtest-mutation-example-mutation-report] + let n = length (filter id [a, b, c, d, not (e)]) in n >= 3
  232. 3.71 s [sydtest-mutation-example-mutation-report]
  233. 3.71 s [sydtest-mutation-example-mutation-report] -- | A wrapper that references 'majorityOf5' as a bare arity-5 name.
  234. 3.71 s [sydtest-mutation-example-mutation-report] --
  235. 3.71 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:71:36-37 #1
  236. 3.71 s [sydtest-mutation-example-mutation-report] @@ -68,7 +68,7 @@
  237. 3.71 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  238. 3.71 s [sydtest-mutation-example-mutation-report] majorityOf5 :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool
  239. 3.71 s [sydtest-mutation-example-mutation-report] majorityOf5 a b c d e =
  240. 3.71 s [sydtest-mutation-example-mutation-report] - let n = length (filter id [a, b, c, d, e]) in n >= 3
  241. 3.71 s [sydtest-mutation-example-mutation-report] + let n = length (filter id [a, b, True, d, e]) in n >= 3
  242. 3.71 s [sydtest-mutation-example-mutation-report]
  243. 3.71 s [sydtest-mutation-example-mutation-report] -- | A wrapper that references 'majorityOf5' as a bare arity-5 name.
  244. 3.71 s [sydtest-mutation-example-mutation-report] --
  245. 3.71 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/ConstFnLib.hs:71:36-37 #1
  246. 3.71 s [sydtest-mutation-example-mutation-report] @@ -68,7 +68,7 @@
  247. 3.71 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  248. 3.71 s [sydtest-mutation-example-mutation-report] majorityOf5 :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool
  249. 3.71 s [sydtest-mutation-example-mutation-report] majorityOf5 a b c d e =
  250. 3.71 s [sydtest-mutation-example-mutation-report] - let n = length (filter id [a, b, c, d, e]) in n >= 3
  251. 3.71 s [sydtest-mutation-example-mutation-report] + let n = length (filter id [a, b, not (c), d, e]) in n >= 3
  252. 3.71 s [sydtest-mutation-example-mutation-report]
  253. 3.71 s [sydtest-mutation-example-mutation-report] -- | A wrapper that references 'majorityOf5' as a bare arity-5 name.
  254. 3.71 s [sydtest-mutation-example-mutation-report] --
  255. 3.71 s [sydtest-mutation-example-mutation-report] Testing mutation ConstEmptyList at src/Example/ConstFnLib.hs:71:19-44 #1
  256. 3.71 s [sydtest-mutation-example-mutation-report] @@ -68,7 +68,7 @@
  257. 3.71 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  258. 3.71 s [sydtest-mutation-example-mutation-report] majorityOf5 :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool
  259. 3.71 s [sydtest-mutation-example-mutation-report] majorityOf5 a b c d e =
  260. 3.71 s [sydtest-mutation-example-mutation-report] - let n = length (filter id [a, b, c, d, e]) in n >= 3
  261. 3.71 s [sydtest-mutation-example-mutation-report] + let n = length ([]) in n >= 3
  262. 3.71 s [sydtest-mutation-example-mutation-report]
  263. 3.71 s [sydtest-mutation-example-mutation-report] -- | A wrapper that references 'majorityOf5' as a bare arity-5 name.
  264. 3.71 s [sydtest-mutation-example-mutation-report] --
  265. 3.71 s [sydtest-mutation-example-mutation-report] Testing mutation ConstEmptyList at src/Example/ConstFnLib.hs:71:18-45 #1
  266. 3.71 s [sydtest-mutation-example-mutation-report] @@ -68,7 +68,7 @@
  267. 3.71 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  268. 3.71 s [sydtest-mutation-example-mutation-report] majorityOf5 :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool
  269. 3.71 s [sydtest-mutation-example-mutation-report] majorityOf5 a b c d e =
  270. 3.71 s [sydtest-mutation-example-mutation-report] - let n = length (filter id [a, b, c, d, e]) in n >= 3
  271. 3.71 s [sydtest-mutation-example-mutation-report] + let n = length [] in n >= 3
  272. 3.71 s [sydtest-mutation-example-mutation-report]
  273. 3.71 s [sydtest-mutation-example-mutation-report] -- | A wrapper that references 'majorityOf5' as a bare arity-5 name.
  274. 3.71 s [sydtest-mutation-example-mutation-report] --
  275. 3.75 s [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/ConstFnLib.hs:71:54-55 #1
  276. 3.75 s [sydtest-mutation-example-mutation-report] @@ -68,7 +68,7 @@
  277. 3.75 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  278. 3.75 s [sydtest-mutation-example-mutation-report] majorityOf5 :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool
  279. 3.75 s [sydtest-mutation-example-mutation-report] majorityOf5 a b c d e =
  280. 3.75 s [sydtest-mutation-example-mutation-report] - let n = length (filter id [a, b, c, d, e]) in n >= 3
  281. 3.75 s [sydtest-mutation-example-mutation-report] + let n = length (filter id [a, b, c, d, e]) in n >= 0
  282. 3.75 s [sydtest-mutation-example-mutation-report]
  283. 3.76 s [sydtest-mutation-example-mutation-report] -- | A wrapper that references 'majorityOf5' as a bare arity-5 name.
  284. 3.76 s [sydtest-mutation-example-mutation-report] --
  285. 3.76 s [sydtest-mutation-example-mutation-report] Testing mutation ListLit at src/Example/ConstFnLib.hs:71:29-44 #1
  286. 3.76 s [sydtest-mutation-example-mutation-report] @@ -68,7 +68,6 @@
  287. 3.76 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  288. 3.76 s [sydtest-mutation-example-mutation-report] majorityOf5 :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool
  289. 3.76 s [sydtest-mutation-example-mutation-report] majorityOf5 a b c d e =
  290. 3.76 s [sydtest-mutation-example-mutation-report] - let n = length (filter id [a, b, c, d, e]) in n >= 3
  291. 3.76 s [sydtest-mutation-example-mutation-report]
  292. 3.76 s [sydtest-mutation-example-mutation-report] -- | A wrapper that references 'majorityOf5' as a bare arity-5 name.
  293. 3.76 s [sydtest-mutation-example-mutation-report] --
  294. 3.76 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/ConstFnLib.hs:71:49-55 #1
  295. 3.76 s [sydtest-mutation-example-mutation-report] @@ -68,7 +68,7 @@
  296. 3.76 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  297. 3.76 s [sydtest-mutation-example-mutation-report] majorityOf5 :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool
  298. 3.76 s [sydtest-mutation-example-mutation-report] majorityOf5 a b c d e =
  299. 3.76 s [sydtest-mutation-example-mutation-report] - let n = length (filter id [a, b, c, d, e]) in n >= 3
  300. 3.76 s [sydtest-mutation-example-mutation-report] + let n = length (filter id [a, b, c, d, e]) in n < 3
  301. 3.76 s [sydtest-mutation-example-mutation-report]
  302. 3.76 s [sydtest-mutation-example-mutation-report] -- | A wrapper that references 'majorityOf5' as a bare arity-5 name.
  303. 3.76 s [sydtest-mutation-example-mutation-report] --
  304. 3.76 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:71:49-55 #1
  305. 3.76 s [sydtest-mutation-example-mutation-report] @@ -68,7 +68,7 @@
  306. 3.76 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  307. 3.76 s [sydtest-mutation-example-mutation-report] majorityOf5 :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool
  308. 3.76 s [sydtest-mutation-example-mutation-report] majorityOf5 a b c d e =
  309. 3.76 s [sydtest-mutation-example-mutation-report] - let n = length (filter id [a, b, c, d, e]) in n >= 3
  310. 3.76 s [sydtest-mutation-example-mutation-report] + let n = length (filter id [a, b, c, d, e]) in True
  311. 3.76 s [sydtest-mutation-example-mutation-report]
  312. 3.76 s [sydtest-mutation-example-mutation-report] -- | A wrapper that references 'majorityOf5' as a bare arity-5 name.
  313. 3.76 s [sydtest-mutation-example-mutation-report] --
  314. 3.76 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/ConstFnLib.hs:71:49-55 #1
  315. 3.76 s [sydtest-mutation-example-mutation-report] @@ -68,7 +68,7 @@
  316. 3.76 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  317. 3.76 s [sydtest-mutation-example-mutation-report] majorityOf5 :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool
  318. 3.76 s [sydtest-mutation-example-mutation-report] majorityOf5 a b c d e =
  319. 3.76 s [sydtest-mutation-example-mutation-report] - let n = length (filter id [a, b, c, d, e]) in n >= 3
  320. 3.76 s [sydtest-mutation-example-mutation-report] + let n = length (filter id [a, b, c, d, e]) in not (n >= 3)
  321. 3.76 s [sydtest-mutation-example-mutation-report]
  322. 3.76 s [sydtest-mutation-example-mutation-report] -- | A wrapper that references 'majorityOf5' as a bare arity-5 name.
  323. 3.76 s [sydtest-mutation-example-mutation-report] --
  324. 3.76 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:71:3-55 #1
  325. 3.76 s [sydtest-mutation-example-mutation-report] @@ -68,7 +68,7 @@
  326. 3.76 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  327. 3.76 s [sydtest-mutation-example-mutation-report] majorityOf5 :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool
  328. 3.76 s [sydtest-mutation-example-mutation-report] majorityOf5 a b c d e =
  329. 3.76 s [sydtest-mutation-example-mutation-report] - let n = length (filter id [a, b, c, d, e]) in n >= 3
  330. 3.76 s [sydtest-mutation-example-mutation-report] + True
  331. 3.76 s [sydtest-mutation-example-mutation-report]
  332. 3.76 s [sydtest-mutation-example-mutation-report] -- | A wrapper that references 'majorityOf5' as a bare arity-5 name.
  333. 3.76 s [sydtest-mutation-example-mutation-report] --
  334. 3.76 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:81:50-51 #1
  335. 3.76 s [sydtest-mutation-example-mutation-report] @@ -78,4 +78,4 @@
  336. 3.76 s [sydtest-mutation-example-mutation-report] -- @(\\_ _ _ _ _ -> False)@ mutants. At a non-infix site this uses
  337. 3.76 s [sydtest-mutation-example-mutation-report] -- the plain 'TokenReplace' delta (no 'ReplaceOuterSpan' is needed).
  338. 3.76 s [sydtest-mutation-example-mutation-report] majorityOf5Wrapper :: (Bool, Bool, Bool, Bool, Bool) -> Bool
  339. 3.76 s [sydtest-mutation-example-mutation-report] -majorityOf5Wrapper (a, b, c, d, e) = majorityOf5 a b c d e
  340. 3.76 s [sydtest-mutation-example-mutation-report] +majorityOf5Wrapper (a, b, c, d, e) = majorityOf5 True b c d e
  341. 3.76 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:81:52-53 #1
  342. 3.76 s [sydtest-mutation-example-mutation-report] @@ -78,4 +78,4 @@
  343. 3.76 s [sydtest-mutation-example-mutation-report] -- @(\\_ _ _ _ _ -> False)@ mutants. At a non-infix site this uses
  344. 3.76 s [sydtest-mutation-example-mutation-report] -- the plain 'TokenReplace' delta (no 'ReplaceOuterSpan' is needed).
  345. 3.76 s [sydtest-mutation-example-mutation-report] majorityOf5Wrapper :: (Bool, Bool, Bool, Bool, Bool) -> Bool
  346. 3.76 s [sydtest-mutation-example-mutation-report] -majorityOf5Wrapper (a, b, c, d, e) = majorityOf5 a b c d e
  347. 3.76 s [sydtest-mutation-example-mutation-report] +majorityOf5Wrapper (a, b, c, d, e) = majorityOf5 a True c d e
  348. 3.76 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/ConstFnLib.hs:71:3-55 #1
  349. 3.76 s [sydtest-mutation-example-mutation-report] @@ -68,7 +68,7 @@
  350. 3.76 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  351. 3.76 s [sydtest-mutation-example-mutation-report] majorityOf5 :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool
  352. 3.76 s [sydtest-mutation-example-mutation-report] majorityOf5 a b c d e =
  353. 3.76 s [sydtest-mutation-example-mutation-report] - let n = length (filter id [a, b, c, d, e]) in n >= 3
  354. 3.76 s [sydtest-mutation-example-mutation-report] + not (let n = length (filter id [a, b, c, d, e]) in n >= 3)
  355. 3.76 s [sydtest-mutation-example-mutation-report]
  356. 3.76 s [sydtest-mutation-example-mutation-report] -- | A wrapper that references 'majorityOf5' as a bare arity-5 name.
  357. 3.76 s [sydtest-mutation-example-mutation-report] --
  358. 3.76 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/ConstFnLib.hs:81:52-53 #1
  359. 3.76 s [sydtest-mutation-example-mutation-report] @@ -78,4 +78,4 @@
  360. 3.76 s [sydtest-mutation-example-mutation-report] -- @(\\_ _ _ _ _ -> False)@ mutants. At a non-infix site this uses
  361. 3.76 s [sydtest-mutation-example-mutation-report] -- the plain 'TokenReplace' delta (no 'ReplaceOuterSpan' is needed).
  362. 3.76 s [sydtest-mutation-example-mutation-report] majorityOf5Wrapper :: (Bool, Bool, Bool, Bool, Bool) -> Bool
  363. 3.76 s [sydtest-mutation-example-mutation-report] -majorityOf5Wrapper (a, b, c, d, e) = majorityOf5 a b c d e
  364. 3.76 s [sydtest-mutation-example-mutation-report] +majorityOf5Wrapper (a, b, c, d, e) = majorityOf5 a not (b) c d e
  365. 3.76 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/ConstFnLib.hs:81:50-51 #1
  366. 3.76 s [sydtest-mutation-example-mutation-report] @@ -78,4 +78,4 @@
  367. 3.76 s [sydtest-mutation-example-mutation-report] -- @(\\_ _ _ _ _ -> False)@ mutants. At a non-infix site this uses
  368. 3.76 s [sydtest-mutation-example-mutation-report] -- the plain 'TokenReplace' delta (no 'ReplaceOuterSpan' is needed).
  369. 3.76 s [sydtest-mutation-example-mutation-report] majorityOf5Wrapper :: (Bool, Bool, Bool, Bool, Bool) -> Bool
  370. 3.76 s [sydtest-mutation-example-mutation-report] -majorityOf5Wrapper (a, b, c, d, e) = majorityOf5 a b c d e
  371. 3.76 s [sydtest-mutation-example-mutation-report] +majorityOf5Wrapper (a, b, c, d, e) = majorityOf5 not (a) b c d e
  372. 3.76 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:81:54-55 #1
  373. 3.76 s [sydtest-mutation-example-mutation-report] @@ -78,4 +78,4 @@
  374. 3.76 s [sydtest-mutation-example-mutation-report] -- @(\\_ _ _ _ _ -> False)@ mutants. At a non-infix site this uses
  375. 3.76 s [sydtest-mutation-example-mutation-report] -- the plain 'TokenReplace' delta (no 'ReplaceOuterSpan' is needed).
  376. 3.76 s [sydtest-mutation-example-mutation-report] majorityOf5Wrapper :: (Bool, Bool, Bool, Bool, Bool) -> Bool
  377. 3.76 s [sydtest-mutation-example-mutation-report] -majorityOf5Wrapper (a, b, c, d, e) = majorityOf5 a b c d e
  378. 3.76 s [sydtest-mutation-example-mutation-report] +majorityOf5Wrapper (a, b, c, d, e) = majorityOf5 a b True d e
  379. 3.76 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/ConstFnLib.hs:81:54-55 #1
  380. 3.76 s [sydtest-mutation-example-mutation-report] @@ -78,4 +78,4 @@
  381. 3.76 s [sydtest-mutation-example-mutation-report] -- @(\\_ _ _ _ _ -> False)@ mutants. At a non-infix site this uses
  382. 3.76 s [sydtest-mutation-example-mutation-report] -- the plain 'TokenReplace' delta (no 'ReplaceOuterSpan' is needed).
  383. 3.76 s [sydtest-mutation-example-mutation-report] majorityOf5Wrapper :: (Bool, Bool, Bool, Bool, Bool) -> Bool
  384. 3.76 s [sydtest-mutation-example-mutation-report] -majorityOf5Wrapper (a, b, c, d, e) = majorityOf5 a b c d e
  385. 3.76 s [sydtest-mutation-example-mutation-report] +majorityOf5Wrapper (a, b, c, d, e) = majorityOf5 a b not (c) d e
  386. 3.76 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:81:56-57 #1
  387. 3.76 s [sydtest-mutation-example-mutation-report] @@ -78,4 +78,4 @@
  388. 3.76 s [sydtest-mutation-example-mutation-report] -- @(\\_ _ _ _ _ -> False)@ mutants. At a non-infix site this uses
  389. 3.76 s [sydtest-mutation-example-mutation-report] -- the plain 'TokenReplace' delta (no 'ReplaceOuterSpan' is needed).
  390. 3.76 s [sydtest-mutation-example-mutation-report] majorityOf5Wrapper :: (Bool, Bool, Bool, Bool, Bool) -> Bool
  391. 3.76 s [sydtest-mutation-example-mutation-report] -majorityOf5Wrapper (a, b, c, d, e) = majorityOf5 a b c d e
  392. 3.76 s [sydtest-mutation-example-mutation-report] +majorityOf5Wrapper (a, b, c, d, e) = majorityOf5 a b c True e
  393. 3.76 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/ConstFnLib.hs:81:56-57 #1
  394. 3.76 s [sydtest-mutation-example-mutation-report] @@ -78,4 +78,4 @@
  395. 3.76 s [sydtest-mutation-example-mutation-report] -- @(\\_ _ _ _ _ -> False)@ mutants. At a non-infix site this uses
  396. 3.76 s [sydtest-mutation-example-mutation-report] -- the plain 'TokenReplace' delta (no 'ReplaceOuterSpan' is needed).
  397. 3.76 s [sydtest-mutation-example-mutation-report] majorityOf5Wrapper :: (Bool, Bool, Bool, Bool, Bool) -> Bool
  398. 3.76 s [sydtest-mutation-example-mutation-report] -majorityOf5Wrapper (a, b, c, d, e) = majorityOf5 a b c d e
  399. 3.76 s [sydtest-mutation-example-mutation-report] +majorityOf5Wrapper (a, b, c, d, e) = majorityOf5 a b c not (d) e
  400. 3.83 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/ConstFnLib.hs:81:58-59 #1
  401. 3.83 s [sydtest-mutation-example-mutation-report] @@ -78,4 +78,4 @@
  402. 3.83 s [sydtest-mutation-example-mutation-report] -- @(\\_ _ _ _ _ -> False)@ mutants. At a non-infix site this uses
  403. 3.83 s [sydtest-mutation-example-mutation-report] -- the plain 'TokenReplace' delta (no 'ReplaceOuterSpan' is needed).
  404. 3.83 s [sydtest-mutation-example-mutation-report] majorityOf5Wrapper :: (Bool, Bool, Bool, Bool, Bool) -> Bool
  405. 3.83 s [sydtest-mutation-example-mutation-report] -majorityOf5Wrapper (a, b, c, d, e) = majorityOf5 a b c d e
  406. 3.83 s [sydtest-mutation-example-mutation-report] +majorityOf5Wrapper (a, b, c, d, e) = majorityOf5 a b c d not (e)
  407. 3.83 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:81:58-59 #1
  408. 3.83 s [sydtest-mutation-example-mutation-report] @@ -78,4 +78,4 @@
  409. 3.83 s [sydtest-mutation-example-mutation-report] -- @(\\_ _ _ _ _ -> False)@ mutants. At a non-infix site this uses
  410. 3.83 s [sydtest-mutation-example-mutation-report] -- the plain 'TokenReplace' delta (no 'ReplaceOuterSpan' is needed).
  411. 3.83 s [sydtest-mutation-example-mutation-report] majorityOf5Wrapper :: (Bool, Bool, Bool, Bool, Bool) -> Bool
  412. 3.83 s [sydtest-mutation-example-mutation-report] -majorityOf5Wrapper (a, b, c, d, e) = majorityOf5 a b c d e
  413. 3.83 s [sydtest-mutation-example-mutation-report] +majorityOf5Wrapper (a, b, c, d, e) = majorityOf5 a b c d True
  414. 3.83 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/ConstFnLib.hs:81:38-59 #1
  415. 3.83 s [sydtest-mutation-example-mutation-report] @@ -78,4 +78,4 @@
  416. 3.83 s [sydtest-mutation-example-mutation-report] -- @(\\_ _ _ _ _ -> False)@ mutants. At a non-infix site this uses
  417. 3.83 s [sydtest-mutation-example-mutation-report] -- the plain 'TokenReplace' delta (no 'ReplaceOuterSpan' is needed).
  418. 3.83 s [sydtest-mutation-example-mutation-report] majorityOf5Wrapper :: (Bool, Bool, Bool, Bool, Bool) -> Bool
  419. 3.83 s [sydtest-mutation-example-mutation-report] -majorityOf5Wrapper (a, b, c, d, e) = majorityOf5 a b c d e
  420. 3.83 s [sydtest-mutation-example-mutation-report] +majorityOf5Wrapper (a, b, c, d, e) = not (majorityOf5 a b c d e)
  421. 3.83 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:81:38-59 #1
  422. 3.83 s [sydtest-mutation-example-mutation-report] @@ -78,4 +78,4 @@
  423. 3.83 s [sydtest-mutation-example-mutation-report] -- @(\\_ _ _ _ _ -> False)@ mutants. At a non-infix site this uses
  424. 3.83 s [sydtest-mutation-example-mutation-report] -- the plain 'TokenReplace' delta (no 'ReplaceOuterSpan' is needed).
  425. 3.83 s [sydtest-mutation-example-mutation-report] majorityOf5Wrapper :: (Bool, Bool, Bool, Bool, Bool) -> Bool
  426. 3.83 s [sydtest-mutation-example-mutation-report] -majorityOf5Wrapper (a, b, c, d, e) = majorityOf5 a b c d e
  427. 3.83 s [sydtest-mutation-example-mutation-report] +majorityOf5Wrapper (a, b, c, d, e) = True
  428. 3.83 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:55:19-20 #1
  429. 3.83 s [sydtest-mutation-example-mutation-report] @@ -52,7 +52,7 @@
  430. 3.83 s [sydtest-mutation-example-mutation-report]
  431. 3.83 s [sydtest-mutation-example-mutation-report] -- | Logical implication. Used to exercise 'ConstBool' at arity 2.
  432. 3.83 s [sydtest-mutation-example-mutation-report] implies :: Bool -> Bool -> Bool
  433. 3.83 s [sydtest-mutation-example-mutation-report] -implies a b = not a || b
  434. 3.83 s [sydtest-mutation-example-mutation-report] +implies a b = not True || b
  435. 3.83 s [sydtest-mutation-example-mutation-report]
  436. 3.83 s [sydtest-mutation-example-mutation-report] -- | A wrapper around 'implies' whose body references 'implies' at arity 2
  437. 3.83 s [sydtest-mutation-example-mutation-report] -- as a bare (un-applied) name.
  438. 3.83 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/ConstFnLib.hs:55:19-20 #1
  439. 3.83 s [sydtest-mutation-example-mutation-report] @@ -52,7 +52,7 @@
  440. 3.83 s [sydtest-mutation-example-mutation-report]
  441. 3.83 s [sydtest-mutation-example-mutation-report] -- | Logical implication. Used to exercise 'ConstBool' at arity 2.
  442. 3.83 s [sydtest-mutation-example-mutation-report] implies :: Bool -> Bool -> Bool
  443. 3.83 s [sydtest-mutation-example-mutation-report] -implies a b = not a || b
  444. 3.83 s [sydtest-mutation-example-mutation-report] +implies a b = not not (a) || b
  445. 3.83 s [sydtest-mutation-example-mutation-report]
  446. 3.83 s [sydtest-mutation-example-mutation-report] -- | A wrapper around 'implies' whose body references 'implies' at arity 2
  447. 3.83 s [sydtest-mutation-example-mutation-report] -- as a bare (un-applied) name.
  448. 3.83 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:55:15-20 #1
  449. 3.83 s [sydtest-mutation-example-mutation-report] @@ -52,7 +52,7 @@
  450. 3.83 s [sydtest-mutation-example-mutation-report]
  451. 3.83 s [sydtest-mutation-example-mutation-report] -- | Logical implication. Used to exercise 'ConstBool' at arity 2.
  452. 3.83 s [sydtest-mutation-example-mutation-report] implies :: Bool -> Bool -> Bool
  453. 3.83 s [sydtest-mutation-example-mutation-report] -implies a b = not a || b
  454. 3.83 s [sydtest-mutation-example-mutation-report] +implies a b = True || b
  455. 3.83 s [sydtest-mutation-example-mutation-report]
  456. 3.83 s [sydtest-mutation-example-mutation-report] -- | A wrapper around 'implies' whose body references 'implies' at arity 2
  457. 3.83 s [sydtest-mutation-example-mutation-report] -- as a bare (un-applied) name.
  458. 3.83 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/ConstFnLib.hs:55:15-20 #1
  459. 3.83 s [sydtest-mutation-example-mutation-report] @@ -52,7 +52,7 @@
  460. 3.83 s [sydtest-mutation-example-mutation-report]
  461. 3.83 s [sydtest-mutation-example-mutation-report] -- | Logical implication. Used to exercise 'ConstBool' at arity 2.
  462. 3.83 s [sydtest-mutation-example-mutation-report] implies :: Bool -> Bool -> Bool
  463. 3.83 s [sydtest-mutation-example-mutation-report] -implies a b = not a || b
  464. 3.84 s [sydtest-mutation-example-mutation-report] +implies a b = not (not a) || b
  465. 3.84 s [sydtest-mutation-example-mutation-report]
  466. 3.84 s [sydtest-mutation-example-mutation-report] -- | A wrapper around 'implies' whose body references 'implies' at arity 2
  467. 3.84 s [sydtest-mutation-example-mutation-report] -- as a bare (un-applied) name.
  468. 3.84 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:55:24-25 #1
  469. 3.84 s [sydtest-mutation-example-mutation-report] @@ -52,7 +52,7 @@
  470. 3.84 s [sydtest-mutation-example-mutation-report]
  471. 3.84 s [sydtest-mutation-example-mutation-report] -- | Logical implication. Used to exercise 'ConstBool' at arity 2.
  472. 3.84 s [sydtest-mutation-example-mutation-report] implies :: Bool -> Bool -> Bool
  473. 3.84 s [sydtest-mutation-example-mutation-report] -implies a b = not a || b
  474. 3.84 s [sydtest-mutation-example-mutation-report] +implies a b = not a || True
  475. 3.84 s [sydtest-mutation-example-mutation-report]
  476. 3.84 s [sydtest-mutation-example-mutation-report] -- | A wrapper around 'implies' whose body references 'implies' at arity 2
  477. 3.84 s [sydtest-mutation-example-mutation-report] -- as a bare (un-applied) name.
  478. 3.84 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/ConstFnLib.hs:55:24-25 #1
  479. 3.84 s [sydtest-mutation-example-mutation-report] @@ -52,7 +52,7 @@
  480. 3.84 s [sydtest-mutation-example-mutation-report]
  481. 3.84 s [sydtest-mutation-example-mutation-report] -- | Logical implication. Used to exercise 'ConstBool' at arity 2.
  482. 3.84 s [sydtest-mutation-example-mutation-report] implies :: Bool -> Bool -> Bool
  483. 3.84 s [sydtest-mutation-example-mutation-report] -implies a b = not a || b
  484. 3.84 s [sydtest-mutation-example-mutation-report] +implies a b = not a || not (b)
  485. 3.84 s [sydtest-mutation-example-mutation-report]
  486. 3.84 s [sydtest-mutation-example-mutation-report] -- | A wrapper around 'implies' whose body references 'implies' at arity 2
  487. 3.84 s [sydtest-mutation-example-mutation-report] -- as a bare (un-applied) name.
  488. 3.84 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:55:15-25 #1
  489. 3.84 s [sydtest-mutation-example-mutation-report] @@ -52,7 +52,7 @@
  490. 3.84 s [sydtest-mutation-example-mutation-report]
  491. 3.84 s [sydtest-mutation-example-mutation-report] -- | Logical implication. Used to exercise 'ConstBool' at arity 2.
  492. 3.84 s [sydtest-mutation-example-mutation-report] implies :: Bool -> Bool -> Bool
  493. 3.84 s [sydtest-mutation-example-mutation-report] -implies a b = not a || b
  494. 3.84 s [sydtest-mutation-example-mutation-report] +implies a b = True
  495. 3.84 s [sydtest-mutation-example-mutation-report]
  496. 3.84 s [sydtest-mutation-example-mutation-report] -- | A wrapper around 'implies' whose body references 'implies' at arity 2
  497. 3.84 s [sydtest-mutation-example-mutation-report] -- as a bare (un-applied) name.
  498. 3.84 s [sydtest-mutation-example-mutation-report] Testing mutation LogicOp at src/Example/ConstFnLib.hs:55:15-25 #1
  499. 3.84 s [sydtest-mutation-example-mutation-report] @@ -52,7 +52,7 @@
  500. 3.84 s [sydtest-mutation-example-mutation-report]
  501. 3.84 s [sydtest-mutation-example-mutation-report] -- | Logical implication. Used to exercise 'ConstBool' at arity 2.
  502. 3.84 s [sydtest-mutation-example-mutation-report] implies :: Bool -> Bool -> Bool
  503. 3.84 s [sydtest-mutation-example-mutation-report] -implies a b = not a || b
  504. 3.84 s [sydtest-mutation-example-mutation-report] +implies a b = not a && b
  505. 3.84 s [sydtest-mutation-example-mutation-report]
  506. 3.84 s [sydtest-mutation-example-mutation-report] -- | A wrapper around 'implies' whose body references 'implies' at arity 2
  507. 3.84 s [sydtest-mutation-example-mutation-report] -- as a bare (un-applied) name.
  508. 3.84 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/ConstFnLib.hs:55:15-25 #1
  509. 3.84 s [sydtest-mutation-example-mutation-report] @@ -52,7 +52,7 @@
  510. 3.84 s [sydtest-mutation-example-mutation-report]
  511. 3.84 s [sydtest-mutation-example-mutation-report] -- | Logical implication. Used to exercise 'ConstBool' at arity 2.
  512. 3.84 s [sydtest-mutation-example-mutation-report] implies :: Bool -> Bool -> Bool
  513. 3.84 s [sydtest-mutation-example-mutation-report] -implies a b = not a || b
  514. 3.84 s [sydtest-mutation-example-mutation-report] +implies a b = not (not a || b)
  515. 3.84 s [sydtest-mutation-example-mutation-report]
  516. 3.84 s [sydtest-mutation-example-mutation-report] -- | A wrapper around 'implies' whose body references 'implies' at arity 2
  517. 3.84 s [sydtest-mutation-example-mutation-report] -- as a bare (un-applied) name.
  518. 3.84 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:65:30-31 #1
  519. 3.84 s [sydtest-mutation-example-mutation-report] @@ -62,7 +62,7 @@
  520. 3.84 s [sydtest-mutation-example-mutation-report] -- * 'ConstBool' arity 2 produces @(\\_ _ -> True)@ and
  521. 3.84 s [sydtest-mutation-example-mutation-report] -- @(\\_ _ -> False)@ mutants.
  522. 3.84 s [sydtest-mutation-example-mutation-report] impliesPair :: (Bool, Bool) -> Bool
  523. 3.84 s [sydtest-mutation-example-mutation-report] -impliesPair (a, b) = implies a b
  524. 3.84 s [sydtest-mutation-example-mutation-report] +impliesPair (a, b) = implies True b
  525. 3.84 s [sydtest-mutation-example-mutation-report]
  526. 3.84 s [sydtest-mutation-example-mutation-report] -- | A 5-argument predicate. Used to confirm the 'ConstBool' arity-5
  527. 3.84 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  528. 3.84 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/ConstFnLib.hs:65:30-31 #1
  529. 3.84 s [sydtest-mutation-example-mutation-report] @@ -62,7 +62,7 @@
  530. 3.84 s [sydtest-mutation-example-mutation-report] -- * 'ConstBool' arity 2 produces @(\\_ _ -> True)@ and
  531. 3.84 s [sydtest-mutation-example-mutation-report] -- @(\\_ _ -> False)@ mutants.
  532. 3.84 s [sydtest-mutation-example-mutation-report] impliesPair :: (Bool, Bool) -> Bool
  533. 3.84 s [sydtest-mutation-example-mutation-report] -impliesPair (a, b) = implies a b
  534. 3.84 s [sydtest-mutation-example-mutation-report] +impliesPair (a, b) = implies not (a) b
  535. 3.84 s [sydtest-mutation-example-mutation-report]
  536. 3.84 s [sydtest-mutation-example-mutation-report] -- | A 5-argument predicate. Used to confirm the 'ConstBool' arity-5
  537. 3.84 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  538. 3.84 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:65:32-33 #1
  539. 3.84 s [sydtest-mutation-example-mutation-report] @@ -62,7 +62,7 @@
  540. 3.84 s [sydtest-mutation-example-mutation-report] -- * 'ConstBool' arity 2 produces @(\\_ _ -> True)@ and
  541. 3.84 s [sydtest-mutation-example-mutation-report] -- @(\\_ _ -> False)@ mutants.
  542. 3.84 s [sydtest-mutation-example-mutation-report] impliesPair :: (Bool, Bool) -> Bool
  543. 3.84 s [sydtest-mutation-example-mutation-report] -impliesPair (a, b) = implies a b
  544. 3.84 s [sydtest-mutation-example-mutation-report] +impliesPair (a, b) = implies a True
  545. 3.84 s [sydtest-mutation-example-mutation-report]
  546. 3.84 s [sydtest-mutation-example-mutation-report] -- | A 5-argument predicate. Used to confirm the 'ConstBool' arity-5
  547. 3.84 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  548. 3.92 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/ConstFnLib.hs:65:32-33 #1
  549. 3.92 s [sydtest-mutation-example-mutation-report] @@ -62,7 +62,7 @@
  550. 3.92 s [sydtest-mutation-example-mutation-report] -- * 'ConstBool' arity 2 produces @(\\_ _ -> True)@ and
  551. 3.92 s [sydtest-mutation-example-mutation-report] -- @(\\_ _ -> False)@ mutants.
  552. 3.92 s [sydtest-mutation-example-mutation-report] impliesPair :: (Bool, Bool) -> Bool
  553. 3.92 s [sydtest-mutation-example-mutation-report] -impliesPair (a, b) = implies a b
  554. 3.92 s [sydtest-mutation-example-mutation-report] +impliesPair (a, b) = implies a not (b)
  555. 3.92 s [sydtest-mutation-example-mutation-report]
  556. 3.92 s [sydtest-mutation-example-mutation-report] -- | A 5-argument predicate. Used to confirm the 'ConstBool' arity-5
  557. 3.92 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  558. 3.92 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:65:22-33 #1
  559. 3.92 s [sydtest-mutation-example-mutation-report] @@ -62,7 +62,7 @@
  560. 3.92 s [sydtest-mutation-example-mutation-report] -- * 'ConstBool' arity 2 produces @(\\_ _ -> True)@ and
  561. 3.92 s [sydtest-mutation-example-mutation-report] -- @(\\_ _ -> False)@ mutants.
  562. 3.92 s [sydtest-mutation-example-mutation-report] impliesPair :: (Bool, Bool) -> Bool
  563. 3.92 s [sydtest-mutation-example-mutation-report] -impliesPair (a, b) = implies a b
  564. 3.92 s [sydtest-mutation-example-mutation-report] +impliesPair (a, b) = True
  565. 3.92 s [sydtest-mutation-example-mutation-report]
  566. 3.92 s [sydtest-mutation-example-mutation-report] -- | A 5-argument predicate. Used to confirm the 'ConstBool' arity-5
  567. 3.93 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  568. 3.93 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/ConstFnLib.hs:65:22-33 #1
  569. 3.93 s [sydtest-mutation-example-mutation-report] @@ -62,7 +62,7 @@
  570. 3.93 s [sydtest-mutation-example-mutation-report] -- * 'ConstBool' arity 2 produces @(\\_ _ -> True)@ and
  571. 3.93 s [sydtest-mutation-example-mutation-report] -- @(\\_ _ -> False)@ mutants.
  572. 3.93 s [sydtest-mutation-example-mutation-report] impliesPair :: (Bool, Bool) -> Bool
  573. 3.93 s [sydtest-mutation-example-mutation-report] -impliesPair (a, b) = implies a b
  574. 3.93 s [sydtest-mutation-example-mutation-report] +impliesPair (a, b) = not (implies a b)
  575. 3.93 s [sydtest-mutation-example-mutation-report]
  576. 3.93 s [sydtest-mutation-example-mutation-report] -- | A 5-argument predicate. Used to confirm the 'ConstBool' arity-5
  577. 3.93 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  578. 3.93 s [sydtest-mutation-example-mutation-report] Testing mutation ConstEmptyList at src/Example/ConstFnLib.hs:40:14-20 #1
  579. 3.93 s [sydtest-mutation-example-mutation-report] @@ -37,7 +37,7 @@
  580. 3.93 s [sydtest-mutation-example-mutation-report] -- Helper used by 'digitsOf' to give that call site a non-literal
  581. 3.93 s [sydtest-mutation-example-mutation-report] -- list-returning function to mutate.
  582. 3.93 s [sydtest-mutation-example-mutation-report] keepDigits :: String -> String
  583. 3.93 s [sydtest-mutation-example-mutation-report] -keepDigits = filter isDigit
  584. 3.93 s [sydtest-mutation-example-mutation-report] +keepDigits = (\_ _ -> []) isDigit
  585. 3.93 s [sydtest-mutation-example-mutation-report]
  586. 3.93 s [sydtest-mutation-example-mutation-report] -- | Get the digits of a 'String'.
  587. 3.93 s [sydtest-mutation-example-mutation-report] --
  588. 3.93 s [sydtest-mutation-example-mutation-report] Testing mutation ConstEmptyList at src/Example/ConstFnLib.hs:40:14-28 #1
  589. 3.93 s [sydtest-mutation-example-mutation-report] @@ -37,7 +37,7 @@
  590. 3.93 s [sydtest-mutation-example-mutation-report] -- Helper used by 'digitsOf' to give that call site a non-literal
  591. 3.93 s [sydtest-mutation-example-mutation-report] -- list-returning function to mutate.
  592. 3.93 s [sydtest-mutation-example-mutation-report] keepDigits :: String -> String
  593. 3.93 s [sydtest-mutation-example-mutation-report] -keepDigits = filter isDigit
  594. 3.93 s [sydtest-mutation-example-mutation-report] +keepDigits = (\_ -> [])
  595. 3.93 s [sydtest-mutation-example-mutation-report]
  596. 3.93 s [sydtest-mutation-example-mutation-report] -- | Get the digits of a 'String'.
  597. 3.93 s [sydtest-mutation-example-mutation-report] --
  598. 3.93 s [sydtest-mutation-example-mutation-report] Testing mutation ConstEmptyList at src/Example/ConstFnLib.hs:51:25-26 #1
  599. 3.93 s [sydtest-mutation-example-mutation-report] @@ -48,7 +48,7 @@
  600. 3.93 s [sydtest-mutation-example-mutation-report] -- * 'ConstEmptyList' arity 1 on the bare @keepDigits :: String -> String@:
  601. 3.93 s [sydtest-mutation-example-mutation-report] -- mutated to @digitsOf s = (\\_ -> []) s@.
  602. 3.93 s [sydtest-mutation-example-mutation-report] digitsOf :: String -> String
  603. 3.93 s [sydtest-mutation-example-mutation-report] -digitsOf s = keepDigits s
  604. 3.93 s [sydtest-mutation-example-mutation-report] +digitsOf s = keepDigits []
  605. 3.93 s [sydtest-mutation-example-mutation-report]
  606. 3.93 s [sydtest-mutation-example-mutation-report] -- | Logical implication. Used to exercise 'ConstBool' at arity 2.
  607. 3.93 s [sydtest-mutation-example-mutation-report] implies :: Bool -> Bool -> Bool
  608. 3.93 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:40:21-28 #1
  609. 3.93 s [sydtest-mutation-example-mutation-report] @@ -37,7 +37,7 @@
  610. 3.93 s [sydtest-mutation-example-mutation-report] -- Helper used by 'digitsOf' to give that call site a non-literal
  611. 3.93 s [sydtest-mutation-example-mutation-report] -- list-returning function to mutate.
  612. 3.93 s [sydtest-mutation-example-mutation-report] keepDigits :: String -> String
  613. 3.93 s [sydtest-mutation-example-mutation-report] -keepDigits = filter isDigit
  614. 3.93 s [sydtest-mutation-example-mutation-report] +keepDigits = filter (\_ -> True)
  615. 3.93 s [sydtest-mutation-example-mutation-report]
  616. 3.93 s [sydtest-mutation-example-mutation-report] -- | Get the digits of a 'String'.
  617. 3.93 s [sydtest-mutation-example-mutation-report] --
  618. 3.93 s [sydtest-mutation-example-mutation-report] Testing mutation ConstEmptyList at src/Example/ConstFnLib.hs:51:14-26 #1
  619. 3.93 s [sydtest-mutation-example-mutation-report] @@ -48,7 +48,7 @@
  620. 3.93 s [sydtest-mutation-example-mutation-report] -- * 'ConstEmptyList' arity 1 on the bare @keepDigits :: String -> String@:
  621. 3.93 s [sydtest-mutation-example-mutation-report] -- mutated to @digitsOf s = (\\_ -> []) s@.
  622. 3.93 s [sydtest-mutation-example-mutation-report] digitsOf :: String -> String
  623. 3.93 s [sydtest-mutation-example-mutation-report] -digitsOf s = keepDigits s
  624. 3.93 s [sydtest-mutation-example-mutation-report] +digitsOf s = []
  625. 3.93 s [sydtest-mutation-example-mutation-report]
  626. 3.93 s [sydtest-mutation-example-mutation-report] -- | Logical implication. Used to exercise 'ConstBool' at arity 2.
  627. 3.93 s [sydtest-mutation-example-mutation-report] implies :: Bool -> Bool -> Bool
  628. 3.93 s [sydtest-mutation-example-mutation-report] Testing mutation MaybeOp at src/Example/ConstFnLib.hs:22:20-26 #1
  629. 3.93 s [sydtest-mutation-example-mutation-report] @@ -19,7 +19,7 @@
  630. 3.93 s [sydtest-mutation-example-mutation-report] -- skips it ('MaybeOp' handles that one).
  631. 3.93 s [sydtest-mutation-example-mutation-report] safeHead :: [a] -> Maybe a
  632. 3.93 s [sydtest-mutation-example-mutation-report] safeHead [] = Nothing
  633. 3.93 s [sydtest-mutation-example-mutation-report] -safeHead (x : _) = Just x
  634. 3.93 s [sydtest-mutation-example-mutation-report] +safeHead (x : _) = Nothing
  635. 3.93 s [sydtest-mutation-example-mutation-report]
  636. 3.93 s [sydtest-mutation-example-mutation-report] -- | Get the first character of a 'String' as 'Maybe'.
  637. 3.93 s [sydtest-mutation-example-mutation-report] --
  638. 3.93 s [sydtest-mutation-example-mutation-report] Testing mutation ConstEmptyList at src/Example/ConstFnLib.hs:33:24-25 #1
  639. 3.93 s [sydtest-mutation-example-mutation-report] @@ -30,7 +30,7 @@
  640. 3.93 s [sydtest-mutation-example-mutation-report] -- * 'ConstNothing' arity 1 on the bare @safeHead :: String -> Maybe Char@:
  641. 3.93 s [sydtest-mutation-example-mutation-report] -- mutated to @firstChar s = (\\_ -> Nothing) s@.
  642. 3.93 s [sydtest-mutation-example-mutation-report] firstChar :: String -> Maybe Char
  643. 3.93 s [sydtest-mutation-example-mutation-report] -firstChar s = safeHead s
  644. 3.93 s [sydtest-mutation-example-mutation-report] +firstChar s = safeHead []
  645. 3.93 s [sydtest-mutation-example-mutation-report]
  646. 3.93 s [sydtest-mutation-example-mutation-report] -- | Keep only the digit characters from a list.
  647. 3.93 s [sydtest-mutation-example-mutation-report] --
  648. 3.93 s [sydtest-mutation-example-mutation-report] Testing mutation ConstNothing at src/Example/ConstFnLib.hs:33:15-25 #1
  649. 3.93 s [sydtest-mutation-example-mutation-report] @@ -30,7 +30,7 @@
  650. 3.93 s [sydtest-mutation-example-mutation-report] -- * 'ConstNothing' arity 1 on the bare @safeHead :: String -> Maybe Char@:
  651. 3.93 s [sydtest-mutation-example-mutation-report] -- mutated to @firstChar s = (\\_ -> Nothing) s@.
  652. 3.93 s [sydtest-mutation-example-mutation-report] firstChar :: String -> Maybe Char
  653. 3.93 s [sydtest-mutation-example-mutation-report] -firstChar s = safeHead s
  654. 3.93 s [sydtest-mutation-example-mutation-report] +firstChar s = Nothing
  655. 3.93 s [sydtest-mutation-example-mutation-report]
  656. 3.93 s [sydtest-mutation-example-mutation-report] -- | Keep only the digit characters from a list.
  657. 3.93 s [sydtest-mutation-example-mutation-report] --
  658. 3.93 s [sydtest-mutation-example-mutation-report] Testing mutation ConstEmptyList at src/Example/CaseLib.hs:7:24-26 #1
  659. 3.93 s [sydtest-mutation-example-mutation-report] @@ -4,7 +4,7 @@
  660. 3.93 s [sydtest-mutation-example-mutation-report] --
  661. 3.93 s [sydtest-mutation-example-mutation-report] -- Mutation sites: RemoveCase removes one of the three alternatives.
  662. 3.93 s [sydtest-mutation-example-mutation-report] describeList :: [a] -> String
  663. 3.93 s [sydtest-mutation-example-mutation-report] -describeList xs = case xs of
  664. 3.93 s [sydtest-mutation-example-mutation-report] +describeList xs = case [] of
  665. 3.93 s [sydtest-mutation-example-mutation-report] [] -> "empty"
  666. 3.93 s [sydtest-mutation-example-mutation-report] [_] -> "singleton"
  667. 3.93 s [sydtest-mutation-example-mutation-report] _ -> "longer"
  668. 3.93 s [sydtest-mutation-example-mutation-report] Testing mutation ConstEmptyList at src/Example/CaseLib.hs:8:9-16 #1
  669. 3.93 s [sydtest-mutation-example-mutation-report] @@ -5,6 +5,6 @@
  670. 3.93 s [sydtest-mutation-example-mutation-report] -- Mutation sites: RemoveCase removes one of the three alternatives.
  671. 3.93 s [sydtest-mutation-example-mutation-report] describeList :: [a] -> String
  672. 3.93 s [sydtest-mutation-example-mutation-report] describeList xs = case xs of
  673. 3.93 s [sydtest-mutation-example-mutation-report] - [] -> "empty"
  674. 3.93 s [sydtest-mutation-example-mutation-report] + [] -> []
  675. 3.93 s [sydtest-mutation-example-mutation-report] [_] -> "singleton"
  676. 3.93 s [sydtest-mutation-example-mutation-report] _ -> "longer"
  677. 3.93 s [sydtest-mutation-example-mutation-report] Testing mutation ConstEmptyList at src/Example/CaseLib.hs:9:10-21 #1
  678. 3.93 s [sydtest-mutation-example-mutation-report] @@ -6,5 +6,5 @@
  679. 3.93 s [sydtest-mutation-example-mutation-report] describeList :: [a] -> String
  680. 3.93 s [sydtest-mutation-example-mutation-report] describeList xs = case xs of
  681. 3.93 s [sydtest-mutation-example-mutation-report] [] -> "empty"
  682. 3.93 s [sydtest-mutation-example-mutation-report] - [_] -> "singleton"
  683. 3.93 s [sydtest-mutation-example-mutation-report] + [_] -> []
  684. 3.93 s [sydtest-mutation-example-mutation-report] _ -> "longer"
  685. 3.93 s [sydtest-mutation-example-mutation-report] Testing mutation ConstEmptyList at src/Example/CaseLib.hs:7:19-16 #1
  686. 3.93 s [sydtest-mutation-example-mutation-report] @@ -4,7 +4,4 @@
  687. 3.93 s [sydtest-mutation-example-mutation-report] --
  688. 3.93 s [sydtest-mutation-example-mutation-report] -- Mutation sites: RemoveCase removes one of the three alternatives.
  689. 3.93 s [sydtest-mutation-example-mutation-report] describeList :: [a] -> String
  690. 3.93 s [sydtest-mutation-example-mutation-report] -describeList xs = case xs of
  691. 3.93 s [sydtest-mutation-example-mutation-report] - [] -> "empty"
  692. 3.93 s [sydtest-mutation-example-mutation-report] - [_] -> "singleton"
  693. 3.93 s [sydtest-mutation-example-mutation-report] - _ -> "longer"
  694. 3.93 s [sydtest-mutation-example-mutation-report] +describeList xs = []
  695. 3.93 s [sydtest-mutation-example-mutation-report] Testing mutation ConstEmptyList at src/Example/CaseLib.hs:10:8-16 #1
  696. 3.93 s [sydtest-mutation-example-mutation-report] @@ -7,4 +7,4 @@
  697. 3.93 s [sydtest-mutation-example-mutation-report] describeList xs = case xs of
  698. 3.93 s [sydtest-mutation-example-mutation-report] [] -> "empty"
  699. 3.93 s [sydtest-mutation-example-mutation-report] [_] -> "singleton"
  700. 3.93 s [sydtest-mutation-example-mutation-report] - _ -> "longer"
  701. 3.93 s [sydtest-mutation-example-mutation-report] + _ -> []
  702. 3.93 s [sydtest-mutation-example-mutation-report] Testing mutation RemoveCase at src/Example/CaseLib.hs:7:19-16 #1
  703. 3.93 s [sydtest-mutation-example-mutation-report] @@ -4,7 +4,6 @@
  704. 3.93 s [sydtest-mutation-example-mutation-report] --
  705. 3.93 s [sydtest-mutation-example-mutation-report] -- Mutation sites: RemoveCase removes one of the three alternatives.
  706. 3.93 s [sydtest-mutation-example-mutation-report] describeList :: [a] -> String
  707. 3.93 s [sydtest-mutation-example-mutation-report] describeList xs = case xs of
  708. 3.93 s [sydtest-mutation-example-mutation-report] - [] -> "empty"
  709. 3.93 s [sydtest-mutation-example-mutation-report] [_] -> "singleton"
  710. 3.93 s [sydtest-mutation-example-mutation-report] _ -> "longer"
  711. 3.93 s [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/FunctionExceptionLib.hs:15:29-30 #1
  712. 3.93 s [sydtest-mutation-example-mutation-report] @@ -12,7 +12,7 @@
  713. 3.93 s [sydtest-mutation-example-mutation-report] -- IntLit mutations (replacing the literal @1@) still apply.
  714. 3.93 s [sydtest-mutation-example-mutation-report] {-# ANN addOneArithDisabled ("DisableMutation: Arith" :: String) #-}
  715. 3.93 s [sydtest-mutation-example-mutation-report] addOneArithDisabled :: Int -> Int
  716. 3.93 s [sydtest-mutation-example-mutation-report] -addOneArithDisabled n = n + 1
  717. 3.93 s [sydtest-mutation-example-mutation-report] +addOneArithDisabled n = n + 0
  718. 3.93 s [sydtest-mutation-example-mutation-report]
  719. 3.93 s [sydtest-mutation-example-mutation-report] -- | Both Arith and IntLit mutations disabled on this function.
  720. 3.93 s [sydtest-mutation-example-mutation-report] {-# ANN addOneArithAndIntLitDisabled ("DisableMutations: Arith, IntLit" :: String) #-}
  721. 4.00 s [sydtest-mutation-example-mutation-report] Testing mutation ConstNothing at src/Example/BoolLib.hs:22:17-21 #1
  722. 4.00 s [sydtest-mutation-example-mutation-report] @@ -19,4 +19,4 @@
  723. 4.00 s [sydtest-mutation-example-mutation-report]
  724. 4.00 s [sydtest-mutation-example-mutation-report] -- | Negates a wrapped boolean.
  725. 4.00 s [sydtest-mutation-example-mutation-report] negateWrapped :: Maybe Bool -> Maybe Bool
  726. 4.00 s [sydtest-mutation-example-mutation-report] -negateWrapped = fmap not
  727. 4.00 s [sydtest-mutation-example-mutation-report] +negateWrapped = (\_ _ -> Nothing) not
  728. 4.00 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/BoolLib.hs:22:22-25 #1
  729. 4.00 s [sydtest-mutation-example-mutation-report] @@ -19,4 +19,4 @@
  730. 4.00 s [sydtest-mutation-example-mutation-report]
  731. 4.00 s [sydtest-mutation-example-mutation-report] -- | Negates a wrapped boolean.
  732. 4.00 s [sydtest-mutation-example-mutation-report] negateWrapped :: Maybe Bool -> Maybe Bool
  733. 4.00 s [sydtest-mutation-example-mutation-report] -negateWrapped = fmap not
  734. 4.00 s [sydtest-mutation-example-mutation-report] +negateWrapped = fmap (\_ -> True)
  735. 4.00 s [sydtest-mutation-example-mutation-report] Testing mutation ConstNothing at src/Example/BoolLib.hs:22:17-25 #1
  736. 4.00 s [sydtest-mutation-example-mutation-report] @@ -19,4 +19,4 @@
  737. 4.00 s [sydtest-mutation-example-mutation-report]
  738. 4.00 s [sydtest-mutation-example-mutation-report] -- | Negates a wrapped boolean.
  739. 4.00 s [sydtest-mutation-example-mutation-report] negateWrapped :: Maybe Bool -> Maybe Bool
  740. 4.00 s [sydtest-mutation-example-mutation-report] -negateWrapped = fmap not
  741. 4.00 s [sydtest-mutation-example-mutation-report] +negateWrapped = (\_ -> Nothing)
  742. 4.00 s [sydtest-mutation-example-mutation-report] Testing mutation BoolLit at src/Example/BoolLib.hs:18:18-23 #1
  743. 4.00 s [sydtest-mutation-example-mutation-report] @@ -15,7 +15,7 @@
  744. 4.00 s [sydtest-mutation-example-mutation-report] --
  745. 4.00 s [sydtest-mutation-example-mutation-report] -- Mutation sites: BoolLit/ConstBool on the inner False, MaybeOp on Just False.
  746. 4.00 s [sydtest-mutation-example-mutation-report] wrapFalse :: Maybe Bool
  747. 4.00 s [sydtest-mutation-example-mutation-report] -wrapFalse = Just False
  748. 4.00 s [sydtest-mutation-example-mutation-report] +wrapFalse = Just True
  749. 4.00 s [sydtest-mutation-example-mutation-report]
  750. 4.00 s [sydtest-mutation-example-mutation-report] -- | Negates a wrapped boolean.
  751. 4.00 s [sydtest-mutation-example-mutation-report] negateWrapped :: Maybe Bool -> Maybe Bool
  752. 4.00 s [sydtest-mutation-example-mutation-report] Testing mutation MaybeOp at src/Example/BoolLib.hs:18:13-23 #1
  753. 4.00 s [sydtest-mutation-example-mutation-report] @@ -15,7 +15,7 @@
  754. 4.00 s [sydtest-mutation-example-mutation-report] --
  755. 4.00 s [sydtest-mutation-example-mutation-report] -- Mutation sites: BoolLit/ConstBool on the inner False, MaybeOp on Just False.
  756. 4.00 s [sydtest-mutation-example-mutation-report] wrapFalse :: Maybe Bool
  757. 4.00 s [sydtest-mutation-example-mutation-report] -wrapFalse = Just False
  758. 4.00 s [sydtest-mutation-example-mutation-report] +wrapFalse = Nothing
  759. 4.00 s [sydtest-mutation-example-mutation-report]
  760. 4.00 s [sydtest-mutation-example-mutation-report] -- | Negates a wrapped boolean.
  761. 4.00 s [sydtest-mutation-example-mutation-report] negateWrapped :: Maybe Bool -> Maybe Bool
  762. 4.00 s [sydtest-mutation-example-mutation-report] Testing mutation BoolLit at src/Example/BoolLib.hs:12:17-21 #1
  763. 4.00 s [sydtest-mutation-example-mutation-report] @@ -9,7 +9,7 @@
  764. 4.00 s [sydtest-mutation-example-mutation-report] --
  765. 4.00 s [sydtest-mutation-example-mutation-report] -- Mutation sites: BoolLit/ConstBool on the inner True, MaybeOp on Just True.
  766. 4.00 s [sydtest-mutation-example-mutation-report] wrapTrue :: Maybe Bool
  767. 4.00 s [sydtest-mutation-example-mutation-report] -wrapTrue = Just True
  768. 4.00 s [sydtest-mutation-example-mutation-report] +wrapTrue = Just False
  769. 4.00 s [sydtest-mutation-example-mutation-report]
  770. 4.00 s [sydtest-mutation-example-mutation-report] -- | Wraps False in Just.
  771. 4.00 s [sydtest-mutation-example-mutation-report] --
  772. 4.00 s [sydtest-mutation-example-mutation-report] Testing mutation MaybeOp at src/Example/BoolLib.hs:12:12-21 #1
  773. 4.00 s [sydtest-mutation-example-mutation-report] @@ -9,7 +9,7 @@
  774. 4.00 s [sydtest-mutation-example-mutation-report] --
  775. 4.00 s [sydtest-mutation-example-mutation-report] -- Mutation sites: BoolLit/ConstBool on the inner True, MaybeOp on Just True.
  776. 4.00 s [sydtest-mutation-example-mutation-report] wrapTrue :: Maybe Bool
  777. 4.00 s [sydtest-mutation-example-mutation-report] -wrapTrue = Just True
  778. 4.00 s [sydtest-mutation-example-mutation-report] +wrapTrue = Nothing
  779. 4.00 s [sydtest-mutation-example-mutation-report]
  780. 4.00 s [sydtest-mutation-example-mutation-report] -- | Wraps False in Just.
  781. 4.00 s [sydtest-mutation-example-mutation-report] --
  782. 4.00 s [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/LogicLib.hs:17:26-27 #1
  783. 4.00 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  784. 4.00 s [sydtest-mutation-example-mutation-report] --
  785. 4.00 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  786. 4.00 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  787. 4.00 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  788. 4.00 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = a > 1 || b > 0
  789. 4.00 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:17:22-27 #1
  790. 4.00 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  791. 4.00 s [sydtest-mutation-example-mutation-report] --
  792. 4.00 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  793. 4.00 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  794. 4.00 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  795. 4.00 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = a < 0 || b > 0
  796. 4.00 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-27 #1
  797. 4.00 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  798. 4.00 s [sydtest-mutation-example-mutation-report] --
  799. 4.00 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  800. 4.00 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  801. 4.00 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  802. 4.00 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = True || b > 0
  803. 4.00 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LogicLib.hs:17:22-27 #1
  804. 4.00 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  805. 4.00 s [sydtest-mutation-example-mutation-report] --
  806. 4.00 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  807. 4.00 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  808. 4.00 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  809. 4.00 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = not (a > 0) || b > 0
  810. 4.00 s [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/LogicLib.hs:17:35-36 #1
  811. 4.00 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  812. 4.00 s [sydtest-mutation-example-mutation-report] --
  813. 4.00 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  814. 4.00 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  815. 4.00 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  816. 4.00 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = a > 0 || b > 1
  817. 4.00 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:17:31-36 #1
  818. 4.00 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  819. 4.00 s [sydtest-mutation-example-mutation-report] --
  820. 4.00 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  821. 4.00 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  822. 4.00 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  823. 4.00 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = a > 0 || b < 0
  824. 4.00 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:17:31-36 #1
  825. 4.00 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  826. 4.00 s [sydtest-mutation-example-mutation-report] --
  827. 4.00 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  828. 4.00 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  829. 4.00 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  830. 4.00 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = a > 0 || True
  831. 4.00 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LogicLib.hs:17:31-36 #1
  832. 4.00 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  833. 4.00 s [sydtest-mutation-example-mutation-report] --
  834. 4.00 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  835. 4.00 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  836. 4.00 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  837. 4.00 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = a > 0 || not (b > 0)
  838. 4.00 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-36 #1
  839. 4.00 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  840. 4.00 s [sydtest-mutation-example-mutation-report] --
  841. 4.00 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  842. 4.00 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  843. 4.00 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  844. 4.00 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = True
  845. 4.00 s [sydtest-mutation-example-mutation-report] Testing mutation LogicOp at src/Example/LogicLib.hs:17:22-36 #1
  846. 4.00 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  847. 4.00 s [sydtest-mutation-example-mutation-report] --
  848. 4.00 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  849. 4.00 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  850. 4.00 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  851. 4.00 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = a > 0 && b > 0
  852. 4.00 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LogicLib.hs:17:22-36 #1
  853. 4.00 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  854. 4.00 s [sydtest-mutation-example-mutation-report] --
  855. 4.00 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  856. 4.00 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  857. 4.00 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  858. 4.00 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = not (a > 0 || b > 0)
  859. 4.00 s [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/LogicLib.hs:11:24-25 #1
  860. 4.00 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  861. 4.00 s [sydtest-mutation-example-mutation-report] --
  862. 4.00 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  863. 4.00 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  864. 4.00 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  865. 4.00 s [sydtest-mutation-example-mutation-report] +bothPositive a b = a > 1 && b > 0
  866. 4.00 s [sydtest-mutation-example-mutation-report]
  867. 4.00 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  868. 4.00 s [sydtest-mutation-example-mutation-report] --
  869. 4.00 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:11:20-25 #1
  870. 4.00 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  871. 4.01 s [sydtest-mutation-example-mutation-report] --
  872. 4.01 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  873. 4.01 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  874. 4.01 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  875. 4.01 s [sydtest-mutation-example-mutation-report] +bothPositive a b = a < 0 && b > 0
  876. 4.01 s [sydtest-mutation-example-mutation-report]
  877. 4.01 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  878. 4.01 s [sydtest-mutation-example-mutation-report] --
  879. 4.08 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LogicLib.hs:11:20-25 #1
  880. 4.08 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  881. 4.08 s [sydtest-mutation-example-mutation-report] --
  882. 4.08 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  883. 4.08 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  884. 4.08 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  885. 4.08 s [sydtest-mutation-example-mutation-report] +bothPositive a b = not (a > 0) && b > 0
  886. 4.08 s [sydtest-mutation-example-mutation-report]
  887. 4.08 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  888. 4.09 s [sydtest-mutation-example-mutation-report] --
  889. 4.09 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-25 #1
  890. 4.09 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  891. 4.09 s [sydtest-mutation-example-mutation-report] --
  892. 4.09 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  893. 4.09 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  894. 4.09 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  895. 4.09 s [sydtest-mutation-example-mutation-report] +bothPositive a b = True && b > 0
  896. 4.09 s [sydtest-mutation-example-mutation-report]
  897. 4.09 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  898. 4.09 s [sydtest-mutation-example-mutation-report] --
  899. 4.09 s [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/LogicLib.hs:11:33-34 #1
  900. 4.09 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  901. 4.09 s [sydtest-mutation-example-mutation-report] --
  902. 4.09 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  903. 4.09 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  904. 4.09 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  905. 4.09 s [sydtest-mutation-example-mutation-report] +bothPositive a b = a > 0 && b > 1
  906. 4.09 s [sydtest-mutation-example-mutation-report]
  907. 4.09 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  908. 4.09 s [sydtest-mutation-example-mutation-report] --
  909. 4.09 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:11:29-34 #1
  910. 4.09 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  911. 4.09 s [sydtest-mutation-example-mutation-report] --
  912. 4.09 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  913. 4.09 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  914. 4.09 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  915. 4.09 s [sydtest-mutation-example-mutation-report] +bothPositive a b = a > 0 && b < 0
  916. 4.09 s [sydtest-mutation-example-mutation-report]
  917. 4.09 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  918. 4.09 s [sydtest-mutation-example-mutation-report] --
  919. 4.09 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:11:29-34 #1
  920. 4.09 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  921. 4.09 s [sydtest-mutation-example-mutation-report] --
  922. 4.09 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  923. 4.09 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  924. 4.09 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  925. 4.09 s [sydtest-mutation-example-mutation-report] +bothPositive a b = a > 0 && True
  926. 4.09 s [sydtest-mutation-example-mutation-report]
  927. 4.09 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  928. 4.09 s [sydtest-mutation-example-mutation-report] --
  929. 4.09 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-34 #1
  930. 4.09 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  931. 4.09 s [sydtest-mutation-example-mutation-report] --
  932. 4.09 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  933. 4.09 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  934. 4.09 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  935. 4.09 s [sydtest-mutation-example-mutation-report] +bothPositive a b = True
  936. 4.09 s [sydtest-mutation-example-mutation-report]
  937. 4.09 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  938. 4.09 s [sydtest-mutation-example-mutation-report] --
  939. 4.09 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LogicLib.hs:11:29-34 #1
  940. 4.09 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  941. 4.09 s [sydtest-mutation-example-mutation-report] --
  942. 4.09 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  943. 4.09 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  944. 4.09 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  945. 4.09 s [sydtest-mutation-example-mutation-report] +bothPositive a b = a > 0 && not (b > 0)
  946. 4.09 s [sydtest-mutation-example-mutation-report]
  947. 4.09 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  948. 4.09 s [sydtest-mutation-example-mutation-report] --
  949. 4.09 s [sydtest-mutation-example-mutation-report] Testing mutation LogicOp at src/Example/LogicLib.hs:11:20-34 #1
  950. 4.09 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  951. 4.09 s [sydtest-mutation-example-mutation-report] --
  952. 4.09 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  953. 4.09 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  954. 4.09 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  955. 4.09 s [sydtest-mutation-example-mutation-report] +bothPositive a b = a > 0 || b > 0
  956. 4.09 s [sydtest-mutation-example-mutation-report]
  957. 4.09 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  958. 4.09 s [sydtest-mutation-example-mutation-report] --
  959. 4.09 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LogicLib.hs:11:20-34 #1
  960. 4.09 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  961. 4.09 s [sydtest-mutation-example-mutation-report] --
  962. 4.09 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  963. 4.09 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  964. 4.09 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  965. 4.09 s [sydtest-mutation-example-mutation-report] +bothPositive a b = not (a > 0 && b > 0)
  966. 4.09 s [sydtest-mutation-example-mutation-report]
  967. 4.09 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  968. 4.09 s [sydtest-mutation-example-mutation-report] --
  969. 4.09 s [sydtest-mutation-example-mutation-report] Testing mutation ConstEmptyList at src/Example/ListLib.hs:19:30-31 #1
  970. 4.09 s [sydtest-mutation-example-mutation-report] @@ -16,4 +16,4 @@
  971. 4.09 s [sydtest-mutation-example-mutation-report] -- Mutation sites: ListLit produces an empty-list mutant, a drop-first mutant,
  972. 4.09 s [sydtest-mutation-example-mutation-report] -- and a drop-last mutant on the literal @[a, b, c]@.
  973. 4.09 s [sydtest-mutation-example-mutation-report] tripleConcat :: String -> String -> String -> String
  974. 4.09 s [sydtest-mutation-example-mutation-report] -tripleConcat a b c = concat [a, b, c]
  975. 4.09 s [sydtest-mutation-example-mutation-report] +tripleConcat a b c = concat [[], b, c]
  976. 4.09 s [sydtest-mutation-example-mutation-report] Testing mutation ConstEmptyList at src/Example/ListLib.hs:19:33-34 #1
  977. 4.09 s [sydtest-mutation-example-mutation-report] @@ -16,4 +16,4 @@
  978. 4.09 s [sydtest-mutation-example-mutation-report] -- Mutation sites: ListLit produces an empty-list mutant, a drop-first mutant,
  979. 4.09 s [sydtest-mutation-example-mutation-report] -- and a drop-last mutant on the literal @[a, b, c]@.
  980. 4.09 s [sydtest-mutation-example-mutation-report] tripleConcat :: String -> String -> String -> String
  981. 4.09 s [sydtest-mutation-example-mutation-report] -tripleConcat a b c = concat [a, b, c]
  982. 4.09 s [sydtest-mutation-example-mutation-report] +tripleConcat a b c = concat [a, [], c]
  983. 4.09 s [sydtest-mutation-example-mutation-report] Testing mutation ConstEmptyList at src/Example/ListLib.hs:19:36-37 #1
  984. 4.09 s [sydtest-mutation-example-mutation-report] @@ -16,4 +16,4 @@
  985. 4.09 s [sydtest-mutation-example-mutation-report] -- Mutation sites: ListLit produces an empty-list mutant, a drop-first mutant,
  986. 4.09 s [sydtest-mutation-example-mutation-report] -- and a drop-last mutant on the literal @[a, b, c]@.
  987. 4.09 s [sydtest-mutation-example-mutation-report] tripleConcat :: String -> String -> String -> String
  988. 4.09 s [sydtest-mutation-example-mutation-report] -tripleConcat a b c = concat [a, b, c]
  989. 4.09 s [sydtest-mutation-example-mutation-report] +tripleConcat a b c = concat [a, b, []]
  990. 4.09 s [sydtest-mutation-example-mutation-report] Testing mutation ListLit at src/Example/ListLib.hs:19:29-38 #1
  991. 4.09 s [sydtest-mutation-example-mutation-report] @@ -16,4 +16,3 @@
  992. 4.09 s [sydtest-mutation-example-mutation-report] -- Mutation sites: ListLit produces an empty-list mutant, a drop-first mutant,
  993. 4.09 s [sydtest-mutation-example-mutation-report] -- and a drop-last mutant on the literal @[a, b, c]@.
  994. 4.09 s [sydtest-mutation-example-mutation-report] tripleConcat :: String -> String -> String -> String
  995. 4.09 s [sydtest-mutation-example-mutation-report] -tripleConcat a b c = concat [a, b, c]
  996. 4.09 s [sydtest-mutation-example-mutation-report] Testing mutation ConstEmptyList at src/Example/ListLib.hs:19:29-38 #1
  997. 4.09 s [sydtest-mutation-example-mutation-report] @@ -16,4 +16,4 @@
  998. 4.09 s [sydtest-mutation-example-mutation-report] -- Mutation sites: ListLit produces an empty-list mutant, a drop-first mutant,
  999. 4.09 s [sydtest-mutation-example-mutation-report] -- and a drop-last mutant on the literal @[a, b, c]@.
  1000. 4.09 s [sydtest-mutation-example-mutation-report] tripleConcat :: String -> String -> String -> String
  1001. 4.09 s [sydtest-mutation-example-mutation-report] -tripleConcat a b c = concat [a, b, c]
  1002. 4.09 s [sydtest-mutation-example-mutation-report] +tripleConcat a b c = concat []
  1003. 4.09 s [sydtest-mutation-example-mutation-report] Testing mutation ConstEmptyList at src/Example/ListLib.hs:19:22-38 #1
  1004. 4.09 s [sydtest-mutation-example-mutation-report] @@ -16,4 +16,4 @@
  1005. 4.09 s [sydtest-mutation-example-mutation-report] -- Mutation sites: ListLit produces an empty-list mutant, a drop-first mutant,
  1006. 4.09 s [sydtest-mutation-example-mutation-report] -- and a drop-last mutant on the literal @[a, b, c]@.
  1007. 4.09 s [sydtest-mutation-example-mutation-report] tripleConcat :: String -> String -> String -> String
  1008. 4.09 s [sydtest-mutation-example-mutation-report] -tripleConcat a b c = concat [a, b, c]
  1009. 4.09 s [sydtest-mutation-example-mutation-report] +tripleConcat a b c = []
  1010. 4.09 s [sydtest-mutation-example-mutation-report] Testing mutation ConstEmptyList at src/Example/ListLib.hs:12:29-30 #1
  1011. 4.09 s [sydtest-mutation-example-mutation-report] @@ -9,7 +9,7 @@
  1012. 4.09 s [sydtest-mutation-example-mutation-report] -- Mutation sites: ListLit produces an empty-list mutant and a drop-first
  1013. 4.09 s [sydtest-mutation-example-mutation-report] -- mutant on the literal @[a, b]@.
  1014. 4.09 s [sydtest-mutation-example-mutation-report] pairConcat :: String -> String -> String
  1015. 4.09 s [sydtest-mutation-example-mutation-report] -pairConcat a b = concat [a, b]
  1016. 4.09 s [sydtest-mutation-example-mutation-report] +pairConcat a b = concat [a, []]
  1017. 4.09 s [sydtest-mutation-example-mutation-report]
  1018. 4.09 s [sydtest-mutation-example-mutation-report] -- | Concatenate a three-element list of strings.
  1019. 4.09 s [sydtest-mutation-example-mutation-report] --
  1020. 4.09 s [sydtest-mutation-example-mutation-report] Testing mutation ConstEmptyList at src/Example/ListLib.hs:12:26-27 #1
  1021. 4.09 s [sydtest-mutation-example-mutation-report] @@ -9,7 +9,7 @@
  1022. 4.09 s [sydtest-mutation-example-mutation-report] -- Mutation sites: ListLit produces an empty-list mutant and a drop-first
  1023. 4.09 s [sydtest-mutation-example-mutation-report] -- mutant on the literal @[a, b]@.
  1024. 4.09 s [sydtest-mutation-example-mutation-report] pairConcat :: String -> String -> String
  1025. 4.09 s [sydtest-mutation-example-mutation-report] -pairConcat a b = concat [a, b]
  1026. 4.09 s [sydtest-mutation-example-mutation-report] +pairConcat a b = concat [[], b]
  1027. 4.09 s [sydtest-mutation-example-mutation-report]
  1028. 4.09 s [sydtest-mutation-example-mutation-report] -- | Concatenate a three-element list of strings.
  1029. 4.09 s [sydtest-mutation-example-mutation-report] --
  1030. 4.09 s [sydtest-mutation-example-mutation-report] Testing mutation ConstEmptyList at src/Example/ListLib.hs:12:25-31 #1
  1031. 4.09 s [sydtest-mutation-example-mutation-report] @@ -9,7 +9,7 @@
  1032. 4.09 s [sydtest-mutation-example-mutation-report] -- Mutation sites: ListLit produces an empty-list mutant and a drop-first
  1033. 4.09 s [sydtest-mutation-example-mutation-report] -- mutant on the literal @[a, b]@.
  1034. 4.09 s [sydtest-mutation-example-mutation-report] pairConcat :: String -> String -> String
  1035. 4.09 s [sydtest-mutation-example-mutation-report] -pairConcat a b = concat [a, b]
  1036. 4.09 s [sydtest-mutation-example-mutation-report] +pairConcat a b = concat []
  1037. 4.09 s [sydtest-mutation-example-mutation-report]
  1038. 4.09 s [sydtest-mutation-example-mutation-report] -- | Concatenate a three-element list of strings.
  1039. 4.09 s [sydtest-mutation-example-mutation-report] --
  1040. 4.15 s [sydtest-mutation-example-mutation-report] Testing mutation ListLit at src/Example/ListLib.hs:12:25-31 #1
  1041. 4.15 s [sydtest-mutation-example-mutation-report] @@ -9,7 +9,6 @@
  1042. 4.15 s [sydtest-mutation-example-mutation-report] -- Mutation sites: ListLit produces an empty-list mutant and a drop-first
  1043. 4.15 s [sydtest-mutation-example-mutation-report] -- mutant on the literal @[a, b]@.
  1044. 4.15 s [sydtest-mutation-example-mutation-report] pairConcat :: String -> String -> String
  1045. 4.15 s [sydtest-mutation-example-mutation-report] -pairConcat a b = concat [a, b]
  1046. 4.15 s [sydtest-mutation-example-mutation-report]
  1047. 4.15 s [sydtest-mutation-example-mutation-report] -- | Concatenate a three-element list of strings.
  1048. 4.15 s [sydtest-mutation-example-mutation-report] --
  1049. 4.15 s [sydtest-mutation-example-mutation-report] Testing mutation ConstEmptyList at src/Example/ListLib.hs:12:18-31 #1
  1050. 4.15 s [sydtest-mutation-example-mutation-report] @@ -9,7 +9,7 @@
  1051. 4.15 s [sydtest-mutation-example-mutation-report] -- Mutation sites: ListLit produces an empty-list mutant and a drop-first
  1052. 4.15 s [sydtest-mutation-example-mutation-report] -- mutant on the literal @[a, b]@.
  1053. 4.15 s [sydtest-mutation-example-mutation-report] pairConcat :: String -> String -> String
  1054. 4.15 s [sydtest-mutation-example-mutation-report] -pairConcat a b = concat [a, b]
  1055. 4.15 s [sydtest-mutation-example-mutation-report] +pairConcat a b = []
  1056. 4.15 s [sydtest-mutation-example-mutation-report]
  1057. 4.15 s [sydtest-mutation-example-mutation-report] -- | Concatenate a three-element list of strings.
  1058. 4.15 s [sydtest-mutation-example-mutation-report] --
  1059. 4.15 s [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/Lib.hs:8:16-17 #1
  1060. 4.15 s [sydtest-mutation-example-mutation-report] @@ -5,4 +5,4 @@
  1061. 4.15 s [sydtest-mutation-example-mutation-report] -- The literal '1' here is a mutation site: the plugin will also compile a
  1062. 4.15 s [sydtest-mutation-example-mutation-report] -- version where this returns @n + 0@ instead of @n + 1@.
  1063. 4.15 s [sydtest-mutation-example-mutation-report] addOne :: Int -> Int
  1064. 4.15 s [sydtest-mutation-example-mutation-report] -addOne n = n + 1
  1065. 4.15 s [sydtest-mutation-example-mutation-report] +addOne n = n + 0
  1066. 4.15 s [sydtest-mutation-example-mutation-report] Testing mutation Arith at src/Example/Lib.hs:8:12-17 #1
  1067. 4.15 s [sydtest-mutation-example-mutation-report] @@ -5,4 +5,4 @@
  1068. 4.15 s [sydtest-mutation-example-mutation-report] -- The literal '1' here is a mutation site: the plugin will also compile a
  1069. 4.15 s [sydtest-mutation-example-mutation-report] -- version where this returns @n + 0@ instead of @n + 1@.
  1070. 4.15 s [sydtest-mutation-example-mutation-report] addOne :: Int -> Int
  1071. 4.15 s [sydtest-mutation-example-mutation-report] -addOne n = n + 1
  1072. 4.15 s [sydtest-mutation-example-mutation-report] +addOne n = n - 1
  1073. 4.15 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:58:19-20 #1
  1074. 4.15 s [sydtest-mutation-example-mutation-report] @@ -55,5 +55,5 @@
  1075. 4.15 s [sydtest-mutation-example-mutation-report] -- @toggle b@ is fully instrumented.
  1076. 4.15 s [sydtest-mutation-example-mutation-report] withBindKept :: (Bool -> IO Bool) -> Bool -> IO Bool
  1077. 4.15 s [sydtest-mutation-example-mutation-report] withBindKept toggle b = do
  1078. 4.15 s [sydtest-mutation-example-mutation-report] - inner <- toggle b
  1079. 4.15 s [sydtest-mutation-example-mutation-report] + inner <- toggle True
  1080. 4.15 s [sydtest-mutation-example-mutation-report] pure inner
  1081. 4.15 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:58:19-20 #1
  1082. 4.16 s [sydtest-mutation-example-mutation-report] @@ -55,5 +55,5 @@
  1083. 4.16 s [sydtest-mutation-example-mutation-report] -- @toggle b@ is fully instrumented.
  1084. 4.16 s [sydtest-mutation-example-mutation-report] withBindKept :: (Bool -> IO Bool) -> Bool -> IO Bool
  1085. 4.16 s [sydtest-mutation-example-mutation-report] withBindKept toggle b = do
  1086. 4.16 s [sydtest-mutation-example-mutation-report] - inner <- toggle b
  1087. 4.16 s [sydtest-mutation-example-mutation-report] + inner <- toggle not (b)
  1088. 4.16 s [sydtest-mutation-example-mutation-report] pure inner
  1089. 4.16 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:59:8-13 #1
  1090. 4.16 s [sydtest-mutation-example-mutation-report] @@ -56,4 +56,4 @@
  1091. 4.16 s [sydtest-mutation-example-mutation-report] withBindKept :: (Bool -> IO Bool) -> Bool -> IO Bool
  1092. 4.16 s [sydtest-mutation-example-mutation-report] withBindKept toggle b = do
  1093. 4.16 s [sydtest-mutation-example-mutation-report] inner <- toggle b
  1094. 4.16 s [sydtest-mutation-example-mutation-report] - pure inner
  1095. 4.16 s [sydtest-mutation-example-mutation-report] + pure True
  1096. 4.16 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:59:8-13 #1
  1097. 4.16 s [sydtest-mutation-example-mutation-report] @@ -56,4 +56,4 @@
  1098. 4.16 s [sydtest-mutation-example-mutation-report] withBindKept :: (Bool -> IO Bool) -> Bool -> IO Bool
  1099. 4.16 s [sydtest-mutation-example-mutation-report] withBindKept toggle b = do
  1100. 4.16 s [sydtest-mutation-example-mutation-report] inner <- toggle b
  1101. 4.16 s [sydtest-mutation-example-mutation-report] - pure inner
  1102. 4.16 s [sydtest-mutation-example-mutation-report] + pure not (inner)
  1103. 4.16 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:52:8-13 #1
  1104. 4.16 s [sydtest-mutation-example-mutation-report] @@ -49,7 +49,7 @@
  1105. 4.16 s [sydtest-mutation-example-mutation-report] withBindDisabled :: (Bool -> IO Bool) -> Bool -> IO Bool
  1106. 4.16 s [sydtest-mutation-example-mutation-report] withBindDisabled toggle b = do
  1107. 4.16 s [sydtest-mutation-example-mutation-report] inner <- toggle b
  1108. 4.16 s [sydtest-mutation-example-mutation-report] - pure inner
  1109. 4.16 s [sydtest-mutation-example-mutation-report] + pure True
  1110. 4.16 s [sydtest-mutation-example-mutation-report]
  1111. 4.16 s [sydtest-mutation-example-mutation-report] -- | Control for 'withBindDisabled': no disable annotation, so the RHS
  1112. 4.16 s [sydtest-mutation-example-mutation-report] -- @toggle b@ is fully instrumented.
  1113. 4.16 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:52:8-13 #1
  1114. 4.16 s [sydtest-mutation-example-mutation-report] @@ -49,7 +49,7 @@
  1115. 4.16 s [sydtest-mutation-example-mutation-report] withBindDisabled :: (Bool -> IO Bool) -> Bool -> IO Bool
  1116. 4.16 s [sydtest-mutation-example-mutation-report] withBindDisabled toggle b = do
  1117. 4.16 s [sydtest-mutation-example-mutation-report] inner <- toggle b
  1118. 4.16 s [sydtest-mutation-example-mutation-report] - pure inner
  1119. 4.16 s [sydtest-mutation-example-mutation-report] + pure not (inner)
  1120. 4.16 s [sydtest-mutation-example-mutation-report]
  1121. 4.16 s [sydtest-mutation-example-mutation-report] -- | Control for 'withBindDisabled': no disable annotation, so the RHS
  1122. 4.16 s [sydtest-mutation-example-mutation-report] -- @toggle b@ is fully instrumented.
  1123. 4.16 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:36:19-20 #1
  1124. 4.16 s [sydtest-mutation-example-mutation-report] @@ -33,7 +33,7 @@
  1125. 4.16 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  1126. 4.16 s [sydtest-mutation-example-mutation-report] withInnerKept :: Bool -> Bool
  1127. 4.16 s [sydtest-mutation-example-mutation-report] withInnerKept b =
  1128. 4.16 s [sydtest-mutation-example-mutation-report] - let inner = not b
  1129. 4.16 s [sydtest-mutation-example-mutation-report] + let inner = not True
  1130. 4.16 s [sydtest-mutation-example-mutation-report] in inner
  1131. 4.16 s [sydtest-mutation-example-mutation-report]
  1132. 4.16 s [sydtest-mutation-example-mutation-report] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  1133. 4.16 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:36:19-20 #1
  1134. 4.16 s [sydtest-mutation-example-mutation-report] @@ -33,7 +33,7 @@
  1135. 4.16 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  1136. 4.16 s [sydtest-mutation-example-mutation-report] withInnerKept :: Bool -> Bool
  1137. 4.16 s [sydtest-mutation-example-mutation-report] withInnerKept b =
  1138. 4.16 s [sydtest-mutation-example-mutation-report] - let inner = not b
  1139. 4.16 s [sydtest-mutation-example-mutation-report] + let inner = not not (b)
  1140. 4.16 s [sydtest-mutation-example-mutation-report] in inner
  1141. 4.16 s [sydtest-mutation-example-mutation-report]
  1142. 4.16 s [sydtest-mutation-example-mutation-report] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  1143. 4.16 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:36:15-20 #1
  1144. 4.16 s [sydtest-mutation-example-mutation-report] @@ -33,7 +33,7 @@
  1145. 4.16 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  1146. 4.16 s [sydtest-mutation-example-mutation-report] withInnerKept :: Bool -> Bool
  1147. 4.16 s [sydtest-mutation-example-mutation-report] withInnerKept b =
  1148. 4.16 s [sydtest-mutation-example-mutation-report] - let inner = not b
  1149. 4.16 s [sydtest-mutation-example-mutation-report] + let inner = True
  1150. 4.16 s [sydtest-mutation-example-mutation-report] in inner
  1151. 4.16 s [sydtest-mutation-example-mutation-report]
  1152. 4.16 s [sydtest-mutation-example-mutation-report] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  1153. 4.16 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:36:15-20 #1
  1154. 4.16 s [sydtest-mutation-example-mutation-report] @@ -33,7 +33,7 @@
  1155. 4.16 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  1156. 4.16 s [sydtest-mutation-example-mutation-report] withInnerKept :: Bool -> Bool
  1157. 4.16 s [sydtest-mutation-example-mutation-report] withInnerKept b =
  1158. 4.16 s [sydtest-mutation-example-mutation-report] - let inner = not b
  1159. 4.16 s [sydtest-mutation-example-mutation-report] + let inner = not (not b)
  1160. 4.16 s [sydtest-mutation-example-mutation-report] in inner
  1161. 4.16 s [sydtest-mutation-example-mutation-report]
  1162. 4.16 s [sydtest-mutation-example-mutation-report] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  1163. 4.16 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:37:7-12 #1
  1164. 4.16 s [sydtest-mutation-example-mutation-report] @@ -34,7 +34,7 @@
  1165. 4.16 s [sydtest-mutation-example-mutation-report] withInnerKept :: Bool -> Bool
  1166. 4.16 s [sydtest-mutation-example-mutation-report] withInnerKept b =
  1167. 4.16 s [sydtest-mutation-example-mutation-report] let inner = not b
  1168. 4.16 s [sydtest-mutation-example-mutation-report] - in inner
  1169. 4.16 s [sydtest-mutation-example-mutation-report] + in True
  1170. 4.16 s [sydtest-mutation-example-mutation-report]
  1171. 4.16 s [sydtest-mutation-example-mutation-report] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  1172. 4.16 s [sydtest-mutation-example-mutation-report] -- by a @do@-block @<-@ statement instead of a @let@. The annotation
  1173. 4.16 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:37:7-12 #1
  1174. 4.16 s [sydtest-mutation-example-mutation-report] @@ -34,7 +34,7 @@
  1175. 4.16 s [sydtest-mutation-example-mutation-report] withInnerKept :: Bool -> Bool
  1176. 4.16 s [sydtest-mutation-example-mutation-report] withInnerKept b =
  1177. 4.16 s [sydtest-mutation-example-mutation-report] let inner = not b
  1178. 4.16 s [sydtest-mutation-example-mutation-report] - in inner
  1179. 4.16 s [sydtest-mutation-example-mutation-report] + in not (inner)
  1180. 4.16 s [sydtest-mutation-example-mutation-report]
  1181. 4.16 s [sydtest-mutation-example-mutation-report] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  1182. 4.16 s [sydtest-mutation-example-mutation-report] -- by a @do@-block @<-@ statement instead of a @let@. The annotation
  1183. 4.16 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:36:3-12 #1
  1184. 4.16 s [sydtest-mutation-example-mutation-report] @@ -33,8 +33,7 @@
  1185. 4.16 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  1186. 4.16 s [sydtest-mutation-example-mutation-report] withInnerKept :: Bool -> Bool
  1187. 4.16 s [sydtest-mutation-example-mutation-report] withInnerKept b =
  1188. 4.16 s [sydtest-mutation-example-mutation-report] - let inner = not b
  1189. 4.16 s [sydtest-mutation-example-mutation-report] - in inner
  1190. 4.16 s [sydtest-mutation-example-mutation-report] + True
  1191. 4.16 s [sydtest-mutation-example-mutation-report]
  1192. 4.16 s [sydtest-mutation-example-mutation-report] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  1193. 4.16 s [sydtest-mutation-example-mutation-report] -- by a @do@-block @<-@ statement instead of a @let@. The annotation
  1194. 4.16 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:29:19-20 #1
  1195. 4.16 s [sydtest-mutation-example-mutation-report] @@ -26,7 +26,7 @@
  1196. 4.16 s [sydtest-mutation-example-mutation-report] {-# ANN withInnerBoolLitDisabled ("DisableMutationsFor inner: ConstBool" :: String) #-}
  1197. 4.16 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled :: Bool -> Bool
  1198. 4.16 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled b =
  1199. 4.16 s [sydtest-mutation-example-mutation-report] - let inner = not b
  1200. 4.16 s [sydtest-mutation-example-mutation-report] + let inner = not not (b)
  1201. 4.16 s [sydtest-mutation-example-mutation-report] in inner
  1202. 4.16 s [sydtest-mutation-example-mutation-report]
  1203. 4.16 s [sydtest-mutation-example-mutation-report] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  1204. 4.16 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:36:3-12 #1
  1205. 4.16 s [sydtest-mutation-example-mutation-report] @@ -33,8 +33,8 @@
  1206. 4.16 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  1207. 4.16 s [sydtest-mutation-example-mutation-report] withInnerKept :: Bool -> Bool
  1208. 4.16 s [sydtest-mutation-example-mutation-report] withInnerKept b =
  1209. 4.16 s [sydtest-mutation-example-mutation-report] - let inner = not b
  1210. 4.16 s [sydtest-mutation-example-mutation-report] - in inner
  1211. 4.16 s [sydtest-mutation-example-mutation-report] + not (let inner = not b
  1212. 4.16 s [sydtest-mutation-example-mutation-report] + in inner)
  1213. 4.16 s [sydtest-mutation-example-mutation-report]
  1214. 4.16 s [sydtest-mutation-example-mutation-report] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  1215. 4.16 s [sydtest-mutation-example-mutation-report] -- by a @do@-block @<-@ statement instead of a @let@. The annotation
  1216. 4.36 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:29:15-20 #1
  1217. 4.36 s [sydtest-mutation-example-mutation-report] @@ -26,7 +26,7 @@
  1218. 4.36 s [sydtest-mutation-example-mutation-report] {-# ANN withInnerBoolLitDisabled ("DisableMutationsFor inner: ConstBool" :: String) #-}
  1219. 4.36 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled :: Bool -> Bool
  1220. 4.36 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled b =
  1221. 4.36 s [sydtest-mutation-example-mutation-report] - let inner = not b
  1222. 4.36 s [sydtest-mutation-example-mutation-report] + let inner = not (not b)
  1223. 4.36 s [sydtest-mutation-example-mutation-report] in inner
  1224. 4.36 s [sydtest-mutation-example-mutation-report]
  1225. 4.36 s [sydtest-mutation-example-mutation-report] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  1226. 4.36 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:30:7-12 #1
  1227. 4.36 s [sydtest-mutation-example-mutation-report] @@ -27,7 +27,7 @@
  1228. 4.36 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled :: Bool -> Bool
  1229. 4.36 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled b =
  1230. 4.36 s [sydtest-mutation-example-mutation-report] let inner = not b
  1231. 4.36 s [sydtest-mutation-example-mutation-report] - in inner
  1232. 4.36 s [sydtest-mutation-example-mutation-report] + in True
  1233. 4.36 s [sydtest-mutation-example-mutation-report]
  1234. 4.36 s [sydtest-mutation-example-mutation-report] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  1235. 4.36 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  1236. 4.36 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:30:7-12 #1
  1237. 4.36 s [sydtest-mutation-example-mutation-report] @@ -27,7 +27,7 @@
  1238. 4.36 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled :: Bool -> Bool
  1239. 4.36 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled b =
  1240. 4.36 s [sydtest-mutation-example-mutation-report] let inner = not b
  1241. 4.36 s [sydtest-mutation-example-mutation-report] - in inner
  1242. 4.36 s [sydtest-mutation-example-mutation-report] + in not (inner)
  1243. 4.36 s [sydtest-mutation-example-mutation-report]
  1244. 4.36 s [sydtest-mutation-example-mutation-report] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  1245. 4.36 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  1246. 4.36 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:29:3-12 #1
  1247. 4.36 s [sydtest-mutation-example-mutation-report] @@ -26,8 +26,7 @@
  1248. 4.36 s [sydtest-mutation-example-mutation-report] {-# ANN withInnerBoolLitDisabled ("DisableMutationsFor inner: ConstBool" :: String) #-}
  1249. 4.36 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled :: Bool -> Bool
  1250. 4.36 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled b =
  1251. 4.36 s [sydtest-mutation-example-mutation-report] - let inner = not b
  1252. 4.36 s [sydtest-mutation-example-mutation-report] - in inner
  1253. 4.36 s [sydtest-mutation-example-mutation-report] + True
  1254. 4.36 s [sydtest-mutation-example-mutation-report]
  1255. 4.36 s [sydtest-mutation-example-mutation-report] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  1256. 4.36 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  1257. 4.36 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:21:7-12 #1
  1258. 4.36 s [sydtest-mutation-example-mutation-report] @@ -18,7 +18,7 @@
  1259. 4.36 s [sydtest-mutation-example-mutation-report] withInnerDisabled :: Bool -> Bool
  1260. 4.36 s [sydtest-mutation-example-mutation-report] withInnerDisabled b =
  1261. 4.36 s [sydtest-mutation-example-mutation-report] let inner = not b
  1262. 4.36 s [sydtest-mutation-example-mutation-report] - in inner
  1263. 4.36 s [sydtest-mutation-example-mutation-report] + in True
  1264. 4.36 s [sydtest-mutation-example-mutation-report]
  1265. 4.36 s [sydtest-mutation-example-mutation-report] -- | Like 'withInnerDisabled', but only @ConstBool@ is disabled inside
  1266. 4.36 s [sydtest-mutation-example-mutation-report] -- @inner@'s RHS. Other operators on @inner@'s RHS (notably the @Negate@
  1267. 4.36 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:29:3-12 #1
  1268. 4.36 s [sydtest-mutation-example-mutation-report] @@ -26,8 +26,8 @@
  1269. 4.36 s [sydtest-mutation-example-mutation-report] {-# ANN withInnerBoolLitDisabled ("DisableMutationsFor inner: ConstBool" :: String) #-}
  1270. 4.36 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled :: Bool -> Bool
  1271. 4.36 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled b =
  1272. 4.36 s [sydtest-mutation-example-mutation-report] - let inner = not b
  1273. 4.36 s [sydtest-mutation-example-mutation-report] - in inner
  1274. 4.36 s [sydtest-mutation-example-mutation-report] + not (let inner = not b
  1275. 4.36 s [sydtest-mutation-example-mutation-report] + in inner)
  1276. 4.36 s [sydtest-mutation-example-mutation-report]
  1277. 4.36 s [sydtest-mutation-example-mutation-report] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  1278. 4.36 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  1279. 4.36 s [sydtest-mutation-example-mutation-report] Testing mutation ConstEmptyList at src/Example/DoLib.hs:13:12-19 #1
  1280. 4.36 s [sydtest-mutation-example-mutation-report] @@ -10,6 +10,6 @@
  1281. 4.36 s [sydtest-mutation-example-mutation-report] where
  1282. 4.36 s [sydtest-mutation-example-mutation-report] go :: Writer String ()
  1283. 4.36 s [sydtest-mutation-example-mutation-report] go = do
  1284. 4.36 s [sydtest-mutation-example-mutation-report] - tell "Hello"
  1285. 4.36 s [sydtest-mutation-example-mutation-report] + tell []
  1286. 4.36 s [sydtest-mutation-example-mutation-report] if loud then tell "!" else pure ()
  1287. 4.36 s [sydtest-mutation-example-mutation-report] tell "\n"
  1288. 4.36 s [sydtest-mutation-example-mutation-report] Testing mutation ConstEmptyList at src/Example/DoLib.hs:14:25-28 #1
  1289. 4.36 s [sydtest-mutation-example-mutation-report] @@ -11,5 +11,5 @@
  1290. 4.36 s [sydtest-mutation-example-mutation-report] go :: Writer String ()
  1291. 4.36 s [sydtest-mutation-example-mutation-report] go = do
  1292. 4.36 s [sydtest-mutation-example-mutation-report] tell "Hello"
  1293. 4.36 s [sydtest-mutation-example-mutation-report] - if loud then tell "!" else pure ()
  1294. 4.36 s [sydtest-mutation-example-mutation-report] + if loud then tell [] else pure ()
  1295. 4.36 s [sydtest-mutation-example-mutation-report] tell "\n"
  1296. 4.36 s [sydtest-mutation-example-mutation-report] Testing mutation ConstEmptyList at src/Example/DoLib.hs:9:14-27 #1
  1297. 4.36 s [sydtest-mutation-example-mutation-report] @@ -6,7 +6,7 @@
  1298. 4.36 s [sydtest-mutation-example-mutation-report] --
  1299. 4.37 s [sydtest-mutation-example-mutation-report] -- Mutation sites: RemoveAction removes one of the three tell actions.
  1300. 4.37 s [sydtest-mutation-example-mutation-report] greet :: Bool -> String
  1301. 4.37 s [sydtest-mutation-example-mutation-report] -greet loud = execWriter go
  1302. 4.37 s [sydtest-mutation-example-mutation-report] +greet loud = []
  1303. 4.37 s [sydtest-mutation-example-mutation-report] where
  1304. 4.37 s [sydtest-mutation-example-mutation-report] go :: Writer String ()
  1305. 4.37 s [sydtest-mutation-example-mutation-report] go = do
  1306. 4.37 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/DoLib.hs:14:10-14 #1
  1307. 4.37 s [sydtest-mutation-example-mutation-report] @@ -11,5 +11,5 @@
  1308. 4.37 s [sydtest-mutation-example-mutation-report] go :: Writer String ()
  1309. 4.37 s [sydtest-mutation-example-mutation-report] go = do
  1310. 4.37 s [sydtest-mutation-example-mutation-report] tell "Hello"
  1311. 4.37 s [sydtest-mutation-example-mutation-report] - if loud then tell "!" else pure ()
  1312. 4.37 s [sydtest-mutation-example-mutation-report] + if not (loud) then tell "!" else pure ()
  1313. 4.37 s [sydtest-mutation-example-mutation-report] tell "\n"
  1314. 4.37 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:20:3-12 #1
  1315. 4.37 s [sydtest-mutation-example-mutation-report] @@ -17,8 +17,7 @@
  1316. 4.37 s [sydtest-mutation-example-mutation-report] {-# ANN withInnerDisabled ("DisableMutationsFor inner" :: String) #-}
  1317. 4.37 s [sydtest-mutation-example-mutation-report] withInnerDisabled :: Bool -> Bool
  1318. 4.37 s [sydtest-mutation-example-mutation-report] withInnerDisabled b =
  1319. 4.37 s [sydtest-mutation-example-mutation-report] - let inner = not b
  1320. 4.37 s [sydtest-mutation-example-mutation-report] - in inner
  1321. 4.37 s [sydtest-mutation-example-mutation-report] + True
  1322. 4.37 s [sydtest-mutation-example-mutation-report]
  1323. 4.37 s [sydtest-mutation-example-mutation-report] -- | Like 'withInnerDisabled', but only @ConstBool@ is disabled inside
  1324. 4.37 s [sydtest-mutation-example-mutation-report] -- @inner@'s RHS. Other operators on @inner@'s RHS (notably the @Negate@
  1325. 4.37 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/DoLib.hs:14:10-14 #1
  1326. 4.37 s [sydtest-mutation-example-mutation-report] @@ -11,5 +11,5 @@
  1327. 4.37 s [sydtest-mutation-example-mutation-report] go :: Writer String ()
  1328. 4.37 s [sydtest-mutation-example-mutation-report] go = do
  1329. 4.37 s [sydtest-mutation-example-mutation-report] tell "Hello"
  1330. 4.37 s [sydtest-mutation-example-mutation-report] - if loud then tell "!" else pure ()
  1331. 4.37 s [sydtest-mutation-example-mutation-report] + if True then tell "!" else pure ()
  1332. 4.37 s [sydtest-mutation-example-mutation-report] tell "\n"
  1333. 4.37 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:20:3-12 #1
  1334. 4.37 s [sydtest-mutation-example-mutation-report] @@ -17,8 +17,8 @@
  1335. 4.37 s [sydtest-mutation-example-mutation-report] {-# ANN withInnerDisabled ("DisableMutationsFor inner" :: String) #-}
  1336. 4.37 s [sydtest-mutation-example-mutation-report] withInnerDisabled :: Bool -> Bool
  1337. 4.37 s [sydtest-mutation-example-mutation-report] withInnerDisabled b =
  1338. 4.37 s [sydtest-mutation-example-mutation-report] - let inner = not b
  1339. 4.37 s [sydtest-mutation-example-mutation-report] - in inner
  1340. 4.37 s [sydtest-mutation-example-mutation-report] + not (let inner = not b
  1341. 4.37 s [sydtest-mutation-example-mutation-report] + in inner)
  1342. 4.37 s [sydtest-mutation-example-mutation-report]
  1343. 4.37 s [sydtest-mutation-example-mutation-report] -- | Like 'withInnerDisabled', but only @ConstBool@ is disabled inside
  1344. 4.37 s [sydtest-mutation-example-mutation-report] -- @inner@'s RHS. Other operators on @inner@'s RHS (notably the @Negate@
  1345. 4.37 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:21:7-12 #1
  1346. 4.37 s [sydtest-mutation-example-mutation-report] @@ -18,7 +18,7 @@
  1347. 4.37 s [sydtest-mutation-example-mutation-report] withInnerDisabled :: Bool -> Bool
  1348. 4.37 s [sydtest-mutation-example-mutation-report] withInnerDisabled b =
  1349. 4.37 s [sydtest-mutation-example-mutation-report] let inner = not b
  1350. 4.37 s [sydtest-mutation-example-mutation-report] - in inner
  1351. 4.37 s [sydtest-mutation-example-mutation-report] + in not (inner)
  1352. 4.37 s [sydtest-mutation-example-mutation-report]
  1353. 4.37 s [sydtest-mutation-example-mutation-report] -- | Like 'withInnerDisabled', but only @ConstBool@ is disabled inside
  1354. 4.37 s [sydtest-mutation-example-mutation-report] -- @inner@'s RHS. Other operators on @inner@'s RHS (notably the @Negate@
  1355. 4.37 s [sydtest-mutation-example-mutation-report] Testing mutation RemoveAction at src/Example/DoLib.hs:14:7-41 #1
  1356. 4.37 s [sydtest-mutation-example-mutation-report] @@ -11,5 +11,4 @@
  1357. 4.37 s [sydtest-mutation-example-mutation-report] go :: Writer String ()
  1358. 4.37 s [sydtest-mutation-example-mutation-report] go = do
  1359. 4.37 s [sydtest-mutation-example-mutation-report] tell "Hello"
  1360. 4.37 s [sydtest-mutation-example-mutation-report] - if loud then tell "!" else pure ()
  1361. 4.37 s [sydtest-mutation-example-mutation-report] tell "\n"
  1362. 4.37 s [sydtest-mutation-example-mutation-report] Testing mutation ConstEmptyList at src/Example/DoLib.hs:15:12-16 #1
  1363. 4.37 s [sydtest-mutation-example-mutation-report] @@ -12,4 +12,4 @@
  1364. 4.37 s [sydtest-mutation-example-mutation-report] go = do
  1365. 4.37 s [sydtest-mutation-example-mutation-report] tell "Hello"
  1366. 4.37 s [sydtest-mutation-example-mutation-report] if loud then tell "!" else pure ()
  1367. 4.37 s [sydtest-mutation-example-mutation-report] - tell "\n"
  1368. 4.37 s [sydtest-mutation-example-mutation-report] + tell []
  1369. 4.37 s [sydtest-mutation-example-mutation-report] Testing mutation RemoveAction at src/Example/DoLib.hs:12:10-16 #1
  1370. 4.37 s [sydtest-mutation-example-mutation-report] @@ -9,7 +9,6 @@
  1371. 4.37 s [sydtest-mutation-example-mutation-report] greet loud = execWriter go
  1372. 4.37 s [sydtest-mutation-example-mutation-report] where
  1373. 4.37 s [sydtest-mutation-example-mutation-report] go :: Writer String ()
  1374. 4.37 s [sydtest-mutation-example-mutation-report] go = do
  1375. 4.37 s [sydtest-mutation-example-mutation-report] - tell "Hello"
  1376. 4.37 s [sydtest-mutation-example-mutation-report] if loud then tell "!" else pure ()
  1377. 4.37 s [sydtest-mutation-example-mutation-report] tell "\n"
  1378. 4.37 s [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/OtherwiseLib.hs:12:9-10 #1
  1379. 4.37 s [sydtest-mutation-example-mutation-report] @@ -9,6 +9,6 @@
  1380. 4.37 s [sydtest-mutation-example-mutation-report] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  1381. 4.37 s [sydtest-mutation-example-mutation-report] classify :: Int -> String
  1382. 4.37 s [sydtest-mutation-example-mutation-report] classify n
  1383. 4.37 s [sydtest-mutation-example-mutation-report] - | n < 0 = "negative"
  1384. 4.37 s [sydtest-mutation-example-mutation-report] + | n < 1 = "negative"
  1385. 4.37 s [sydtest-mutation-example-mutation-report] | n == 0 = "zero"
  1386. 4.37 s [sydtest-mutation-example-mutation-report] | otherwise = "positive"
  1387. 4.37 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10 #1
  1388. 4.37 s [sydtest-mutation-example-mutation-report] @@ -9,6 +9,6 @@
  1389. 4.37 s [sydtest-mutation-example-mutation-report] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  1390. 4.37 s [sydtest-mutation-example-mutation-report] classify :: Int -> String
  1391. 4.37 s [sydtest-mutation-example-mutation-report] classify n
  1392. 4.37 s [sydtest-mutation-example-mutation-report] - | n < 0 = "negative"
  1393. 4.37 s [sydtest-mutation-example-mutation-report] + | n <= 0 = "negative"
  1394. 4.37 s [sydtest-mutation-example-mutation-report] | n == 0 = "zero"
  1395. 4.37 s [sydtest-mutation-example-mutation-report] | otherwise = "positive"
  1396. 4.42 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/OtherwiseLib.hs:12:5-10 #1
  1397. 4.42 s [sydtest-mutation-example-mutation-report] @@ -9,6 +9,6 @@
  1398. 4.42 s [sydtest-mutation-example-mutation-report] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  1399. 4.42 s [sydtest-mutation-example-mutation-report] classify :: Int -> String
  1400. 4.42 s [sydtest-mutation-example-mutation-report] classify n
  1401. 4.42 s [sydtest-mutation-example-mutation-report] - | n < 0 = "negative"
  1402. 4.42 s [sydtest-mutation-example-mutation-report] + | True = "negative"
  1403. 4.42 s [sydtest-mutation-example-mutation-report] | n == 0 = "zero"
  1404. 4.42 s [sydtest-mutation-example-mutation-report] | otherwise = "positive"
  1405. 4.42 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/OtherwiseLib.hs:12:5-10 #1
  1406. 4.42 s [sydtest-mutation-example-mutation-report] @@ -9,6 +9,6 @@
  1407. 4.42 s [sydtest-mutation-example-mutation-report] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  1408. 4.42 s [sydtest-mutation-example-mutation-report] classify :: Int -> String
  1409. 4.42 s [sydtest-mutation-example-mutation-report] classify n
  1410. 4.42 s [sydtest-mutation-example-mutation-report] - | n < 0 = "negative"
  1411. 4.42 s [sydtest-mutation-example-mutation-report] + | not (n < 0) = "negative"
  1412. 4.42 s [sydtest-mutation-example-mutation-report] | n == 0 = "zero"
  1413. 4.42 s [sydtest-mutation-example-mutation-report] | otherwise = "positive"
  1414. 4.42 s [sydtest-mutation-example-mutation-report] Testing mutation ConstEmptyList at src/Example/OtherwiseLib.hs:12:13-23 #1
  1415. 4.42 s [sydtest-mutation-example-mutation-report] @@ -9,6 +9,6 @@
  1416. 4.43 s [sydtest-mutation-example-mutation-report] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  1417. 4.43 s [sydtest-mutation-example-mutation-report] classify :: Int -> String
  1418. 4.43 s [sydtest-mutation-example-mutation-report] classify n
  1419. 4.43 s [sydtest-mutation-example-mutation-report] - | n < 0 = "negative"
  1420. 4.43 s [sydtest-mutation-example-mutation-report] + | n < 0 = []
  1421. 4.43 s [sydtest-mutation-example-mutation-report] | n == 0 = "zero"
  1422. 4.43 s [sydtest-mutation-example-mutation-report] | otherwise = "positive"
  1423. 4.43 s [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/OtherwiseLib.hs:13:10-11 #1
  1424. 4.43 s [sydtest-mutation-example-mutation-report] @@ -10,5 +10,5 @@
  1425. 4.43 s [sydtest-mutation-example-mutation-report] classify :: Int -> String
  1426. 4.43 s [sydtest-mutation-example-mutation-report] classify n
  1427. 4.43 s [sydtest-mutation-example-mutation-report] | n < 0 = "negative"
  1428. 4.43 s [sydtest-mutation-example-mutation-report] - | n == 0 = "zero"
  1429. 4.43 s [sydtest-mutation-example-mutation-report] + | n == 1 = "zero"
  1430. 4.43 s [sydtest-mutation-example-mutation-report] | otherwise = "positive"
  1431. 4.43 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/OtherwiseLib.hs:13:5-11 #1
  1432. 4.43 s [sydtest-mutation-example-mutation-report] @@ -10,5 +10,5 @@
  1433. 4.43 s [sydtest-mutation-example-mutation-report] classify :: Int -> String
  1434. 4.43 s [sydtest-mutation-example-mutation-report] classify n
  1435. 4.43 s [sydtest-mutation-example-mutation-report] | n < 0 = "negative"
  1436. 4.43 s [sydtest-mutation-example-mutation-report] - | n == 0 = "zero"
  1437. 4.43 s [sydtest-mutation-example-mutation-report] + | True = "zero"
  1438. 4.43 s [sydtest-mutation-example-mutation-report] | otherwise = "positive"
  1439. 4.43 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/OtherwiseLib.hs:13:5-11 #1
  1440. 4.43 s [sydtest-mutation-example-mutation-report] @@ -10,5 +10,5 @@
  1441. 4.43 s [sydtest-mutation-example-mutation-report] classify :: Int -> String
  1442. 4.43 s [sydtest-mutation-example-mutation-report] classify n
  1443. 4.43 s [sydtest-mutation-example-mutation-report] | n < 0 = "negative"
  1444. 4.43 s [sydtest-mutation-example-mutation-report] - | n == 0 = "zero"
  1445. 4.43 s [sydtest-mutation-example-mutation-report] + | not (n == 0) = "zero"
  1446. 4.43 s [sydtest-mutation-example-mutation-report] | otherwise = "positive"
  1447. 4.43 s [sydtest-mutation-example-mutation-report] Testing mutation ConstEmptyList at src/Example/OtherwiseLib.hs:13:14-20 #1
  1448. 4.43 s [sydtest-mutation-example-mutation-report] @@ -10,5 +10,5 @@
  1449. 4.43 s [sydtest-mutation-example-mutation-report] classify :: Int -> String
  1450. 4.43 s [sydtest-mutation-example-mutation-report] classify n
  1451. 4.43 s [sydtest-mutation-example-mutation-report] | n < 0 = "negative"
  1452. 4.43 s [sydtest-mutation-example-mutation-report] - | n == 0 = "zero"
  1453. 4.43 s [sydtest-mutation-example-mutation-report] + | n == 0 = []
  1454. 4.43 s [sydtest-mutation-example-mutation-report] | otherwise = "positive"
  1455. 4.43 s [sydtest-mutation-example-mutation-report] Testing mutation ConstEmptyList at src/Example/OtherwiseLib.hs:14:17-27 #1
  1456. 4.43 s [sydtest-mutation-example-mutation-report] @@ -11,4 +11,4 @@
  1457. 4.43 s [sydtest-mutation-example-mutation-report] classify n
  1458. 4.43 s [sydtest-mutation-example-mutation-report] | n < 0 = "negative"
  1459. 4.43 s [sydtest-mutation-example-mutation-report] | n == 0 = "zero"
  1460. 4.43 s [sydtest-mutation-example-mutation-report] - | otherwise = "positive"
  1461. 4.43 s [sydtest-mutation-example-mutation-report] + | otherwise = []
  1462. 4.43 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:71:42-43 #2
  1463. 4.43 s [sydtest-mutation-example-mutation-report] @@ -68,7 +68,7 @@
  1464. 4.43 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  1465. 4.43 s [sydtest-mutation-example-mutation-report] majorityOf5 :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool
  1466. 4.43 s [sydtest-mutation-example-mutation-report] majorityOf5 a b c d e =
  1467. 4.43 s [sydtest-mutation-example-mutation-report] - let n = length (filter id [a, b, c, d, e]) in n >= 3
  1468. 4.43 s [sydtest-mutation-example-mutation-report] + let n = length (filter id [a, b, c, d, False]) in n >= 3
  1469. 4.43 s [sydtest-mutation-example-mutation-report]
  1470. 4.43 s [sydtest-mutation-example-mutation-report] -- | A wrapper that references 'majorityOf5' as a bare arity-5 name.
  1471. 4.43 s [sydtest-mutation-example-mutation-report] --
  1472. 4.43 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:71:33-34 #2
  1473. 4.43 s [sydtest-mutation-example-mutation-report] @@ -68,7 +68,7 @@
  1474. 4.43 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  1475. 4.43 s [sydtest-mutation-example-mutation-report] majorityOf5 :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool
  1476. 4.43 s [sydtest-mutation-example-mutation-report] majorityOf5 a b c d e =
  1477. 4.43 s [sydtest-mutation-example-mutation-report] - let n = length (filter id [a, b, c, d, e]) in n >= 3
  1478. 4.43 s [sydtest-mutation-example-mutation-report] + let n = length (filter id [a, False, c, d, e]) in n >= 3
  1479. 4.43 s [sydtest-mutation-example-mutation-report]
  1480. 4.43 s [sydtest-mutation-example-mutation-report] -- | A wrapper that references 'majorityOf5' as a bare arity-5 name.
  1481. 4.43 s [sydtest-mutation-example-mutation-report] --
  1482. 4.43 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:71:36-37 #2
  1483. 4.43 s [sydtest-mutation-example-mutation-report] @@ -68,7 +68,7 @@
  1484. 4.43 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  1485. 4.43 s [sydtest-mutation-example-mutation-report] majorityOf5 :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool
  1486. 4.43 s [sydtest-mutation-example-mutation-report] majorityOf5 a b c d e =
  1487. 4.43 s [sydtest-mutation-example-mutation-report] - let n = length (filter id [a, b, c, d, e]) in n >= 3
  1488. 4.43 s [sydtest-mutation-example-mutation-report] + let n = length (filter id [a, b, False, d, e]) in n >= 3
  1489. 4.43 s [sydtest-mutation-example-mutation-report]
  1490. 4.43 s [sydtest-mutation-example-mutation-report] -- | A wrapper that references 'majorityOf5' as a bare arity-5 name.
  1491. 4.43 s [sydtest-mutation-example-mutation-report] --
  1492. 4.43 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:71:39-40 #2
  1493. 4.43 s [sydtest-mutation-example-mutation-report] @@ -68,7 +68,7 @@
  1494. 4.43 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  1495. 4.43 s [sydtest-mutation-example-mutation-report] majorityOf5 :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool
  1496. 4.43 s [sydtest-mutation-example-mutation-report] majorityOf5 a b c d e =
  1497. 4.43 s [sydtest-mutation-example-mutation-report] - let n = length (filter id [a, b, c, d, e]) in n >= 3
  1498. 4.43 s [sydtest-mutation-example-mutation-report] + let n = length (filter id [a, b, c, False, e]) in n >= 3
  1499. 4.43 s [sydtest-mutation-example-mutation-report]
  1500. 4.43 s [sydtest-mutation-example-mutation-report] -- | A wrapper that references 'majorityOf5' as a bare arity-5 name.
  1501. 4.43 s [sydtest-mutation-example-mutation-report] --
  1502. 4.43 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:71:30-31 #2
  1503. 4.43 s [sydtest-mutation-example-mutation-report] @@ -68,7 +68,7 @@
  1504. 4.43 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  1505. 4.43 s [sydtest-mutation-example-mutation-report] majorityOf5 :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool
  1506. 4.43 s [sydtest-mutation-example-mutation-report] majorityOf5 a b c d e =
  1507. 4.43 s [sydtest-mutation-example-mutation-report] - let n = length (filter id [a, b, c, d, e]) in n >= 3
  1508. 4.43 s [sydtest-mutation-example-mutation-report] + let n = length (filter id [False, b, c, d, e]) in n >= 3
  1509. 4.43 s [sydtest-mutation-example-mutation-report]
  1510. 4.43 s [sydtest-mutation-example-mutation-report] -- | A wrapper that references 'majorityOf5' as a bare arity-5 name.
  1511. 4.43 s [sydtest-mutation-example-mutation-report] --
  1512. 4.43 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:71:26-28 #2
  1513. 4.43 s [sydtest-mutation-example-mutation-report] @@ -68,7 +68,7 @@
  1514. 4.43 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  1515. 4.43 s [sydtest-mutation-example-mutation-report] majorityOf5 :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool
  1516. 4.43 s [sydtest-mutation-example-mutation-report] majorityOf5 a b c d e =
  1517. 4.43 s [sydtest-mutation-example-mutation-report] - let n = length (filter id [a, b, c, d, e]) in n >= 3
  1518. 4.43 s [sydtest-mutation-example-mutation-report] + let n = length (filter (\_ -> False) [a, b, c, d, e]) in n >= 3
  1519. 4.43 s [sydtest-mutation-example-mutation-report]
  1520. 4.43 s [sydtest-mutation-example-mutation-report] -- | A wrapper that references 'majorityOf5' as a bare arity-5 name.
  1521. 4.43 s [sydtest-mutation-example-mutation-report] --
  1522. 4.43 s [sydtest-mutation-example-mutation-report] Testing mutation ListLit at src/Example/ConstFnLib.hs:71:29-44 #2
  1523. 4.43 s [sydtest-mutation-example-mutation-report] @@ -68,7 +68,6 @@
  1524. 4.43 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  1525. 4.43 s [sydtest-mutation-example-mutation-report] majorityOf5 :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool
  1526. 4.43 s [sydtest-mutation-example-mutation-report] majorityOf5 a b c d e =
  1527. 4.43 s [sydtest-mutation-example-mutation-report] - let n = length (filter id [a, b, c, d, e]) in n >= 3
  1528. 4.43 s [sydtest-mutation-example-mutation-report]
  1529. 4.43 s [sydtest-mutation-example-mutation-report] -- | A wrapper that references 'majorityOf5' as a bare arity-5 name.
  1530. 4.43 s [sydtest-mutation-example-mutation-report] --
  1531. 4.43 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:71:49-55 #2
  1532. 4.43 s [sydtest-mutation-example-mutation-report] @@ -68,7 +68,7 @@
  1533. 4.43 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  1534. 4.43 s [sydtest-mutation-example-mutation-report] majorityOf5 :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool
  1535. 4.43 s [sydtest-mutation-example-mutation-report] majorityOf5 a b c d e =
  1536. 4.43 s [sydtest-mutation-example-mutation-report] - let n = length (filter id [a, b, c, d, e]) in n >= 3
  1537. 4.43 s [sydtest-mutation-example-mutation-report] + let n = length (filter id [a, b, c, d, e]) in False
  1538. 4.43 s [sydtest-mutation-example-mutation-report]
  1539. 4.43 s [sydtest-mutation-example-mutation-report] -- | A wrapper that references 'majorityOf5' as a bare arity-5 name.
  1540. 4.43 s [sydtest-mutation-example-mutation-report] --
  1541. 4.43 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:71:3-55 #2
  1542. 4.43 s [sydtest-mutation-example-mutation-report] @@ -68,7 +68,7 @@
  1543. 4.43 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  1544. 4.43 s [sydtest-mutation-example-mutation-report] majorityOf5 :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool
  1545. 4.43 s [sydtest-mutation-example-mutation-report] majorityOf5 a b c d e =
  1546. 4.43 s [sydtest-mutation-example-mutation-report] - let n = length (filter id [a, b, c, d, e]) in n >= 3
  1547. 4.43 s [sydtest-mutation-example-mutation-report] + False
  1548. 4.43 s [sydtest-mutation-example-mutation-report]
  1549. 4.43 s [sydtest-mutation-example-mutation-report] -- | A wrapper that references 'majorityOf5' as a bare arity-5 name.
  1550. 4.43 s [sydtest-mutation-example-mutation-report] --
  1551. 4.43 s [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/ConstFnLib.hs:71:54-55 #2
  1552. 4.43 s [sydtest-mutation-example-mutation-report] @@ -68,7 +68,7 @@
  1553. 4.43 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  1554. 4.43 s [sydtest-mutation-example-mutation-report] majorityOf5 :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool
  1555. 4.43 s [sydtest-mutation-example-mutation-report] majorityOf5 a b c d e =
  1556. 4.43 s [sydtest-mutation-example-mutation-report] - let n = length (filter id [a, b, c, d, e]) in n >= 3
  1557. 4.43 s [sydtest-mutation-example-mutation-report] + let n = length (filter id [a, b, c, d, e]) in n >= 1
  1558. 4.43 s [sydtest-mutation-example-mutation-report]
  1559. 4.43 s [sydtest-mutation-example-mutation-report] -- | A wrapper that references 'majorityOf5' as a bare arity-5 name.
  1560. 4.43 s [sydtest-mutation-example-mutation-report] --
  1561. 4.49 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:81:52-53 #2
  1562. 4.49 s [sydtest-mutation-example-mutation-report] @@ -78,4 +78,4 @@
  1563. 4.49 s [sydtest-mutation-example-mutation-report] -- @(\\_ _ _ _ _ -> False)@ mutants. At a non-infix site this uses
  1564. 4.49 s [sydtest-mutation-example-mutation-report] -- the plain 'TokenReplace' delta (no 'ReplaceOuterSpan' is needed).
  1565. 4.49 s [sydtest-mutation-example-mutation-report] majorityOf5Wrapper :: (Bool, Bool, Bool, Bool, Bool) -> Bool
  1566. 4.49 s [sydtest-mutation-example-mutation-report] -majorityOf5Wrapper (a, b, c, d, e) = majorityOf5 a b c d e
  1567. 4.49 s [sydtest-mutation-example-mutation-report] +majorityOf5Wrapper (a, b, c, d, e) = majorityOf5 a False c d e
  1568. 4.49 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/ConstFnLib.hs:71:49-55 #2
  1569. 4.49 s [sydtest-mutation-example-mutation-report] @@ -68,7 +68,7 @@
  1570. 4.49 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  1571. 4.49 s [sydtest-mutation-example-mutation-report] majorityOf5 :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool
  1572. 4.49 s [sydtest-mutation-example-mutation-report] majorityOf5 a b c d e =
  1573. 4.49 s [sydtest-mutation-example-mutation-report] - let n = length (filter id [a, b, c, d, e]) in n >= 3
  1574. 4.49 s [sydtest-mutation-example-mutation-report] + let n = length (filter id [a, b, c, d, e]) in n <= 3
  1575. 4.49 s [sydtest-mutation-example-mutation-report]
  1576. 4.49 s [sydtest-mutation-example-mutation-report] -- | A wrapper that references 'majorityOf5' as a bare arity-5 name.
  1577. 4.49 s [sydtest-mutation-example-mutation-report] --
  1578. 4.49 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:81:50-51 #2
  1579. 4.49 s [sydtest-mutation-example-mutation-report] @@ -78,4 +78,4 @@
  1580. 4.49 s [sydtest-mutation-example-mutation-report] -- @(\\_ _ _ _ _ -> False)@ mutants. At a non-infix site this uses
  1581. 4.49 s [sydtest-mutation-example-mutation-report] -- the plain 'TokenReplace' delta (no 'ReplaceOuterSpan' is needed).
  1582. 4.49 s [sydtest-mutation-example-mutation-report] majorityOf5Wrapper :: (Bool, Bool, Bool, Bool, Bool) -> Bool
  1583. 4.49 s [sydtest-mutation-example-mutation-report] -majorityOf5Wrapper (a, b, c, d, e) = majorityOf5 a b c d e
  1584. 4.49 s [sydtest-mutation-example-mutation-report] +majorityOf5Wrapper (a, b, c, d, e) = majorityOf5 False b c d e
  1585. 4.49 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:81:56-57 #2
  1586. 4.49 s [sydtest-mutation-example-mutation-report] @@ -78,4 +78,4 @@
  1587. 4.49 s [sydtest-mutation-example-mutation-report] -- @(\\_ _ _ _ _ -> False)@ mutants. At a non-infix site this uses
  1588. 4.49 s [sydtest-mutation-example-mutation-report] -- the plain 'TokenReplace' delta (no 'ReplaceOuterSpan' is needed).
  1589. 4.49 s [sydtest-mutation-example-mutation-report] majorityOf5Wrapper :: (Bool, Bool, Bool, Bool, Bool) -> Bool
  1590. 4.49 s [sydtest-mutation-example-mutation-report] -majorityOf5Wrapper (a, b, c, d, e) = majorityOf5 a b c d e
  1591. 4.49 s [sydtest-mutation-example-mutation-report] +majorityOf5Wrapper (a, b, c, d, e) = majorityOf5 a b c False e
  1592. 4.49 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:81:54-55 #2
  1593. 4.49 s [sydtest-mutation-example-mutation-report] @@ -78,4 +78,4 @@
  1594. 4.49 s [sydtest-mutation-example-mutation-report] -- @(\\_ _ _ _ _ -> False)@ mutants. At a non-infix site this uses
  1595. 4.49 s [sydtest-mutation-example-mutation-report] -- the plain 'TokenReplace' delta (no 'ReplaceOuterSpan' is needed).
  1596. 4.49 s [sydtest-mutation-example-mutation-report] majorityOf5Wrapper :: (Bool, Bool, Bool, Bool, Bool) -> Bool
  1597. 4.49 s [sydtest-mutation-example-mutation-report] -majorityOf5Wrapper (a, b, c, d, e) = majorityOf5 a b c d e
  1598. 4.49 s [sydtest-mutation-example-mutation-report] +majorityOf5Wrapper (a, b, c, d, e) = majorityOf5 a b False d e
  1599. 4.49 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:81:58-59 #2
  1600. 4.49 s [sydtest-mutation-example-mutation-report] @@ -78,4 +78,4 @@
  1601. 4.49 s [sydtest-mutation-example-mutation-report] -- @(\\_ _ _ _ _ -> False)@ mutants. At a non-infix site this uses
  1602. 4.49 s [sydtest-mutation-example-mutation-report] -- the plain 'TokenReplace' delta (no 'ReplaceOuterSpan' is needed).
  1603. 4.49 s [sydtest-mutation-example-mutation-report] majorityOf5Wrapper :: (Bool, Bool, Bool, Bool, Bool) -> Bool
  1604. 4.49 s [sydtest-mutation-example-mutation-report] -majorityOf5Wrapper (a, b, c, d, e) = majorityOf5 a b c d e
  1605. 4.49 s [sydtest-mutation-example-mutation-report] +majorityOf5Wrapper (a, b, c, d, e) = majorityOf5 a b c d False
  1606. 4.49 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:81:38-59 #2
  1607. 4.49 s [sydtest-mutation-example-mutation-report] @@ -78,4 +78,4 @@
  1608. 4.49 s [sydtest-mutation-example-mutation-report] -- @(\\_ _ _ _ _ -> False)@ mutants. At a non-infix site this uses
  1609. 4.49 s [sydtest-mutation-example-mutation-report] -- the plain 'TokenReplace' delta (no 'ReplaceOuterSpan' is needed).
  1610. 4.49 s [sydtest-mutation-example-mutation-report] majorityOf5Wrapper :: (Bool, Bool, Bool, Bool, Bool) -> Bool
  1611. 4.49 s [sydtest-mutation-example-mutation-report] -majorityOf5Wrapper (a, b, c, d, e) = majorityOf5 a b c d e
  1612. 4.49 s [sydtest-mutation-example-mutation-report] +majorityOf5Wrapper (a, b, c, d, e) = False
  1613. 4.49 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:55:19-20 #2
  1614. 4.49 s [sydtest-mutation-example-mutation-report] @@ -52,7 +52,7 @@
  1615. 4.49 s [sydtest-mutation-example-mutation-report]
  1616. 4.49 s [sydtest-mutation-example-mutation-report] -- | Logical implication. Used to exercise 'ConstBool' at arity 2.
  1617. 4.49 s [sydtest-mutation-example-mutation-report] implies :: Bool -> Bool -> Bool
  1618. 4.49 s [sydtest-mutation-example-mutation-report] -implies a b = not a || b
  1619. 4.49 s [sydtest-mutation-example-mutation-report] +implies a b = not False || b
  1620. 4.49 s [sydtest-mutation-example-mutation-report]
  1621. 4.49 s [sydtest-mutation-example-mutation-report] -- | A wrapper around 'implies' whose body references 'implies' at arity 2
  1622. 4.49 s [sydtest-mutation-example-mutation-report] -- as a bare (un-applied) name.
  1623. 4.49 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:55:15-20 #2
  1624. 4.49 s [sydtest-mutation-example-mutation-report] @@ -52,7 +52,7 @@
  1625. 4.49 s [sydtest-mutation-example-mutation-report]
  1626. 4.49 s [sydtest-mutation-example-mutation-report] -- | Logical implication. Used to exercise 'ConstBool' at arity 2.
  1627. 4.49 s [sydtest-mutation-example-mutation-report] implies :: Bool -> Bool -> Bool
  1628. 4.49 s [sydtest-mutation-example-mutation-report] -implies a b = not a || b
  1629. 4.49 s [sydtest-mutation-example-mutation-report] +implies a b = False || b
  1630. 4.49 s [sydtest-mutation-example-mutation-report]
  1631. 4.49 s [sydtest-mutation-example-mutation-report] -- | A wrapper around 'implies' whose body references 'implies' at arity 2
  1632. 4.49 s [sydtest-mutation-example-mutation-report] -- as a bare (un-applied) name.
  1633. 4.49 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:55:24-25 #2
  1634. 4.49 s [sydtest-mutation-example-mutation-report] @@ -52,7 +52,7 @@
  1635. 4.49 s [sydtest-mutation-example-mutation-report]
  1636. 4.49 s [sydtest-mutation-example-mutation-report] -- | Logical implication. Used to exercise 'ConstBool' at arity 2.
  1637. 4.49 s [sydtest-mutation-example-mutation-report] implies :: Bool -> Bool -> Bool
  1638. 4.49 s [sydtest-mutation-example-mutation-report] -implies a b = not a || b
  1639. 4.49 s [sydtest-mutation-example-mutation-report] +implies a b = not a || False
  1640. 4.49 s [sydtest-mutation-example-mutation-report]
  1641. 4.49 s [sydtest-mutation-example-mutation-report] -- | A wrapper around 'implies' whose body references 'implies' at arity 2
  1642. 4.49 s [sydtest-mutation-example-mutation-report] -- as a bare (un-applied) name.
  1643. 4.49 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:55:15-25 #2
  1644. 4.49 s [sydtest-mutation-example-mutation-report] @@ -52,7 +52,7 @@
  1645. 4.49 s [sydtest-mutation-example-mutation-report]
  1646. 4.49 s [sydtest-mutation-example-mutation-report] -- | Logical implication. Used to exercise 'ConstBool' at arity 2.
  1647. 4.49 s [sydtest-mutation-example-mutation-report] implies :: Bool -> Bool -> Bool
  1648. 4.49 s [sydtest-mutation-example-mutation-report] -implies a b = not a || b
  1649. 4.49 s [sydtest-mutation-example-mutation-report] +implies a b = False
  1650. 4.49 s [sydtest-mutation-example-mutation-report]
  1651. 4.49 s [sydtest-mutation-example-mutation-report] -- | A wrapper around 'implies' whose body references 'implies' at arity 2
  1652. 4.49 s [sydtest-mutation-example-mutation-report] -- as a bare (un-applied) name.
  1653. 4.49 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:65:22-33 #2
  1654. 4.49 s [sydtest-mutation-example-mutation-report] @@ -62,7 +62,7 @@
  1655. 4.49 s [sydtest-mutation-example-mutation-report] -- * 'ConstBool' arity 2 produces @(\\_ _ -> True)@ and
  1656. 4.49 s [sydtest-mutation-example-mutation-report] -- @(\\_ _ -> False)@ mutants.
  1657. 4.49 s [sydtest-mutation-example-mutation-report] impliesPair :: (Bool, Bool) -> Bool
  1658. 4.49 s [sydtest-mutation-example-mutation-report] -impliesPair (a, b) = implies a b
  1659. 4.49 s [sydtest-mutation-example-mutation-report] +impliesPair (a, b) = False
  1660. 4.49 s [sydtest-mutation-example-mutation-report]
  1661. 4.49 s [sydtest-mutation-example-mutation-report] -- | A 5-argument predicate. Used to confirm the 'ConstBool' arity-5
  1662. 4.49 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  1663. 4.49 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:65:32-33 #2
  1664. 4.49 s [sydtest-mutation-example-mutation-report] @@ -62,7 +62,7 @@
  1665. 4.49 s [sydtest-mutation-example-mutation-report] -- * 'ConstBool' arity 2 produces @(\\_ _ -> True)@ and
  1666. 4.49 s [sydtest-mutation-example-mutation-report] -- @(\\_ _ -> False)@ mutants.
  1667. 4.49 s [sydtest-mutation-example-mutation-report] impliesPair :: (Bool, Bool) -> Bool
  1668. 4.49 s [sydtest-mutation-example-mutation-report] -impliesPair (a, b) = implies a b
  1669. 4.49 s [sydtest-mutation-example-mutation-report] +impliesPair (a, b) = implies a False
  1670. 4.49 s [sydtest-mutation-example-mutation-report]
  1671. 4.49 s [sydtest-mutation-example-mutation-report] -- | A 5-argument predicate. Used to confirm the 'ConstBool' arity-5
  1672. 4.49 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  1673. 4.49 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:65:30-31 #2
  1674. 4.49 s [sydtest-mutation-example-mutation-report] @@ -62,7 +62,7 @@
  1675. 4.49 s [sydtest-mutation-example-mutation-report] -- * 'ConstBool' arity 2 produces @(\\_ _ -> True)@ and
  1676. 4.49 s [sydtest-mutation-example-mutation-report] -- @(\\_ _ -> False)@ mutants.
  1677. 4.49 s [sydtest-mutation-example-mutation-report] impliesPair :: (Bool, Bool) -> Bool
  1678. 4.49 s [sydtest-mutation-example-mutation-report] -impliesPair (a, b) = implies a b
  1679. 4.49 s [sydtest-mutation-example-mutation-report] +impliesPair (a, b) = implies False b
  1680. 4.50 s [sydtest-mutation-example-mutation-report]
  1681. 4.50 s [sydtest-mutation-example-mutation-report] -- | A 5-argument predicate. Used to confirm the 'ConstBool' arity-5
  1682. 4.50 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  1683. 4.50 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/ConstFnLib.hs:40:21-28 #2
  1684. 4.50 s [sydtest-mutation-example-mutation-report] @@ -37,7 +37,7 @@
  1685. 4.50 s [sydtest-mutation-example-mutation-report] -- Helper used by 'digitsOf' to give that call site a non-literal
  1686. 4.50 s [sydtest-mutation-example-mutation-report] -- list-returning function to mutate.
  1687. 4.50 s [sydtest-mutation-example-mutation-report] keepDigits :: String -> String
  1688. 4.50 s [sydtest-mutation-example-mutation-report] -keepDigits = filter isDigit
  1689. 4.50 s [sydtest-mutation-example-mutation-report] +keepDigits = filter (\_ -> False)
  1690. 4.50 s [sydtest-mutation-example-mutation-report]
  1691. 4.50 s [sydtest-mutation-example-mutation-report] -- | Get the digits of a 'String'.
  1692. 4.50 s [sydtest-mutation-example-mutation-report] --
  1693. 4.50 s [sydtest-mutation-example-mutation-report] Testing mutation RemoveCase at src/Example/CaseLib.hs:7:19-16 #2
  1694. 4.50 s [sydtest-mutation-example-mutation-report] @@ -4,7 +4,6 @@
  1695. 4.50 s [sydtest-mutation-example-mutation-report] --
  1696. 4.50 s [sydtest-mutation-example-mutation-report] -- Mutation sites: RemoveCase removes one of the three alternatives.
  1697. 4.50 s [sydtest-mutation-example-mutation-report] describeList :: [a] -> String
  1698. 4.50 s [sydtest-mutation-example-mutation-report] describeList xs = case xs of
  1699. 4.50 s [sydtest-mutation-example-mutation-report] [] -> "empty"
  1700. 4.50 s [sydtest-mutation-example-mutation-report] - [_] -> "singleton"
  1701. 4.50 s [sydtest-mutation-example-mutation-report] _ -> "longer"
  1702. 4.59 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/BoolLib.hs:22:22-25 #2
  1703. 4.59 s [sydtest-mutation-example-mutation-report] @@ -19,4 +19,4 @@
  1704. 4.59 s [sydtest-mutation-example-mutation-report]
  1705. 4.59 s [sydtest-mutation-example-mutation-report] -- | Negates a wrapped boolean.
  1706. 4.59 s [sydtest-mutation-example-mutation-report] negateWrapped :: Maybe Bool -> Maybe Bool
  1707. 4.59 s [sydtest-mutation-example-mutation-report] -negateWrapped = fmap not
  1708. 4.59 s [sydtest-mutation-example-mutation-report] +negateWrapped = fmap (\_ -> False)
  1709. 4.59 s [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/FunctionExceptionLib.hs:15:29-30 #2
  1710. 4.59 s [sydtest-mutation-example-mutation-report] @@ -12,7 +12,7 @@
  1711. 4.59 s [sydtest-mutation-example-mutation-report] -- IntLit mutations (replacing the literal @1@) still apply.
  1712. 4.59 s [sydtest-mutation-example-mutation-report] {-# ANN addOneArithDisabled ("DisableMutation: Arith" :: String) #-}
  1713. 4.59 s [sydtest-mutation-example-mutation-report] addOneArithDisabled :: Int -> Int
  1714. 4.59 s [sydtest-mutation-example-mutation-report] -addOneArithDisabled n = n + 1
  1715. 4.59 s [sydtest-mutation-example-mutation-report] +addOneArithDisabled n = n + -1
  1716. 4.59 s [sydtest-mutation-example-mutation-report]
  1717. 4.59 s [sydtest-mutation-example-mutation-report] -- | Both Arith and IntLit mutations disabled on this function.
  1718. 4.59 s [sydtest-mutation-example-mutation-report] {-# ANN addOneArithAndIntLitDisabled ("DisableMutations: Arith, IntLit" :: String) #-}
  1719. 4.59 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:17:22-27 #2
  1720. 4.59 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  1721. 4.59 s [sydtest-mutation-example-mutation-report] --
  1722. 4.59 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  1723. 4.59 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  1724. 4.59 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  1725. 4.59 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = a <= 0 || b > 0
  1726. 4.59 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-27 #2
  1727. 4.59 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  1728. 4.59 s [sydtest-mutation-example-mutation-report] --
  1729. 4.59 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  1730. 4.59 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  1731. 4.59 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  1732. 4.59 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = False || b > 0
  1733. 4.59 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:17:31-36 #2
  1734. 4.59 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  1735. 4.59 s [sydtest-mutation-example-mutation-report] --
  1736. 4.59 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  1737. 4.59 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  1738. 4.59 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  1739. 4.59 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = a > 0 || False
  1740. 4.59 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:17:31-36 #2
  1741. 4.59 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  1742. 4.59 s [sydtest-mutation-example-mutation-report] --
  1743. 4.59 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  1744. 4.59 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  1745. 4.59 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  1746. 4.59 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = a > 0 || b <= 0
  1747. 4.59 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-36 #2
  1748. 4.59 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  1749. 4.59 s [sydtest-mutation-example-mutation-report] --
  1750. 4.59 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  1751. 4.59 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  1752. 4.59 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  1753. 4.59 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = False
  1754. 4.59 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:11:20-25 #2
  1755. 4.59 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  1756. 4.59 s [sydtest-mutation-example-mutation-report] --
  1757. 4.59 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  1758. 4.59 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  1759. 4.59 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  1760. 4.59 s [sydtest-mutation-example-mutation-report] +bothPositive a b = a <= 0 && b > 0
  1761. 4.59 s [sydtest-mutation-example-mutation-report]
  1762. 4.59 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  1763. 4.59 s [sydtest-mutation-example-mutation-report] --
  1764. 4.59 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-25 #2
  1765. 4.59 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  1766. 4.59 s [sydtest-mutation-example-mutation-report] --
  1767. 4.59 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  1768. 4.59 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  1769. 4.59 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  1770. 4.59 s [sydtest-mutation-example-mutation-report] +bothPositive a b = False && b > 0
  1771. 4.59 s [sydtest-mutation-example-mutation-report]
  1772. 4.59 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  1773. 4.59 s [sydtest-mutation-example-mutation-report] --
  1774. 4.59 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:11:29-34 #2
  1775. 4.59 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  1776. 4.59 s [sydtest-mutation-example-mutation-report] --
  1777. 4.59 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  1778. 4.59 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  1779. 4.59 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  1780. 4.59 s [sydtest-mutation-example-mutation-report] +bothPositive a b = a > 0 && b <= 0
  1781. 4.59 s [sydtest-mutation-example-mutation-report]
  1782. 4.59 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  1783. 4.59 s [sydtest-mutation-example-mutation-report] --
  1784. 4.59 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-34 #2
  1785. 4.59 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  1786. 4.59 s [sydtest-mutation-example-mutation-report] --
  1787. 4.60 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  1788. 4.60 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  1789. 4.60 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  1790. 4.60 s [sydtest-mutation-example-mutation-report] +bothPositive a b = False
  1791. 4.60 s [sydtest-mutation-example-mutation-report]
  1792. 4.60 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  1793. 4.60 s [sydtest-mutation-example-mutation-report] --
  1794. 4.60 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:11:29-34 #2
  1795. 4.60 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  1796. 4.60 s [sydtest-mutation-example-mutation-report] --
  1797. 4.60 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  1798. 4.60 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  1799. 4.60 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  1800. 4.60 s [sydtest-mutation-example-mutation-report] +bothPositive a b = a > 0 && False
  1801. 4.60 s [sydtest-mutation-example-mutation-report]
  1802. 4.60 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  1803. 4.60 s [sydtest-mutation-example-mutation-report] --
  1804. 4.60 s [sydtest-mutation-example-mutation-report] Testing mutation ListLit at src/Example/ListLib.hs:19:29-38 #2
  1805. 4.60 s [sydtest-mutation-example-mutation-report] @@ -16,4 +16,3 @@
  1806. 4.60 s [sydtest-mutation-example-mutation-report] -- Mutation sites: ListLit produces an empty-list mutant, a drop-first mutant,
  1807. 4.60 s [sydtest-mutation-example-mutation-report] -- and a drop-last mutant on the literal @[a, b, c]@.
  1808. 4.60 s [sydtest-mutation-example-mutation-report] tripleConcat :: String -> String -> String -> String
  1809. 4.60 s [sydtest-mutation-example-mutation-report] -tripleConcat a b c = concat [a, b, c]
  1810. 4.60 s [sydtest-mutation-example-mutation-report] Testing mutation ListLit at src/Example/ListLib.hs:12:25-31 #2
  1811. 4.60 s [sydtest-mutation-example-mutation-report] @@ -9,7 +9,6 @@
  1812. 4.60 s [sydtest-mutation-example-mutation-report] -- Mutation sites: ListLit produces an empty-list mutant and a drop-first
  1813. 4.60 s [sydtest-mutation-example-mutation-report] -- mutant on the literal @[a, b]@.
  1814. 4.60 s [sydtest-mutation-example-mutation-report] pairConcat :: String -> String -> String
  1815. 4.60 s [sydtest-mutation-example-mutation-report] -pairConcat a b = concat [a, b]
  1816. 4.60 s [sydtest-mutation-example-mutation-report]
  1817. 4.60 s [sydtest-mutation-example-mutation-report] -- | Concatenate a three-element list of strings.
  1818. 4.60 s [sydtest-mutation-example-mutation-report] --
  1819. 4.60 s [sydtest-mutation-example-mutation-report] Testing mutation Arith at src/Example/Lib.hs:8:12-17 #2
  1820. 4.60 s [sydtest-mutation-example-mutation-report] @@ -5,4 +5,4 @@
  1821. 4.60 s [sydtest-mutation-example-mutation-report] -- The literal '1' here is a mutation site: the plugin will also compile a
  1822. 4.60 s [sydtest-mutation-example-mutation-report] -- version where this returns @n + 0@ instead of @n + 1@.
  1823. 4.60 s [sydtest-mutation-example-mutation-report] addOne :: Int -> Int
  1824. 4.60 s [sydtest-mutation-example-mutation-report] -addOne n = n + 1
  1825. 4.60 s [sydtest-mutation-example-mutation-report] +addOne n = n * 1
  1826. 4.60 s [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/Lib.hs:8:16-17 #2
  1827. 4.60 s [sydtest-mutation-example-mutation-report] @@ -5,4 +5,4 @@
  1828. 4.60 s [sydtest-mutation-example-mutation-report] -- The literal '1' here is a mutation site: the plugin will also compile a
  1829. 4.60 s [sydtest-mutation-example-mutation-report] -- version where this returns @n + 0@ instead of @n + 1@.
  1830. 4.60 s [sydtest-mutation-example-mutation-report] addOne :: Int -> Int
  1831. 4.60 s [sydtest-mutation-example-mutation-report] -addOne n = n + 1
  1832. 4.60 s [sydtest-mutation-example-mutation-report] +addOne n = n + -1
  1833. 4.60 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:58:19-20 #2
  1834. 4.60 s [sydtest-mutation-example-mutation-report] @@ -55,5 +55,5 @@
  1835. 4.60 s [sydtest-mutation-example-mutation-report] -- @toggle b@ is fully instrumented.
  1836. 4.60 s [sydtest-mutation-example-mutation-report] withBindKept :: (Bool -> IO Bool) -> Bool -> IO Bool
  1837. 4.60 s [sydtest-mutation-example-mutation-report] withBindKept toggle b = do
  1838. 4.60 s [sydtest-mutation-example-mutation-report] - inner <- toggle b
  1839. 4.60 s [sydtest-mutation-example-mutation-report] + inner <- toggle False
  1840. 4.60 s [sydtest-mutation-example-mutation-report] pure inner
  1841. 4.60 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:59:8-13 #2
  1842. 4.60 s [sydtest-mutation-example-mutation-report] @@ -56,4 +56,4 @@
  1843. 4.60 s [sydtest-mutation-example-mutation-report] withBindKept :: (Bool -> IO Bool) -> Bool -> IO Bool
  1844. 4.60 s [sydtest-mutation-example-mutation-report] withBindKept toggle b = do
  1845. 4.60 s [sydtest-mutation-example-mutation-report] inner <- toggle b
  1846. 4.60 s [sydtest-mutation-example-mutation-report] - pure inner
  1847. 4.60 s [sydtest-mutation-example-mutation-report] + pure False
  1848. 4.60 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:37:7-12 #2
  1849. 4.60 s [sydtest-mutation-example-mutation-report] @@ -34,7 +34,7 @@
  1850. 4.60 s [sydtest-mutation-example-mutation-report] withInnerKept :: Bool -> Bool
  1851. 4.60 s [sydtest-mutation-example-mutation-report] withInnerKept b =
  1852. 4.60 s [sydtest-mutation-example-mutation-report] let inner = not b
  1853. 4.60 s [sydtest-mutation-example-mutation-report] - in inner
  1854. 4.60 s [sydtest-mutation-example-mutation-report] + in False
  1855. 4.60 s [sydtest-mutation-example-mutation-report]
  1856. 4.60 s [sydtest-mutation-example-mutation-report] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  1857. 4.60 s [sydtest-mutation-example-mutation-report] -- by a @do@-block @<-@ statement instead of a @let@. The annotation
  1858. 4.60 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:36:3-12 #2
  1859. 4.60 s [sydtest-mutation-example-mutation-report] @@ -33,8 +33,7 @@
  1860. 4.60 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  1861. 4.60 s [sydtest-mutation-example-mutation-report] withInnerKept :: Bool -> Bool
  1862. 4.60 s [sydtest-mutation-example-mutation-report] withInnerKept b =
  1863. 4.60 s [sydtest-mutation-example-mutation-report] - let inner = not b
  1864. 4.60 s [sydtest-mutation-example-mutation-report] - in inner
  1865. 4.60 s [sydtest-mutation-example-mutation-report] + False
  1866. 4.60 s [sydtest-mutation-example-mutation-report]
  1867. 4.60 s [sydtest-mutation-example-mutation-report] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  1868. 4.60 s [sydtest-mutation-example-mutation-report] -- by a @do@-block @<-@ statement instead of a @let@. The annotation
  1869. 4.72 s [sydtest-mutation-example-mutation-report] Killed: 211
  1870. 4.72 s [sydtest-mutation-example-mutation-report] (of which timed out: 0)
  1871. 4.72 s [sydtest-mutation-example-mutation-report] Survived: 0
  1872. 4.72 s [sydtest-mutation-example-mutation-report] Uncovered: 0
  1873. 4.72 s [sydtest-mutation-example-mutation-report] Skipped: 0
  1874. 4.72 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:36:15-20 #2
  1875. 4.72 s [sydtest-mutation-example-mutation-report] @@ -33,7 +33,7 @@
  1876. 4.72 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  1877. 4.72 s [sydtest-mutation-example-mutation-report] withInnerKept :: Bool -> Bool
  1878. 4.72 s [sydtest-mutation-example-mutation-report] withInnerKept b =
  1879. 4.72 s [sydtest-mutation-example-mutation-report] - let inner = not b
  1880. 4.72 s [sydtest-mutation-example-mutation-report] + let inner = False
  1881. 4.72 s [sydtest-mutation-example-mutation-report] in inner
  1882. 4.72 s [sydtest-mutation-example-mutation-report]
  1883. 4.72 s [sydtest-mutation-example-mutation-report] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  1884. 4.72 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:52:8-13 #2
  1885. 4.72 s [sydtest-mutation-example-mutation-report] @@ -49,7 +49,7 @@
  1886. 4.72 s [sydtest-mutation-example-mutation-report] withBindDisabled :: (Bool -> IO Bool) -> Bool -> IO Bool
  1887. 4.72 s [sydtest-mutation-example-mutation-report] withBindDisabled toggle b = do
  1888. 4.72 s [sydtest-mutation-example-mutation-report] inner <- toggle b
  1889. 4.72 s [sydtest-mutation-example-mutation-report] - pure inner
  1890. 4.72 s [sydtest-mutation-example-mutation-report] + pure False
  1891. 4.72 s [sydtest-mutation-example-mutation-report]
  1892. 4.72 s [sydtest-mutation-example-mutation-report] -- | Control for 'withBindDisabled': no disable annotation, so the RHS
  1893. 4.72 s [sydtest-mutation-example-mutation-report] -- @toggle b@ is fully instrumented.
  1894. 4.72 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:30:7-12 #2
  1895. 4.72 s [sydtest-mutation-example-mutation-report] @@ -27,7 +27,7 @@
  1896. 4.72 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled :: Bool -> Bool
  1897. 4.72 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled b =
  1898. 4.72 s [sydtest-mutation-example-mutation-report] let inner = not b
  1899. 4.72 s [sydtest-mutation-example-mutation-report] - in inner
  1900. 4.72 s [sydtest-mutation-example-mutation-report] + in False
  1901. 4.72 s [sydtest-mutation-example-mutation-report]
  1902. 4.72 s [sydtest-mutation-example-mutation-report] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  1903. 4.72 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  1904. 4.72 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:36:19-20 #2
  1905. 4.72 s [sydtest-mutation-example-mutation-report] @@ -33,7 +33,7 @@
  1906. 4.72 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  1907. 4.72 s [sydtest-mutation-example-mutation-report] withInnerKept :: Bool -> Bool
  1908. 4.72 s [sydtest-mutation-example-mutation-report] withInnerKept b =
  1909. 4.72 s [sydtest-mutation-example-mutation-report] - let inner = not b
  1910. 4.72 s [sydtest-mutation-example-mutation-report] + let inner = not False
  1911. 4.72 s [sydtest-mutation-example-mutation-report] in inner
  1912. 4.72 s [sydtest-mutation-example-mutation-report]
  1913. 4.72 s [sydtest-mutation-example-mutation-report] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  1914. 4.72 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:20:3-12 #2
  1915. 4.72 s [sydtest-mutation-example-mutation-report] @@ -17,8 +17,7 @@
  1916. 4.72 s [sydtest-mutation-example-mutation-report] {-# ANN withInnerDisabled ("DisableMutationsFor inner" :: String) #-}
  1917. 4.72 s [sydtest-mutation-example-mutation-report] withInnerDisabled :: Bool -> Bool
  1918. 4.72 s [sydtest-mutation-example-mutation-report] withInnerDisabled b =
  1919. 4.72 s [sydtest-mutation-example-mutation-report] - let inner = not b
  1920. 4.72 s [sydtest-mutation-example-mutation-report] - in inner
  1921. 4.72 s [sydtest-mutation-example-mutation-report] + False
  1922. 4.72 s [sydtest-mutation-example-mutation-report]
  1923. 4.72 s [sydtest-mutation-example-mutation-report] -- | Like 'withInnerDisabled', but only @ConstBool@ is disabled inside
  1924. 4.72 s [sydtest-mutation-example-mutation-report] -- @inner@'s RHS. Other operators on @inner@'s RHS (notably the @Negate@
  1925. 4.72 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:29:3-12 #2
  1926. 4.72 s [sydtest-mutation-example-mutation-report] @@ -26,8 +26,7 @@
  1927. 4.72 s [sydtest-mutation-example-mutation-report] {-# ANN withInnerBoolLitDisabled ("DisableMutationsFor inner: ConstBool" :: String) #-}
  1928. 4.72 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled :: Bool -> Bool
  1929. 4.72 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled b =
  1930. 4.72 s [sydtest-mutation-example-mutation-report] - let inner = not b
  1931. 4.72 s [sydtest-mutation-example-mutation-report] - in inner
  1932. 4.72 s [sydtest-mutation-example-mutation-report] + False
  1933. 4.72 s [sydtest-mutation-example-mutation-report]
  1934. 4.72 s [sydtest-mutation-example-mutation-report] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  1935. 4.72 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  1936. 4.72 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:21:7-12 #2
  1937. 4.72 s [sydtest-mutation-example-mutation-report] @@ -18,7 +18,7 @@
  1938. 4.72 s [sydtest-mutation-example-mutation-report] withInnerDisabled :: Bool -> Bool
  1939. 4.72 s [sydtest-mutation-example-mutation-report] withInnerDisabled b =
  1940. 4.72 s [sydtest-mutation-example-mutation-report] let inner = not b
  1941. 4.72 s [sydtest-mutation-example-mutation-report] - in inner
  1942. 4.72 s [sydtest-mutation-example-mutation-report] + in False
  1943. 4.72 s [sydtest-mutation-example-mutation-report]
  1944. 4.72 s [sydtest-mutation-example-mutation-report] -- | Like 'withInnerDisabled', but only @ConstBool@ is disabled inside
  1945. 4.72 s [sydtest-mutation-example-mutation-report] -- @inner@'s RHS. Other operators on @inner@'s RHS (notably the @Negate@
  1946. 4.72 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/DoLib.hs:14:10-14 #2
  1947. 4.72 s [sydtest-mutation-example-mutation-report] @@ -11,5 +11,5 @@
  1948. 4.72 s [sydtest-mutation-example-mutation-report] go :: Writer String ()
  1949. 4.72 s [sydtest-mutation-example-mutation-report] go = do
  1950. 4.72 s [sydtest-mutation-example-mutation-report] tell "Hello"
  1951. 4.72 s [sydtest-mutation-example-mutation-report] - if loud then tell "!" else pure ()
  1952. 4.72 s [sydtest-mutation-example-mutation-report] + if False then tell "!" else pure ()
  1953. 4.72 s [sydtest-mutation-example-mutation-report] tell "\n"
  1954. 4.72 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10 #2
  1955. 4.72 s [sydtest-mutation-example-mutation-report] @@ -9,6 +9,6 @@
  1956. 4.72 s [sydtest-mutation-example-mutation-report] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  1957. 4.72 s [sydtest-mutation-example-mutation-report] classify :: Int -> String
  1958. 4.72 s [sydtest-mutation-example-mutation-report] classify n
  1959. 4.72 s [sydtest-mutation-example-mutation-report] - | n < 0 = "negative"
  1960. 4.72 s [sydtest-mutation-example-mutation-report] + | n > 0 = "negative"
  1961. 4.72 s [sydtest-mutation-example-mutation-report] | n == 0 = "zero"
  1962. 4.72 s [sydtest-mutation-example-mutation-report] | otherwise = "positive"
  1963. 4.72 s [sydtest-mutation-example-mutation-report] Testing mutation ListLit at src/Example/ConstFnLib.hs:71:29-44 #3
  1964. 4.72 s [sydtest-mutation-example-mutation-report] @@ -68,7 +68,6 @@
  1965. 4.72 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  1966. 4.72 s [sydtest-mutation-example-mutation-report] majorityOf5 :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool
  1967. 4.73 s [sydtest-mutation-example-mutation-report] majorityOf5 a b c d e =
  1968. 4.73 s [sydtest-mutation-example-mutation-report] - let n = length (filter id [a, b, c, d, e]) in n >= 3
  1969. 4.73 s [sydtest-mutation-example-mutation-report]
  1970. 4.73 s [sydtest-mutation-example-mutation-report] -- | A wrapper that references 'majorityOf5' as a bare arity-5 name.
  1971. 4.73 s [sydtest-mutation-example-mutation-report] --
  1972. 4.73 s [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/ConstFnLib.hs:71:54-55 #3
  1973. 4.73 s [sydtest-mutation-example-mutation-report] @@ -68,7 +68,7 @@
  1974. 4.73 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  1975. 4.73 s [sydtest-mutation-example-mutation-report] majorityOf5 :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool
  1976. 4.73 s [sydtest-mutation-example-mutation-report] majorityOf5 a b c d e =
  1977. 4.73 s [sydtest-mutation-example-mutation-report] - let n = length (filter id [a, b, c, d, e]) in n >= 3
  1978. 4.73 s [sydtest-mutation-example-mutation-report] + let n = length (filter id [a, b, c, d, e]) in n >= -3
  1979. 4.73 s [sydtest-mutation-example-mutation-report]
  1980. 4.73 s [sydtest-mutation-example-mutation-report] -- | A wrapper that references 'majorityOf5' as a bare arity-5 name.
  1981. 4.73 s [sydtest-mutation-example-mutation-report] --
  1982. 4.73 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/ConstFnLib.hs:71:49-55 #3
  1983. 4.73 s [sydtest-mutation-example-mutation-report] @@ -68,7 +68,7 @@
  1984. 4.73 s [sydtest-mutation-example-mutation-report] -- mutation produces a well-formed prefix-form preview.
  1985. 4.73 s [sydtest-mutation-example-mutation-report] majorityOf5 :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool
  1986. 4.73 s [sydtest-mutation-example-mutation-report] majorityOf5 a b c d e =
  1987. 4.73 s [sydtest-mutation-example-mutation-report] - let n = length (filter id [a, b, c, d, e]) in n >= 3
  1988. 4.73 s [sydtest-mutation-example-mutation-report] + let n = length (filter id [a, b, c, d, e]) in n > 3
  1989. 4.73 s [sydtest-mutation-example-mutation-report]
  1990. 4.73 s [sydtest-mutation-example-mutation-report] -- | A wrapper that references 'majorityOf5' as a bare arity-5 name.
  1991. 4.73 s [sydtest-mutation-example-mutation-report] --
  1992. 4.73 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:17:22-27 #3
  1993. 4.73 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  1994. 4.73 s [sydtest-mutation-example-mutation-report] --
  1995. 4.73 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  1996. 4.73 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  1997. 4.73 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  1998. 4.73 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = a >= 0 || b > 0
  1999. 4.73 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:17:31-36 #3
  2000. 4.73 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  2001. 4.73 s [sydtest-mutation-example-mutation-report] --
  2002. 4.73 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  2003. 4.73 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  2004. 4.73 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  2005. 4.73 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = a > 0 || b >= 0
  2006. 4.73 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:11:20-25 #3
  2007. 4.73 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  2008. 4.73 s [sydtest-mutation-example-mutation-report] --
  2009. 4.73 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  2010. 4.73 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  2011. 4.73 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  2012. 4.73 s [sydtest-mutation-example-mutation-report] +bothPositive a b = a >= 0 && b > 0
  2013. 4.73 s [sydtest-mutation-example-mutation-report]
  2014. 4.73 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  2015. 4.73 s [sydtest-mutation-example-mutation-report] --
  2016. 4.73 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:11:29-34 #3
  2017. 4.73 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  2018. 4.73 s [sydtest-mutation-example-mutation-report] --
  2019. 4.73 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  2020. 4.73 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  2021. 4.73 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  2022. 4.73 s [sydtest-mutation-example-mutation-report] +bothPositive a b = a > 0 && b >= 0
  2023. 4.73 s [sydtest-mutation-example-mutation-report]
  2024. 4.73 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  2025. 4.73 s [sydtest-mutation-example-mutation-report] --
  2026. 4.73 s [sydtest-mutation-example-mutation-report] Testing mutation ListLit at src/Example/ListLib.hs:19:29-38 #3
  2027. 4.73 s [sydtest-mutation-example-mutation-report] @@ -16,4 +16,3 @@
  2028. 4.73 s [sydtest-mutation-example-mutation-report] -- Mutation sites: ListLit produces an empty-list mutant, a drop-first mutant,
  2029. 4.73 s [sydtest-mutation-example-mutation-report] -- and a drop-last mutant on the literal @[a, b, c]@.
  2030. 4.73 s [sydtest-mutation-example-mutation-report] tripleConcat :: String -> String -> String -> String
  2031. 4.73 s [sydtest-mutation-example-mutation-report] -tripleConcat a b c = concat [a, b, c]
  2032. 4.73 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10 #3
  2033. 4.73 s [sydtest-mutation-example-mutation-report] @@ -9,6 +9,6 @@
  2034. 4.73 s [sydtest-mutation-example-mutation-report] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  2035. 4.73 s [sydtest-mutation-example-mutation-report] classify :: Int -> String
  2036. 4.73 s [sydtest-mutation-example-mutation-report] classify n
  2037. 4.73 s [sydtest-mutation-example-mutation-report] - | n < 0 = "negative"
  2038. 4.73 s [sydtest-mutation-example-mutation-report] + | n >= 0 = "negative"
  2039. 4.73 s [sydtest-mutation-example-mutation-report] | n == 0 = "zero"
  2040. 4.73 s [sydtest-mutation-example-mutation-report] | otherwise = "positive"
  2041. 4.73 s [sydtest-mutation-example-mutation-report] Redundant tests (by mutations caught)
  2042. 4.73 s [sydtest-mutation-example-mutation-report] suite: sydtest-mutation-example-gen-test
  2043. 4.73 s [sydtest-mutation-example-mutation-report]
  2044. 4.73 s [sydtest-mutation-example-mutation-report] Load-bearing (sole killer — never remove): 35
  2045. 4.73 s [sydtest-mutation-example-mutation-report] • Example\.BoolLibSpec.negateWrapped.negates Just False to Just True (1 mutation)
  2046. 4.73 s [sydtest-mutation-example-mutation-report] • Example\.BoolLibSpec.negateWrapped.negates Just True to Just False (1 mutation)
  2047. 4.73 s [sydtest-mutation-example-mutation-report] • Example\.BoolLibSpec.wrapFalse.is Just False (2 mutations)
  2048. 4.73 s [sydtest-mutation-example-mutation-report] • Example\.BoolLibSpec.wrapTrue.is Just True (2 mutations)
  2049. 4.73 s [sydtest-mutation-example-mutation-report] • Example\.CaseLibSpec.describeList.describes empty lists (2 mutations)
  2050. 4.73 s [sydtest-mutation-example-mutation-report] • Example\.CaseLibSpec.describeList.describes longer lists (1 mutation)
  2051. 4.73 s [sydtest-mutation-example-mutation-report] • Example\.CaseLibSpec.describeList.describes singleton lists (2 mutations)
  2052. 4.73 s [sydtest-mutation-example-mutation-report] • Example\.ConstFnLibSpec.firstChar.returns Just the first character of a non-empty string (3 mutations)
  2053. 4.73 s [sydtest-mutation-example-mutation-report] • Example\.ConstFnLibSpec.impliesPair.accepts (False, False) (1 mutation)
  2054. 4.73 s [sydtest-mutation-example-mutation-report] • Example\.ConstFnLibSpec.impliesPair.accepts (True, True) (1 mutation)
  2055. 4.73 s [sydtest-mutation-example-mutation-report] • Example\.ConstFnLibSpec.impliesPair.rejects (True, False) (3 mutations)
  2056. 4.73 s [sydtest-mutation-example-mutation-report] • Example\.ConstFnLibSpec.majorityOf5Wrapper.matches the reference majority on every boolean input (4 mutations)
  2057. 4.73 s [sydtest-mutation-example-mutation-report] • Example\.DoLibSpec.greet.greets loudly (3 mutations)
  2058. 4.73 s [sydtest-mutation-example-mutation-report] • Example\.DoLibSpec.greet.greets quietly (1 mutation)
  2059. 4.73 s [sydtest-mutation-example-mutation-report] • Example\.FunctionExceptionLibSpec.addOneArithDisabled.increments by one (2 mutations)
  2060. 4.73 s [sydtest-mutation-example-mutation-report] • Example\.ListLibSpec.tripleConcat.concatenates all three arguments (1 mutation)
  2061. 4.73 s [sydtest-mutation-example-mutation-report] • Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (False -> True) (1 mutation)
  2062. 4.73 s [sydtest-mutation-example-mutation-report] • Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (True -> False) (1 mutation)
  2063. 4.73 s [sydtest-mutation-example-mutation-report] • Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (False -> True) (2 mutations)
  2064. 4.73 s [sydtest-mutation-example-mutation-report] • Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (True -> False) (2 mutations)
  2065. 4.73 s [sydtest-mutation-example-mutation-report] • Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is False when given True (2 mutations)
  2066. 4.73 s [sydtest-mutation-example-mutation-report] • Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is True when given False (2 mutations)
  2067. 4.73 s [sydtest-mutation-example-mutation-report] • Example\.LocalDisableLibSpec.withInnerDisabled.is False when given True (2 mutations)
  2068. 4.73 s [sydtest-mutation-example-mutation-report] • Example\.LocalDisableLibSpec.withInnerDisabled.is True when given False (2 mutations)
  2069. 4.73 s [sydtest-mutation-example-mutation-report] • Example\.LocalDisableLibSpec.withInnerKept.is False when given True (4 mutations)
  2070. 4.73 s [sydtest-mutation-example-mutation-report] • Example\.LocalDisableLibSpec.withInnerKept.is True when given False (4 mutations)
  2071. 4.73 s [sydtest-mutation-example-mutation-report] • Example\.LogicLibSpec.bothPositive.is False when only the first is positive (2 mutations)
  2072. 4.73 s [sydtest-mutation-example-mutation-report] • Example\.LogicLibSpec.bothPositive.is False when only the second is positive (2 mutations)
  2073. 4.73 s [sydtest-mutation-example-mutation-report] • Example\.LogicLibSpec.bothPositive.is True when both are positive (7 mutations)
  2074. 4.73 s [sydtest-mutation-example-mutation-report] • Example\.LogicLibSpec.eitherPositive.is False when neither is positive (5 mutations)
  2075. 4.73 s [sydtest-mutation-example-mutation-report] • Example\.LogicLibSpec.eitherPositive.is True when only the first is positive (3 mutations)
  2076. 4.73 s [sydtest-mutation-example-mutation-report] • Example\.LogicLibSpec.eitherPositive.is True when only the second is positive (3 mutations)
  2077. 4.73 s [sydtest-mutation-example-mutation-report] • Example\.OtherwiseLibSpec.classify.classifies negative numbers (1 mutation)
  2078. 4.73 s [sydtest-mutation-example-mutation-report] • Example\.OtherwiseLibSpec.classify.classifies positive numbers (2 mutations)
  2079. 4.73 s [sydtest-mutation-example-mutation-report] • Example\.OtherwiseLibSpec.classify.classifies zero (3 mutations)
  2080. 4.73 s [sydtest-mutation-example-mutation-report]
  2081. 4.73 s [sydtest-mutation-example-mutation-report] Equivalent test groups (keep one of each): 2
  2082. 4.73 s [sydtest-mutation-example-mutation-report] keep: Example\.LibSpec.addOne.returns 2 for input 1
  2083. 4.73 s [sydtest-mutation-example-mutation-report] redundant: Example\.LibSpec.addOne.returns 6 for input 5
  2084. 4.73 s [sydtest-mutation-example-mutation-report] keep: Example\.ListLibSpec.pairConcat.concatenates both arguments
  2085. 4.73 s [sydtest-mutation-example-mutation-report] redundant: Example\.ListLibSpec.pairConcat.preserves the order
  2086. 4.73 s [sydtest-mutation-example-mutation-report]
  2087. 4.73 s [sydtest-mutation-example-mutation-report] Dominated tests (every mutation they kill is also killed by another test): 16
  2088. 4.73 s [sydtest-mutation-example-mutation-report] • Example\.ConstFnLibSpec.digitsOf.returns the empty string when no character is a digit
  2089. 4.73 s [sydtest-mutation-example-mutation-report] every mutation it kills is also killed by Example\.ConstFnLibSpec.digitsOf.keeps only the digits
  2090. 4.73 s [sydtest-mutation-example-mutation-report] • Example\.ConstFnLibSpec.digitsOf.returns the whole string when every character is a digit
  2091. 4.73 s [sydtest-mutation-example-mutation-report] every mutation it kills is also killed by Example\.ConstFnLibSpec.digitsOf.keeps only the digits
  2092. 4.74 s [sydtest-mutation-example-mutation-report] • Example\.ConstFnLibSpec.implies.False implies anything
  2093. 4.74 s [sydtest-mutation-example-mutation-report] every mutation it kills is also killed by Example\.ConstFnLibSpec.impliesPair.accepts (False, False)
  2094. 4.74 s [sydtest-mutation-example-mutation-report] • Example\.ConstFnLibSpec.implies.True does not imply False
  2095. 4.74 s [sydtest-mutation-example-mutation-report] every mutation it kills is also killed by Example\.ConstFnLibSpec.impliesPair.rejects (True, False)
  2096. 4.74 s [sydtest-mutation-example-mutation-report] • Example\.ConstFnLibSpec.implies.True implies True
  2097. 4.74 s [sydtest-mutation-example-mutation-report] every mutation it kills is also killed by Example\.ConstFnLibSpec.impliesPair.accepts (True, True)
  2098. 4.74 s [sydtest-mutation-example-mutation-report] • Example\.ConstFnLibSpec.majorityOf5.is False when all 5 are False
  2099. 4.74 s [sydtest-mutation-example-mutation-report] every mutation it kills is also killed by Example\.ConstFnLibSpec.majorityOf5Wrapper.matches the reference majority on every boolean input
  2100. 4.74 s [sydtest-mutation-example-mutation-report] • Example\.ConstFnLibSpec.majorityOf5.is False when only 2 of 5 are True
  2101. 4.74 s [sydtest-mutation-example-mutation-report] every mutation it kills is also killed by Example\.ConstFnLibSpec.majorityOf5Wrapper.matches the reference majority on every boolean input
  2102. 4.74 s [sydtest-mutation-example-mutation-report] • Example\.ConstFnLibSpec.majorityOf5.is True when 3 of 5 are True
  2103. 4.74 s [sydtest-mutation-example-mutation-report] every mutation it kills is also killed by Example\.ConstFnLibSpec.majorityOf5Wrapper.matches the reference majority on every boolean input
  2104. 4.74 s [sydtest-mutation-example-mutation-report] • Example\.ConstFnLibSpec.majorityOf5.is True when all 5 are True
  2105. 4.74 s [sydtest-mutation-example-mutation-report] every mutation it kills is also killed by Example\.ConstFnLibSpec.majorityOf5Wrapper.matches the reference majority on every boolean input
  2106. 4.74 s [sydtest-mutation-example-mutation-report] • Example\.ConstFnLibSpec.majorityOf5.matches the reference majority on every boolean input
  2107. 4.74 s [sydtest-mutation-example-mutation-report] every mutation it kills is also killed by Example\.ConstFnLibSpec.majorityOf5Wrapper.matches the reference majority on every boolean input
  2108. 4.74 s [sydtest-mutation-example-mutation-report] • Example\.ConstFnLibSpec.majorityOf5Wrapper.agrees with majorityOf5 on a 2-out-of-5 tuple
  2109. 4.74 s [sydtest-mutation-example-mutation-report] every mutation it kills is also killed by Example\.ConstFnLibSpec.majorityOf5Wrapper.matches the reference majority on every boolean input
  2110. 4.74 s [sydtest-mutation-example-mutation-report] • Example\.ConstFnLibSpec.majorityOf5Wrapper.agrees with majorityOf5 on a 3-out-of-5 tuple
  2111. 4.74 s [sydtest-mutation-example-mutation-report] every mutation it kills is also killed by Example\.ConstFnLibSpec.majorityOf5Wrapper.matches the reference majority on every boolean input
  2112. 4.74 s [sydtest-mutation-example-mutation-report] • Example\.ListLibSpec.tripleConcat.distinguishes the first element
  2113. 4.74 s [sydtest-mutation-example-mutation-report] every mutation it kills is also killed by Example\.ListLibSpec.tripleConcat.concatenates all three arguments
  2114. 4.74 s [sydtest-mutation-example-mutation-report] • Example\.ListLibSpec.tripleConcat.distinguishes the last element
  2115. 4.74 s [sydtest-mutation-example-mutation-report] every mutation it kills is also killed by Example\.ListLibSpec.tripleConcat.concatenates all three arguments
  2116. 4.74 s [sydtest-mutation-example-mutation-report] • Example\.LogicLibSpec.bothPositive.is False when neither is positive
  2117. 4.74 s [sydtest-mutation-example-mutation-report] every mutation it kills is also killed by Example\.LogicLibSpec.bothPositive.is False when only the first is positive
  2118. 4.74 s [sydtest-mutation-example-mutation-report] • Example\.LogicLibSpec.eitherPositive.is True when both are positive
  2119. 4.74 s [sydtest-mutation-example-mutation-report] every mutation it kills is also killed by Example\.LogicLibSpec.eitherPositive.is True when only the first is positive
  2120. 4.74 s [sydtest-mutation-example-mutation-report]
  2121. 4.74 s [sydtest-mutation-example-mutation-report] Suggested minimal suite: 38 of 58 tests (removes 20; the cover is not unique)
  2122. 4.74 s [sydtest-mutation-example-mutation-report] removable: Example\.BoolLibSpec.negateWrapped.leaves Nothing as Nothing, Example\.ConstFnLibSpec.digitsOf.returns the empty string when no character is a digit, Example\.ConstFnLibSpec.digitsOf.returns the whole string when every character is a digit, Example\.ConstFnLibSpec.firstChar.returns Nothing for the empty string, Example\.ConstFnLibSpec.implies.False implies anything, Example\.ConstFnLibSpec.implies.True does not imply False, Example\.ConstFnLibSpec.implies.True implies True, Example\.ConstFnLibSpec.majorityOf5.is False when all 5 are False, Example\.ConstFnLibSpec.majorityOf5.is False when only 2 of 5 are True, Example\.ConstFnLibSpec.majorityOf5.is True when 3 of 5 are True, Example\.ConstFnLibSpec.majorityOf5.is True when all 5 are True, Example\.ConstFnLibSpec.majorityOf5.matches the reference majority on every boolean input, Example\.ConstFnLibSpec.majorityOf5Wrapper.agrees with majorityOf5 on a 2-out-of-5 tuple, Example\.ConstFnLibSpec.majorityOf5Wrapper.agrees with majorityOf5 on a 3-out-of-5 tuple, Example\.LibSpec.addOne.returns 6 for input 5, Example\.ListLibSpec.pairConcat.preserves the order, Example\.ListLibSpec.tripleConcat.distinguishes the first element, Example\.ListLibSpec.tripleConcat.distinguishes the last element, Example\.LogicLibSpec.bothPositive.is False when neither is positive, Example\.LogicLibSpec.eitherPositive.is True when both are positive
  2123. 4.74 s [sydtest-mutation-example-mutation-report]
  2124. 4.74 s [sydtest-mutation-example-mutation-report] Redundant mutants (killed by identical test sets): 56
  2125. 4.74 s [sydtest-mutation-example-mutation-report] • Example.BoolLib/ConstNothing/22/17/21/\_ _ -> Nothing/1, Example.BoolLib/ConstNothing/22/17/25/\_ -> Nothing/1
  2126. 4.74 s [sydtest-mutation-example-mutation-report] • Example.BoolLib/BoolLit/18/18/23/True/1, Example.BoolLib/MaybeOp/18/13/23/Nothing/1
  2127. 4.74 s [sydtest-mutation-example-mutation-report] • Example.BoolLib/BoolLit/12/17/21/False/1, Example.BoolLib/MaybeOp/12/12/21/Nothing/1
  2128. 4.74 s [sydtest-mutation-example-mutation-report] • Example.CaseLib/ConstEmptyList/8/9/16/[]/1, Example.CaseLib/RemoveCase/7/19/16/2 alternatives (removed #1)/1
  2129. 4.74 s [sydtest-mutation-example-mutation-report] • Example.CaseLib/ConstEmptyList/9/10/21/[]/1, Example.CaseLib/RemoveCase/7/19/16/2 alternatives (removed #2)/2
  2130. 4.74 s [sydtest-mutation-example-mutation-report] • Example.ConstFnLib/ConstBool/40/21/28/\_ -> False/2, Example.ConstFnLib/ConstEmptyList/40/14/20/\_ _ -> []/1, Example.ConstFnLib/ConstEmptyList/40/14/28/\_ -> []/1, Example.ConstFnLib/ConstEmptyList/51/14/26/[]/1, Example.ConstFnLib/ConstEmptyList/51/25/26/[]/1
  2131. 4.74 s [sydtest-mutation-example-mutation-report] • Example.ConstFnLib/ConstEmptyList/33/24/25/[]/1, Example.ConstFnLib/ConstNothing/33/15/25/Nothing/1, Example.ConstFnLib/MaybeOp/22/20/26/Nothing/1
  2132. 4.74 s [sydtest-mutation-example-mutation-report] • Example.ConstFnLib/Negate/55/15/20/not (e)/1, Example.ConstFnLib/Negate/55/19/20/not (e)/1
  2133. 4.74 s [sydtest-mutation-example-mutation-report] • Example.ConstFnLib/ConstBool/55/15/25/False/2, Example.ConstFnLib/LogicOp/55/15/25/&&/1
  2134. 4.74 s [sydtest-mutation-example-mutation-report] • Example.ConstFnLib/ConstBool/55/15/20/False/2, Example.ConstFnLib/ConstBool/55/19/20/True/1
  2135. 4.74 s [sydtest-mutation-example-mutation-report] • Example.ConstFnLib/ConstBool/55/15/20/True/1, Example.ConstFnLib/ConstBool/55/15/25/True/1, Example.ConstFnLib/ConstBool/55/19/20/False/2, Example.ConstFnLib/ConstBool/55/24/25/True/1
  2136. 4.74 s [sydtest-mutation-example-mutation-report] • Example.ConstFnLib/ConstBool/65/22/33/True/1, Example.ConstFnLib/ConstBool/65/30/31/False/2, Example.ConstFnLib/ConstBool/65/32/33/True/1
  2137. 4.74 s [sydtest-mutation-example-mutation-report] • Example.ConstFnLib/Cmp/71/49/55/</1, Example.ConstFnLib/Negate/71/3/55/not (e)/1, Example.ConstFnLib/Negate/71/49/55/not (e)/1
  2138. 4.74 s [sydtest-mutation-example-mutation-report] • Example.ConstFnLib/ConstBool/71/26/28/\_ -> True/1, Example.ConstFnLib/ConstBool/71/3/55/True/1, Example.ConstFnLib/ConstBool/71/49/55/True/1, Example.ConstFnLib/IntLit/71/54/55/-3/3, Example.ConstFnLib/IntLit/71/54/55/0/1
  2139. 4.74 s [sydtest-mutation-example-mutation-report] • Example.ConstFnLib/ConstBool/71/36/37/True/1, Example.ConstFnLib/ConstBool/71/39/40/True/1, Example.ConstFnLib/ConstBool/71/42/43/True/1, Example.ConstFnLib/IntLit/71/54/55/1/2, Example.ConstFnLib/Negate/71/39/40/not (e)/1, Example.ConstFnLib/Negate/71/42/43/not (e)/1
  2140. 4.74 s [sydtest-mutation-example-mutation-report] • Example.ConstFnLib/ConstBool/71/26/28/\_ -> False/2, Example.ConstFnLib/ConstBool/71/3/55/False/2, Example.ConstFnLib/ConstBool/71/49/55/False/2, Example.ConstFnLib/ConstEmptyList/71/18/45/[]/1, Example.ConstFnLib/ConstEmptyList/71/19/44/[]/1, Example.ConstFnLib/ConstEmptyList/71/29/44/[]/1, Example.ConstFnLib/ListLit/71/29/44/0 elements/1
  2141. 4.74 s [sydtest-mutation-example-mutation-report] • Example.ConstFnLib/Cmp/71/49/55/>/3, Example.ConstFnLib/ConstBool/71/30/31/False/2, Example.ConstFnLib/ConstBool/71/33/34/False/2, Example.ConstFnLib/ConstBool/71/36/37/False/2, Example.ConstFnLib/ListLit/71/29/44/4 elements/2, Example.ConstFnLib/Negate/71/30/31/not (e)/1, Example.ConstFnLib/Negate/71/33/34/not (e)/1
  2142. 4.74 s [sydtest-mutation-example-mutation-report] • Example.ConstFnLib/ConstBool/71/30/31/True/1, Example.ConstFnLib/ConstBool/71/33/34/True/1, Example.ConstFnLib/ConstBool/71/39/40/False/2, Example.ConstFnLib/ConstBool/71/42/43/False/2, Example.ConstFnLib/ListLit/71/29/44/4 elements/3
  2143. 4.74 s [sydtest-mutation-example-mutation-report] • Example.ConstFnLib/Negate/81/38/59/not (e)/1, Example.ConstFnLib/Negate/81/54/55/not (e)/1
  2144. 4.74 s [sydtest-mutation-example-mutation-report] • Example.ConstFnLib/ConstBool/81/38/59/True/1, Example.ConstFnLib/ConstBool/81/54/55/True/1, Example.ConstFnLib/ConstBool/81/56/57/True/1, Example.ConstFnLib/ConstBool/81/58/59/True/1, Example.ConstFnLib/Negate/81/56/57/not (e)/1, Example.ConstFnLib/Negate/81/58/59/not (e)/1
  2145. 4.74 s [sydtest-mutation-example-mutation-report] • Example.ConstFnLib/ConstBool/81/38/59/False/2, Example.ConstFnLib/ConstBool/81/50/51/False/2, Example.ConstFnLib/ConstBool/81/52/53/False/2, Example.ConstFnLib/ConstBool/81/54/55/False/2, Example.ConstFnLib/Negate/81/50/51/not (e)/1, Example.ConstFnLib/Negate/81/52/53/not (e)/1
  2146. 4.74 s [sydtest-mutation-example-mutation-report] • Example.ConstFnLib/ConstBool/81/50/51/True/1, Example.ConstFnLib/ConstBool/81/52/53/True/1, Example.ConstFnLib/ConstBool/81/56/57/False/2, Example.ConstFnLib/ConstBool/81/58/59/False/2
  2147. 4.74 s [sydtest-mutation-example-mutation-report] • Example.DoLib/ConstBool/14/10/14/False/2, Example.DoLib/ConstEmptyList/14/25/28/[]/1, Example.DoLib/RemoveAction/14/7/41/rest/1
  2148. 4.74 s [sydtest-mutation-example-mutation-report] • Example.DoLib/ConstEmptyList/13/12/19/[]/1, Example.DoLib/ConstEmptyList/15/12/16/[]/1, Example.DoLib/ConstEmptyList/9/14/27/[]/1, Example.DoLib/Negate/14/10/14/not (e)/1, Example.DoLib/RemoveAction/12/10/16/rest/1
  2149. 4.74 s [sydtest-mutation-example-mutation-report] • Example.FunctionExceptionLib/IntLit/15/29/30/-1/2, Example.FunctionExceptionLib/IntLit/15/29/30/0/1
  2150. 4.74 s [sydtest-mutation-example-mutation-report] • Example.Lib/Arith/8/12/17/*/2, Example.Lib/Arith/8/12/17/-/1, Example.Lib/IntLit/8/16/17/-1/2, Example.Lib/IntLit/8/16/17/0/1
  2151. 4.74 s [sydtest-mutation-example-mutation-report] • Example.ListLib/ConstEmptyList/12/18/31/[]/1, Example.ListLib/ConstEmptyList/12/25/31/[]/1, Example.ListLib/ConstEmptyList/12/26/27/[]/1, Example.ListLib/ConstEmptyList/12/29/30/[]/1, Example.ListLib/ListLit/12/25/31/0 elements/1, Example.ListLib/ListLit/12/25/31/1 elements/2
  2152. 4.74 s [sydtest-mutation-example-mutation-report] • Example.ListLib/ConstEmptyList/19/30/31/[]/1, Example.ListLib/ListLit/19/29/38/2 elements/2
  2153. 4.74 s [sydtest-mutation-example-mutation-report] • Example.ListLib/ConstEmptyList/19/22/38/[]/1, Example.ListLib/ConstEmptyList/19/29/38/[]/1, Example.ListLib/ListLit/19/29/38/0 elements/1
  2154. 4.74 s [sydtest-mutation-example-mutation-report] • Example.ListLib/ConstEmptyList/19/36/37/[]/1, Example.ListLib/ListLit/19/29/38/2 elements/3
  2155. 4.74 s [sydtest-mutation-example-mutation-report] • Example.LocalDisableLib/ConstBool/58/19/20/True/1, Example.LocalDisableLib/ConstBool/59/8/13/False/2
  2156. 4.74 s [sydtest-mutation-example-mutation-report] • Example.LocalDisableLib/Negate/58/19/20/not (e)/1, Example.LocalDisableLib/Negate/59/8/13/not (e)/1
  2157. 4.74 s [sydtest-mutation-example-mutation-report] • Example.LocalDisableLib/ConstBool/58/19/20/False/2, Example.LocalDisableLib/ConstBool/59/8/13/True/1
  2158. 4.74 s [sydtest-mutation-example-mutation-report] • Example.LocalDisableLib/ConstBool/29/3/12/True/1, Example.LocalDisableLib/ConstBool/30/7/12/True/1
  2159. 4.74 s [sydtest-mutation-example-mutation-report] • Example.LocalDisableLib/Negate/29/15/20/not (e)/1, Example.LocalDisableLib/Negate/29/19/20/not (e)/1, Example.LocalDisableLib/Negate/29/3/12/not (e)/1, Example.LocalDisableLib/Negate/30/7/12/not (e)/1
  2160. 4.74 s [sydtest-mutation-example-mutation-report] • Example.LocalDisableLib/ConstBool/29/3/12/False/2, Example.LocalDisableLib/ConstBool/30/7/12/False/2
  2161. 4.74 s [sydtest-mutation-example-mutation-report] • Example.LocalDisableLib/ConstBool/20/3/12/True/1, Example.LocalDisableLib/ConstBool/21/7/12/True/1
  2162. 4.74 s [sydtest-mutation-example-mutation-report] • Example.LocalDisableLib/Negate/20/3/12/not (e)/1, Example.LocalDisableLib/Negate/21/7/12/not (e)/1
  2163. 4.74 s [sydtest-mutation-example-mutation-report] • Example.LocalDisableLib/ConstBool/20/3/12/False/2, Example.LocalDisableLib/ConstBool/21/7/12/False/2
  2164. 4.74 s [sydtest-mutation-example-mutation-report] • Example.LocalDisableLib/ConstBool/36/15/20/True/1, Example.LocalDisableLib/ConstBool/36/19/20/False/2, Example.LocalDisableLib/ConstBool/36/3/12/True/1, Example.LocalDisableLib/ConstBool/37/7/12/True/1
  2165. 4.74 s [sydtest-mutation-example-mutation-report] • Example.LocalDisableLib/Negate/36/15/20/not (e)/1, Example.LocalDisableLib/Negate/36/19/20/not (e)/1, Example.LocalDisableLib/Negate/36/3/12/not (e)/1, Example.LocalDisableLib/Negate/37/7/12/not (e)/1
  2166. 4.74 s [sydtest-mutation-example-mutation-report] • Example.LocalDisableLib/ConstBool/36/15/20/False/2, Example.LocalDisableLib/ConstBool/36/19/20/True/1, Example.LocalDisableLib/ConstBool/36/3/12/False/2, Example.LocalDisableLib/ConstBool/37/7/12/False/2
  2167. 4.74 s [sydtest-mutation-example-mutation-report] • Example.LogicLib/Cmp/11/29/34/>=/3, Example.LogicLib/ConstBool/11/29/34/True/1
  2168. 4.74 s [sydtest-mutation-example-mutation-report] • Example.LogicLib/Cmp/11/29/34/<=/2, Example.LogicLib/Negate/11/29/34/not (e)/1
  2169. 4.74 s [sydtest-mutation-example-mutation-report] • Example.LogicLib/Cmp/11/20/25/>=/3, Example.LogicLib/ConstBool/11/20/25/True/1
  2170. 4.74 s [sydtest-mutation-example-mutation-report] • Example.LogicLib/Cmp/11/20/25/<=/2, Example.LogicLib/Negate/11/20/25/not (e)/1
  2171. 4.74 s [sydtest-mutation-example-mutation-report] • Example.LogicLib/Cmp/11/20/25/</1, Example.LogicLib/Cmp/11/29/34/</1, Example.LogicLib/ConstBool/11/20/25/False/2, Example.LogicLib/ConstBool/11/20/34/False/2, Example.LogicLib/ConstBool/11/29/34/False/2, Example.LogicLib/IntLit/11/24/25/1/1, Example.LogicLib/IntLit/11/33/34/1/1
  2172. 4.74 s [sydtest-mutation-example-mutation-report] • Example.LogicLib/Cmp/17/22/27/>=/3, Example.LogicLib/Cmp/17/31/36/>=/3, Example.LogicLib/ConstBool/17/22/27/True/1, Example.LogicLib/ConstBool/17/22/36/True/1, Example.LogicLib/ConstBool/17/31/36/True/1
  2173. 4.74 s [sydtest-mutation-example-mutation-report] • Example.LogicLib/Cmp/17/22/27/<=/2, Example.LogicLib/Negate/17/22/27/not (e)/1
  2174. 4.74 s [sydtest-mutation-example-mutation-report] • Example.LogicLib/Cmp/17/31/36/<=/2, Example.LogicLib/Negate/17/31/36/not (e)/1
  2175. 4.74 s [sydtest-mutation-example-mutation-report] • Example.LogicLib/Cmp/17/22/27/</1, Example.LogicLib/ConstBool/17/22/27/False/2, Example.LogicLib/IntLit/17/26/27/1/1
  2176. 4.74 s [sydtest-mutation-example-mutation-report] • Example.LogicLib/Cmp/17/31/36/</1, Example.LogicLib/ConstBool/17/31/36/False/2, Example.LogicLib/IntLit/17/35/36/1/1
  2177. 4.74 s [sydtest-mutation-example-mutation-report] • Example.OtherwiseLib/Cmp/12/5/10/>=/3, Example.OtherwiseLib/Negate/12/5/10/not (e)/1
  2178. 4.74 s [sydtest-mutation-example-mutation-report] • Example.OtherwiseLib/ConstBool/13/5/11/True/1, Example.OtherwiseLib/ConstEmptyList/14/17/27/[]/1
  2179. 4.74 s [sydtest-mutation-example-mutation-report] • Example.OtherwiseLib/ConstBool/12/5/10/True/1, Example.OtherwiseLib/IntLit/13/10/11/1/1, Example.OtherwiseLib/Negate/13/5/11/not (e)/1
  2180. 4.74 s [sydtest-mutation-example-mutation-report] • Example.OtherwiseLib/Cmp/12/5/10/<=/1, Example.OtherwiseLib/ConstEmptyList/13/14/20/[]/1, Example.OtherwiseLib/IntLit/12/9/10/1/1
  2181. 4.75 s [sydtest-mutation-example-mutation-report] Phase: fixupPhase
  2182. 4.76 s [sydtest-mutation-example-mutation-report] shrinking RPATHs of ELF executables and libraries in /nix/store/q5zah49hmci9yj0v454hnv218kj4d9nx-sydtest-mutation-example-mutation-report
  2183. 4.77 s [sydtest-mutation-example-mutation-report] checking for references to /build/ in /nix/store/q5zah49hmci9yj0v454hnv218kj4d9nx-sydtest-mutation-example-mutation-report...
  2184. 4.78 s [sydtest-mutation-example-mutation-report] patching script interpreter paths in /nix/store/q5zah49hmci9yj0v454hnv218kj4d9nx-sydtest-mutation-example-mutation-report
  2185. 8.59 s [post-build-hook] Uploading to cachix cache "sydtest": /nix/store/q5zah49hmci9yj0v454hnv218kj4d9nx-sydtest-mutation-example-mutation-report
  2186. 9.95 s [post-build-hook] Pushing 1 paths (0 are already present) using zstd to cache sydtest ⏳
  2187. 9.95 s [post-build-hook]
  2188. 10.28 s [post-build-hook] Pushing /nix/store/q5zah49hmci9yj0v454hnv218kj4d9nx-sydtest-mutation-example-mutation-report (521.20 KiB)
  2189. 11.16 s [post-build-hook]
  2190. 11.16 s [post-build-hook] All done.
  2191. 11.18 s [post-build-hook] Uploading to the NixCI staging cache: /nix/store/q5zah49hmci9yj0v454hnv218kj4d9nx-sydtest-mutation-example-mutation-report
  2192. 11.21 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  2193. 11.22 s [post-build-hook] copying 1 paths...
  2194. 11.22 s [post-build-hook] copying path '/nix/store/q5zah49hmci9yj0v454hnv218kj4d9nx-sydtest-mutation-example-mutation-report' to 'https://cache.staging.nix-ci.com'...
  2195. 11.51 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  2196. 11.77 s [post-build-hook] copying 1 paths...
  2197. 11.78 s [post-build-hook] copying path '/nix/store/xm0vx7c91k4kzsx115acivf4cijmhf8z-sydtest-mutation-example-mutation-report.drv' to 'https://cache.staging.nix-ci.com'...
  2198. 11.94 s Progress: 1 of 3 built
  2199. 11.98 s Building /nix/store/mql0jr9d00kmqzgiz1gx0j6nv7j61rfq-sydtest-mutation-example.drv
  2200. 12.04 s [sydtest-mutation-example] PASS: All 211 mutation(s) accounted for.
  2201. 12.04 s [sydtest-mutation-example]
  2202. 12.04 s [sydtest-mutation-example] Killed: 211
  2203. 12.04 s [sydtest-mutation-example] (of which timed out: 0)
  2204. 12.04 s [sydtest-mutation-example] Survived: 0
  2205. 12.04 s [sydtest-mutation-example] Uncovered: 0
  2206. 12.04 s [sydtest-mutation-example] Skipped: 0
  2207. 12.04 s [sydtest-mutation-example]
  2208. 12.04 s [sydtest-mutation-example] Full report: /nix/store/q5zah49hmci9yj0v454hnv218kj4d9nx-sydtest-mutation-example-mutation-report/report.txt
  2209. 12.04 s [sydtest-mutation-example] Machine-readable report: /nix/store/q5zah49hmci9yj0v454hnv218kj4d9nx-sydtest-mutation-example-mutation-report/report.json
  2210. 12.09 s [post-build-hook] Uploading to cachix cache "sydtest": /nix/store/msz3nb55a8d7g2sf1pq0ay9ryamavpb2-sydtest-mutation-example
  2211. 12.43 s [post-build-hook] Pushing 1 paths (1 are already present) using zstd to cache sydtest ⏳
  2212. 12.43 s [post-build-hook]
  2213. 12.76 s [post-build-hook] Pushing /nix/store/msz3nb55a8d7g2sf1pq0ay9ryamavpb2-sydtest-mutation-example (672.00 B)
  2214. 13.59 s [post-build-hook]
  2215. 13.59 s [post-build-hook] All done.
  2216. 13.60 s [post-build-hook] Uploading to the NixCI staging cache: /nix/store/msz3nb55a8d7g2sf1pq0ay9ryamavpb2-sydtest-mutation-example
  2217. 13.64 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  2218. 13.65 s [post-build-hook] copying 1 paths...
  2219. 13.65 s [post-build-hook] copying path '/nix/store/msz3nb55a8d7g2sf1pq0ay9ryamavpb2-sydtest-mutation-example' to 'https://cache.staging.nix-ci.com'...
  2220. 13.90 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  2221. 14.15 s [post-build-hook] copying 1 paths...
  2222. 14.15 s [post-build-hook] copying path '/nix/store/mql0jr9d00kmqzgiz1gx0j6nv7j61rfq-sydtest-mutation-example.drv' to 'https://cache.staging.nix-ci.com'...
  2223. 14.33 s Progress: 2 of 3 built
  2224. 14.33 s /nix/store/msz3nb55a8d7g2sf1pq0ay9ryamavpb2-sydtest-mutation-example
  2225. 14.36 s Build succeeded.
Tail Raw Logs