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

Latest logs, with timestamps (streams while running):

curl --netrc -N https://staging.nix-ci.com/gh:NorfairKing:sydtest/refs%2Fpull%2F126%2Fmerge/cb25735b0fde02af480a8871f21117fe25df495c/0dfef004-fb5b-440d-bdba-d51e2b182f8e/tail

All logs, with timestamps (available after completion):

curl --netrc https://staging.nix-ci.com/gh:NorfairKing:sydtest/refs%2Fpull%2F126%2Fmerge/cb25735b0fde02af480a8871f21117fe25df495c/0dfef004-fb5b-440d-bdba-d51e2b182f8e/logs

Raw logs, from the start (no timestamps):

curl --netrc -N https://staging.nix-ci.com/gh:NorfairKing:sydtest/refs%2Fpull%2F126%2Fmerge/cb25735b0fde02af480a8871f21117fe25df495c/0dfef004-fb5b-440d-bdba-d51e2b182f8e/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/refs%2Fpull%2F126%2Fmerge/cb25735b0fde02af480a8871f21117fe25df495c/0dfef004-fb5b-440d-bdba-d51e2b182f8e/logs

Reproduce locally: https://staging.nix-ci.com/gh:NorfairKing:sydtest/refs%2Fpull%2F126%2Fmerge/cb25735b0fde02af480a8871f21117fe25df495c/0dfef004-fb5b-440d-bdba-d51e2b182f8e/repro

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