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

Reproduce this run
  1. 0.03 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=f65777c0537c8094028e8af851150d01fcc726a9#checks.x86_64-linux.mutation-sydtest-mutation-example --print-build-logs
  2. 0.22 s warning: ignoring untrusted flake configuration setting 'extra-substituters'.
  3. 0.22 s Pass '--accept-flake-config' to trust it
  4. 0.22 s warning: ignoring untrusted flake configuration setting 'extra-trusted-public-keys'.
  5. 0.22 s Pass '--accept-flake-config' to trust it
  6. 0.28 s
  7. 2.10 s Building sydtest-mutation-example-gen-source
  8. 2.75 s [sydtest-mutation-example-gen-source] Phase: setupCompilerEnvironmentPhase
  9. 2.75 s [sydtest-mutation-example-gen-source] Build with /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3.
  10. 4.00 s [sydtest-mutation-example-gen-source] Phase: unpackPhase
  11. 4.01 s [sydtest-mutation-example-gen-source] unpacking source archive /nix/store/g9smk8n66l0px6ay5wh3flpwd40s6nks-sydtest-mutation-example-gen
  12. 4.03 s [sydtest-mutation-example-gen-source] source root is sydtest-mutation-example-gen
  13. 4.06 s [sydtest-mutation-example-gen-source] Phase: patchPhase
  14. 4.09 s [sydtest-mutation-example-gen-source] Phase: compileBuildDriverPhase
  15. 4.10 s [sydtest-mutation-example-gen-source] setupCompileFlags: -package-db=/build/tmp.iq0zOSsHVC/setup-package.conf.d -threaded
  16. 4.31 s [sydtest-mutation-example-gen-source] [1 of 2] Compiling Main ( /nix/store/4mdp8nhyfddh7bllbi7xszz7k9955n79-Setup.hs, /build/tmp.iq0zOSsHVC/Main.o )
  17. 4.45 s [sydtest-mutation-example-gen-source] [2 of 2] Linking Setup
  18. 7.94 s [sydtest-mutation-example-gen-source] Phase: updateAutotoolsGnuConfigScriptsPhase
  19. 7.96 s [sydtest-mutation-example-gen-source] Phase: configurePhase
  20. 7.97 s [sydtest-mutation-example-gen-source] configureFlags: --verbose --prefix=/nix/store/h0zsd0kjwgzlncdcg8qlpk7z9xj1syjn-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.iq0zOSsHVC/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. 7.99 s [sydtest-mutation-example-gen-source] Using Parsec parser
  22. 7.99 s [sydtest-mutation-example-gen-source] Configuring sydtest-mutation-example-gen-0.0.0.0...
  23. 10.27 s [sydtest-mutation-example-gen-source] Dependency QuickCheck: using QuickCheck-2.15.0.1
  24. 10.27 s [sydtest-mutation-example-gen-source] Dependency base >=4.7 && <5: using base-4.20.2.0
  25. 10.27 s [sydtest-mutation-example-gen-source] Dependency QuickCheck: using QuickCheck-2.15.0.1
  26. 10.27 s [sydtest-mutation-example-gen-source] Dependency base >=4.7 && <5: using base-4.20.2.0
  27. 10.27 s [sydtest-mutation-example-gen-source] Dependency sydtest: using sydtest-0.23.0.2
  28. 10.27 s [sydtest-mutation-example-gen-source] Dependency sydtest-mutation-example: using sydtest-mutation-example-0.0.0.0
  29. 10.27 s [sydtest-mutation-example-gen-source] Dependency sydtest-mutation-example-gen: using
  30. 10.27 s [sydtest-mutation-example-gen-source] sydtest-mutation-example-gen-0.0.0.0
  31. 10.27 s [sydtest-mutation-example-gen-source] Source component graph:
  32. 10.27 s [sydtest-mutation-example-gen-source] component lib
  33. 10.27 s [sydtest-mutation-example-gen-source] component test:sydtest-mutation-example-gen-test dependency lib
  34. 10.27 s [sydtest-mutation-example-gen-source] Configured component graph:
  35. 10.27 s [sydtest-mutation-example-gen-source] component sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
  36. 10.27 s [sydtest-mutation-example-gen-source] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  37. 10.27 s [sydtest-mutation-example-gen-source] include base-4.20.2.0-64da
  38. 10.28 s [sydtest-mutation-example-gen-source] component sydtest-mutation-example-gen-0.0.0.0-4aLnrrzAr6JDrCYfyHcQMz-sydtest-mutation-example-gen-test
  39. 10.28 s [sydtest-mutation-example-gen-source] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  40. 10.28 s [sydtest-mutation-example-gen-source] include base-4.20.2.0-64da
  41. 10.28 s [sydtest-mutation-example-gen-source] include sydtest-0.23.0.2-2pBpKNR1Siz5MducBHcrJ7
  42. 10.28 s [sydtest-mutation-example-gen-source] include sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
  43. 10.28 s [sydtest-mutation-example-gen-source] include sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
  44. 10.28 s [sydtest-mutation-example-gen-source] Linked component graph:
  45. 10.28 s [sydtest-mutation-example-gen-source] unit sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
  46. 10.28 s [sydtest-mutation-example-gen-source] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  47. 10.28 s [sydtest-mutation-example-gen-source] include base-4.20.2.0-64da
  48. 10.28 s [sydtest-mutation-example-gen-source] Example.Gen=sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8:Example.Gen
  49. 10.28 s [sydtest-mutation-example-gen-source] unit sydtest-mutation-example-gen-0.0.0.0-4aLnrrzAr6JDrCYfyHcQMz-sydtest-mutation-example-gen-test
  50. 10.28 s [sydtest-mutation-example-gen-source] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  51. 10.28 s [sydtest-mutation-example-gen-source] include base-4.20.2.0-64da
  52. 10.28 s [sydtest-mutation-example-gen-source] include sydtest-0.23.0.2-2pBpKNR1Siz5MducBHcrJ7
  53. 10.28 s [sydtest-mutation-example-gen-source] include sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
  54. 10.28 s [sydtest-mutation-example-gen-source] include sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
  55. 10.28 s [sydtest-mutation-example-gen-source] Ready component graph:
  56. 10.28 s [sydtest-mutation-example-gen-source] definite sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
  57. 10.28 s [sydtest-mutation-example-gen-source] depends QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  58. 10.28 s [sydtest-mutation-example-gen-source] depends base-4.20.2.0-64da
  59. 10.28 s [sydtest-mutation-example-gen-source] definite sydtest-mutation-example-gen-0.0.0.0-4aLnrrzAr6JDrCYfyHcQMz-sydtest-mutation-example-gen-test
  60. 10.28 s [sydtest-mutation-example-gen-source] depends QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  61. 10.28 s [sydtest-mutation-example-gen-source] depends base-4.20.2.0-64da
  62. 10.28 s [sydtest-mutation-example-gen-source] depends sydtest-0.23.0.2-2pBpKNR1Siz5MducBHcrJ7
  63. 10.28 s [sydtest-mutation-example-gen-source] depends sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
  64. 10.28 s [sydtest-mutation-example-gen-source] depends sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
  65. 10.28 s [sydtest-mutation-example-gen-source] Using Cabal-3.12.1.0 compiled by ghc-9.10
  66. 10.28 s [sydtest-mutation-example-gen-source] Using compiler: ghc-9.10.3
  67. 10.28 s [sydtest-mutation-example-gen-source] Using install prefix:
  68. 10.28 s [sydtest-mutation-example-gen-source] /nix/store/h0zsd0kjwgzlncdcg8qlpk7z9xj1syjn-sydtest-mutation-example-gen-source-0.0.0.0
  69. 10.28 s [sydtest-mutation-example-gen-source] Executables installed in:
  70. 10.29 s [sydtest-mutation-example-gen-source] /nix/store/h0zsd0kjwgzlncdcg8qlpk7z9xj1syjn-sydtest-mutation-example-gen-source-0.0.0.0/bin
  71. 10.29 s [sydtest-mutation-example-gen-source] Libraries installed in:
  72. 10.29 s [sydtest-mutation-example-gen-source] /nix/store/h0zsd0kjwgzlncdcg8qlpk7z9xj1syjn-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. 10.29 s [sydtest-mutation-example-gen-source] Dynamic Libraries installed in:
  74. 10.29 s [sydtest-mutation-example-gen-source] /nix/store/h0zsd0kjwgzlncdcg8qlpk7z9xj1syjn-sydtest-mutation-example-gen-source-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6
  75. 10.29 s [sydtest-mutation-example-gen-source] Private executables installed in:
  76. 10.29 s [sydtest-mutation-example-gen-source] /nix/store/h0zsd0kjwgzlncdcg8qlpk7z9xj1syjn-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. 10.29 s [sydtest-mutation-example-gen-source] Data files installed in:
  78. 10.29 s [sydtest-mutation-example-gen-source] /nix/store/h0zsd0kjwgzlncdcg8qlpk7z9xj1syjn-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. 10.29 s [sydtest-mutation-example-gen-source] Documentation installed in: /share/doc/sydtest-mutation-example-gen-0.0.0.0
  80. 10.29 s [sydtest-mutation-example-gen-source] Configuration files installed in:
  81. 10.29 s [sydtest-mutation-example-gen-source] /nix/store/h0zsd0kjwgzlncdcg8qlpk7z9xj1syjn-sydtest-mutation-example-gen-source-0.0.0.0/etc
  82. 10.29 s [sydtest-mutation-example-gen-source] No alex found
  83. 10.29 s [sydtest-mutation-example-gen-source] Using ar found on system at:
  84. 10.29 s [sydtest-mutation-example-gen-source] /nix/store/iz5lckcsg66r223si2gck7csk2hihj0m-binutils-wrapper-2.44/bin/ar
  85. 10.29 s [sydtest-mutation-example-gen-source] No c2hs found
  86. 10.29 s [sydtest-mutation-example-gen-source] No cpphs found
  87. 10.29 s [sydtest-mutation-example-gen-source] No doctest found
  88. 10.29 s [sydtest-mutation-example-gen-source] Using gcc version 14.3.0 given by user at:
  89. 10.29 s [sydtest-mutation-example-gen-source] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/gcc
  90. 10.29 s [sydtest-mutation-example-gen-source] Using ghc version 9.10.3 found on system at:
  91. 10.29 s [sydtest-mutation-example-gen-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc
  92. 10.29 s [sydtest-mutation-example-gen-source] Using ghc-pkg version 9.10.3 found on system at:
  93. 10.29 s [sydtest-mutation-example-gen-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc-pkg-9.10.3
  94. 10.29 s [sydtest-mutation-example-gen-source] No ghcjs found
  95. 10.29 s [sydtest-mutation-example-gen-source] No ghcjs-pkg found
  96. 10.29 s [sydtest-mutation-example-gen-source] No greencard found
  97. 10.29 s [sydtest-mutation-example-gen-source] Using haddock version 2.31.1 found on system at:
  98. 10.29 s [sydtest-mutation-example-gen-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/haddock-ghc-9.10.3
  99. 10.29 s [sydtest-mutation-example-gen-source] No happy found
  100. 10.29 s [sydtest-mutation-example-gen-source] Using haskell-suite found on system at: haskell-suite-dummy-location
  101. 10.29 s [sydtest-mutation-example-gen-source] Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
  102. 10.29 s [sydtest-mutation-example-gen-source] No hmake found
  103. 10.29 s [sydtest-mutation-example-gen-source] Using hpc version 0.69 found on system at:
  104. 10.29 s [sydtest-mutation-example-gen-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hpc-ghc-9.10.3
  105. 10.29 s [sydtest-mutation-example-gen-source] Using hsc2hs version 0.68.10 found on system at:
  106. 10.29 s [sydtest-mutation-example-gen-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hsc2hs-ghc-9.10.3
  107. 10.29 s [sydtest-mutation-example-gen-source] Using hscolour version 1.25 found on system at:
  108. 10.30 s [sydtest-mutation-example-gen-source] /nix/store/f755skyzf4jvfx3crwq9mmh3x4lsaz8i-hscolour-1.25/bin/HsColour
  109. 10.30 s [sydtest-mutation-example-gen-source] No jhc found
  110. 10.30 s [sydtest-mutation-example-gen-source] Using ld found on system at:
  111. 10.30 s [sydtest-mutation-example-gen-source] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/ld
  112. 10.30 s [sydtest-mutation-example-gen-source] No pkg-config found
  113. 10.30 s [sydtest-mutation-example-gen-source] Using runghc version 9.10.3 found on system at:
  114. 10.30 s [sydtest-mutation-example-gen-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/runghc-9.10.3
  115. 10.30 s [sydtest-mutation-example-gen-source] Using strip version 2.44 found on system at:
  116. 10.30 s [sydtest-mutation-example-gen-source] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/strip
  117. 10.30 s [sydtest-mutation-example-gen-source] Using tar found on system at:
  118. 10.30 s [sydtest-mutation-example-gen-source] /nix/store/xl6pd2spjajwcpq09fnmnjv5psqmlmma-gnutar-1.35/bin/tar
  119. 10.30 s [sydtest-mutation-example-gen-source] No uhc found
  120. 11.21 s [sydtest-mutation-example-gen-source] Phase: buildPhase
  121. 11.24 s [sydtest-mutation-example-gen-source] Distribution quality errors:
  122. 11.24 s [sydtest-mutation-example-gen-source] [no-syn-desc] No 'synopsis' or 'description' field.
  123. 11.24 s [sydtest-mutation-example-gen-source] Distribution quality warnings:
  124. 11.24 s [sydtest-mutation-example-gen-source] [no-license-file] A 'license-file' is not specified.
  125. 11.24 s [sydtest-mutation-example-gen-source] [missing-upper-bounds] On library, these packages miss upper bounds:
  126. 11.24 s [sydtest-mutation-example-gen-source] - QuickCheck
  127. 11.24 s [sydtest-mutation-example-gen-source] Please add them. There is more information at https://pvp.haskell.org/
  128. 11.24 s [sydtest-mutation-example-gen-source] Note: the public hackage server would reject this package.
  129. 11.24 s [sydtest-mutation-example-gen-source] Building source dist for sydtest-mutation-example-gen-0.0.0.0...
  130. 11.28 s [sydtest-mutation-example-gen-source] Source tarball created: dist/sydtest-mutation-example-gen-0.0.0.0.tar.gz
  131. 11.29 s [sydtest-mutation-example-gen-source] Phase: checkPhase
  132. 11.31 s [sydtest-mutation-example-gen-source] Phase: haddockPhase
  133. 11.32 s [sydtest-mutation-example-gen-source] Phase: installPhase
  134. 11.33 s [sydtest-mutation-example-gen-source] Phase: fixupPhase
  135. 11.42 s [post-build-hook] Uploading to cachix cache "sydtest": /nix/store/h0zsd0kjwgzlncdcg8qlpk7z9xj1syjn-sydtest-mutation-example-gen-source-0.0.0.0
  136. 12.19 s [post-build-hook] Pushing 1 paths (0 are already present) using zstd to cache sydtest ⏳
  137. 12.19 s [post-build-hook]
  138. 12.57 s [post-build-hook] Pushing /nix/store/h0zsd0kjwgzlncdcg8qlpk7z9xj1syjn-sydtest-mutation-example-gen-source-0.0.0.0 (2.42 KiB)
  139. 13.53 s [post-build-hook]
  140. 13.53 s [post-build-hook] All done.
  141. 13.60 s [post-build-hook] Uploading to the NixCI staging cache: /nix/store/h0zsd0kjwgzlncdcg8qlpk7z9xj1syjn-sydtest-mutation-example-gen-source-0.0.0.0
  142. 13.73 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  143. 13.75 s [post-build-hook] copying 1 paths...
  144. 13.75 s [post-build-hook] copying path '/nix/store/h0zsd0kjwgzlncdcg8qlpk7z9xj1syjn-sydtest-mutation-example-gen-source-0.0.0.0' to 'https://cache.staging.nix-ci.com'...
  145. 14.46 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  146. 14.75 s [post-build-hook] copying 1 paths...
  147. 14.76 s [post-build-hook] copying path '/nix/store/468xa3vna012lydq0mdbmli85pki9170-sydtest-mutation-example-gen-source-0.0.0.0.drv' to 'https://cache.staging.nix-ci.com'...
  148. 15.04 s Progress: 1 of 4 built
  149. 15.14 s Building sydtest-mutation-example-gen
  150. 15.72 s [sydtest-mutation-example-gen] Phase: setupCompilerEnvironmentPhase
  151. 15.73 s [sydtest-mutation-example-gen] Build with /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3.
  152. 16.93 s [sydtest-mutation-example-gen] Phase: unpackPhase
  153. 16.95 s [sydtest-mutation-example-gen] unpacking source archive /nix/store/h0zsd0kjwgzlncdcg8qlpk7z9xj1syjn-sydtest-mutation-example-gen-source-0.0.0.0/sydtest-mutation-example-gen-0.0.0.0.tar.gz
  154. 16.96 s [sydtest-mutation-example-gen] source root is sydtest-mutation-example-gen-0.0.0.0
  155. 16.98 s [sydtest-mutation-example-gen] setting SOURCE_DATE_EPOCH to timestamp 1778792022 of file "sydtest-mutation-example-gen-0.0.0.0/test/Spec.hs"
  156. 16.98 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. 17.00 s [sydtest-mutation-example-gen] Phase: patchPhase
  158. 17.02 s [sydtest-mutation-example-gen] Phase: compileBuildDriverPhase
  159. 17.03 s [sydtest-mutation-example-gen] setupCompileFlags: -package-db=/build/tmp.xtCLlcJ3z9/setup-package.conf.d -threaded
  160. 17.20 s [sydtest-mutation-example-gen] [1 of 2] Compiling Main ( Setup.hs, /build/tmp.xtCLlcJ3z9/Main.o )
  161. 17.41 s [sydtest-mutation-example-gen] [2 of 2] Linking Setup
  162. 21.13 s [sydtest-mutation-example-gen] Phase: updateAutotoolsGnuConfigScriptsPhase
  163. 21.15 s [sydtest-mutation-example-gen] Phase: configurePhase
  164. 21.16 s [sydtest-mutation-example-gen] configureFlags: --verbose --prefix=/nix/store/l7m2m7jkjazm1mc4apf7lpas3xnczwc1-sydtest-mutation-example-gen-0.0.0.0 --libdir=$prefix/lib/$compiler/lib --libsubdir=$abi/$libname --docdir=/nix/store/vnx3c1vr8lq05any3pl3zrg9rvc4zs3d-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.xtCLlcJ3z9/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. 21.17 s [sydtest-mutation-example-gen] Using Parsec parser
  166. 21.17 s [sydtest-mutation-example-gen] Configuring sydtest-mutation-example-gen-0.0.0.0...
  167. 23.26 s [sydtest-mutation-example-gen] Dependency QuickCheck: using QuickCheck-2.15.0.1
  168. 23.26 s [sydtest-mutation-example-gen] Dependency base >=4.7 && <5: using base-4.20.2.0
  169. 23.26 s [sydtest-mutation-example-gen] Dependency QuickCheck: using QuickCheck-2.15.0.1
  170. 23.26 s [sydtest-mutation-example-gen] Dependency base >=4.7 && <5: using base-4.20.2.0
  171. 23.26 s [sydtest-mutation-example-gen] Dependency sydtest: using sydtest-0.23.0.2
  172. 23.26 s [sydtest-mutation-example-gen] Dependency sydtest-mutation-example: using sydtest-mutation-example-0.0.0.0
  173. 23.26 s [sydtest-mutation-example-gen] Dependency sydtest-mutation-example-gen: using
  174. 23.26 s [sydtest-mutation-example-gen] sydtest-mutation-example-gen-0.0.0.0
  175. 23.26 s [sydtest-mutation-example-gen] Source component graph:
  176. 23.26 s [sydtest-mutation-example-gen] component lib
  177. 23.26 s [sydtest-mutation-example-gen] component test:sydtest-mutation-example-gen-test dependency lib
  178. 23.26 s [sydtest-mutation-example-gen] Configured component graph:
  179. 23.26 s [sydtest-mutation-example-gen] component sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
  180. 23.26 s [sydtest-mutation-example-gen] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  181. 23.27 s [sydtest-mutation-example-gen] include base-4.20.2.0-64da
  182. 23.27 s [sydtest-mutation-example-gen] component sydtest-mutation-example-gen-0.0.0.0-4aLnrrzAr6JDrCYfyHcQMz-sydtest-mutation-example-gen-test
  183. 23.27 s [sydtest-mutation-example-gen] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  184. 23.27 s [sydtest-mutation-example-gen] include base-4.20.2.0-64da
  185. 23.27 s [sydtest-mutation-example-gen] include sydtest-0.23.0.2-2pBpKNR1Siz5MducBHcrJ7
  186. 23.27 s [sydtest-mutation-example-gen] include sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
  187. 23.27 s [sydtest-mutation-example-gen] include sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
  188. 23.27 s [sydtest-mutation-example-gen] Linked component graph:
  189. 23.27 s [sydtest-mutation-example-gen] unit sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
  190. 23.27 s [sydtest-mutation-example-gen] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  191. 23.27 s [sydtest-mutation-example-gen] include base-4.20.2.0-64da
  192. 23.27 s [sydtest-mutation-example-gen] Example.Gen=sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8:Example.Gen
  193. 23.27 s [sydtest-mutation-example-gen] unit sydtest-mutation-example-gen-0.0.0.0-4aLnrrzAr6JDrCYfyHcQMz-sydtest-mutation-example-gen-test
  194. 23.27 s [sydtest-mutation-example-gen] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  195. 23.27 s [sydtest-mutation-example-gen] include base-4.20.2.0-64da
  196. 23.27 s [sydtest-mutation-example-gen] include sydtest-0.23.0.2-2pBpKNR1Siz5MducBHcrJ7
  197. 23.27 s [sydtest-mutation-example-gen] include sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
  198. 23.27 s [sydtest-mutation-example-gen] include sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
  199. 23.27 s [sydtest-mutation-example-gen] Ready component graph:
  200. 23.27 s [sydtest-mutation-example-gen] definite sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
  201. 23.27 s [sydtest-mutation-example-gen] depends QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  202. 23.27 s [sydtest-mutation-example-gen] depends base-4.20.2.0-64da
  203. 23.27 s [sydtest-mutation-example-gen] definite sydtest-mutation-example-gen-0.0.0.0-4aLnrrzAr6JDrCYfyHcQMz-sydtest-mutation-example-gen-test
  204. 23.27 s [sydtest-mutation-example-gen] depends QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  205. 23.27 s [sydtest-mutation-example-gen] depends base-4.20.2.0-64da
  206. 23.27 s [sydtest-mutation-example-gen] depends sydtest-0.23.0.2-2pBpKNR1Siz5MducBHcrJ7
  207. 23.27 s [sydtest-mutation-example-gen] depends sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
  208. 23.27 s [sydtest-mutation-example-gen] depends sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
  209. 23.27 s [sydtest-mutation-example-gen] Using Cabal-3.12.1.0 compiled by ghc-9.10
  210. 23.27 s [sydtest-mutation-example-gen] Using compiler: ghc-9.10.3
  211. 23.27 s [sydtest-mutation-example-gen] Using install prefix:
  212. 23.27 s [sydtest-mutation-example-gen] /nix/store/l7m2m7jkjazm1mc4apf7lpas3xnczwc1-sydtest-mutation-example-gen-0.0.0.0
  213. 23.27 s [sydtest-mutation-example-gen] Executables installed in:
  214. 23.27 s [sydtest-mutation-example-gen] /nix/store/l7m2m7jkjazm1mc4apf7lpas3xnczwc1-sydtest-mutation-example-gen-0.0.0.0/bin
  215. 23.27 s [sydtest-mutation-example-gen] Libraries installed in:
  216. 23.28 s [sydtest-mutation-example-gen] /nix/store/l7m2m7jkjazm1mc4apf7lpas3xnczwc1-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. 23.28 s [sydtest-mutation-example-gen] Dynamic Libraries installed in:
  218. 23.28 s [sydtest-mutation-example-gen] /nix/store/l7m2m7jkjazm1mc4apf7lpas3xnczwc1-sydtest-mutation-example-gen-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6
  219. 23.28 s [sydtest-mutation-example-gen] Private executables installed in:
  220. 23.28 s [sydtest-mutation-example-gen] /nix/store/l7m2m7jkjazm1mc4apf7lpas3xnczwc1-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. 23.28 s [sydtest-mutation-example-gen] Data files installed in:
  222. 23.28 s [sydtest-mutation-example-gen] /nix/store/l7m2m7jkjazm1mc4apf7lpas3xnczwc1-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. 23.28 s [sydtest-mutation-example-gen] Documentation installed in:
  224. 23.28 s [sydtest-mutation-example-gen] /nix/store/vnx3c1vr8lq05any3pl3zrg9rvc4zs3d-sydtest-mutation-example-gen-0.0.0.0-doc/share/doc/sydtest-mutation-example-gen-0.0.0.0
  225. 23.28 s [sydtest-mutation-example-gen] Configuration files installed in:
  226. 23.28 s [sydtest-mutation-example-gen] /nix/store/l7m2m7jkjazm1mc4apf7lpas3xnczwc1-sydtest-mutation-example-gen-0.0.0.0/etc
  227. 23.28 s [sydtest-mutation-example-gen] No alex found
  228. 23.28 s [sydtest-mutation-example-gen] Using ar found on system at:
  229. 23.28 s [sydtest-mutation-example-gen] /nix/store/iz5lckcsg66r223si2gck7csk2hihj0m-binutils-wrapper-2.44/bin/ar
  230. 23.28 s [sydtest-mutation-example-gen] No c2hs found
  231. 23.28 s [sydtest-mutation-example-gen] No cpphs found
  232. 23.28 s [sydtest-mutation-example-gen] No doctest found
  233. 23.28 s [sydtest-mutation-example-gen] Using gcc version 14.3.0 given by user at:
  234. 23.28 s [sydtest-mutation-example-gen] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/gcc
  235. 23.28 s [sydtest-mutation-example-gen] Using ghc version 9.10.3 found on system at:
  236. 23.28 s [sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc
  237. 23.28 s [sydtest-mutation-example-gen] Using ghc-pkg version 9.10.3 found on system at:
  238. 23.28 s [sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc-pkg-9.10.3
  239. 23.28 s [sydtest-mutation-example-gen] No ghcjs found
  240. 23.28 s [sydtest-mutation-example-gen] No ghcjs-pkg found
  241. 23.28 s [sydtest-mutation-example-gen] No greencard found
  242. 23.28 s [sydtest-mutation-example-gen] Using haddock version 2.31.1 found on system at:
  243. 23.28 s [sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/haddock-ghc-9.10.3
  244. 23.28 s [sydtest-mutation-example-gen] No happy found
  245. 23.28 s [sydtest-mutation-example-gen] Using haskell-suite found on system at: haskell-suite-dummy-location
  246. 23.28 s [sydtest-mutation-example-gen] Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
  247. 23.28 s [sydtest-mutation-example-gen] No hmake found
  248. 23.28 s [sydtest-mutation-example-gen] Using hpc version 0.69 found on system at:
  249. 23.28 s [sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hpc-ghc-9.10.3
  250. 23.28 s [sydtest-mutation-example-gen] Using hsc2hs version 0.68.10 found on system at:
  251. 23.28 s [sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hsc2hs-ghc-9.10.3
  252. 23.28 s [sydtest-mutation-example-gen] Using hscolour version 1.25 found on system at:
  253. 23.28 s [sydtest-mutation-example-gen] /nix/store/f755skyzf4jvfx3crwq9mmh3x4lsaz8i-hscolour-1.25/bin/HsColour
  254. 23.28 s [sydtest-mutation-example-gen] No jhc found
  255. 23.28 s [sydtest-mutation-example-gen] Using ld found on system at:
  256. 23.28 s [sydtest-mutation-example-gen] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/ld
  257. 23.28 s [sydtest-mutation-example-gen] No pkg-config found
  258. 23.29 s [sydtest-mutation-example-gen] Using runghc version 9.10.3 found on system at:
  259. 23.29 s [sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/runghc-9.10.3
  260. 23.29 s [sydtest-mutation-example-gen] Using strip version 2.44 found on system at:
  261. 23.29 s [sydtest-mutation-example-gen] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/strip
  262. 23.29 s [sydtest-mutation-example-gen] Using tar found on system at:
  263. 23.29 s [sydtest-mutation-example-gen] /nix/store/xl6pd2spjajwcpq09fnmnjv5psqmlmma-gnutar-1.35/bin/tar
  264. 23.29 s [sydtest-mutation-example-gen] No uhc found
  265. 24.27 s [sydtest-mutation-example-gen] Phase: buildPhase
  266. 24.47 s [sydtest-mutation-example-gen] Preprocessing library for sydtest-mutation-example-gen-0.0.0.0...
  267. 24.47 s [sydtest-mutation-example-gen] Building library for sydtest-mutation-example-gen-0.0.0.0...
  268. 24.67 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. 24.84 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. 25.44 s [sydtest-mutation-example-gen] [1 of 2] Compiling Example.Gen ( src/Example/Gen.hs, dist/build/Example/Gen.p_o )
  271. 25.82 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. 28.97 s [sydtest-mutation-example-gen] Preprocessing test suite 'sydtest-mutation-example-gen-test' for sydtest-mutation-example-gen-0.0.0.0...
  273. 28.97 s [sydtest-mutation-example-gen] Building test suite 'sydtest-mutation-example-gen-test' for sydtest-mutation-example-gen-0.0.0.0...
  274. 29.31 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. 30.41 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. 30.41 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. 30.41 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. 30.41 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. 30.44 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. 30.45 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. 30.55 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. 30.55 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. 30.55 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. 30.84 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. 31.81 s [sydtest-mutation-example-gen] [12 of 12] Linking dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test
  286. 35.54 s [sydtest-mutation-example-gen] Phase: checkPhase
  287. 35.57 s [sydtest-mutation-example-gen] mutation-nix: collecting coverage for suite sydtest-mutation-example-gen
  288. 37.73 s [sydtest-mutation-example-gen] coverage (26/32): Example\.LogicLibSpec.eitherPositive.is True when only the second is positive (18 mutations)
  289. 40.52 s [sydtest-mutation-example-gen] coverage (28/32): Example\.LogicLibSpec.bothPositive.is False when only the second is positive (11 mutations)
  290. 41.54 s [sydtest-mutation-example-gen] coverage (11/32): Example\.FunctionExceptionLibSpec.addOneFunctionDisabled.increments by one (0 mutations)
  291. 41.76 s [sydtest-mutation-example-gen] coverage (10/32): Example\.FunctionExceptionLibSpec.addOneArithAndIntLitDisabled.increments by one (0 mutations)
  292. 42.51 s [sydtest-mutation-example-gen] coverage (25/32): Example\.LogicLibSpec.eitherPositive.is False when neither is positive (18 mutations)
  293. 43.59 s [sydtest-mutation-example-gen] coverage (16/32): Example\.ListLibSpec.tripleConcat.distinguishes the last element (2 mutations)
  294. 43.74 s [sydtest-mutation-example-gen] coverage (2/32): Example\.CaseLibSpec.describeList.describes longer lists (3 mutations)
  295. 43.91 s [sydtest-mutation-example-gen] coverage (1/32): Example\.CaseLibSpec.describeList.describes singleton lists (3 mutations)
  296. 43.95 s [sydtest-mutation-example-gen] coverage (4/32): Example\.BoolLibSpec.wrapTrue.is Just True (2 mutations)
  297. 44.20 s [sydtest-mutation-example-gen] coverage (23/32): Example\.DoLibSpec.greet.greets loudly (5 mutations)
  298. 44.33 s [sydtest-mutation-example-gen] coverage (30/32): Example\.LogicLibSpec.bothPositive.is False when neither is positive (11 mutations)
  299. 44.35 s [sydtest-mutation-example-gen] coverage (3/32): Example\.CaseLibSpec.describeList.describes empty lists (3 mutations)
  300. 44.41 s [sydtest-mutation-example-gen] coverage (27/32): Example\.LogicLibSpec.eitherPositive.is True when both are positive (11 mutations)
  301. 44.43 s [sydtest-mutation-example-gen] coverage (24/32): Example\.LogicLibSpec.eitherPositive.is True when only the first is positive (11 mutations)
  302. 44.49 s [sydtest-mutation-example-gen] coverage (19/32): Example\.OtherwiseLibSpec.classify.classifies positive numbers (9 mutations)
  303. 44.60 s [sydtest-mutation-example-gen] coverage (13/32): Example\.LibSpec.addOne.returns 2 for input 1 (4 mutations)
  304. 44.60 s [sydtest-mutation-example-gen] coverage (9/32): Example\.FunctionExceptionLibSpec.addOneArithDisabled.increments by one (2 mutations)
  305. 44.61 s [sydtest-mutation-example-gen] coverage (6/32): Example\.BoolLibSpec.negateWrapped.negates Just True to Just False (0 mutations)
  306. 44.64 s [sydtest-mutation-example-gen] coverage (7/32): Example\.BoolLibSpec.negateWrapped.leaves Nothing as Nothing (0 mutations)
  307. 44.73 s [sydtest-mutation-example-gen] coverage (8/32): Example\.BoolLibSpec.negateWrapped.negates Just False to Just True (0 mutations)
  308. 44.79 s [sydtest-mutation-example-gen] coverage (22/32): Example\.DoLibSpec.greet.greets quietly (5 mutations)
  309. 44.82 s [sydtest-mutation-example-gen] coverage (21/32): Example\.OtherwiseLibSpec.classify.classifies zero (9 mutations)
  310. 44.87 s [sydtest-mutation-example-gen] coverage (18/32): Example\.ListLibSpec.tripleConcat.concatenates all three arguments (2 mutations)
  311. 44.94 s [sydtest-mutation-example-gen] coverage (20/32): Example\.OtherwiseLibSpec.classify.classifies negative numbers (6 mutations)
  312. 45.03 s [sydtest-mutation-example-gen] coverage (15/32): Example\.ListLibSpec.pairConcat.concatenates both arguments (2 mutations)
  313. 45.04 s [sydtest-mutation-example-gen] coverage (17/32): Example\.ListLibSpec.tripleConcat.distinguishes the first element (2 mutations)
  314. 45.24 s [sydtest-mutation-example-gen] coverage (12/32): Example\.LibSpec.addOne.returns 6 for input 5 (4 mutations)
  315. 45.25 s [sydtest-mutation-example-gen] coverage (14/32): Example\.ListLibSpec.pairConcat.preserves the order (2 mutations)
  316. 45.28 s [sydtest-mutation-example-gen] coverage (5/32): Example\.BoolLibSpec.wrapFalse.is Just False (2 mutations)
  317. 46.13 s [sydtest-mutation-example-gen] coverage (32/32): Example\.ExceptionLibSpec.addOneModuleDisabled.increments by one (0 mutations)
  318. 46.29 s [sydtest-mutation-example-gen] coverage (31/32): Example\.LogicLibSpec.bothPositive.is False when only the first is positive (18 mutations)
  319. 46.54 s [sydtest-mutation-example-gen] coverage (29/32): Example\.LogicLibSpec.bothPositive.is True when both are positive (18 mutations)
  320. 46.57 s [sydtest-mutation-example-gen] mutation-nix: running mutations
  321. 49.28 s [sydtest-mutation-example-gen] Testing mutation BoolLit at src/Example/BoolLib.hs:18:18-23
  322. 49.28 s [sydtest-mutation-example-gen] @@ -15,7 +15,7 @@
  323. 49.28 s [sydtest-mutation-example-gen] --
  324. 49.28 s [sydtest-mutation-example-gen] -- Mutation sites: BoolLit/ConstBool on the inner False, MaybeOp on Just False.
  325. 49.28 s [sydtest-mutation-example-gen] wrapFalse :: Maybe Bool
  326. 49.28 s [sydtest-mutation-example-gen] -wrapFalse = Just False
  327. 49.28 s [sydtest-mutation-example-gen] +wrapFalse = Just True
  328. 49.28 s [sydtest-mutation-example-gen]
  329. 49.28 s [sydtest-mutation-example-gen] -- | Negates a wrapped boolean.
  330. 49.28 s [sydtest-mutation-example-gen] negateWrapped :: Maybe Bool -> Maybe Bool
  331. 49.28 s [sydtest-mutation-example-gen] Testing mutation MaybeOp at src/Example/BoolLib.hs:18:13-23
  332. 49.28 s [sydtest-mutation-example-gen] @@ -15,7 +15,7 @@
  333. 49.28 s [sydtest-mutation-example-gen] --
  334. 49.28 s [sydtest-mutation-example-gen] -- Mutation sites: BoolLit/ConstBool on the inner False, MaybeOp on Just False.
  335. 49.28 s [sydtest-mutation-example-gen] wrapFalse :: Maybe Bool
  336. 49.28 s [sydtest-mutation-example-gen] -wrapFalse = Just False
  337. 49.28 s [sydtest-mutation-example-gen] +wrapFalse = Nothing
  338. 49.28 s [sydtest-mutation-example-gen]
  339. 49.28 s [sydtest-mutation-example-gen] -- | Negates a wrapped boolean.
  340. 49.28 s [sydtest-mutation-example-gen] negateWrapped :: Maybe Bool -> Maybe Bool
  341. 49.28 s [sydtest-mutation-example-gen] Testing mutation RemoveCase at src/Example/CaseLib.hs:7:19-16
  342. 49.28 s [sydtest-mutation-example-gen] @@ -4,7 +4,6 @@
  343. 49.28 s [sydtest-mutation-example-gen] --
  344. 49.28 s [sydtest-mutation-example-gen] -- Mutation sites: RemoveCase removes one of the three alternatives.
  345. 49.28 s [sydtest-mutation-example-gen] describeList :: [a] -> String
  346. 49.28 s [sydtest-mutation-example-gen] describeList xs = case xs of
  347. 49.28 s [sydtest-mutation-example-gen] [] -> "empty"
  348. 49.28 s [sydtest-mutation-example-gen] [_] -> "singleton"
  349. 49.28 s [sydtest-mutation-example-gen] - _ -> "longer"
  350. 49.28 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-27
  351. 49.28 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  352. 49.28 s [sydtest-mutation-example-gen] --
  353. 49.29 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  354. 49.29 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  355. 49.29 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  356. 49.29 s [sydtest-mutation-example-gen] +eitherPositive a b = False || b > 0
  357. 49.29 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:17:22-27
  358. 49.29 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  359. 49.29 s [sydtest-mutation-example-gen] --
  360. 49.29 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  361. 49.29 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  362. 49.29 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  363. 49.29 s [sydtest-mutation-example-gen] +eitherPositive a b = not (a > 0) || b > 0
  364. 49.29 s [sydtest-mutation-example-gen] Testing mutation RemoveCase at src/Example/CaseLib.hs:7:19-16
  365. 49.29 s [sydtest-mutation-example-gen] @@ -4,7 +4,6 @@
  366. 49.29 s [sydtest-mutation-example-gen] --
  367. 49.29 s [sydtest-mutation-example-gen] -- Mutation sites: RemoveCase removes one of the three alternatives.
  368. 49.29 s [sydtest-mutation-example-gen] describeList :: [a] -> String
  369. 49.29 s [sydtest-mutation-example-gen] describeList xs = case xs of
  370. 49.29 s [sydtest-mutation-example-gen] [] -> "empty"
  371. 49.29 s [sydtest-mutation-example-gen] - [_] -> "singleton"
  372. 49.29 s [sydtest-mutation-example-gen] _ -> "longer"
  373. 49.29 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-27
  374. 49.29 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  375. 49.29 s [sydtest-mutation-example-gen] --
  376. 49.29 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  377. 49.29 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  378. 49.29 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  379. 49.29 s [sydtest-mutation-example-gen] +eitherPositive a b = True || b > 0
  380. 49.29 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:22-27
  381. 49.29 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  382. 49.29 s [sydtest-mutation-example-gen] --
  383. 49.29 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  384. 49.29 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  385. 49.29 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  386. 49.29 s [sydtest-mutation-example-gen] +eitherPositive a b = a >= 0 || b > 0
  387. 49.29 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:31-36
  388. 49.29 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  389. 49.29 s [sydtest-mutation-example-gen] --
  390. 49.29 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  391. 49.29 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  392. 49.29 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  393. 49.29 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || b >= 0
  394. 49.29 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:31-36
  395. 49.30 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  396. 49.30 s [sydtest-mutation-example-gen] --
  397. 49.30 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  398. 49.30 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  399. 49.30 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  400. 49.30 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || True
  401. 49.30 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:31-36
  402. 49.30 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  403. 49.30 s [sydtest-mutation-example-gen] --
  404. 49.30 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  405. 49.30 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  406. 49.30 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  407. 49.30 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || b <= 0
  408. 49.30 s [sydtest-mutation-example-gen] Testing mutation LogicOp at src/Example/LogicLib.hs:17:22-36
  409. 49.30 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  410. 49.30 s [sydtest-mutation-example-gen] --
  411. 49.30 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  412. 49.30 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  413. 49.30 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  414. 49.30 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 && b > 0
  415. 49.30 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:22-27
  416. 49.30 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  417. 49.30 s [sydtest-mutation-example-gen] --
  418. 49.30 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  419. 49.30 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  420. 49.30 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  421. 49.30 s [sydtest-mutation-example-gen] +eitherPositive a b = a < 0 || b > 0
  422. 49.30 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:17:31-36
  423. 49.30 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  424. 49.30 s [sydtest-mutation-example-gen] --
  425. 49.30 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  426. 49.30 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  427. 49.30 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  428. 49.30 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || not (b > 0)
  429. 49.30 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-36
  430. 49.30 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  431. 49.30 s [sydtest-mutation-example-gen] --
  432. 49.30 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  433. 49.30 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  434. 49.30 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  435. 49.30 s [sydtest-mutation-example-gen] +eitherPositive a b = True
  436. 49.30 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-36
  437. 49.30 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  438. 49.30 s [sydtest-mutation-example-gen] --
  439. 49.30 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  440. 49.30 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  441. 49.30 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  442. 49.30 s [sydtest-mutation-example-gen] +eitherPositive a b = False
  443. 49.30 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:17:22-36
  444. 49.30 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  445. 49.30 s [sydtest-mutation-example-gen] --
  446. 49.30 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  447. 49.31 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  448. 49.31 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  449. 49.31 s [sydtest-mutation-example-gen] +eitherPositive a b = not (a > 0 || b > 0)
  450. 49.31 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/LogicLib.hs:17:26-27
  451. 49.31 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  452. 49.31 s [sydtest-mutation-example-gen] --
  453. 49.31 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  454. 49.31 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  455. 49.31 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  456. 49.31 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 1 || b > 0
  457. 49.31 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:22-27
  458. 49.31 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  459. 49.31 s [sydtest-mutation-example-gen] --
  460. 49.31 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  461. 49.31 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  462. 49.31 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  463. 49.31 s [sydtest-mutation-example-gen] +eitherPositive a b = a <= 0 || b > 0
  464. 49.31 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:31-36
  465. 49.31 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  466. 49.31 s [sydtest-mutation-example-gen] --
  467. 49.31 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  468. 49.31 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  469. 49.31 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  470. 49.31 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || False
  471. 49.31 s [sydtest-mutation-example-gen] Testing mutation BoolLit at src/Example/BoolLib.hs:12:17-21
  472. 49.31 s [sydtest-mutation-example-gen] @@ -9,7 +9,7 @@
  473. 49.31 s [sydtest-mutation-example-gen] --
  474. 49.31 s [sydtest-mutation-example-gen] -- Mutation sites: BoolLit/ConstBool on the inner True, MaybeOp on Just True.
  475. 49.31 s [sydtest-mutation-example-gen] wrapTrue :: Maybe Bool
  476. 49.31 s [sydtest-mutation-example-gen] -wrapTrue = Just True
  477. 49.31 s [sydtest-mutation-example-gen] +wrapTrue = Just False
  478. 49.31 s [sydtest-mutation-example-gen]
  479. 49.31 s [sydtest-mutation-example-gen] -- | Wraps False in Just.
  480. 49.31 s [sydtest-mutation-example-gen] --
  481. 49.31 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/LogicLib.hs:17:35-36
  482. 49.31 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  483. 49.31 s [sydtest-mutation-example-gen] --
  484. 49.31 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  485. 49.31 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  486. 49.31 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  487. 49.31 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || b > 1
  488. 49.31 s [sydtest-mutation-example-gen] Testing mutation MaybeOp at src/Example/BoolLib.hs:12:12-21
  489. 49.31 s [sydtest-mutation-example-gen] @@ -9,7 +9,7 @@
  490. 49.31 s [sydtest-mutation-example-gen] --
  491. 49.31 s [sydtest-mutation-example-gen] -- Mutation sites: BoolLit/ConstBool on the inner True, MaybeOp on Just True.
  492. 49.32 s [sydtest-mutation-example-gen] wrapTrue :: Maybe Bool
  493. 49.32 s [sydtest-mutation-example-gen] -wrapTrue = Just True
  494. 52.12 s [sydtest-mutation-example-gen] +wrapTrue = Nothing
  495. 52.12 s [sydtest-mutation-example-gen]
  496. 52.12 s [sydtest-mutation-example-gen] -- | Wraps False in Just.
  497. 52.16 s [sydtest-mutation-example-gen] --
  498. 52.16 s [sydtest-mutation-example-gen] Testing mutation RemoveCase at src/Example/CaseLib.hs:7:19-16
  499. 52.16 s [sydtest-mutation-example-gen] @@ -4,7 +4,6 @@
  500. 52.16 s [sydtest-mutation-example-gen] --
  501. 52.16 s [sydtest-mutation-example-gen] -- Mutation sites: RemoveCase removes one of the three alternatives.
  502. 52.16 s [sydtest-mutation-example-gen] describeList :: [a] -> String
  503. 52.16 s [sydtest-mutation-example-gen] describeList xs = case xs of
  504. 52.16 s [sydtest-mutation-example-gen] - [] -> "empty"
  505. 52.17 s [sydtest-mutation-example-gen] [_] -> "singleton"
  506. 52.17 s [sydtest-mutation-example-gen] _ -> "longer"
  507. 52.17 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:31-36
  508. 52.17 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  509. 52.17 s [sydtest-mutation-example-gen] --
  510. 52.17 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  511. 52.17 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  512. 52.17 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  513. 52.17 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || b < 0
  514. 52.17 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:29-34
  515. 52.17 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  516. 52.17 s [sydtest-mutation-example-gen] --
  517. 52.17 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  518. 52.17 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  519. 52.17 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  520. 52.17 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 && b < 0
  521. 52.17 s [sydtest-mutation-example-gen]
  522. 52.17 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  523. 52.17 s [sydtest-mutation-example-gen] --
  524. 52.17 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-25
  525. 52.17 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  526. 52.17 s [sydtest-mutation-example-gen] --
  527. 52.17 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  528. 52.17 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  529. 52.17 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  530. 52.17 s [sydtest-mutation-example-gen] +bothPositive a b = True && b > 0
  531. 52.17 s [sydtest-mutation-example-gen]
  532. 52.18 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  533. 52.18 s [sydtest-mutation-example-gen] --
  534. 52.18 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:11:20-25
  535. 52.18 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  536. 52.18 s [sydtest-mutation-example-gen] --
  537. 52.18 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  538. 52.18 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  539. 52.18 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  540. 52.18 s [sydtest-mutation-example-gen] +bothPositive a b = not (a > 0) && b > 0
  541. 52.18 s [sydtest-mutation-example-gen]
  542. 52.18 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  543. 52.18 s [sydtest-mutation-example-gen] --
  544. 52.18 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:29-34
  545. 52.18 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  546. 52.18 s [sydtest-mutation-example-gen] --
  547. 52.18 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  548. 52.18 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  549. 52.18 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  550. 52.18 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 && b >= 0
  551. 52.18 s [sydtest-mutation-example-gen]
  552. 52.18 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  553. 52.18 s [sydtest-mutation-example-gen] --
  554. 52.18 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:29-34
  555. 52.18 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  556. 52.18 s [sydtest-mutation-example-gen] --
  557. 52.18 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  558. 52.18 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  559. 52.18 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  560. 52.19 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 && False
  561. 52.19 s [sydtest-mutation-example-gen]
  562. 52.19 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  563. 52.19 s [sydtest-mutation-example-gen] --
  564. 52.19 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-34
  565. 52.19 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  566. 52.19 s [sydtest-mutation-example-gen] --
  567. 52.19 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  568. 52.19 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  569. 52.19 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  570. 52.19 s [sydtest-mutation-example-gen] +bothPositive a b = True
  571. 52.19 s [sydtest-mutation-example-gen]
  572. 52.19 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  573. 52.19 s [sydtest-mutation-example-gen] --
  574. 52.19 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:11:29-34
  575. 52.19 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  576. 52.19 s [sydtest-mutation-example-gen] --
  577. 52.19 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  578. 52.19 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  579. 52.19 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  580. 52.19 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 && not (b > 0)
  581. 52.19 s [sydtest-mutation-example-gen]
  582. 52.19 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  583. 52.19 s [sydtest-mutation-example-gen] --
  584. 52.19 s [sydtest-mutation-example-gen] Testing mutation LogicOp at src/Example/LogicLib.hs:11:20-34
  585. 52.19 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  586. 52.19 s [sydtest-mutation-example-gen] --
  587. 52.19 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  588. 52.19 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  589. 52.19 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  590. 52.20 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 || b > 0
  591. 52.20 s [sydtest-mutation-example-gen]
  592. 52.20 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  593. 52.20 s [sydtest-mutation-example-gen] --
  594. 52.20 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/OtherwiseLib.hs:12:9-10
  595. 52.20 s [sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
  596. 52.20 s [sydtest-mutation-example-gen] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  597. 52.20 s [sydtest-mutation-example-gen] classify :: Int -> String
  598. 52.20 s [sydtest-mutation-example-gen] classify n
  599. 52.20 s [sydtest-mutation-example-gen] - | n < 0 = "negative"
  600. 52.20 s [sydtest-mutation-example-gen] + | n < 1 = "negative"
  601. 52.20 s [sydtest-mutation-example-gen] | n == 0 = "zero"
  602. 52.20 s [sydtest-mutation-example-gen] | otherwise = "positive"
  603. 52.20 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10
  604. 52.20 s [sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
  605. 52.20 s [sydtest-mutation-example-gen] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  606. 52.20 s [sydtest-mutation-example-gen] classify :: Int -> String
  607. 52.20 s [sydtest-mutation-example-gen] classify n
  608. 52.20 s [sydtest-mutation-example-gen] - | n < 0 = "negative"
  609. 52.20 s [sydtest-mutation-example-gen] + | n > 0 = "negative"
  610. 52.20 s [sydtest-mutation-example-gen] | n == 0 = "zero"
  611. 52.20 s [sydtest-mutation-example-gen] | otherwise = "positive"
  612. 52.20 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:20-25
  613. 52.20 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  614. 52.20 s [sydtest-mutation-example-gen] --
  615. 52.20 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  616. 52.20 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  617. 52.20 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  618. 52.20 s [sydtest-mutation-example-gen] +bothPositive a b = a <= 0 && b > 0
  619. 52.20 s [sydtest-mutation-example-gen]
  620. 52.20 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  621. 52.21 s [sydtest-mutation-example-gen] --
  622. 52.21 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10
  623. 52.21 s [sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
  624. 52.21 s [sydtest-mutation-example-gen] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  625. 52.21 s [sydtest-mutation-example-gen] classify :: Int -> String
  626. 52.21 s [sydtest-mutation-example-gen] classify n
  627. 52.21 s [sydtest-mutation-example-gen] - | n < 0 = "negative"
  628. 52.21 s [sydtest-mutation-example-gen] + | n <= 0 = "negative"
  629. 52.21 s [sydtest-mutation-example-gen] | n == 0 = "zero"
  630. 52.21 s [sydtest-mutation-example-gen] | otherwise = "positive"
  631. 52.21 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:29-34
  632. 52.21 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  633. 52.21 s [sydtest-mutation-example-gen] --
  634. 52.21 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  635. 52.21 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  636. 52.21 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  637. 52.21 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 && b <= 0
  638. 52.21 s [sydtest-mutation-example-gen]
  639. 52.21 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  640. 52.21 s [sydtest-mutation-example-gen] --
  641. 52.21 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/OtherwiseLib.hs:13:10-11
  642. 52.21 s [sydtest-mutation-example-gen] @@ -10,5 +10,5 @@
  643. 52.21 s [sydtest-mutation-example-gen] classify :: Int -> String
  644. 52.21 s [sydtest-mutation-example-gen] classify n
  645. 52.21 s [sydtest-mutation-example-gen] | n < 0 = "negative"
  646. 52.21 s [sydtest-mutation-example-gen] - | n == 0 = "zero"
  647. 52.21 s [sydtest-mutation-example-gen] + | n == 1 = "zero"
  648. 52.21 s [sydtest-mutation-example-gen] | otherwise = "positive"
  649. 52.21 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/OtherwiseLib.hs:13:5-11
  650. 52.21 s [sydtest-mutation-example-gen] @@ -10,5 +10,5 @@
  651. 52.21 s [sydtest-mutation-example-gen] classify :: Int -> String
  652. 52.21 s [sydtest-mutation-example-gen] classify n
  653. 52.21 s [sydtest-mutation-example-gen] | n < 0 = "negative"
  654. 52.21 s [sydtest-mutation-example-gen] - | n == 0 = "zero"
  655. 52.21 s [sydtest-mutation-example-gen] + | True = "zero"
  656. 52.22 s [sydtest-mutation-example-gen] | otherwise = "positive"
  657. 52.22 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:20-25
  658. 52.22 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  659. 52.22 s [sydtest-mutation-example-gen] --
  660. 52.22 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  661. 52.22 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  662. 52.22 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  663. 52.22 s [sydtest-mutation-example-gen] +bothPositive a b = a >= 0 && b > 0
  664. 52.22 s [sydtest-mutation-example-gen]
  665. 52.22 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  666. 52.22 s [sydtest-mutation-example-gen] --
  667. 52.22 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/OtherwiseLib.hs:12:5-10
  668. 52.22 s [sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
  669. 52.22 s [sydtest-mutation-example-gen] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  670. 52.22 s [sydtest-mutation-example-gen] classify :: Int -> String
  671. 52.22 s [sydtest-mutation-example-gen] classify n
  672. 52.22 s [sydtest-mutation-example-gen] - | n < 0 = "negative"
  673. 52.22 s [sydtest-mutation-example-gen] + | not (n < 0) = "negative"
  674. 52.22 s [sydtest-mutation-example-gen] | n == 0 = "zero"
  675. 52.22 s [sydtest-mutation-example-gen] | otherwise = "positive"
  676. 52.22 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/FunctionExceptionLib.hs:15:29-30
  677. 52.22 s [sydtest-mutation-example-gen] @@ -12,7 +12,7 @@
  678. 52.22 s [sydtest-mutation-example-gen] -- IntLit mutations (replacing the literal @1@) still apply.
  679. 52.22 s [sydtest-mutation-example-gen] {-# ANN addOneArithDisabled ("DisableMutation: Arith" :: String) #-}
  680. 52.22 s [sydtest-mutation-example-gen] addOneArithDisabled :: Int -> Int
  681. 52.23 s [sydtest-mutation-example-gen] -addOneArithDisabled n = n + 1
  682. 52.23 s [sydtest-mutation-example-gen] +addOneArithDisabled n = n + 0
  683. 52.23 s [sydtest-mutation-example-gen]
  684. 52.23 s [sydtest-mutation-example-gen] -- | Both Arith and IntLit mutations disabled on this function.
  685. 52.23 s [sydtest-mutation-example-gen] {-# ANN addOneArithAndIntLitDisabled ("DisableMutations: Arith, IntLit" :: String) #-}
  686. 52.23 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/FunctionExceptionLib.hs:15:29-30
  687. 52.23 s [sydtest-mutation-example-gen] @@ -12,7 +12,7 @@
  688. 52.23 s [sydtest-mutation-example-gen] -- IntLit mutations (replacing the literal @1@) still apply.
  689. 52.23 s [sydtest-mutation-example-gen] {-# ANN addOneArithDisabled ("DisableMutation: Arith" :: String) #-}
  690. 52.23 s [sydtest-mutation-example-gen] addOneArithDisabled :: Int -> Int
  691. 52.23 s [sydtest-mutation-example-gen] -addOneArithDisabled n = n + 1
  692. 54.42 s [sydtest-mutation-example-gen] +addOneArithDisabled n = n + -1
  693. 54.42 s [sydtest-mutation-example-gen]
  694. 54.42 s [sydtest-mutation-example-gen] -- | Both Arith and IntLit mutations disabled on this function.
  695. 54.42 s [sydtest-mutation-example-gen] {-# ANN addOneArithAndIntLitDisabled ("DisableMutations: Arith, IntLit" :: String) #-}
  696. 54.42 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:29-34
  697. 54.42 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  698. 54.42 s [sydtest-mutation-example-gen] --
  699. 54.42 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  700. 54.43 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  701. 54.43 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  702. 54.43 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 && True
  703. 54.43 s [sydtest-mutation-example-gen]
  704. 54.43 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  705. 54.43 s [sydtest-mutation-example-gen] --
  706. 54.43 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-25
  707. 54.43 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  708. 54.43 s [sydtest-mutation-example-gen] --
  709. 54.43 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  710. 54.43 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  711. 54.43 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  712. 54.43 s [sydtest-mutation-example-gen] +bothPositive a b = False && b > 0
  713. 54.43 s [sydtest-mutation-example-gen]
  714. 54.43 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  715. 54.43 s [sydtest-mutation-example-gen] --
  716. 54.43 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/DoLib.hs:14:10-14
  717. 54.43 s [sydtest-mutation-example-gen] @@ -11,5 +11,5 @@
  718. 54.43 s [sydtest-mutation-example-gen] go :: Writer String ()
  719. 54.43 s [sydtest-mutation-example-gen] go = do
  720. 54.43 s [sydtest-mutation-example-gen] tell "Hello"
  721. 54.43 s [sydtest-mutation-example-gen] - if loud then tell "!" else pure ()
  722. 54.44 s [sydtest-mutation-example-gen] + if False then tell "!" else pure ()
  723. 54.44 s [sydtest-mutation-example-gen] tell "\n"
  724. 54.44 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/DoLib.hs:14:10-14
  725. 54.44 s [sydtest-mutation-example-gen] @@ -11,5 +11,5 @@
  726. 54.44 s [sydtest-mutation-example-gen] go :: Writer String ()
  727. 54.44 s [sydtest-mutation-example-gen] go = do
  728. 54.44 s [sydtest-mutation-example-gen] tell "Hello"
  729. 54.44 s [sydtest-mutation-example-gen] - if loud then tell "!" else pure ()
  730. 54.44 s [sydtest-mutation-example-gen] + if not (loud) then tell "!" else pure ()
  731. 54.44 s [sydtest-mutation-example-gen] tell "\n"
  732. 54.44 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/LogicLib.hs:11:33-34
  733. 54.44 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  734. 54.44 s [sydtest-mutation-example-gen] --
  735. 54.44 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  736. 54.44 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  737. 54.44 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  738. 54.44 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 && b > 1
  739. 54.44 s [sydtest-mutation-example-gen]
  740. 54.44 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  741. 54.44 s [sydtest-mutation-example-gen] --
  742. 54.44 s [sydtest-mutation-example-gen] Testing mutation RemoveAction at src/Example/DoLib.hs:14:7-41
  743. 54.44 s [sydtest-mutation-example-gen] @@ -11,5 +11,4 @@
  744. 54.44 s [sydtest-mutation-example-gen] go :: Writer String ()
  745. 54.44 s [sydtest-mutation-example-gen] go = do
  746. 54.44 s [sydtest-mutation-example-gen] tell "Hello"
  747. 54.44 s [sydtest-mutation-example-gen] - if loud then tell "!" else pure ()
  748. 54.44 s [sydtest-mutation-example-gen] tell "\n"
  749. 54.44 s [sydtest-mutation-example-gen] Testing mutation RemoveAction at src/Example/DoLib.hs:12:10-16
  750. 54.44 s [sydtest-mutation-example-gen] @@ -9,7 +9,6 @@
  751. 54.44 s [sydtest-mutation-example-gen] greet loud = execWriter go
  752. 54.44 s [sydtest-mutation-example-gen] where
  753. 54.44 s [sydtest-mutation-example-gen] go :: Writer String ()
  754. 54.44 s [sydtest-mutation-example-gen] go = do
  755. 54.44 s [sydtest-mutation-example-gen] - tell "Hello"
  756. 54.44 s [sydtest-mutation-example-gen] if loud then tell "!" else pure ()
  757. 54.44 s [sydtest-mutation-example-gen] tell "\n"
  758. 54.45 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/LogicLib.hs:11:24-25
  759. 54.45 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  760. 54.45 s [sydtest-mutation-example-gen] --
  761. 54.45 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  762. 54.45 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  763. 54.45 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  764. 54.45 s [sydtest-mutation-example-gen] +bothPositive a b = a > 1 && b > 0
  765. 54.45 s [sydtest-mutation-example-gen]
  766. 54.45 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  767. 54.45 s [sydtest-mutation-example-gen] --
  768. 54.45 s [sydtest-mutation-example-gen] Testing mutation ListLit at src/Example/ListLib.hs:19:29-38
  769. 54.45 s [sydtest-mutation-example-gen] @@ -16,4 +16,3 @@
  770. 54.45 s [sydtest-mutation-example-gen] -- Mutation sites: ListLit produces an empty-list mutant, a drop-first mutant,
  771. 54.45 s [sydtest-mutation-example-gen] -- and a drop-last mutant on the literal @[a, b, c]@.
  772. 54.45 s [sydtest-mutation-example-gen] tripleConcat :: String -> String -> String -> String
  773. 54.45 s [sydtest-mutation-example-gen] -tripleConcat a b c = concat [a, b, c]
  774. 54.45 s [sydtest-mutation-example-gen] Testing mutation ListLit at src/Example/ListLib.hs:19:29-38
  775. 54.45 s [sydtest-mutation-example-gen] @@ -16,4 +16,3 @@
  776. 54.45 s [sydtest-mutation-example-gen] -- Mutation sites: ListLit produces an empty-list mutant, a drop-first mutant,
  777. 54.45 s [sydtest-mutation-example-gen] -- and a drop-last mutant on the literal @[a, b, c]@.
  778. 54.45 s [sydtest-mutation-example-gen] tripleConcat :: String -> String -> String -> String
  779. 54.45 s [sydtest-mutation-example-gen] -tripleConcat a b c = concat [a, b, c]
  780. 54.45 s [sydtest-mutation-example-gen] Testing mutation ListLit at src/Example/ListLib.hs:12:25-31
  781. 54.45 s [sydtest-mutation-example-gen] @@ -9,7 +9,6 @@
  782. 54.45 s [sydtest-mutation-example-gen] -- Mutation sites: ListLit produces an empty-list mutant and a drop-first
  783. 54.45 s [sydtest-mutation-example-gen] -- mutant on the literal @[a, b]@.
  784. 54.45 s [sydtest-mutation-example-gen] pairConcat :: String -> String -> String
  785. 54.45 s [sydtest-mutation-example-gen] -pairConcat a b = concat [a, b]
  786. 54.45 s [sydtest-mutation-example-gen]
  787. 54.45 s [sydtest-mutation-example-gen] -- | Concatenate a three-element list of strings.
  788. 54.45 s [sydtest-mutation-example-gen] --
  789. 54.45 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/OtherwiseLib.hs:13:5-11
  790. 54.45 s [sydtest-mutation-example-gen] @@ -10,5 +10,5 @@
  791. 54.45 s [sydtest-mutation-example-gen] classify :: Int -> String
  792. 54.46 s [sydtest-mutation-example-gen] classify n
  793. 54.46 s [sydtest-mutation-example-gen] | n < 0 = "negative"
  794. 54.46 s [sydtest-mutation-example-gen] - | n == 0 = "zero"
  795. 54.46 s [sydtest-mutation-example-gen] + | not (n == 0) = "zero"
  796. 54.46 s [sydtest-mutation-example-gen] | otherwise = "positive"
  797. 54.46 s [sydtest-mutation-example-gen] Testing mutation ListLit at src/Example/ListLib.hs:12:25-31
  798. 54.46 s [sydtest-mutation-example-gen] @@ -9,7 +9,6 @@
  799. 54.46 s [sydtest-mutation-example-gen] -- Mutation sites: ListLit produces an empty-list mutant and a drop-first
  800. 54.46 s [sydtest-mutation-example-gen] -- mutant on the literal @[a, b]@.
  801. 54.46 s [sydtest-mutation-example-gen] pairConcat :: String -> String -> String
  802. 54.46 s [sydtest-mutation-example-gen] -pairConcat a b = concat [a, b]
  803. 54.46 s [sydtest-mutation-example-gen]
  804. 54.46 s [sydtest-mutation-example-gen] -- | Concatenate a three-element list of strings.
  805. 54.46 s [sydtest-mutation-example-gen] --
  806. 54.46 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/Lib.hs:8:16-17
  807. 54.46 s [sydtest-mutation-example-gen] @@ -5,4 +5,4 @@
  808. 54.46 s [sydtest-mutation-example-gen] -- The literal '1' here is a mutation site: the plugin will also compile a
  809. 54.46 s [sydtest-mutation-example-gen] -- version where this returns @n + 0@ instead of @n + 1@.
  810. 54.46 s [sydtest-mutation-example-gen] addOne :: Int -> Int
  811. 54.46 s [sydtest-mutation-example-gen] -addOne n = n + 1
  812. 54.46 s [sydtest-mutation-example-gen] +addOne n = n + -1
  813. 54.46 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:11:20-34
  814. 54.46 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  815. 54.46 s [sydtest-mutation-example-gen] --
  816. 54.46 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  817. 54.46 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  818. 54.46 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  819. 54.46 s [sydtest-mutation-example-gen] +bothPositive a b = not (a > 0 && b > 0)
  820. 54.46 s [sydtest-mutation-example-gen]
  821. 54.46 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  822. 54.46 s [sydtest-mutation-example-gen] --
  823. 54.46 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/Lib.hs:8:16-17
  824. 54.46 s [sydtest-mutation-example-gen] @@ -5,4 +5,4 @@
  825. 54.46 s [sydtest-mutation-example-gen] -- The literal '1' here is a mutation site: the plugin will also compile a
  826. 54.46 s [sydtest-mutation-example-gen] -- version where this returns @n + 0@ instead of @n + 1@.
  827. 54.46 s [sydtest-mutation-example-gen] addOne :: Int -> Int
  828. 54.46 s [sydtest-mutation-example-gen] -addOne n = n + 1
  829. 54.46 s [sydtest-mutation-example-gen] +addOne n = n + 0
  830. 54.46 s [sydtest-mutation-example-gen] Testing mutation ListLit at src/Example/ListLib.hs:19:29-38
  831. 54.47 s [sydtest-mutation-example-gen] @@ -16,4 +16,3 @@
  832. 54.47 s [sydtest-mutation-example-gen] -- Mutation sites: ListLit produces an empty-list mutant, a drop-first mutant,
  833. 54.47 s [sydtest-mutation-example-gen] -- and a drop-last mutant on the literal @[a, b, c]@.
  834. 54.47 s [sydtest-mutation-example-gen] tripleConcat :: String -> String -> String -> String
  835. 54.47 s [sydtest-mutation-example-gen] -tripleConcat a b c = concat [a, b, c]
  836. 54.47 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/DoLib.hs:14:10-14
  837. 54.47 s [sydtest-mutation-example-gen] @@ -11,5 +11,5 @@
  838. 54.47 s [sydtest-mutation-example-gen] go :: Writer String ()
  839. 54.47 s [sydtest-mutation-example-gen] go = do
  840. 54.47 s [sydtest-mutation-example-gen] tell "Hello"
  841. 54.47 s [sydtest-mutation-example-gen] - if loud then tell "!" else pure ()
  842. 54.47 s [sydtest-mutation-example-gen] + if True then tell "!" else pure ()
  843. 54.47 s [sydtest-mutation-example-gen] tell "\n"
  844. 54.47 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/OtherwiseLib.hs:12:5-10
  845. 54.47 s [sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
  846. 54.47 s [sydtest-mutation-example-gen] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  847. 54.47 s [sydtest-mutation-example-gen] classify :: Int -> String
  848. 54.47 s [sydtest-mutation-example-gen] classify n
  849. 54.47 s [sydtest-mutation-example-gen] - | n < 0 = "negative"
  850. 54.47 s [sydtest-mutation-example-gen] + | True = "negative"
  851. 54.47 s [sydtest-mutation-example-gen] | n == 0 = "zero"
  852. 54.47 s [sydtest-mutation-example-gen] | otherwise = "positive"
  853. 54.47 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10
  854. 54.47 s [sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
  855. 54.47 s [sydtest-mutation-example-gen] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  856. 54.47 s [sydtest-mutation-example-gen] classify :: Int -> String
  857. 54.47 s [sydtest-mutation-example-gen] classify n
  858. 54.47 s [sydtest-mutation-example-gen] - | n < 0 = "negative"
  859. 54.47 s [sydtest-mutation-example-gen] + | n >= 0 = "negative"
  860. 54.47 s [sydtest-mutation-example-gen] | n == 0 = "zero"
  861. 54.47 s [sydtest-mutation-example-gen] | otherwise = "positive"
  862. 54.47 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:20-25
  863. 54.47 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  864. 54.47 s [sydtest-mutation-example-gen] --
  865. 54.47 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  866. 54.47 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  867. 54.47 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  868. 54.47 s [sydtest-mutation-example-gen] +bothPositive a b = a < 0 && b > 0
  869. 54.47 s [sydtest-mutation-example-gen]
  870. 54.47 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  871. 54.47 s [sydtest-mutation-example-gen] --
  872. 54.47 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-34
  873. 54.47 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  874. 54.47 s [sydtest-mutation-example-gen] --
  875. 54.48 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  876. 54.48 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  877. 54.48 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  878. 54.48 s [sydtest-mutation-example-gen] +bothPositive a b = False
  879. 54.48 s [sydtest-mutation-example-gen]
  880. 54.48 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  881. 54.48 s [sydtest-mutation-example-gen] --
  882. 54.48 s [sydtest-mutation-example-gen] Testing mutation Arith at src/Example/Lib.hs:8:12-17
  883. 54.48 s [sydtest-mutation-example-gen] @@ -5,4 +5,4 @@
  884. 54.48 s [sydtest-mutation-example-gen] -- The literal '1' here is a mutation site: the plugin will also compile a
  885. 56.96 s [sydtest-mutation-example-gen] -- version where this returns @n + 0@ instead of @n + 1@.
  886. 56.96 s [sydtest-mutation-example-gen] addOne :: Int -> Int
  887. 56.96 s [sydtest-mutation-example-gen] -addOne n = n + 1
  888. 56.96 s [sydtest-mutation-example-gen] +addOne n = n - 1
  889. 56.96 s [sydtest-mutation-example-gen] Testing mutation Arith at src/Example/Lib.hs:8:12-17
  890. 56.96 s [sydtest-mutation-example-gen] @@ -5,4 +5,4 @@
  891. 56.96 s [sydtest-mutation-example-gen] -- The literal '1' here is a mutation site: the plugin will also compile a
  892. 56.96 s [sydtest-mutation-example-gen] -- version where this returns @n + 0@ instead of @n + 1@.
  893. 56.96 s [sydtest-mutation-example-gen] addOne :: Int -> Int
  894. 56.96 s [sydtest-mutation-example-gen] -addOne n = n + 1
  895. 56.97 s [sydtest-mutation-example-gen] +addOne n = n * 1
  896. 56.97 s [sydtest-mutation-example-gen] Killed: 68
  897. 56.97 s [sydtest-mutation-example-gen] (of which timed out: 0)
  898. 56.97 s [sydtest-mutation-example-gen] Survived: 0
  899. 56.97 s [sydtest-mutation-example-gen] Uncovered: 0
  900. 57.02 s [sydtest-mutation-example-gen] Phase: haddockPhase
  901. 57.52 s [sydtest-mutation-example-gen] Preprocessing library for sydtest-mutation-example-gen-0.0.0.0...
  902. 57.60 s [sydtest-mutation-example-gen] Running Haddock on library for sydtest-mutation-example-gen-0.0.0.0...
  903. 58.26 s [sydtest-mutation-example-gen] [1 of 2] Compiling Example.Gen ( src/Example/Gen.hs, nothing )
  904. 58.34 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. 58.44 s [sydtest-mutation-example-gen] Haddock coverage:
  906. 58.44 s [sydtest-mutation-example-gen] 50% ( 1 / 2) in 'Example.Gen'
  907. 58.44 s [sydtest-mutation-example-gen] Missing documentation for:
  908. 58.44 s [sydtest-mutation-example-gen] Module header
  909. 68.63 s [sydtest-mutation-example-gen] Documentation created: dist/doc/html/sydtest-mutation-example-gen/,
  910. 68.65 s [sydtest-mutation-example-gen] dist/doc/html/sydtest-mutation-example-gen/sydtest-mutation-example-gen.txt
  911. 68.75 s [sydtest-mutation-example-gen] Preprocessing test suite 'sydtest-mutation-example-gen-test' for sydtest-mutation-example-gen-0.0.0.0...
  912. 68.78 s [sydtest-mutation-example-gen] Phase: installPhase
  913. 69.15 s [sydtest-mutation-example-gen] Installing library in /nix/store/l7m2m7jkjazm1mc4apf7lpas3xnczwc1-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. 69.83 s [sydtest-mutation-example-gen] Phase: fixupPhase
  915. 69.89 s [sydtest-mutation-example-gen] shrinking RPATHs of ELF executables and libraries in /nix/store/l7m2m7jkjazm1mc4apf7lpas3xnczwc1-sydtest-mutation-example-gen-0.0.0.0
  916. 69.90 s [sydtest-mutation-example-gen] shrinking /nix/store/l7m2m7jkjazm1mc4apf7lpas3xnczwc1-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. 69.91 s [sydtest-mutation-example-gen] checking for references to /build/ in /nix/store/l7m2m7jkjazm1mc4apf7lpas3xnczwc1-sydtest-mutation-example-gen-0.0.0.0...
  918. 69.95 s [sydtest-mutation-example-gen] patching script interpreter paths in /nix/store/l7m2m7jkjazm1mc4apf7lpas3xnczwc1-sydtest-mutation-example-gen-0.0.0.0
  919. 69.96 s [sydtest-mutation-example-gen] stripping (with command strip and flags -S -p) in /nix/store/l7m2m7jkjazm1mc4apf7lpas3xnczwc1-sydtest-mutation-example-gen-0.0.0.0/lib
  920. 70.03 s [sydtest-mutation-example-gen] shrinking RPATHs of ELF executables and libraries in /nix/store/vnx3c1vr8lq05any3pl3zrg9rvc4zs3d-sydtest-mutation-example-gen-0.0.0.0-doc
  921. 70.04 s [sydtest-mutation-example-gen] checking for references to /build/ in /nix/store/vnx3c1vr8lq05any3pl3zrg9rvc4zs3d-sydtest-mutation-example-gen-0.0.0.0-doc...
  922. 70.07 s [sydtest-mutation-example-gen] patching script interpreter paths in /nix/store/vnx3c1vr8lq05any3pl3zrg9rvc4zs3d-sydtest-mutation-example-gen-0.0.0.0-doc
  923. 70.08 s [sydtest-mutation-example-gen] shrinking RPATHs of ELF executables and libraries in /nix/store/khh0nrxi000mzbxhbspcf8m6izm40p4p-sydtest-mutation-example-gen-0.0.0.0-report
  924. 70.09 s [sydtest-mutation-example-gen] checking for references to /build/ in /nix/store/khh0nrxi000mzbxhbspcf8m6izm40p4p-sydtest-mutation-example-gen-0.0.0.0-report...
  925. 70.11 s [sydtest-mutation-example-gen] patching script interpreter paths in /nix/store/khh0nrxi000mzbxhbspcf8m6izm40p4p-sydtest-mutation-example-gen-0.0.0.0-report
  926. 70.32 s [post-build-hook] Uploading to cachix cache "sydtest": /nix/store/khh0nrxi000mzbxhbspcf8m6izm40p4p-sydtest-mutation-example-gen-0.0.0.0-report /nix/store/l7m2m7jkjazm1mc4apf7lpas3xnczwc1-sydtest-mutation-example-gen-0.0.0.0 /nix/store/vnx3c1vr8lq05any3pl3zrg9rvc4zs3d-sydtest-mutation-example-gen-0.0.0.0-doc
  927. 71.24 s [post-build-hook] Pushing 3 paths (76 are already present) using zstd to cache sydtest ⏳
  928. 71.24 s [post-build-hook]
  929. 71.63 s [post-build-hook] Pushing /nix/store/khh0nrxi000mzbxhbspcf8m6izm40p4p-sydtest-mutation-example-gen-0.0.0.0-report (696.00 B)
  930. 71.66 s [post-build-hook] Pushing /nix/store/l7m2m7jkjazm1mc4apf7lpas3xnczwc1-sydtest-mutation-example-gen-0.0.0.0 (287.47 KiB)
  931. 71.73 s [post-build-hook] Pushing /nix/store/vnx3c1vr8lq05any3pl3zrg9rvc4zs3d-sydtest-mutation-example-gen-0.0.0.0-doc (142.72 KiB)
  932. 73.03 s [post-build-hook]
  933. 73.03 s [post-build-hook] All done.
  934. 73.11 s [post-build-hook] Uploading to the NixCI staging cache: /nix/store/khh0nrxi000mzbxhbspcf8m6izm40p4p-sydtest-mutation-example-gen-0.0.0.0-report /nix/store/l7m2m7jkjazm1mc4apf7lpas3xnczwc1-sydtest-mutation-example-gen-0.0.0.0 /nix/store/vnx3c1vr8lq05any3pl3zrg9rvc4zs3d-sydtest-mutation-example-gen-0.0.0.0-doc
  935. 73.22 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  936. 73.50 s [post-build-hook] copying 3 paths...
  937. 73.50 s [post-build-hook] copying path '/nix/store/khh0nrxi000mzbxhbspcf8m6izm40p4p-sydtest-mutation-example-gen-0.0.0.0-report' to 'https://cache.staging.nix-ci.com'...
  938. 73.50 s [post-build-hook] copying path '/nix/store/vnx3c1vr8lq05any3pl3zrg9rvc4zs3d-sydtest-mutation-example-gen-0.0.0.0-doc' to 'https://cache.staging.nix-ci.com'...
  939. 74.28 s [post-build-hook] copying path '/nix/store/l7m2m7jkjazm1mc4apf7lpas3xnczwc1-sydtest-mutation-example-gen-0.0.0.0' to 'https://cache.staging.nix-ci.com'...
  940. 74.73 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  941. 75.09 s [post-build-hook] copying 1 paths...
  942. 75.10 s [post-build-hook] copying path '/nix/store/n99rfcz4r2ywgsz0afsb7x61ilk005p4-sydtest-mutation-example-gen-0.0.0.0.drv' to 'https://cache.staging.nix-ci.com'...
  943. 75.37 s Progress: 2 of 4 built
  944. 75.43 s Building sydtest-mutation-example
  945. 75.54 s [sydtest-mutation-example] Results: 68 killed, 0 survived, 0 uncovered out of 68 total
  946. 75.54 s [sydtest-mutation-example]
  947. 75.55 s [sydtest-mutation-example] Killed: 68
  948. 75.55 s [sydtest-mutation-example] (of which timed out: 0)
  949. 75.55 s [sydtest-mutation-example] Survived: 0
  950. 75.55 s [sydtest-mutation-example] Uncovered: 0
  951. 75.55 s [sydtest-mutation-example] Full report: /nix/store/khh0nrxi000mzbxhbspcf8m6izm40p4p-sydtest-mutation-example-gen-0.0.0.0-report/report.txt
  952. 75.55 s [sydtest-mutation-example] Machine-readable report: /nix/store/khh0nrxi000mzbxhbspcf8m6izm40p4p-sydtest-mutation-example-gen-0.0.0.0-report/report.json
  953. 75.55 s [sydtest-mutation-example]
  954. 75.55 s [sydtest-mutation-example] PASS: All 68 mutation(s) accounted for.
  955. 75.59 s [post-build-hook] Uploading to cachix cache "sydtest": /nix/store/28iwa1ljs47hcw89ynna529d2rzq9w1q-sydtest-mutation-example
  956. 76.38 s [post-build-hook] Pushing 1 paths (0 are already present) using zstd to cache sydtest ⏳
  957. 76.38 s [post-build-hook]
  958. 76.74 s [post-build-hook] Pushing /nix/store/28iwa1ljs47hcw89ynna529d2rzq9w1q-sydtest-mutation-example (696.00 B)
  959. 78.05 s [post-build-hook]
  960. 78.05 s [post-build-hook] All done.
  961. 78.12 s [post-build-hook] Uploading to the NixCI staging cache: /nix/store/28iwa1ljs47hcw89ynna529d2rzq9w1q-sydtest-mutation-example
  962. 78.22 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  963. 78.24 s [post-build-hook] copying 1 paths...
  964. 78.24 s [post-build-hook] copying path '/nix/store/28iwa1ljs47hcw89ynna529d2rzq9w1q-sydtest-mutation-example' to 'https://cache.staging.nix-ci.com'...
  965. 78.52 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  966. 78.89 s [post-build-hook] copying 1 paths...
  967. 78.89 s [post-build-hook] copying path '/nix/store/da4cc5zyvilgilly30zgdyi9mxlgc30y-sydtest-mutation-example.drv' to 'https://cache.staging.nix-ci.com'...
  968. 79.21 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/f65777c0537c8094028e8af851150d01fcc726a9/8b9167c8-04e8-4807-8e37-9f8c2dd4b8de/wait

Latest logs, with timestamps (streams while running):

curl --netrc -N https://staging.nix-ci.com/gh:NorfairKing:sydtest/mutation-testing/f65777c0537c8094028e8af851150d01fcc726a9/8b9167c8-04e8-4807-8e37-9f8c2dd4b8de/tail

All logs, with timestamps (available after completion):

curl --netrc https://staging.nix-ci.com/gh:NorfairKing:sydtest/mutation-testing/f65777c0537c8094028e8af851150d01fcc726a9/8b9167c8-04e8-4807-8e37-9f8c2dd4b8de/logs

Raw logs, from the start (no timestamps):

curl --netrc -N https://staging.nix-ci.com/gh:NorfairKing:sydtest/mutation-testing/f65777c0537c8094028e8af851150d01fcc726a9/8b9167c8-04e8-4807-8e37-9f8c2dd4b8de/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/f65777c0537c8094028e8af851150d01fcc726a9/8b9167c8-04e8-4807-8e37-9f8c2dd4b8de/logs

Reproduce locally: https://staging.nix-ci.com/gh:NorfairKing:sydtest/mutation-testing/f65777c0537c8094028e8af851150d01fcc726a9/8b9167c8-04e8-4807-8e37-9f8c2dd4b8de/repro

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