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

Reproduce this run
  1. 0.02 s $ /nix/store/vzx1mi9c0xfadmsm9dhd83d005cb1qs9-coreutils-9.8/bin/timeout --kill-after=15s 7200s /nix/store/99b1z08awpxj8b6mzggn59gp1shljnff-nix-2.34.5/bin/nix --extra-experimental-features nix-command --extra-experimental-features flakes --log-format internal-json build --no-link git+https://github.com/NorfairKing/sydtest?ref=mutation-testing&rev=0b5982b9edf89fa95984e20b7b92aba6d187ac43#checks.x86_64-linux.mutation-sydtest-mutation-example --print-build-logs
  2. 0.20 s warning: ignoring untrusted flake configuration setting 'extra-substituters'.
  3. 0.20 s Pass '--accept-flake-config' to trust it
  4. 0.20 s warning: ignoring untrusted flake configuration setting 'extra-trusted-public-keys'.
  5. 0.20 s Pass '--accept-flake-config' to trust it
  6. 0.25 s
  7. 1.62 s Downloading cached jq-1.8.1-dev from https://cache.staging.nix-ci.com
  8. 1.63 s Downloading cached sydtest-mutation-example-gen-source from https://cache.staging.nix-ci.com
  9. 1.63 s Downloading cached sydtest-mutation-example from https://cache.staging.nix-ci.com
  10. 1.64 s Downloading cached sydtest-mutation-example-source from https://cache.staging.nix-ci.com
  11. 1.65 s Progress: 0 of 7 built, 1 of 4 downloaded from cache (3 downloading)
  12. 1.69 s Progress: 0 of 6 built, 2 of 4 downloaded from cache (2 downloading)
  13. 1.69 s Progress: 0 of 6 built, 3 of 4 downloaded from cache (1 downloading)
  14. 1.97 s Building sydtest-mutation-example
  15. 1.97 s Progress: 0 of 4 built (1 building), 4 of 4 downloaded from cache
  16. 2.38 s [sydtest-mutation-example] Phase: setupCompilerEnvironmentPhase
  17. 2.39 s [sydtest-mutation-example] Build with /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3.
  18. 3.17 s [sydtest-mutation-example] Phase: unpackPhase
  19. 3.18 s [sydtest-mutation-example] unpacking source archive /nix/store/w0dcs7g60rfayacjdpm31fnkl8qgd4sx-sydtest-mutation-example-source-0.0.0.0/sydtest-mutation-example-0.0.0.0.tar.gz
  20. 3.20 s [sydtest-mutation-example] source root is sydtest-mutation-example-0.0.0.0
  21. 3.21 s [sydtest-mutation-example] setting SOURCE_DATE_EPOCH to timestamp 1778929730 of file "sydtest-mutation-example-0.0.0.0/sydtest-mutation-example.cabal"
  22. 3.23 s [sydtest-mutation-example] Phase: patchPhase
  23. 3.25 s [sydtest-mutation-example] Phase: compileBuildDriverPhase
  24. 3.26 s [sydtest-mutation-example] setupCompileFlags: -package-db=/build/tmp.W5rOHWg3Do/setup-package.conf.d -threaded
  25. 3.41 s [sydtest-mutation-example] [1 of 2] Compiling Main ( Setup.hs, /build/tmp.W5rOHWg3Do/Main.o )
  26. 3.58 s [sydtest-mutation-example] [2 of 2] Linking Setup
  27. 6.76 s [sydtest-mutation-example] Phase: updateAutotoolsGnuConfigScriptsPhase
  28. 6.78 s [sydtest-mutation-example] Phase: configurePhase
  29. 6.81 s [sydtest-mutation-example] configureFlags: --verbose --prefix=/nix/store/j2wz6c5v381v6wmxs3crpix2h3z3nrfr-sydtest-mutation-example-0.0.0.0 --libdir=$prefix/lib/$compiler/lib --libsubdir=$abi/$libname --with-gcc=gcc --package-db=/build/tmp.W5rOHWg3Do/package.conf.d --ghc-option=-j16 --ghc-option=+RTS --ghc-option=-A64M --ghc-option=-RTS --enable-library-profiling --profiling-detail=exported-functions --disable-profiling --enable-shared --disable-coverage --disable-static --disable-executable-dynamic --enable-tests --enable-benchmarks --enable-library-vanilla --disable-library-for-ghci --enable-split-sections --enable-library-stripping --enable-executable-stripping --ghc-options=-O2 --ghc-options=-Wall --ghc-options=-Wincomplete-uni-patterns --ghc-options=-Wincomplete-record-updates --ghc-options=-Wpartial-fields --ghc-options=-Widentities --ghc-options=-Wredundant-constraints --ghc-options=-Wcpp-undef --ghc-options=-Wunused-packages --ghc-options=-Werror --ghc-options=-Wno-deprecations --ghc-options=-fplugin-opt=Test.Syd.Mutation.Plugin:--config=/nix/store/xkv0xnasdncgymam7m6c5q20j2j727p4-mutation-config.yaml --disable-optimization --ghc-option=-j1 --ghc-option=+RTS --ghc-option=-A32M --ghc-option=-M16g --ghc-option=-RTS --extra-lib-dirs=/nix/store/ffyzkisqs4vc4mg28bwwlyqjf8i9ph6b-ncurses-6.5/lib --extra-lib-dirs=/nix/store/n28qgdj8c1q41kf7n4y1jxa6ckp85m3c-libffi-3.5.2/lib --extra-lib-dirs=/nix/store/1b6h99dw7bk4wbn77kbalih42zbc67m1-elfutils-0.194/lib --extra-lib-dirs=/nix/store/hi0ar880110k6jsmmili7dh1gq3cg2a9-gmp-with-cxx-6.3.0/lib --extra-lib-dirs=/nix/store/g09cflpnp4g80q56sj9dng1qzv4v4ybc-numactl-2.0.18/lib --extra-lib-dirs=/nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/lib
  30. 6.81 s [sydtest-mutation-example] Using Parsec parser
  31. 6.81 s [sydtest-mutation-example] Configuring sydtest-mutation-example-0.0.0.0...
  32. 8.68 s [sydtest-mutation-example] Dependency base >=4.7 && <5: using base-4.20.2.0
  33. 8.68 s [sydtest-mutation-example] Dependency mtl >=2 && <3: using mtl-2.3.1
  34. 8.68 s [sydtest-mutation-example] Source component graph: component lib
  35. 8.68 s [sydtest-mutation-example] Configured component graph:
  36. 8.68 s [sydtest-mutation-example] component sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
  37. 8.68 s [sydtest-mutation-example] include base-4.20.2.0-64da
  38. 8.68 s [sydtest-mutation-example] include mtl-2.3.1-b4af
  39. 8.68 s [sydtest-mutation-example] Linked component graph:
  40. 8.68 s [sydtest-mutation-example] unit sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
  41. 8.68 s [sydtest-mutation-example] include base-4.20.2.0-64da
  42. 8.68 s [sydtest-mutation-example] include mtl-2.3.1-b4af
  43. 8.68 s [sydtest-mutation-example] Example.BoolLib=sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu:Example.BoolLib,Example.CaseLib=sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu:Example.CaseLib,Example.DoLib=sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu:Example.DoLib,Example.ExceptionLib=sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu:Example.ExceptionLib,Example.FunctionExceptionLib=sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu:Example.FunctionExceptionLib,Example.Lib=sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu:Example.Lib,Example.ListLib=sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu:Example.ListLib,Example.LocalDisableLib=sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu:Example.LocalDisableLib,Example.LogicLib=sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu:Example.LogicLib,Example.OtherwiseLib=sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu:Example.OtherwiseLib,Example.UntestedLib=sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu:Example.UntestedLib
  44. 8.68 s [sydtest-mutation-example] Ready component graph:
  45. 8.68 s [sydtest-mutation-example] definite sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
  46. 8.68 s [sydtest-mutation-example] depends base-4.20.2.0-64da
  47. 8.68 s [sydtest-mutation-example] depends mtl-2.3.1-b4af
  48. 8.68 s [sydtest-mutation-example] Using Cabal-3.12.1.0 compiled by ghc-9.10
  49. 8.68 s [sydtest-mutation-example] Using compiler: ghc-9.10.3
  50. 8.68 s [sydtest-mutation-example] Using install prefix:
  51. 8.68 s [sydtest-mutation-example] /nix/store/j2wz6c5v381v6wmxs3crpix2h3z3nrfr-sydtest-mutation-example-0.0.0.0
  52. 8.68 s [sydtest-mutation-example] Executables installed in:
  53. 8.68 s [sydtest-mutation-example] /nix/store/j2wz6c5v381v6wmxs3crpix2h3z3nrfr-sydtest-mutation-example-0.0.0.0/bin
  54. 8.68 s [sydtest-mutation-example] Libraries installed in:
  55. 8.68 s [sydtest-mutation-example] /nix/store/j2wz6c5v381v6wmxs3crpix2h3z3nrfr-sydtest-mutation-example-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6/sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
  56. 8.68 s [sydtest-mutation-example] Dynamic Libraries installed in:
  57. 8.68 s [sydtest-mutation-example] /nix/store/j2wz6c5v381v6wmxs3crpix2h3z3nrfr-sydtest-mutation-example-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6
  58. 8.68 s [sydtest-mutation-example] Private executables installed in:
  59. 8.68 s [sydtest-mutation-example] /nix/store/j2wz6c5v381v6wmxs3crpix2h3z3nrfr-sydtest-mutation-example-0.0.0.0/libexec/x86_64-linux-ghc-9.10.3-05f6/sydtest-mutation-example-0.0.0.0
  60. 8.68 s [sydtest-mutation-example] Data files installed in:
  61. 8.68 s [sydtest-mutation-example] /nix/store/j2wz6c5v381v6wmxs3crpix2h3z3nrfr-sydtest-mutation-example-0.0.0.0/share/x86_64-linux-ghc-9.10.3-05f6/sydtest-mutation-example-0.0.0.0
  62. 8.69 s [sydtest-mutation-example] Documentation installed in:
  63. 8.69 s [sydtest-mutation-example] /nix/store/j2wz6c5v381v6wmxs3crpix2h3z3nrfr-sydtest-mutation-example-0.0.0.0/share/doc/x86_64-linux-ghc-9.10.3-05f6/sydtest-mutation-example-0.0.0.0
  64. 8.69 s [sydtest-mutation-example] Configuration files installed in:
  65. 8.69 s [sydtest-mutation-example] /nix/store/j2wz6c5v381v6wmxs3crpix2h3z3nrfr-sydtest-mutation-example-0.0.0.0/etc
  66. 8.69 s [sydtest-mutation-example] No alex found
  67. 8.69 s [sydtest-mutation-example] Using ar found on system at:
  68. 8.69 s [sydtest-mutation-example] /nix/store/iz5lckcsg66r223si2gck7csk2hihj0m-binutils-wrapper-2.44/bin/ar
  69. 8.69 s [sydtest-mutation-example] No c2hs found
  70. 8.69 s [sydtest-mutation-example] No cpphs found
  71. 8.69 s [sydtest-mutation-example] No doctest found
  72. 8.69 s [sydtest-mutation-example] Using gcc version 14.3.0 given by user at:
  73. 8.69 s [sydtest-mutation-example] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/gcc
  74. 8.69 s [sydtest-mutation-example] Using ghc version 9.10.3 found on system at:
  75. 8.69 s [sydtest-mutation-example] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc
  76. 8.69 s [sydtest-mutation-example] Using ghc-pkg version 9.10.3 found on system at:
  77. 8.69 s [sydtest-mutation-example] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc-pkg-9.10.3
  78. 8.69 s [sydtest-mutation-example] No ghcjs found
  79. 8.69 s [sydtest-mutation-example] No ghcjs-pkg found
  80. 8.69 s [sydtest-mutation-example] No greencard found
  81. 8.69 s [sydtest-mutation-example] Using haddock version 2.31.1 found on system at:
  82. 8.69 s [sydtest-mutation-example] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/haddock-ghc-9.10.3
  83. 8.69 s [sydtest-mutation-example] No happy found
  84. 8.69 s [sydtest-mutation-example] Using haskell-suite found on system at: haskell-suite-dummy-location
  85. 8.69 s [sydtest-mutation-example] Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
  86. 8.69 s [sydtest-mutation-example] No hmake found
  87. 8.69 s [sydtest-mutation-example] Using hpc version 0.69 found on system at:
  88. 8.69 s [sydtest-mutation-example] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hpc-ghc-9.10.3
  89. 8.69 s [sydtest-mutation-example] Using hsc2hs version 0.68.10 found on system at:
  90. 8.69 s [sydtest-mutation-example] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hsc2hs-ghc-9.10.3
  91. 8.69 s [sydtest-mutation-example] Using hscolour version 1.25 found on system at:
  92. 8.69 s [sydtest-mutation-example] /nix/store/f755skyzf4jvfx3crwq9mmh3x4lsaz8i-hscolour-1.25/bin/HsColour
  93. 8.69 s [sydtest-mutation-example] No jhc found
  94. 8.69 s [sydtest-mutation-example] Using ld found on system at:
  95. 8.69 s [sydtest-mutation-example] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/ld
  96. 8.69 s [sydtest-mutation-example] No pkg-config found
  97. 8.69 s [sydtest-mutation-example] Using runghc version 9.10.3 found on system at:
  98. 8.69 s [sydtest-mutation-example] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/runghc-9.10.3
  99. 8.69 s [sydtest-mutation-example] Using strip version 2.44 found on system at:
  100. 8.69 s [sydtest-mutation-example] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/strip
  101. 8.69 s [sydtest-mutation-example] Using tar found on system at:
  102. 8.69 s [sydtest-mutation-example] /nix/store/xl6pd2spjajwcpq09fnmnjv5psqmlmma-gnutar-1.35/bin/tar
  103. 8.69 s [sydtest-mutation-example] No uhc found
  104. 8.95 s [sydtest-mutation-example] Phase: buildPhase
  105. 8.96 s [sydtest-mutation-example] mutation-nix: setting MUTATION_MANIFEST_DIR=/nix/store/p4wfqfg3cb4qkmc07wzz58rqhm2dilkl-sydtest-mutation-example-0.0.0.0-manifest
  106. 9.08 s [sydtest-mutation-example] Preprocessing library for sydtest-mutation-example-0.0.0.0...
  107. 9.08 s [sydtest-mutation-example] Building library for sydtest-mutation-example-0.0.0.0...
  108. 9.49 s [sydtest-mutation-example] [ 1 of 12] Compiling Example.BoolLib ( src/Example/BoolLib.hs, dist/build/Example/BoolLib.o, dist/build/Example/BoolLib.dyn_o )
  109. 9.54 s [sydtest-mutation-example] mutation: instrumenting Example.BoolLib
  110. 9.54 s [sydtest-mutation-example] added mutation BoolLit at src/Example/BoolLib.hs:18:18-23 #1
  111. 9.54 s [sydtest-mutation-example] added mutation MaybeOp at src/Example/BoolLib.hs:18:13-23 #1
  112. 9.54 s [sydtest-mutation-example] added mutation BoolLit at src/Example/BoolLib.hs:12:17-21 #1
  113. 9.54 s [sydtest-mutation-example] added mutation MaybeOp at src/Example/BoolLib.hs:12:12-21 #1
  114. 9.54 s [sydtest-mutation-example] added 4 mutations
  115. 10.33 s [sydtest-mutation-example] [ 2 of 12] Compiling Example.CaseLib ( src/Example/CaseLib.hs, dist/build/Example/CaseLib.o, dist/build/Example/CaseLib.dyn_o )
  116. 10.33 s [sydtest-mutation-example] mutation: instrumenting Example.CaseLib
  117. 10.34 s [sydtest-mutation-example] added mutation RemoveCase at src/Example/CaseLib.hs:7:19-16 #1
  118. 10.34 s [sydtest-mutation-example] added mutation RemoveCase at src/Example/CaseLib.hs:7:19-16 #2
  119. 10.34 s [sydtest-mutation-example] added mutation RemoveCase at src/Example/CaseLib.hs:7:19-16 #3
  120. 10.34 s [sydtest-mutation-example] added 3 mutations
  121. 10.55 s [sydtest-mutation-example] [ 3 of 12] Compiling Example.DoLib ( src/Example/DoLib.hs, dist/build/Example/DoLib.o, dist/build/Example/DoLib.dyn_o )
  122. 10.57 s [sydtest-mutation-example] mutation: instrumenting Example.DoLib
  123. 10.57 s [sydtest-mutation-example] added mutation ConstBool at src/Example/DoLib.hs:14:10-14 #1
  124. 10.57 s [sydtest-mutation-example] added mutation ConstBool at src/Example/DoLib.hs:14:10-14 #2
  125. 10.57 s [sydtest-mutation-example] added mutation Negate at src/Example/DoLib.hs:14:10-14 #1
  126. 10.57 s [sydtest-mutation-example] added mutation RemoveAction at src/Example/DoLib.hs:14:7-41 #1
  127. 10.57 s [sydtest-mutation-example] added mutation RemoveAction at src/Example/DoLib.hs:12:10-16 #1
  128. 10.57 s [sydtest-mutation-example] added 5 mutations
  129. 10.69 s [sydtest-mutation-example] [ 4 of 12] Compiling Example.ExceptionLib ( src/Example/ExceptionLib.hs, dist/build/Example/ExceptionLib.o, dist/build/Example/ExceptionLib.dyn_o )
  130. 10.71 s [sydtest-mutation-example] mutation: skipping Example.ExceptionLib (DisableMutations)
  131. 10.76 s [sydtest-mutation-example] [ 5 of 12] Compiling Example.FunctionExceptionLib ( src/Example/FunctionExceptionLib.hs, dist/build/Example/FunctionExceptionLib.o, dist/build/Example/FunctionExceptionLib.dyn_o )
  132. 10.77 s [sydtest-mutation-example] mutation: instrumenting Example.FunctionExceptionLib
  133. 10.77 s [sydtest-mutation-example] added mutation IntLit at src/Example/FunctionExceptionLib.hs:15:29-30 #1
  134. 10.77 s [sydtest-mutation-example] added mutation IntLit at src/Example/FunctionExceptionLib.hs:15:29-30 #2
  135. 10.77 s [sydtest-mutation-example] added 2 mutations
  136. 10.88 s [sydtest-mutation-example] [ 6 of 12] Compiling Example.Lib ( src/Example/Lib.hs, dist/build/Example/Lib.o, dist/build/Example/Lib.dyn_o )
  137. 10.89 s [sydtest-mutation-example] mutation: instrumenting Example.Lib
  138. 10.89 s [sydtest-mutation-example] added mutation IntLit at src/Example/Lib.hs:8:16-17 #1
  139. 10.89 s [sydtest-mutation-example] added mutation IntLit at src/Example/Lib.hs:8:16-17 #2
  140. 10.89 s [sydtest-mutation-example] added mutation Arith at src/Example/Lib.hs:8:12-17 #1
  141. 10.89 s [sydtest-mutation-example] added mutation Arith at src/Example/Lib.hs:8:12-17 #2
  142. 10.89 s [sydtest-mutation-example] added 4 mutations
  143. 10.98 s [sydtest-mutation-example] [ 7 of 12] Compiling Example.ListLib ( src/Example/ListLib.hs, dist/build/Example/ListLib.o, dist/build/Example/ListLib.dyn_o )
  144. 10.99 s [sydtest-mutation-example] mutation: instrumenting Example.ListLib
  145. 10.99 s [sydtest-mutation-example] added mutation ListLit at src/Example/ListLib.hs:19:29-38 #1
  146. 11.00 s [sydtest-mutation-example] added mutation ListLit at src/Example/ListLib.hs:19:29-38 #2
  147. 11.00 s [sydtest-mutation-example] added mutation ListLit at src/Example/ListLib.hs:19:29-38 #3
  148. 11.00 s [sydtest-mutation-example] added mutation ListLit at src/Example/ListLib.hs:12:25-31 #1
  149. 11.00 s [sydtest-mutation-example] added mutation ListLit at src/Example/ListLib.hs:12:25-31 #2
  150. 11.00 s [sydtest-mutation-example] added 5 mutations
  151. 11.11 s [sydtest-mutation-example] [ 8 of 12] Compiling Example.LocalDisableLib ( src/Example/LocalDisableLib.hs, dist/build/Example/LocalDisableLib.o, dist/build/Example/LocalDisableLib.dyn_o )
  152. 11.12 s [sydtest-mutation-example] mutation: instrumenting Example.LocalDisableLib
  153. 11.12 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:58:19-20 #1
  154. 11.12 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:58:19-20 #2
  155. 11.12 s [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:58:19-20 #1
  156. 11.12 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:59:8-13 #1
  157. 11.12 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:59:8-13 #2
  158. 11.12 s [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:59:8-13 #1
  159. 11.12 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:52:8-13 #1
  160. 11.12 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:52:8-13 #2
  161. 11.12 s [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:52:8-13 #1
  162. 11.12 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:36:19-20 #1
  163. 11.12 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:36:19-20 #2
  164. 11.12 s [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:36:19-20 #1
  165. 11.12 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:36:15-20 #1
  166. 11.12 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:36:15-20 #2
  167. 11.12 s [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:36:15-20 #1
  168. 11.12 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:37:7-12 #1
  169. 11.12 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:37:7-12 #2
  170. 11.12 s [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:37:7-12 #1
  171. 11.12 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:36:3-12 #1
  172. 11.12 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:36:3-12 #2
  173. 11.12 s [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:36:3-12 #1
  174. 11.12 s [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:29:19-20 #1
  175. 11.12 s [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:29:15-20 #1
  176. 11.12 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:30:7-12 #1
  177. 11.12 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:30:7-12 #2
  178. 11.12 s [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:30:7-12 #1
  179. 11.12 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:29:3-12 #1
  180. 11.12 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:29:3-12 #2
  181. 11.12 s [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:29:3-12 #1
  182. 11.12 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:21:7-12 #1
  183. 11.12 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:21:7-12 #2
  184. 11.12 s [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:21:7-12 #1
  185. 11.12 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:20:3-12 #1
  186. 11.12 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:20:3-12 #2
  187. 11.12 s [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:20:3-12 #1
  188. 11.12 s [sydtest-mutation-example] added 35 mutations
  189. 11.38 s [sydtest-mutation-example] [ 9 of 12] Compiling Example.LogicLib ( src/Example/LogicLib.hs, dist/build/Example/LogicLib.o, dist/build/Example/LogicLib.dyn_o )
  190. 11.38 s [sydtest-mutation-example] mutation: instrumenting Example.LogicLib
  191. 11.39 s [sydtest-mutation-example] added mutation IntLit at src/Example/LogicLib.hs:17:26-27 #1
  192. 11.39 s [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:17:22-27 #1
  193. 11.39 s [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:17:22-27 #2
  194. 11.39 s [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:17:22-27 #3
  195. 11.39 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:17:22-27 #1
  196. 11.39 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:17:22-27 #2
  197. 11.39 s [sydtest-mutation-example] added mutation Negate at src/Example/LogicLib.hs:17:22-27 #1
  198. 11.39 s [sydtest-mutation-example] added mutation IntLit at src/Example/LogicLib.hs:17:35-36 #1
  199. 11.39 s [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:17:31-36 #1
  200. 11.39 s [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:17:31-36 #2
  201. 11.39 s [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:17:31-36 #3
  202. 11.39 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:17:31-36 #1
  203. 11.39 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:17:31-36 #2
  204. 11.39 s [sydtest-mutation-example] added mutation Negate at src/Example/LogicLib.hs:17:31-36 #1
  205. 11.39 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:17:22-36 #1
  206. 11.39 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:17:22-36 #2
  207. 11.39 s [sydtest-mutation-example] added mutation LogicOp at src/Example/LogicLib.hs:17:22-36 #1
  208. 11.39 s [sydtest-mutation-example] added mutation Negate at src/Example/LogicLib.hs:17:22-36 #1
  209. 11.39 s [sydtest-mutation-example] added mutation IntLit at src/Example/LogicLib.hs:11:24-25 #1
  210. 11.39 s [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:11:20-25 #1
  211. 11.39 s [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:11:20-25 #2
  212. 11.39 s [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:11:20-25 #3
  213. 11.39 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:11:20-25 #1
  214. 11.39 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:11:20-25 #2
  215. 11.39 s [sydtest-mutation-example] added mutation Negate at src/Example/LogicLib.hs:11:20-25 #1
  216. 11.39 s [sydtest-mutation-example] added mutation IntLit at src/Example/LogicLib.hs:11:33-34 #1
  217. 11.39 s [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:11:29-34 #1
  218. 11.39 s [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:11:29-34 #2
  219. 11.39 s [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:11:29-34 #3
  220. 11.39 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:11:29-34 #1
  221. 11.39 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:11:29-34 #2
  222. 11.39 s [sydtest-mutation-example] added mutation Negate at src/Example/LogicLib.hs:11:29-34 #1
  223. 11.39 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:11:20-34 #1
  224. 11.39 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:11:20-34 #2
  225. 11.39 s [sydtest-mutation-example] added mutation LogicOp at src/Example/LogicLib.hs:11:20-34 #1
  226. 11.39 s [sydtest-mutation-example] added mutation Negate at src/Example/LogicLib.hs:11:20-34 #1
  227. 11.39 s [sydtest-mutation-example] added 36 mutations
  228. 11.69 s [sydtest-mutation-example] [10 of 12] Compiling Example.OtherwiseLib ( src/Example/OtherwiseLib.hs, dist/build/Example/OtherwiseLib.o, dist/build/Example/OtherwiseLib.dyn_o )
  229. 11.69 s [sydtest-mutation-example] mutation: instrumenting Example.OtherwiseLib
  230. 11.69 s [sydtest-mutation-example] added mutation IntLit at src/Example/OtherwiseLib.hs:12:9-10 #1
  231. 11.69 s [sydtest-mutation-example] added mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10 #1
  232. 11.69 s [sydtest-mutation-example] added mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10 #2
  233. 11.69 s [sydtest-mutation-example] added mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10 #3
  234. 11.69 s [sydtest-mutation-example] added mutation ConstBool at src/Example/OtherwiseLib.hs:12:5-10 #1
  235. 11.69 s [sydtest-mutation-example] added mutation Negate at src/Example/OtherwiseLib.hs:12:5-10 #1
  236. 11.69 s [sydtest-mutation-example] added mutation IntLit at src/Example/OtherwiseLib.hs:13:10-11 #1
  237. 11.69 s [sydtest-mutation-example] added mutation ConstBool at src/Example/OtherwiseLib.hs:13:5-11 #1
  238. 11.69 s [sydtest-mutation-example] added mutation Negate at src/Example/OtherwiseLib.hs:13:5-11 #1
  239. 11.69 s [sydtest-mutation-example] added 9 mutations
  240. 11.83 s [sydtest-mutation-example] [11 of 12] Compiling Example.UntestedLib ( src/Example/UntestedLib.hs, dist/build/Example/UntestedLib.o, dist/build/Example/UntestedLib.dyn_o )
  241. 11.89 s [sydtest-mutation-example] mutation: instrumenting Example.UntestedLib
  242. 11.89 s [sydtest-mutation-example] added 0 mutations
  243. 11.89 s [sydtest-mutation-example] [12 of 12] Compiling Paths_sydtest_mutation_example ( dist/build/autogen/Paths_sydtest_mutation_example.hs, dist/build/Paths_sydtest_mutation_example.o, dist/build/Paths_sydtest_mutation_example.dyn_o )
  244. 12.63 s [sydtest-mutation-example] [ 1 of 12] Compiling Example.BoolLib ( src/Example/BoolLib.hs, dist/build/Example/BoolLib.p_o )
  245. 12.66 s [sydtest-mutation-example] mutation: instrumenting Example.BoolLib
  246. 12.66 s [sydtest-mutation-example] added mutation BoolLit at src/Example/BoolLib.hs:18:18-23 #1
  247. 12.66 s [sydtest-mutation-example] added mutation MaybeOp at src/Example/BoolLib.hs:18:13-23 #1
  248. 12.66 s [sydtest-mutation-example] added mutation BoolLit at src/Example/BoolLib.hs:12:17-21 #1
  249. 12.67 s [sydtest-mutation-example] added mutation MaybeOp at src/Example/BoolLib.hs:12:12-21 #1
  250. 12.67 s [sydtest-mutation-example] added 4 mutations
  251. 13.78 s [sydtest-mutation-example] [ 2 of 12] Compiling Example.CaseLib ( src/Example/CaseLib.hs, dist/build/Example/CaseLib.p_o )
  252. 13.79 s [sydtest-mutation-example] mutation: instrumenting Example.CaseLib
  253. 13.79 s [sydtest-mutation-example] added mutation RemoveCase at src/Example/CaseLib.hs:7:19-16 #1
  254. 13.79 s [sydtest-mutation-example] added mutation RemoveCase at src/Example/CaseLib.hs:7:19-16 #2
  255. 13.79 s [sydtest-mutation-example] added mutation RemoveCase at src/Example/CaseLib.hs:7:19-16 #3
  256. 13.80 s [sydtest-mutation-example] added 3 mutations
  257. 14.61 s [sydtest-mutation-example] [ 3 of 12] Compiling Example.DoLib ( src/Example/DoLib.hs, dist/build/Example/DoLib.p_o )
  258. 14.64 s [sydtest-mutation-example] mutation: instrumenting Example.DoLib
  259. 14.64 s [sydtest-mutation-example] added mutation ConstBool at src/Example/DoLib.hs:14:10-14 #1
  260. 14.64 s [sydtest-mutation-example] added mutation ConstBool at src/Example/DoLib.hs:14:10-14 #2
  261. 14.64 s [sydtest-mutation-example] added mutation Negate at src/Example/DoLib.hs:14:10-14 #1
  262. 14.64 s [sydtest-mutation-example] added mutation RemoveAction at src/Example/DoLib.hs:14:7-41 #1
  263. 14.64 s [sydtest-mutation-example] added mutation RemoveAction at src/Example/DoLib.hs:12:10-16 #1
  264. 14.64 s [sydtest-mutation-example] added 5 mutations
  265. 15.38 s [sydtest-mutation-example] [ 4 of 12] Compiling Example.ExceptionLib ( src/Example/ExceptionLib.hs, dist/build/Example/ExceptionLib.p_o )
  266. 15.42 s [sydtest-mutation-example] mutation: skipping Example.ExceptionLib (DisableMutations)
  267. 15.85 s [sydtest-mutation-example] [ 5 of 12] Compiling Example.FunctionExceptionLib ( src/Example/FunctionExceptionLib.hs, dist/build/Example/FunctionExceptionLib.p_o )
  268. 15.87 s [sydtest-mutation-example] mutation: instrumenting Example.FunctionExceptionLib
  269. 15.87 s [sydtest-mutation-example] added mutation IntLit at src/Example/FunctionExceptionLib.hs:15:29-30 #1
  270. 15.87 s [sydtest-mutation-example] added mutation IntLit at src/Example/FunctionExceptionLib.hs:15:29-30 #2
  271. 15.87 s [sydtest-mutation-example] added 2 mutations
  272. 16.29 s [sydtest-mutation-example] [ 6 of 12] Compiling Example.Lib ( src/Example/Lib.hs, dist/build/Example/Lib.p_o )
  273. 16.29 s [sydtest-mutation-example] mutation: instrumenting Example.Lib
  274. 16.29 s [sydtest-mutation-example] added mutation IntLit at src/Example/Lib.hs:8:16-17 #1
  275. 16.29 s [sydtest-mutation-example] added mutation IntLit at src/Example/Lib.hs:8:16-17 #2
  276. 16.30 s [sydtest-mutation-example] added mutation Arith at src/Example/Lib.hs:8:12-17 #1
  277. 16.30 s [sydtest-mutation-example] added mutation Arith at src/Example/Lib.hs:8:12-17 #2
  278. 16.30 s [sydtest-mutation-example] added 4 mutations
  279. 16.73 s [sydtest-mutation-example] [ 7 of 12] Compiling Example.ListLib ( src/Example/ListLib.hs, dist/build/Example/ListLib.p_o )
  280. 16.74 s [sydtest-mutation-example] mutation: instrumenting Example.ListLib
  281. 16.74 s [sydtest-mutation-example] added mutation ListLit at src/Example/ListLib.hs:19:29-38 #1
  282. 16.74 s [sydtest-mutation-example] added mutation ListLit at src/Example/ListLib.hs:19:29-38 #2
  283. 16.74 s [sydtest-mutation-example] added mutation ListLit at src/Example/ListLib.hs:19:29-38 #3
  284. 16.74 s [sydtest-mutation-example] added mutation ListLit at src/Example/ListLib.hs:12:25-31 #1
  285. 16.74 s [sydtest-mutation-example] added mutation ListLit at src/Example/ListLib.hs:12:25-31 #2
  286. 16.74 s [sydtest-mutation-example] added 5 mutations
  287. 17.26 s [sydtest-mutation-example] [ 8 of 12] Compiling Example.LocalDisableLib ( src/Example/LocalDisableLib.hs, dist/build/Example/LocalDisableLib.p_o )
  288. 17.29 s [sydtest-mutation-example] mutation: instrumenting Example.LocalDisableLib
  289. 17.29 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:58:19-20 #1
  290. 17.30 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:58:19-20 #2
  291. 17.30 s [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:58:19-20 #1
  292. 17.30 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:59:8-13 #1
  293. 17.30 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:59:8-13 #2
  294. 17.30 s [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:59:8-13 #1
  295. 17.30 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:52:8-13 #1
  296. 17.30 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:52:8-13 #2
  297. 17.30 s [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:52:8-13 #1
  298. 17.30 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:36:19-20 #1
  299. 17.30 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:36:19-20 #2
  300. 17.30 s [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:36:19-20 #1
  301. 17.30 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:36:15-20 #1
  302. 17.30 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:36:15-20 #2
  303. 17.30 s [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:36:15-20 #1
  304. 17.30 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:37:7-12 #1
  305. 17.30 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:37:7-12 #2
  306. 17.30 s [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:37:7-12 #1
  307. 17.31 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:36:3-12 #1
  308. 17.31 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:36:3-12 #2
  309. 17.31 s [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:36:3-12 #1
  310. 17.31 s [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:29:19-20 #1
  311. 17.31 s [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:29:15-20 #1
  312. 17.31 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:30:7-12 #1
  313. 17.31 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:30:7-12 #2
  314. 17.31 s [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:30:7-12 #1
  315. 17.31 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:29:3-12 #1
  316. 17.31 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:29:3-12 #2
  317. 17.31 s [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:29:3-12 #1
  318. 17.31 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:21:7-12 #1
  319. 17.31 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:21:7-12 #2
  320. 17.31 s [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:21:7-12 #1
  321. 17.31 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:20:3-12 #1
  322. 17.32 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:20:3-12 #2
  323. 17.32 s [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:20:3-12 #1
  324. 17.32 s [sydtest-mutation-example] added 35 mutations
  325. 18.29 s [sydtest-mutation-example] [ 9 of 12] Compiling Example.LogicLib ( src/Example/LogicLib.hs, dist/build/Example/LogicLib.p_o )
  326. 18.29 s [sydtest-mutation-example] mutation: instrumenting Example.LogicLib
  327. 18.29 s [sydtest-mutation-example] added mutation IntLit at src/Example/LogicLib.hs:17:26-27 #1
  328. 18.29 s [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:17:22-27 #1
  329. 18.29 s [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:17:22-27 #2
  330. 18.30 s [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:17:22-27 #3
  331. 18.30 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:17:22-27 #1
  332. 18.30 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:17:22-27 #2
  333. 18.30 s [sydtest-mutation-example] added mutation Negate at src/Example/LogicLib.hs:17:22-27 #1
  334. 18.30 s [sydtest-mutation-example] added mutation IntLit at src/Example/LogicLib.hs:17:35-36 #1
  335. 18.30 s [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:17:31-36 #1
  336. 18.30 s [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:17:31-36 #2
  337. 18.30 s [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:17:31-36 #3
  338. 18.30 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:17:31-36 #1
  339. 18.30 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:17:31-36 #2
  340. 18.30 s [sydtest-mutation-example] added mutation Negate at src/Example/LogicLib.hs:17:31-36 #1
  341. 18.30 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:17:22-36 #1
  342. 18.30 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:17:22-36 #2
  343. 18.30 s [sydtest-mutation-example] added mutation LogicOp at src/Example/LogicLib.hs:17:22-36 #1
  344. 18.30 s [sydtest-mutation-example] added mutation Negate at src/Example/LogicLib.hs:17:22-36 #1
  345. 18.30 s [sydtest-mutation-example] added mutation IntLit at src/Example/LogicLib.hs:11:24-25 #1
  346. 18.30 s [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:11:20-25 #1
  347. 18.30 s [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:11:20-25 #2
  348. 18.30 s [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:11:20-25 #3
  349. 18.30 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:11:20-25 #1
  350. 18.30 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:11:20-25 #2
  351. 18.30 s [sydtest-mutation-example] added mutation Negate at src/Example/LogicLib.hs:11:20-25 #1
  352. 18.30 s [sydtest-mutation-example] added mutation IntLit at src/Example/LogicLib.hs:11:33-34 #1
  353. 18.30 s [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:11:29-34 #1
  354. 18.30 s [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:11:29-34 #2
  355. 18.31 s [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:11:29-34 #3
  356. 18.31 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:11:29-34 #1
  357. 18.31 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:11:29-34 #2
  358. 18.31 s [sydtest-mutation-example] added mutation Negate at src/Example/LogicLib.hs:11:29-34 #1
  359. 18.31 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:11:20-34 #1
  360. 18.31 s [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:11:20-34 #2
  361. 18.31 s [sydtest-mutation-example] added mutation LogicOp at src/Example/LogicLib.hs:11:20-34 #1
  362. 18.31 s [sydtest-mutation-example] added mutation Negate at src/Example/LogicLib.hs:11:20-34 #1
  363. 18.31 s [sydtest-mutation-example] added 36 mutations
  364. 19.10 s [sydtest-mutation-example] [10 of 12] Compiling Example.OtherwiseLib ( src/Example/OtherwiseLib.hs, dist/build/Example/OtherwiseLib.p_o )
  365. 19.11 s [sydtest-mutation-example] mutation: instrumenting Example.OtherwiseLib
  366. 19.11 s [sydtest-mutation-example] added mutation IntLit at src/Example/OtherwiseLib.hs:12:9-10 #1
  367. 19.11 s [sydtest-mutation-example] added mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10 #1
  368. 19.11 s [sydtest-mutation-example] added mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10 #2
  369. 19.11 s [sydtest-mutation-example] added mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10 #3
  370. 19.11 s [sydtest-mutation-example] added mutation ConstBool at src/Example/OtherwiseLib.hs:12:5-10 #1
  371. 19.11 s [sydtest-mutation-example] added mutation Negate at src/Example/OtherwiseLib.hs:12:5-10 #1
  372. 19.11 s [sydtest-mutation-example] added mutation IntLit at src/Example/OtherwiseLib.hs:13:10-11 #1
  373. 19.11 s [sydtest-mutation-example] added mutation ConstBool at src/Example/OtherwiseLib.hs:13:5-11 #1
  374. 19.11 s [sydtest-mutation-example] added mutation Negate at src/Example/OtherwiseLib.hs:13:5-11 #1
  375. 19.11 s [sydtest-mutation-example] added 9 mutations
  376. 19.74 s [sydtest-mutation-example] [11 of 12] Compiling Example.UntestedLib ( src/Example/UntestedLib.hs, dist/build/Example/UntestedLib.p_o )
  377. 19.75 s [sydtest-mutation-example] mutation: instrumenting Example.UntestedLib
  378. 19.75 s [sydtest-mutation-example] added 0 mutations
  379. 20.11 s [sydtest-mutation-example] [12 of 12] Compiling Paths_sydtest_mutation_example ( dist/build/autogen/Paths_sydtest_mutation_example.hs, dist/build/Paths_sydtest_mutation_example.p_o )
  380. 21.23 s [sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/BoolLib.dyn_o'
  381. 21.23 s [sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/CaseLib.dyn_o'
  382. 21.23 s [sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/DoLib.dyn_o'
  383. 21.23 s [sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/ExceptionLib.dyn_o'
  384. 21.23 s [sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/FunctionExceptionLib.dyn_o'
  385. 21.23 s [sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/Lib.dyn_o'
  386. 21.23 s [sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/ListLib.dyn_o'
  387. 21.23 s [sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/LocalDisableLib.dyn_o'
  388. 21.23 s [sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/LogicLib.dyn_o'
  389. 21.23 s [sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/OtherwiseLib.dyn_o'
  390. 21.23 s [sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/UntestedLib.dyn_o'
  391. 21.23 s [sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Paths_sydtest_mutation_example.dyn_o'
  392. 23.55 s [sydtest-mutation-example] mutation-nix: manifest output at /nix/store/p4wfqfg3cb4qkmc07wzz58rqhm2dilkl-sydtest-mutation-example-0.0.0.0-manifest:
  393. 23.60 s [sydtest-mutation-example] total 116
  394. 23.60 s [sydtest-mutation-example] drwxr-xr-x 2 nixbld nixbld 4096 May 18 12:56 .
  395. 23.60 s [sydtest-mutation-example] drwxrwxr-t 259 nobody nixbld 28672 May 18 12:56 ..
  396. 23.61 s [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 2139 May 18 12:56 Example.BoolLib.json
  397. 23.61 s [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 1958 May 18 12:56 Example.CaseLib.json
  398. 23.61 s [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 2492 May 18 12:56 Example.DoLib.json
  399. 23.61 s [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 1478 May 18 12:56 Example.FunctionExceptionLib.json
  400. 23.61 s [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 1944 May 18 12:56 Example.Lib.json
  401. 23.61 s [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 2858 May 18 12:56 Example.ListLib.json
  402. 23.61 s [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 20857 May 18 12:56 Example.LocalDisableLib.json
  403. 23.61 s [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 18995 May 18 12:56 Example.LogicLib.json
  404. 23.61 s [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 4638 May 18 12:56 Example.OtherwiseLib.json
  405. 23.61 s [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 2 May 18 12:56 Example.UntestedLib.json
  406. 23.61 s [sydtest-mutation-example] mutation-nix: building remaining components with plugin silenced
  407. 23.72 s [sydtest-mutation-example] Preprocessing library for sydtest-mutation-example-0.0.0.0...
  408. 23.73 s [sydtest-mutation-example] Building library for sydtest-mutation-example-0.0.0.0...
  409. 26.66 s [sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/BoolLib.dyn_o'
  410. 26.66 s [sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/CaseLib.dyn_o'
  411. 26.66 s [sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/DoLib.dyn_o'
  412. 26.66 s [sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/ExceptionLib.dyn_o'
  413. 26.66 s [sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/FunctionExceptionLib.dyn_o'
  414. 26.66 s [sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/Lib.dyn_o'
  415. 26.66 s [sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/ListLib.dyn_o'
  416. 26.66 s [sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/LocalDisableLib.dyn_o'
  417. 26.66 s [sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/LogicLib.dyn_o'
  418. 26.66 s [sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/OtherwiseLib.dyn_o'
  419. 26.66 s [sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/UntestedLib.dyn_o'
  420. 26.66 s [sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Paths_sydtest_mutation_example.dyn_o'
  421. 29.29 s [sydtest-mutation-example] Phase: checkPhase
  422. 29.36 s [sydtest-mutation-example] Package has no test suites.
  423. 29.38 s [sydtest-mutation-example] Phase: haddockPhase
  424. 29.39 s [sydtest-mutation-example] Phase: installPhase
  425. 29.47 s [sydtest-mutation-example] Installing library in /nix/store/j2wz6c5v381v6wmxs3crpix2h3z3nrfr-sydtest-mutation-example-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6/sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
  426. 29.86 s [sydtest-mutation-example] Phase: fixupPhase
  427. 29.90 s [sydtest-mutation-example] shrinking RPATHs of ELF executables and libraries in /nix/store/j2wz6c5v381v6wmxs3crpix2h3z3nrfr-sydtest-mutation-example-0.0.0.0
  428. 29.92 s [sydtest-mutation-example] shrinking /nix/store/j2wz6c5v381v6wmxs3crpix2h3z3nrfr-sydtest-mutation-example-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6/libHSsydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu-ghc9.10.3.so
  429. 29.96 s [sydtest-mutation-example] checking for references to /build/ in /nix/store/j2wz6c5v381v6wmxs3crpix2h3z3nrfr-sydtest-mutation-example-0.0.0.0...
  430. 30.01 s [sydtest-mutation-example] patching script interpreter paths in /nix/store/j2wz6c5v381v6wmxs3crpix2h3z3nrfr-sydtest-mutation-example-0.0.0.0
  431. 30.02 s [sydtest-mutation-example] stripping (with command strip and flags -S -p) in /nix/store/j2wz6c5v381v6wmxs3crpix2h3z3nrfr-sydtest-mutation-example-0.0.0.0/lib /nix/store/j2wz6c5v381v6wmxs3crpix2h3z3nrfr-sydtest-mutation-example-0.0.0.0/bin
  432. 30.13 s [sydtest-mutation-example] shrinking RPATHs of ELF executables and libraries in /nix/store/p4wfqfg3cb4qkmc07wzz58rqhm2dilkl-sydtest-mutation-example-0.0.0.0-manifest
  433. 30.14 s [sydtest-mutation-example] checking for references to /build/ in /nix/store/p4wfqfg3cb4qkmc07wzz58rqhm2dilkl-sydtest-mutation-example-0.0.0.0-manifest...
  434. 30.16 s [sydtest-mutation-example] patching script interpreter paths in /nix/store/p4wfqfg3cb4qkmc07wzz58rqhm2dilkl-sydtest-mutation-example-0.0.0.0-manifest
  435. 30.30 s [post-build-hook] Uploading to cachix cache "sydtest": /nix/store/p4wfqfg3cb4qkmc07wzz58rqhm2dilkl-sydtest-mutation-example-0.0.0.0-manifest
  436. 30.94 s [post-build-hook] Pushing 1 paths (0 are already present) using zstd to cache sydtest ⏳
  437. 30.94 s [post-build-hook]
  438. 31.29 s [post-build-hook] Pushing /nix/store/p4wfqfg3cb4qkmc07wzz58rqhm2dilkl-sydtest-mutation-example-0.0.0.0-manifest (58.12 KiB)
  439. 32.21 s [post-build-hook]
  440. 32.21 s [post-build-hook] All done.
  441. 32.26 s [post-build-hook] Uploading to the NixCI staging cache: /nix/store/p4wfqfg3cb4qkmc07wzz58rqhm2dilkl-sydtest-mutation-example-0.0.0.0-manifest
  442. 32.34 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  443. 32.36 s [post-build-hook] copying 1 paths...
  444. 32.36 s [post-build-hook] copying path '/nix/store/p4wfqfg3cb4qkmc07wzz58rqhm2dilkl-sydtest-mutation-example-0.0.0.0-manifest' to 'https://cache.staging.nix-ci.com'...
  445. 32.59 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  446. 32.76 s [post-build-hook] copying 0 paths...
  447. 32.83 s Progress: 1 of 4 built, 4 of 4 downloaded from cache
  448. 32.93 s Building sydtest-mutation-example-gen
  449. 33.52 s [sydtest-mutation-example-gen] Phase: setupCompilerEnvironmentPhase
  450. 33.53 s [sydtest-mutation-example-gen] Build with /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3.
  451. 34.62 s [sydtest-mutation-example-gen] Phase: unpackPhase
  452. 34.69 s [sydtest-mutation-example-gen] unpacking source archive /nix/store/v6gj65nadjq5z20b8rll4w9mdxxac16d-sydtest-mutation-example-gen-source-0.0.0.0/sydtest-mutation-example-gen-0.0.0.0.tar.gz
  453. 34.69 s [sydtest-mutation-example-gen] source root is sydtest-mutation-example-gen-0.0.0.0
  454. 34.69 s [sydtest-mutation-example-gen] setting SOURCE_DATE_EPOCH to timestamp 1779108404 of file "sydtest-mutation-example-gen-0.0.0.0/test/Spec.hs"
  455. 34.69 s [sydtest-mutation-example-gen] Phase: patchPhase
  456. 34.70 s [sydtest-mutation-example-gen] Phase: compileBuildDriverPhase
  457. 34.70 s [sydtest-mutation-example-gen] setupCompileFlags: -package-db=/build/tmp.LcDY5qyAMk/setup-package.conf.d -threaded
  458. 34.87 s [sydtest-mutation-example-gen] [1 of 2] Compiling Main ( Setup.hs, /build/tmp.LcDY5qyAMk/Main.o )
  459. 35.05 s [sydtest-mutation-example-gen] [2 of 2] Linking Setup
  460. 38.44 s [sydtest-mutation-example-gen] Phase: updateAutotoolsGnuConfigScriptsPhase
  461. 38.46 s [sydtest-mutation-example-gen] Phase: configurePhase
  462. 38.48 s [sydtest-mutation-example-gen] configureFlags: --verbose --prefix=/nix/store/lmmc84kpp56523jxw294pyb1pv2bnfa4-sydtest-mutation-example-gen-0.0.0.0 --libdir=$prefix/lib/$compiler/lib --libsubdir=$abi/$libname --docdir=/nix/store/pkbq6wsr1azncmbf5lgh3pfhb6asci6p-sydtest-mutation-example-gen-0.0.0.0-doc/share/doc/sydtest-mutation-example-gen-0.0.0.0 --with-gcc=gcc --package-db=/build/tmp.LcDY5qyAMk/package.conf.d --ghc-option=-j16 --ghc-option=+RTS --ghc-option=-A64M --ghc-option=-RTS --enable-library-profiling --profiling-detail=exported-functions --disable-profiling --enable-shared --disable-coverage --enable-static --disable-executable-dynamic --enable-tests --disable-benchmarks --enable-library-vanilla --disable-library-for-ghci --enable-split-sections --enable-library-stripping --enable-executable-stripping --ghc-option=-haddock --ghc-options=-O2 --ghc-options=-Wall --ghc-options=-Wincomplete-uni-patterns --ghc-options=-Wincomplete-record-updates --ghc-options=-Wpartial-fields --ghc-options=-Widentities --ghc-options=-Wredundant-constraints --ghc-options=-Wcpp-undef --ghc-options=-Wunused-packages --ghc-options=-Werror --ghc-options=-Wno-deprecations --extra-lib-dirs=/nix/store/ffyzkisqs4vc4mg28bwwlyqjf8i9ph6b-ncurses-6.5/lib --extra-lib-dirs=/nix/store/n28qgdj8c1q41kf7n4y1jxa6ckp85m3c-libffi-3.5.2/lib --extra-lib-dirs=/nix/store/1b6h99dw7bk4wbn77kbalih42zbc67m1-elfutils-0.194/lib --extra-lib-dirs=/nix/store/hi0ar880110k6jsmmili7dh1gq3cg2a9-gmp-with-cxx-6.3.0/lib --extra-lib-dirs=/nix/store/g09cflpnp4g80q56sj9dng1qzv4v4ybc-numactl-2.0.18/lib --extra-lib-dirs=/nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/lib
  463. 38.49 s [sydtest-mutation-example-gen] Using Parsec parser
  464. 38.49 s [sydtest-mutation-example-gen] Configuring sydtest-mutation-example-gen-0.0.0.0...
  465. 40.54 s [sydtest-mutation-example-gen] Dependency QuickCheck: using QuickCheck-2.15.0.1
  466. 40.54 s [sydtest-mutation-example-gen] Dependency base >=4.7 && <5: using base-4.20.2.0
  467. 40.56 s [sydtest-mutation-example-gen] Dependency QuickCheck: using QuickCheck-2.15.0.1
  468. 40.56 s [sydtest-mutation-example-gen] Dependency base >=4.7 && <5: using base-4.20.2.0
  469. 40.56 s [sydtest-mutation-example-gen] Dependency sydtest: using sydtest-0.23.1.0
  470. 40.56 s [sydtest-mutation-example-gen] Dependency sydtest-mutation-example: using sydtest-mutation-example-0.0.0.0
  471. 40.56 s [sydtest-mutation-example-gen] Dependency sydtest-mutation-example-gen: using
  472. 40.56 s [sydtest-mutation-example-gen] sydtest-mutation-example-gen-0.0.0.0
  473. 40.56 s [sydtest-mutation-example-gen] Source component graph:
  474. 40.56 s [sydtest-mutation-example-gen] component lib
  475. 40.57 s [sydtest-mutation-example-gen] component test:sydtest-mutation-example-gen-test dependency lib
  476. 40.57 s [sydtest-mutation-example-gen] Configured component graph:
  477. 40.57 s [sydtest-mutation-example-gen] component sydtest-mutation-example-gen-0.0.0.0-2N3V3NV1148BsChSepwsd8
  478. 40.57 s [sydtest-mutation-example-gen] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  479. 40.57 s [sydtest-mutation-example-gen] include base-4.20.2.0-64da
  480. 40.57 s [sydtest-mutation-example-gen] component sydtest-mutation-example-gen-0.0.0.0-8sRx9OqoiwULghFDzL5Dg2-sydtest-mutation-example-gen-test
  481. 40.57 s [sydtest-mutation-example-gen] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  482. 40.57 s [sydtest-mutation-example-gen] include base-4.20.2.0-64da
  483. 40.57 s [sydtest-mutation-example-gen] include sydtest-0.23.1.0-BOTA4OfyLNz9JsrtpH2nIg
  484. 40.57 s [sydtest-mutation-example-gen] include sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
  485. 40.57 s [sydtest-mutation-example-gen] include sydtest-mutation-example-gen-0.0.0.0-2N3V3NV1148BsChSepwsd8
  486. 40.57 s [sydtest-mutation-example-gen] Linked component graph:
  487. 40.57 s [sydtest-mutation-example-gen] unit sydtest-mutation-example-gen-0.0.0.0-2N3V3NV1148BsChSepwsd8
  488. 40.57 s [sydtest-mutation-example-gen] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  489. 40.57 s [sydtest-mutation-example-gen] include base-4.20.2.0-64da
  490. 40.57 s [sydtest-mutation-example-gen] Example.Gen=sydtest-mutation-example-gen-0.0.0.0-2N3V3NV1148BsChSepwsd8:Example.Gen
  491. 40.57 s [sydtest-mutation-example-gen] unit sydtest-mutation-example-gen-0.0.0.0-8sRx9OqoiwULghFDzL5Dg2-sydtest-mutation-example-gen-test
  492. 40.57 s [sydtest-mutation-example-gen] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  493. 40.57 s [sydtest-mutation-example-gen] include base-4.20.2.0-64da
  494. 40.57 s [sydtest-mutation-example-gen] include sydtest-0.23.1.0-BOTA4OfyLNz9JsrtpH2nIg
  495. 40.57 s [sydtest-mutation-example-gen] include sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
  496. 40.57 s [sydtest-mutation-example-gen] include sydtest-mutation-example-gen-0.0.0.0-2N3V3NV1148BsChSepwsd8
  497. 40.57 s [sydtest-mutation-example-gen] Ready component graph:
  498. 40.57 s [sydtest-mutation-example-gen] definite sydtest-mutation-example-gen-0.0.0.0-2N3V3NV1148BsChSepwsd8
  499. 40.57 s [sydtest-mutation-example-gen] depends QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  500. 40.57 s [sydtest-mutation-example-gen] depends base-4.20.2.0-64da
  501. 40.57 s [sydtest-mutation-example-gen] definite sydtest-mutation-example-gen-0.0.0.0-8sRx9OqoiwULghFDzL5Dg2-sydtest-mutation-example-gen-test
  502. 40.57 s [sydtest-mutation-example-gen] depends QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  503. 40.57 s [sydtest-mutation-example-gen] depends base-4.20.2.0-64da
  504. 40.57 s [sydtest-mutation-example-gen] depends sydtest-0.23.1.0-BOTA4OfyLNz9JsrtpH2nIg
  505. 40.57 s [sydtest-mutation-example-gen] depends sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
  506. 40.57 s [sydtest-mutation-example-gen] depends sydtest-mutation-example-gen-0.0.0.0-2N3V3NV1148BsChSepwsd8
  507. 40.57 s [sydtest-mutation-example-gen] Using Cabal-3.12.1.0 compiled by ghc-9.10
  508. 40.57 s [sydtest-mutation-example-gen] Using compiler: ghc-9.10.3
  509. 40.57 s [sydtest-mutation-example-gen] Using install prefix:
  510. 40.57 s [sydtest-mutation-example-gen] /nix/store/lmmc84kpp56523jxw294pyb1pv2bnfa4-sydtest-mutation-example-gen-0.0.0.0
  511. 40.57 s [sydtest-mutation-example-gen] Executables installed in:
  512. 40.57 s [sydtest-mutation-example-gen] /nix/store/lmmc84kpp56523jxw294pyb1pv2bnfa4-sydtest-mutation-example-gen-0.0.0.0/bin
  513. 40.57 s [sydtest-mutation-example-gen] Libraries installed in:
  514. 40.57 s [sydtest-mutation-example-gen] /nix/store/lmmc84kpp56523jxw294pyb1pv2bnfa4-sydtest-mutation-example-gen-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6/sydtest-mutation-example-gen-0.0.0.0-2N3V3NV1148BsChSepwsd8
  515. 40.57 s [sydtest-mutation-example-gen] Dynamic Libraries installed in:
  516. 40.58 s [sydtest-mutation-example-gen] /nix/store/lmmc84kpp56523jxw294pyb1pv2bnfa4-sydtest-mutation-example-gen-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6
  517. 40.58 s [sydtest-mutation-example-gen] Private executables installed in:
  518. 40.58 s [sydtest-mutation-example-gen] /nix/store/lmmc84kpp56523jxw294pyb1pv2bnfa4-sydtest-mutation-example-gen-0.0.0.0/libexec/x86_64-linux-ghc-9.10.3-05f6/sydtest-mutation-example-gen-0.0.0.0
  519. 40.58 s [sydtest-mutation-example-gen] Data files installed in:
  520. 40.58 s [sydtest-mutation-example-gen] /nix/store/lmmc84kpp56523jxw294pyb1pv2bnfa4-sydtest-mutation-example-gen-0.0.0.0/share/x86_64-linux-ghc-9.10.3-05f6/sydtest-mutation-example-gen-0.0.0.0
  521. 40.58 s [sydtest-mutation-example-gen] Documentation installed in:
  522. 40.58 s [sydtest-mutation-example-gen] /nix/store/pkbq6wsr1azncmbf5lgh3pfhb6asci6p-sydtest-mutation-example-gen-0.0.0.0-doc/share/doc/sydtest-mutation-example-gen-0.0.0.0
  523. 40.58 s [sydtest-mutation-example-gen] Configuration files installed in:
  524. 40.58 s [sydtest-mutation-example-gen] /nix/store/lmmc84kpp56523jxw294pyb1pv2bnfa4-sydtest-mutation-example-gen-0.0.0.0/etc
  525. 40.58 s [sydtest-mutation-example-gen] No alex found
  526. 40.58 s [sydtest-mutation-example-gen] Using ar found on system at:
  527. 40.58 s [sydtest-mutation-example-gen] /nix/store/iz5lckcsg66r223si2gck7csk2hihj0m-binutils-wrapper-2.44/bin/ar
  528. 40.58 s [sydtest-mutation-example-gen] No c2hs found
  529. 40.58 s [sydtest-mutation-example-gen] No cpphs found
  530. 40.58 s [sydtest-mutation-example-gen] No doctest found
  531. 40.58 s [sydtest-mutation-example-gen] Using gcc version 14.3.0 given by user at:
  532. 40.58 s [sydtest-mutation-example-gen] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/gcc
  533. 40.58 s [sydtest-mutation-example-gen] Using ghc version 9.10.3 found on system at:
  534. 40.58 s [sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc
  535. 40.58 s [sydtest-mutation-example-gen] Using ghc-pkg version 9.10.3 found on system at:
  536. 40.58 s [sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc-pkg-9.10.3
  537. 40.58 s [sydtest-mutation-example-gen] No ghcjs found
  538. 40.58 s [sydtest-mutation-example-gen] No ghcjs-pkg found
  539. 40.58 s [sydtest-mutation-example-gen] No greencard found
  540. 40.58 s [sydtest-mutation-example-gen] Using haddock version 2.31.1 found on system at:
  541. 40.58 s [sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/haddock-ghc-9.10.3
  542. 40.58 s [sydtest-mutation-example-gen] No happy found
  543. 40.58 s [sydtest-mutation-example-gen] Using haskell-suite found on system at: haskell-suite-dummy-location
  544. 40.58 s [sydtest-mutation-example-gen] Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
  545. 40.58 s [sydtest-mutation-example-gen] No hmake found
  546. 40.58 s [sydtest-mutation-example-gen] Using hpc version 0.69 found on system at:
  547. 40.58 s [sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hpc-ghc-9.10.3
  548. 40.58 s [sydtest-mutation-example-gen] Using hsc2hs version 0.68.10 found on system at:
  549. 40.58 s [sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hsc2hs-ghc-9.10.3
  550. 40.58 s [sydtest-mutation-example-gen] Using hscolour version 1.25 found on system at:
  551. 40.58 s [sydtest-mutation-example-gen] /nix/store/f755skyzf4jvfx3crwq9mmh3x4lsaz8i-hscolour-1.25/bin/HsColour
  552. 40.58 s [sydtest-mutation-example-gen] No jhc found
  553. 40.58 s [sydtest-mutation-example-gen] Using ld found on system at:
  554. 40.58 s [sydtest-mutation-example-gen] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/ld
  555. 40.58 s [sydtest-mutation-example-gen] No pkg-config found
  556. 40.58 s [sydtest-mutation-example-gen] Using runghc version 9.10.3 found on system at:
  557. 40.58 s [sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/runghc-9.10.3
  558. 40.58 s [sydtest-mutation-example-gen] Using strip version 2.44 found on system at:
  559. 40.58 s [sydtest-mutation-example-gen] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/strip
  560. 40.58 s [sydtest-mutation-example-gen] Using tar found on system at:
  561. 40.58 s [sydtest-mutation-example-gen] /nix/store/xl6pd2spjajwcpq09fnmnjv5psqmlmma-gnutar-1.35/bin/tar
  562. 40.58 s [sydtest-mutation-example-gen] No uhc found
  563. 41.49 s [sydtest-mutation-example-gen] Phase: buildPhase
  564. 41.78 s [sydtest-mutation-example-gen] Preprocessing library for sydtest-mutation-example-gen-0.0.0.0...
  565. 41.78 s [sydtest-mutation-example-gen] Building library for sydtest-mutation-example-gen-0.0.0.0...
  566. 42.02 s [sydtest-mutation-example-gen] [1 of 2] Compiling Example.Gen ( src/Example/Gen.hs, dist/build/Example/Gen.o, dist/build/Example/Gen.dyn_o )
  567. 42.15 s [sydtest-mutation-example-gen] [2 of 2] Compiling Paths_sydtest_mutation_example_gen ( dist/build/autogen/Paths_sydtest_mutation_example_gen.hs, dist/build/Paths_sydtest_mutation_example_gen.o, dist/build/Paths_sydtest_mutation_example_gen.dyn_o )
  568. 42.70 s [sydtest-mutation-example-gen] [1 of 2] Compiling Example.Gen ( src/Example/Gen.hs, dist/build/Example/Gen.p_o )
  569. 43.01 s [sydtest-mutation-example-gen] [2 of 2] Compiling Paths_sydtest_mutation_example_gen ( dist/build/autogen/Paths_sydtest_mutation_example_gen.hs, dist/build/Paths_sydtest_mutation_example_gen.p_o )
  570. 45.82 s [sydtest-mutation-example-gen] Preprocessing test suite 'sydtest-mutation-example-gen-test' for sydtest-mutation-example-gen-0.0.0.0...
  571. 45.82 s [sydtest-mutation-example-gen] Building test suite 'sydtest-mutation-example-gen-test' for sydtest-mutation-example-gen-0.0.0.0...
  572. 46.13 s [sydtest-mutation-example-gen] [ 1 of 12] Compiling Example.BoolLibSpec ( test/Example/BoolLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/BoolLibSpec.o )
  573. 46.77 s [sydtest-mutation-example-gen] [ 2 of 12] Compiling Example.CaseLibSpec ( test/Example/CaseLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/CaseLibSpec.o )
  574. 46.77 s [sydtest-mutation-example-gen] [ 3 of 12] Compiling Example.DoLibSpec ( test/Example/DoLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/DoLibSpec.o )
  575. 46.77 s [sydtest-mutation-example-gen] [ 4 of 12] Compiling Example.ExceptionLibSpec ( test/Example/ExceptionLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/ExceptionLibSpec.o )
  576. 46.77 s [sydtest-mutation-example-gen] [ 5 of 12] Compiling Example.FunctionExceptionLibSpec ( test/Example/FunctionExceptionLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/FunctionExceptionLibSpec.o )
  577. 46.77 s [sydtest-mutation-example-gen] [ 6 of 12] Compiling Example.LibSpec ( test/Example/LibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/LibSpec.o )
  578. 46.77 s [sydtest-mutation-example-gen] [ 7 of 12] Compiling Example.ListLibSpec ( test/Example/ListLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/ListLibSpec.o )
  579. 46.84 s [sydtest-mutation-example-gen] [ 8 of 12] Compiling Example.LocalDisableLibSpec ( test/Example/LocalDisableLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/LocalDisableLibSpec.o )
  580. 47.02 s [sydtest-mutation-example-gen] [ 9 of 12] Compiling Example.LogicLibSpec ( test/Example/LogicLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/LogicLibSpec.o )
  581. 47.02 s [sydtest-mutation-example-gen] [10 of 12] Compiling Example.OtherwiseLibSpec ( test/Example/OtherwiseLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/OtherwiseLibSpec.o )
  582. 47.02 s [sydtest-mutation-example-gen] [11 of 12] Compiling Main ( test/Spec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Main.o )
  583. 47.19 s [sydtest-mutation-example-gen] [12 of 12] Compiling Paths_sydtest_mutation_example_gen ( dist/build/sydtest-mutation-example-gen-test/autogen/Paths_sydtest_mutation_example_gen.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Paths_sydtest_mutation_example_gen.o )
  584. 47.94 s [sydtest-mutation-example-gen] [13 of 13] Linking dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test
  585. 51.73 s [sydtest-mutation-example-gen] Phase: checkPhase
  586. 51.76 s [sydtest-mutation-example-gen] mutation-nix: collecting coverage for suite sydtest-mutation-example-gen
  587. 51.82 s [sydtest-mutation-example-gen] coverage (1/42): running Example\.DoLibSpec.greet.greets quietly
  588. 51.83 s [sydtest-mutation-example-gen] coverage (3/42): running Example\.ExceptionLibSpec.addOneModuleDisabled.increments by one
  589. 51.83 s [sydtest-mutation-example-gen] coverage (4/42): running Example\.LocalDisableLibSpec.withInnerKept.is True when given False
  590. 51.83 s [sydtest-mutation-example-gen] coverage (5/42): running Example\.LocalDisableLibSpec.withInnerKept.is False when given True
  591. 51.83 s [sydtest-mutation-example-gen] coverage (9/42): running Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (True -> False)
  592. 51.83 s [sydtest-mutation-example-gen] coverage (8/42): running Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (False -> True)
  593. 51.83 s [sydtest-mutation-example-gen] coverage (10/42): running Example\.LocalDisableLibSpec.withInnerDisabled.is False when given True
  594. 51.83 s [sydtest-mutation-example-gen] coverage (12/42): running Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (False -> True)
  595. 51.83 s [sydtest-mutation-example-gen] coverage (7/42): running Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is True when given False
  596. 51.83 s [sydtest-mutation-example-gen] coverage (14/42): running Example\.BoolLibSpec.wrapTrue.is Just True
  597. 51.83 s [sydtest-mutation-example-gen] coverage (13/42): running Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (True -> False)
  598. 51.83 s [sydtest-mutation-example-gen] coverage (6/42): running Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is False when given True
  599. 51.83 s [sydtest-mutation-example-gen] coverage (16/42): running Example\.BoolLibSpec.negateWrapped.negates Just True to Just False
  600. 51.83 s [sydtest-mutation-example-gen] coverage (15/42): running Example\.BoolLibSpec.wrapFalse.is Just False
  601. 51.84 s [sydtest-mutation-example-gen] coverage (17/42): running Example\.BoolLibSpec.negateWrapped.leaves Nothing as Nothing
  602. 51.84 s [sydtest-mutation-example-gen] coverage (11/42): running Example\.LocalDisableLibSpec.withInnerDisabled.is True when given False
  603. 51.84 s [sydtest-mutation-example-gen] coverage (19/42): running Example\.ListLibSpec.pairConcat.preserves the order
  604. 51.84 s [sydtest-mutation-example-gen] coverage (22/42): running Example\.ListLibSpec.tripleConcat.distinguishes the first element
  605. 51.84 s [sydtest-mutation-example-gen] coverage (18/42): running Example\.BoolLibSpec.negateWrapped.negates Just False to Just True
  606. 51.84 s [sydtest-mutation-example-gen] coverage (21/42): running Example\.ListLibSpec.tripleConcat.distinguishes the last element
  607. 51.84 s [sydtest-mutation-example-gen] coverage (23/42): running Example\.ListLibSpec.tripleConcat.concatenates all three arguments
  608. 51.84 s [sydtest-mutation-example-gen] coverage (24/42): running Example\.CaseLibSpec.describeList.describes singleton lists
  609. 51.84 s [sydtest-mutation-example-gen] coverage (2/42): running Example\.DoLibSpec.greet.greets loudly
  610. 51.84 s [sydtest-mutation-example-gen] coverage (26/42): running Example\.CaseLibSpec.describeList.describes empty lists
  611. 51.84 s [sydtest-mutation-example-gen] coverage (25/42): running Example\.CaseLibSpec.describeList.describes longer lists
  612. 51.84 s [sydtest-mutation-example-gen] coverage (20/42): running Example\.ListLibSpec.pairConcat.concatenates both arguments
  613. 51.84 s [sydtest-mutation-example-gen] coverage (29/42): running Example\.OtherwiseLibSpec.classify.classifies negative numbers
  614. 51.84 s [sydtest-mutation-example-gen] coverage (28/42): running Example\.LibSpec.addOne.returns 2 for input 1
  615. 51.93 s [sydtest-mutation-example-gen] coverage (9/42): done Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (True -> False) (6 mutations)
  616. 51.93 s [sydtest-mutation-example-gen] coverage (30/42): running Example\.OtherwiseLibSpec.classify.classifies positive numbers
  617. 51.96 s [sydtest-mutation-example-gen] coverage (16/42): done Example\.BoolLibSpec.negateWrapped.negates Just True to Just False (0 mutations)
  618. 51.97 s [sydtest-mutation-example-gen] coverage (14/42): done Example\.BoolLibSpec.wrapTrue.is Just True (2 mutations)
  619. 51.97 s [sydtest-mutation-example-gen] coverage (32/42): running Example\.FunctionExceptionLibSpec.addOneArithDisabled.increments by one
  620. 51.97 s [sydtest-mutation-example-gen] coverage (27/42): running Example\.LibSpec.addOne.returns 6 for input 5
  621. 51.97 s [sydtest-mutation-example-gen] coverage (8/42): done Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (False -> True) (6 mutations)
  622. 51.97 s [sydtest-mutation-example-gen] coverage (1/42): done Example\.DoLibSpec.greet.greets quietly (5 mutations)
  623. 51.98 s [sydtest-mutation-example-gen] coverage (35/42): running Example\.LogicLibSpec.eitherPositive.is True when only the second is positive
  624. 51.98 s [sydtest-mutation-example-gen] coverage (31/42): running Example\.OtherwiseLibSpec.classify.classifies zero
  625. 52.01 s [sydtest-mutation-example-gen] coverage (25/42): done Example\.CaseLibSpec.describeList.describes longer lists (3 mutations)
  626. 52.01 s [sydtest-mutation-example-gen] coverage (22/42): done Example\.ListLibSpec.tripleConcat.distinguishes the first element (3 mutations)
  627. 52.01 s [sydtest-mutation-example-gen] coverage (7/42): done Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is True when given False (8 mutations)
  628. 52.01 s [sydtest-mutation-example-gen] coverage (38/42): running Example\.LogicLibSpec.eitherPositive.is True when both are positive
  629. 52.01 s [sydtest-mutation-example-gen] coverage (36/42): running Example\.LogicLibSpec.eitherPositive.is False when neither is positive
  630. 52.01 s [sydtest-mutation-example-gen] coverage (34/42): running Example\.FunctionExceptionLibSpec.addOneFunctionDisabled.increments by one
  631. 52.02 s [sydtest-mutation-example-gen] coverage (6/42): done Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is False when given True (8 mutations)
  632. 52.03 s [sydtest-mutation-example-gen] coverage (10/42): done Example\.LocalDisableLibSpec.withInnerDisabled.is False when given True (6 mutations)
  633. 52.03 s [sydtest-mutation-example-gen] coverage (40/42): running Example\.LogicLibSpec.bothPositive.is True when both are positive
  634. 52.03 s [sydtest-mutation-example-gen] coverage (37/42): running Example\.LogicLibSpec.eitherPositive.is True when only the first is positive
  635. 52.04 s [sydtest-mutation-example-gen] coverage (5/42): done Example\.LocalDisableLibSpec.withInnerKept.is False when given True (12 mutations)
  636. 52.04 s [sydtest-mutation-example-gen] coverage (2/42): done Example\.DoLibSpec.greet.greets loudly (5 mutations)
  637. 52.04 s [sydtest-mutation-example-gen] coverage (19/42): done Example\.ListLibSpec.pairConcat.preserves the order (2 mutations)
  638. 52.04 s [sydtest-mutation-example-gen] coverage (11/42): done Example\.LocalDisableLibSpec.withInnerDisabled.is True when given False (6 mutations)
  639. 52.04 s [sydtest-mutation-example-gen] coverage (4/42): done Example\.LocalDisableLibSpec.withInnerKept.is True when given False (12 mutations)
  640. 52.05 s [sydtest-mutation-example-gen] coverage (42/42): running Example\.LogicLibSpec.bothPositive.is False when neither is positive
  641. 52.06 s [sydtest-mutation-example-gen] coverage (39/42): running Example\.LogicLibSpec.bothPositive.is False when only the first is positive
  642. 52.06 s [sydtest-mutation-example-gen] coverage (41/42): running Example\.LogicLibSpec.bothPositive.is False when only the second is positive
  643. 52.06 s [sydtest-mutation-example-gen] coverage (33/42): running Example\.FunctionExceptionLibSpec.addOneArithAndIntLitDisabled.increments by one
  644. 52.06 s [sydtest-mutation-example-gen] coverage (15/42): done Example\.BoolLibSpec.wrapFalse.is Just False (2 mutations)
  645. 52.07 s [sydtest-mutation-example-gen] coverage (13/42): done Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (True -> False) (3 mutations)
  646. 52.07 s [sydtest-mutation-example-gen] coverage (17/42): done Example\.BoolLibSpec.negateWrapped.leaves Nothing as Nothing (0 mutations)
  647. 52.07 s [sydtest-mutation-example-gen] coverage (3/42): done Example\.ExceptionLibSpec.addOneModuleDisabled.increments by one (0 mutations)
  648. 52.07 s [sydtest-mutation-example-gen] coverage (20/42): done Example\.ListLibSpec.pairConcat.concatenates both arguments (2 mutations)
  649. 52.07 s [sydtest-mutation-example-gen] coverage (28/42): done Example\.LibSpec.addOne.returns 2 for input 1 (4 mutations)
  650. 52.07 s [sydtest-mutation-example-gen] coverage (26/42): done Example\.CaseLibSpec.describeList.describes empty lists (3 mutations)
  651. 52.10 s [sydtest-mutation-example-gen] coverage (31/42): done Example\.OtherwiseLibSpec.classify.classifies zero (9 mutations)
  652. 52.10 s [sydtest-mutation-example-gen] coverage (32/42): done Example\.FunctionExceptionLibSpec.addOneArithDisabled.increments by one (2 mutations)
  653. 52.11 s [sydtest-mutation-example-gen] coverage (27/42): done Example\.LibSpec.addOne.returns 6 for input 5 (4 mutations)
  654. 52.11 s [sydtest-mutation-example-gen] coverage (21/42): done Example\.ListLibSpec.tripleConcat.distinguishes the last element (3 mutations)
  655. 52.12 s [sydtest-mutation-example-gen] coverage (30/42): done Example\.OtherwiseLibSpec.classify.classifies positive numbers (9 mutations)
  656. 52.12 s [sydtest-mutation-example-gen] coverage (36/42): done Example\.LogicLibSpec.eitherPositive.is False when neither is positive (18 mutations)
  657. 52.12 s [sydtest-mutation-example-gen] coverage (23/42): done Example\.ListLibSpec.tripleConcat.concatenates all three arguments (3 mutations)
  658. 52.12 s [sydtest-mutation-example-gen] coverage (29/42): done Example\.OtherwiseLibSpec.classify.classifies negative numbers (6 mutations)
  659. 52.13 s [sydtest-mutation-example-gen] coverage (24/42): done Example\.CaseLibSpec.describeList.describes singleton lists (3 mutations)
  660. 52.13 s [sydtest-mutation-example-gen] coverage (12/42): done Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (False -> True) (3 mutations)
  661. 52.14 s [sydtest-mutation-example-gen] coverage (35/42): done Example\.LogicLibSpec.eitherPositive.is True when only the second is positive (18 mutations)
  662. 52.14 s [sydtest-mutation-example-gen] coverage (38/42): done Example\.LogicLibSpec.eitherPositive.is True when both are positive (11 mutations)
  663. 52.15 s [sydtest-mutation-example-gen] coverage (42/42): done Example\.LogicLibSpec.bothPositive.is False when neither is positive (11 mutations)
  664. 52.17 s [sydtest-mutation-example-gen] coverage (37/42): done Example\.LogicLibSpec.eitherPositive.is True when only the first is positive (11 mutations)
  665. 52.17 s [sydtest-mutation-example-gen] coverage (33/42): done Example\.FunctionExceptionLibSpec.addOneArithAndIntLitDisabled.increments by one (0 mutations)
  666. 52.18 s [sydtest-mutation-example-gen] coverage (40/42): done Example\.LogicLibSpec.bothPositive.is True when both are positive (18 mutations)
  667. 52.18 s [sydtest-mutation-example-gen] coverage (34/42): done Example\.FunctionExceptionLibSpec.addOneFunctionDisabled.increments by one (0 mutations)
  668. 52.18 s [sydtest-mutation-example-gen] coverage (39/42): done Example\.LogicLibSpec.bothPositive.is False when only the first is positive (18 mutations)
  669. 52.19 s [sydtest-mutation-example-gen] coverage (41/42): done Example\.LogicLibSpec.bothPositive.is False when only the second is positive (11 mutations)
  670. 52.19 s [sydtest-mutation-example-gen] coverage (18/42): done Example\.BoolLibSpec.negateWrapped.negates Just False to Just True (0 mutations)
  671. 52.24 s [sydtest-mutation-example-gen] mutation-nix: running mutations
  672. 52.33 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/LogicLib.hs:17:26-27 #1
  673. 52.33 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  674. 52.33 s [sydtest-mutation-example-gen] --
  675. 52.33 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  676. 52.33 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  677. 52.33 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  678. 52.33 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 1 || b > 0
  679. 52.33 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/LogicLib.hs:17:35-36 #1
  680. 52.33 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  681. 52.33 s [sydtest-mutation-example-gen] --
  682. 52.33 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  683. 52.33 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  684. 52.33 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  685. 52.33 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || b > 1
  686. 52.33 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-27 #1
  687. 52.33 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  688. 52.33 s [sydtest-mutation-example-gen] --
  689. 52.33 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  690. 52.33 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  691. 52.33 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  692. 52.33 s [sydtest-mutation-example-gen] +eitherPositive a b = True || b > 0
  693. 52.33 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:17:31-36 #1
  694. 52.33 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  695. 52.33 s [sydtest-mutation-example-gen] --
  696. 52.33 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  697. 52.33 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  698. 52.33 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  699. 52.33 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || not (b > 0)
  700. 52.33 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:31-36 #2
  701. 52.33 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  702. 52.34 s [sydtest-mutation-example-gen] --
  703. 52.34 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  704. 52.34 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  705. 52.34 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  706. 52.34 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || b <= 0
  707. 52.34 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-36 #1
  708. 52.34 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  709. 52.34 s [sydtest-mutation-example-gen] --
  710. 52.34 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  711. 52.34 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  712. 52.34 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  713. 52.34 s [sydtest-mutation-example-gen] +eitherPositive a b = True
  714. 52.34 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:31-36 #1
  715. 52.34 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  716. 52.34 s [sydtest-mutation-example-gen] --
  717. 52.34 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  718. 52.34 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  719. 52.34 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  720. 52.34 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || True
  721. 52.34 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-27 #2
  722. 52.34 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  723. 52.34 s [sydtest-mutation-example-gen] --
  724. 52.34 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  725. 52.34 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  726. 52.34 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  727. 52.34 s [sydtest-mutation-example-gen] +eitherPositive a b = False || b > 0
  728. 52.34 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/LogicLib.hs:11:24-25 #1
  729. 52.34 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  730. 52.34 s [sydtest-mutation-example-gen] --
  731. 52.34 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  732. 52.34 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  733. 52.34 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  734. 52.34 s [sydtest-mutation-example-gen] +bothPositive a b = a > 1 && b > 0
  735. 52.34 s [sydtest-mutation-example-gen]
  736. 52.34 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  737. 52.34 s [sydtest-mutation-example-gen] --
  738. 52.34 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-36 #2
  739. 52.34 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  740. 52.34 s [sydtest-mutation-example-gen] --
  741. 52.34 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  742. 52.34 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  743. 52.34 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  744. 52.34 s [sydtest-mutation-example-gen] +eitherPositive a b = False
  745. 52.34 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:22-27 #2
  746. 52.34 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  747. 52.34 s [sydtest-mutation-example-gen] --
  748. 52.34 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  749. 52.34 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  750. 52.34 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  751. 52.34 s [sydtest-mutation-example-gen] +eitherPositive a b = a <= 0 || b > 0
  752. 52.34 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:31-36 #3
  753. 52.35 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  754. 52.35 s [sydtest-mutation-example-gen] --
  755. 52.35 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  756. 52.35 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  757. 52.35 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  758. 52.35 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || b >= 0
  759. 52.35 s [sydtest-mutation-example-gen] Testing mutation LogicOp at src/Example/LogicLib.hs:17:22-36 #1
  760. 52.35 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  761. 52.35 s [sydtest-mutation-example-gen] --
  762. 52.35 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  763. 52.35 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  764. 52.35 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  765. 52.35 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 && b > 0
  766. 52.35 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:22-27 #3
  767. 52.35 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  768. 52.35 s [sydtest-mutation-example-gen] --
  769. 52.35 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  770. 52.35 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  771. 52.35 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  772. 52.35 s [sydtest-mutation-example-gen] +eitherPositive a b = a >= 0 || b > 0
  773. 52.35 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:20-25 #2
  774. 52.35 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  775. 52.35 s [sydtest-mutation-example-gen] --
  776. 52.35 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  777. 52.35 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  778. 52.35 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  779. 52.35 s [sydtest-mutation-example-gen] +bothPositive a b = a <= 0 && b > 0
  780. 52.35 s [sydtest-mutation-example-gen]
  781. 52.35 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  782. 52.35 s [sydtest-mutation-example-gen] --
  783. 52.35 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-25 #2
  784. 52.35 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  785. 52.35 s [sydtest-mutation-example-gen] --
  786. 52.35 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  787. 52.35 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  788. 52.35 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  789. 52.35 s [sydtest-mutation-example-gen] +bothPositive a b = False && b > 0
  790. 52.35 s [sydtest-mutation-example-gen]
  791. 52.35 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  792. 52.35 s [sydtest-mutation-example-gen] --
  793. 52.35 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-25 #1
  794. 52.35 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  795. 52.35 s [sydtest-mutation-example-gen] --
  796. 52.35 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  797. 52.35 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  798. 52.35 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  799. 52.35 s [sydtest-mutation-example-gen] +bothPositive a b = True && b > 0
  800. 52.35 s [sydtest-mutation-example-gen]
  801. 52.35 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  802. 52.35 s [sydtest-mutation-example-gen] --
  803. 52.35 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:17:22-27 #1
  804. 52.35 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  805. 52.35 s [sydtest-mutation-example-gen] --
  806. 52.35 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  807. 52.35 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  808. 52.35 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  809. 52.35 s [sydtest-mutation-example-gen] +eitherPositive a b = not (a > 0) || b > 0
  810. 52.35 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:29-34 #3
  811. 52.35 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  812. 52.36 s [sydtest-mutation-example-gen] --
  813. 52.36 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  814. 52.36 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  815. 52.36 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  816. 52.36 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 && b >= 0
  817. 52.36 s [sydtest-mutation-example-gen]
  818. 52.36 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  819. 52.36 s [sydtest-mutation-example-gen] --
  820. 52.36 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:31-36 #1
  821. 52.36 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  822. 52.36 s [sydtest-mutation-example-gen] --
  823. 52.36 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  824. 52.36 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  825. 52.36 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  826. 52.36 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || b < 0
  827. 52.36 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:20-25 #1
  828. 52.36 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  829. 52.36 s [sydtest-mutation-example-gen] --
  830. 52.36 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  831. 52.36 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  832. 52.36 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  833. 52.36 s [sydtest-mutation-example-gen] +bothPositive a b = a < 0 && b > 0
  834. 52.36 s [sydtest-mutation-example-gen]
  835. 52.36 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  836. 52.36 s [sydtest-mutation-example-gen] --
  837. 52.36 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:22-27 #1
  838. 52.36 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  839. 52.36 s [sydtest-mutation-example-gen] --
  840. 52.36 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  841. 52.36 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  842. 52.59 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  843. 52.59 s [sydtest-mutation-example-gen] +eitherPositive a b = a < 0 || b > 0
  844. 52.59 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:11:29-34 #1
  845. 52.59 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  846. 52.59 s [sydtest-mutation-example-gen] --
  847. 52.59 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  848. 52.59 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  849. 52.59 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  850. 52.59 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 && not (b > 0)
  851. 52.59 s [sydtest-mutation-example-gen]
  852. 52.59 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  853. 52.59 s [sydtest-mutation-example-gen] --
  854. 52.59 s [sydtest-mutation-example-gen] Testing mutation RemoveCase at src/Example/CaseLib.hs:7:19-16 #1
  855. 52.59 s [sydtest-mutation-example-gen] @@ -4,7 +4,6 @@
  856. 52.59 s [sydtest-mutation-example-gen] --
  857. 52.59 s [sydtest-mutation-example-gen] -- Mutation sites: RemoveCase removes one of the three alternatives.
  858. 52.59 s [sydtest-mutation-example-gen] describeList :: [a] -> String
  859. 52.60 s [sydtest-mutation-example-gen] describeList xs = case xs of
  860. 52.60 s [sydtest-mutation-example-gen] - [] -> "empty"
  861. 52.60 s [sydtest-mutation-example-gen] [_] -> "singleton"
  862. 52.60 s [sydtest-mutation-example-gen] _ -> "longer"
  863. 52.60 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:29-34 #1
  864. 52.60 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  865. 52.60 s [sydtest-mutation-example-gen] --
  866. 52.60 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  867. 52.60 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  868. 52.60 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  869. 52.60 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 && b < 0
  870. 52.60 s [sydtest-mutation-example-gen]
  871. 52.60 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  872. 52.60 s [sydtest-mutation-example-gen] --
  873. 52.60 s [sydtest-mutation-example-gen] Testing mutation BoolLit at src/Example/BoolLib.hs:18:18-23 #1
  874. 52.60 s [sydtest-mutation-example-gen] @@ -15,7 +15,7 @@
  875. 52.60 s [sydtest-mutation-example-gen] --
  876. 52.60 s [sydtest-mutation-example-gen] -- Mutation sites: BoolLit/ConstBool on the inner False, MaybeOp on Just False.
  877. 52.61 s [sydtest-mutation-example-gen] wrapFalse :: Maybe Bool
  878. 52.61 s [sydtest-mutation-example-gen] -wrapFalse = Just False
  879. 52.61 s [sydtest-mutation-example-gen] +wrapFalse = Just True
  880. 52.61 s [sydtest-mutation-example-gen]
  881. 52.61 s [sydtest-mutation-example-gen] -- | Negates a wrapped boolean.
  882. 52.61 s [sydtest-mutation-example-gen] negateWrapped :: Maybe Bool -> Maybe Bool
  883. 52.61 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-34 #1
  884. 52.61 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  885. 52.61 s [sydtest-mutation-example-gen] --
  886. 52.61 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  887. 52.61 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  888. 52.61 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  889. 52.61 s [sydtest-mutation-example-gen] +bothPositive a b = True
  890. 52.61 s [sydtest-mutation-example-gen]
  891. 52.61 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  892. 52.61 s [sydtest-mutation-example-gen] --
  893. 52.61 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:11:20-34 #1
  894. 52.61 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  895. 52.61 s [sydtest-mutation-example-gen] --
  896. 52.61 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  897. 52.61 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  898. 52.61 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  899. 52.61 s [sydtest-mutation-example-gen] +bothPositive a b = not (a > 0 && b > 0)
  900. 52.61 s [sydtest-mutation-example-gen]
  901. 52.61 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  902. 52.62 s [sydtest-mutation-example-gen] --
  903. 52.62 s [sydtest-mutation-example-gen] Testing mutation MaybeOp at src/Example/BoolLib.hs:12:12-21 #1
  904. 52.62 s [sydtest-mutation-example-gen] @@ -9,7 +9,7 @@
  905. 52.62 s [sydtest-mutation-example-gen] --
  906. 52.62 s [sydtest-mutation-example-gen] -- Mutation sites: BoolLit/ConstBool on the inner True, MaybeOp on Just True.
  907. 52.62 s [sydtest-mutation-example-gen] wrapTrue :: Maybe Bool
  908. 52.62 s [sydtest-mutation-example-gen] -wrapTrue = Just True
  909. 52.62 s [sydtest-mutation-example-gen] +wrapTrue = Nothing
  910. 52.62 s [sydtest-mutation-example-gen]
  911. 52.62 s [sydtest-mutation-example-gen] -- | Wraps False in Just.
  912. 52.62 s [sydtest-mutation-example-gen] --
  913. 52.62 s [sydtest-mutation-example-gen] Testing mutation MaybeOp at src/Example/BoolLib.hs:18:13-23 #1
  914. 52.62 s [sydtest-mutation-example-gen] @@ -15,7 +15,7 @@
  915. 52.62 s [sydtest-mutation-example-gen] --
  916. 52.62 s [sydtest-mutation-example-gen] -- Mutation sites: BoolLit/ConstBool on the inner False, MaybeOp on Just False.
  917. 52.62 s [sydtest-mutation-example-gen] wrapFalse :: Maybe Bool
  918. 52.62 s [sydtest-mutation-example-gen] -wrapFalse = Just False
  919. 52.62 s [sydtest-mutation-example-gen] +wrapFalse = Nothing
  920. 52.62 s [sydtest-mutation-example-gen]
  921. 52.62 s [sydtest-mutation-example-gen] -- | Negates a wrapped boolean.
  922. 52.62 s [sydtest-mutation-example-gen] negateWrapped :: Maybe Bool -> Maybe Bool
  923. 52.63 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:58:19-20 #1
  924. 52.63 s [sydtest-mutation-example-gen] @@ -55,5 +55,5 @@
  925. 52.63 s [sydtest-mutation-example-gen] -- @toggle b@ is fully instrumented.
  926. 52.63 s [sydtest-mutation-example-gen] withBindKept :: (Bool -> IO Bool) -> Bool -> IO Bool
  927. 52.63 s [sydtest-mutation-example-gen] withBindKept toggle b = do
  928. 52.63 s [sydtest-mutation-example-gen] - inner <- toggle b
  929. 52.63 s [sydtest-mutation-example-gen] + inner <- toggle True
  930. 52.63 s [sydtest-mutation-example-gen] pure inner
  931. 52.63 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LocalDisableLib.hs:58:19-20 #1
  932. 52.63 s [sydtest-mutation-example-gen] @@ -55,5 +55,5 @@
  933. 52.63 s [sydtest-mutation-example-gen] -- @toggle b@ is fully instrumented.
  934. 52.63 s [sydtest-mutation-example-gen] withBindKept :: (Bool -> IO Bool) -> Bool -> IO Bool
  935. 52.63 s [sydtest-mutation-example-gen] withBindKept toggle b = do
  936. 52.63 s [sydtest-mutation-example-gen] - inner <- toggle b
  937. 52.63 s [sydtest-mutation-example-gen] + inner <- toggle not (b)
  938. 52.63 s [sydtest-mutation-example-gen] pure inner
  939. 52.63 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:59:8-13 #2
  940. 52.63 s [sydtest-mutation-example-gen] @@ -56,4 +56,4 @@
  941. 52.63 s [sydtest-mutation-example-gen] withBindKept :: (Bool -> IO Bool) -> Bool -> IO Bool
  942. 52.63 s [sydtest-mutation-example-gen] withBindKept toggle b = do
  943. 52.63 s [sydtest-mutation-example-gen] inner <- toggle b
  944. 52.63 s [sydtest-mutation-example-gen] - pure inner
  945. 52.64 s [sydtest-mutation-example-gen] + pure False
  946. 52.64 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:29-34 #1
  947. 52.64 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  948. 52.64 s [sydtest-mutation-example-gen] --
  949. 52.64 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  950. 52.64 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  951. 52.64 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  952. 52.64 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 && True
  953. 52.64 s [sydtest-mutation-example-gen]
  954. 52.64 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  955. 52.64 s [sydtest-mutation-example-gen] --
  956. 52.64 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-34 #2
  957. 52.64 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  958. 52.64 s [sydtest-mutation-example-gen] --
  959. 52.64 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  960. 52.64 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  961. 52.64 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  962. 52.64 s [sydtest-mutation-example-gen] +bothPositive a b = False
  963. 52.64 s [sydtest-mutation-example-gen]
  964. 52.64 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  965. 52.64 s [sydtest-mutation-example-gen] --
  966. 52.64 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:59:8-13 #1
  967. 52.64 s [sydtest-mutation-example-gen] @@ -56,4 +56,4 @@
  968. 52.64 s [sydtest-mutation-example-gen] withBindKept :: (Bool -> IO Bool) -> Bool -> IO Bool
  969. 52.64 s [sydtest-mutation-example-gen] withBindKept toggle b = do
  970. 52.64 s [sydtest-mutation-example-gen] inner <- toggle b
  971. 52.64 s [sydtest-mutation-example-gen] - pure inner
  972. 52.64 s [sydtest-mutation-example-gen] + pure True
  973. 52.64 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LocalDisableLib.hs:52:8-13 #1
  974. 52.64 s [sydtest-mutation-example-gen] @@ -49,7 +49,7 @@
  975. 52.64 s [sydtest-mutation-example-gen] withBindDisabled :: (Bool -> IO Bool) -> Bool -> IO Bool
  976. 52.65 s [sydtest-mutation-example-gen] withBindDisabled toggle b = do
  977. 52.65 s [sydtest-mutation-example-gen] inner <- toggle b
  978. 52.65 s [sydtest-mutation-example-gen] - pure inner
  979. 52.65 s [sydtest-mutation-example-gen] + pure not (inner)
  980. 52.65 s [sydtest-mutation-example-gen]
  981. 52.65 s [sydtest-mutation-example-gen] -- | Control for 'withBindDisabled': no disable annotation, so the RHS
  982. 52.65 s [sydtest-mutation-example-gen] -- @toggle b@ is fully instrumented.
  983. 52.65 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:36:19-20 #2
  984. 52.65 s [sydtest-mutation-example-gen] @@ -33,7 +33,7 @@
  985. 52.65 s [sydtest-mutation-example-gen] -- on the @inner@ binding's RHS.
  986. 52.65 s [sydtest-mutation-example-gen] withInnerKept :: Bool -> Bool
  987. 52.65 s [sydtest-mutation-example-gen] withInnerKept b =
  988. 52.65 s [sydtest-mutation-example-gen] - let inner = not b
  989. 52.65 s [sydtest-mutation-example-gen] + let inner = not False
  990. 52.65 s [sydtest-mutation-example-gen] in inner
  991. 52.65 s [sydtest-mutation-example-gen]
  992. 52.65 s [sydtest-mutation-example-gen] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  993. 52.65 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:36:19-20 #1
  994. 52.65 s [sydtest-mutation-example-gen] @@ -33,7 +33,7 @@
  995. 52.65 s [sydtest-mutation-example-gen] -- on the @inner@ binding's RHS.
  996. 52.65 s [sydtest-mutation-example-gen] withInnerKept :: Bool -> Bool
  997. 52.65 s [sydtest-mutation-example-gen] withInnerKept b =
  998. 52.65 s [sydtest-mutation-example-gen] - let inner = not b
  999. 52.65 s [sydtest-mutation-example-gen] + let inner = not True
  1000. 52.65 s [sydtest-mutation-example-gen] in inner
  1001. 52.65 s [sydtest-mutation-example-gen]
  1002. 52.65 s [sydtest-mutation-example-gen] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  1003. 52.65 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:58:19-20 #2
  1004. 52.65 s [sydtest-mutation-example-gen] @@ -55,5 +55,5 @@
  1005. 52.65 s [sydtest-mutation-example-gen] -- @toggle b@ is fully instrumented.
  1006. 52.66 s [sydtest-mutation-example-gen] withBindKept :: (Bool -> IO Bool) -> Bool -> IO Bool
  1007. 52.66 s [sydtest-mutation-example-gen] withBindKept toggle b = do
  1008. 52.66 s [sydtest-mutation-example-gen] - inner <- toggle b
  1009. 52.66 s [sydtest-mutation-example-gen] + inner <- toggle False
  1010. 52.66 s [sydtest-mutation-example-gen] pure inner
  1011. 52.66 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:36:15-20 #1
  1012. 52.66 s [sydtest-mutation-example-gen] @@ -33,7 +33,7 @@
  1013. 52.66 s [sydtest-mutation-example-gen] -- on the @inner@ binding's RHS.
  1014. 52.66 s [sydtest-mutation-example-gen] withInnerKept :: Bool -> Bool
  1015. 52.66 s [sydtest-mutation-example-gen] withInnerKept b =
  1016. 52.66 s [sydtest-mutation-example-gen] - let inner = not b
  1017. 52.66 s [sydtest-mutation-example-gen] + let inner = True
  1018. 52.66 s [sydtest-mutation-example-gen] in inner
  1019. 52.66 s [sydtest-mutation-example-gen]
  1020. 52.66 s [sydtest-mutation-example-gen] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  1021. 52.66 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/FunctionExceptionLib.hs:15:29-30 #2
  1022. 52.66 s [sydtest-mutation-example-gen] @@ -12,7 +12,7 @@
  1023. 52.66 s [sydtest-mutation-example-gen] -- IntLit mutations (replacing the literal @1@) still apply.
  1024. 52.66 s [sydtest-mutation-example-gen] {-# ANN addOneArithDisabled ("DisableMutation: Arith" :: String) #-}
  1025. 52.66 s [sydtest-mutation-example-gen] addOneArithDisabled :: Int -> Int
  1026. 52.66 s [sydtest-mutation-example-gen] -addOneArithDisabled n = n + 1
  1027. 52.72 s [sydtest-mutation-example-gen] +addOneArithDisabled n = n + -1
  1028. 52.72 s [sydtest-mutation-example-gen]
  1029. 52.72 s [sydtest-mutation-example-gen] -- | Both Arith and IntLit mutations disabled on this function.
  1030. 52.72 s [sydtest-mutation-example-gen] {-# ANN addOneArithAndIntLitDisabled ("DisableMutations: Arith, IntLit" :: String) #-}
  1031. 52.72 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:52:8-13 #1
  1032. 52.72 s [sydtest-mutation-example-gen] @@ -49,7 +49,7 @@
  1033. 52.72 s [sydtest-mutation-example-gen] withBindDisabled :: (Bool -> IO Bool) -> Bool -> IO Bool
  1034. 52.73 s [sydtest-mutation-example-gen] withBindDisabled toggle b = do
  1035. 52.73 s [sydtest-mutation-example-gen] inner <- toggle b
  1036. 52.73 s [sydtest-mutation-example-gen] - pure inner
  1037. 52.73 s [sydtest-mutation-example-gen] + pure True
  1038. 52.73 s [sydtest-mutation-example-gen]
  1039. 52.73 s [sydtest-mutation-example-gen] -- | Control for 'withBindDisabled': no disable annotation, so the RHS
  1040. 52.73 s [sydtest-mutation-example-gen] -- @toggle b@ is fully instrumented.
  1041. 52.73 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LocalDisableLib.hs:36:15-20 #1
  1042. 52.73 s [sydtest-mutation-example-gen] @@ -33,7 +33,7 @@
  1043. 52.73 s [sydtest-mutation-example-gen] -- on the @inner@ binding's RHS.
  1044. 52.73 s [sydtest-mutation-example-gen] withInnerKept :: Bool -> Bool
  1045. 52.73 s [sydtest-mutation-example-gen] withInnerKept b =
  1046. 52.73 s [sydtest-mutation-example-gen] - let inner = not b
  1047. 52.73 s [sydtest-mutation-example-gen] + let inner = not (not b)
  1048. 52.73 s [sydtest-mutation-example-gen] in inner
  1049. 52.73 s [sydtest-mutation-example-gen]
  1050. 52.73 s [sydtest-mutation-example-gen] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  1051. 52.73 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LocalDisableLib.hs:36:19-20 #1
  1052. 52.73 s [sydtest-mutation-example-gen] @@ -33,7 +33,7 @@
  1053. 52.73 s [sydtest-mutation-example-gen] -- on the @inner@ binding's RHS.
  1054. 52.73 s [sydtest-mutation-example-gen] withInnerKept :: Bool -> Bool
  1055. 52.73 s [sydtest-mutation-example-gen] withInnerKept b =
  1056. 52.73 s [sydtest-mutation-example-gen] - let inner = not b
  1057. 52.73 s [sydtest-mutation-example-gen] + let inner = not not (b)
  1058. 52.73 s [sydtest-mutation-example-gen] in inner
  1059. 52.73 s [sydtest-mutation-example-gen]
  1060. 52.73 s [sydtest-mutation-example-gen] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  1061. 52.73 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:37:7-12 #1
  1062. 52.73 s [sydtest-mutation-example-gen] @@ -34,7 +34,7 @@
  1063. 52.74 s [sydtest-mutation-example-gen] withInnerKept :: Bool -> Bool
  1064. 52.74 s [sydtest-mutation-example-gen] withInnerKept b =
  1065. 52.74 s [sydtest-mutation-example-gen] let inner = not b
  1066. 52.74 s [sydtest-mutation-example-gen] - in inner
  1067. 52.74 s [sydtest-mutation-example-gen] + in True
  1068. 52.74 s [sydtest-mutation-example-gen]
  1069. 52.74 s [sydtest-mutation-example-gen] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  1070. 52.74 s [sydtest-mutation-example-gen] -- by a @do@-block @<-@ statement instead of a @let@. The annotation
  1071. 52.74 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:36:15-20 #2
  1072. 52.74 s [sydtest-mutation-example-gen] @@ -33,7 +33,7 @@
  1073. 52.74 s [sydtest-mutation-example-gen] -- on the @inner@ binding's RHS.
  1074. 52.74 s [sydtest-mutation-example-gen] withInnerKept :: Bool -> Bool
  1075. 52.74 s [sydtest-mutation-example-gen] withInnerKept b =
  1076. 52.74 s [sydtest-mutation-example-gen] - let inner = not b
  1077. 52.74 s [sydtest-mutation-example-gen] + let inner = False
  1078. 52.74 s [sydtest-mutation-example-gen] in inner
  1079. 52.74 s [sydtest-mutation-example-gen]
  1080. 52.74 s [sydtest-mutation-example-gen] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  1081. 52.74 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:52:8-13 #2
  1082. 52.74 s [sydtest-mutation-example-gen] @@ -49,7 +49,7 @@
  1083. 52.74 s [sydtest-mutation-example-gen] withBindDisabled :: (Bool -> IO Bool) -> Bool -> IO Bool
  1084. 52.74 s [sydtest-mutation-example-gen] withBindDisabled toggle b = do
  1085. 52.74 s [sydtest-mutation-example-gen] inner <- toggle b
  1086. 52.74 s [sydtest-mutation-example-gen] - pure inner
  1087. 52.74 s [sydtest-mutation-example-gen] + pure False
  1088. 52.74 s [sydtest-mutation-example-gen]
  1089. 52.74 s [sydtest-mutation-example-gen] -- | Control for 'withBindDisabled': no disable annotation, so the RHS
  1090. 52.74 s [sydtest-mutation-example-gen] -- @toggle b@ is fully instrumented.
  1091. 52.74 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:37:7-12 #2
  1092. 52.74 s [sydtest-mutation-example-gen] @@ -34,7 +34,7 @@
  1093. 52.75 s [sydtest-mutation-example-gen] withInnerKept :: Bool -> Bool
  1094. 52.75 s [sydtest-mutation-example-gen] withInnerKept b =
  1095. 52.75 s [sydtest-mutation-example-gen] let inner = not b
  1096. 52.75 s [sydtest-mutation-example-gen] - in inner
  1097. 52.75 s [sydtest-mutation-example-gen] + in False
  1098. 52.75 s [sydtest-mutation-example-gen]
  1099. 52.75 s [sydtest-mutation-example-gen] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  1100. 52.75 s [sydtest-mutation-example-gen] -- by a @do@-block @<-@ statement instead of a @let@. The annotation
  1101. 52.75 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/FunctionExceptionLib.hs:15:29-30 #1
  1102. 52.75 s [sydtest-mutation-example-gen] @@ -12,7 +12,7 @@
  1103. 52.75 s [sydtest-mutation-example-gen] -- IntLit mutations (replacing the literal @1@) still apply.
  1104. 52.75 s [sydtest-mutation-example-gen] {-# ANN addOneArithDisabled ("DisableMutation: Arith" :: String) #-}
  1105. 52.75 s [sydtest-mutation-example-gen] addOneArithDisabled :: Int -> Int
  1106. 52.75 s [sydtest-mutation-example-gen] -addOneArithDisabled n = n + 1
  1107. 52.75 s [sydtest-mutation-example-gen] +addOneArithDisabled n = n + 0
  1108. 52.75 s [sydtest-mutation-example-gen]
  1109. 52.75 s [sydtest-mutation-example-gen] -- | Both Arith and IntLit mutations disabled on this function.
  1110. 52.75 s [sydtest-mutation-example-gen] {-# ANN addOneArithAndIntLitDisabled ("DisableMutations: Arith, IntLit" :: String) #-}
  1111. 52.75 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LocalDisableLib.hs:37:7-12 #1
  1112. 52.75 s [sydtest-mutation-example-gen] @@ -34,7 +34,7 @@
  1113. 52.75 s [sydtest-mutation-example-gen] withInnerKept :: Bool -> Bool
  1114. 52.75 s [sydtest-mutation-example-gen] withInnerKept b =
  1115. 52.75 s [sydtest-mutation-example-gen] let inner = not b
  1116. 52.75 s [sydtest-mutation-example-gen] - in inner
  1117. 52.75 s [sydtest-mutation-example-gen] + in not (inner)
  1118. 52.75 s [sydtest-mutation-example-gen]
  1119. 52.75 s [sydtest-mutation-example-gen] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  1120. 52.75 s [sydtest-mutation-example-gen] -- by a @do@-block @<-@ statement instead of a @let@. The annotation
  1121. 52.75 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LocalDisableLib.hs:36:3-12 #1
  1122. 52.75 s [sydtest-mutation-example-gen] @@ -33,8 +33,8 @@
  1123. 52.75 s [sydtest-mutation-example-gen] -- on the @inner@ binding's RHS.
  1124. 52.76 s [sydtest-mutation-example-gen] withInnerKept :: Bool -> Bool
  1125. 52.76 s [sydtest-mutation-example-gen] withInnerKept b =
  1126. 52.76 s [sydtest-mutation-example-gen] - let inner = not b
  1127. 52.76 s [sydtest-mutation-example-gen] - in inner
  1128. 52.76 s [sydtest-mutation-example-gen] + not (let inner = not b
  1129. 52.76 s [sydtest-mutation-example-gen] + in inner)
  1130. 52.76 s [sydtest-mutation-example-gen]
  1131. 52.76 s [sydtest-mutation-example-gen] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  1132. 52.76 s [sydtest-mutation-example-gen] -- by a @do@-block @<-@ statement instead of a @let@. The annotation
  1133. 52.76 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LocalDisableLib.hs:29:15-20 #1
  1134. 52.76 s [sydtest-mutation-example-gen] @@ -26,7 +26,7 @@
  1135. 52.76 s [sydtest-mutation-example-gen] {-# ANN withInnerBoolLitDisabled ("DisableMutationsFor inner: ConstBool" :: String) #-}
  1136. 52.76 s [sydtest-mutation-example-gen] withInnerBoolLitDisabled :: Bool -> Bool
  1137. 52.76 s [sydtest-mutation-example-gen] withInnerBoolLitDisabled b =
  1138. 52.76 s [sydtest-mutation-example-gen] - let inner = not b
  1139. 52.76 s [sydtest-mutation-example-gen] + let inner = not (not b)
  1140. 52.76 s [sydtest-mutation-example-gen] in inner
  1141. 52.76 s [sydtest-mutation-example-gen]
  1142. 52.76 s [sydtest-mutation-example-gen] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  1143. 52.76 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:30:7-12 #1
  1144. 52.76 s [sydtest-mutation-example-gen] @@ -27,7 +27,7 @@
  1145. 52.76 s [sydtest-mutation-example-gen] withInnerBoolLitDisabled :: Bool -> Bool
  1146. 52.76 s [sydtest-mutation-example-gen] withInnerBoolLitDisabled b =
  1147. 52.77 s [sydtest-mutation-example-gen] let inner = not b
  1148. 52.77 s [sydtest-mutation-example-gen] - in inner
  1149. 52.77 s [sydtest-mutation-example-gen] + in True
  1150. 52.77 s [sydtest-mutation-example-gen]
  1151. 52.77 s [sydtest-mutation-example-gen] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  1152. 52.77 s [sydtest-mutation-example-gen] -- on the @inner@ binding's RHS.
  1153. 52.77 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:36:3-12 #2
  1154. 52.77 s [sydtest-mutation-example-gen] @@ -33,8 +33,8 @@
  1155. 52.77 s [sydtest-mutation-example-gen] -- on the @inner@ binding's RHS.
  1156. 52.77 s [sydtest-mutation-example-gen] withInnerKept :: Bool -> Bool
  1157. 52.77 s [sydtest-mutation-example-gen] withInnerKept b =
  1158. 52.77 s [sydtest-mutation-example-gen] - let inner = not b
  1159. 52.77 s [sydtest-mutation-example-gen] + False = not b
  1160. 52.77 s [sydtest-mutation-example-gen] in inner
  1161. 52.77 s [sydtest-mutation-example-gen]
  1162. 52.77 s [sydtest-mutation-example-gen] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  1163. 52.77 s [sydtest-mutation-example-gen] -- by a @do@-block @<-@ statement instead of a @let@. The annotation
  1164. 52.77 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LocalDisableLib.hs:29:19-20 #1
  1165. 52.77 s [sydtest-mutation-example-gen] @@ -26,7 +26,7 @@
  1166. 52.77 s [sydtest-mutation-example-gen] {-# ANN withInnerBoolLitDisabled ("DisableMutationsFor inner: ConstBool" :: String) #-}
  1167. 52.77 s [sydtest-mutation-example-gen] withInnerBoolLitDisabled :: Bool -> Bool
  1168. 52.77 s [sydtest-mutation-example-gen] withInnerBoolLitDisabled b =
  1169. 52.77 s [sydtest-mutation-example-gen] - let inner = not b
  1170. 52.77 s [sydtest-mutation-example-gen] + let inner = not not (b)
  1171. 52.77 s [sydtest-mutation-example-gen] in inner
  1172. 52.77 s [sydtest-mutation-example-gen]
  1173. 52.77 s [sydtest-mutation-example-gen] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  1174. 52.78 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LocalDisableLib.hs:30:7-12 #1
  1175. 52.78 s [sydtest-mutation-example-gen] @@ -27,7 +27,7 @@
  1176. 52.78 s [sydtest-mutation-example-gen] withInnerBoolLitDisabled :: Bool -> Bool
  1177. 52.78 s [sydtest-mutation-example-gen] withInnerBoolLitDisabled b =
  1178. 52.78 s [sydtest-mutation-example-gen] let inner = not b
  1179. 52.78 s [sydtest-mutation-example-gen] - in inner
  1180. 52.78 s [sydtest-mutation-example-gen] + in not (inner)
  1181. 52.78 s [sydtest-mutation-example-gen]
  1182. 52.78 s [sydtest-mutation-example-gen] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  1183. 52.78 s [sydtest-mutation-example-gen] -- on the @inner@ binding's RHS.
  1184. 52.78 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:36:3-12 #1
  1185. 52.78 s [sydtest-mutation-example-gen] @@ -33,8 +33,8 @@
  1186. 52.78 s [sydtest-mutation-example-gen] -- on the @inner@ binding's RHS.
  1187. 52.78 s [sydtest-mutation-example-gen] withInnerKept :: Bool -> Bool
  1188. 52.78 s [sydtest-mutation-example-gen] withInnerKept b =
  1189. 52.78 s [sydtest-mutation-example-gen] - let inner = not b
  1190. 52.78 s [sydtest-mutation-example-gen] + True = not b
  1191. 52.78 s [sydtest-mutation-example-gen] in inner
  1192. 52.78 s [sydtest-mutation-example-gen]
  1193. 52.78 s [sydtest-mutation-example-gen] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  1194. 52.78 s [sydtest-mutation-example-gen] -- by a @do@-block @<-@ statement instead of a @let@. The annotation
  1195. 52.78 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:29:3-12 #1
  1196. 52.78 s [sydtest-mutation-example-gen] @@ -26,8 +26,8 @@
  1197. 52.78 s [sydtest-mutation-example-gen] {-# ANN withInnerBoolLitDisabled ("DisableMutationsFor inner: ConstBool" :: String) #-}
  1198. 52.78 s [sydtest-mutation-example-gen] withInnerBoolLitDisabled :: Bool -> Bool
  1199. 52.78 s [sydtest-mutation-example-gen] withInnerBoolLitDisabled b =
  1200. 52.93 s [sydtest-mutation-example-gen] - let inner = not b
  1201. 52.93 s [sydtest-mutation-example-gen] + True = not b
  1202. 52.93 s [sydtest-mutation-example-gen] in inner
  1203. 52.93 s [sydtest-mutation-example-gen]
  1204. 52.93 s [sydtest-mutation-example-gen] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  1205. 52.93 s [sydtest-mutation-example-gen] -- on the @inner@ binding's RHS.
  1206. 52.93 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:30:7-12 #2
  1207. 52.93 s [sydtest-mutation-example-gen] @@ -27,7 +27,7 @@
  1208. 52.93 s [sydtest-mutation-example-gen] withInnerBoolLitDisabled :: Bool -> Bool
  1209. 52.93 s [sydtest-mutation-example-gen] withInnerBoolLitDisabled b =
  1210. 52.93 s [sydtest-mutation-example-gen] let inner = not b
  1211. 52.93 s [sydtest-mutation-example-gen] - in inner
  1212. 52.93 s [sydtest-mutation-example-gen] + in False
  1213. 52.93 s [sydtest-mutation-example-gen]
  1214. 52.93 s [sydtest-mutation-example-gen] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  1215. 52.93 s [sydtest-mutation-example-gen] -- on the @inner@ binding's RHS.
  1216. 52.93 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:20:3-12 #1
  1217. 52.93 s [sydtest-mutation-example-gen] @@ -17,8 +17,8 @@
  1218. 52.93 s [sydtest-mutation-example-gen] {-# ANN withInnerDisabled ("DisableMutationsFor inner" :: String) #-}
  1219. 52.93 s [sydtest-mutation-example-gen] withInnerDisabled :: Bool -> Bool
  1220. 52.93 s [sydtest-mutation-example-gen] withInnerDisabled b =
  1221. 52.93 s [sydtest-mutation-example-gen] - let inner = not b
  1222. 52.94 s [sydtest-mutation-example-gen] + True = not b
  1223. 52.94 s [sydtest-mutation-example-gen] in inner
  1224. 52.94 s [sydtest-mutation-example-gen]
  1225. 52.94 s [sydtest-mutation-example-gen] -- | Like 'withInnerDisabled', but only @ConstBool@ is disabled inside
  1226. 52.94 s [sydtest-mutation-example-gen] -- @inner@'s RHS. Other operators on @inner@'s RHS (notably the @Negate@
  1227. 52.94 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LocalDisableLib.hs:29:3-12 #1
  1228. 52.94 s [sydtest-mutation-example-gen] @@ -26,8 +26,8 @@
  1229. 52.94 s [sydtest-mutation-example-gen] {-# ANN withInnerBoolLitDisabled ("DisableMutationsFor inner: ConstBool" :: String) #-}
  1230. 52.94 s [sydtest-mutation-example-gen] withInnerBoolLitDisabled :: Bool -> Bool
  1231. 52.94 s [sydtest-mutation-example-gen] withInnerBoolLitDisabled b =
  1232. 52.94 s [sydtest-mutation-example-gen] - let inner = not b
  1233. 52.94 s [sydtest-mutation-example-gen] - in inner
  1234. 52.94 s [sydtest-mutation-example-gen] + not (let inner = not b
  1235. 52.94 s [sydtest-mutation-example-gen] + in inner)
  1236. 52.94 s [sydtest-mutation-example-gen]
  1237. 52.94 s [sydtest-mutation-example-gen] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  1238. 52.94 s [sydtest-mutation-example-gen] -- on the @inner@ binding's RHS.
  1239. 52.94 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LocalDisableLib.hs:21:7-12 #1
  1240. 52.94 s [sydtest-mutation-example-gen] @@ -18,7 +18,7 @@
  1241. 52.94 s [sydtest-mutation-example-gen] withInnerDisabled :: Bool -> Bool
  1242. 52.94 s [sydtest-mutation-example-gen] withInnerDisabled b =
  1243. 52.94 s [sydtest-mutation-example-gen] let inner = not b
  1244. 52.94 s [sydtest-mutation-example-gen] - in inner
  1245. 52.94 s [sydtest-mutation-example-gen] + in not (inner)
  1246. 52.94 s [sydtest-mutation-example-gen]
  1247. 52.94 s [sydtest-mutation-example-gen] -- | Like 'withInnerDisabled', but only @ConstBool@ is disabled inside
  1248. 52.94 s [sydtest-mutation-example-gen] -- @inner@'s RHS. Other operators on @inner@'s RHS (notably the @Negate@
  1249. 52.94 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:21:7-12 #1
  1250. 52.94 s [sydtest-mutation-example-gen] @@ -18,7 +18,7 @@
  1251. 52.94 s [sydtest-mutation-example-gen] withInnerDisabled :: Bool -> Bool
  1252. 52.94 s [sydtest-mutation-example-gen] withInnerDisabled b =
  1253. 52.94 s [sydtest-mutation-example-gen] let inner = not b
  1254. 52.94 s [sydtest-mutation-example-gen] - in inner
  1255. 52.95 s [sydtest-mutation-example-gen] + in True
  1256. 52.95 s [sydtest-mutation-example-gen]
  1257. 52.95 s [sydtest-mutation-example-gen] -- | Like 'withInnerDisabled', but only @ConstBool@ is disabled inside
  1258. 52.95 s [sydtest-mutation-example-gen] -- @inner@'s RHS. Other operators on @inner@'s RHS (notably the @Negate@
  1259. 52.95 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:29-34 #2
  1260. 52.95 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  1261. 52.95 s [sydtest-mutation-example-gen] --
  1262. 52.95 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  1263. 52.95 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  1264. 52.95 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  1265. 52.95 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 && b <= 0
  1266. 52.95 s [sydtest-mutation-example-gen]
  1267. 52.95 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  1268. 52.95 s [sydtest-mutation-example-gen] --
  1269. 52.95 s [sydtest-mutation-example-gen] Testing mutation Arith at src/Example/Lib.hs:8:12-17 #1
  1270. 52.95 s [sydtest-mutation-example-gen] @@ -5,4 +5,4 @@
  1271. 52.95 s [sydtest-mutation-example-gen] -- The literal '1' here is a mutation site: the plugin will also compile a
  1272. 52.95 s [sydtest-mutation-example-gen] -- version where this returns @n + 0@ instead of @n + 1@.
  1273. 52.95 s [sydtest-mutation-example-gen] addOne :: Int -> Int
  1274. 52.95 s [sydtest-mutation-example-gen] -addOne n = n + 1
  1275. 52.95 s [sydtest-mutation-example-gen] +addOne n = n - 1
  1276. 52.95 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:17:22-36 #1
  1277. 52.95 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  1278. 52.95 s [sydtest-mutation-example-gen] --
  1279. 52.95 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  1280. 52.95 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  1281. 52.95 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  1282. 52.95 s [sydtest-mutation-example-gen] +eitherPositive a b = not (a > 0 || b > 0)
  1283. 52.95 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/DoLib.hs:14:10-14 #1
  1284. 52.95 s [sydtest-mutation-example-gen] @@ -11,5 +11,5 @@
  1285. 52.95 s [sydtest-mutation-example-gen] go :: Writer String ()
  1286. 52.95 s [sydtest-mutation-example-gen] go = do
  1287. 52.95 s [sydtest-mutation-example-gen] tell "Hello"
  1288. 52.95 s [sydtest-mutation-example-gen] - if loud then tell "!" else pure ()
  1289. 52.95 s [sydtest-mutation-example-gen] + if True then tell "!" else pure ()
  1290. 52.95 s [sydtest-mutation-example-gen] tell "\n"
  1291. 52.95 s [sydtest-mutation-example-gen] Testing mutation Arith at src/Example/Lib.hs:8:12-17 #2
  1292. 52.95 s [sydtest-mutation-example-gen] @@ -5,4 +5,4 @@
  1293. 52.95 s [sydtest-mutation-example-gen] -- The literal '1' here is a mutation site: the plugin will also compile a
  1294. 52.95 s [sydtest-mutation-example-gen] -- version where this returns @n + 0@ instead of @n + 1@.
  1295. 52.95 s [sydtest-mutation-example-gen] addOne :: Int -> Int
  1296. 52.95 s [sydtest-mutation-example-gen] -addOne n = n + 1
  1297. 52.96 s [sydtest-mutation-example-gen] +addOne n = n * 1
  1298. 52.96 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/LogicLib.hs:11:33-34 #1
  1299. 52.96 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  1300. 52.96 s [sydtest-mutation-example-gen] --
  1301. 52.96 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  1302. 52.96 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  1303. 52.96 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  1304. 52.96 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 && b > 1
  1305. 52.96 s [sydtest-mutation-example-gen]
  1306. 52.96 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  1307. 52.96 s [sydtest-mutation-example-gen] --
  1308. 52.96 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/DoLib.hs:14:10-14 #1
  1309. 52.96 s [sydtest-mutation-example-gen] @@ -11,5 +11,5 @@
  1310. 52.96 s [sydtest-mutation-example-gen] go :: Writer String ()
  1311. 52.96 s [sydtest-mutation-example-gen] go = do
  1312. 52.96 s [sydtest-mutation-example-gen] tell "Hello"
  1313. 52.96 s [sydtest-mutation-example-gen] - if loud then tell "!" else pure ()
  1314. 52.96 s [sydtest-mutation-example-gen] + if not (loud) then tell "!" else pure ()
  1315. 52.96 s [sydtest-mutation-example-gen] tell "\n"
  1316. 52.96 s [sydtest-mutation-example-gen] Testing mutation RemoveAction at src/Example/DoLib.hs:14:7-41 #1
  1317. 52.96 s [sydtest-mutation-example-gen] @@ -11,5 +11,4 @@
  1318. 52.96 s [sydtest-mutation-example-gen] go :: Writer String ()
  1319. 52.96 s [sydtest-mutation-example-gen] go = do
  1320. 52.96 s [sydtest-mutation-example-gen] tell "Hello"
  1321. 52.96 s [sydtest-mutation-example-gen] - if loud then tell "!" else pure ()
  1322. 52.96 s [sydtest-mutation-example-gen] tell "\n"
  1323. 52.96 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:31-36 #2
  1324. 52.96 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  1325. 52.96 s [sydtest-mutation-example-gen] --
  1326. 52.96 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  1327. 52.96 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  1328. 52.96 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  1329. 52.96 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || False
  1330. 52.96 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:20-25 #3
  1331. 52.96 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  1332. 52.96 s [sydtest-mutation-example-gen] --
  1333. 52.96 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  1334. 52.96 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  1335. 52.96 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  1336. 52.96 s [sydtest-mutation-example-gen] +bothPositive a b = a >= 0 && b > 0
  1337. 52.96 s [sydtest-mutation-example-gen]
  1338. 52.96 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  1339. 52.96 s [sydtest-mutation-example-gen] --
  1340. 52.96 s [sydtest-mutation-example-gen] Testing mutation RemoveAction at src/Example/DoLib.hs:12:10-16 #1
  1341. 52.96 s [sydtest-mutation-example-gen] @@ -9,7 +9,6 @@
  1342. 52.96 s [sydtest-mutation-example-gen] greet loud = execWriter go
  1343. 52.96 s [sydtest-mutation-example-gen] where
  1344. 52.96 s [sydtest-mutation-example-gen] go :: Writer String ()
  1345. 52.96 s [sydtest-mutation-example-gen] go = do
  1346. 52.96 s [sydtest-mutation-example-gen] - tell "Hello"
  1347. 52.96 s [sydtest-mutation-example-gen] if loud then tell "!" else pure ()
  1348. 52.96 s [sydtest-mutation-example-gen] tell "\n"
  1349. 52.96 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:11:20-25 #1
  1350. 52.96 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  1351. 52.96 s [sydtest-mutation-example-gen] --
  1352. 52.96 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  1353. 52.96 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  1354. 52.97 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  1355. 52.97 s [sydtest-mutation-example-gen] +bothPositive a b = not (a > 0) && b > 0
  1356. 52.97 s [sydtest-mutation-example-gen]
  1357. 52.97 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  1358. 52.97 s [sydtest-mutation-example-gen] --
  1359. 52.97 s [sydtest-mutation-example-gen] Testing mutation ListLit at src/Example/ListLib.hs:19:29-38 #1
  1360. 52.97 s [sydtest-mutation-example-gen] @@ -16,4 +16,3 @@
  1361. 52.97 s [sydtest-mutation-example-gen] -- Mutation sites: ListLit produces an empty-list mutant, a drop-first mutant,
  1362. 52.97 s [sydtest-mutation-example-gen] -- and a drop-last mutant on the literal @[a, b, c]@.
  1363. 52.97 s [sydtest-mutation-example-gen] tripleConcat :: String -> String -> String -> String
  1364. 52.97 s [sydtest-mutation-example-gen] -tripleConcat a b c = concat [a, b, c]
  1365. 52.97 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:29-34 #2
  1366. 52.97 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  1367. 52.97 s [sydtest-mutation-example-gen] --
  1368. 52.97 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  1369. 52.97 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  1370. 52.97 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  1371. 52.97 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 && False
  1372. 52.97 s [sydtest-mutation-example-gen]
  1373. 52.97 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  1374. 52.97 s [sydtest-mutation-example-gen] --
  1375. 52.97 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:29:3-12 #2
  1376. 52.97 s [sydtest-mutation-example-gen] @@ -26,8 +26,8 @@
  1377. 52.97 s [sydtest-mutation-example-gen] {-# ANN withInnerBoolLitDisabled ("DisableMutationsFor inner: ConstBool" :: String) #-}
  1378. 52.97 s [sydtest-mutation-example-gen] withInnerBoolLitDisabled :: Bool -> Bool
  1379. 52.97 s [sydtest-mutation-example-gen] withInnerBoolLitDisabled b =
  1380. 53.11 s [sydtest-mutation-example-gen] - let inner = not b
  1381. 53.11 s [sydtest-mutation-example-gen] + False = not b
  1382. 53.11 s [sydtest-mutation-example-gen] in inner
  1383. 53.11 s [sydtest-mutation-example-gen]
  1384. 53.12 s [sydtest-mutation-example-gen] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  1385. 53.12 s [sydtest-mutation-example-gen] -- on the @inner@ binding's RHS.
  1386. 53.12 s [sydtest-mutation-example-gen] Testing mutation ListLit at src/Example/ListLib.hs:19:29-38 #3
  1387. 53.12 s [sydtest-mutation-example-gen] @@ -16,4 +16,3 @@
  1388. 53.12 s [sydtest-mutation-example-gen] -- Mutation sites: ListLit produces an empty-list mutant, a drop-first mutant,
  1389. 53.12 s [sydtest-mutation-example-gen] -- and a drop-last mutant on the literal @[a, b, c]@.
  1390. 53.12 s [sydtest-mutation-example-gen] tripleConcat :: String -> String -> String -> String
  1391. 53.12 s [sydtest-mutation-example-gen] -tripleConcat a b c = concat [a, b, c]
  1392. 53.12 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LocalDisableLib.hs:59:8-13 #1
  1393. 53.12 s [sydtest-mutation-example-gen] @@ -56,4 +56,4 @@
  1394. 53.12 s [sydtest-mutation-example-gen] withBindKept :: (Bool -> IO Bool) -> Bool -> IO Bool
  1395. 53.12 s [sydtest-mutation-example-gen] withBindKept toggle b = do
  1396. 53.12 s [sydtest-mutation-example-gen] inner <- toggle b
  1397. 53.12 s [sydtest-mutation-example-gen] - pure inner
  1398. 53.12 s [sydtest-mutation-example-gen] + pure not (inner)
  1399. 53.12 s [sydtest-mutation-example-gen] Testing mutation RemoveCase at src/Example/CaseLib.hs:7:19-16 #2
  1400. 53.12 s [sydtest-mutation-example-gen] @@ -4,7 +4,6 @@
  1401. 53.12 s [sydtest-mutation-example-gen] --
  1402. 53.12 s [sydtest-mutation-example-gen] -- Mutation sites: RemoveCase removes one of the three alternatives.
  1403. 53.12 s [sydtest-mutation-example-gen] describeList :: [a] -> String
  1404. 53.12 s [sydtest-mutation-example-gen] describeList xs = case xs of
  1405. 53.12 s [sydtest-mutation-example-gen] [] -> "empty"
  1406. 53.12 s [sydtest-mutation-example-gen] - [_] -> "singleton"
  1407. 53.12 s [sydtest-mutation-example-gen] _ -> "longer"
  1408. 53.12 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/DoLib.hs:14:10-14 #2
  1409. 53.12 s [sydtest-mutation-example-gen] @@ -11,5 +11,5 @@
  1410. 53.12 s [sydtest-mutation-example-gen] go :: Writer String ()
  1411. 53.12 s [sydtest-mutation-example-gen] go = do
  1412. 53.12 s [sydtest-mutation-example-gen] tell "Hello"
  1413. 53.12 s [sydtest-mutation-example-gen] - if loud then tell "!" else pure ()
  1414. 53.12 s [sydtest-mutation-example-gen] + if False then tell "!" else pure ()
  1415. 53.12 s [sydtest-mutation-example-gen] tell "\n"
  1416. 53.12 s [sydtest-mutation-example-gen] Testing mutation ListLit at src/Example/ListLib.hs:12:25-31 #1
  1417. 53.12 s [sydtest-mutation-example-gen] @@ -9,7 +9,6 @@
  1418. 53.12 s [sydtest-mutation-example-gen] -- Mutation sites: ListLit produces an empty-list mutant and a drop-first
  1419. 53.12 s [sydtest-mutation-example-gen] -- mutant on the literal @[a, b]@.
  1420. 53.12 s [sydtest-mutation-example-gen] pairConcat :: String -> String -> String
  1421. 53.13 s [sydtest-mutation-example-gen] -pairConcat a b = concat [a, b]
  1422. 53.13 s [sydtest-mutation-example-gen]
  1423. 53.13 s [sydtest-mutation-example-gen] -- | Concatenate a three-element list of strings.
  1424. 53.13 s [sydtest-mutation-example-gen] --
  1425. 53.13 s [sydtest-mutation-example-gen] Testing mutation RemoveCase at src/Example/CaseLib.hs:7:19-16 #3
  1426. 53.13 s [sydtest-mutation-example-gen] @@ -4,7 +4,6 @@
  1427. 53.13 s [sydtest-mutation-example-gen] --
  1428. 53.13 s [sydtest-mutation-example-gen] -- Mutation sites: RemoveCase removes one of the three alternatives.
  1429. 53.13 s [sydtest-mutation-example-gen] describeList :: [a] -> String
  1430. 53.13 s [sydtest-mutation-example-gen] describeList xs = case xs of
  1431. 53.13 s [sydtest-mutation-example-gen] [] -> "empty"
  1432. 53.13 s [sydtest-mutation-example-gen] [_] -> "singleton"
  1433. 53.13 s [sydtest-mutation-example-gen] - _ -> "longer"
  1434. 53.13 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/OtherwiseLib.hs:12:9-10 #1
  1435. 53.13 s [sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
  1436. 53.13 s [sydtest-mutation-example-gen] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  1437. 53.13 s [sydtest-mutation-example-gen] classify :: Int -> String
  1438. 53.13 s [sydtest-mutation-example-gen] classify n
  1439. 53.13 s [sydtest-mutation-example-gen] - | n < 0 = "negative"
  1440. 53.13 s [sydtest-mutation-example-gen] + | n < 1 = "negative"
  1441. 53.13 s [sydtest-mutation-example-gen] | n == 0 = "zero"
  1442. 53.13 s [sydtest-mutation-example-gen] | otherwise = "positive"
  1443. 53.13 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LocalDisableLib.hs:20:3-12 #1
  1444. 53.13 s [sydtest-mutation-example-gen] @@ -17,8 +17,8 @@
  1445. 53.13 s [sydtest-mutation-example-gen] {-# ANN withInnerDisabled ("DisableMutationsFor inner" :: String) #-}
  1446. 53.13 s [sydtest-mutation-example-gen] withInnerDisabled :: Bool -> Bool
  1447. 53.13 s [sydtest-mutation-example-gen] withInnerDisabled b =
  1448. 53.13 s [sydtest-mutation-example-gen] - let inner = not b
  1449. 53.13 s [sydtest-mutation-example-gen] - in inner
  1450. 53.13 s [sydtest-mutation-example-gen] + not (let inner = not b
  1451. 53.13 s [sydtest-mutation-example-gen] + in inner)
  1452. 53.13 s [sydtest-mutation-example-gen]
  1453. 53.13 s [sydtest-mutation-example-gen] -- | Like 'withInnerDisabled', but only @ConstBool@ is disabled inside
  1454. 53.14 s [sydtest-mutation-example-gen] -- @inner@'s RHS. Other operators on @inner@'s RHS (notably the @Negate@
  1455. 53.14 s [sydtest-mutation-example-gen] Testing mutation ListLit at src/Example/ListLib.hs:12:25-31 #2
  1456. 53.14 s [sydtest-mutation-example-gen] @@ -9,7 +9,6 @@
  1457. 53.14 s [sydtest-mutation-example-gen] -- Mutation sites: ListLit produces an empty-list mutant and a drop-first
  1458. 53.14 s [sydtest-mutation-example-gen] -- mutant on the literal @[a, b]@.
  1459. 53.14 s [sydtest-mutation-example-gen] pairConcat :: String -> String -> String
  1460. 53.14 s [sydtest-mutation-example-gen] -pairConcat a b = concat [a, b]
  1461. 53.14 s [sydtest-mutation-example-gen]
  1462. 53.14 s [sydtest-mutation-example-gen] -- | Concatenate a three-element list of strings.
  1463. 53.14 s [sydtest-mutation-example-gen] --
  1464. 53.14 s [sydtest-mutation-example-gen] Testing mutation LogicOp at src/Example/LogicLib.hs:11:20-34 #1
  1465. 53.14 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  1466. 53.14 s [sydtest-mutation-example-gen] --
  1467. 53.14 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  1468. 53.14 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  1469. 53.14 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  1470. 53.14 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 || b > 0
  1471. 53.14 s [sydtest-mutation-example-gen]
  1472. 53.14 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  1473. 53.14 s [sydtest-mutation-example-gen] --
  1474. 53.14 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10 #1
  1475. 53.14 s [sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
  1476. 53.14 s [sydtest-mutation-example-gen] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  1477. 53.14 s [sydtest-mutation-example-gen] classify :: Int -> String
  1478. 53.14 s [sydtest-mutation-example-gen] classify n
  1479. 53.14 s [sydtest-mutation-example-gen] - | n < 0 = "negative"
  1480. 53.14 s [sydtest-mutation-example-gen] + | n <= 0 = "negative"
  1481. 53.14 s [sydtest-mutation-example-gen] | n == 0 = "zero"
  1482. 53.14 s [sydtest-mutation-example-gen] | otherwise = "positive"
  1483. 53.14 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10 #2
  1484. 53.14 s [sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
  1485. 53.14 s [sydtest-mutation-example-gen] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  1486. 53.14 s [sydtest-mutation-example-gen] classify :: Int -> String
  1487. 53.14 s [sydtest-mutation-example-gen] classify n
  1488. 53.14 s [sydtest-mutation-example-gen] - | n < 0 = "negative"
  1489. 53.14 s [sydtest-mutation-example-gen] + | n > 0 = "negative"
  1490. 53.14 s [sydtest-mutation-example-gen] | n == 0 = "zero"
  1491. 53.14 s [sydtest-mutation-example-gen] | otherwise = "positive"
  1492. 53.14 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10 #3
  1493. 53.14 s [sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
  1494. 53.14 s [sydtest-mutation-example-gen] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  1495. 53.14 s [sydtest-mutation-example-gen] classify :: Int -> String
  1496. 53.14 s [sydtest-mutation-example-gen] classify n
  1497. 53.14 s [sydtest-mutation-example-gen] - | n < 0 = "negative"
  1498. 53.14 s [sydtest-mutation-example-gen] + | n >= 0 = "negative"
  1499. 53.14 s [sydtest-mutation-example-gen] | n == 0 = "zero"
  1500. 53.14 s [sydtest-mutation-example-gen] | otherwise = "positive"
  1501. 53.14 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/OtherwiseLib.hs:12:5-10 #1
  1502. 53.14 s [sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
  1503. 53.14 s [sydtest-mutation-example-gen] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  1504. 53.14 s [sydtest-mutation-example-gen] classify :: Int -> String
  1505. 53.14 s [sydtest-mutation-example-gen] classify n
  1506. 53.14 s [sydtest-mutation-example-gen] - | n < 0 = "negative"
  1507. 53.14 s [sydtest-mutation-example-gen] + | True = "negative"
  1508. 53.14 s [sydtest-mutation-example-gen] | n == 0 = "zero"
  1509. 53.14 s [sydtest-mutation-example-gen] | otherwise = "positive"
  1510. 53.14 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/OtherwiseLib.hs:12:5-10 #1
  1511. 53.14 s [sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
  1512. 53.14 s [sydtest-mutation-example-gen] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  1513. 53.14 s [sydtest-mutation-example-gen] classify :: Int -> String
  1514. 53.15 s [sydtest-mutation-example-gen] classify n
  1515. 53.15 s [sydtest-mutation-example-gen] - | n < 0 = "negative"
  1516. 53.15 s [sydtest-mutation-example-gen] + | not (n < 0) = "negative"
  1517. 53.15 s [sydtest-mutation-example-gen] | n == 0 = "zero"
  1518. 53.15 s [sydtest-mutation-example-gen] | otherwise = "positive"
  1519. 53.15 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/Lib.hs:8:16-17 #2
  1520. 53.15 s [sydtest-mutation-example-gen] @@ -5,4 +5,4 @@
  1521. 53.15 s [sydtest-mutation-example-gen] -- The literal '1' here is a mutation site: the plugin will also compile a
  1522. 53.15 s [sydtest-mutation-example-gen] -- version where this returns @n + 0@ instead of @n + 1@.
  1523. 53.15 s [sydtest-mutation-example-gen] addOne :: Int -> Int
  1524. 53.15 s [sydtest-mutation-example-gen] -addOne n = n + 1
  1525. 53.15 s [sydtest-mutation-example-gen] +addOne n = n + -1
  1526. 53.15 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:20:3-12 #2
  1527. 53.15 s [sydtest-mutation-example-gen] @@ -17,8 +17,8 @@
  1528. 53.15 s [sydtest-mutation-example-gen] {-# ANN withInnerDisabled ("DisableMutationsFor inner" :: String) #-}
  1529. 53.15 s [sydtest-mutation-example-gen] withInnerDisabled :: Bool -> Bool
  1530. 53.15 s [sydtest-mutation-example-gen] withInnerDisabled b =
  1531. 53.15 s [sydtest-mutation-example-gen] - let inner = not b
  1532. 53.15 s [sydtest-mutation-example-gen] + False = not b
  1533. 53.15 s [sydtest-mutation-example-gen] in inner
  1534. 53.15 s [sydtest-mutation-example-gen]
  1535. 53.15 s [sydtest-mutation-example-gen] -- | Like 'withInnerDisabled', but only @ConstBool@ is disabled inside
  1536. 53.15 s [sydtest-mutation-example-gen] -- @inner@'s RHS. Other operators on @inner@'s RHS (notably the @Negate@
  1537. 53.15 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/OtherwiseLib.hs:13:5-11 #1
  1538. 53.15 s [sydtest-mutation-example-gen] @@ -10,5 +10,5 @@
  1539. 53.15 s [sydtest-mutation-example-gen] classify :: Int -> String
  1540. 53.15 s [sydtest-mutation-example-gen] classify n
  1541. 53.15 s [sydtest-mutation-example-gen] | n < 0 = "negative"
  1542. 53.15 s [sydtest-mutation-example-gen] - | n == 0 = "zero"
  1543. 53.15 s [sydtest-mutation-example-gen] + | True = "zero"
  1544. 53.15 s [sydtest-mutation-example-gen] | otherwise = "positive"
  1545. 53.15 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/OtherwiseLib.hs:13:10-11 #1
  1546. 53.15 s [sydtest-mutation-example-gen] @@ -10,5 +10,5 @@
  1547. 53.15 s [sydtest-mutation-example-gen] classify :: Int -> String
  1548. 53.15 s [sydtest-mutation-example-gen] classify n
  1549. 53.15 s [sydtest-mutation-example-gen] | n < 0 = "negative"
  1550. 53.15 s [sydtest-mutation-example-gen] - | n == 0 = "zero"
  1551. 53.15 s [sydtest-mutation-example-gen] + | n == 1 = "zero"
  1552. 53.15 s [sydtest-mutation-example-gen] | otherwise = "positive"
  1553. 53.15 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/Lib.hs:8:16-17 #1
  1554. 53.15 s [sydtest-mutation-example-gen] @@ -5,4 +5,4 @@
  1555. 53.15 s [sydtest-mutation-example-gen] -- The literal '1' here is a mutation site: the plugin will also compile a
  1556. 53.15 s [sydtest-mutation-example-gen] -- version where this returns @n + 0@ instead of @n + 1@.
  1557. 53.15 s [sydtest-mutation-example-gen] addOne :: Int -> Int
  1558. 53.15 s [sydtest-mutation-example-gen] -addOne n = n + 1
  1559. 53.15 s [sydtest-mutation-example-gen] +addOne n = n + 0
  1560. 53.15 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/OtherwiseLib.hs:13:5-11 #1
  1561. 53.15 s [sydtest-mutation-example-gen] @@ -10,5 +10,5 @@
  1562. 53.15 s [sydtest-mutation-example-gen] classify :: Int -> String
  1563. 53.15 s [sydtest-mutation-example-gen] classify n
  1564. 53.15 s [sydtest-mutation-example-gen] | n < 0 = "negative"
  1565. 53.15 s [sydtest-mutation-example-gen] - | n == 0 = "zero"
  1566. 53.15 s [sydtest-mutation-example-gen] + | not (n == 0) = "zero"
  1567. 53.15 s [sydtest-mutation-example-gen] | otherwise = "positive"
  1568. 53.32 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:21:7-12 #2
  1569. 53.32 s [sydtest-mutation-example-gen] @@ -18,7 +18,7 @@
  1570. 53.32 s [sydtest-mutation-example-gen] withInnerDisabled :: Bool -> Bool
  1571. 53.32 s [sydtest-mutation-example-gen] withInnerDisabled b =
  1572. 53.32 s [sydtest-mutation-example-gen] let inner = not b
  1573. 53.32 s [sydtest-mutation-example-gen] - in inner
  1574. 53.32 s [sydtest-mutation-example-gen] + in False
  1575. 53.32 s [sydtest-mutation-example-gen]
  1576. 53.32 s [sydtest-mutation-example-gen] -- | Like 'withInnerDisabled', but only @ConstBool@ is disabled inside
  1577. 53.32 s [sydtest-mutation-example-gen] -- @inner@'s RHS. Other operators on @inner@'s RHS (notably the @Negate@
  1578. 53.32 s [sydtest-mutation-example-gen] Testing mutation BoolLit at src/Example/BoolLib.hs:12:17-21 #1
  1579. 53.32 s [sydtest-mutation-example-gen] @@ -9,7 +9,7 @@
  1580. 53.32 s [sydtest-mutation-example-gen] --
  1581. 53.32 s [sydtest-mutation-example-gen] -- Mutation sites: BoolLit/ConstBool on the inner True, MaybeOp on Just True.
  1582. 53.32 s [sydtest-mutation-example-gen] wrapTrue :: Maybe Bool
  1583. 53.32 s [sydtest-mutation-example-gen] -wrapTrue = Just True
  1584. 53.32 s [sydtest-mutation-example-gen] +wrapTrue = Just False
  1585. 53.32 s [sydtest-mutation-example-gen]
  1586. 53.32 s [sydtest-mutation-example-gen] -- | Wraps False in Just.
  1587. 53.32 s [sydtest-mutation-example-gen] --
  1588. 53.32 s [sydtest-mutation-example-gen] Testing mutation ListLit at src/Example/ListLib.hs:19:29-38 #2
  1589. 53.32 s [sydtest-mutation-example-gen] @@ -16,4 +16,3 @@
  1590. 53.32 s [sydtest-mutation-example-gen] -- Mutation sites: ListLit produces an empty-list mutant, a drop-first mutant,
  1591. 53.32 s [sydtest-mutation-example-gen] -- and a drop-last mutant on the literal @[a, b, c]@.
  1592. 53.32 s [sydtest-mutation-example-gen] tripleConcat :: String -> String -> String -> String
  1593. 53.33 s [sydtest-mutation-example-gen] -tripleConcat a b c = concat [a, b, c]
  1594. 53.33 s [sydtest-mutation-example-gen] Killed: 103
  1595. 53.33 s [sydtest-mutation-example-gen] (of which timed out: 0)
  1596. 53.33 s [sydtest-mutation-example-gen] Survived: 0
  1597. 53.33 s [sydtest-mutation-example-gen] Uncovered: 0
  1598. 53.36 s [sydtest-mutation-example-gen] Phase: haddockPhase
  1599. 53.88 s [sydtest-mutation-example-gen] Preprocessing library for sydtest-mutation-example-gen-0.0.0.0...
  1600. 53.88 s [sydtest-mutation-example-gen] Running Haddock on library for sydtest-mutation-example-gen-0.0.0.0...
  1601. 54.50 s [sydtest-mutation-example-gen] [1 of 2] Compiling Example.Gen ( src/Example/Gen.hs, nothing )
  1602. 54.58 s [sydtest-mutation-example-gen] [2 of 2] Compiling Paths_sydtest_mutation_example_gen ( dist/build/autogen/Paths_sydtest_mutation_example_gen.hs, nothing )
  1603. 54.68 s [sydtest-mutation-example-gen] Haddock coverage:
  1604. 54.68 s [sydtest-mutation-example-gen] 50% ( 1 / 2) in 'Example.Gen'
  1605. 54.68 s [sydtest-mutation-example-gen] Missing documentation for:
  1606. 54.68 s [sydtest-mutation-example-gen] Module header
  1607. 64.57 s [sydtest-mutation-example-gen] Documentation created: dist/doc/html/sydtest-mutation-example-gen/,
  1608. 64.60 s [sydtest-mutation-example-gen] dist/doc/html/sydtest-mutation-example-gen/sydtest-mutation-example-gen.txt
  1609. 64.68 s [sydtest-mutation-example-gen] Preprocessing test suite 'sydtest-mutation-example-gen-test' for sydtest-mutation-example-gen-0.0.0.0...
  1610. 64.72 s [sydtest-mutation-example-gen] Phase: installPhase
  1611. 65.07 s [sydtest-mutation-example-gen] Installing library in /nix/store/lmmc84kpp56523jxw294pyb1pv2bnfa4-sydtest-mutation-example-gen-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6/sydtest-mutation-example-gen-0.0.0.0-2N3V3NV1148BsChSepwsd8
  1612. 65.82 s [sydtest-mutation-example-gen] Phase: fixupPhase
  1613. 65.87 s [sydtest-mutation-example-gen] shrinking RPATHs of ELF executables and libraries in /nix/store/lmmc84kpp56523jxw294pyb1pv2bnfa4-sydtest-mutation-example-gen-0.0.0.0
  1614. 65.87 s [sydtest-mutation-example-gen] shrinking /nix/store/lmmc84kpp56523jxw294pyb1pv2bnfa4-sydtest-mutation-example-gen-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6/libHSsydtest-mutation-example-gen-0.0.0.0-2N3V3NV1148BsChSepwsd8-ghc9.10.3.so
  1615. 65.89 s [sydtest-mutation-example-gen] checking for references to /build/ in /nix/store/lmmc84kpp56523jxw294pyb1pv2bnfa4-sydtest-mutation-example-gen-0.0.0.0...
  1616. 65.93 s [sydtest-mutation-example-gen] patching script interpreter paths in /nix/store/lmmc84kpp56523jxw294pyb1pv2bnfa4-sydtest-mutation-example-gen-0.0.0.0
  1617. 65.94 s [sydtest-mutation-example-gen] stripping (with command strip and flags -S -p) in /nix/store/lmmc84kpp56523jxw294pyb1pv2bnfa4-sydtest-mutation-example-gen-0.0.0.0/lib
  1618. 66.01 s [sydtest-mutation-example-gen] shrinking RPATHs of ELF executables and libraries in /nix/store/pkbq6wsr1azncmbf5lgh3pfhb6asci6p-sydtest-mutation-example-gen-0.0.0.0-doc
  1619. 66.02 s [sydtest-mutation-example-gen] checking for references to /build/ in /nix/store/pkbq6wsr1azncmbf5lgh3pfhb6asci6p-sydtest-mutation-example-gen-0.0.0.0-doc...
  1620. 66.05 s [sydtest-mutation-example-gen] patching script interpreter paths in /nix/store/pkbq6wsr1azncmbf5lgh3pfhb6asci6p-sydtest-mutation-example-gen-0.0.0.0-doc
  1621. 66.07 s [sydtest-mutation-example-gen] shrinking RPATHs of ELF executables and libraries in /nix/store/plyicyfa28rdx77apyi8j1hl08li4g19-sydtest-mutation-example-gen-0.0.0.0-report
  1622. 66.08 s [sydtest-mutation-example-gen] checking for references to /build/ in /nix/store/plyicyfa28rdx77apyi8j1hl08li4g19-sydtest-mutation-example-gen-0.0.0.0-report...
  1623. 66.11 s [sydtest-mutation-example-gen] patching script interpreter paths in /nix/store/plyicyfa28rdx77apyi8j1hl08li4g19-sydtest-mutation-example-gen-0.0.0.0-report
  1624. 66.32 s [post-build-hook] Uploading to cachix cache "sydtest": /nix/store/lmmc84kpp56523jxw294pyb1pv2bnfa4-sydtest-mutation-example-gen-0.0.0.0 /nix/store/pkbq6wsr1azncmbf5lgh3pfhb6asci6p-sydtest-mutation-example-gen-0.0.0.0-doc /nix/store/plyicyfa28rdx77apyi8j1hl08li4g19-sydtest-mutation-example-gen-0.0.0.0-report
  1625. 67.01 s [post-build-hook] Pushing 3 paths (76 are already present) using zstd to cache sydtest ⏳
  1626. 67.01 s [post-build-hook]
  1627. 67.35 s [post-build-hook] Pushing /nix/store/lmmc84kpp56523jxw294pyb1pv2bnfa4-sydtest-mutation-example-gen-0.0.0.0 (286.86 KiB)
  1628. 67.39 s [post-build-hook] Pushing /nix/store/pkbq6wsr1azncmbf5lgh3pfhb6asci6p-sydtest-mutation-example-gen-0.0.0.0-doc (142.72 KiB)
  1629. 67.39 s [post-build-hook] Pushing /nix/store/plyicyfa28rdx77apyi8j1hl08li4g19-sydtest-mutation-example-gen-0.0.0.0-report (712.00 B)
  1630. 68.67 s [post-build-hook]
  1631. 68.67 s [post-build-hook] All done.
  1632. 68.71 s [post-build-hook] Uploading to the NixCI staging cache: /nix/store/lmmc84kpp56523jxw294pyb1pv2bnfa4-sydtest-mutation-example-gen-0.0.0.0 /nix/store/pkbq6wsr1azncmbf5lgh3pfhb6asci6p-sydtest-mutation-example-gen-0.0.0.0-doc /nix/store/plyicyfa28rdx77apyi8j1hl08li4g19-sydtest-mutation-example-gen-0.0.0.0-report
  1633. 68.81 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  1634. 69.06 s [post-build-hook] copying 2 paths...
  1635. 69.06 s [post-build-hook] copying path '/nix/store/plyicyfa28rdx77apyi8j1hl08li4g19-sydtest-mutation-example-gen-0.0.0.0-report' to 'https://cache.staging.nix-ci.com'...
  1636. 69.06 s [post-build-hook] copying path '/nix/store/pkbq6wsr1azncmbf5lgh3pfhb6asci6p-sydtest-mutation-example-gen-0.0.0.0-doc' to 'https://cache.staging.nix-ci.com'...
  1637. 69.32 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  1638. 69.49 s [post-build-hook] copying 0 paths...
  1639. 69.56 s Progress: 2 of 4 built, 4 of 4 downloaded from cache
  1640. 69.61 s Building sydtest-mutation-example
  1641. 69.73 s [sydtest-mutation-example] Results: 103 killed, 0 survived, 0 uncovered out of 103 total
  1642. 69.76 s [sydtest-mutation-example]
  1643. 69.76 s [sydtest-mutation-example] Killed: 103
  1644. 69.76 s [sydtest-mutation-example] (of which timed out: 0)
  1645. 69.76 s [sydtest-mutation-example] Survived: 0
  1646. 69.76 s [sydtest-mutation-example] Uncovered: 0
  1647. 69.76 s [sydtest-mutation-example] Full report: /nix/store/plyicyfa28rdx77apyi8j1hl08li4g19-sydtest-mutation-example-gen-0.0.0.0-report/report.txt
  1648. 69.76 s [sydtest-mutation-example] Machine-readable report: /nix/store/plyicyfa28rdx77apyi8j1hl08li4g19-sydtest-mutation-example-gen-0.0.0.0-report/report.json
  1649. 69.76 s [sydtest-mutation-example]
  1650. 69.76 s [sydtest-mutation-example] PASS: All 103 mutation(s) accounted for.
  1651. 69.79 s [post-build-hook] Uploading to cachix cache "sydtest": /nix/store/f53rs7nrnj193912dn18w0df3l71svlh-sydtest-mutation-example
  1652. 70.43 s [post-build-hook] Pushing 1 paths (0 are already present) using zstd to cache sydtest ⏳
  1653. 70.43 s [post-build-hook]
  1654. 70.79 s [post-build-hook] Pushing /nix/store/f53rs7nrnj193912dn18w0df3l71svlh-sydtest-mutation-example (712.00 B)
  1655. 71.76 s [post-build-hook]
  1656. 71.76 s [post-build-hook] All done.
  1657. 71.80 s [post-build-hook] Uploading to the NixCI staging cache: /nix/store/f53rs7nrnj193912dn18w0df3l71svlh-sydtest-mutation-example
  1658. 71.90 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  1659. 71.92 s [post-build-hook] copying 1 paths...
  1660. 71.92 s [post-build-hook] copying path '/nix/store/f53rs7nrnj193912dn18w0df3l71svlh-sydtest-mutation-example' to 'https://cache.staging.nix-ci.com'...
  1661. 72.14 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  1662. 72.34 s [post-build-hook] copying 0 paths...
  1663. 72.40 s Progress: 3 of 4 built, 4 of 4 downloaded from cache
More Logs Raw Logs

Agent Instructions

Wait for completion, without logs:

curl --netrc -N https://staging.nix-ci.com/gh:NorfairKing:sydtest/mutation-testing/0b5982b9edf89fa95984e20b7b92aba6d187ac43/6bd059aa-35a8-4ab6-adb3-9cb809d8d60d/wait

Latest logs, with timestamps (streams while running):

curl --netrc -N https://staging.nix-ci.com/gh:NorfairKing:sydtest/mutation-testing/0b5982b9edf89fa95984e20b7b92aba6d187ac43/6bd059aa-35a8-4ab6-adb3-9cb809d8d60d/tail

All logs, with timestamps (available after completion):

curl --netrc https://staging.nix-ci.com/gh:NorfairKing:sydtest/mutation-testing/0b5982b9edf89fa95984e20b7b92aba6d187ac43/6bd059aa-35a8-4ab6-adb3-9cb809d8d60d/logs

Raw logs, from the start (no timestamps):

curl --netrc -N https://staging.nix-ci.com/gh:NorfairKing:sydtest/mutation-testing/0b5982b9edf89fa95984e20b7b92aba6d187ac43/6bd059aa-35a8-4ab6-adb3-9cb809d8d60d/raw-logs

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

Example:

curl --netrc -H "Accept: text/csv" https://staging.nix-ci.com/gh:NorfairKing:sydtest/mutation-testing/0b5982b9edf89fa95984e20b7b92aba6d187ac43/6bd059aa-35a8-4ab6-adb3-9cb809d8d60d/logs

Reproduce locally: https://staging.nix-ci.com/gh:NorfairKing:sydtest/mutation-testing/0b5982b9edf89fa95984e20b7b92aba6d187ac43/6bd059aa-35a8-4ab6-adb3-9cb809d8d60d/repro

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