build checks.x86_64-linux.mutation-sydtest-mutation-example

Reproduce this run
  1. 0.02 s $ /nix/store/vzx1mi9c0xfadmsm9dhd83d005cb1qs9-coreutils-9.8/bin/timeout --kill-after=15s 7200s /nix/store/99b1z08awpxj8b6mzggn59gp1shljnff-nix-2.34.5/bin/nix --extra-experimental-features nix-command --extra-experimental-features flakes --log-format internal-json build --no-link git+https://github.com/NorfairKing/sydtest?ref=mutation-diff-mode&rev=c0879983f293f04ae334594d307cafdcbec3d1d6#checks.x86_64-linux.mutation-sydtest-mutation-example --print-build-logs
  2. 0.08 s warning: ignoring the client-specified setting 'netrc-file', because it is a restricted setting and you are not a trusted user
  3. 0.08 s warning: ignoring the client-specified setting 'post-build-hook', because it is a restricted setting and you are not a trusted user
  4. 0.08 s warning: ignoring untrusted substituter 'https://sydtest.cachix.org', you are not a trusted user.
  5. 0.08 s Run `man nix.conf` for more information on the `substituters` configuration option.
  6. 0.08 s warning: ignoring untrusted substituter 'https://cache.staging.nix-ci.com', you are not a trusted user.
  7. 0.08 s Run `man nix.conf` for more information on the `substituters` configuration option.
  8. 0.08 s warning: ignoring untrusted substituter 'https://sydtest.cachix.org', you are not a trusted user.
  9. 0.08 s Run `man nix.conf` for more information on the `substituters` configuration option.
  10. 0.08 s warning: ignoring untrusted substituter 'https://cache.staging.nix-ci.com', you are not a trusted user.
  11. 0.08 s Run `man nix.conf` for more information on the `substituters` configuration option.
  12. 0.08 s warning: ignoring the client-specified setting 'trusted-public-keys', because it is a restricted setting and you are not a trusted user
  13. 0.08 s warning: ignoring untrusted flake configuration setting 'extra-substituters'.
  14. 0.08 s Pass '--accept-flake-config' to trust it
  15. 0.08 s warning: ignoring untrusted flake configuration setting 'extra-trusted-public-keys'.
  16. 0.08 s Pass '--accept-flake-config' to trust it
  17. 0.08 s warning: ignoring the client-specified setting 'netrc-file', because it is a restricted setting and you are not a trusted user
  18. 0.08 s warning: ignoring the client-specified setting 'post-build-hook', because it is a restricted setting and you are not a trusted user
  19. 0.08 s warning: ignoring untrusted substituter 'https://sydtest.cachix.org', you are not a trusted user.
  20. 0.08 s Run `man nix.conf` for more information on the `substituters` configuration option.
  21. 0.08 s warning: ignoring untrusted substituter 'https://cache.staging.nix-ci.com', you are not a trusted user.
  22. 0.08 s Run `man nix.conf` for more information on the `substituters` configuration option.
  23. 0.08 s warning: ignoring untrusted substituter 'https://sydtest.cachix.org', you are not a trusted user.
  24. 0.08 s Run `man nix.conf` for more information on the `substituters` configuration option.
  25. 0.08 s warning: ignoring untrusted substituter 'https://cache.staging.nix-ci.com', you are not a trusted user.
  26. 0.08 s Run `man nix.conf` for more information on the `substituters` configuration option.
  27. 0.08 s warning: ignoring the client-specified setting 'trusted-public-keys', because it is a restricted setting and you are not a trusted user
  28. 0.10 s
  29. 0.44 s Waiting for lock on sydtest-mutation-example
  30. 10.46 s Waiting for lock on sydtest-mutation-example-gen-source
  31. 15.48 s Waiting for lock on sydtest-mutation-example-gen
  32. 30.58 s Building sydtest-mutation-example-mutation-report
  33. 30.85 s [sydtest-mutation-example-mutation-report] Phase: patchPhase
  34. 30.85 s [sydtest-mutation-example-mutation-report] Phase: updateAutotoolsGnuConfigScriptsPhase
  35. 30.87 s [sydtest-mutation-example-mutation-report] Phase: configurePhase
  36. 30.87 s [sydtest-mutation-example-mutation-report] no configure script, doing nothing
  37. 30.87 s [sydtest-mutation-example-mutation-report] Phase: buildPhase
  38. 30.90 s [sydtest-mutation-example-mutation-report] coverage (1/42): running Example\.DoLibSpec.greet.greets quietly
  39. 30.90 s [sydtest-mutation-example-mutation-report] coverage (2/42): running Example\.DoLibSpec.greet.greets loudly
  40. 30.90 s [sydtest-mutation-example-mutation-report] coverage (4/42): running Example\.LocalDisableLibSpec.withInnerKept.is True when given False
  41. 30.90 s [sydtest-mutation-example-mutation-report] coverage (3/42): running Example\.ExceptionLibSpec.addOneModuleDisabled.increments by one
  42. 30.92 s [sydtest-mutation-example-mutation-report] coverage (1/42): done Example\.DoLibSpec.greet.greets quietly (5 mutations)
  43. 30.92 s [sydtest-mutation-example-mutation-report] coverage (5/42): running Example\.LocalDisableLibSpec.withInnerKept.is False when given True
  44. 30.92 s [sydtest-mutation-example-mutation-report] coverage (2/42): done Example\.DoLibSpec.greet.greets loudly (5 mutations)
  45. 30.92 s [sydtest-mutation-example-mutation-report] coverage (6/42): running Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is False when given True
  46. 30.92 s [sydtest-mutation-example-mutation-report] coverage (3/42): done Example\.ExceptionLibSpec.addOneModuleDisabled.increments by one (0 mutations)
  47. 30.92 s [sydtest-mutation-example-mutation-report] coverage (7/42): running Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is True when given False
  48. 30.92 s [sydtest-mutation-example-mutation-report] coverage (4/42): done Example\.LocalDisableLibSpec.withInnerKept.is True when given False (12 mutations)
  49. 30.92 s [sydtest-mutation-example-mutation-report] coverage (8/42): running Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (False -> True)
  50. 30.93 s [sydtest-mutation-example-mutation-report] coverage (6/42): done Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is False when given True (8 mutations)
  51. 30.93 s [sydtest-mutation-example-mutation-report] coverage (9/42): running Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (True -> False)
  52. 30.94 s [sydtest-mutation-example-mutation-report] coverage (8/42): done Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (False -> True) (6 mutations)
  53. 30.94 s [sydtest-mutation-example-mutation-report] coverage (10/42): running Example\.LocalDisableLibSpec.withInnerDisabled.is False when given True
  54. 30.94 s [sydtest-mutation-example-mutation-report] coverage (5/42): done Example\.LocalDisableLibSpec.withInnerKept.is False when given True (12 mutations)
  55. 30.94 s [sydtest-mutation-example-mutation-report] coverage (11/42): running Example\.LocalDisableLibSpec.withInnerDisabled.is True when given False
  56. 30.94 s [sydtest-mutation-example-mutation-report] coverage (7/42): done Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is True when given False (8 mutations)
  57. 30.94 s [sydtest-mutation-example-mutation-report] coverage (12/42): running Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (False -> True)
  58. 30.95 s [sydtest-mutation-example-mutation-report] coverage (10/42): done Example\.LocalDisableLibSpec.withInnerDisabled.is False when given True (6 mutations)
  59. 30.95 s [sydtest-mutation-example-mutation-report] coverage (13/42): running Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (True -> False)
  60. 30.95 s [sydtest-mutation-example-mutation-report] coverage (9/42): done Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (True -> False) (6 mutations)
  61. 30.95 s [sydtest-mutation-example-mutation-report] coverage (14/42): running Example\.BoolLibSpec.wrapTrue.is Just True
  62. 30.96 s [sydtest-mutation-example-mutation-report] coverage (12/42): done Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (False -> True) (3 mutations)
  63. 30.96 s [sydtest-mutation-example-mutation-report] coverage (16/42): running Example\.BoolLibSpec.negateWrapped.negates Just True to Just False
  64. 30.96 s [sydtest-mutation-example-mutation-report] coverage (11/42): done Example\.LocalDisableLibSpec.withInnerDisabled.is True when given False (6 mutations)
  65. 30.96 s [sydtest-mutation-example-mutation-report] coverage (15/42): running Example\.BoolLibSpec.wrapFalse.is Just False
  66. 30.97 s [sydtest-mutation-example-mutation-report] coverage (14/42): done Example\.BoolLibSpec.wrapTrue.is Just True (2 mutations)
  67. 30.97 s [sydtest-mutation-example-mutation-report] coverage (17/42): running Example\.BoolLibSpec.negateWrapped.leaves Nothing as Nothing
  68. 30.97 s [sydtest-mutation-example-mutation-report] coverage (15/42): done Example\.BoolLibSpec.wrapFalse.is Just False (2 mutations)
  69. 30.97 s [sydtest-mutation-example-mutation-report] coverage (18/42): running Example\.BoolLibSpec.negateWrapped.negates Just False to Just True
  70. 30.97 s [sydtest-mutation-example-mutation-report] coverage (13/42): done Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (True -> False) (3 mutations)
  71. 30.97 s [sydtest-mutation-example-mutation-report] coverage (19/42): running Example\.ListLibSpec.pairConcat.preserves the order
  72. 30.97 s [sydtest-mutation-example-mutation-report] coverage (16/42): done Example\.BoolLibSpec.negateWrapped.negates Just True to Just False (0 mutations)
  73. 30.97 s [sydtest-mutation-example-mutation-report] coverage (20/42): running Example\.ListLibSpec.pairConcat.concatenates both arguments
  74. 30.99 s [sydtest-mutation-example-mutation-report] coverage (17/42): done Example\.BoolLibSpec.negateWrapped.leaves Nothing as Nothing (0 mutations)
  75. 30.99 s [sydtest-mutation-example-mutation-report] coverage (22/42): running Example\.ListLibSpec.tripleConcat.distinguishes the first element
  76. 30.99 s [sydtest-mutation-example-mutation-report] coverage (20/42): done Example\.ListLibSpec.pairConcat.concatenates both arguments (2 mutations)
  77. 30.99 s [sydtest-mutation-example-mutation-report] coverage (19/42): done Example\.ListLibSpec.pairConcat.preserves the order (2 mutations)
  78. 30.99 s [sydtest-mutation-example-mutation-report] coverage (21/42): running Example\.ListLibSpec.tripleConcat.distinguishes the last element
  79. 30.99 s [sydtest-mutation-example-mutation-report] coverage (24/42): running Example\.CaseLibSpec.describeList.describes singleton lists
  80. 30.99 s [sydtest-mutation-example-mutation-report] coverage (18/42): done Example\.BoolLibSpec.negateWrapped.negates Just False to Just True (0 mutations)
  81. 30.99 s [sydtest-mutation-example-mutation-report] coverage (25/42): running Example\.CaseLibSpec.describeList.describes longer lists
  82. 31.01 s [sydtest-mutation-example-mutation-report] coverage (22/42): done Example\.ListLibSpec.tripleConcat.distinguishes the first element (3 mutations)
  83. 31.01 s [sydtest-mutation-example-mutation-report] coverage (23/42): running Example\.ListLibSpec.tripleConcat.concatenates all three arguments
  84. 31.01 s [sydtest-mutation-example-mutation-report] coverage (24/42): done Example\.CaseLibSpec.describeList.describes singleton lists (3 mutations)
  85. 31.01 s [sydtest-mutation-example-mutation-report] coverage (26/42): running Example\.CaseLibSpec.describeList.describes empty lists
  86. 31.01 s [sydtest-mutation-example-mutation-report] coverage (21/42): done Example\.ListLibSpec.tripleConcat.distinguishes the last element (3 mutations)
  87. 31.01 s [sydtest-mutation-example-mutation-report] coverage (27/42): running Example\.LibSpec.addOne.returns 6 for input 5
  88. 31.01 s [sydtest-mutation-example-mutation-report] coverage (25/42): done Example\.CaseLibSpec.describeList.describes longer lists (3 mutations)
  89. 31.01 s [sydtest-mutation-example-mutation-report] coverage (28/42): running Example\.LibSpec.addOne.returns 2 for input 1
  90. 31.03 s [sydtest-mutation-example-mutation-report] coverage (23/42): done Example\.ListLibSpec.tripleConcat.concatenates all three arguments (3 mutations)
  91. 31.03 s [sydtest-mutation-example-mutation-report] coverage (30/42): running Example\.OtherwiseLibSpec.classify.classifies positive numbers
  92. 31.03 s [sydtest-mutation-example-mutation-report] coverage (26/42): done Example\.CaseLibSpec.describeList.describes empty lists (3 mutations)
  93. 31.03 s [sydtest-mutation-example-mutation-report] coverage (29/42): running Example\.OtherwiseLibSpec.classify.classifies negative numbers
  94. 31.03 s [sydtest-mutation-example-mutation-report] coverage (27/42): done Example\.LibSpec.addOne.returns 6 for input 5 (4 mutations)
  95. 31.03 s [sydtest-mutation-example-mutation-report] coverage (31/42): running Example\.OtherwiseLibSpec.classify.classifies zero
  96. 31.03 s [sydtest-mutation-example-mutation-report] coverage (28/42): done Example\.LibSpec.addOne.returns 2 for input 1 (4 mutations)
  97. 31.03 s [sydtest-mutation-example-mutation-report] coverage (33/42): running Example\.FunctionExceptionLibSpec.addOneArithAndIntLitDisabled.increments by one
  98. 31.04 s [sydtest-mutation-example-mutation-report] coverage (30/42): done Example\.OtherwiseLibSpec.classify.classifies positive numbers (9 mutations)
  99. 31.04 s [sydtest-mutation-example-mutation-report] coverage (32/42): running Example\.FunctionExceptionLibSpec.addOneArithDisabled.increments by one
  100. 31.05 s [sydtest-mutation-example-mutation-report] coverage (31/42): done Example\.OtherwiseLibSpec.classify.classifies zero (9 mutations)
  101. 31.05 s [sydtest-mutation-example-mutation-report] coverage (29/42): done Example\.OtherwiseLibSpec.classify.classifies negative numbers (6 mutations)
  102. 31.05 s [sydtest-mutation-example-mutation-report] coverage (34/42): running Example\.FunctionExceptionLibSpec.addOneFunctionDisabled.increments by one
  103. 31.05 s [sydtest-mutation-example-mutation-report] coverage (35/42): running Example\.LogicLibSpec.eitherPositive.is True when only the second is positive
  104. 31.05 s [sydtest-mutation-example-mutation-report] coverage (33/42): done Example\.FunctionExceptionLibSpec.addOneArithAndIntLitDisabled.increments by one (0 mutations)
  105. 31.05 s [sydtest-mutation-example-mutation-report] coverage (36/42): running Example\.LogicLibSpec.eitherPositive.is False when neither is positive
  106. 31.06 s [sydtest-mutation-example-mutation-report] coverage (32/42): done Example\.FunctionExceptionLibSpec.addOneArithDisabled.increments by one (2 mutations)
  107. 31.06 s [sydtest-mutation-example-mutation-report] coverage (37/42): running Example\.LogicLibSpec.eitherPositive.is True when only the first is positive
  108. 31.07 s [sydtest-mutation-example-mutation-report] coverage (35/42): done Example\.LogicLibSpec.eitherPositive.is True when only the second is positive (18 mutations)
  109. 31.07 s [sydtest-mutation-example-mutation-report] coverage (34/42): done Example\.FunctionExceptionLibSpec.addOneFunctionDisabled.increments by one (0 mutations)
  110. 31.07 s [sydtest-mutation-example-mutation-report] coverage (38/42): running Example\.LogicLibSpec.eitherPositive.is True when both are positive
  111. 31.07 s [sydtest-mutation-example-mutation-report] coverage (39/42): running Example\.LogicLibSpec.bothPositive.is False when only the first is positive
  112. 31.07 s [sydtest-mutation-example-mutation-report] coverage (36/42): done Example\.LogicLibSpec.eitherPositive.is False when neither is positive (18 mutations)
  113. 31.07 s [sydtest-mutation-example-mutation-report] coverage (40/42): running Example\.LogicLibSpec.bothPositive.is True when both are positive
  114. 31.08 s [sydtest-mutation-example-mutation-report] coverage (37/42): done Example\.LogicLibSpec.eitherPositive.is True when only the first is positive (11 mutations)
  115. 31.08 s [sydtest-mutation-example-mutation-report] coverage (42/42): running Example\.LogicLibSpec.bothPositive.is False when neither is positive
  116. 31.09 s [sydtest-mutation-example-mutation-report] coverage (39/42): done Example\.LogicLibSpec.bothPositive.is False when only the first is positive (18 mutations)
  117. 31.09 s [sydtest-mutation-example-mutation-report] coverage (41/42): running Example\.LogicLibSpec.bothPositive.is False when only the second is positive
  118. 31.09 s [sydtest-mutation-example-mutation-report] coverage (38/42): done Example\.LogicLibSpec.eitherPositive.is True when both are positive (11 mutations)
  119. 31.09 s [sydtest-mutation-example-mutation-report] coverage (40/42): done Example\.LogicLibSpec.bothPositive.is True when both are positive (18 mutations)
  120. 31.10 s [sydtest-mutation-example-mutation-report] coverage (42/42): done Example\.LogicLibSpec.bothPositive.is False when neither is positive (11 mutations)
  121. 31.10 s [sydtest-mutation-example-mutation-report] coverage (41/42): done Example\.LogicLibSpec.bothPositive.is False when only the second is positive (11 mutations)
  122. 31.11 s [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/LogicLib.hs:17:26-27 #1
  123. 31.11 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  124. 31.11 s [sydtest-mutation-example-mutation-report] --
  125. 31.11 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  126. 31.11 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  127. 31.11 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  128. 31.11 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = a > 1 || b > 0
  129. 31.11 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:17:31-36 #1
  130. 31.11 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  131. 31.11 s [sydtest-mutation-example-mutation-report] --
  132. 31.11 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  133. 31.11 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  134. 31.11 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  135. 31.11 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = a > 0 || True
  136. 31.11 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LogicLib.hs:17:22-27 #1
  137. 31.11 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  138. 31.11 s [sydtest-mutation-example-mutation-report] --
  139. 31.11 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  140. 31.11 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  141. 31.11 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  142. 31.11 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = not (a > 0) || b > 0
  143. 31.12 s [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/LogicLib.hs:17:35-36 #1
  144. 31.12 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  145. 31.12 s [sydtest-mutation-example-mutation-report] --
  146. 31.12 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  147. 31.12 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  148. 31.12 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  149. 31.12 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = a > 0 || b > 1
  150. 31.12 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:17:22-27 #1
  151. 31.12 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  152. 31.12 s [sydtest-mutation-example-mutation-report] --
  153. 31.12 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  154. 31.12 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  155. 31.12 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  156. 31.12 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = a < 0 || b > 0
  157. 31.12 s [sydtest-mutation-example-mutation-report] Testing mutation LogicOp at src/Example/LogicLib.hs:17:22-36 #1
  158. 31.12 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  159. 31.12 s [sydtest-mutation-example-mutation-report] --
  160. 31.12 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  161. 31.12 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  162. 31.12 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  163. 31.12 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = a > 0 && b > 0
  164. 31.12 s [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/LogicLib.hs:11:24-25 #1
  165. 31.12 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  166. 31.12 s [sydtest-mutation-example-mutation-report] --
  167. 31.12 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  168. 31.12 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  169. 31.12 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  170. 31.12 s [sydtest-mutation-example-mutation-report] +bothPositive a b = a > 1 && b > 0
  171. 31.12 s [sydtest-mutation-example-mutation-report]
  172. 31.12 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  173. 31.12 s [sydtest-mutation-example-mutation-report] --
  174. 31.12 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-36 #1
  175. 31.12 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  176. 31.12 s [sydtest-mutation-example-mutation-report] --
  177. 31.12 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  178. 31.12 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  179. 31.12 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  180. 31.12 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = True
  181. 31.12 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-27 #1
  182. 31.12 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  183. 31.12 s [sydtest-mutation-example-mutation-report] --
  184. 31.12 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  185. 31.12 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  186. 31.12 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  187. 31.12 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = True || b > 0
  188. 31.12 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:17:31-36 #1
  189. 31.12 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  190. 31.12 s [sydtest-mutation-example-mutation-report] --
  191. 31.12 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  192. 31.12 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  193. 31.12 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  194. 31.12 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = a > 0 || b < 0
  195. 31.12 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:11:20-25 #1
  196. 31.12 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  197. 31.12 s [sydtest-mutation-example-mutation-report] --
  198. 31.12 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  199. 31.12 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  200. 31.12 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  201. 31.12 s [sydtest-mutation-example-mutation-report] +bothPositive a b = a < 0 && b > 0
  202. 31.12 s [sydtest-mutation-example-mutation-report]
  203. 31.12 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  204. 31.12 s [sydtest-mutation-example-mutation-report] --
  205. 31.12 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LogicLib.hs:17:22-36 #1
  206. 31.12 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  207. 31.12 s [sydtest-mutation-example-mutation-report] --
  208. 31.12 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  209. 31.12 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  210. 31.12 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  211. 31.12 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = not (a > 0 || b > 0)
  212. 31.12 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LogicLib.hs:17:31-36 #1
  213. 31.12 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  214. 31.12 s [sydtest-mutation-example-mutation-report] --
  215. 31.12 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  216. 31.12 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  217. 31.12 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  218. 31.12 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = a > 0 || not (b > 0)
  219. 31.12 s [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/LogicLib.hs:11:33-34 #1
  220. 31.12 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  221. 31.12 s [sydtest-mutation-example-mutation-report] --
  222. 31.12 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  223. 31.12 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  224. 31.12 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  225. 31.12 s [sydtest-mutation-example-mutation-report] +bothPositive a b = a > 0 && b > 1
  226. 31.12 s [sydtest-mutation-example-mutation-report]
  227. 31.12 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  228. 31.12 s [sydtest-mutation-example-mutation-report] --
  229. 31.12 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:11:29-34 #1
  230. 31.12 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  231. 31.12 s [sydtest-mutation-example-mutation-report] --
  232. 31.12 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  233. 31.12 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  234. 31.12 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  235. 31.12 s [sydtest-mutation-example-mutation-report] +bothPositive a b = a > 0 && b < 0
  236. 31.12 s [sydtest-mutation-example-mutation-report]
  237. 31.12 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  238. 31.12 s [sydtest-mutation-example-mutation-report] --
  239. 31.13 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LogicLib.hs:11:20-25 #1
  240. 31.13 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  241. 31.13 s [sydtest-mutation-example-mutation-report] --
  242. 31.13 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  243. 31.13 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  244. 31.13 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  245. 31.13 s [sydtest-mutation-example-mutation-report] +bothPositive a b = not (a > 0) && b > 0
  246. 31.13 s [sydtest-mutation-example-mutation-report]
  247. 31.13 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  248. 31.13 s [sydtest-mutation-example-mutation-report] --
  249. 31.13 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-25 #1
  250. 31.13 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  251. 31.13 s [sydtest-mutation-example-mutation-report] --
  252. 31.13 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  253. 31.13 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  254. 31.13 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  255. 31.13 s [sydtest-mutation-example-mutation-report] +bothPositive a b = True && b > 0
  256. 31.13 s [sydtest-mutation-example-mutation-report]
  257. 31.13 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  258. 31.13 s [sydtest-mutation-example-mutation-report] --
  259. 31.13 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LogicLib.hs:11:29-34 #1
  260. 31.13 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  261. 31.13 s [sydtest-mutation-example-mutation-report] --
  262. 31.13 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  263. 31.13 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  264. 31.13 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  265. 31.13 s [sydtest-mutation-example-mutation-report] +bothPositive a b = a > 0 && not (b > 0)
  266. 31.13 s [sydtest-mutation-example-mutation-report]
  267. 31.13 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  268. 31.13 s [sydtest-mutation-example-mutation-report] --
  269. 31.13 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LogicLib.hs:11:20-34 #1
  270. 31.13 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  271. 31.13 s [sydtest-mutation-example-mutation-report] --
  272. 31.13 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  273. 31.13 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  274. 31.13 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  275. 31.13 s [sydtest-mutation-example-mutation-report] +bothPositive a b = not (a > 0 && b > 0)
  276. 31.13 s [sydtest-mutation-example-mutation-report]
  277. 31.13 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  278. 31.13 s [sydtest-mutation-example-mutation-report] --
  279. 31.13 s [sydtest-mutation-example-mutation-report] Testing mutation MaybeOp at src/Example/BoolLib.hs:12:12-21 #1
  280. 31.13 s [sydtest-mutation-example-mutation-report] @@ -9,7 +9,7 @@
  281. 31.13 s [sydtest-mutation-example-mutation-report] --
  282. 31.13 s [sydtest-mutation-example-mutation-report] -- Mutation sites: BoolLit/ConstBool on the inner True, MaybeOp on Just True.
  283. 31.13 s [sydtest-mutation-example-mutation-report] wrapTrue :: Maybe Bool
  284. 31.13 s [sydtest-mutation-example-mutation-report] -wrapTrue = Just True
  285. 31.13 s [sydtest-mutation-example-mutation-report] +wrapTrue = Nothing
  286. 31.13 s [sydtest-mutation-example-mutation-report]
  287. 31.13 s [sydtest-mutation-example-mutation-report] -- | Wraps False in Just.
  288. 31.13 s [sydtest-mutation-example-mutation-report] --
  289. 31.19 s [sydtest-mutation-example-mutation-report] Testing mutation BoolLit at src/Example/BoolLib.hs:18:18-23 #1
  290. 31.19 s [sydtest-mutation-example-mutation-report] @@ -15,7 +15,7 @@
  291. 31.19 s [sydtest-mutation-example-mutation-report] --
  292. 31.19 s [sydtest-mutation-example-mutation-report] -- Mutation sites: BoolLit/ConstBool on the inner False, MaybeOp on Just False.
  293. 31.19 s [sydtest-mutation-example-mutation-report] wrapFalse :: Maybe Bool
  294. 31.19 s [sydtest-mutation-example-mutation-report] -wrapFalse = Just False
  295. 31.20 s [sydtest-mutation-example-mutation-report] +wrapFalse = Just True
  296. 31.20 s [sydtest-mutation-example-mutation-report]
  297. 31.20 s [sydtest-mutation-example-mutation-report] -- | Negates a wrapped boolean.
  298. 31.20 s [sydtest-mutation-example-mutation-report] negateWrapped :: Maybe Bool -> Maybe Bool
  299. 31.20 s [sydtest-mutation-example-mutation-report] Testing mutation Arith at src/Example/Lib.hs:8:12-17 #1
  300. 31.20 s [sydtest-mutation-example-mutation-report] @@ -5,4 +5,4 @@
  301. 31.20 s [sydtest-mutation-example-mutation-report] -- The literal '1' here is a mutation site: the plugin will also compile a
  302. 31.20 s [sydtest-mutation-example-mutation-report] -- version where this returns @n + 0@ instead of @n + 1@.
  303. 31.20 s [sydtest-mutation-example-mutation-report] addOne :: Int -> Int
  304. 31.20 s [sydtest-mutation-example-mutation-report] -addOne n = n + 1
  305. 31.20 s [sydtest-mutation-example-mutation-report] +addOne n = n - 1
  306. 31.20 s [sydtest-mutation-example-mutation-report] Testing mutation LogicOp at src/Example/LogicLib.hs:11:20-34 #1
  307. 31.20 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  308. 31.20 s [sydtest-mutation-example-mutation-report] --
  309. 31.20 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  310. 31.20 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  311. 31.20 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  312. 31.20 s [sydtest-mutation-example-mutation-report] +bothPositive a b = a > 0 || b > 0
  313. 31.20 s [sydtest-mutation-example-mutation-report]
  314. 31.20 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  315. 31.20 s [sydtest-mutation-example-mutation-report] --
  316. 31.20 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:11:29-34 #1
  317. 31.20 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  318. 31.20 s [sydtest-mutation-example-mutation-report] --
  319. 31.20 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  320. 31.20 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  321. 31.20 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  322. 31.20 s [sydtest-mutation-example-mutation-report] +bothPositive a b = a > 0 && True
  323. 31.20 s [sydtest-mutation-example-mutation-report]
  324. 31.20 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  325. 31.20 s [sydtest-mutation-example-mutation-report] --
  326. 31.20 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-34 #1
  327. 31.20 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  328. 31.20 s [sydtest-mutation-example-mutation-report] --
  329. 31.20 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  330. 31.20 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  331. 31.20 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  332. 31.20 s [sydtest-mutation-example-mutation-report] +bothPositive a b = True
  333. 31.20 s [sydtest-mutation-example-mutation-report]
  334. 31.20 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  335. 31.20 s [sydtest-mutation-example-mutation-report] --
  336. 31.20 s [sydtest-mutation-example-mutation-report] Testing mutation MaybeOp at src/Example/BoolLib.hs:18:13-23 #1
  337. 31.20 s [sydtest-mutation-example-mutation-report] @@ -15,7 +15,7 @@
  338. 31.20 s [sydtest-mutation-example-mutation-report] --
  339. 31.20 s [sydtest-mutation-example-mutation-report] -- Mutation sites: BoolLit/ConstBool on the inner False, MaybeOp on Just False.
  340. 31.20 s [sydtest-mutation-example-mutation-report] wrapFalse :: Maybe Bool
  341. 31.20 s [sydtest-mutation-example-mutation-report] -wrapFalse = Just False
  342. 31.20 s [sydtest-mutation-example-mutation-report] +wrapFalse = Nothing
  343. 31.20 s [sydtest-mutation-example-mutation-report]
  344. 31.20 s [sydtest-mutation-example-mutation-report] -- | Negates a wrapped boolean.
  345. 31.21 s [sydtest-mutation-example-mutation-report] negateWrapped :: Maybe Bool -> Maybe Bool
  346. 31.21 s [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/Lib.hs:8:16-17 #1
  347. 31.21 s [sydtest-mutation-example-mutation-report] @@ -5,4 +5,4 @@
  348. 31.21 s [sydtest-mutation-example-mutation-report] -- The literal '1' here is a mutation site: the plugin will also compile a
  349. 31.21 s [sydtest-mutation-example-mutation-report] -- version where this returns @n + 0@ instead of @n + 1@.
  350. 31.21 s [sydtest-mutation-example-mutation-report] addOne :: Int -> Int
  351. 31.21 s [sydtest-mutation-example-mutation-report] -addOne n = n + 1
  352. 31.21 s [sydtest-mutation-example-mutation-report] +addOne n = n + 0
  353. 31.21 s [sydtest-mutation-example-mutation-report] Testing mutation BoolLit at src/Example/BoolLib.hs:12:17-21 #1
  354. 31.21 s [sydtest-mutation-example-mutation-report] @@ -9,7 +9,7 @@
  355. 31.21 s [sydtest-mutation-example-mutation-report] --
  356. 31.21 s [sydtest-mutation-example-mutation-report] -- Mutation sites: BoolLit/ConstBool on the inner True, MaybeOp on Just True.
  357. 31.21 s [sydtest-mutation-example-mutation-report] wrapTrue :: Maybe Bool
  358. 31.21 s [sydtest-mutation-example-mutation-report] -wrapTrue = Just True
  359. 31.21 s [sydtest-mutation-example-mutation-report] +wrapTrue = Just False
  360. 31.21 s [sydtest-mutation-example-mutation-report]
  361. 31.21 s [sydtest-mutation-example-mutation-report] -- | Wraps False in Just.
  362. 31.21 s [sydtest-mutation-example-mutation-report] --
  363. 31.21 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10 #1
  364. 31.21 s [sydtest-mutation-example-mutation-report] @@ -9,6 +9,6 @@
  365. 31.21 s [sydtest-mutation-example-mutation-report] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  366. 31.21 s [sydtest-mutation-example-mutation-report] classify :: Int -> String
  367. 31.21 s [sydtest-mutation-example-mutation-report] classify n
  368. 31.21 s [sydtest-mutation-example-mutation-report] - | n < 0 = "negative"
  369. 31.21 s [sydtest-mutation-example-mutation-report] + | n <= 0 = "negative"
  370. 31.21 s [sydtest-mutation-example-mutation-report] | n == 0 = "zero"
  371. 31.21 s [sydtest-mutation-example-mutation-report] | otherwise = "positive"
  372. 31.21 s [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/OtherwiseLib.hs:12:9-10 #1
  373. 31.21 s [sydtest-mutation-example-mutation-report] @@ -9,6 +9,6 @@
  374. 31.21 s [sydtest-mutation-example-mutation-report] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  375. 31.21 s [sydtest-mutation-example-mutation-report] classify :: Int -> String
  376. 31.21 s [sydtest-mutation-example-mutation-report] classify n
  377. 31.21 s [sydtest-mutation-example-mutation-report] - | n < 0 = "negative"
  378. 31.21 s [sydtest-mutation-example-mutation-report] + | n < 1 = "negative"
  379. 31.21 s [sydtest-mutation-example-mutation-report] | n == 0 = "zero"
  380. 31.21 s [sydtest-mutation-example-mutation-report] | otherwise = "positive"
  381. 31.21 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/OtherwiseLib.hs:12:5-10 #1
  382. 31.21 s [sydtest-mutation-example-mutation-report] @@ -9,6 +9,6 @@
  383. 31.21 s [sydtest-mutation-example-mutation-report] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  384. 31.21 s [sydtest-mutation-example-mutation-report] classify :: Int -> String
  385. 31.21 s [sydtest-mutation-example-mutation-report] classify n
  386. 31.21 s [sydtest-mutation-example-mutation-report] - | n < 0 = "negative"
  387. 31.21 s [sydtest-mutation-example-mutation-report] + | True = "negative"
  388. 31.21 s [sydtest-mutation-example-mutation-report] | n == 0 = "zero"
  389. 31.21 s [sydtest-mutation-example-mutation-report] | otherwise = "positive"
  390. 31.21 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/OtherwiseLib.hs:12:5-10 #1
  391. 31.21 s [sydtest-mutation-example-mutation-report] @@ -9,6 +9,6 @@
  392. 31.21 s [sydtest-mutation-example-mutation-report] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  393. 31.21 s [sydtest-mutation-example-mutation-report] classify :: Int -> String
  394. 31.21 s [sydtest-mutation-example-mutation-report] classify n
  395. 31.21 s [sydtest-mutation-example-mutation-report] - | n < 0 = "negative"
  396. 31.21 s [sydtest-mutation-example-mutation-report] + | not (n < 0) = "negative"
  397. 31.21 s [sydtest-mutation-example-mutation-report] | n == 0 = "zero"
  398. 31.21 s [sydtest-mutation-example-mutation-report] | otherwise = "positive"
  399. 31.21 s [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/OtherwiseLib.hs:13:10-11 #1
  400. 31.21 s [sydtest-mutation-example-mutation-report] @@ -10,5 +10,5 @@
  401. 31.21 s [sydtest-mutation-example-mutation-report] classify :: Int -> String
  402. 31.21 s [sydtest-mutation-example-mutation-report] classify n
  403. 31.21 s [sydtest-mutation-example-mutation-report] | n < 0 = "negative"
  404. 31.21 s [sydtest-mutation-example-mutation-report] - | n == 0 = "zero"
  405. 31.21 s [sydtest-mutation-example-mutation-report] + | n == 1 = "zero"
  406. 31.22 s [sydtest-mutation-example-mutation-report] | otherwise = "positive"
  407. 31.22 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/OtherwiseLib.hs:13:5-11 #1
  408. 31.22 s [sydtest-mutation-example-mutation-report] @@ -10,5 +10,5 @@
  409. 31.22 s [sydtest-mutation-example-mutation-report] classify :: Int -> String
  410. 31.22 s [sydtest-mutation-example-mutation-report] classify n
  411. 31.22 s [sydtest-mutation-example-mutation-report] | n < 0 = "negative"
  412. 31.22 s [sydtest-mutation-example-mutation-report] - | n == 0 = "zero"
  413. 31.22 s [sydtest-mutation-example-mutation-report] + | True = "zero"
  414. 31.22 s [sydtest-mutation-example-mutation-report] | otherwise = "positive"
  415. 31.22 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/OtherwiseLib.hs:13:5-11 #1
  416. 31.22 s [sydtest-mutation-example-mutation-report] @@ -10,5 +10,5 @@
  417. 31.22 s [sydtest-mutation-example-mutation-report] classify :: Int -> String
  418. 31.22 s [sydtest-mutation-example-mutation-report] classify n
  419. 31.22 s [sydtest-mutation-example-mutation-report] | n < 0 = "negative"
  420. 31.22 s [sydtest-mutation-example-mutation-report] - | n == 0 = "zero"
  421. 31.22 s [sydtest-mutation-example-mutation-report] + | not (n == 0) = "zero"
  422. 31.22 s [sydtest-mutation-example-mutation-report] | otherwise = "positive"
  423. 31.22 s [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/FunctionExceptionLib.hs:15:29-30 #1
  424. 31.22 s [sydtest-mutation-example-mutation-report] @@ -12,7 +12,7 @@
  425. 31.22 s [sydtest-mutation-example-mutation-report] -- IntLit mutations (replacing the literal @1@) still apply.
  426. 31.22 s [sydtest-mutation-example-mutation-report] {-# ANN addOneArithDisabled ("DisableMutation: Arith" :: String) #-}
  427. 31.22 s [sydtest-mutation-example-mutation-report] addOneArithDisabled :: Int -> Int
  428. 31.22 s [sydtest-mutation-example-mutation-report] -addOneArithDisabled n = n + 1
  429. 31.22 s [sydtest-mutation-example-mutation-report] +addOneArithDisabled n = n + 0
  430. 31.22 s [sydtest-mutation-example-mutation-report]
  431. 31.22 s [sydtest-mutation-example-mutation-report] -- | Both Arith and IntLit mutations disabled on this function.
  432. 31.22 s [sydtest-mutation-example-mutation-report] {-# ANN addOneArithAndIntLitDisabled ("DisableMutations: Arith, IntLit" :: String) #-}
  433. 31.22 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/DoLib.hs:14:10-14 #1
  434. 31.22 s [sydtest-mutation-example-mutation-report] @@ -11,5 +11,5 @@
  435. 31.22 s [sydtest-mutation-example-mutation-report] go :: Writer String ()
  436. 31.22 s [sydtest-mutation-example-mutation-report] go = do
  437. 31.22 s [sydtest-mutation-example-mutation-report] tell "Hello"
  438. 31.22 s [sydtest-mutation-example-mutation-report] - if loud then tell "!" else pure ()
  439. 31.22 s [sydtest-mutation-example-mutation-report] + if True then tell "!" else pure ()
  440. 31.22 s [sydtest-mutation-example-mutation-report] tell "\n"
  441. 31.22 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/DoLib.hs:14:10-14 #1
  442. 31.22 s [sydtest-mutation-example-mutation-report] @@ -11,5 +11,5 @@
  443. 31.22 s [sydtest-mutation-example-mutation-report] go :: Writer String ()
  444. 31.22 s [sydtest-mutation-example-mutation-report] go = do
  445. 31.22 s [sydtest-mutation-example-mutation-report] tell "Hello"
  446. 31.22 s [sydtest-mutation-example-mutation-report] - if loud then tell "!" else pure ()
  447. 31.22 s [sydtest-mutation-example-mutation-report] + if not (loud) then tell "!" else pure ()
  448. 31.22 s [sydtest-mutation-example-mutation-report] tell "\n"
  449. 31.22 s [sydtest-mutation-example-mutation-report] Testing mutation RemoveAction at src/Example/DoLib.hs:14:7-41 #1
  450. 31.22 s [sydtest-mutation-example-mutation-report] @@ -11,5 +11,4 @@
  451. 31.22 s [sydtest-mutation-example-mutation-report] go :: Writer String ()
  452. 31.22 s [sydtest-mutation-example-mutation-report] go = do
  453. 31.22 s [sydtest-mutation-example-mutation-report] tell "Hello"
  454. 31.22 s [sydtest-mutation-example-mutation-report] - if loud then tell "!" else pure ()
  455. 31.22 s [sydtest-mutation-example-mutation-report] tell "\n"
  456. 31.22 s [sydtest-mutation-example-mutation-report] Testing mutation RemoveAction at src/Example/DoLib.hs:12:10-16 #1
  457. 31.22 s [sydtest-mutation-example-mutation-report] @@ -9,7 +9,6 @@
  458. 31.22 s [sydtest-mutation-example-mutation-report] greet loud = execWriter go
  459. 31.22 s [sydtest-mutation-example-mutation-report] where
  460. 31.22 s [sydtest-mutation-example-mutation-report] go :: Writer String ()
  461. 31.22 s [sydtest-mutation-example-mutation-report] go = do
  462. 31.22 s [sydtest-mutation-example-mutation-report] - tell "Hello"
  463. 31.22 s [sydtest-mutation-example-mutation-report] if loud then tell "!" else pure ()
  464. 31.22 s [sydtest-mutation-example-mutation-report] tell "\n"
  465. 31.22 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:58:19-20 #1
  466. 31.22 s [sydtest-mutation-example-mutation-report] @@ -55,5 +55,5 @@
  467. 31.22 s [sydtest-mutation-example-mutation-report] -- @toggle b@ is fully instrumented.
  468. 31.22 s [sydtest-mutation-example-mutation-report] withBindKept :: (Bool -> IO Bool) -> Bool -> IO Bool
  469. 31.22 s [sydtest-mutation-example-mutation-report] withBindKept toggle b = do
  470. 31.22 s [sydtest-mutation-example-mutation-report] - inner <- toggle b
  471. 31.22 s [sydtest-mutation-example-mutation-report] + inner <- toggle True
  472. 31.22 s [sydtest-mutation-example-mutation-report] pure inner
  473. 31.26 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:58:19-20 #1
  474. 31.26 s [sydtest-mutation-example-mutation-report] @@ -55,5 +55,5 @@
  475. 31.26 s [sydtest-mutation-example-mutation-report] -- @toggle b@ is fully instrumented.
  476. 31.26 s [sydtest-mutation-example-mutation-report] withBindKept :: (Bool -> IO Bool) -> Bool -> IO Bool
  477. 31.26 s [sydtest-mutation-example-mutation-report] withBindKept toggle b = do
  478. 31.26 s [sydtest-mutation-example-mutation-report] - inner <- toggle b
  479. 31.26 s [sydtest-mutation-example-mutation-report] + inner <- toggle not (b)
  480. 31.26 s [sydtest-mutation-example-mutation-report] pure inner
  481. 31.26 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:59:8-13 #1
  482. 31.26 s [sydtest-mutation-example-mutation-report] @@ -56,4 +56,4 @@
  483. 31.26 s [sydtest-mutation-example-mutation-report] withBindKept :: (Bool -> IO Bool) -> Bool -> IO Bool
  484. 31.26 s [sydtest-mutation-example-mutation-report] withBindKept toggle b = do
  485. 31.26 s [sydtest-mutation-example-mutation-report] inner <- toggle b
  486. 31.26 s [sydtest-mutation-example-mutation-report] - pure inner
  487. 31.26 s [sydtest-mutation-example-mutation-report] + pure True
  488. 31.26 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:59:8-13 #1
  489. 31.26 s [sydtest-mutation-example-mutation-report] @@ -56,4 +56,4 @@
  490. 31.26 s [sydtest-mutation-example-mutation-report] withBindKept :: (Bool -> IO Bool) -> Bool -> IO Bool
  491. 31.26 s [sydtest-mutation-example-mutation-report] withBindKept toggle b = do
  492. 31.26 s [sydtest-mutation-example-mutation-report] inner <- toggle b
  493. 31.26 s [sydtest-mutation-example-mutation-report] - pure inner
  494. 31.26 s [sydtest-mutation-example-mutation-report] + pure not (inner)
  495. 31.26 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:52:8-13 #1
  496. 31.26 s [sydtest-mutation-example-mutation-report] @@ -49,7 +49,7 @@
  497. 31.26 s [sydtest-mutation-example-mutation-report] withBindDisabled :: (Bool -> IO Bool) -> Bool -> IO Bool
  498. 31.26 s [sydtest-mutation-example-mutation-report] withBindDisabled toggle b = do
  499. 31.26 s [sydtest-mutation-example-mutation-report] inner <- toggle b
  500. 31.26 s [sydtest-mutation-example-mutation-report] - pure inner
  501. 31.26 s [sydtest-mutation-example-mutation-report] + pure True
  502. 31.26 s [sydtest-mutation-example-mutation-report]
  503. 31.26 s [sydtest-mutation-example-mutation-report] -- | Control for 'withBindDisabled': no disable annotation, so the RHS
  504. 31.26 s [sydtest-mutation-example-mutation-report] -- @toggle b@ is fully instrumented.
  505. 31.26 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:52:8-13 #1
  506. 31.26 s [sydtest-mutation-example-mutation-report] @@ -49,7 +49,7 @@
  507. 31.26 s [sydtest-mutation-example-mutation-report] withBindDisabled :: (Bool -> IO Bool) -> Bool -> IO Bool
  508. 31.26 s [sydtest-mutation-example-mutation-report] withBindDisabled toggle b = do
  509. 31.26 s [sydtest-mutation-example-mutation-report] inner <- toggle b
  510. 31.26 s [sydtest-mutation-example-mutation-report] - pure inner
  511. 31.26 s [sydtest-mutation-example-mutation-report] + pure not (inner)
  512. 31.26 s [sydtest-mutation-example-mutation-report]
  513. 31.26 s [sydtest-mutation-example-mutation-report] -- | Control for 'withBindDisabled': no disable annotation, so the RHS
  514. 31.26 s [sydtest-mutation-example-mutation-report] -- @toggle b@ is fully instrumented.
  515. 31.27 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:36:19-20 #1
  516. 31.27 s [sydtest-mutation-example-mutation-report] @@ -33,7 +33,7 @@
  517. 31.27 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  518. 31.27 s [sydtest-mutation-example-mutation-report] withInnerKept :: Bool -> Bool
  519. 31.27 s [sydtest-mutation-example-mutation-report] withInnerKept b =
  520. 31.27 s [sydtest-mutation-example-mutation-report] - let inner = not b
  521. 31.27 s [sydtest-mutation-example-mutation-report] + let inner = not True
  522. 31.27 s [sydtest-mutation-example-mutation-report] in inner
  523. 31.27 s [sydtest-mutation-example-mutation-report]
  524. 31.27 s [sydtest-mutation-example-mutation-report] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  525. 31.27 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:36:19-20 #1
  526. 31.27 s [sydtest-mutation-example-mutation-report] @@ -33,7 +33,7 @@
  527. 31.27 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  528. 31.27 s [sydtest-mutation-example-mutation-report] withInnerKept :: Bool -> Bool
  529. 31.27 s [sydtest-mutation-example-mutation-report] withInnerKept b =
  530. 31.27 s [sydtest-mutation-example-mutation-report] - let inner = not b
  531. 31.27 s [sydtest-mutation-example-mutation-report] + let inner = not not (b)
  532. 31.27 s [sydtest-mutation-example-mutation-report] in inner
  533. 31.27 s [sydtest-mutation-example-mutation-report]
  534. 31.27 s [sydtest-mutation-example-mutation-report] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  535. 31.27 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:36:15-20 #1
  536. 31.27 s [sydtest-mutation-example-mutation-report] @@ -33,7 +33,7 @@
  537. 31.27 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  538. 31.27 s [sydtest-mutation-example-mutation-report] withInnerKept :: Bool -> Bool
  539. 31.27 s [sydtest-mutation-example-mutation-report] withInnerKept b =
  540. 31.27 s [sydtest-mutation-example-mutation-report] - let inner = not b
  541. 31.27 s [sydtest-mutation-example-mutation-report] + let inner = not (not b)
  542. 31.27 s [sydtest-mutation-example-mutation-report] in inner
  543. 31.27 s [sydtest-mutation-example-mutation-report]
  544. 31.27 s [sydtest-mutation-example-mutation-report] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  545. 31.27 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:37:7-12 #1
  546. 31.27 s [sydtest-mutation-example-mutation-report] @@ -34,7 +34,7 @@
  547. 31.27 s [sydtest-mutation-example-mutation-report] withInnerKept :: Bool -> Bool
  548. 31.27 s [sydtest-mutation-example-mutation-report] withInnerKept b =
  549. 31.27 s [sydtest-mutation-example-mutation-report] let inner = not b
  550. 31.27 s [sydtest-mutation-example-mutation-report] - in inner
  551. 31.27 s [sydtest-mutation-example-mutation-report] + in not (inner)
  552. 31.27 s [sydtest-mutation-example-mutation-report]
  553. 31.27 s [sydtest-mutation-example-mutation-report] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  554. 31.27 s [sydtest-mutation-example-mutation-report] -- by a @do@-block @<-@ statement instead of a @let@. The annotation
  555. 31.27 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:37:7-12 #1
  556. 31.27 s [sydtest-mutation-example-mutation-report] @@ -34,7 +34,7 @@
  557. 31.27 s [sydtest-mutation-example-mutation-report] withInnerKept :: Bool -> Bool
  558. 31.27 s [sydtest-mutation-example-mutation-report] withInnerKept b =
  559. 31.27 s [sydtest-mutation-example-mutation-report] let inner = not b
  560. 31.27 s [sydtest-mutation-example-mutation-report] - in inner
  561. 31.27 s [sydtest-mutation-example-mutation-report] + in True
  562. 31.27 s [sydtest-mutation-example-mutation-report]
  563. 31.27 s [sydtest-mutation-example-mutation-report] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  564. 31.27 s [sydtest-mutation-example-mutation-report] -- by a @do@-block @<-@ statement instead of a @let@. The annotation
  565. 31.27 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:36:15-20 #1
  566. 31.27 s [sydtest-mutation-example-mutation-report] @@ -33,7 +33,7 @@
  567. 31.27 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  568. 31.27 s [sydtest-mutation-example-mutation-report] withInnerKept :: Bool -> Bool
  569. 31.27 s [sydtest-mutation-example-mutation-report] withInnerKept b =
  570. 31.27 s [sydtest-mutation-example-mutation-report] - let inner = not b
  571. 31.27 s [sydtest-mutation-example-mutation-report] + let inner = True
  572. 31.27 s [sydtest-mutation-example-mutation-report] in inner
  573. 31.27 s [sydtest-mutation-example-mutation-report]
  574. 31.27 s [sydtest-mutation-example-mutation-report] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  575. 31.27 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:36:3-12 #1
  576. 31.27 s [sydtest-mutation-example-mutation-report] @@ -33,8 +33,8 @@
  577. 31.27 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  578. 31.27 s [sydtest-mutation-example-mutation-report] withInnerKept :: Bool -> Bool
  579. 31.27 s [sydtest-mutation-example-mutation-report] withInnerKept b =
  580. 31.27 s [sydtest-mutation-example-mutation-report] - let inner = not b
  581. 31.27 s [sydtest-mutation-example-mutation-report] + True = not b
  582. 31.27 s [sydtest-mutation-example-mutation-report] in inner
  583. 31.27 s [sydtest-mutation-example-mutation-report]
  584. 31.27 s [sydtest-mutation-example-mutation-report] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  585. 31.27 s [sydtest-mutation-example-mutation-report] -- by a @do@-block @<-@ statement instead of a @let@. The annotation
  586. 31.27 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:36:3-12 #1
  587. 31.27 s [sydtest-mutation-example-mutation-report] @@ -33,8 +33,8 @@
  588. 31.27 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  589. 31.27 s [sydtest-mutation-example-mutation-report] withInnerKept :: Bool -> Bool
  590. 31.27 s [sydtest-mutation-example-mutation-report] withInnerKept b =
  591. 31.27 s [sydtest-mutation-example-mutation-report] - let inner = not b
  592. 31.27 s [sydtest-mutation-example-mutation-report] - in inner
  593. 31.27 s [sydtest-mutation-example-mutation-report] + not (let inner = not b
  594. 31.27 s [sydtest-mutation-example-mutation-report] + in inner)
  595. 31.27 s [sydtest-mutation-example-mutation-report]
  596. 31.27 s [sydtest-mutation-example-mutation-report] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  597. 31.28 s [sydtest-mutation-example-mutation-report] -- by a @do@-block @<-@ statement instead of a @let@. The annotation
  598. 31.28 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:29:19-20 #1
  599. 31.28 s [sydtest-mutation-example-mutation-report] @@ -26,7 +26,7 @@
  600. 31.28 s [sydtest-mutation-example-mutation-report] {-# ANN withInnerBoolLitDisabled ("DisableMutationsFor inner: ConstBool" :: String) #-}
  601. 31.28 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled :: Bool -> Bool
  602. 31.28 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled b =
  603. 31.28 s [sydtest-mutation-example-mutation-report] - let inner = not b
  604. 31.28 s [sydtest-mutation-example-mutation-report] + let inner = not not (b)
  605. 31.28 s [sydtest-mutation-example-mutation-report] in inner
  606. 31.28 s [sydtest-mutation-example-mutation-report]
  607. 31.28 s [sydtest-mutation-example-mutation-report] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  608. 31.28 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:29:15-20 #1
  609. 31.28 s [sydtest-mutation-example-mutation-report] @@ -26,7 +26,7 @@
  610. 31.28 s [sydtest-mutation-example-mutation-report] {-# ANN withInnerBoolLitDisabled ("DisableMutationsFor inner: ConstBool" :: String) #-}
  611. 31.28 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled :: Bool -> Bool
  612. 31.28 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled b =
  613. 31.28 s [sydtest-mutation-example-mutation-report] - let inner = not b
  614. 31.28 s [sydtest-mutation-example-mutation-report] + let inner = not (not b)
  615. 31.28 s [sydtest-mutation-example-mutation-report] in inner
  616. 31.28 s [sydtest-mutation-example-mutation-report]
  617. 31.28 s [sydtest-mutation-example-mutation-report] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  618. 31.28 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:30:7-12 #1
  619. 31.28 s [sydtest-mutation-example-mutation-report] @@ -27,7 +27,7 @@
  620. 31.28 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled :: Bool -> Bool
  621. 31.28 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled b =
  622. 31.28 s [sydtest-mutation-example-mutation-report] let inner = not b
  623. 31.28 s [sydtest-mutation-example-mutation-report] - in inner
  624. 31.28 s [sydtest-mutation-example-mutation-report] + in True
  625. 31.28 s [sydtest-mutation-example-mutation-report]
  626. 31.28 s [sydtest-mutation-example-mutation-report] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  627. 31.28 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  628. 31.28 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:30:7-12 #1
  629. 31.28 s [sydtest-mutation-example-mutation-report] @@ -27,7 +27,7 @@
  630. 31.28 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled :: Bool -> Bool
  631. 31.28 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled b =
  632. 31.28 s [sydtest-mutation-example-mutation-report] let inner = not b
  633. 31.28 s [sydtest-mutation-example-mutation-report] - in inner
  634. 31.28 s [sydtest-mutation-example-mutation-report] + in not (inner)
  635. 31.28 s [sydtest-mutation-example-mutation-report]
  636. 31.28 s [sydtest-mutation-example-mutation-report] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  637. 31.28 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  638. 31.28 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:21:7-12 #1
  639. 31.28 s [sydtest-mutation-example-mutation-report] @@ -18,7 +18,7 @@
  640. 31.28 s [sydtest-mutation-example-mutation-report] withInnerDisabled :: Bool -> Bool
  641. 31.28 s [sydtest-mutation-example-mutation-report] withInnerDisabled b =
  642. 31.28 s [sydtest-mutation-example-mutation-report] let inner = not b
  643. 31.28 s [sydtest-mutation-example-mutation-report] - in inner
  644. 31.28 s [sydtest-mutation-example-mutation-report] + in True
  645. 31.28 s [sydtest-mutation-example-mutation-report]
  646. 31.28 s [sydtest-mutation-example-mutation-report] -- | Like 'withInnerDisabled', but only @ConstBool@ is disabled inside
  647. 31.28 s [sydtest-mutation-example-mutation-report] -- @inner@'s RHS. Other operators on @inner@'s RHS (notably the @Negate@
  648. 31.30 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:29:3-12 #1
  649. 31.30 s [sydtest-mutation-example-mutation-report] @@ -26,8 +26,8 @@
  650. 31.30 s [sydtest-mutation-example-mutation-report] {-# ANN withInnerBoolLitDisabled ("DisableMutationsFor inner: ConstBool" :: String) #-}
  651. 31.30 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled :: Bool -> Bool
  652. 31.30 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled b =
  653. 31.30 s [sydtest-mutation-example-mutation-report] - let inner = not b
  654. 31.30 s [sydtest-mutation-example-mutation-report] - in inner
  655. 31.30 s [sydtest-mutation-example-mutation-report] + not (let inner = not b
  656. 31.30 s [sydtest-mutation-example-mutation-report] + in inner)
  657. 31.30 s [sydtest-mutation-example-mutation-report]
  658. 31.30 s [sydtest-mutation-example-mutation-report] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  659. 31.30 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  660. 31.30 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:29:3-12 #1
  661. 31.30 s [sydtest-mutation-example-mutation-report] @@ -26,8 +26,8 @@
  662. 31.30 s [sydtest-mutation-example-mutation-report] {-# ANN withInnerBoolLitDisabled ("DisableMutationsFor inner: ConstBool" :: String) #-}
  663. 31.30 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled :: Bool -> Bool
  664. 31.30 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled b =
  665. 31.30 s [sydtest-mutation-example-mutation-report] - let inner = not b
  666. 31.30 s [sydtest-mutation-example-mutation-report] + True = not b
  667. 31.30 s [sydtest-mutation-example-mutation-report] in inner
  668. 31.30 s [sydtest-mutation-example-mutation-report]
  669. 31.30 s [sydtest-mutation-example-mutation-report] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  670. 31.30 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  671. 31.30 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:20:3-12 #1
  672. 31.30 s [sydtest-mutation-example-mutation-report] @@ -17,8 +17,8 @@
  673. 31.30 s [sydtest-mutation-example-mutation-report] {-# ANN withInnerDisabled ("DisableMutationsFor inner" :: String) #-}
  674. 31.30 s [sydtest-mutation-example-mutation-report] withInnerDisabled :: Bool -> Bool
  675. 31.30 s [sydtest-mutation-example-mutation-report] withInnerDisabled b =
  676. 31.30 s [sydtest-mutation-example-mutation-report] - let inner = not b
  677. 31.30 s [sydtest-mutation-example-mutation-report] - in inner
  678. 31.30 s [sydtest-mutation-example-mutation-report] + not (let inner = not b
  679. 31.30 s [sydtest-mutation-example-mutation-report] + in inner)
  680. 31.30 s [sydtest-mutation-example-mutation-report]
  681. 31.30 s [sydtest-mutation-example-mutation-report] -- | Like 'withInnerDisabled', but only @ConstBool@ is disabled inside
  682. 31.30 s [sydtest-mutation-example-mutation-report] -- @inner@'s RHS. Other operators on @inner@'s RHS (notably the @Negate@
  683. 31.31 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:20:3-12 #1
  684. 31.31 s [sydtest-mutation-example-mutation-report] @@ -17,8 +17,8 @@
  685. 31.31 s [sydtest-mutation-example-mutation-report] {-# ANN withInnerDisabled ("DisableMutationsFor inner" :: String) #-}
  686. 31.31 s [sydtest-mutation-example-mutation-report] withInnerDisabled :: Bool -> Bool
  687. 31.31 s [sydtest-mutation-example-mutation-report] withInnerDisabled b =
  688. 31.31 s [sydtest-mutation-example-mutation-report] - let inner = not b
  689. 31.31 s [sydtest-mutation-example-mutation-report] + True = not b
  690. 31.31 s [sydtest-mutation-example-mutation-report] in inner
  691. 31.31 s [sydtest-mutation-example-mutation-report]
  692. 31.31 s [sydtest-mutation-example-mutation-report] -- | Like 'withInnerDisabled', but only @ConstBool@ is disabled inside
  693. 31.31 s [sydtest-mutation-example-mutation-report] -- @inner@'s RHS. Other operators on @inner@'s RHS (notably the @Negate@
  694. 31.31 s [sydtest-mutation-example-mutation-report] Testing mutation RemoveCase at src/Example/CaseLib.hs:7:19-16 #1
  695. 31.31 s [sydtest-mutation-example-mutation-report] @@ -4,7 +4,6 @@
  696. 31.31 s [sydtest-mutation-example-mutation-report] --
  697. 31.31 s [sydtest-mutation-example-mutation-report] -- Mutation sites: RemoveCase removes one of the three alternatives.
  698. 31.31 s [sydtest-mutation-example-mutation-report] describeList :: [a] -> String
  699. 31.31 s [sydtest-mutation-example-mutation-report] describeList xs = case xs of
  700. 31.31 s [sydtest-mutation-example-mutation-report] - [] -> "empty"
  701. 31.31 s [sydtest-mutation-example-mutation-report] [_] -> "singleton"
  702. 31.31 s [sydtest-mutation-example-mutation-report] _ -> "longer"
  703. 31.31 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:21:7-12 #1
  704. 31.31 s [sydtest-mutation-example-mutation-report] @@ -18,7 +18,7 @@
  705. 31.31 s [sydtest-mutation-example-mutation-report] withInnerDisabled :: Bool -> Bool
  706. 31.31 s [sydtest-mutation-example-mutation-report] withInnerDisabled b =
  707. 31.31 s [sydtest-mutation-example-mutation-report] let inner = not b
  708. 31.31 s [sydtest-mutation-example-mutation-report] - in inner
  709. 31.31 s [sydtest-mutation-example-mutation-report] + in not (inner)
  710. 31.31 s [sydtest-mutation-example-mutation-report]
  711. 31.31 s [sydtest-mutation-example-mutation-report] -- | Like 'withInnerDisabled', but only @ConstBool@ is disabled inside
  712. 31.31 s [sydtest-mutation-example-mutation-report] -- @inner@'s RHS. Other operators on @inner@'s RHS (notably the @Negate@
  713. 31.31 s [sydtest-mutation-example-mutation-report] Testing mutation ListLit at src/Example/ListLib.hs:12:25-31 #1
  714. 31.31 s [sydtest-mutation-example-mutation-report] @@ -9,7 +9,6 @@
  715. 31.31 s [sydtest-mutation-example-mutation-report] -- Mutation sites: ListLit produces an empty-list mutant and a drop-first
  716. 31.31 s [sydtest-mutation-example-mutation-report] -- mutant on the literal @[a, b]@.
  717. 31.31 s [sydtest-mutation-example-mutation-report] pairConcat :: String -> String -> String
  718. 31.31 s [sydtest-mutation-example-mutation-report] -pairConcat a b = concat [a, b]
  719. 31.31 s [sydtest-mutation-example-mutation-report]
  720. 31.31 s [sydtest-mutation-example-mutation-report] -- | Concatenate a three-element list of strings.
  721. 31.31 s [sydtest-mutation-example-mutation-report] --
  722. 31.31 s [sydtest-mutation-example-mutation-report] Testing mutation ListLit at src/Example/ListLib.hs:19:29-38 #1
  723. 31.31 s [sydtest-mutation-example-mutation-report] @@ -16,4 +16,3 @@
  724. 31.31 s [sydtest-mutation-example-mutation-report] -- Mutation sites: ListLit produces an empty-list mutant, a drop-first mutant,
  725. 31.31 s [sydtest-mutation-example-mutation-report] -- and a drop-last mutant on the literal @[a, b, c]@.
  726. 31.31 s [sydtest-mutation-example-mutation-report] tripleConcat :: String -> String -> String -> String
  727. 31.31 s [sydtest-mutation-example-mutation-report] -tripleConcat a b c = concat [a, b, c]
  728. 31.31 s [sydtest-mutation-example-mutation-report] Testing mutation Arith at src/Example/Lib.hs:8:12-17 #2
  729. 31.31 s [sydtest-mutation-example-mutation-report] @@ -5,4 +5,4 @@
  730. 31.31 s [sydtest-mutation-example-mutation-report] -- The literal '1' here is a mutation site: the plugin will also compile a
  731. 31.31 s [sydtest-mutation-example-mutation-report] -- version where this returns @n + 0@ instead of @n + 1@.
  732. 31.31 s [sydtest-mutation-example-mutation-report] addOne :: Int -> Int
  733. 31.31 s [sydtest-mutation-example-mutation-report] -addOne n = n + 1
  734. 31.31 s [sydtest-mutation-example-mutation-report] +addOne n = n * 1
  735. 31.31 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:11:20-25 #2
  736. 31.31 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  737. 31.31 s [sydtest-mutation-example-mutation-report] --
  738. 31.31 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  739. 31.31 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  740. 31.31 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  741. 31.31 s [sydtest-mutation-example-mutation-report] +bothPositive a b = a <= 0 && b > 0
  742. 31.31 s [sydtest-mutation-example-mutation-report]
  743. 31.31 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  744. 31.31 s [sydtest-mutation-example-mutation-report] --
  745. 31.31 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-36 #2
  746. 31.31 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  747. 31.31 s [sydtest-mutation-example-mutation-report] --
  748. 31.31 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  749. 31.31 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  750. 31.32 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  751. 31.32 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = False
  752. 31.32 s [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/Lib.hs:8:16-17 #2
  753. 31.32 s [sydtest-mutation-example-mutation-report] @@ -5,4 +5,4 @@
  754. 31.32 s [sydtest-mutation-example-mutation-report] -- The literal '1' here is a mutation site: the plugin will also compile a
  755. 31.32 s [sydtest-mutation-example-mutation-report] -- version where this returns @n + 0@ instead of @n + 1@.
  756. 31.32 s [sydtest-mutation-example-mutation-report] addOne :: Int -> Int
  757. 31.32 s [sydtest-mutation-example-mutation-report] -addOne n = n + 1
  758. 31.32 s [sydtest-mutation-example-mutation-report] +addOne n = n + -1
  759. 31.32 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-34 #2
  760. 31.32 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  761. 31.32 s [sydtest-mutation-example-mutation-report] --
  762. 31.32 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  763. 31.32 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  764. 31.32 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  765. 31.32 s [sydtest-mutation-example-mutation-report] +bothPositive a b = False
  766. 31.32 s [sydtest-mutation-example-mutation-report]
  767. 31.32 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  768. 31.32 s [sydtest-mutation-example-mutation-report] --
  769. 31.32 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:17:22-27 #2
  770. 31.32 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  771. 31.32 s [sydtest-mutation-example-mutation-report] --
  772. 31.32 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  773. 31.32 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  774. 31.32 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  775. 31.32 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = a <= 0 || b > 0
  776. 31.32 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-27 #2
  777. 31.32 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  778. 31.32 s [sydtest-mutation-example-mutation-report] --
  779. 31.32 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  780. 31.32 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  781. 31.32 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  782. 31.32 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = False || b > 0
  783. 31.32 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:11:29-34 #2
  784. 31.32 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  785. 31.32 s [sydtest-mutation-example-mutation-report] --
  786. 31.32 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  787. 31.32 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  788. 31.32 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  789. 31.32 s [sydtest-mutation-example-mutation-report] +bothPositive a b = a > 0 && False
  790. 31.32 s [sydtest-mutation-example-mutation-report]
  791. 31.32 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  792. 31.32 s [sydtest-mutation-example-mutation-report] --
  793. 31.32 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:17:31-36 #2
  794. 31.32 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  795. 31.32 s [sydtest-mutation-example-mutation-report] --
  796. 31.32 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  797. 31.32 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  798. 31.32 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  799. 31.32 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = a > 0 || False
  800. 31.32 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:17:31-36 #2
  801. 31.32 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  802. 31.32 s [sydtest-mutation-example-mutation-report] --
  803. 31.32 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  804. 31.32 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  805. 31.32 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  806. 31.32 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = a > 0 || b <= 0
  807. 31.32 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-25 #2
  808. 31.32 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  809. 31.32 s [sydtest-mutation-example-mutation-report] --
  810. 31.32 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  811. 31.32 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  812. 31.32 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  813. 31.32 s [sydtest-mutation-example-mutation-report] +bothPositive a b = False && b > 0
  814. 31.32 s [sydtest-mutation-example-mutation-report]
  815. 31.32 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  816. 31.32 s [sydtest-mutation-example-mutation-report] --
  817. 31.36 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:11:29-34 #2
  818. 31.36 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  819. 31.36 s [sydtest-mutation-example-mutation-report] --
  820. 31.36 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  821. 31.36 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  822. 31.36 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  823. 31.36 s [sydtest-mutation-example-mutation-report] +bothPositive a b = a > 0 && b <= 0
  824. 31.36 s [sydtest-mutation-example-mutation-report]
  825. 31.36 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  826. 31.36 s [sydtest-mutation-example-mutation-report] --
  827. 31.36 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:36:19-20 #2
  828. 31.36 s [sydtest-mutation-example-mutation-report] @@ -33,7 +33,7 @@
  829. 31.36 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  830. 31.36 s [sydtest-mutation-example-mutation-report] withInnerKept :: Bool -> Bool
  831. 31.36 s [sydtest-mutation-example-mutation-report] withInnerKept b =
  832. 31.36 s [sydtest-mutation-example-mutation-report] - let inner = not b
  833. 31.36 s [sydtest-mutation-example-mutation-report] + let inner = not False
  834. 31.36 s [sydtest-mutation-example-mutation-report] in inner
  835. 31.36 s [sydtest-mutation-example-mutation-report]
  836. 31.36 s [sydtest-mutation-example-mutation-report] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  837. 31.36 s [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/FunctionExceptionLib.hs:15:29-30 #2
  838. 31.36 s [sydtest-mutation-example-mutation-report] @@ -12,7 +12,7 @@
  839. 31.36 s [sydtest-mutation-example-mutation-report] -- IntLit mutations (replacing the literal @1@) still apply.
  840. 31.36 s [sydtest-mutation-example-mutation-report] {-# ANN addOneArithDisabled ("DisableMutation: Arith" :: String) #-}
  841. 31.36 s [sydtest-mutation-example-mutation-report] addOneArithDisabled :: Int -> Int
  842. 31.36 s [sydtest-mutation-example-mutation-report] -addOneArithDisabled n = n + 1
  843. 31.36 s [sydtest-mutation-example-mutation-report] +addOneArithDisabled n = n + -1
  844. 31.37 s [sydtest-mutation-example-mutation-report]
  845. 31.37 s [sydtest-mutation-example-mutation-report] -- | Both Arith and IntLit mutations disabled on this function.
  846. 31.37 s [sydtest-mutation-example-mutation-report] {-# ANN addOneArithAndIntLitDisabled ("DisableMutations: Arith, IntLit" :: String) #-}
  847. 31.37 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/DoLib.hs:14:10-14 #2
  848. 31.37 s [sydtest-mutation-example-mutation-report] @@ -11,5 +11,5 @@
  849. 31.37 s [sydtest-mutation-example-mutation-report] go :: Writer String ()
  850. 31.37 s [sydtest-mutation-example-mutation-report] go = do
  851. 31.37 s [sydtest-mutation-example-mutation-report] tell "Hello"
  852. 31.37 s [sydtest-mutation-example-mutation-report] - if loud then tell "!" else pure ()
  853. 31.37 s [sydtest-mutation-example-mutation-report] + if False then tell "!" else pure ()
  854. 31.37 s [sydtest-mutation-example-mutation-report] tell "\n"
  855. 31.37 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:37:7-12 #2
  856. 31.37 s [sydtest-mutation-example-mutation-report] @@ -34,7 +34,7 @@
  857. 31.37 s [sydtest-mutation-example-mutation-report] withInnerKept :: Bool -> Bool
  858. 31.37 s [sydtest-mutation-example-mutation-report] withInnerKept b =
  859. 31.37 s [sydtest-mutation-example-mutation-report] let inner = not b
  860. 31.37 s [sydtest-mutation-example-mutation-report] - in inner
  861. 31.37 s [sydtest-mutation-example-mutation-report] + in False
  862. 31.37 s [sydtest-mutation-example-mutation-report]
  863. 31.37 s [sydtest-mutation-example-mutation-report] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  864. 31.37 s [sydtest-mutation-example-mutation-report] -- by a @do@-block @<-@ statement instead of a @let@. The annotation
  865. 31.37 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:36:3-12 #2
  866. 31.37 s [sydtest-mutation-example-mutation-report] @@ -33,8 +33,8 @@
  867. 31.37 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  868. 31.37 s [sydtest-mutation-example-mutation-report] withInnerKept :: Bool -> Bool
  869. 31.37 s [sydtest-mutation-example-mutation-report] withInnerKept b =
  870. 31.37 s [sydtest-mutation-example-mutation-report] - let inner = not b
  871. 31.37 s [sydtest-mutation-example-mutation-report] + False = not b
  872. 31.37 s [sydtest-mutation-example-mutation-report] in inner
  873. 31.37 s [sydtest-mutation-example-mutation-report]
  874. 31.37 s [sydtest-mutation-example-mutation-report] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  875. 31.37 s [sydtest-mutation-example-mutation-report] -- by a @do@-block @<-@ statement instead of a @let@. The annotation
  876. 31.37 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:36:15-20 #2
  877. 31.37 s [sydtest-mutation-example-mutation-report] @@ -33,7 +33,7 @@
  878. 31.37 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  879. 31.37 s [sydtest-mutation-example-mutation-report] withInnerKept :: Bool -> Bool
  880. 31.37 s [sydtest-mutation-example-mutation-report] withInnerKept b =
  881. 31.37 s [sydtest-mutation-example-mutation-report] - let inner = not b
  882. 31.37 s [sydtest-mutation-example-mutation-report] + let inner = False
  883. 31.37 s [sydtest-mutation-example-mutation-report] in inner
  884. 31.37 s [sydtest-mutation-example-mutation-report]
  885. 31.37 s [sydtest-mutation-example-mutation-report] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  886. 31.37 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:59:8-13 #2
  887. 31.37 s [sydtest-mutation-example-mutation-report] @@ -56,4 +56,4 @@
  888. 31.37 s [sydtest-mutation-example-mutation-report] withBindKept :: (Bool -> IO Bool) -> Bool -> IO Bool
  889. 31.37 s [sydtest-mutation-example-mutation-report] withBindKept toggle b = do
  890. 31.37 s [sydtest-mutation-example-mutation-report] inner <- toggle b
  891. 31.37 s [sydtest-mutation-example-mutation-report] - pure inner
  892. 31.37 s [sydtest-mutation-example-mutation-report] + pure False
  893. 31.37 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10 #2
  894. 31.37 s [sydtest-mutation-example-mutation-report] @@ -9,6 +9,6 @@
  895. 31.37 s [sydtest-mutation-example-mutation-report] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  896. 31.37 s [sydtest-mutation-example-mutation-report] classify :: Int -> String
  897. 31.37 s [sydtest-mutation-example-mutation-report] classify n
  898. 31.37 s [sydtest-mutation-example-mutation-report] - | n < 0 = "negative"
  899. 31.37 s [sydtest-mutation-example-mutation-report] + | n > 0 = "negative"
  900. 31.37 s [sydtest-mutation-example-mutation-report] | n == 0 = "zero"
  901. 31.37 s [sydtest-mutation-example-mutation-report] | otherwise = "positive"
  902. 31.37 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:52:8-13 #2
  903. 31.37 s [sydtest-mutation-example-mutation-report] @@ -49,7 +49,7 @@
  904. 31.37 s [sydtest-mutation-example-mutation-report] withBindDisabled :: (Bool -> IO Bool) -> Bool -> IO Bool
  905. 31.37 s [sydtest-mutation-example-mutation-report] withBindDisabled toggle b = do
  906. 31.37 s [sydtest-mutation-example-mutation-report] inner <- toggle b
  907. 31.37 s [sydtest-mutation-example-mutation-report] - pure inner
  908. 31.37 s [sydtest-mutation-example-mutation-report] + pure False
  909. 31.37 s [sydtest-mutation-example-mutation-report]
  910. 31.37 s [sydtest-mutation-example-mutation-report] -- | Control for 'withBindDisabled': no disable annotation, so the RHS
  911. 31.37 s [sydtest-mutation-example-mutation-report] -- @toggle b@ is fully instrumented.
  912. 31.38 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:58:19-20 #2
  913. 31.38 s [sydtest-mutation-example-mutation-report] @@ -55,5 +55,5 @@
  914. 31.38 s [sydtest-mutation-example-mutation-report] -- @toggle b@ is fully instrumented.
  915. 31.38 s [sydtest-mutation-example-mutation-report] withBindKept :: (Bool -> IO Bool) -> Bool -> IO Bool
  916. 31.38 s [sydtest-mutation-example-mutation-report] withBindKept toggle b = do
  917. 31.38 s [sydtest-mutation-example-mutation-report] - inner <- toggle b
  918. 31.38 s [sydtest-mutation-example-mutation-report] + inner <- toggle False
  919. 31.38 s [sydtest-mutation-example-mutation-report] pure inner
  920. 31.38 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:11:20-25 #3
  921. 31.38 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  922. 31.38 s [sydtest-mutation-example-mutation-report] --
  923. 31.38 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  924. 31.38 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  925. 31.38 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  926. 31.38 s [sydtest-mutation-example-mutation-report] +bothPositive a b = a >= 0 && b > 0
  927. 31.38 s [sydtest-mutation-example-mutation-report]
  928. 31.38 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  929. 31.38 s [sydtest-mutation-example-mutation-report] --
  930. 31.38 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:21:7-12 #2
  931. 31.38 s [sydtest-mutation-example-mutation-report] @@ -18,7 +18,7 @@
  932. 31.38 s [sydtest-mutation-example-mutation-report] withInnerDisabled :: Bool -> Bool
  933. 31.38 s [sydtest-mutation-example-mutation-report] withInnerDisabled b =
  934. 31.38 s [sydtest-mutation-example-mutation-report] let inner = not b
  935. 31.38 s [sydtest-mutation-example-mutation-report] - in inner
  936. 31.38 s [sydtest-mutation-example-mutation-report] + in False
  937. 31.38 s [sydtest-mutation-example-mutation-report]
  938. 31.38 s [sydtest-mutation-example-mutation-report] -- | Like 'withInnerDisabled', but only @ConstBool@ is disabled inside
  939. 31.38 s [sydtest-mutation-example-mutation-report] -- @inner@'s RHS. Other operators on @inner@'s RHS (notably the @Negate@
  940. 31.38 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:29:3-12 #2
  941. 31.38 s [sydtest-mutation-example-mutation-report] @@ -26,8 +26,8 @@
  942. 31.38 s [sydtest-mutation-example-mutation-report] {-# ANN withInnerBoolLitDisabled ("DisableMutationsFor inner: ConstBool" :: String) #-}
  943. 31.38 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled :: Bool -> Bool
  944. 31.38 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled b =
  945. 31.38 s [sydtest-mutation-example-mutation-report] - let inner = not b
  946. 31.38 s [sydtest-mutation-example-mutation-report] + False = not b
  947. 31.38 s [sydtest-mutation-example-mutation-report] in inner
  948. 31.38 s [sydtest-mutation-example-mutation-report]
  949. 31.38 s [sydtest-mutation-example-mutation-report] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  950. 31.38 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  951. 31.38 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:30:7-12 #2
  952. 31.38 s [sydtest-mutation-example-mutation-report] @@ -27,7 +27,7 @@
  953. 31.38 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled :: Bool -> Bool
  954. 31.38 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled b =
  955. 31.38 s [sydtest-mutation-example-mutation-report] let inner = not b
  956. 31.38 s [sydtest-mutation-example-mutation-report] - in inner
  957. 31.38 s [sydtest-mutation-example-mutation-report] + in False
  958. 31.38 s [sydtest-mutation-example-mutation-report]
  959. 31.38 s [sydtest-mutation-example-mutation-report] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  960. 31.38 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  961. 31.38 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:17:22-27 #3
  962. 31.38 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  963. 31.38 s [sydtest-mutation-example-mutation-report] --
  964. 31.38 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  965. 31.38 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  966. 31.38 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  967. 31.38 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = a >= 0 || b > 0
  968. 31.38 s [sydtest-mutation-example-mutation-report] Testing mutation ListLit at src/Example/ListLib.hs:19:29-38 #2
  969. 31.38 s [sydtest-mutation-example-mutation-report] @@ -16,4 +16,3 @@
  970. 31.38 s [sydtest-mutation-example-mutation-report] -- Mutation sites: ListLit produces an empty-list mutant, a drop-first mutant,
  971. 31.38 s [sydtest-mutation-example-mutation-report] -- and a drop-last mutant on the literal @[a, b, c]@.
  972. 31.38 s [sydtest-mutation-example-mutation-report] tripleConcat :: String -> String -> String -> String
  973. 31.38 s [sydtest-mutation-example-mutation-report] -tripleConcat a b c = concat [a, b, c]
  974. 31.38 s [sydtest-mutation-example-mutation-report] Testing mutation RemoveCase at src/Example/CaseLib.hs:7:19-16 #2
  975. 31.38 s [sydtest-mutation-example-mutation-report] @@ -4,7 +4,6 @@
  976. 31.38 s [sydtest-mutation-example-mutation-report] --
  977. 31.38 s [sydtest-mutation-example-mutation-report] -- Mutation sites: RemoveCase removes one of the three alternatives.
  978. 31.38 s [sydtest-mutation-example-mutation-report] describeList :: [a] -> String
  979. 31.38 s [sydtest-mutation-example-mutation-report] describeList xs = case xs of
  980. 31.38 s [sydtest-mutation-example-mutation-report] [] -> "empty"
  981. 31.38 s [sydtest-mutation-example-mutation-report] - [_] -> "singleton"
  982. 31.38 s [sydtest-mutation-example-mutation-report] _ -> "longer"
  983. 31.38 s [sydtest-mutation-example-mutation-report] Testing mutation ListLit at src/Example/ListLib.hs:12:25-31 #2
  984. 31.38 s [sydtest-mutation-example-mutation-report] @@ -9,7 +9,6 @@
  985. 31.38 s [sydtest-mutation-example-mutation-report] -- Mutation sites: ListLit produces an empty-list mutant and a drop-first
  986. 31.38 s [sydtest-mutation-example-mutation-report] -- mutant on the literal @[a, b]@.
  987. 31.38 s [sydtest-mutation-example-mutation-report] pairConcat :: String -> String -> String
  988. 31.38 s [sydtest-mutation-example-mutation-report] -pairConcat a b = concat [a, b]
  989. 31.39 s [sydtest-mutation-example-mutation-report]
  990. 31.39 s [sydtest-mutation-example-mutation-report] -- | Concatenate a three-element list of strings.
  991. 31.39 s [sydtest-mutation-example-mutation-report] --
  992. 31.44 s [sydtest-mutation-example-mutation-report] Killed: 103
  993. 31.44 s [sydtest-mutation-example-mutation-report] (of which timed out: 0)
  994. 31.44 s [sydtest-mutation-example-mutation-report] Survived: 0
  995. 31.44 s [sydtest-mutation-example-mutation-report] Uncovered: 0
  996. 31.44 s [sydtest-mutation-example-mutation-report] Skipped: 0
  997. 31.44 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:20:3-12 #2
  998. 31.44 s [sydtest-mutation-example-mutation-report] @@ -17,8 +17,8 @@
  999. 31.44 s [sydtest-mutation-example-mutation-report] {-# ANN withInnerDisabled ("DisableMutationsFor inner" :: String) #-}
  1000. 31.44 s [sydtest-mutation-example-mutation-report] withInnerDisabled :: Bool -> Bool
  1001. 31.44 s [sydtest-mutation-example-mutation-report] withInnerDisabled b =
  1002. 31.44 s [sydtest-mutation-example-mutation-report] - let inner = not b
  1003. 31.44 s [sydtest-mutation-example-mutation-report] + False = not b
  1004. 31.44 s [sydtest-mutation-example-mutation-report] in inner
  1005. 31.44 s [sydtest-mutation-example-mutation-report]
  1006. 31.44 s [sydtest-mutation-example-mutation-report] -- | Like 'withInnerDisabled', but only @ConstBool@ is disabled inside
  1007. 31.44 s [sydtest-mutation-example-mutation-report] -- @inner@'s RHS. Other operators on @inner@'s RHS (notably the @Negate@
  1008. 31.44 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:11:29-34 #3
  1009. 31.44 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  1010. 31.44 s [sydtest-mutation-example-mutation-report] --
  1011. 31.44 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  1012. 31.44 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  1013. 31.44 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  1014. 31.44 s [sydtest-mutation-example-mutation-report] +bothPositive a b = a > 0 && b >= 0
  1015. 31.44 s [sydtest-mutation-example-mutation-report]
  1016. 31.44 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  1017. 31.44 s [sydtest-mutation-example-mutation-report] --
  1018. 31.44 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:17:31-36 #3
  1019. 31.44 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  1020. 31.44 s [sydtest-mutation-example-mutation-report] --
  1021. 31.44 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  1022. 31.44 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  1023. 31.44 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  1024. 31.44 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = a > 0 || b >= 0
  1025. 31.44 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10 #3
  1026. 31.44 s [sydtest-mutation-example-mutation-report] @@ -9,6 +9,6 @@
  1027. 31.44 s [sydtest-mutation-example-mutation-report] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  1028. 31.44 s [sydtest-mutation-example-mutation-report] classify :: Int -> String
  1029. 31.44 s [sydtest-mutation-example-mutation-report] classify n
  1030. 31.44 s [sydtest-mutation-example-mutation-report] - | n < 0 = "negative"
  1031. 31.44 s [sydtest-mutation-example-mutation-report] + | n >= 0 = "negative"
  1032. 31.44 s [sydtest-mutation-example-mutation-report] | n == 0 = "zero"
  1033. 31.44 s [sydtest-mutation-example-mutation-report] | otherwise = "positive"
  1034. 31.44 s [sydtest-mutation-example-mutation-report] Testing mutation ListLit at src/Example/ListLib.hs:19:29-38 #3
  1035. 31.44 s [sydtest-mutation-example-mutation-report] @@ -16,4 +16,3 @@
  1036. 31.44 s [sydtest-mutation-example-mutation-report] -- Mutation sites: ListLit produces an empty-list mutant, a drop-first mutant,
  1037. 31.44 s [sydtest-mutation-example-mutation-report] -- and a drop-last mutant on the literal @[a, b, c]@.
  1038. 31.44 s [sydtest-mutation-example-mutation-report] tripleConcat :: String -> String -> String -> String
  1039. 31.44 s [sydtest-mutation-example-mutation-report] -tripleConcat a b c = concat [a, b, c]
  1040. 31.44 s [sydtest-mutation-example-mutation-report] Testing mutation RemoveCase at src/Example/CaseLib.hs:7:19-16 #3
  1041. 31.44 s [sydtest-mutation-example-mutation-report] @@ -4,7 +4,6 @@
  1042. 31.44 s [sydtest-mutation-example-mutation-report] --
  1043. 31.44 s [sydtest-mutation-example-mutation-report] -- Mutation sites: RemoveCase removes one of the three alternatives.
  1044. 31.44 s [sydtest-mutation-example-mutation-report] describeList :: [a] -> String
  1045. 31.44 s [sydtest-mutation-example-mutation-report] describeList xs = case xs of
  1046. 31.44 s [sydtest-mutation-example-mutation-report] [] -> "empty"
  1047. 31.44 s [sydtest-mutation-example-mutation-report] [_] -> "singleton"
  1048. 31.44 s [sydtest-mutation-example-mutation-report] - _ -> "longer"
  1049. 31.45 s [sydtest-mutation-example-mutation-report] Phase: fixupPhase
  1050. 31.46 s [sydtest-mutation-example-mutation-report] shrinking RPATHs of ELF executables and libraries in /nix/store/dh8x97q1q14k8fshqpwg0jhj5717j0v2-sydtest-mutation-example-mutation-report
  1051. 31.46 s [sydtest-mutation-example-mutation-report] checking for references to /build/ in /nix/store/dh8x97q1q14k8fshqpwg0jhj5717j0v2-sydtest-mutation-example-mutation-report...
  1052. 31.47 s [sydtest-mutation-example-mutation-report] patching script interpreter paths in /nix/store/dh8x97q1q14k8fshqpwg0jhj5717j0v2-sydtest-mutation-example-mutation-report
  1053. 31.50 s Progress: 1 of 3 built
  1054. 31.54 s Building sydtest-mutation-example
  1055. 31.60 s [sydtest-mutation-example] PASS: All 103 mutation(s) accounted for.
  1056. 31.60 s [sydtest-mutation-example]
  1057. 31.60 s [sydtest-mutation-example] Killed: 103
  1058. 31.60 s [sydtest-mutation-example] (of which timed out: 0)
  1059. 31.60 s [sydtest-mutation-example] Survived: 0
  1060. 31.60 s [sydtest-mutation-example] Uncovered: 0
  1061. 31.60 s [sydtest-mutation-example] Skipped: 0
  1062. 31.60 s [sydtest-mutation-example]
  1063. 31.60 s [sydtest-mutation-example] Full report: /nix/store/dh8x97q1q14k8fshqpwg0jhj5717j0v2-sydtest-mutation-example-mutation-report/report.txt
  1064. 31.60 s [sydtest-mutation-example] Machine-readable report: /nix/store/dh8x97q1q14k8fshqpwg0jhj5717j0v2-sydtest-mutation-example-mutation-report/report.json
  1065. 31.61 s Progress: 2 of 3 built
More Logs Raw Logs

Agent Instructions

Wait for completion, without logs:

curl --netrc -N https://staging.nix-ci.com/gh:NorfairKing:sydtest/mutation-diff-mode/c0879983f293f04ae334594d307cafdcbec3d1d6/087c9d2e-7d94-4bed-97d7-e6414defd852/wait

Latest logs, with timestamps (streams while running):

curl --netrc -N https://staging.nix-ci.com/gh:NorfairKing:sydtest/mutation-diff-mode/c0879983f293f04ae334594d307cafdcbec3d1d6/087c9d2e-7d94-4bed-97d7-e6414defd852/tail

All logs, with timestamps (available after completion):

curl --netrc https://staging.nix-ci.com/gh:NorfairKing:sydtest/mutation-diff-mode/c0879983f293f04ae334594d307cafdcbec3d1d6/087c9d2e-7d94-4bed-97d7-e6414defd852/logs

Raw logs, from the start (no timestamps):

curl --netrc -N https://staging.nix-ci.com/gh:NorfairKing:sydtest/mutation-diff-mode/c0879983f293f04ae334594d307cafdcbec3d1d6/087c9d2e-7d94-4bed-97d7-e6414defd852/raw-logs

Content types available for /logs and /tail (use Accept header):

Example:

curl --netrc -H "Accept: text/csv" https://staging.nix-ci.com/gh:NorfairKing:sydtest/mutation-diff-mode/c0879983f293f04ae334594d307cafdcbec3d1d6/087c9d2e-7d94-4bed-97d7-e6414defd852/logs

Reproduce locally: https://staging.nix-ci.com/gh:NorfairKing:sydtest/mutation-diff-mode/c0879983f293f04ae334594d307cafdcbec3d1d6/087c9d2e-7d94-4bed-97d7-e6414defd852/repro

For more instructions, fetch https://staging.nix-ci.com/instructions .