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=0b774cd71b385f2210b2cbb42429a4492d30527a#checks.x86_64-linux.mutation-sydtest-mutation-example --print-build-logs
  2. 0.08 s warning: ignoring untrusted flake configuration setting 'extra-substituters'.
  3. 0.08 s Pass '--accept-flake-config' to trust it
  4. 0.08 s warning: ignoring untrusted flake configuration setting 'extra-trusted-public-keys'.
  5. 0.08 s Pass '--accept-flake-config' to trust it
  6. 0.10 s
  7. 1.82 s Building sydtest-mutation-example-gen-source
  8. 2.15 s [sydtest-mutation-example-gen-source] Phase: setupCompilerEnvironmentPhase
  9. 2.16 s [sydtest-mutation-example-gen-source] Build with /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3.
  10. 2.58 s [sydtest-mutation-example-gen-source] Phase: unpackPhase
  11. 2.59 s [sydtest-mutation-example-gen-source] unpacking source archive /nix/store/g9smk8n66l0px6ay5wh3flpwd40s6nks-sydtest-mutation-example-gen
  12. 2.59 s [sydtest-mutation-example-gen-source] source root is sydtest-mutation-example-gen
  13. 2.60 s [sydtest-mutation-example-gen-source] Phase: patchPhase
  14. 2.61 s [sydtest-mutation-example-gen-source] Phase: compileBuildDriverPhase
  15. 2.61 s [sydtest-mutation-example-gen-source] setupCompileFlags: -package-db=/build/tmp.6iiv36rlZv/setup-package.conf.d -threaded
  16. 2.66 s [sydtest-mutation-example-gen-source] [1 of 2] Compiling Main ( /nix/store/4mdp8nhyfddh7bllbi7xszz7k9955n79-Setup.hs, /build/tmp.6iiv36rlZv/Main.o )
  17. 2.71 s [sydtest-mutation-example-gen-source] [2 of 2] Linking Setup
  18. 3.78 s [sydtest-mutation-example-gen-source] Phase: updateAutotoolsGnuConfigScriptsPhase
  19. 3.79 s [sydtest-mutation-example-gen-source] Phase: configurePhase
  20. 3.79 s [sydtest-mutation-example-gen-source] configureFlags: --verbose --prefix=/nix/store/bapbajf8r61560n0ckz4jhirydi2jqry-sydtest-mutation-example-gen-source-0.0.0.0 --libdir=$prefix/lib/$compiler/lib --libsubdir=$abi/$libname --docdir=/share/doc/sydtest-mutation-example-gen-0.0.0.0 --with-gcc=gcc --package-db=/build/tmp.6iiv36rlZv/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 --enable-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
  21. 3.80 s [sydtest-mutation-example-gen-source] Using Parsec parser
  22. 3.80 s [sydtest-mutation-example-gen-source] Configuring sydtest-mutation-example-gen-0.0.0.0...
  23. 4.35 s [sydtest-mutation-example-gen-source] Dependency QuickCheck: using QuickCheck-2.15.0.1
  24. 4.35 s [sydtest-mutation-example-gen-source] Dependency base >=4.7 && <5: using base-4.20.2.0
  25. 4.35 s [sydtest-mutation-example-gen-source] Dependency QuickCheck: using QuickCheck-2.15.0.1
  26. 4.35 s [sydtest-mutation-example-gen-source] Dependency base >=4.7 && <5: using base-4.20.2.0
  27. 4.35 s [sydtest-mutation-example-gen-source] Dependency sydtest: using sydtest-0.23.0.2
  28. 4.35 s [sydtest-mutation-example-gen-source] Dependency sydtest-mutation-example: using sydtest-mutation-example-0.0.0.0
  29. 4.35 s [sydtest-mutation-example-gen-source] Dependency sydtest-mutation-example-gen: using
  30. 4.35 s [sydtest-mutation-example-gen-source] sydtest-mutation-example-gen-0.0.0.0
  31. 4.35 s [sydtest-mutation-example-gen-source] Source component graph:
  32. 4.35 s [sydtest-mutation-example-gen-source] component lib
  33. 4.35 s [sydtest-mutation-example-gen-source] component test:sydtest-mutation-example-gen-test dependency lib
  34. 4.35 s [sydtest-mutation-example-gen-source] Configured component graph:
  35. 4.35 s [sydtest-mutation-example-gen-source] component sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
  36. 4.35 s [sydtest-mutation-example-gen-source] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  37. 4.35 s [sydtest-mutation-example-gen-source] include base-4.20.2.0-64da
  38. 4.35 s [sydtest-mutation-example-gen-source] component sydtest-mutation-example-gen-0.0.0.0-4aLnrrzAr6JDrCYfyHcQMz-sydtest-mutation-example-gen-test
  39. 4.35 s [sydtest-mutation-example-gen-source] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  40. 4.35 s [sydtest-mutation-example-gen-source] include base-4.20.2.0-64da
  41. 4.35 s [sydtest-mutation-example-gen-source] include sydtest-0.23.0.2-2pBpKNR1Siz5MducBHcrJ7
  42. 4.35 s [sydtest-mutation-example-gen-source] include sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
  43. 4.35 s [sydtest-mutation-example-gen-source] include sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
  44. 4.35 s [sydtest-mutation-example-gen-source] Linked component graph:
  45. 4.35 s [sydtest-mutation-example-gen-source] unit sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
  46. 4.35 s [sydtest-mutation-example-gen-source] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  47. 4.35 s [sydtest-mutation-example-gen-source] include base-4.20.2.0-64da
  48. 4.35 s [sydtest-mutation-example-gen-source] Example.Gen=sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8:Example.Gen
  49. 4.35 s [sydtest-mutation-example-gen-source] unit sydtest-mutation-example-gen-0.0.0.0-4aLnrrzAr6JDrCYfyHcQMz-sydtest-mutation-example-gen-test
  50. 4.35 s [sydtest-mutation-example-gen-source] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  51. 4.35 s [sydtest-mutation-example-gen-source] include base-4.20.2.0-64da
  52. 4.35 s [sydtest-mutation-example-gen-source] include sydtest-0.23.0.2-2pBpKNR1Siz5MducBHcrJ7
  53. 4.35 s [sydtest-mutation-example-gen-source] include sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
  54. 4.35 s [sydtest-mutation-example-gen-source] include sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
  55. 4.35 s [sydtest-mutation-example-gen-source] Ready component graph:
  56. 4.35 s [sydtest-mutation-example-gen-source] definite sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
  57. 4.35 s [sydtest-mutation-example-gen-source] depends QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  58. 4.35 s [sydtest-mutation-example-gen-source] depends base-4.20.2.0-64da
  59. 4.35 s [sydtest-mutation-example-gen-source] definite sydtest-mutation-example-gen-0.0.0.0-4aLnrrzAr6JDrCYfyHcQMz-sydtest-mutation-example-gen-test
  60. 4.35 s [sydtest-mutation-example-gen-source] depends QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  61. 4.35 s [sydtest-mutation-example-gen-source] depends base-4.20.2.0-64da
  62. 4.35 s [sydtest-mutation-example-gen-source] depends sydtest-0.23.0.2-2pBpKNR1Siz5MducBHcrJ7
  63. 4.35 s [sydtest-mutation-example-gen-source] depends sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
  64. 4.35 s [sydtest-mutation-example-gen-source] depends sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
  65. 4.35 s [sydtest-mutation-example-gen-source] Using Cabal-3.12.1.0 compiled by ghc-9.10
  66. 4.35 s [sydtest-mutation-example-gen-source] Using compiler: ghc-9.10.3
  67. 4.35 s [sydtest-mutation-example-gen-source] Using install prefix:
  68. 4.35 s [sydtest-mutation-example-gen-source] /nix/store/bapbajf8r61560n0ckz4jhirydi2jqry-sydtest-mutation-example-gen-source-0.0.0.0
  69. 4.35 s [sydtest-mutation-example-gen-source] Executables installed in:
  70. 4.35 s [sydtest-mutation-example-gen-source] /nix/store/bapbajf8r61560n0ckz4jhirydi2jqry-sydtest-mutation-example-gen-source-0.0.0.0/bin
  71. 4.35 s [sydtest-mutation-example-gen-source] Libraries installed in:
  72. 4.35 s [sydtest-mutation-example-gen-source] /nix/store/bapbajf8r61560n0ckz4jhirydi2jqry-sydtest-mutation-example-gen-source-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-EzuGrqDLLMh6u56kvk2Yn8
  73. 4.35 s [sydtest-mutation-example-gen-source] Dynamic Libraries installed in:
  74. 4.35 s [sydtest-mutation-example-gen-source] /nix/store/bapbajf8r61560n0ckz4jhirydi2jqry-sydtest-mutation-example-gen-source-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6
  75. 4.35 s [sydtest-mutation-example-gen-source] Private executables installed in:
  76. 4.35 s [sydtest-mutation-example-gen-source] /nix/store/bapbajf8r61560n0ckz4jhirydi2jqry-sydtest-mutation-example-gen-source-0.0.0.0/libexec/x86_64-linux-ghc-9.10.3-05f6/sydtest-mutation-example-gen-0.0.0.0
  77. 4.35 s [sydtest-mutation-example-gen-source] Data files installed in:
  78. 4.35 s [sydtest-mutation-example-gen-source] /nix/store/bapbajf8r61560n0ckz4jhirydi2jqry-sydtest-mutation-example-gen-source-0.0.0.0/share/x86_64-linux-ghc-9.10.3-05f6/sydtest-mutation-example-gen-0.0.0.0
  79. 4.35 s [sydtest-mutation-example-gen-source] Documentation installed in: /share/doc/sydtest-mutation-example-gen-0.0.0.0
  80. 4.35 s [sydtest-mutation-example-gen-source] Configuration files installed in:
  81. 4.35 s [sydtest-mutation-example-gen-source] /nix/store/bapbajf8r61560n0ckz4jhirydi2jqry-sydtest-mutation-example-gen-source-0.0.0.0/etc
  82. 4.35 s [sydtest-mutation-example-gen-source] No alex found
  83. 4.35 s [sydtest-mutation-example-gen-source] Using ar found on system at:
  84. 4.35 s [sydtest-mutation-example-gen-source] /nix/store/iz5lckcsg66r223si2gck7csk2hihj0m-binutils-wrapper-2.44/bin/ar
  85. 4.35 s [sydtest-mutation-example-gen-source] No c2hs found
  86. 4.35 s [sydtest-mutation-example-gen-source] No cpphs found
  87. 4.35 s [sydtest-mutation-example-gen-source] No doctest found
  88. 4.35 s [sydtest-mutation-example-gen-source] Using gcc version 14.3.0 given by user at:
  89. 4.35 s [sydtest-mutation-example-gen-source] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/gcc
  90. 4.35 s [sydtest-mutation-example-gen-source] Using ghc version 9.10.3 found on system at:
  91. 4.35 s [sydtest-mutation-example-gen-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc
  92. 4.35 s [sydtest-mutation-example-gen-source] Using ghc-pkg version 9.10.3 found on system at:
  93. 4.35 s [sydtest-mutation-example-gen-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc-pkg-9.10.3
  94. 4.35 s [sydtest-mutation-example-gen-source] No ghcjs found
  95. 4.35 s [sydtest-mutation-example-gen-source] No ghcjs-pkg found
  96. 4.35 s [sydtest-mutation-example-gen-source] No greencard found
  97. 4.35 s [sydtest-mutation-example-gen-source] Using haddock version 2.31.1 found on system at:
  98. 4.35 s [sydtest-mutation-example-gen-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/haddock-ghc-9.10.3
  99. 4.35 s [sydtest-mutation-example-gen-source] No happy found
  100. 4.35 s [sydtest-mutation-example-gen-source] Using haskell-suite found on system at: haskell-suite-dummy-location
  101. 4.35 s [sydtest-mutation-example-gen-source] Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
  102. 4.35 s [sydtest-mutation-example-gen-source] No hmake found
  103. 4.35 s [sydtest-mutation-example-gen-source] Using hpc version 0.69 found on system at:
  104. 4.35 s [sydtest-mutation-example-gen-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hpc-ghc-9.10.3
  105. 4.35 s [sydtest-mutation-example-gen-source] Using hsc2hs version 0.68.10 found on system at:
  106. 4.35 s [sydtest-mutation-example-gen-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hsc2hs-ghc-9.10.3
  107. 4.35 s [sydtest-mutation-example-gen-source] Using hscolour version 1.25 found on system at:
  108. 4.35 s [sydtest-mutation-example-gen-source] /nix/store/f755skyzf4jvfx3crwq9mmh3x4lsaz8i-hscolour-1.25/bin/HsColour
  109. 4.35 s [sydtest-mutation-example-gen-source] No jhc found
  110. 4.35 s [sydtest-mutation-example-gen-source] Using ld found on system at:
  111. 4.35 s [sydtest-mutation-example-gen-source] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/ld
  112. 4.35 s [sydtest-mutation-example-gen-source] No pkg-config found
  113. 4.35 s [sydtest-mutation-example-gen-source] Using runghc version 9.10.3 found on system at:
  114. 4.35 s [sydtest-mutation-example-gen-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/runghc-9.10.3
  115. 4.35 s [sydtest-mutation-example-gen-source] Using strip version 2.44 found on system at:
  116. 4.35 s [sydtest-mutation-example-gen-source] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/strip
  117. 4.35 s [sydtest-mutation-example-gen-source] Using tar found on system at:
  118. 4.35 s [sydtest-mutation-example-gen-source] /nix/store/xl6pd2spjajwcpq09fnmnjv5psqmlmma-gnutar-1.35/bin/tar
  119. 4.35 s [sydtest-mutation-example-gen-source] No uhc found
  120. 4.69 s [sydtest-mutation-example-gen-source] Phase: buildPhase
  121. 4.70 s [sydtest-mutation-example-gen-source] Distribution quality errors:
  122. 4.70 s [sydtest-mutation-example-gen-source] [no-syn-desc] No 'synopsis' or 'description' field.
  123. 4.70 s [sydtest-mutation-example-gen-source] Distribution quality warnings:
  124. 4.70 s [sydtest-mutation-example-gen-source] [no-license-file] A 'license-file' is not specified.
  125. 4.70 s [sydtest-mutation-example-gen-source] [missing-upper-bounds] On library, these packages miss upper bounds:
  126. 4.70 s [sydtest-mutation-example-gen-source] - QuickCheck
  127. 4.70 s [sydtest-mutation-example-gen-source] Please add them. There is more information at https://pvp.haskell.org/
  128. 4.70 s [sydtest-mutation-example-gen-source] Note: the public hackage server would reject this package.
  129. 4.70 s [sydtest-mutation-example-gen-source] Building source dist for sydtest-mutation-example-gen-0.0.0.0...
  130. 4.71 s [sydtest-mutation-example-gen-source] Source tarball created: dist/sydtest-mutation-example-gen-0.0.0.0.tar.gz
  131. 4.71 s [sydtest-mutation-example-gen-source] Phase: checkPhase
  132. 4.72 s [sydtest-mutation-example-gen-source] Phase: haddockPhase
  133. 4.72 s [sydtest-mutation-example-gen-source] Phase: installPhase
  134. 4.73 s [sydtest-mutation-example-gen-source] Phase: fixupPhase
  135. 4.77 s [post-build-hook] Uploading to cachix cache "sydtest": /nix/store/bapbajf8r61560n0ckz4jhirydi2jqry-sydtest-mutation-example-gen-source-0.0.0.0
  136. 5.13 s [post-build-hook] Pushing 1 paths (0 are already present) using zstd to cache sydtest ⏳
  137. 5.13 s [post-build-hook]
  138. 5.47 s [post-build-hook] Pushing /nix/store/bapbajf8r61560n0ckz4jhirydi2jqry-sydtest-mutation-example-gen-source-0.0.0.0 (2.41 KiB)
  139. 7.04 s [post-build-hook]
  140. 7.04 s [post-build-hook] All done.
  141. 7.05 s [post-build-hook] Uploading to the NixCI staging cache: /nix/store/bapbajf8r61560n0ckz4jhirydi2jqry-sydtest-mutation-example-gen-source-0.0.0.0
  142. 7.09 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  143. 7.10 s [post-build-hook] copying 1 paths...
  144. 7.10 s [post-build-hook] copying path '/nix/store/bapbajf8r61560n0ckz4jhirydi2jqry-sydtest-mutation-example-gen-source-0.0.0.0' to 'https://cache.staging.nix-ci.com'...
  145. 7.35 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  146. 7.57 s [post-build-hook] copying 1 paths...
  147. 7.57 s [post-build-hook] copying path '/nix/store/mqpsx1hrk1h135cca78ms9xjcvzd2qa2-sydtest-mutation-example-gen-source-0.0.0.0.drv' to 'https://cache.staging.nix-ci.com'...
  148. 7.77 s Progress: 1 of 4 built
  149. 7.81 s Building sydtest-mutation-example-gen
  150. 8.15 s [sydtest-mutation-example-gen] Phase: setupCompilerEnvironmentPhase
  151. 8.15 s [sydtest-mutation-example-gen] Build with /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3.
  152. 8.59 s [sydtest-mutation-example-gen] Phase: unpackPhase
  153. 8.60 s [sydtest-mutation-example-gen] unpacking source archive /nix/store/bapbajf8r61560n0ckz4jhirydi2jqry-sydtest-mutation-example-gen-source-0.0.0.0/sydtest-mutation-example-gen-0.0.0.0.tar.gz
  154. 8.60 s [sydtest-mutation-example-gen] source root is sydtest-mutation-example-gen-0.0.0.0
  155. 8.61 s [sydtest-mutation-example-gen] setting SOURCE_DATE_EPOCH to timestamp 1778831451 of file "sydtest-mutation-example-gen-0.0.0.0/test/Spec.hs"
  156. 8.61 s [sydtest-mutation-example-gen] warning: file "sydtest-mutation-example-gen-0.0.0.0/test/Spec.hs" may be generated; SOURCE_DATE_EPOCH may be non-deterministic
  157. 8.61 s [sydtest-mutation-example-gen] Phase: patchPhase
  158. 8.62 s [sydtest-mutation-example-gen] Phase: compileBuildDriverPhase
  159. 8.62 s [sydtest-mutation-example-gen] setupCompileFlags: -package-db=/build/tmp.vYe5aHrBP9/setup-package.conf.d -threaded
  160. 8.67 s [sydtest-mutation-example-gen] [1 of 2] Compiling Main ( Setup.hs, /build/tmp.vYe5aHrBP9/Main.o )
  161. 8.72 s [sydtest-mutation-example-gen] [2 of 2] Linking Setup
  162. 9.92 s [sydtest-mutation-example-gen] Phase: updateAutotoolsGnuConfigScriptsPhase
  163. 9.93 s [sydtest-mutation-example-gen] Phase: configurePhase
  164. 9.93 s [sydtest-mutation-example-gen] configureFlags: --verbose --prefix=/nix/store/4rxgs8kc4609fjc7liy0h2ly010las9r-sydtest-mutation-example-gen-0.0.0.0 --libdir=$prefix/lib/$compiler/lib --libsubdir=$abi/$libname --docdir=/nix/store/6jzbzwjxkhz3pfric8wxycbywcmqmqrp-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.vYe5aHrBP9/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
  165. 9.94 s [sydtest-mutation-example-gen] Using Parsec parser
  166. 9.94 s [sydtest-mutation-example-gen] Configuring sydtest-mutation-example-gen-0.0.0.0...
  167. 10.57 s [sydtest-mutation-example-gen] Dependency QuickCheck: using QuickCheck-2.15.0.1
  168. 10.57 s [sydtest-mutation-example-gen] Dependency base >=4.7 && <5: using base-4.20.2.0
  169. 10.61 s [sydtest-mutation-example-gen] Dependency QuickCheck: using QuickCheck-2.15.0.1
  170. 10.61 s [sydtest-mutation-example-gen] Dependency base >=4.7 && <5: using base-4.20.2.0
  171. 10.61 s [sydtest-mutation-example-gen] Dependency sydtest: using sydtest-0.23.0.2
  172. 10.61 s [sydtest-mutation-example-gen] Dependency sydtest-mutation-example: using sydtest-mutation-example-0.0.0.0
  173. 10.61 s [sydtest-mutation-example-gen] Dependency sydtest-mutation-example-gen: using
  174. 10.61 s [sydtest-mutation-example-gen] sydtest-mutation-example-gen-0.0.0.0
  175. 10.61 s [sydtest-mutation-example-gen] Source component graph:
  176. 10.61 s [sydtest-mutation-example-gen] component lib
  177. 10.61 s [sydtest-mutation-example-gen] component test:sydtest-mutation-example-gen-test dependency lib
  178. 10.61 s [sydtest-mutation-example-gen] Configured component graph:
  179. 10.61 s [sydtest-mutation-example-gen] component sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
  180. 10.61 s [sydtest-mutation-example-gen] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  181. 10.61 s [sydtest-mutation-example-gen] include base-4.20.2.0-64da
  182. 10.61 s [sydtest-mutation-example-gen] component sydtest-mutation-example-gen-0.0.0.0-4aLnrrzAr6JDrCYfyHcQMz-sydtest-mutation-example-gen-test
  183. 10.61 s [sydtest-mutation-example-gen] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  184. 10.61 s [sydtest-mutation-example-gen] include base-4.20.2.0-64da
  185. 10.61 s [sydtest-mutation-example-gen] include sydtest-0.23.0.2-2pBpKNR1Siz5MducBHcrJ7
  186. 10.61 s [sydtest-mutation-example-gen] include sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
  187. 10.61 s [sydtest-mutation-example-gen] include sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
  188. 10.61 s [sydtest-mutation-example-gen] Linked component graph:
  189. 10.61 s [sydtest-mutation-example-gen] unit sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
  190. 10.61 s [sydtest-mutation-example-gen] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  191. 10.61 s [sydtest-mutation-example-gen] include base-4.20.2.0-64da
  192. 10.61 s [sydtest-mutation-example-gen] Example.Gen=sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8:Example.Gen
  193. 10.61 s [sydtest-mutation-example-gen] unit sydtest-mutation-example-gen-0.0.0.0-4aLnrrzAr6JDrCYfyHcQMz-sydtest-mutation-example-gen-test
  194. 10.61 s [sydtest-mutation-example-gen] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  195. 10.61 s [sydtest-mutation-example-gen] include base-4.20.2.0-64da
  196. 10.61 s [sydtest-mutation-example-gen] include sydtest-0.23.0.2-2pBpKNR1Siz5MducBHcrJ7
  197. 10.61 s [sydtest-mutation-example-gen] include sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
  198. 10.61 s [sydtest-mutation-example-gen] include sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
  199. 10.61 s [sydtest-mutation-example-gen] Ready component graph:
  200. 10.61 s [sydtest-mutation-example-gen] definite sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
  201. 10.61 s [sydtest-mutation-example-gen] depends QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  202. 10.61 s [sydtest-mutation-example-gen] depends base-4.20.2.0-64da
  203. 10.61 s [sydtest-mutation-example-gen] definite sydtest-mutation-example-gen-0.0.0.0-4aLnrrzAr6JDrCYfyHcQMz-sydtest-mutation-example-gen-test
  204. 10.61 s [sydtest-mutation-example-gen] depends QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  205. 10.61 s [sydtest-mutation-example-gen] depends base-4.20.2.0-64da
  206. 10.61 s [sydtest-mutation-example-gen] depends sydtest-0.23.0.2-2pBpKNR1Siz5MducBHcrJ7
  207. 10.61 s [sydtest-mutation-example-gen] depends sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
  208. 10.61 s [sydtest-mutation-example-gen] depends sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
  209. 10.61 s [sydtest-mutation-example-gen] Using Cabal-3.12.1.0 compiled by ghc-9.10
  210. 10.61 s [sydtest-mutation-example-gen] Using compiler: ghc-9.10.3
  211. 10.61 s [sydtest-mutation-example-gen] Using install prefix:
  212. 10.61 s [sydtest-mutation-example-gen] /nix/store/4rxgs8kc4609fjc7liy0h2ly010las9r-sydtest-mutation-example-gen-0.0.0.0
  213. 10.61 s [sydtest-mutation-example-gen] Executables installed in:
  214. 10.61 s [sydtest-mutation-example-gen] /nix/store/4rxgs8kc4609fjc7liy0h2ly010las9r-sydtest-mutation-example-gen-0.0.0.0/bin
  215. 10.61 s [sydtest-mutation-example-gen] Libraries installed in:
  216. 10.61 s [sydtest-mutation-example-gen] /nix/store/4rxgs8kc4609fjc7liy0h2ly010las9r-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-EzuGrqDLLMh6u56kvk2Yn8
  217. 10.61 s [sydtest-mutation-example-gen] Dynamic Libraries installed in:
  218. 10.61 s [sydtest-mutation-example-gen] /nix/store/4rxgs8kc4609fjc7liy0h2ly010las9r-sydtest-mutation-example-gen-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6
  219. 10.61 s [sydtest-mutation-example-gen] Private executables installed in:
  220. 10.61 s [sydtest-mutation-example-gen] /nix/store/4rxgs8kc4609fjc7liy0h2ly010las9r-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
  221. 10.61 s [sydtest-mutation-example-gen] Data files installed in:
  222. 10.61 s [sydtest-mutation-example-gen] /nix/store/4rxgs8kc4609fjc7liy0h2ly010las9r-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
  223. 10.61 s [sydtest-mutation-example-gen] Documentation installed in:
  224. 10.61 s [sydtest-mutation-example-gen] /nix/store/6jzbzwjxkhz3pfric8wxycbywcmqmqrp-sydtest-mutation-example-gen-0.0.0.0-doc/share/doc/sydtest-mutation-example-gen-0.0.0.0
  225. 10.61 s [sydtest-mutation-example-gen] Configuration files installed in:
  226. 10.61 s [sydtest-mutation-example-gen] /nix/store/4rxgs8kc4609fjc7liy0h2ly010las9r-sydtest-mutation-example-gen-0.0.0.0/etc
  227. 10.61 s [sydtest-mutation-example-gen] No alex found
  228. 10.61 s [sydtest-mutation-example-gen] Using ar found on system at:
  229. 10.61 s [sydtest-mutation-example-gen] /nix/store/iz5lckcsg66r223si2gck7csk2hihj0m-binutils-wrapper-2.44/bin/ar
  230. 10.61 s [sydtest-mutation-example-gen] No c2hs found
  231. 10.61 s [sydtest-mutation-example-gen] No cpphs found
  232. 10.61 s [sydtest-mutation-example-gen] No doctest found
  233. 10.61 s [sydtest-mutation-example-gen] Using gcc version 14.3.0 given by user at:
  234. 10.61 s [sydtest-mutation-example-gen] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/gcc
  235. 10.61 s [sydtest-mutation-example-gen] Using ghc version 9.10.3 found on system at:
  236. 10.61 s [sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc
  237. 10.61 s [sydtest-mutation-example-gen] Using ghc-pkg version 9.10.3 found on system at:
  238. 10.61 s [sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc-pkg-9.10.3
  239. 10.61 s [sydtest-mutation-example-gen] No ghcjs found
  240. 10.61 s [sydtest-mutation-example-gen] No ghcjs-pkg found
  241. 10.61 s [sydtest-mutation-example-gen] No greencard found
  242. 10.61 s [sydtest-mutation-example-gen] Using haddock version 2.31.1 found on system at:
  243. 10.61 s [sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/haddock-ghc-9.10.3
  244. 10.61 s [sydtest-mutation-example-gen] No happy found
  245. 10.61 s [sydtest-mutation-example-gen] Using haskell-suite found on system at: haskell-suite-dummy-location
  246. 10.61 s [sydtest-mutation-example-gen] Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
  247. 10.61 s [sydtest-mutation-example-gen] No hmake found
  248. 10.61 s [sydtest-mutation-example-gen] Using hpc version 0.69 found on system at:
  249. 10.61 s [sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hpc-ghc-9.10.3
  250. 10.61 s [sydtest-mutation-example-gen] Using hsc2hs version 0.68.10 found on system at:
  251. 10.61 s [sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hsc2hs-ghc-9.10.3
  252. 10.61 s [sydtest-mutation-example-gen] Using hscolour version 1.25 found on system at:
  253. 10.61 s [sydtest-mutation-example-gen] /nix/store/f755skyzf4jvfx3crwq9mmh3x4lsaz8i-hscolour-1.25/bin/HsColour
  254. 10.61 s [sydtest-mutation-example-gen] No jhc found
  255. 10.61 s [sydtest-mutation-example-gen] Using ld found on system at:
  256. 10.61 s [sydtest-mutation-example-gen] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/ld
  257. 10.61 s [sydtest-mutation-example-gen] No pkg-config found
  258. 10.61 s [sydtest-mutation-example-gen] Using runghc version 9.10.3 found on system at:
  259. 10.61 s [sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/runghc-9.10.3
  260. 10.61 s [sydtest-mutation-example-gen] Using strip version 2.44 found on system at:
  261. 10.61 s [sydtest-mutation-example-gen] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/strip
  262. 10.61 s [sydtest-mutation-example-gen] Using tar found on system at:
  263. 10.61 s [sydtest-mutation-example-gen] /nix/store/xl6pd2spjajwcpq09fnmnjv5psqmlmma-gnutar-1.35/bin/tar
  264. 10.61 s [sydtest-mutation-example-gen] No uhc found
  265. 10.95 s [sydtest-mutation-example-gen] Phase: buildPhase
  266. 11.02 s [sydtest-mutation-example-gen] Preprocessing library for sydtest-mutation-example-gen-0.0.0.0...
  267. 11.02 s [sydtest-mutation-example-gen] Building library for sydtest-mutation-example-gen-0.0.0.0...
  268. 11.09 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 )
  269. 11.14 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 )
  270. 11.31 s [sydtest-mutation-example-gen] [1 of 2] Compiling Example.Gen ( src/Example/Gen.hs, dist/build/Example/Gen.p_o )
  271. 11.45 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 )
  272. 12.47 s [sydtest-mutation-example-gen] Preprocessing test suite 'sydtest-mutation-example-gen-test' for sydtest-mutation-example-gen-0.0.0.0...
  273. 12.47 s [sydtest-mutation-example-gen] Building test suite 'sydtest-mutation-example-gen-test' for sydtest-mutation-example-gen-0.0.0.0...
  274. 12.59 s [sydtest-mutation-example-gen] [ 1 of 11] Compiling Example.BoolLibSpec ( test/Example/BoolLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/BoolLibSpec.o )
  275. 12.76 s [sydtest-mutation-example-gen] [ 2 of 11] Compiling Example.CaseLibSpec ( test/Example/CaseLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/CaseLibSpec.o )
  276. 12.76 s [sydtest-mutation-example-gen] [ 3 of 11] Compiling Example.DoLibSpec ( test/Example/DoLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/DoLibSpec.o )
  277. 12.76 s [sydtest-mutation-example-gen] [ 4 of 11] Compiling Example.ExceptionLibSpec ( test/Example/ExceptionLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/ExceptionLibSpec.o )
  278. 12.76 s [sydtest-mutation-example-gen] [ 5 of 11] Compiling Example.FunctionExceptionLibSpec ( test/Example/FunctionExceptionLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/FunctionExceptionLibSpec.o )
  279. 12.77 s [sydtest-mutation-example-gen] [ 6 of 11] Compiling Example.LibSpec ( test/Example/LibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/LibSpec.o )
  280. 12.77 s [sydtest-mutation-example-gen] [ 7 of 11] Compiling Example.ListLibSpec ( test/Example/ListLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/ListLibSpec.o )
  281. 12.79 s [sydtest-mutation-example-gen] [ 8 of 11] Compiling Example.LogicLibSpec ( test/Example/LogicLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/LogicLibSpec.o )
  282. 12.83 s [sydtest-mutation-example-gen] [ 9 of 11] Compiling Example.OtherwiseLibSpec ( test/Example/OtherwiseLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/OtherwiseLibSpec.o )
  283. 12.83 s [sydtest-mutation-example-gen] [10 of 11] Compiling Main ( test/Spec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Main.o )
  284. 12.91 s [sydtest-mutation-example-gen] [11 of 11] 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 )
  285. 13.13 s [sydtest-mutation-example-gen] [12 of 12] Linking dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test
  286. 14.38 s [sydtest-mutation-example-gen] Phase: checkPhase
  287. 14.38 s [sydtest-mutation-example-gen] mutation-nix: collecting coverage for suite sydtest-mutation-example-gen
  288. 16.80 s [sydtest-mutation-example-gen] coverage (10/32): Example\.FunctionExceptionLibSpec.addOneArithAndIntLitDisabled.increments by one (0 mutations)
  289. 16.86 s [sydtest-mutation-example-gen] coverage (4/32): Example\.BoolLibSpec.wrapTrue.is Just True (2 mutations)
  290. 16.89 s [sydtest-mutation-example-gen] coverage (24/32): Example\.LogicLibSpec.eitherPositive.is True when only the first is positive (11 mutations)
  291. 16.97 s [sydtest-mutation-example-gen] coverage (21/32): Example\.OtherwiseLibSpec.classify.classifies zero (9 mutations)
  292. 17.04 s [sydtest-mutation-example-gen] coverage (8/32): Example\.BoolLibSpec.negateWrapped.negates Just False to Just True (0 mutations)
  293. 17.21 s [sydtest-mutation-example-gen] coverage (1/32): Example\.CaseLibSpec.describeList.describes singleton lists (3 mutations)
  294. 17.24 s [sydtest-mutation-example-gen] coverage (2/32): Example\.CaseLibSpec.describeList.describes longer lists (3 mutations)
  295. 17.28 s [sydtest-mutation-example-gen] coverage (20/32): Example\.OtherwiseLibSpec.classify.classifies negative numbers (6 mutations)
  296. 17.28 s [sydtest-mutation-example-gen] coverage (25/32): Example\.LogicLibSpec.eitherPositive.is False when neither is positive (18 mutations)
  297. 17.33 s [sydtest-mutation-example-gen] coverage (9/32): Example\.FunctionExceptionLibSpec.addOneArithDisabled.increments by one (2 mutations)
  298. 17.34 s [sydtest-mutation-example-gen] coverage (3/32): Example\.CaseLibSpec.describeList.describes empty lists (3 mutations)
  299. 17.36 s [sydtest-mutation-example-gen] coverage (23/32): Example\.DoLibSpec.greet.greets loudly (5 mutations)
  300. 17.36 s [sydtest-mutation-example-gen] coverage (18/32): Example\.ListLibSpec.tripleConcat.concatenates all three arguments (2 mutations)
  301. 17.37 s [sydtest-mutation-example-gen] coverage (27/32): Example\.LogicLibSpec.eitherPositive.is True when both are positive (11 mutations)
  302. 17.42 s [sydtest-mutation-example-gen] coverage (14/32): Example\.ListLibSpec.pairConcat.preserves the order (2 mutations)
  303. 17.42 s [sydtest-mutation-example-gen] coverage (19/32): Example\.OtherwiseLibSpec.classify.classifies positive numbers (9 mutations)
  304. 17.42 s [sydtest-mutation-example-gen] coverage (16/32): Example\.ListLibSpec.tripleConcat.distinguishes the last element (2 mutations)
  305. 17.43 s [sydtest-mutation-example-gen] coverage (5/32): Example\.BoolLibSpec.wrapFalse.is Just False (2 mutations)
  306. 17.43 s [sydtest-mutation-example-gen] coverage (22/32): Example\.DoLibSpec.greet.greets quietly (5 mutations)
  307. 17.44 s [sydtest-mutation-example-gen] coverage (26/32): Example\.LogicLibSpec.eitherPositive.is True when only the second is positive (18 mutations)
  308. 17.45 s [sydtest-mutation-example-gen] coverage (6/32): Example\.BoolLibSpec.negateWrapped.negates Just True to Just False (0 mutations)
  309. 17.45 s [sydtest-mutation-example-gen] coverage (15/32): Example\.ListLibSpec.pairConcat.concatenates both arguments (2 mutations)
  310. 17.46 s [sydtest-mutation-example-gen] coverage (13/32): Example\.LibSpec.addOne.returns 2 for input 1 (4 mutations)
  311. 17.46 s [sydtest-mutation-example-gen] coverage (17/32): Example\.ListLibSpec.tripleConcat.distinguishes the first element (2 mutations)
  312. 17.47 s [sydtest-mutation-example-gen] coverage (12/32): Example\.LibSpec.addOne.returns 6 for input 5 (4 mutations)
  313. 17.49 s [sydtest-mutation-example-gen] coverage (11/32): Example\.FunctionExceptionLibSpec.addOneFunctionDisabled.increments by one (0 mutations)
  314. 17.51 s [sydtest-mutation-example-gen] coverage (7/32): Example\.BoolLibSpec.negateWrapped.leaves Nothing as Nothing (0 mutations)
  315. 17.55 s [sydtest-mutation-example-gen] coverage (28/32): Example\.LogicLibSpec.bothPositive.is False when only the second is positive (11 mutations)
  316. 17.99 s [sydtest-mutation-example-gen] coverage (29/32): Example\.LogicLibSpec.bothPositive.is True when both are positive (18 mutations)
  317. 17.99 s [sydtest-mutation-example-gen] coverage (30/32): Example\.LogicLibSpec.bothPositive.is False when neither is positive (11 mutations)
  318. 18.02 s [sydtest-mutation-example-gen] coverage (31/32): Example\.LogicLibSpec.bothPositive.is False when only the first is positive (18 mutations)
  319. 18.02 s [sydtest-mutation-example-gen] coverage (32/32): Example\.ExceptionLibSpec.addOneModuleDisabled.increments by one (0 mutations)
  320. 18.03 s [sydtest-mutation-example-gen] mutation-nix: running mutations
  321. 18.62 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/LogicLib.hs:17:26-27
  322. 18.62 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  323. 18.62 s [sydtest-mutation-example-gen] --
  324. 18.62 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  325. 18.62 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  326. 18.62 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  327. 18.62 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 1 || b > 0
  328. 18.62 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:22-27
  329. 18.62 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  330. 18.62 s [sydtest-mutation-example-gen] --
  331. 18.62 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  332. 18.62 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  333. 18.62 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  334. 18.62 s [sydtest-mutation-example-gen] +eitherPositive a b = a >= 0 || b > 0
  335. 18.62 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:22-27
  336. 18.62 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  337. 18.62 s [sydtest-mutation-example-gen] --
  338. 18.62 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  339. 18.62 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  340. 18.62 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  341. 18.62 s [sydtest-mutation-example-gen] +eitherPositive a b = a < 0 || b > 0
  342. 18.62 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/LogicLib.hs:17:35-36
  343. 18.62 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  344. 18.62 s [sydtest-mutation-example-gen] --
  345. 18.62 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  346. 18.62 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  347. 18.62 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  348. 18.62 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || b > 1
  349. 18.62 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:31-36
  350. 18.62 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  351. 18.62 s [sydtest-mutation-example-gen] --
  352. 18.62 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  353. 18.62 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  354. 18.62 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  355. 18.62 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || b >= 0
  356. 18.62 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:31-36
  357. 18.62 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  358. 18.62 s [sydtest-mutation-example-gen] --
  359. 18.62 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  360. 18.62 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  361. 18.62 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  362. 18.62 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || b <= 0
  363. 18.62 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:22-27
  364. 18.62 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  365. 18.62 s [sydtest-mutation-example-gen] --
  366. 18.63 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  367. 18.63 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  368. 18.63 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  369. 18.63 s [sydtest-mutation-example-gen] +eitherPositive a b = a <= 0 || b > 0
  370. 18.63 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:31-36
  371. 18.63 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  372. 18.63 s [sydtest-mutation-example-gen] --
  373. 18.63 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  374. 18.63 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  375. 18.63 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  376. 18.63 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || b < 0
  377. 18.63 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:31-36
  378. 18.63 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  379. 18.63 s [sydtest-mutation-example-gen] --
  380. 18.63 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  381. 18.63 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  382. 18.63 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  383. 18.63 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || False
  384. 18.63 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-27
  385. 18.63 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  386. 18.63 s [sydtest-mutation-example-gen] --
  387. 18.63 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  388. 18.63 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  389. 18.63 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  390. 18.63 s [sydtest-mutation-example-gen] +eitherPositive a b = True || b > 0
  391. 18.63 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:17:22-27
  392. 18.63 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  393. 18.63 s [sydtest-mutation-example-gen] --
  394. 18.63 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  395. 18.63 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  396. 18.63 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  397. 18.63 s [sydtest-mutation-example-gen] +eitherPositive a b = not (a > 0) || b > 0
  398. 18.63 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:17:31-36
  399. 18.63 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  400. 18.63 s [sydtest-mutation-example-gen] --
  401. 18.63 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  402. 18.63 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  403. 18.63 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  404. 18.63 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || not (b > 0)
  405. 18.63 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-27
  406. 18.63 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  407. 18.63 s [sydtest-mutation-example-gen] --
  408. 18.63 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  409. 18.63 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  410. 18.63 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  411. 18.63 s [sydtest-mutation-example-gen] +eitherPositive a b = False || b > 0
  412. 18.63 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:17:22-36
  413. 18.63 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  414. 18.63 s [sydtest-mutation-example-gen] --
  415. 18.63 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  416. 18.63 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  417. 18.63 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  418. 18.63 s [sydtest-mutation-example-gen] +eitherPositive a b = not (a > 0 || b > 0)
  419. 18.63 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-36
  420. 18.63 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  421. 18.63 s [sydtest-mutation-example-gen] --
  422. 18.63 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  423. 18.63 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  424. 18.63 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  425. 18.63 s [sydtest-mutation-example-gen] +eitherPositive a b = True
  426. 18.63 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:31-36
  427. 18.63 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  428. 18.63 s [sydtest-mutation-example-gen] --
  429. 18.63 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  430. 18.63 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  431. 18.63 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  432. 18.63 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || True
  433. 18.63 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-36
  434. 18.63 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  435. 18.63 s [sydtest-mutation-example-gen] --
  436. 18.63 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  437. 18.63 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  438. 18.63 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  439. 18.63 s [sydtest-mutation-example-gen] +eitherPositive a b = False
  440. 18.63 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/LogicLib.hs:11:24-25
  441. 18.63 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  442. 18.63 s [sydtest-mutation-example-gen] --
  443. 18.63 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  444. 18.64 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  445. 18.64 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  446. 18.64 s [sydtest-mutation-example-gen] +bothPositive a b = a > 1 && b > 0
  447. 18.64 s [sydtest-mutation-example-gen]
  448. 18.64 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  449. 18.64 s [sydtest-mutation-example-gen] --
  450. 18.64 s [sydtest-mutation-example-gen] Testing mutation LogicOp at src/Example/LogicLib.hs:17:22-36
  451. 18.64 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  452. 18.64 s [sydtest-mutation-example-gen] --
  453. 18.64 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  454. 18.64 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  455. 18.64 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  456. 18.64 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 && b > 0
  457. 18.64 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:20-25
  458. 18.64 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  459. 18.64 s [sydtest-mutation-example-gen] --
  460. 18.64 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  461. 18.64 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  462. 18.64 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  463. 18.64 s [sydtest-mutation-example-gen] +bothPositive a b = a >= 0 && b > 0
  464. 18.64 s [sydtest-mutation-example-gen]
  465. 18.64 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  466. 18.64 s [sydtest-mutation-example-gen] --
  467. 18.64 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:20-25
  468. 18.64 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  469. 18.64 s [sydtest-mutation-example-gen] --
  470. 18.64 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  471. 18.64 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  472. 18.64 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  473. 18.64 s [sydtest-mutation-example-gen] +bothPositive a b = a <= 0 && b > 0
  474. 18.64 s [sydtest-mutation-example-gen]
  475. 18.64 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  476. 18.64 s [sydtest-mutation-example-gen] --
  477. 18.64 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:20-25
  478. 18.64 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  479. 18.64 s [sydtest-mutation-example-gen] --
  480. 18.64 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  481. 18.64 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  482. 18.64 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  483. 18.64 s [sydtest-mutation-example-gen] +bothPositive a b = a < 0 && b > 0
  484. 18.64 s [sydtest-mutation-example-gen]
  485. 18.64 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  486. 18.64 s [sydtest-mutation-example-gen] --
  487. 18.64 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-25
  488. 18.64 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  489. 18.64 s [sydtest-mutation-example-gen] --
  490. 18.64 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  491. 18.64 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  492. 19.36 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  493. 19.37 s [sydtest-mutation-example-gen] +bothPositive a b = True && b > 0
  494. 19.37 s [sydtest-mutation-example-gen]
  495. 19.37 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  496. 19.37 s [sydtest-mutation-example-gen] --
  497. 19.37 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:29-34
  498. 19.37 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  499. 19.37 s [sydtest-mutation-example-gen] --
  500. 19.37 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  501. 19.37 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  502. 19.37 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  503. 19.37 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 && b >= 0
  504. 19.37 s [sydtest-mutation-example-gen]
  505. 19.37 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  506. 19.37 s [sydtest-mutation-example-gen] --
  507. 19.37 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-25
  508. 19.37 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  509. 19.37 s [sydtest-mutation-example-gen] --
  510. 19.37 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  511. 19.37 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  512. 19.37 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  513. 19.37 s [sydtest-mutation-example-gen] +bothPositive a b = False && b > 0
  514. 19.37 s [sydtest-mutation-example-gen]
  515. 19.37 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  516. 19.37 s [sydtest-mutation-example-gen] --
  517. 19.37 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:11:20-25
  518. 19.37 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  519. 19.37 s [sydtest-mutation-example-gen] --
  520. 19.37 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  521. 19.37 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  522. 19.37 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  523. 19.37 s [sydtest-mutation-example-gen] +bothPositive a b = not (a > 0) && b > 0
  524. 19.38 s [sydtest-mutation-example-gen]
  525. 19.38 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  526. 19.38 s [sydtest-mutation-example-gen] --
  527. 19.38 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:29-34
  528. 19.38 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  529. 19.38 s [sydtest-mutation-example-gen] --
  530. 19.38 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  531. 19.38 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  532. 19.38 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  533. 19.38 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 && b <= 0
  534. 19.38 s [sydtest-mutation-example-gen]
  535. 19.38 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  536. 19.38 s [sydtest-mutation-example-gen] --
  537. 19.38 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/LogicLib.hs:11:33-34
  538. 19.38 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  539. 19.38 s [sydtest-mutation-example-gen] --
  540. 19.38 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  541. 19.38 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  542. 19.38 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  543. 19.38 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 && b > 1
  544. 19.38 s [sydtest-mutation-example-gen]
  545. 19.38 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  546. 19.38 s [sydtest-mutation-example-gen] --
  547. 19.38 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:29-34
  548. 19.38 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  549. 19.38 s [sydtest-mutation-example-gen] --
  550. 19.38 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  551. 19.38 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  552. 19.38 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  553. 19.38 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 && b < 0
  554. 19.38 s [sydtest-mutation-example-gen]
  555. 19.38 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  556. 19.38 s [sydtest-mutation-example-gen] --
  557. 19.38 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:29-34
  558. 19.38 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  559. 19.38 s [sydtest-mutation-example-gen] --
  560. 19.38 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  561. 19.38 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  562. 19.38 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  563. 19.38 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 && True
  564. 19.38 s [sydtest-mutation-example-gen]
  565. 19.38 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  566. 19.38 s [sydtest-mutation-example-gen] --
  567. 19.38 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:11:29-34
  568. 19.38 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  569. 19.38 s [sydtest-mutation-example-gen] --
  570. 19.38 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  571. 19.38 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  572. 19.38 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  573. 19.38 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 && not (b > 0)
  574. 19.38 s [sydtest-mutation-example-gen]
  575. 19.38 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  576. 19.38 s [sydtest-mutation-example-gen] --
  577. 19.38 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-34
  578. 19.38 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  579. 19.38 s [sydtest-mutation-example-gen] --
  580. 19.38 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  581. 19.38 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  582. 19.38 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  583. 19.39 s [sydtest-mutation-example-gen] +bothPositive a b = True
  584. 19.39 s [sydtest-mutation-example-gen]
  585. 19.39 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  586. 19.39 s [sydtest-mutation-example-gen] --
  587. 19.39 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:29-34
  588. 19.39 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  589. 19.39 s [sydtest-mutation-example-gen] --
  590. 19.39 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  591. 19.39 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  592. 19.39 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  593. 19.39 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 && False
  594. 19.39 s [sydtest-mutation-example-gen]
  595. 19.39 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  596. 19.39 s [sydtest-mutation-example-gen] --
  597. 19.39 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-34
  598. 19.39 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  599. 19.39 s [sydtest-mutation-example-gen] --
  600. 19.39 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  601. 19.39 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  602. 19.39 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  603. 19.39 s [sydtest-mutation-example-gen] +bothPositive a b = False
  604. 19.39 s [sydtest-mutation-example-gen]
  605. 19.39 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  606. 19.39 s [sydtest-mutation-example-gen] --
  607. 19.39 s [sydtest-mutation-example-gen] Testing mutation LogicOp at src/Example/LogicLib.hs:11:20-34
  608. 19.39 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  609. 19.39 s [sydtest-mutation-example-gen] --
  610. 19.39 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  611. 19.39 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  612. 19.39 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  613. 19.39 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 || b > 0
  614. 19.39 s [sydtest-mutation-example-gen]
  615. 19.39 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  616. 19.39 s [sydtest-mutation-example-gen] --
  617. 19.39 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:11:20-34
  618. 19.39 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  619. 19.39 s [sydtest-mutation-example-gen] --
  620. 19.39 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  621. 19.39 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  622. 19.39 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  623. 19.39 s [sydtest-mutation-example-gen] +bothPositive a b = not (a > 0 && b > 0)
  624. 19.39 s [sydtest-mutation-example-gen]
  625. 19.39 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  626. 19.39 s [sydtest-mutation-example-gen] --
  627. 19.39 s [sydtest-mutation-example-gen] Testing mutation RemoveCase at src/Example/CaseLib.hs:7:19-16
  628. 19.39 s [sydtest-mutation-example-gen] @@ -4,7 +4,6 @@
  629. 19.39 s [sydtest-mutation-example-gen] --
  630. 19.39 s [sydtest-mutation-example-gen] -- Mutation sites: RemoveCase removes one of the three alternatives.
  631. 19.39 s [sydtest-mutation-example-gen] describeList :: [a] -> String
  632. 19.39 s [sydtest-mutation-example-gen] describeList xs = case xs of
  633. 19.39 s [sydtest-mutation-example-gen] [] -> "empty"
  634. 19.39 s [sydtest-mutation-example-gen] - [_] -> "singleton"
  635. 19.39 s [sydtest-mutation-example-gen] _ -> "longer"
  636. 19.39 s [sydtest-mutation-example-gen] Testing mutation RemoveCase at src/Example/CaseLib.hs:7:19-16
  637. 19.39 s [sydtest-mutation-example-gen] @@ -4,7 +4,6 @@
  638. 19.39 s [sydtest-mutation-example-gen] --
  639. 19.39 s [sydtest-mutation-example-gen] -- Mutation sites: RemoveCase removes one of the three alternatives.
  640. 19.39 s [sydtest-mutation-example-gen] describeList :: [a] -> String
  641. 19.39 s [sydtest-mutation-example-gen] describeList xs = case xs of
  642. 19.39 s [sydtest-mutation-example-gen] [] -> "empty"
  643. 19.39 s [sydtest-mutation-example-gen] [_] -> "singleton"
  644. 19.39 s [sydtest-mutation-example-gen] - _ -> "longer"
  645. 19.39 s [sydtest-mutation-example-gen] Testing mutation RemoveCase at src/Example/CaseLib.hs:7:19-16
  646. 19.39 s [sydtest-mutation-example-gen] @@ -4,7 +4,6 @@
  647. 19.39 s [sydtest-mutation-example-gen] --
  648. 19.39 s [sydtest-mutation-example-gen] -- Mutation sites: RemoveCase removes one of the three alternatives.
  649. 19.39 s [sydtest-mutation-example-gen] describeList :: [a] -> String
  650. 19.40 s [sydtest-mutation-example-gen] describeList xs = case xs of
  651. 19.40 s [sydtest-mutation-example-gen] - [] -> "empty"
  652. 19.40 s [sydtest-mutation-example-gen] [_] -> "singleton"
  653. 19.40 s [sydtest-mutation-example-gen] _ -> "longer"
  654. 19.40 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/DoLib.hs:14:10-14
  655. 19.40 s [sydtest-mutation-example-gen] @@ -11,5 +11,5 @@
  656. 19.40 s [sydtest-mutation-example-gen] go :: Writer String ()
  657. 19.40 s [sydtest-mutation-example-gen] go = do
  658. 19.40 s [sydtest-mutation-example-gen] tell "Hello"
  659. 19.40 s [sydtest-mutation-example-gen] - if loud then tell "!" else pure ()
  660. 19.40 s [sydtest-mutation-example-gen] + if True then tell "!" else pure ()
  661. 19.40 s [sydtest-mutation-example-gen] tell "\n"
  662. 19.40 s [sydtest-mutation-example-gen] Testing mutation RemoveAction at src/Example/DoLib.hs:14:7-41
  663. 19.40 s [sydtest-mutation-example-gen] @@ -11,5 +11,4 @@
  664. 19.40 s [sydtest-mutation-example-gen] go :: Writer String ()
  665. 19.40 s [sydtest-mutation-example-gen] go = do
  666. 19.40 s [sydtest-mutation-example-gen] tell "Hello"
  667. 19.40 s [sydtest-mutation-example-gen] - if loud then tell "!" else pure ()
  668. 19.40 s [sydtest-mutation-example-gen] tell "\n"
  669. 19.40 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/DoLib.hs:14:10-14
  670. 19.40 s [sydtest-mutation-example-gen] @@ -11,5 +11,5 @@
  671. 19.40 s [sydtest-mutation-example-gen] go :: Writer String ()
  672. 19.40 s [sydtest-mutation-example-gen] go = do
  673. 19.40 s [sydtest-mutation-example-gen] tell "Hello"
  674. 19.40 s [sydtest-mutation-example-gen] - if loud then tell "!" else pure ()
  675. 19.40 s [sydtest-mutation-example-gen] + if False then tell "!" else pure ()
  676. 19.40 s [sydtest-mutation-example-gen] tell "\n"
  677. 19.40 s [sydtest-mutation-example-gen] Testing mutation RemoveAction at src/Example/DoLib.hs:12:10-16
  678. 19.40 s [sydtest-mutation-example-gen] @@ -9,7 +9,6 @@
  679. 19.40 s [sydtest-mutation-example-gen] greet loud = execWriter go
  680. 19.40 s [sydtest-mutation-example-gen] where
  681. 19.40 s [sydtest-mutation-example-gen] go :: Writer String ()
  682. 19.40 s [sydtest-mutation-example-gen] go = do
  683. 19.40 s [sydtest-mutation-example-gen] - tell "Hello"
  684. 19.40 s [sydtest-mutation-example-gen] if loud then tell "!" else pure ()
  685. 19.40 s [sydtest-mutation-example-gen] tell "\n"
  686. 19.40 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/OtherwiseLib.hs:12:9-10
  687. 19.40 s [sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
  688. 19.40 s [sydtest-mutation-example-gen] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  689. 19.40 s [sydtest-mutation-example-gen] classify :: Int -> String
  690. 19.40 s [sydtest-mutation-example-gen] classify n
  691. 19.40 s [sydtest-mutation-example-gen] - | n < 0 = "negative"
  692. 19.40 s [sydtest-mutation-example-gen] + | n < 1 = "negative"
  693. 19.40 s [sydtest-mutation-example-gen] | n == 0 = "zero"
  694. 19.40 s [sydtest-mutation-example-gen] | otherwise = "positive"
  695. 19.40 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10
  696. 19.40 s [sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
  697. 19.40 s [sydtest-mutation-example-gen] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  698. 19.40 s [sydtest-mutation-example-gen] classify :: Int -> String
  699. 20.08 s [sydtest-mutation-example-gen] classify n
  700. 20.08 s [sydtest-mutation-example-gen] - | n < 0 = "negative"
  701. 20.09 s [sydtest-mutation-example-gen] + | n <= 0 = "negative"
  702. 20.09 s [sydtest-mutation-example-gen] | n == 0 = "zero"
  703. 20.09 s [sydtest-mutation-example-gen] | otherwise = "positive"
  704. 20.09 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/DoLib.hs:14:10-14
  705. 20.09 s [sydtest-mutation-example-gen] @@ -11,5 +11,5 @@
  706. 20.09 s [sydtest-mutation-example-gen] go :: Writer String ()
  707. 20.09 s [sydtest-mutation-example-gen] go = do
  708. 20.09 s [sydtest-mutation-example-gen] tell "Hello"
  709. 20.09 s [sydtest-mutation-example-gen] - if loud then tell "!" else pure ()
  710. 20.09 s [sydtest-mutation-example-gen] + if not (loud) then tell "!" else pure ()
  711. 20.09 s [sydtest-mutation-example-gen] tell "\n"
  712. 20.09 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/OtherwiseLib.hs:12:5-10
  713. 20.09 s [sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
  714. 20.09 s [sydtest-mutation-example-gen] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  715. 20.09 s [sydtest-mutation-example-gen] classify :: Int -> String
  716. 20.09 s [sydtest-mutation-example-gen] classify n
  717. 20.09 s [sydtest-mutation-example-gen] - | n < 0 = "negative"
  718. 20.09 s [sydtest-mutation-example-gen] + | True = "negative"
  719. 20.09 s [sydtest-mutation-example-gen] | n == 0 = "zero"
  720. 20.09 s [sydtest-mutation-example-gen] | otherwise = "positive"
  721. 20.09 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10
  722. 20.09 s [sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
  723. 20.09 s [sydtest-mutation-example-gen] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  724. 20.09 s [sydtest-mutation-example-gen] classify :: Int -> String
  725. 20.09 s [sydtest-mutation-example-gen] classify n
  726. 20.09 s [sydtest-mutation-example-gen] - | n < 0 = "negative"
  727. 20.09 s [sydtest-mutation-example-gen] + | n >= 0 = "negative"
  728. 20.09 s [sydtest-mutation-example-gen] | n == 0 = "zero"
  729. 20.10 s [sydtest-mutation-example-gen] | otherwise = "positive"
  730. 20.10 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/OtherwiseLib.hs:13:10-11
  731. 20.10 s [sydtest-mutation-example-gen] @@ -10,5 +10,5 @@
  732. 20.10 s [sydtest-mutation-example-gen] classify :: Int -> String
  733. 20.10 s [sydtest-mutation-example-gen] classify n
  734. 20.10 s [sydtest-mutation-example-gen] | n < 0 = "negative"
  735. 20.10 s [sydtest-mutation-example-gen] - | n == 0 = "zero"
  736. 20.10 s [sydtest-mutation-example-gen] + | n == 1 = "zero"
  737. 20.10 s [sydtest-mutation-example-gen] | otherwise = "positive"
  738. 20.10 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/OtherwiseLib.hs:13:5-11
  739. 20.10 s [sydtest-mutation-example-gen] @@ -10,5 +10,5 @@
  740. 20.10 s [sydtest-mutation-example-gen] classify :: Int -> String
  741. 20.10 s [sydtest-mutation-example-gen] classify n
  742. 20.10 s [sydtest-mutation-example-gen] | n < 0 = "negative"
  743. 20.10 s [sydtest-mutation-example-gen] - | n == 0 = "zero"
  744. 20.10 s [sydtest-mutation-example-gen] + | True = "zero"
  745. 20.10 s [sydtest-mutation-example-gen] | otherwise = "positive"
  746. 20.10 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/OtherwiseLib.hs:13:5-11
  747. 20.10 s [sydtest-mutation-example-gen] @@ -10,5 +10,5 @@
  748. 20.10 s [sydtest-mutation-example-gen] classify :: Int -> String
  749. 20.10 s [sydtest-mutation-example-gen] classify n
  750. 20.10 s [sydtest-mutation-example-gen] | n < 0 = "negative"
  751. 20.10 s [sydtest-mutation-example-gen] - | n == 0 = "zero"
  752. 20.10 s [sydtest-mutation-example-gen] + | not (n == 0) = "zero"
  753. 20.10 s [sydtest-mutation-example-gen] | otherwise = "positive"
  754. 20.10 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10
  755. 20.10 s [sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
  756. 20.10 s [sydtest-mutation-example-gen] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  757. 20.10 s [sydtest-mutation-example-gen] classify :: Int -> String
  758. 20.10 s [sydtest-mutation-example-gen] classify n
  759. 20.10 s [sydtest-mutation-example-gen] - | n < 0 = "negative"
  760. 20.10 s [sydtest-mutation-example-gen] + | n > 0 = "negative"
  761. 20.10 s [sydtest-mutation-example-gen] | n == 0 = "zero"
  762. 20.10 s [sydtest-mutation-example-gen] | otherwise = "positive"
  763. 20.10 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/Lib.hs:8:16-17
  764. 20.10 s [sydtest-mutation-example-gen] @@ -5,4 +5,4 @@
  765. 20.10 s [sydtest-mutation-example-gen] -- The literal '1' here is a mutation site: the plugin will also compile a
  766. 20.10 s [sydtest-mutation-example-gen] -- version where this returns @n + 0@ instead of @n + 1@.
  767. 20.10 s [sydtest-mutation-example-gen] addOne :: Int -> Int
  768. 20.10 s [sydtest-mutation-example-gen] -addOne n = n + 1
  769. 20.10 s [sydtest-mutation-example-gen] +addOne n = n + 0
  770. 20.10 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/OtherwiseLib.hs:12:5-10
  771. 20.10 s [sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
  772. 20.10 s [sydtest-mutation-example-gen] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  773. 20.10 s [sydtest-mutation-example-gen] classify :: Int -> String
  774. 20.11 s [sydtest-mutation-example-gen] classify n
  775. 20.11 s [sydtest-mutation-example-gen] - | n < 0 = "negative"
  776. 20.11 s [sydtest-mutation-example-gen] + | not (n < 0) = "negative"
  777. 20.11 s [sydtest-mutation-example-gen] | n == 0 = "zero"
  778. 20.11 s [sydtest-mutation-example-gen] | otherwise = "positive"
  779. 20.11 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/Lib.hs:8:16-17
  780. 20.11 s [sydtest-mutation-example-gen] @@ -5,4 +5,4 @@
  781. 20.11 s [sydtest-mutation-example-gen] -- The literal '1' here is a mutation site: the plugin will also compile a
  782. 20.11 s [sydtest-mutation-example-gen] -- version where this returns @n + 0@ instead of @n + 1@.
  783. 20.11 s [sydtest-mutation-example-gen] addOne :: Int -> Int
  784. 20.11 s [sydtest-mutation-example-gen] -addOne n = n + 1
  785. 20.11 s [sydtest-mutation-example-gen] +addOne n = n + -1
  786. 20.11 s [sydtest-mutation-example-gen] Testing mutation Arith at src/Example/Lib.hs:8:12-17
  787. 20.11 s [sydtest-mutation-example-gen] @@ -5,4 +5,4 @@
  788. 20.11 s [sydtest-mutation-example-gen] -- The literal '1' here is a mutation site: the plugin will also compile a
  789. 20.11 s [sydtest-mutation-example-gen] -- version where this returns @n + 0@ instead of @n + 1@.
  790. 20.11 s [sydtest-mutation-example-gen] addOne :: Int -> Int
  791. 20.11 s [sydtest-mutation-example-gen] -addOne n = n + 1
  792. 20.11 s [sydtest-mutation-example-gen] +addOne n = n - 1
  793. 20.11 s [sydtest-mutation-example-gen] Testing mutation Arith at src/Example/Lib.hs:8:12-17
  794. 20.11 s [sydtest-mutation-example-gen] @@ -5,4 +5,4 @@
  795. 20.11 s [sydtest-mutation-example-gen] -- The literal '1' here is a mutation site: the plugin will also compile a
  796. 20.11 s [sydtest-mutation-example-gen] -- version where this returns @n + 0@ instead of @n + 1@.
  797. 20.11 s [sydtest-mutation-example-gen] addOne :: Int -> Int
  798. 20.11 s [sydtest-mutation-example-gen] -addOne n = n + 1
  799. 20.11 s [sydtest-mutation-example-gen] +addOne n = n * 1
  800. 20.11 s [sydtest-mutation-example-gen] Testing mutation BoolLit at src/Example/BoolLib.hs:18:18-23
  801. 20.11 s [sydtest-mutation-example-gen] @@ -15,7 +15,7 @@
  802. 20.11 s [sydtest-mutation-example-gen] --
  803. 20.11 s [sydtest-mutation-example-gen] -- Mutation sites: BoolLit/ConstBool on the inner False, MaybeOp on Just False.
  804. 20.11 s [sydtest-mutation-example-gen] wrapFalse :: Maybe Bool
  805. 20.11 s [sydtest-mutation-example-gen] -wrapFalse = Just False
  806. 20.11 s [sydtest-mutation-example-gen] +wrapFalse = Just True
  807. 20.11 s [sydtest-mutation-example-gen]
  808. 20.11 s [sydtest-mutation-example-gen] -- | Negates a wrapped boolean.
  809. 20.11 s [sydtest-mutation-example-gen] negateWrapped :: Maybe Bool -> Maybe Bool
  810. 20.11 s [sydtest-mutation-example-gen] Testing mutation BoolLit at src/Example/BoolLib.hs:12:17-21
  811. 20.11 s [sydtest-mutation-example-gen] @@ -9,7 +9,7 @@
  812. 20.11 s [sydtest-mutation-example-gen] --
  813. 20.11 s [sydtest-mutation-example-gen] -- Mutation sites: BoolLit/ConstBool on the inner True, MaybeOp on Just True.
  814. 20.11 s [sydtest-mutation-example-gen] wrapTrue :: Maybe Bool
  815. 20.11 s [sydtest-mutation-example-gen] -wrapTrue = Just True
  816. 20.11 s [sydtest-mutation-example-gen] +wrapTrue = Just False
  817. 20.11 s [sydtest-mutation-example-gen]
  818. 20.11 s [sydtest-mutation-example-gen] -- | Wraps False in Just.
  819. 20.11 s [sydtest-mutation-example-gen] --
  820. 20.11 s [sydtest-mutation-example-gen] Testing mutation MaybeOp at src/Example/BoolLib.hs:12:12-21
  821. 20.11 s [sydtest-mutation-example-gen] @@ -9,7 +9,7 @@
  822. 20.12 s [sydtest-mutation-example-gen] --
  823. 20.12 s [sydtest-mutation-example-gen] -- Mutation sites: BoolLit/ConstBool on the inner True, MaybeOp on Just True.
  824. 20.12 s [sydtest-mutation-example-gen] wrapTrue :: Maybe Bool
  825. 20.12 s [sydtest-mutation-example-gen] -wrapTrue = Just True
  826. 20.12 s [sydtest-mutation-example-gen] +wrapTrue = Nothing
  827. 20.12 s [sydtest-mutation-example-gen]
  828. 20.12 s [sydtest-mutation-example-gen] -- | Wraps False in Just.
  829. 20.12 s [sydtest-mutation-example-gen] --
  830. 20.12 s [sydtest-mutation-example-gen] Testing mutation MaybeOp at src/Example/BoolLib.hs:18:13-23
  831. 20.12 s [sydtest-mutation-example-gen] @@ -15,7 +15,7 @@
  832. 20.12 s [sydtest-mutation-example-gen] --
  833. 20.12 s [sydtest-mutation-example-gen] -- Mutation sites: BoolLit/ConstBool on the inner False, MaybeOp on Just False.
  834. 20.12 s [sydtest-mutation-example-gen] wrapFalse :: Maybe Bool
  835. 20.12 s [sydtest-mutation-example-gen] -wrapFalse = Just False
  836. 20.12 s [sydtest-mutation-example-gen] +wrapFalse = Nothing
  837. 20.12 s [sydtest-mutation-example-gen]
  838. 20.12 s [sydtest-mutation-example-gen] -- | Negates a wrapped boolean.
  839. 20.12 s [sydtest-mutation-example-gen] negateWrapped :: Maybe Bool -> Maybe Bool
  840. 20.12 s [sydtest-mutation-example-gen] Testing mutation ListLit at src/Example/ListLib.hs:19:29-38
  841. 20.12 s [sydtest-mutation-example-gen] @@ -16,4 +16,3 @@
  842. 20.12 s [sydtest-mutation-example-gen] -- Mutation sites: ListLit produces an empty-list mutant, a drop-first mutant,
  843. 20.12 s [sydtest-mutation-example-gen] -- and a drop-last mutant on the literal @[a, b, c]@.
  844. 20.12 s [sydtest-mutation-example-gen] tripleConcat :: String -> String -> String -> String
  845. 20.12 s [sydtest-mutation-example-gen] -tripleConcat a b c = concat [a, b, c]
  846. 20.12 s [sydtest-mutation-example-gen] Testing mutation ListLit at src/Example/ListLib.hs:19:29-38
  847. 20.12 s [sydtest-mutation-example-gen] @@ -16,4 +16,3 @@
  848. 20.12 s [sydtest-mutation-example-gen] -- Mutation sites: ListLit produces an empty-list mutant, a drop-first mutant,
  849. 20.12 s [sydtest-mutation-example-gen] -- and a drop-last mutant on the literal @[a, b, c]@.
  850. 20.12 s [sydtest-mutation-example-gen] tripleConcat :: String -> String -> String -> String
  851. 20.12 s [sydtest-mutation-example-gen] -tripleConcat a b c = concat [a, b, c]
  852. 20.12 s [sydtest-mutation-example-gen] Testing mutation ListLit at src/Example/ListLib.hs:19:29-38
  853. 20.12 s [sydtest-mutation-example-gen] @@ -16,4 +16,3 @@
  854. 20.12 s [sydtest-mutation-example-gen] -- Mutation sites: ListLit produces an empty-list mutant, a drop-first mutant,
  855. 20.12 s [sydtest-mutation-example-gen] -- and a drop-last mutant on the literal @[a, b, c]@.
  856. 20.12 s [sydtest-mutation-example-gen] tripleConcat :: String -> String -> String -> String
  857. 20.12 s [sydtest-mutation-example-gen] -tripleConcat a b c = concat [a, b, c]
  858. 20.12 s [sydtest-mutation-example-gen] Testing mutation ListLit at src/Example/ListLib.hs:12:25-31
  859. 20.13 s [sydtest-mutation-example-gen] @@ -9,7 +9,6 @@
  860. 20.13 s [sydtest-mutation-example-gen] -- Mutation sites: ListLit produces an empty-list mutant and a drop-first
  861. 20.13 s [sydtest-mutation-example-gen] -- mutant on the literal @[a, b]@.
  862. 20.13 s [sydtest-mutation-example-gen] pairConcat :: String -> String -> String
  863. 20.13 s [sydtest-mutation-example-gen] -pairConcat a b = concat [a, b]
  864. 20.13 s [sydtest-mutation-example-gen]
  865. 20.13 s [sydtest-mutation-example-gen] -- | Concatenate a three-element list of strings.
  866. 20.13 s [sydtest-mutation-example-gen] --
  867. 20.13 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/FunctionExceptionLib.hs:15:29-30
  868. 20.13 s [sydtest-mutation-example-gen] @@ -12,7 +12,7 @@
  869. 20.13 s [sydtest-mutation-example-gen] -- IntLit mutations (replacing the literal @1@) still apply.
  870. 20.13 s [sydtest-mutation-example-gen] {-# ANN addOneArithDisabled ("DisableMutation: Arith" :: String) #-}
  871. 20.13 s [sydtest-mutation-example-gen] addOneArithDisabled :: Int -> Int
  872. 20.13 s [sydtest-mutation-example-gen] -addOneArithDisabled n = n + 1
  873. 20.13 s [sydtest-mutation-example-gen] +addOneArithDisabled n = n + 0
  874. 20.13 s [sydtest-mutation-example-gen]
  875. 20.13 s [sydtest-mutation-example-gen] -- | Both Arith and IntLit mutations disabled on this function.
  876. 20.13 s [sydtest-mutation-example-gen] {-# ANN addOneArithAndIntLitDisabled ("DisableMutations: Arith, IntLit" :: String) #-}
  877. 20.13 s [sydtest-mutation-example-gen] Testing mutation ListLit at src/Example/ListLib.hs:12:25-31
  878. 20.13 s [sydtest-mutation-example-gen] @@ -9,7 +9,6 @@
  879. 20.13 s [sydtest-mutation-example-gen] -- Mutation sites: ListLit produces an empty-list mutant and a drop-first
  880. 20.13 s [sydtest-mutation-example-gen] -- mutant on the literal @[a, b]@.
  881. 20.13 s [sydtest-mutation-example-gen] pairConcat :: String -> String -> String
  882. 20.13 s [sydtest-mutation-example-gen] -pairConcat a b = concat [a, b]
  883. 20.13 s [sydtest-mutation-example-gen]
  884. 20.13 s [sydtest-mutation-example-gen] -- | Concatenate a three-element list of strings.
  885. 20.13 s [sydtest-mutation-example-gen] --
  886. 20.53 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/FunctionExceptionLib.hs:15:29-30
  887. 20.53 s [sydtest-mutation-example-gen] @@ -12,7 +12,7 @@
  888. 20.53 s [sydtest-mutation-example-gen] -- IntLit mutations (replacing the literal @1@) still apply.
  889. 20.53 s [sydtest-mutation-example-gen] {-# ANN addOneArithDisabled ("DisableMutation: Arith" :: String) #-}
  890. 20.53 s [sydtest-mutation-example-gen] addOneArithDisabled :: Int -> Int
  891. 20.53 s [sydtest-mutation-example-gen] -addOneArithDisabled n = n + 1
  892. 20.53 s [sydtest-mutation-example-gen] +addOneArithDisabled n = n + -1
  893. 20.53 s [sydtest-mutation-example-gen]
  894. 20.53 s [sydtest-mutation-example-gen] -- | Both Arith and IntLit mutations disabled on this function.
  895. 20.53 s [sydtest-mutation-example-gen] {-# ANN addOneArithAndIntLitDisabled ("DisableMutations: Arith, IntLit" :: String) #-}
  896. 20.53 s [sydtest-mutation-example-gen] Killed: 68
  897. 20.53 s [sydtest-mutation-example-gen] (of which timed out: 0)
  898. 20.53 s [sydtest-mutation-example-gen] Survived: 0
  899. 20.53 s [sydtest-mutation-example-gen] Uncovered: 0
  900. 20.54 s [sydtest-mutation-example-gen] Phase: haddockPhase
  901. 20.67 s [sydtest-mutation-example-gen] Preprocessing library for sydtest-mutation-example-gen-0.0.0.0...
  902. 20.67 s [sydtest-mutation-example-gen] Running Haddock on library for sydtest-mutation-example-gen-0.0.0.0...
  903. 20.84 s [sydtest-mutation-example-gen] [1 of 2] Compiling Example.Gen ( src/Example/Gen.hs, nothing )
  904. 20.85 s [sydtest-mutation-example-gen] [2 of 2] Compiling Paths_sydtest_mutation_example_gen ( dist/build/autogen/Paths_sydtest_mutation_example_gen.hs, nothing )
  905. 20.87 s [sydtest-mutation-example-gen] Haddock coverage:
  906. 20.87 s [sydtest-mutation-example-gen] 50% ( 1 / 2) in 'Example.Gen'
  907. 20.87 s [sydtest-mutation-example-gen] Missing documentation for:
  908. 20.87 s [sydtest-mutation-example-gen] Module header
  909. 24.21 s [sydtest-mutation-example-gen] Documentation created: dist/doc/html/sydtest-mutation-example-gen/,
  910. 24.30 s [sydtest-mutation-example-gen] dist/doc/html/sydtest-mutation-example-gen/sydtest-mutation-example-gen.txt
  911. 24.30 s [sydtest-mutation-example-gen] Preprocessing test suite 'sydtest-mutation-example-gen-test' for sydtest-mutation-example-gen-0.0.0.0...
  912. 24.30 s [sydtest-mutation-example-gen] Phase: installPhase
  913. 24.37 s [sydtest-mutation-example-gen] Installing library in /nix/store/4rxgs8kc4609fjc7liy0h2ly010las9r-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-EzuGrqDLLMh6u56kvk2Yn8
  914. 24.56 s [sydtest-mutation-example-gen] Phase: fixupPhase
  915. 24.58 s [sydtest-mutation-example-gen] shrinking RPATHs of ELF executables and libraries in /nix/store/4rxgs8kc4609fjc7liy0h2ly010las9r-sydtest-mutation-example-gen-0.0.0.0
  916. 24.59 s [sydtest-mutation-example-gen] shrinking /nix/store/4rxgs8kc4609fjc7liy0h2ly010las9r-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-EzuGrqDLLMh6u56kvk2Yn8-ghc9.10.3.so
  917. 24.59 s [sydtest-mutation-example-gen] checking for references to /build/ in /nix/store/4rxgs8kc4609fjc7liy0h2ly010las9r-sydtest-mutation-example-gen-0.0.0.0...
  918. 24.61 s [sydtest-mutation-example-gen] patching script interpreter paths in /nix/store/4rxgs8kc4609fjc7liy0h2ly010las9r-sydtest-mutation-example-gen-0.0.0.0
  919. 24.61 s [sydtest-mutation-example-gen] stripping (with command strip and flags -S -p) in /nix/store/4rxgs8kc4609fjc7liy0h2ly010las9r-sydtest-mutation-example-gen-0.0.0.0/lib
  920. 24.64 s [sydtest-mutation-example-gen] shrinking RPATHs of ELF executables and libraries in /nix/store/6jzbzwjxkhz3pfric8wxycbywcmqmqrp-sydtest-mutation-example-gen-0.0.0.0-doc
  921. 24.64 s [sydtest-mutation-example-gen] checking for references to /build/ in /nix/store/6jzbzwjxkhz3pfric8wxycbywcmqmqrp-sydtest-mutation-example-gen-0.0.0.0-doc...
  922. 24.66 s [sydtest-mutation-example-gen] patching script interpreter paths in /nix/store/6jzbzwjxkhz3pfric8wxycbywcmqmqrp-sydtest-mutation-example-gen-0.0.0.0-doc
  923. 24.66 s [sydtest-mutation-example-gen] shrinking RPATHs of ELF executables and libraries in /nix/store/q2wihk7r00fxdx0lszbhlh86c1y18dqj-sydtest-mutation-example-gen-0.0.0.0-report
  924. 24.66 s [sydtest-mutation-example-gen] checking for references to /build/ in /nix/store/q2wihk7r00fxdx0lszbhlh86c1y18dqj-sydtest-mutation-example-gen-0.0.0.0-report...
  925. 24.67 s [sydtest-mutation-example-gen] patching script interpreter paths in /nix/store/q2wihk7r00fxdx0lszbhlh86c1y18dqj-sydtest-mutation-example-gen-0.0.0.0-report
  926. 24.76 s [post-build-hook] Uploading to cachix cache "sydtest": /nix/store/4rxgs8kc4609fjc7liy0h2ly010las9r-sydtest-mutation-example-gen-0.0.0.0 /nix/store/6jzbzwjxkhz3pfric8wxycbywcmqmqrp-sydtest-mutation-example-gen-0.0.0.0-doc /nix/store/q2wihk7r00fxdx0lszbhlh86c1y18dqj-sydtest-mutation-example-gen-0.0.0.0-report
  927. 25.18 s [post-build-hook] Pushing 3 paths (76 are already present) using zstd to cache sydtest ⏳
  928. 25.18 s [post-build-hook]
  929. 25.52 s [post-build-hook] Pushing /nix/store/6jzbzwjxkhz3pfric8wxycbywcmqmqrp-sydtest-mutation-example-gen-0.0.0.0-doc (142.72 KiB)
  930. 25.56 s [post-build-hook] Pushing /nix/store/q2wihk7r00fxdx0lszbhlh86c1y18dqj-sydtest-mutation-example-gen-0.0.0.0-report (696.00 B)
  931. 25.56 s [post-build-hook] Pushing /nix/store/4rxgs8kc4609fjc7liy0h2ly010las9r-sydtest-mutation-example-gen-0.0.0.0 (287.48 KiB)
  932. 27.58 s [post-build-hook]
  933. 27.58 s [post-build-hook] All done.
  934. 27.60 s [post-build-hook] Uploading to the NixCI staging cache: /nix/store/4rxgs8kc4609fjc7liy0h2ly010las9r-sydtest-mutation-example-gen-0.0.0.0 /nix/store/6jzbzwjxkhz3pfric8wxycbywcmqmqrp-sydtest-mutation-example-gen-0.0.0.0-doc /nix/store/q2wihk7r00fxdx0lszbhlh86c1y18dqj-sydtest-mutation-example-gen-0.0.0.0-report
  935. 27.64 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  936. 27.81 s [post-build-hook] copying 3 paths...
  937. 27.81 s [post-build-hook] copying path '/nix/store/q2wihk7r00fxdx0lszbhlh86c1y18dqj-sydtest-mutation-example-gen-0.0.0.0-report' to 'https://cache.staging.nix-ci.com'...
  938. 27.81 s [post-build-hook] copying path '/nix/store/6jzbzwjxkhz3pfric8wxycbywcmqmqrp-sydtest-mutation-example-gen-0.0.0.0-doc' to 'https://cache.staging.nix-ci.com'...
  939. 27.87 s [post-build-hook] copying path '/nix/store/4rxgs8kc4609fjc7liy0h2ly010las9r-sydtest-mutation-example-gen-0.0.0.0' to 'https://cache.staging.nix-ci.com'...
  940. 28.13 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  941. 28.36 s [post-build-hook] copying 1 paths...
  942. 28.36 s [post-build-hook] copying path '/nix/store/58dgn36x4ja9rnz13dafkvvnkxhm51gl-sydtest-mutation-example-gen-0.0.0.0.drv' to 'https://cache.staging.nix-ci.com'...
  943. 28.54 s Progress: 2 of 4 built
  944. 28.57 s Building sydtest-mutation-example
  945. 28.62 s [sydtest-mutation-example] Results: 68 killed, 0 survived, 0 uncovered out of 68 total
  946. 28.62 s [sydtest-mutation-example]
  947. 28.63 s [sydtest-mutation-example] Killed: 68
  948. 28.63 s [sydtest-mutation-example] (of which timed out: 0)
  949. 28.63 s [sydtest-mutation-example] Survived: 0
  950. 28.63 s [sydtest-mutation-example] Uncovered: 0
  951. 28.63 s [sydtest-mutation-example] Full report: /nix/store/q2wihk7r00fxdx0lszbhlh86c1y18dqj-sydtest-mutation-example-gen-0.0.0.0-report/report.txt
  952. 28.63 s [sydtest-mutation-example] Machine-readable report: /nix/store/q2wihk7r00fxdx0lszbhlh86c1y18dqj-sydtest-mutation-example-gen-0.0.0.0-report/report.json
  953. 28.63 s [sydtest-mutation-example]
  954. 28.63 s [sydtest-mutation-example] PASS: All 68 mutation(s) accounted for.
  955. 28.65 s [post-build-hook] Uploading to cachix cache "sydtest": /nix/store/5h4hqlwsc450qm6s78i9h5j0rd7k0984-sydtest-mutation-example
  956. 29.03 s [post-build-hook] Pushing 1 paths (0 are already present) using zstd to cache sydtest ⏳
  957. 29.03 s [post-build-hook]
  958. 29.40 s [post-build-hook] Pushing /nix/store/5h4hqlwsc450qm6s78i9h5j0rd7k0984-sydtest-mutation-example (696.00 B)
  959. 30.27 s [post-build-hook]
  960. 30.27 s [post-build-hook] All done.
  961. 30.28 s [post-build-hook] Uploading to the NixCI staging cache: /nix/store/5h4hqlwsc450qm6s78i9h5j0rd7k0984-sydtest-mutation-example
  962. 30.32 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  963. 30.33 s [post-build-hook] copying 1 paths...
  964. 30.33 s [post-build-hook] copying path '/nix/store/5h4hqlwsc450qm6s78i9h5j0rd7k0984-sydtest-mutation-example' to 'https://cache.staging.nix-ci.com'...
  965. 30.44 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  966. 30.67 s [post-build-hook] copying 1 paths...
  967. 30.67 s [post-build-hook] copying path '/nix/store/5rd45pa7ca9m36djlnddflbnrxa9925g-sydtest-mutation-example.drv' to 'https://cache.staging.nix-ci.com'...
  968. 30.86 s Progress: 3 of 4 built
More Logs Raw Logs

Agent Instructions

Wait for completion, without logs:

curl --netrc -N https://staging.nix-ci.com/gh:NorfairKing:sydtest/mutation-testing/0b774cd71b385f2210b2cbb42429a4492d30527a/f0df1df8-15d8-4042-928f-0c7cfceaf96d/wait

Latest logs, with timestamps (streams while running):

curl --netrc -N https://staging.nix-ci.com/gh:NorfairKing:sydtest/mutation-testing/0b774cd71b385f2210b2cbb42429a4492d30527a/f0df1df8-15d8-4042-928f-0c7cfceaf96d/tail

All logs, with timestamps (available after completion):

curl --netrc https://staging.nix-ci.com/gh:NorfairKing:sydtest/mutation-testing/0b774cd71b385f2210b2cbb42429a4492d30527a/f0df1df8-15d8-4042-928f-0c7cfceaf96d/logs

Raw logs, from the start (no timestamps):

curl --netrc -N https://staging.nix-ci.com/gh:NorfairKing:sydtest/mutation-testing/0b774cd71b385f2210b2cbb42429a4492d30527a/f0df1df8-15d8-4042-928f-0c7cfceaf96d/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/0b774cd71b385f2210b2cbb42429a4492d30527a/f0df1df8-15d8-4042-928f-0c7cfceaf96d/logs

Reproduce locally: https://staging.nix-ci.com/gh:NorfairKing:sydtest/mutation-testing/0b774cd71b385f2210b2cbb42429a4492d30527a/f0df1df8-15d8-4042-928f-0c7cfceaf96d/repro

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