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

Reproduce this run
  1. 0.02 s $ /nix/store/vzx1mi9c0xfadmsm9dhd83d005cb1qs9-coreutils-9.8/bin/timeout --kill-after=15s 7200s /nix/store/99b1z08awpxj8b6mzggn59gp1shljnff-nix-2.34.5/bin/nix --extra-experimental-features nix-command --extra-experimental-features flakes --log-format internal-json build --no-link git+https://github.com/NorfairKing/sydtest?ref=mutation-diff-mode&rev=a40a77bf63e74efde93f05d8e372e7e182407a95#checks.x86_64-linux.mutation-sydtest-mutation-example --print-build-logs
  2. 0.07 s warning: ignoring untrusted flake configuration setting 'extra-substituters'.
  3. 0.07 s Pass '--accept-flake-config' to trust it
  4. 0.07 s warning: ignoring untrusted flake configuration setting 'extra-trusted-public-keys'.
  5. 0.07 s Pass '--accept-flake-config' to trust it
  6. 0.53 s error (ignored): SQLite database '/var/cache/private/nix-ci-worker/eval-cache-v6/4717c041644f3a4cb6d4f98e02cee7f24185636c0ce9885c1b9d7d2cd37196ff.sqlite' is busy
  7. 1.35 s
  8. 3.71 s Waiting for lock on sydtest-source
  9. 18.74 s Waiting for lock on sydtest
  10. 63.80 s Waiting for lock on opt-env-conf-test-source
  11. 63.80 s Waiting for lock on sydtest-mutation-driver-source
  12. 73.82 s Waiting for lock on sydtest-mutation-driver
  13. 78.83 s Waiting for lock on opt-env-conf-test
  14. 98.85 s Waiting for lock on sydtest-mutation-plugin-source
  15. 118.89 s Waiting for lock on sydtest-mutation-plugin-0.0.0.0-doc
  16. 168.95 s Waiting for lock on sydtest-mutation-example-0.0.0.0-manifest
  17. 184.09 s Building sydtest-mutation-example-gen-source
  18. 184.43 s [sydtest-mutation-example-gen-source] Phase: setupCompilerEnvironmentPhase
  19. 184.43 s [sydtest-mutation-example-gen-source] Build with /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3.
  20. 184.83 s [sydtest-mutation-example-gen-source] Phase: unpackPhase
  21. 184.83 s [sydtest-mutation-example-gen-source] unpacking source archive /nix/store/l7cj46f5x7fwpwhnc41cp97411qi5dd8-sydtest-mutation-example-gen
  22. 184.84 s [sydtest-mutation-example-gen-source] source root is sydtest-mutation-example-gen
  23. 184.85 s [sydtest-mutation-example-gen-source] Phase: patchPhase
  24. 184.85 s [sydtest-mutation-example-gen-source] Phase: compileBuildDriverPhase
  25. 184.86 s [sydtest-mutation-example-gen-source] setupCompileFlags: -package-db=/build/tmp.vB0GmCopKz/setup-package.conf.d -threaded
  26. 184.90 s [sydtest-mutation-example-gen-source] [1 of 2] Compiling Main ( /nix/store/4mdp8nhyfddh7bllbi7xszz7k9955n79-Setup.hs, /build/tmp.vB0GmCopKz/Main.o )
  27. 184.93 s [sydtest-mutation-example-gen-source] [2 of 2] Linking Setup
  28. 185.96 s [sydtest-mutation-example-gen-source] Phase: updateAutotoolsGnuConfigScriptsPhase
  29. 185.97 s [sydtest-mutation-example-gen-source] Phase: configurePhase
  30. 185.98 s [sydtest-mutation-example-gen-source] configureFlags: --verbose --prefix=/nix/store/vc8dxm400spqcyjh65g22qq7brkr2nkq-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.vB0GmCopKz/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
  31. 185.98 s [sydtest-mutation-example-gen-source] Using Parsec parser
  32. 185.98 s [sydtest-mutation-example-gen-source] Configuring sydtest-mutation-example-gen-0.0.0.0...
  33. 186.53 s [sydtest-mutation-example-gen-source] Dependency QuickCheck: using QuickCheck-2.15.0.1
  34. 186.53 s [sydtest-mutation-example-gen-source] Dependency base >=4.7 && <5: using base-4.20.2.0
  35. 186.53 s [sydtest-mutation-example-gen-source] Dependency QuickCheck: using QuickCheck-2.15.0.1
  36. 186.53 s [sydtest-mutation-example-gen-source] Dependency base >=4.7 && <5: using base-4.20.2.0
  37. 186.53 s [sydtest-mutation-example-gen-source] Dependency sydtest: using sydtest-0.25.0.0
  38. 186.53 s [sydtest-mutation-example-gen-source] Dependency sydtest-mutation-example: using sydtest-mutation-example-0.0.0.0
  39. 186.53 s [sydtest-mutation-example-gen-source] Dependency sydtest-mutation-example-gen: using
  40. 186.53 s [sydtest-mutation-example-gen-source] sydtest-mutation-example-gen-0.0.0.0
  41. 186.53 s [sydtest-mutation-example-gen-source] Source component graph:
  42. 186.53 s [sydtest-mutation-example-gen-source] component lib
  43. 186.53 s [sydtest-mutation-example-gen-source] component test:sydtest-mutation-example-gen-test dependency lib
  44. 186.54 s [sydtest-mutation-example-gen-source] Configured component graph:
  45. 186.54 s [sydtest-mutation-example-gen-source] component sydtest-mutation-example-gen-0.0.0.0-1GR3QOyO8Nr5YCvM2pYQxH
  46. 186.54 s [sydtest-mutation-example-gen-source] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  47. 186.54 s [sydtest-mutation-example-gen-source] include base-4.20.2.0-64da
  48. 186.54 s [sydtest-mutation-example-gen-source] component sydtest-mutation-example-gen-0.0.0.0-vIFzLXfic0FA8TvJR8oHD-sydtest-mutation-example-gen-test
  49. 186.54 s [sydtest-mutation-example-gen-source] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  50. 186.54 s [sydtest-mutation-example-gen-source] include base-4.20.2.0-64da
  51. 186.54 s [sydtest-mutation-example-gen-source] include sydtest-0.25.0.0-845mY3FQd2NHJUFHWqJcap
  52. 186.54 s [sydtest-mutation-example-gen-source] include sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
  53. 186.54 s [sydtest-mutation-example-gen-source] include sydtest-mutation-example-gen-0.0.0.0-1GR3QOyO8Nr5YCvM2pYQxH
  54. 186.54 s [sydtest-mutation-example-gen-source] Linked component graph:
  55. 186.54 s [sydtest-mutation-example-gen-source] unit sydtest-mutation-example-gen-0.0.0.0-1GR3QOyO8Nr5YCvM2pYQxH
  56. 186.54 s [sydtest-mutation-example-gen-source] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  57. 186.54 s [sydtest-mutation-example-gen-source] include base-4.20.2.0-64da
  58. 186.54 s [sydtest-mutation-example-gen-source] Example.Gen=sydtest-mutation-example-gen-0.0.0.0-1GR3QOyO8Nr5YCvM2pYQxH:Example.Gen
  59. 186.54 s [sydtest-mutation-example-gen-source] unit sydtest-mutation-example-gen-0.0.0.0-vIFzLXfic0FA8TvJR8oHD-sydtest-mutation-example-gen-test
  60. 186.54 s [sydtest-mutation-example-gen-source] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  61. 186.54 s [sydtest-mutation-example-gen-source] include base-4.20.2.0-64da
  62. 186.54 s [sydtest-mutation-example-gen-source] include sydtest-0.25.0.0-845mY3FQd2NHJUFHWqJcap
  63. 186.54 s [sydtest-mutation-example-gen-source] include sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
  64. 186.54 s [sydtest-mutation-example-gen-source] include sydtest-mutation-example-gen-0.0.0.0-1GR3QOyO8Nr5YCvM2pYQxH
  65. 186.54 s [sydtest-mutation-example-gen-source] Ready component graph:
  66. 186.54 s [sydtest-mutation-example-gen-source] definite sydtest-mutation-example-gen-0.0.0.0-1GR3QOyO8Nr5YCvM2pYQxH
  67. 186.54 s [sydtest-mutation-example-gen-source] depends QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  68. 186.54 s [sydtest-mutation-example-gen-source] depends base-4.20.2.0-64da
  69. 186.54 s [sydtest-mutation-example-gen-source] definite sydtest-mutation-example-gen-0.0.0.0-vIFzLXfic0FA8TvJR8oHD-sydtest-mutation-example-gen-test
  70. 186.54 s [sydtest-mutation-example-gen-source] depends QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  71. 186.54 s [sydtest-mutation-example-gen-source] depends base-4.20.2.0-64da
  72. 186.54 s [sydtest-mutation-example-gen-source] depends sydtest-0.25.0.0-845mY3FQd2NHJUFHWqJcap
  73. 186.54 s [sydtest-mutation-example-gen-source] depends sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
  74. 186.54 s [sydtest-mutation-example-gen-source] depends sydtest-mutation-example-gen-0.0.0.0-1GR3QOyO8Nr5YCvM2pYQxH
  75. 186.54 s [sydtest-mutation-example-gen-source] Using Cabal-3.12.1.0 compiled by ghc-9.10
  76. 186.54 s [sydtest-mutation-example-gen-source] Using compiler: ghc-9.10.3
  77. 186.54 s [sydtest-mutation-example-gen-source] Using install prefix:
  78. 186.54 s [sydtest-mutation-example-gen-source] /nix/store/vc8dxm400spqcyjh65g22qq7brkr2nkq-sydtest-mutation-example-gen-source-0.0.0.0
  79. 186.54 s [sydtest-mutation-example-gen-source] Executables installed in:
  80. 186.54 s [sydtest-mutation-example-gen-source] /nix/store/vc8dxm400spqcyjh65g22qq7brkr2nkq-sydtest-mutation-example-gen-source-0.0.0.0/bin
  81. 186.54 s [sydtest-mutation-example-gen-source] Libraries installed in:
  82. 186.54 s [sydtest-mutation-example-gen-source] /nix/store/vc8dxm400spqcyjh65g22qq7brkr2nkq-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-1GR3QOyO8Nr5YCvM2pYQxH
  83. 186.54 s [sydtest-mutation-example-gen-source] Dynamic Libraries installed in:
  84. 186.54 s [sydtest-mutation-example-gen-source] /nix/store/vc8dxm400spqcyjh65g22qq7brkr2nkq-sydtest-mutation-example-gen-source-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6
  85. 186.54 s [sydtest-mutation-example-gen-source] Private executables installed in:
  86. 186.54 s [sydtest-mutation-example-gen-source] /nix/store/vc8dxm400spqcyjh65g22qq7brkr2nkq-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
  87. 186.54 s [sydtest-mutation-example-gen-source] Data files installed in:
  88. 186.54 s [sydtest-mutation-example-gen-source] /nix/store/vc8dxm400spqcyjh65g22qq7brkr2nkq-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
  89. 186.54 s [sydtest-mutation-example-gen-source] Documentation installed in: /share/doc/sydtest-mutation-example-gen-0.0.0.0
  90. 186.54 s [sydtest-mutation-example-gen-source] Configuration files installed in:
  91. 186.54 s [sydtest-mutation-example-gen-source] /nix/store/vc8dxm400spqcyjh65g22qq7brkr2nkq-sydtest-mutation-example-gen-source-0.0.0.0/etc
  92. 186.54 s [sydtest-mutation-example-gen-source] No alex found
  93. 186.54 s [sydtest-mutation-example-gen-source] Using ar found on system at:
  94. 186.54 s [sydtest-mutation-example-gen-source] /nix/store/iz5lckcsg66r223si2gck7csk2hihj0m-binutils-wrapper-2.44/bin/ar
  95. 186.54 s [sydtest-mutation-example-gen-source] No c2hs found
  96. 186.54 s [sydtest-mutation-example-gen-source] No cpphs found
  97. 186.54 s [sydtest-mutation-example-gen-source] No doctest found
  98. 186.54 s [sydtest-mutation-example-gen-source] Using gcc version 14.3.0 given by user at:
  99. 186.54 s [sydtest-mutation-example-gen-source] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/gcc
  100. 186.54 s [sydtest-mutation-example-gen-source] Using ghc version 9.10.3 found on system at:
  101. 186.54 s [sydtest-mutation-example-gen-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc
  102. 186.54 s [sydtest-mutation-example-gen-source] Using ghc-pkg version 9.10.3 found on system at:
  103. 186.54 s [sydtest-mutation-example-gen-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc-pkg-9.10.3
  104. 186.54 s [sydtest-mutation-example-gen-source] No ghcjs found
  105. 186.54 s [sydtest-mutation-example-gen-source] No ghcjs-pkg found
  106. 186.54 s [sydtest-mutation-example-gen-source] No greencard found
  107. 186.54 s [sydtest-mutation-example-gen-source] Using haddock version 2.31.1 found on system at:
  108. 186.54 s [sydtest-mutation-example-gen-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/haddock-ghc-9.10.3
  109. 186.54 s [sydtest-mutation-example-gen-source] No happy found
  110. 186.54 s [sydtest-mutation-example-gen-source] Using haskell-suite found on system at: haskell-suite-dummy-location
  111. 186.54 s [sydtest-mutation-example-gen-source] Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
  112. 186.54 s [sydtest-mutation-example-gen-source] No hmake found
  113. 186.54 s [sydtest-mutation-example-gen-source] Using hpc version 0.69 found on system at:
  114. 186.54 s [sydtest-mutation-example-gen-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hpc-ghc-9.10.3
  115. 186.54 s [sydtest-mutation-example-gen-source] Using hsc2hs version 0.68.10 found on system at:
  116. 186.54 s [sydtest-mutation-example-gen-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hsc2hs-ghc-9.10.3
  117. 186.54 s [sydtest-mutation-example-gen-source] Using hscolour version 1.25 found on system at:
  118. 186.54 s [sydtest-mutation-example-gen-source] /nix/store/f755skyzf4jvfx3crwq9mmh3x4lsaz8i-hscolour-1.25/bin/HsColour
  119. 186.54 s [sydtest-mutation-example-gen-source] No jhc found
  120. 186.54 s [sydtest-mutation-example-gen-source] Using ld found on system at:
  121. 186.54 s [sydtest-mutation-example-gen-source] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/ld
  122. 186.54 s [sydtest-mutation-example-gen-source] No pkg-config found
  123. 186.54 s [sydtest-mutation-example-gen-source] Using runghc version 9.10.3 found on system at:
  124. 186.54 s [sydtest-mutation-example-gen-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/runghc-9.10.3
  125. 186.54 s [sydtest-mutation-example-gen-source] Using strip version 2.44 found on system at:
  126. 186.54 s [sydtest-mutation-example-gen-source] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/strip
  127. 186.54 s [sydtest-mutation-example-gen-source] Using tar found on system at:
  128. 186.54 s [sydtest-mutation-example-gen-source] /nix/store/xl6pd2spjajwcpq09fnmnjv5psqmlmma-gnutar-1.35/bin/tar
  129. 186.54 s [sydtest-mutation-example-gen-source] No uhc found
  130. 186.88 s [sydtest-mutation-example-gen-source] Phase: buildPhase
  131. 186.89 s [sydtest-mutation-example-gen-source] Distribution quality errors:
  132. 186.89 s [sydtest-mutation-example-gen-source] [no-syn-desc] No 'synopsis' or 'description' field.
  133. 186.89 s [sydtest-mutation-example-gen-source] Distribution quality warnings:
  134. 186.89 s [sydtest-mutation-example-gen-source] [missing-upper-bounds] On library, these packages miss upper bounds:
  135. 186.89 s [sydtest-mutation-example-gen-source] - QuickCheck
  136. 186.89 s [sydtest-mutation-example-gen-source] Please add them. There is more information at https://pvp.haskell.org/
  137. 186.89 s [sydtest-mutation-example-gen-source] Note: the public hackage server would reject this package.
  138. 186.89 s [sydtest-mutation-example-gen-source] Building source dist for sydtest-mutation-example-gen-0.0.0.0...
  139. 186.90 s [sydtest-mutation-example-gen-source] Source tarball created: dist/sydtest-mutation-example-gen-0.0.0.0.tar.gz
  140. 186.90 s [sydtest-mutation-example-gen-source] Phase: checkPhase
  141. 186.90 s [sydtest-mutation-example-gen-source] Phase: haddockPhase
  142. 186.91 s [sydtest-mutation-example-gen-source] Phase: installPhase
  143. 186.91 s [sydtest-mutation-example-gen-source] Phase: fixupPhase
  144. 186.95 s [post-build-hook] Uploading to cachix cache "sydtest": /nix/store/vc8dxm400spqcyjh65g22qq7brkr2nkq-sydtest-mutation-example-gen-source-0.0.0.0
  145. 187.32 s [post-build-hook] Pushing 1 paths (0 are already present) using zstd to cache sydtest ⏳
  146. 187.32 s [post-build-hook]
  147. 187.79 s [post-build-hook] Pushing /nix/store/vc8dxm400spqcyjh65g22qq7brkr2nkq-sydtest-mutation-example-gen-source-0.0.0.0 (2.77 KiB)
  148. 188.95 s [post-build-hook]
  149. 188.95 s [post-build-hook] All done.
  150. 188.97 s [post-build-hook] Uploading to the NixCI staging cache: /nix/store/vc8dxm400spqcyjh65g22qq7brkr2nkq-sydtest-mutation-example-gen-source-0.0.0.0
  151. 189.00 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  152. 189.01 s [post-build-hook] copying 1 paths...
  153. 189.01 s [post-build-hook] copying path '/nix/store/vc8dxm400spqcyjh65g22qq7brkr2nkq-sydtest-mutation-example-gen-source-0.0.0.0' to 'https://cache.staging.nix-ci.com'...
  154. 191.05 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  155. 191.27 s [post-build-hook] copying 1 paths...
  156. 191.39 s [post-build-hook] copying path '/nix/store/virk2dkidzcblybzhlhzy4qb3lvxgz6d-sydtest-mutation-example-gen-source-0.0.0.0.drv' to 'https://cache.staging.nix-ci.com'...
  157. 192.24 s Progress: 1 of 6 built
  158. 192.30 s Building sydtest-mutation-example-gen
  159. 192.32 s Building sydtest-mutation-example-gen-resource-dir-source
  160. 192.35 s [sydtest-mutation-example-gen-resource-dir-source] Phase: unpackPhase
  161. 192.36 s [sydtest-mutation-example-gen-resource-dir-source] unpacking source archive /nix/store/vc8dxm400spqcyjh65g22qq7brkr2nkq-sydtest-mutation-example-gen-source-0.0.0.0/sydtest-mutation-example-gen-0.0.0.0.tar.gz
  162. 192.36 s [sydtest-mutation-example-gen-resource-dir-source] source root is sydtest-mutation-example-gen-0.0.0.0
  163. 192.37 s [sydtest-mutation-example-gen-resource-dir-source] setting SOURCE_DATE_EPOCH to timestamp 1779384454 of file "sydtest-mutation-example-gen-0.0.0.0/test/Spec.hs"
  164. 192.37 s [sydtest-mutation-example-gen-resource-dir-source] warning: file "sydtest-mutation-example-gen-0.0.0.0/test/Spec.hs" may be generated; SOURCE_DATE_EPOCH may be non-deterministic
  165. 192.37 s [sydtest-mutation-example-gen-resource-dir-source] Phase: patchPhase
  166. 192.37 s [sydtest-mutation-example-gen-resource-dir-source] Phase: installPhase
  167. 192.40 s [post-build-hook] Uploading to cachix cache "sydtest": /nix/store/6xdr9hy4a4x040djjnz0dd4icyf0d3qi-sydtest-mutation-example-gen-resource-dir-source
  168. 192.76 s [post-build-hook] Pushing 1 paths (0 are already present) using zstd to cache sydtest ⏳
  169. 192.76 s [post-build-hook]
  170. 193.12 s [post-build-hook] Pushing /nix/store/6xdr9hy4a4x040djjnz0dd4icyf0d3qi-sydtest-mutation-example-gen-resource-dir-source (11.01 KiB)
  171. 194.16 s [post-build-hook]
  172. 194.16 s [post-build-hook] All done.
  173. 194.18 s [post-build-hook] Uploading to the NixCI staging cache: /nix/store/6xdr9hy4a4x040djjnz0dd4icyf0d3qi-sydtest-mutation-example-gen-resource-dir-source
  174. 194.22 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  175. 194.22 s [post-build-hook] copying 1 paths...
  176. 194.23 s [post-build-hook] copying path '/nix/store/6xdr9hy4a4x040djjnz0dd4icyf0d3qi-sydtest-mutation-example-gen-resource-dir-source' to 'https://cache.staging.nix-ci.com'...
  177. 194.46 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  178. 194.69 s [post-build-hook] copying 1 paths...
  179. 194.69 s [post-build-hook] copying path '/nix/store/rl3fvpxf3v2w0ix04a37w5y9v9q57b3m-sydtest-mutation-example-gen-resource-dir-source.drv' to 'https://cache.staging.nix-ci.com'...
  180. 196.57 s Progress: 2 of 6 built (1 building)
  181. 196.57 s [sydtest-mutation-example-gen] Phase: setupCompilerEnvironmentPhase
  182. 196.57 s [sydtest-mutation-example-gen] Build with /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3.
  183. 196.59 s [sydtest-mutation-example-gen] Phase: unpackPhase
  184. 196.59 s [sydtest-mutation-example-gen] unpacking source archive /nix/store/vc8dxm400spqcyjh65g22qq7brkr2nkq-sydtest-mutation-example-gen-source-0.0.0.0/sydtest-mutation-example-gen-0.0.0.0.tar.gz
  185. 196.59 s [sydtest-mutation-example-gen] source root is sydtest-mutation-example-gen-0.0.0.0
  186. 196.59 s [sydtest-mutation-example-gen] setting SOURCE_DATE_EPOCH to timestamp 1779384454 of file "sydtest-mutation-example-gen-0.0.0.0/test/Spec.hs"
  187. 196.59 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
  188. 196.59 s [sydtest-mutation-example-gen] Phase: patchPhase
  189. 196.59 s [sydtest-mutation-example-gen] Phase: compileBuildDriverPhase
  190. 196.59 s [sydtest-mutation-example-gen] setupCompileFlags: -package-db=/build/tmp.ljj5kDtZhV/setup-package.conf.d -threaded
  191. 196.59 s [sydtest-mutation-example-gen] [1 of 2] Compiling Main ( Setup.hs, /build/tmp.ljj5kDtZhV/Main.o )
  192. 196.59 s [sydtest-mutation-example-gen] [2 of 2] Linking Setup
  193. 196.59 s [sydtest-mutation-example-gen] Phase: updateAutotoolsGnuConfigScriptsPhase
  194. 196.59 s [sydtest-mutation-example-gen] Phase: configurePhase
  195. 196.59 s [sydtest-mutation-example-gen] configureFlags: --verbose --prefix=/nix/store/0m483cgvv4caqa8p0njb6fqjrv1vlnc1-sydtest-mutation-example-gen-0.0.0.0 --libdir=$prefix/lib/$compiler/lib --libsubdir=$abi/$libname --docdir=/nix/store/19rw56y9x552jzlfyri1k5ym246d1sqq-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.ljj5kDtZhV/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
  196. 196.59 s [sydtest-mutation-example-gen] Using Parsec parser
  197. 196.59 s [sydtest-mutation-example-gen] Configuring sydtest-mutation-example-gen-0.0.0.0...
  198. 196.59 s [sydtest-mutation-example-gen] Dependency QuickCheck: using QuickCheck-2.15.0.1
  199. 196.59 s [sydtest-mutation-example-gen] Dependency base >=4.7 && <5: using base-4.20.2.0
  200. 196.59 s [sydtest-mutation-example-gen] Dependency QuickCheck: using QuickCheck-2.15.0.1
  201. 196.59 s [sydtest-mutation-example-gen] Dependency base >=4.7 && <5: using base-4.20.2.0
  202. 196.59 s [sydtest-mutation-example-gen] Dependency sydtest: using sydtest-0.25.0.0
  203. 196.59 s [sydtest-mutation-example-gen] Dependency sydtest-mutation-example: using sydtest-mutation-example-0.0.0.0
  204. 196.59 s [sydtest-mutation-example-gen] Dependency sydtest-mutation-example-gen: using
  205. 196.59 s [sydtest-mutation-example-gen] sydtest-mutation-example-gen-0.0.0.0
  206. 196.59 s [sydtest-mutation-example-gen] Source component graph:
  207. 196.59 s [sydtest-mutation-example-gen] component lib
  208. 196.59 s [sydtest-mutation-example-gen] component test:sydtest-mutation-example-gen-test dependency lib
  209. 196.59 s [sydtest-mutation-example-gen] Configured component graph:
  210. 196.59 s [sydtest-mutation-example-gen] component sydtest-mutation-example-gen-0.0.0.0-1GR3QOyO8Nr5YCvM2pYQxH
  211. 196.59 s [sydtest-mutation-example-gen] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  212. 196.59 s [sydtest-mutation-example-gen] include base-4.20.2.0-64da
  213. 196.59 s [sydtest-mutation-example-gen] component sydtest-mutation-example-gen-0.0.0.0-vIFzLXfic0FA8TvJR8oHD-sydtest-mutation-example-gen-test
  214. 196.59 s [sydtest-mutation-example-gen] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  215. 196.59 s [sydtest-mutation-example-gen] include base-4.20.2.0-64da
  216. 196.59 s [sydtest-mutation-example-gen] include sydtest-0.25.0.0-845mY3FQd2NHJUFHWqJcap
  217. 196.59 s [sydtest-mutation-example-gen] include sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
  218. 196.59 s [sydtest-mutation-example-gen] include sydtest-mutation-example-gen-0.0.0.0-1GR3QOyO8Nr5YCvM2pYQxH
  219. 196.59 s [sydtest-mutation-example-gen] Linked component graph:
  220. 196.59 s [sydtest-mutation-example-gen] unit sydtest-mutation-example-gen-0.0.0.0-1GR3QOyO8Nr5YCvM2pYQxH
  221. 196.59 s [sydtest-mutation-example-gen] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  222. 196.59 s [sydtest-mutation-example-gen] include base-4.20.2.0-64da
  223. 196.60 s [sydtest-mutation-example-gen] Example.Gen=sydtest-mutation-example-gen-0.0.0.0-1GR3QOyO8Nr5YCvM2pYQxH:Example.Gen
  224. 196.60 s [sydtest-mutation-example-gen] unit sydtest-mutation-example-gen-0.0.0.0-vIFzLXfic0FA8TvJR8oHD-sydtest-mutation-example-gen-test
  225. 196.60 s [sydtest-mutation-example-gen] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  226. 196.60 s [sydtest-mutation-example-gen] include base-4.20.2.0-64da
  227. 196.60 s [sydtest-mutation-example-gen] include sydtest-0.25.0.0-845mY3FQd2NHJUFHWqJcap
  228. 196.60 s [sydtest-mutation-example-gen] include sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
  229. 196.60 s [sydtest-mutation-example-gen] include sydtest-mutation-example-gen-0.0.0.0-1GR3QOyO8Nr5YCvM2pYQxH
  230. 196.60 s [sydtest-mutation-example-gen] Ready component graph:
  231. 196.60 s [sydtest-mutation-example-gen] definite sydtest-mutation-example-gen-0.0.0.0-1GR3QOyO8Nr5YCvM2pYQxH
  232. 196.60 s [sydtest-mutation-example-gen] depends QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  233. 196.60 s [sydtest-mutation-example-gen] depends base-4.20.2.0-64da
  234. 196.60 s [sydtest-mutation-example-gen] definite sydtest-mutation-example-gen-0.0.0.0-vIFzLXfic0FA8TvJR8oHD-sydtest-mutation-example-gen-test
  235. 196.60 s [sydtest-mutation-example-gen] depends QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  236. 196.60 s [sydtest-mutation-example-gen] depends base-4.20.2.0-64da
  237. 196.60 s [sydtest-mutation-example-gen] depends sydtest-0.25.0.0-845mY3FQd2NHJUFHWqJcap
  238. 196.60 s [sydtest-mutation-example-gen] depends sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
  239. 196.60 s [sydtest-mutation-example-gen] depends sydtest-mutation-example-gen-0.0.0.0-1GR3QOyO8Nr5YCvM2pYQxH
  240. 196.60 s [sydtest-mutation-example-gen] Using Cabal-3.12.1.0 compiled by ghc-9.10
  241. 196.60 s [sydtest-mutation-example-gen] Using compiler: ghc-9.10.3
  242. 196.60 s [sydtest-mutation-example-gen] Using install prefix:
  243. 196.60 s [sydtest-mutation-example-gen] /nix/store/0m483cgvv4caqa8p0njb6fqjrv1vlnc1-sydtest-mutation-example-gen-0.0.0.0
  244. 196.60 s [sydtest-mutation-example-gen] Executables installed in:
  245. 196.60 s [sydtest-mutation-example-gen] /nix/store/0m483cgvv4caqa8p0njb6fqjrv1vlnc1-sydtest-mutation-example-gen-0.0.0.0/bin
  246. 196.60 s [sydtest-mutation-example-gen] Libraries installed in:
  247. 196.60 s [sydtest-mutation-example-gen] /nix/store/0m483cgvv4caqa8p0njb6fqjrv1vlnc1-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-1GR3QOyO8Nr5YCvM2pYQxH
  248. 196.60 s [sydtest-mutation-example-gen] Dynamic Libraries installed in:
  249. 196.60 s [sydtest-mutation-example-gen] /nix/store/0m483cgvv4caqa8p0njb6fqjrv1vlnc1-sydtest-mutation-example-gen-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6
  250. 196.60 s [sydtest-mutation-example-gen] Private executables installed in:
  251. 196.60 s [sydtest-mutation-example-gen] /nix/store/0m483cgvv4caqa8p0njb6fqjrv1vlnc1-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
  252. 196.60 s [sydtest-mutation-example-gen] Data files installed in:
  253. 196.60 s [sydtest-mutation-example-gen] /nix/store/0m483cgvv4caqa8p0njb6fqjrv1vlnc1-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
  254. 196.60 s [sydtest-mutation-example-gen] Documentation installed in:
  255. 196.60 s [sydtest-mutation-example-gen] /nix/store/19rw56y9x552jzlfyri1k5ym246d1sqq-sydtest-mutation-example-gen-0.0.0.0-doc/share/doc/sydtest-mutation-example-gen-0.0.0.0
  256. 196.60 s [sydtest-mutation-example-gen] Configuration files installed in:
  257. 196.60 s [sydtest-mutation-example-gen] /nix/store/0m483cgvv4caqa8p0njb6fqjrv1vlnc1-sydtest-mutation-example-gen-0.0.0.0/etc
  258. 196.60 s [sydtest-mutation-example-gen] No alex found
  259. 196.60 s [sydtest-mutation-example-gen] Using ar found on system at:
  260. 196.60 s [sydtest-mutation-example-gen] /nix/store/iz5lckcsg66r223si2gck7csk2hihj0m-binutils-wrapper-2.44/bin/ar
  261. 196.60 s [sydtest-mutation-example-gen] No c2hs found
  262. 196.60 s [sydtest-mutation-example-gen] No cpphs found
  263. 196.60 s [sydtest-mutation-example-gen] No doctest found
  264. 196.60 s [sydtest-mutation-example-gen] Using gcc version 14.3.0 given by user at:
  265. 196.60 s [sydtest-mutation-example-gen] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/gcc
  266. 196.60 s [sydtest-mutation-example-gen] Using ghc version 9.10.3 found on system at:
  267. 196.60 s [sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc
  268. 196.60 s [sydtest-mutation-example-gen] Using ghc-pkg version 9.10.3 found on system at:
  269. 196.60 s [sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc-pkg-9.10.3
  270. 196.60 s [sydtest-mutation-example-gen] No ghcjs found
  271. 196.60 s [sydtest-mutation-example-gen] No ghcjs-pkg found
  272. 196.60 s [sydtest-mutation-example-gen] No greencard found
  273. 196.60 s [sydtest-mutation-example-gen] Using haddock version 2.31.1 found on system at:
  274. 196.60 s [sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/haddock-ghc-9.10.3
  275. 196.60 s [sydtest-mutation-example-gen] No happy found
  276. 196.60 s [sydtest-mutation-example-gen] Using haskell-suite found on system at: haskell-suite-dummy-location
  277. 196.60 s [sydtest-mutation-example-gen] Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
  278. 196.60 s [sydtest-mutation-example-gen] No hmake found
  279. 196.60 s [sydtest-mutation-example-gen] Using hpc version 0.69 found on system at:
  280. 196.60 s [sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hpc-ghc-9.10.3
  281. 196.60 s [sydtest-mutation-example-gen] Using hsc2hs version 0.68.10 found on system at:
  282. 196.60 s [sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hsc2hs-ghc-9.10.3
  283. 196.60 s [sydtest-mutation-example-gen] Using hscolour version 1.25 found on system at:
  284. 196.60 s [sydtest-mutation-example-gen] /nix/store/f755skyzf4jvfx3crwq9mmh3x4lsaz8i-hscolour-1.25/bin/HsColour
  285. 196.60 s [sydtest-mutation-example-gen] No jhc found
  286. 196.60 s [sydtest-mutation-example-gen] Using ld found on system at:
  287. 196.60 s [sydtest-mutation-example-gen] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/ld
  288. 196.60 s [sydtest-mutation-example-gen] No pkg-config found
  289. 196.60 s [sydtest-mutation-example-gen] Using runghc version 9.10.3 found on system at:
  290. 196.60 s [sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/runghc-9.10.3
  291. 196.60 s [sydtest-mutation-example-gen] Using strip version 2.44 found on system at:
  292. 196.60 s [sydtest-mutation-example-gen] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/strip
  293. 196.60 s [sydtest-mutation-example-gen] Using tar found on system at:
  294. 196.60 s [sydtest-mutation-example-gen] /nix/store/xl6pd2spjajwcpq09fnmnjv5psqmlmma-gnutar-1.35/bin/tar
  295. 196.60 s [sydtest-mutation-example-gen] No uhc found
  296. 196.60 s [sydtest-mutation-example-gen] Phase: buildPhase
  297. 196.60 s [sydtest-mutation-example-gen] Preprocessing library for sydtest-mutation-example-gen-0.0.0.0...
  298. 196.60 s [sydtest-mutation-example-gen] Building library for sydtest-mutation-example-gen-0.0.0.0...
  299. 196.60 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 )
  300. 196.60 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 )
  301. 196.60 s [sydtest-mutation-example-gen] [1 of 2] Compiling Example.Gen ( src/Example/Gen.hs, dist/build/Example/Gen.p_o )
  302. 196.60 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 )
  303. 196.99 s [sydtest-mutation-example-gen] Preprocessing test suite 'sydtest-mutation-example-gen-test' for sydtest-mutation-example-gen-0.0.0.0...
  304. 196.99 s [sydtest-mutation-example-gen] Building test suite 'sydtest-mutation-example-gen-test' for sydtest-mutation-example-gen-0.0.0.0...
  305. 197.12 s [sydtest-mutation-example-gen] [ 1 of 12] Compiling Example.BoolLibSpec ( test/Example/BoolLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/BoolLibSpec.o )
  306. 197.32 s [sydtest-mutation-example-gen] [ 2 of 12] Compiling Example.CaseLibSpec ( test/Example/CaseLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/CaseLibSpec.o )
  307. 197.32 s [sydtest-mutation-example-gen] [ 3 of 12] Compiling Example.DoLibSpec ( test/Example/DoLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/DoLibSpec.o )
  308. 197.32 s [sydtest-mutation-example-gen] [ 4 of 12] Compiling Example.ExceptionLibSpec ( test/Example/ExceptionLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/ExceptionLibSpec.o )
  309. 197.32 s [sydtest-mutation-example-gen] [ 5 of 12] Compiling Example.FunctionExceptionLibSpec ( test/Example/FunctionExceptionLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/FunctionExceptionLibSpec.o )
  310. 197.32 s [sydtest-mutation-example-gen] [ 6 of 12] Compiling Example.LibSpec ( test/Example/LibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/LibSpec.o )
  311. 197.32 s [sydtest-mutation-example-gen] [ 7 of 12] Compiling Example.ListLibSpec ( test/Example/ListLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/ListLibSpec.o )
  312. 197.35 s [sydtest-mutation-example-gen] [ 8 of 12] Compiling Example.LocalDisableLibSpec ( test/Example/LocalDisableLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/LocalDisableLibSpec.o )
  313. 197.41 s [sydtest-mutation-example-gen] [ 9 of 12] Compiling Example.LogicLibSpec ( test/Example/LogicLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/LogicLibSpec.o )
  314. 197.41 s [sydtest-mutation-example-gen] [10 of 12] Compiling Example.OtherwiseLibSpec ( test/Example/OtherwiseLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/OtherwiseLibSpec.o )
  315. 197.41 s [sydtest-mutation-example-gen] [11 of 12] Compiling Main ( test/Spec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Main.o )
  316. 197.53 s [sydtest-mutation-example-gen] [12 of 12] Compiling Paths_sydtest_mutation_example_gen ( dist/build/sydtest-mutation-example-gen-test/autogen/Paths_sydtest_mutation_example_gen.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Paths_sydtest_mutation_example_gen.o )
  317. 197.79 s [sydtest-mutation-example-gen] [13 of 13] Linking dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test
  318. 199.11 s [sydtest-mutation-example-gen] Phase: checkPhase
  319. 199.12 s [sydtest-mutation-example-gen] no Makefile or custom checkPhase, doing nothing
  320. 199.12 s [sydtest-mutation-example-gen] Phase: haddockPhase
  321. 199.25 s [sydtest-mutation-example-gen] Preprocessing library for sydtest-mutation-example-gen-0.0.0.0...
  322. 199.25 s [sydtest-mutation-example-gen] Running Haddock on library for sydtest-mutation-example-gen-0.0.0.0...
  323. 199.49 s [sydtest-mutation-example-gen] [1 of 2] Compiling Example.Gen ( src/Example/Gen.hs, nothing )
  324. 199.51 s [sydtest-mutation-example-gen] [2 of 2] Compiling Paths_sydtest_mutation_example_gen ( dist/build/autogen/Paths_sydtest_mutation_example_gen.hs, nothing )
  325. 199.54 s [sydtest-mutation-example-gen] Haddock coverage:
  326. 199.54 s [sydtest-mutation-example-gen] 50% ( 1 / 2) in 'Example.Gen'
  327. 199.54 s [sydtest-mutation-example-gen] Missing documentation for:
  328. 199.54 s [sydtest-mutation-example-gen] Module header
  329. 202.86 s [sydtest-mutation-example-gen] Documentation created: dist/doc/html/sydtest-mutation-example-gen/,
  330. 202.90 s [sydtest-mutation-example-gen] dist/doc/html/sydtest-mutation-example-gen/sydtest-mutation-example-gen.txt
  331. 202.91 s [sydtest-mutation-example-gen] Preprocessing test suite 'sydtest-mutation-example-gen-test' for sydtest-mutation-example-gen-0.0.0.0...
  332. 202.92 s [sydtest-mutation-example-gen] Phase: installPhase
  333. 203.01 s [sydtest-mutation-example-gen] Installing library in /nix/store/0m483cgvv4caqa8p0njb6fqjrv1vlnc1-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-1GR3QOyO8Nr5YCvM2pYQxH
  334. 203.23 s [sydtest-mutation-example-gen] Phase: fixupPhase
  335. 203.25 s [sydtest-mutation-example-gen] shrinking RPATHs of ELF executables and libraries in /nix/store/0m483cgvv4caqa8p0njb6fqjrv1vlnc1-sydtest-mutation-example-gen-0.0.0.0
  336. 203.25 s [sydtest-mutation-example-gen] shrinking /nix/store/0m483cgvv4caqa8p0njb6fqjrv1vlnc1-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-1GR3QOyO8Nr5YCvM2pYQxH-ghc9.10.3.so
  337. 203.26 s [sydtest-mutation-example-gen] shrinking /nix/store/0m483cgvv4caqa8p0njb6fqjrv1vlnc1-sydtest-mutation-example-gen-0.0.0.0/test/sydtest-mutation-example-gen-test
  338. 203.28 s [sydtest-mutation-example-gen] checking for references to /build/ in /nix/store/0m483cgvv4caqa8p0njb6fqjrv1vlnc1-sydtest-mutation-example-gen-0.0.0.0...
  339. 203.31 s [sydtest-mutation-example-gen] patching script interpreter paths in /nix/store/0m483cgvv4caqa8p0njb6fqjrv1vlnc1-sydtest-mutation-example-gen-0.0.0.0
  340. 203.31 s [sydtest-mutation-example-gen] stripping (with command strip and flags -S -p) in /nix/store/0m483cgvv4caqa8p0njb6fqjrv1vlnc1-sydtest-mutation-example-gen-0.0.0.0/lib
  341. 203.34 s [sydtest-mutation-example-gen] shrinking RPATHs of ELF executables and libraries in /nix/store/19rw56y9x552jzlfyri1k5ym246d1sqq-sydtest-mutation-example-gen-0.0.0.0-doc
  342. 203.34 s [sydtest-mutation-example-gen] checking for references to /build/ in /nix/store/19rw56y9x552jzlfyri1k5ym246d1sqq-sydtest-mutation-example-gen-0.0.0.0-doc...
  343. 203.36 s [sydtest-mutation-example-gen] patching script interpreter paths in /nix/store/19rw56y9x552jzlfyri1k5ym246d1sqq-sydtest-mutation-example-gen-0.0.0.0-doc
  344. 203.44 s [post-build-hook] Uploading to cachix cache "sydtest": /nix/store/0m483cgvv4caqa8p0njb6fqjrv1vlnc1-sydtest-mutation-example-gen-0.0.0.0 /nix/store/19rw56y9x552jzlfyri1k5ym246d1sqq-sydtest-mutation-example-gen-0.0.0.0-doc
  345. 203.90 s [post-build-hook] Pushing 2 paths (76 are already present) using zstd to cache sydtest ⏳
  346. 203.90 s [post-build-hook]
  347. 204.26 s [post-build-hook] Pushing /nix/store/19rw56y9x552jzlfyri1k5ym246d1sqq-sydtest-mutation-example-gen-0.0.0.0-doc (143.09 KiB)
  348. 204.28 s [post-build-hook] Pushing /nix/store/0m483cgvv4caqa8p0njb6fqjrv1vlnc1-sydtest-mutation-example-gen-0.0.0.0 (8.77 MiB)
  349. 206.67 s [post-build-hook]
  350. 206.67 s [post-build-hook] All done.
  351. 206.69 s [post-build-hook] Uploading to the NixCI staging cache: /nix/store/0m483cgvv4caqa8p0njb6fqjrv1vlnc1-sydtest-mutation-example-gen-0.0.0.0 /nix/store/19rw56y9x552jzlfyri1k5ym246d1sqq-sydtest-mutation-example-gen-0.0.0.0-doc
  352. 206.73 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  353. 206.90 s [post-build-hook] copying 2 paths...
  354. 206.90 s [post-build-hook] copying path '/nix/store/19rw56y9x552jzlfyri1k5ym246d1sqq-sydtest-mutation-example-gen-0.0.0.0-doc' to 'https://cache.staging.nix-ci.com'...
  355. 207.05 s [post-build-hook] copying path '/nix/store/0m483cgvv4caqa8p0njb6fqjrv1vlnc1-sydtest-mutation-example-gen-0.0.0.0' to 'https://cache.staging.nix-ci.com'...
  356. 213.58 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  357. 213.81 s [post-build-hook] copying 1 paths...
  358. 213.83 s [post-build-hook] copying path '/nix/store/ibyxakdvfpkv6rgczia6xhlyxczq8w23-sydtest-mutation-example-gen-0.0.0.0.drv' to 'https://cache.staging.nix-ci.com'...
  359. 214.80 s Progress: 3 of 6 built
  360. 214.86 s Building sydtest-mutation-example-mutation-report
  361. 215.17 s [sydtest-mutation-example-mutation-report] Phase: patchPhase
  362. 215.17 s [sydtest-mutation-example-mutation-report] Phase: updateAutotoolsGnuConfigScriptsPhase
  363. 215.18 s [sydtest-mutation-example-mutation-report] Phase: configurePhase
  364. 215.19 s [sydtest-mutation-example-mutation-report] no configure script, doing nothing
  365. 215.19 s [sydtest-mutation-example-mutation-report] Phase: buildPhase
  366. 215.23 s [sydtest-mutation-example-mutation-report] coverage (1/42): running Example\.DoLibSpec.greet.greets quietly
  367. 215.23 s [sydtest-mutation-example-mutation-report] coverage (2/42): running Example\.DoLibSpec.greet.greets loudly
  368. 215.23 s [sydtest-mutation-example-mutation-report] coverage (3/42): running Example\.ExceptionLibSpec.addOneModuleDisabled.increments by one
  369. 215.23 s [sydtest-mutation-example-mutation-report] coverage (4/42): running Example\.LocalDisableLibSpec.withInnerKept.is True when given False
  370. 215.25 s [sydtest-mutation-example-mutation-report] coverage (4/42): done Example\.LocalDisableLibSpec.withInnerKept.is True when given False (12 mutations)
  371. 215.25 s [sydtest-mutation-example-mutation-report] coverage (5/42): running Example\.LocalDisableLibSpec.withInnerKept.is False when given True
  372. 215.25 s [sydtest-mutation-example-mutation-report] coverage (1/42): done Example\.DoLibSpec.greet.greets quietly (5 mutations)
  373. 215.25 s [sydtest-mutation-example-mutation-report] coverage (7/42): running Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is True when given False
  374. 215.25 s [sydtest-mutation-example-mutation-report] coverage (3/42): done Example\.ExceptionLibSpec.addOneModuleDisabled.increments by one (0 mutations)
  375. 215.25 s [sydtest-mutation-example-mutation-report] coverage (8/42): running Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (False -> True)
  376. 215.26 s [sydtest-mutation-example-mutation-report] coverage (2/42): done Example\.DoLibSpec.greet.greets loudly (5 mutations)
  377. 215.26 s [sydtest-mutation-example-mutation-report] coverage (6/42): running Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is False when given True
  378. 215.27 s [sydtest-mutation-example-mutation-report] coverage (5/42): done Example\.LocalDisableLibSpec.withInnerKept.is False when given True (12 mutations)
  379. 215.27 s [sydtest-mutation-example-mutation-report] coverage (9/42): running Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (True -> False)
  380. 215.27 s [sydtest-mutation-example-mutation-report] coverage (8/42): done Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (False -> True) (6 mutations)
  381. 215.27 s [sydtest-mutation-example-mutation-report] coverage (10/42): running Example\.LocalDisableLibSpec.withInnerDisabled.is False when given True
  382. 215.28 s [sydtest-mutation-example-mutation-report] coverage (7/42): done Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is True when given False (8 mutations)
  383. 215.28 s [sydtest-mutation-example-mutation-report] coverage (11/42): running Example\.LocalDisableLibSpec.withInnerDisabled.is True when given False
  384. 215.28 s [sydtest-mutation-example-mutation-report] coverage (6/42): done Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is False when given True (8 mutations)
  385. 215.28 s [sydtest-mutation-example-mutation-report] coverage (12/42): running Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (False -> True)
  386. 215.30 s [sydtest-mutation-example-mutation-report] coverage (9/42): done Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (True -> False) (6 mutations)
  387. 215.30 s [sydtest-mutation-example-mutation-report] coverage (13/42): running Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (True -> False)
  388. 215.30 s [sydtest-mutation-example-mutation-report] coverage (11/42): done Example\.LocalDisableLibSpec.withInnerDisabled.is True when given False (6 mutations)
  389. 215.30 s [sydtest-mutation-example-mutation-report] coverage (14/42): running Example\.BoolLibSpec.wrapTrue.is Just True
  390. 215.30 s [sydtest-mutation-example-mutation-report] coverage (10/42): done Example\.LocalDisableLibSpec.withInnerDisabled.is False when given True (6 mutations)
  391. 215.30 s [sydtest-mutation-example-mutation-report] coverage (15/42): running Example\.BoolLibSpec.wrapFalse.is Just False
  392. 215.30 s [sydtest-mutation-example-mutation-report] coverage (12/42): done Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (False -> True) (3 mutations)
  393. 215.30 s [sydtest-mutation-example-mutation-report] coverage (16/42): running Example\.BoolLibSpec.negateWrapped.negates Just True to Just False
  394. 215.32 s [sydtest-mutation-example-mutation-report] coverage (13/42): done Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (True -> False) (3 mutations)
  395. 215.32 s [sydtest-mutation-example-mutation-report] coverage (17/42): running Example\.BoolLibSpec.negateWrapped.leaves Nothing as Nothing
  396. 215.32 s [sydtest-mutation-example-mutation-report] coverage (15/42): done Example\.BoolLibSpec.wrapFalse.is Just False (2 mutations)
  397. 215.32 s [sydtest-mutation-example-mutation-report] coverage (18/42): running Example\.BoolLibSpec.negateWrapped.negates Just False to Just True
  398. 215.32 s [sydtest-mutation-example-mutation-report] coverage (14/42): done Example\.BoolLibSpec.wrapTrue.is Just True (2 mutations)
  399. 215.32 s [sydtest-mutation-example-mutation-report] coverage (19/42): running Example\.ListLibSpec.pairConcat.preserves the order
  400. 215.33 s [sydtest-mutation-example-mutation-report] coverage (16/42): done Example\.BoolLibSpec.negateWrapped.negates Just True to Just False (0 mutations)
  401. 215.33 s [sydtest-mutation-example-mutation-report] coverage (20/42): running Example\.ListLibSpec.pairConcat.concatenates both arguments
  402. 215.34 s [sydtest-mutation-example-mutation-report] coverage (17/42): done Example\.BoolLibSpec.negateWrapped.leaves Nothing as Nothing (0 mutations)
  403. 215.34 s [sydtest-mutation-example-mutation-report] coverage (22/42): running Example\.ListLibSpec.tripleConcat.distinguishes the first element
  404. 215.34 s [sydtest-mutation-example-mutation-report] coverage (18/42): done Example\.BoolLibSpec.negateWrapped.negates Just False to Just True (0 mutations)
  405. 215.34 s [sydtest-mutation-example-mutation-report] coverage (24/42): running Example\.CaseLibSpec.describeList.describes singleton lists
  406. 215.35 s [sydtest-mutation-example-mutation-report] coverage (19/42): done Example\.ListLibSpec.pairConcat.preserves the order (2 mutations)
  407. 215.35 s [sydtest-mutation-example-mutation-report] coverage (23/42): running Example\.ListLibSpec.tripleConcat.concatenates all three arguments
  408. 215.36 s [sydtest-mutation-example-mutation-report] coverage (20/42): done Example\.ListLibSpec.pairConcat.concatenates both arguments (2 mutations)
  409. 215.36 s [sydtest-mutation-example-mutation-report] coverage (25/42): running Example\.CaseLibSpec.describeList.describes longer lists
  410. 215.36 s [sydtest-mutation-example-mutation-report] coverage (22/42): done Example\.ListLibSpec.tripleConcat.distinguishes the first element (3 mutations)
  411. 215.36 s [sydtest-mutation-example-mutation-report] coverage (26/42): running Example\.CaseLibSpec.describeList.describes empty lists
  412. 215.37 s [sydtest-mutation-example-mutation-report] coverage (24/42): done Example\.CaseLibSpec.describeList.describes singleton lists (3 mutations)
  413. 215.37 s [sydtest-mutation-example-mutation-report] coverage (21/42): running Example\.ListLibSpec.tripleConcat.distinguishes the last element
  414. 215.37 s [sydtest-mutation-example-mutation-report] coverage (23/42): done Example\.ListLibSpec.tripleConcat.concatenates all three arguments (3 mutations)
  415. 215.37 s [sydtest-mutation-example-mutation-report] coverage (27/42): running Example\.LibSpec.addOne.returns 6 for input 5
  416. 215.38 s [sydtest-mutation-example-mutation-report] coverage (25/42): done Example\.CaseLibSpec.describeList.describes longer lists (3 mutations)
  417. 215.38 s [sydtest-mutation-example-mutation-report] coverage (28/42): running Example\.LibSpec.addOne.returns 2 for input 1
  418. 215.38 s [sydtest-mutation-example-mutation-report] coverage (26/42): done Example\.CaseLibSpec.describeList.describes empty lists (3 mutations)
  419. 215.39 s [sydtest-mutation-example-mutation-report] coverage (30/42): running Example\.OtherwiseLibSpec.classify.classifies positive numbers
  420. 215.40 s [sydtest-mutation-example-mutation-report] coverage (27/42): done Example\.LibSpec.addOne.returns 6 for input 5 (4 mutations)
  421. 215.40 s [sydtest-mutation-example-mutation-report] coverage (29/42): running Example\.OtherwiseLibSpec.classify.classifies negative numbers
  422. 215.40 s [sydtest-mutation-example-mutation-report] coverage (21/42): done Example\.ListLibSpec.tripleConcat.distinguishes the last element (3 mutations)
  423. 215.40 s [sydtest-mutation-example-mutation-report] coverage (31/42): running Example\.OtherwiseLibSpec.classify.classifies zero
  424. 215.41 s [sydtest-mutation-example-mutation-report] coverage (28/42): done Example\.LibSpec.addOne.returns 2 for input 1 (4 mutations)
  425. 215.41 s [sydtest-mutation-example-mutation-report] coverage (33/42): running Example\.FunctionExceptionLibSpec.addOneArithAndIntLitDisabled.increments by one
  426. 215.41 s [sydtest-mutation-example-mutation-report] coverage (30/42): done Example\.OtherwiseLibSpec.classify.classifies positive numbers (9 mutations)
  427. 215.41 s [sydtest-mutation-example-mutation-report] coverage (34/42): running Example\.FunctionExceptionLibSpec.addOneFunctionDisabled.increments by one
  428. 215.42 s [sydtest-mutation-example-mutation-report] coverage (31/42): done Example\.OtherwiseLibSpec.classify.classifies zero (9 mutations)
  429. 215.42 s [sydtest-mutation-example-mutation-report] coverage (35/42): running Example\.LogicLibSpec.eitherPositive.is True when only the second is positive
  430. 215.42 s [sydtest-mutation-example-mutation-report] coverage (29/42): done Example\.OtherwiseLibSpec.classify.classifies negative numbers (6 mutations)
  431. 215.42 s [sydtest-mutation-example-mutation-report] coverage (37/42): running Example\.LogicLibSpec.eitherPositive.is True when only the first is positive
  432. 215.43 s [sydtest-mutation-example-mutation-report] coverage (33/42): done Example\.FunctionExceptionLibSpec.addOneArithAndIntLitDisabled.increments by one (0 mutations)
  433. 215.43 s [sydtest-mutation-example-mutation-report] coverage (32/42): running Example\.FunctionExceptionLibSpec.addOneArithDisabled.increments by one
  434. 215.44 s [sydtest-mutation-example-mutation-report] coverage (34/42): done Example\.FunctionExceptionLibSpec.addOneFunctionDisabled.increments by one (0 mutations)
  435. 215.44 s [sydtest-mutation-example-mutation-report] coverage (36/42): running Example\.LogicLibSpec.eitherPositive.is False when neither is positive
  436. 215.45 s [sydtest-mutation-example-mutation-report] coverage (35/42): done Example\.LogicLibSpec.eitherPositive.is True when only the second is positive (18 mutations)
  437. 215.45 s [sydtest-mutation-example-mutation-report] coverage (39/42): running Example\.LogicLibSpec.bothPositive.is False when only the first is positive
  438. 215.45 s [sydtest-mutation-example-mutation-report] coverage (37/42): done Example\.LogicLibSpec.eitherPositive.is True when only the first is positive (11 mutations)
  439. 215.45 s [sydtest-mutation-example-mutation-report] coverage (40/42): running Example\.LogicLibSpec.bothPositive.is True when both are positive
  440. 215.46 s [sydtest-mutation-example-mutation-report] coverage (32/42): done Example\.FunctionExceptionLibSpec.addOneArithDisabled.increments by one (2 mutations)
  441. 215.46 s [sydtest-mutation-example-mutation-report] coverage (41/42): running Example\.LogicLibSpec.bothPositive.is False when only the second is positive
  442. 215.47 s [sydtest-mutation-example-mutation-report] coverage (36/42): done Example\.LogicLibSpec.eitherPositive.is False when neither is positive (18 mutations)
  443. 215.47 s [sydtest-mutation-example-mutation-report] coverage (38/42): running Example\.LogicLibSpec.eitherPositive.is True when both are positive
  444. 215.47 s [sydtest-mutation-example-mutation-report] coverage (39/42): done Example\.LogicLibSpec.bothPositive.is False when only the first is positive (18 mutations)
  445. 215.47 s [sydtest-mutation-example-mutation-report] coverage (42/42): running Example\.LogicLibSpec.bothPositive.is False when neither is positive
  446. 215.47 s [sydtest-mutation-example-mutation-report] coverage (40/42): done Example\.LogicLibSpec.bothPositive.is True when both are positive (18 mutations)
  447. 215.48 s [sydtest-mutation-example-mutation-report] coverage (41/42): done Example\.LogicLibSpec.bothPositive.is False when only the second is positive (11 mutations)
  448. 215.49 s [sydtest-mutation-example-mutation-report] coverage (38/42): done Example\.LogicLibSpec.eitherPositive.is True when both are positive (11 mutations)
  449. 215.49 s [sydtest-mutation-example-mutation-report] coverage (42/42): done Example\.LogicLibSpec.bothPositive.is False when neither is positive (11 mutations)
  450. 215.50 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:17:22-27 #1
  451. 215.50 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  452. 215.50 s [sydtest-mutation-example-mutation-report] --
  453. 215.50 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  454. 215.50 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  455. 215.50 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  456. 215.50 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = a < 0 || b > 0
  457. 215.50 s [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/LogicLib.hs:17:26-27 #1
  458. 215.50 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  459. 215.50 s [sydtest-mutation-example-mutation-report] --
  460. 215.50 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  461. 215.50 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  462. 215.50 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  463. 215.51 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = a > 1 || b > 0
  464. 215.51 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LogicLib.hs:17:22-27 #1
  465. 215.51 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  466. 215.51 s [sydtest-mutation-example-mutation-report] --
  467. 215.51 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  468. 215.51 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  469. 215.51 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  470. 215.51 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = not (a > 0) || b > 0
  471. 215.51 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:17:31-36 #1
  472. 215.51 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  473. 215.51 s [sydtest-mutation-example-mutation-report] --
  474. 215.51 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  475. 215.51 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  476. 215.51 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  477. 215.51 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = a > 0 || b < 0
  478. 215.51 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-27 #1
  479. 215.51 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  480. 215.51 s [sydtest-mutation-example-mutation-report] --
  481. 215.51 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  482. 215.51 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  483. 215.51 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  484. 215.51 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = True || b > 0
  485. 215.51 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LogicLib.hs:17:31-36 #1
  486. 215.51 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  487. 215.51 s [sydtest-mutation-example-mutation-report] --
  488. 215.51 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  489. 215.51 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  490. 215.51 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  491. 215.51 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = a > 0 || not (b > 0)
  492. 215.51 s [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/LogicLib.hs:17:35-36 #1
  493. 215.51 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  494. 215.51 s [sydtest-mutation-example-mutation-report] --
  495. 215.51 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  496. 215.51 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  497. 215.51 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  498. 215.51 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = a > 0 || b > 1
  499. 215.51 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:17:31-36 #1
  500. 215.51 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  501. 215.51 s [sydtest-mutation-example-mutation-report] --
  502. 215.51 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  503. 215.51 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  504. 215.51 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  505. 215.51 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = a > 0 || True
  506. 215.51 s [sydtest-mutation-example-mutation-report] Testing mutation LogicOp at src/Example/LogicLib.hs:17:22-36 #1
  507. 215.51 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  508. 215.51 s [sydtest-mutation-example-mutation-report] --
  509. 215.51 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  510. 215.52 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  511. 215.52 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  512. 215.52 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = a > 0 && b > 0
  513. 215.52 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:11:20-25 #1
  514. 215.52 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  515. 215.52 s [sydtest-mutation-example-mutation-report] --
  516. 215.52 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  517. 215.52 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  518. 215.52 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  519. 215.52 s [sydtest-mutation-example-mutation-report] +bothPositive a b = a < 0 && b > 0
  520. 215.52 s [sydtest-mutation-example-mutation-report]
  521. 215.52 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  522. 215.52 s [sydtest-mutation-example-mutation-report] --
  523. 215.52 s [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/LogicLib.hs:11:24-25 #1
  524. 215.52 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  525. 215.52 s [sydtest-mutation-example-mutation-report] --
  526. 215.52 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  527. 215.52 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  528. 215.52 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  529. 215.52 s [sydtest-mutation-example-mutation-report] +bothPositive a b = a > 1 && b > 0
  530. 215.52 s [sydtest-mutation-example-mutation-report]
  531. 215.52 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  532. 215.52 s [sydtest-mutation-example-mutation-report] --
  533. 215.52 s [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/LogicLib.hs:11:33-34 #1
  534. 215.52 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  535. 215.52 s [sydtest-mutation-example-mutation-report] --
  536. 215.52 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  537. 215.52 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  538. 215.52 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  539. 215.52 s [sydtest-mutation-example-mutation-report] +bothPositive a b = a > 0 && b > 1
  540. 215.52 s [sydtest-mutation-example-mutation-report]
  541. 215.52 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  542. 215.52 s [sydtest-mutation-example-mutation-report] --
  543. 215.52 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LogicLib.hs:17:22-36 #1
  544. 215.52 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  545. 215.52 s [sydtest-mutation-example-mutation-report] --
  546. 215.52 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  547. 215.52 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  548. 215.52 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  549. 215.52 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = not (a > 0 || b > 0)
  550. 215.52 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-25 #1
  551. 215.52 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  552. 215.52 s [sydtest-mutation-example-mutation-report] --
  553. 215.52 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  554. 215.52 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  555. 215.52 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  556. 215.52 s [sydtest-mutation-example-mutation-report] +bothPositive a b = True && b > 0
  557. 215.52 s [sydtest-mutation-example-mutation-report]
  558. 215.52 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  559. 215.52 s [sydtest-mutation-example-mutation-report] --
  560. 215.52 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LogicLib.hs:11:20-25 #1
  561. 215.52 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  562. 215.52 s [sydtest-mutation-example-mutation-report] --
  563. 215.52 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  564. 215.52 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  565. 215.52 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  566. 215.52 s [sydtest-mutation-example-mutation-report] +bothPositive a b = not (a > 0) && b > 0
  567. 215.52 s [sydtest-mutation-example-mutation-report]
  568. 215.52 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  569. 215.52 s [sydtest-mutation-example-mutation-report] --
  570. 215.52 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:11:29-34 #1
  571. 215.52 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  572. 215.52 s [sydtest-mutation-example-mutation-report] --
  573. 215.52 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  574. 215.53 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  575. 215.53 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  576. 215.53 s [sydtest-mutation-example-mutation-report] +bothPositive a b = a > 0 && b < 0
  577. 215.53 s [sydtest-mutation-example-mutation-report]
  578. 215.53 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  579. 215.53 s [sydtest-mutation-example-mutation-report] --
  580. 215.53 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-36 #1
  581. 215.53 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  582. 215.53 s [sydtest-mutation-example-mutation-report] --
  583. 215.53 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  584. 215.53 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  585. 215.53 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  586. 215.53 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = True
  587. 215.53 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:11:29-34 #1
  588. 215.53 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  589. 215.53 s [sydtest-mutation-example-mutation-report] --
  590. 215.53 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  591. 215.53 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  592. 215.53 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  593. 215.53 s [sydtest-mutation-example-mutation-report] +bothPositive a b = a > 0 && True
  594. 215.53 s [sydtest-mutation-example-mutation-report]
  595. 215.53 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  596. 215.53 s [sydtest-mutation-example-mutation-report] --
  597. 215.53 s [sydtest-mutation-example-mutation-report] Testing mutation LogicOp at src/Example/LogicLib.hs:11:20-34 #1
  598. 215.53 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  599. 215.53 s [sydtest-mutation-example-mutation-report] --
  600. 215.53 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  601. 215.53 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  602. 215.53 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  603. 215.53 s [sydtest-mutation-example-mutation-report] +bothPositive a b = a > 0 || b > 0
  604. 215.53 s [sydtest-mutation-example-mutation-report]
  605. 215.53 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  606. 215.53 s [sydtest-mutation-example-mutation-report] --
  607. 215.53 s [sydtest-mutation-example-mutation-report] Testing mutation BoolLit at src/Example/BoolLib.hs:18:18-23 #1
  608. 215.53 s [sydtest-mutation-example-mutation-report] @@ -15,7 +15,7 @@
  609. 215.53 s [sydtest-mutation-example-mutation-report] --
  610. 215.53 s [sydtest-mutation-example-mutation-report] -- Mutation sites: BoolLit/ConstBool on the inner False, MaybeOp on Just False.
  611. 215.53 s [sydtest-mutation-example-mutation-report] wrapFalse :: Maybe Bool
  612. 215.53 s [sydtest-mutation-example-mutation-report] -wrapFalse = Just False
  613. 215.53 s [sydtest-mutation-example-mutation-report] +wrapFalse = Just True
  614. 215.53 s [sydtest-mutation-example-mutation-report]
  615. 215.53 s [sydtest-mutation-example-mutation-report] -- | Negates a wrapped boolean.
  616. 215.53 s [sydtest-mutation-example-mutation-report] negateWrapped :: Maybe Bool -> Maybe Bool
  617. 215.61 s [sydtest-mutation-example-mutation-report] Testing mutation BoolLit at src/Example/BoolLib.hs:12:17-21 #1
  618. 215.61 s [sydtest-mutation-example-mutation-report] @@ -9,7 +9,7 @@
  619. 215.61 s [sydtest-mutation-example-mutation-report] --
  620. 215.61 s [sydtest-mutation-example-mutation-report] -- Mutation sites: BoolLit/ConstBool on the inner True, MaybeOp on Just True.
  621. 215.61 s [sydtest-mutation-example-mutation-report] wrapTrue :: Maybe Bool
  622. 215.61 s [sydtest-mutation-example-mutation-report] -wrapTrue = Just True
  623. 215.61 s [sydtest-mutation-example-mutation-report] +wrapTrue = Just False
  624. 215.61 s [sydtest-mutation-example-mutation-report]
  625. 215.61 s [sydtest-mutation-example-mutation-report] -- | Wraps False in Just.
  626. 215.61 s [sydtest-mutation-example-mutation-report] --
  627. 215.61 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LogicLib.hs:11:20-34 #1
  628. 215.61 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  629. 215.61 s [sydtest-mutation-example-mutation-report] --
  630. 215.61 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  631. 215.61 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  632. 215.61 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  633. 215.61 s [sydtest-mutation-example-mutation-report] +bothPositive a b = not (a > 0 && b > 0)
  634. 215.61 s [sydtest-mutation-example-mutation-report]
  635. 215.61 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  636. 215.61 s [sydtest-mutation-example-mutation-report] --
  637. 215.61 s [sydtest-mutation-example-mutation-report] Testing mutation Arith at src/Example/Lib.hs:8:12-17 #1
  638. 215.61 s [sydtest-mutation-example-mutation-report] @@ -5,4 +5,4 @@
  639. 215.61 s [sydtest-mutation-example-mutation-report] -- The literal '1' here is a mutation site: the plugin will also compile a
  640. 215.61 s [sydtest-mutation-example-mutation-report] -- version where this returns @n + 0@ instead of @n + 1@.
  641. 215.61 s [sydtest-mutation-example-mutation-report] addOne :: Int -> Int
  642. 215.61 s [sydtest-mutation-example-mutation-report] -addOne n = n + 1
  643. 215.61 s [sydtest-mutation-example-mutation-report] +addOne n = n - 1
  644. 215.61 s [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/OtherwiseLib.hs:12:9-10 #1
  645. 215.61 s [sydtest-mutation-example-mutation-report] @@ -9,6 +9,6 @@
  646. 215.61 s [sydtest-mutation-example-mutation-report] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  647. 215.61 s [sydtest-mutation-example-mutation-report] classify :: Int -> String
  648. 215.61 s [sydtest-mutation-example-mutation-report] classify n
  649. 215.61 s [sydtest-mutation-example-mutation-report] - | n < 0 = "negative"
  650. 215.62 s [sydtest-mutation-example-mutation-report] + | n < 1 = "negative"
  651. 215.62 s [sydtest-mutation-example-mutation-report] | n == 0 = "zero"
  652. 215.62 s [sydtest-mutation-example-mutation-report] | otherwise = "positive"
  653. 215.62 s [sydtest-mutation-example-mutation-report] Testing mutation MaybeOp at src/Example/BoolLib.hs:18:13-23 #1
  654. 215.62 s [sydtest-mutation-example-mutation-report] @@ -15,7 +15,7 @@
  655. 215.62 s [sydtest-mutation-example-mutation-report] --
  656. 215.62 s [sydtest-mutation-example-mutation-report] -- Mutation sites: BoolLit/ConstBool on the inner False, MaybeOp on Just False.
  657. 215.62 s [sydtest-mutation-example-mutation-report] wrapFalse :: Maybe Bool
  658. 215.62 s [sydtest-mutation-example-mutation-report] -wrapFalse = Just False
  659. 215.62 s [sydtest-mutation-example-mutation-report] +wrapFalse = Nothing
  660. 215.62 s [sydtest-mutation-example-mutation-report]
  661. 215.62 s [sydtest-mutation-example-mutation-report] -- | Negates a wrapped boolean.
  662. 215.62 s [sydtest-mutation-example-mutation-report] negateWrapped :: Maybe Bool -> Maybe Bool
  663. 215.62 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LogicLib.hs:11:29-34 #1
  664. 215.62 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  665. 215.62 s [sydtest-mutation-example-mutation-report] --
  666. 215.62 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  667. 215.62 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  668. 215.62 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  669. 215.62 s [sydtest-mutation-example-mutation-report] +bothPositive a b = a > 0 && not (b > 0)
  670. 215.62 s [sydtest-mutation-example-mutation-report]
  671. 215.62 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  672. 215.62 s [sydtest-mutation-example-mutation-report] --
  673. 215.62 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-34 #1
  674. 215.62 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  675. 215.62 s [sydtest-mutation-example-mutation-report] --
  676. 215.62 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  677. 215.62 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  678. 215.62 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  679. 215.62 s [sydtest-mutation-example-mutation-report] +bothPositive a b = True
  680. 215.62 s [sydtest-mutation-example-mutation-report]
  681. 215.62 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  682. 215.62 s [sydtest-mutation-example-mutation-report] --
  683. 215.62 s [sydtest-mutation-example-mutation-report] Testing mutation MaybeOp at src/Example/BoolLib.hs:12:12-21 #1
  684. 215.62 s [sydtest-mutation-example-mutation-report] @@ -9,7 +9,7 @@
  685. 215.62 s [sydtest-mutation-example-mutation-report] --
  686. 215.62 s [sydtest-mutation-example-mutation-report] -- Mutation sites: BoolLit/ConstBool on the inner True, MaybeOp on Just True.
  687. 215.62 s [sydtest-mutation-example-mutation-report] wrapTrue :: Maybe Bool
  688. 215.62 s [sydtest-mutation-example-mutation-report] -wrapTrue = Just True
  689. 215.62 s [sydtest-mutation-example-mutation-report] +wrapTrue = Nothing
  690. 215.62 s [sydtest-mutation-example-mutation-report]
  691. 215.62 s [sydtest-mutation-example-mutation-report] -- | Wraps False in Just.
  692. 215.62 s [sydtest-mutation-example-mutation-report] --
  693. 215.62 s [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/Lib.hs:8:16-17 #1
  694. 215.62 s [sydtest-mutation-example-mutation-report] @@ -5,4 +5,4 @@
  695. 215.62 s [sydtest-mutation-example-mutation-report] -- The literal '1' here is a mutation site: the plugin will also compile a
  696. 215.62 s [sydtest-mutation-example-mutation-report] -- version where this returns @n + 0@ instead of @n + 1@.
  697. 215.62 s [sydtest-mutation-example-mutation-report] addOne :: Int -> Int
  698. 215.62 s [sydtest-mutation-example-mutation-report] -addOne n = n + 1
  699. 215.62 s [sydtest-mutation-example-mutation-report] +addOne n = n + 0
  700. 215.62 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/OtherwiseLib.hs:12:5-10 #1
  701. 215.62 s [sydtest-mutation-example-mutation-report] @@ -9,6 +9,6 @@
  702. 215.62 s [sydtest-mutation-example-mutation-report] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  703. 215.62 s [sydtest-mutation-example-mutation-report] classify :: Int -> String
  704. 215.62 s [sydtest-mutation-example-mutation-report] classify n
  705. 215.62 s [sydtest-mutation-example-mutation-report] - | n < 0 = "negative"
  706. 215.62 s [sydtest-mutation-example-mutation-report] + | True = "negative"
  707. 215.62 s [sydtest-mutation-example-mutation-report] | n == 0 = "zero"
  708. 215.62 s [sydtest-mutation-example-mutation-report] | otherwise = "positive"
  709. 215.62 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10 #1
  710. 215.62 s [sydtest-mutation-example-mutation-report] @@ -9,6 +9,6 @@
  711. 215.62 s [sydtest-mutation-example-mutation-report] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  712. 215.62 s [sydtest-mutation-example-mutation-report] classify :: Int -> String
  713. 215.62 s [sydtest-mutation-example-mutation-report] classify n
  714. 215.62 s [sydtest-mutation-example-mutation-report] - | n < 0 = "negative"
  715. 215.62 s [sydtest-mutation-example-mutation-report] + | n <= 0 = "negative"
  716. 215.62 s [sydtest-mutation-example-mutation-report] | n == 0 = "zero"
  717. 215.63 s [sydtest-mutation-example-mutation-report] | otherwise = "positive"
  718. 215.63 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/OtherwiseLib.hs:12:5-10 #1
  719. 215.63 s [sydtest-mutation-example-mutation-report] @@ -9,6 +9,6 @@
  720. 215.63 s [sydtest-mutation-example-mutation-report] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  721. 215.63 s [sydtest-mutation-example-mutation-report] classify :: Int -> String
  722. 215.63 s [sydtest-mutation-example-mutation-report] classify n
  723. 215.63 s [sydtest-mutation-example-mutation-report] - | n < 0 = "negative"
  724. 215.63 s [sydtest-mutation-example-mutation-report] + | not (n < 0) = "negative"
  725. 215.63 s [sydtest-mutation-example-mutation-report] | n == 0 = "zero"
  726. 215.63 s [sydtest-mutation-example-mutation-report] | otherwise = "positive"
  727. 215.63 s [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/OtherwiseLib.hs:13:10-11 #1
  728. 215.63 s [sydtest-mutation-example-mutation-report] @@ -10,5 +10,5 @@
  729. 215.63 s [sydtest-mutation-example-mutation-report] classify :: Int -> String
  730. 215.63 s [sydtest-mutation-example-mutation-report] classify n
  731. 215.63 s [sydtest-mutation-example-mutation-report] | n < 0 = "negative"
  732. 215.63 s [sydtest-mutation-example-mutation-report] - | n == 0 = "zero"
  733. 215.63 s [sydtest-mutation-example-mutation-report] + | n == 1 = "zero"
  734. 215.63 s [sydtest-mutation-example-mutation-report] | otherwise = "positive"
  735. 215.63 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/OtherwiseLib.hs:13:5-11 #1
  736. 215.63 s [sydtest-mutation-example-mutation-report] @@ -10,5 +10,5 @@
  737. 215.63 s [sydtest-mutation-example-mutation-report] classify :: Int -> String
  738. 215.63 s [sydtest-mutation-example-mutation-report] classify n
  739. 215.63 s [sydtest-mutation-example-mutation-report] | n < 0 = "negative"
  740. 215.63 s [sydtest-mutation-example-mutation-report] - | n == 0 = "zero"
  741. 215.63 s [sydtest-mutation-example-mutation-report] + | True = "zero"
  742. 215.63 s [sydtest-mutation-example-mutation-report] | otherwise = "positive"
  743. 215.63 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/OtherwiseLib.hs:13:5-11 #1
  744. 215.63 s [sydtest-mutation-example-mutation-report] @@ -10,5 +10,5 @@
  745. 215.63 s [sydtest-mutation-example-mutation-report] classify :: Int -> String
  746. 215.63 s [sydtest-mutation-example-mutation-report] classify n
  747. 215.63 s [sydtest-mutation-example-mutation-report] | n < 0 = "negative"
  748. 215.63 s [sydtest-mutation-example-mutation-report] - | n == 0 = "zero"
  749. 215.63 s [sydtest-mutation-example-mutation-report] + | not (n == 0) = "zero"
  750. 215.63 s [sydtest-mutation-example-mutation-report] | otherwise = "positive"
  751. 215.63 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/DoLib.hs:14:10-14 #1
  752. 215.63 s [sydtest-mutation-example-mutation-report] @@ -11,5 +11,5 @@
  753. 215.63 s [sydtest-mutation-example-mutation-report] go :: Writer String ()
  754. 215.63 s [sydtest-mutation-example-mutation-report] go = do
  755. 215.63 s [sydtest-mutation-example-mutation-report] tell "Hello"
  756. 215.63 s [sydtest-mutation-example-mutation-report] - if loud then tell "!" else pure ()
  757. 215.63 s [sydtest-mutation-example-mutation-report] + if True then tell "!" else pure ()
  758. 215.63 s [sydtest-mutation-example-mutation-report] tell "\n"
  759. 215.63 s [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/FunctionExceptionLib.hs:15:29-30 #1
  760. 215.63 s [sydtest-mutation-example-mutation-report] @@ -12,7 +12,7 @@
  761. 215.63 s [sydtest-mutation-example-mutation-report] -- IntLit mutations (replacing the literal @1@) still apply.
  762. 215.63 s [sydtest-mutation-example-mutation-report] {-# ANN addOneArithDisabled ("DisableMutation: Arith" :: String) #-}
  763. 215.63 s [sydtest-mutation-example-mutation-report] addOneArithDisabled :: Int -> Int
  764. 215.63 s [sydtest-mutation-example-mutation-report] -addOneArithDisabled n = n + 1
  765. 215.63 s [sydtest-mutation-example-mutation-report] +addOneArithDisabled n = n + 0
  766. 215.63 s [sydtest-mutation-example-mutation-report]
  767. 215.63 s [sydtest-mutation-example-mutation-report] -- | Both Arith and IntLit mutations disabled on this function.
  768. 215.63 s [sydtest-mutation-example-mutation-report] {-# ANN addOneArithAndIntLitDisabled ("DisableMutations: Arith, IntLit" :: String) #-}
  769. 215.63 s [sydtest-mutation-example-mutation-report] Testing mutation RemoveAction at src/Example/DoLib.hs:14:7-41 #1
  770. 215.63 s [sydtest-mutation-example-mutation-report] @@ -11,5 +11,4 @@
  771. 215.63 s [sydtest-mutation-example-mutation-report] go :: Writer String ()
  772. 215.63 s [sydtest-mutation-example-mutation-report] go = do
  773. 215.63 s [sydtest-mutation-example-mutation-report] tell "Hello"
  774. 215.63 s [sydtest-mutation-example-mutation-report] - if loud then tell "!" else pure ()
  775. 215.63 s [sydtest-mutation-example-mutation-report] tell "\n"
  776. 215.63 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/DoLib.hs:14:10-14 #1
  777. 215.63 s [sydtest-mutation-example-mutation-report] @@ -11,5 +11,5 @@
  778. 215.63 s [sydtest-mutation-example-mutation-report] go :: Writer String ()
  779. 215.63 s [sydtest-mutation-example-mutation-report] go = do
  780. 215.63 s [sydtest-mutation-example-mutation-report] tell "Hello"
  781. 215.63 s [sydtest-mutation-example-mutation-report] - if loud then tell "!" else pure ()
  782. 215.64 s [sydtest-mutation-example-mutation-report] + if not (loud) then tell "!" else pure ()
  783. 215.64 s [sydtest-mutation-example-mutation-report] tell "\n"
  784. 215.64 s [sydtest-mutation-example-mutation-report] Testing mutation RemoveAction at src/Example/DoLib.hs:12:10-16 #1
  785. 215.64 s [sydtest-mutation-example-mutation-report] @@ -9,7 +9,6 @@
  786. 215.64 s [sydtest-mutation-example-mutation-report] greet loud = execWriter go
  787. 215.64 s [sydtest-mutation-example-mutation-report] where
  788. 215.64 s [sydtest-mutation-example-mutation-report] go :: Writer String ()
  789. 215.64 s [sydtest-mutation-example-mutation-report] go = do
  790. 215.64 s [sydtest-mutation-example-mutation-report] - tell "Hello"
  791. 215.64 s [sydtest-mutation-example-mutation-report] if loud then tell "!" else pure ()
  792. 215.64 s [sydtest-mutation-example-mutation-report] tell "\n"
  793. 215.64 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:58:19-20 #1
  794. 215.64 s [sydtest-mutation-example-mutation-report] @@ -55,5 +55,5 @@
  795. 215.64 s [sydtest-mutation-example-mutation-report] -- @toggle b@ is fully instrumented.
  796. 215.64 s [sydtest-mutation-example-mutation-report] withBindKept :: (Bool -> IO Bool) -> Bool -> IO Bool
  797. 215.64 s [sydtest-mutation-example-mutation-report] withBindKept toggle b = do
  798. 215.64 s [sydtest-mutation-example-mutation-report] - inner <- toggle b
  799. 215.64 s [sydtest-mutation-example-mutation-report] + inner <- toggle not (b)
  800. 215.64 s [sydtest-mutation-example-mutation-report] pure inner
  801. 215.67 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:58:19-20 #1
  802. 215.67 s [sydtest-mutation-example-mutation-report] @@ -55,5 +55,5 @@
  803. 215.67 s [sydtest-mutation-example-mutation-report] -- @toggle b@ is fully instrumented.
  804. 215.67 s [sydtest-mutation-example-mutation-report] withBindKept :: (Bool -> IO Bool) -> Bool -> IO Bool
  805. 215.67 s [sydtest-mutation-example-mutation-report] withBindKept toggle b = do
  806. 215.67 s [sydtest-mutation-example-mutation-report] - inner <- toggle b
  807. 215.67 s [sydtest-mutation-example-mutation-report] + inner <- toggle True
  808. 215.67 s [sydtest-mutation-example-mutation-report] pure inner
  809. 215.67 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:59:8-13 #1
  810. 215.67 s [sydtest-mutation-example-mutation-report] @@ -56,4 +56,4 @@
  811. 215.67 s [sydtest-mutation-example-mutation-report] withBindKept :: (Bool -> IO Bool) -> Bool -> IO Bool
  812. 215.67 s [sydtest-mutation-example-mutation-report] withBindKept toggle b = do
  813. 215.67 s [sydtest-mutation-example-mutation-report] inner <- toggle b
  814. 215.67 s [sydtest-mutation-example-mutation-report] - pure inner
  815. 215.67 s [sydtest-mutation-example-mutation-report] + pure True
  816. 215.67 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:59:8-13 #1
  817. 215.67 s [sydtest-mutation-example-mutation-report] @@ -56,4 +56,4 @@
  818. 215.67 s [sydtest-mutation-example-mutation-report] withBindKept :: (Bool -> IO Bool) -> Bool -> IO Bool
  819. 215.68 s [sydtest-mutation-example-mutation-report] withBindKept toggle b = do
  820. 215.68 s [sydtest-mutation-example-mutation-report] inner <- toggle b
  821. 215.68 s [sydtest-mutation-example-mutation-report] - pure inner
  822. 215.68 s [sydtest-mutation-example-mutation-report] + pure not (inner)
  823. 215.68 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:52:8-13 #1
  824. 215.68 s [sydtest-mutation-example-mutation-report] @@ -49,7 +49,7 @@
  825. 215.68 s [sydtest-mutation-example-mutation-report] withBindDisabled :: (Bool -> IO Bool) -> Bool -> IO Bool
  826. 215.68 s [sydtest-mutation-example-mutation-report] withBindDisabled toggle b = do
  827. 215.68 s [sydtest-mutation-example-mutation-report] inner <- toggle b
  828. 215.68 s [sydtest-mutation-example-mutation-report] - pure inner
  829. 215.68 s [sydtest-mutation-example-mutation-report] + pure True
  830. 215.68 s [sydtest-mutation-example-mutation-report]
  831. 215.68 s [sydtest-mutation-example-mutation-report] -- | Control for 'withBindDisabled': no disable annotation, so the RHS
  832. 215.68 s [sydtest-mutation-example-mutation-report] -- @toggle b@ is fully instrumented.
  833. 215.68 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:36:19-20 #1
  834. 215.68 s [sydtest-mutation-example-mutation-report] @@ -33,7 +33,7 @@
  835. 215.68 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  836. 215.68 s [sydtest-mutation-example-mutation-report] withInnerKept :: Bool -> Bool
  837. 215.68 s [sydtest-mutation-example-mutation-report] withInnerKept b =
  838. 215.68 s [sydtest-mutation-example-mutation-report] - let inner = not b
  839. 215.68 s [sydtest-mutation-example-mutation-report] + let inner = not True
  840. 215.68 s [sydtest-mutation-example-mutation-report] in inner
  841. 215.68 s [sydtest-mutation-example-mutation-report]
  842. 215.68 s [sydtest-mutation-example-mutation-report] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  843. 215.68 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:52:8-13 #1
  844. 215.68 s [sydtest-mutation-example-mutation-report] @@ -49,7 +49,7 @@
  845. 215.68 s [sydtest-mutation-example-mutation-report] withBindDisabled :: (Bool -> IO Bool) -> Bool -> IO Bool
  846. 215.68 s [sydtest-mutation-example-mutation-report] withBindDisabled toggle b = do
  847. 215.68 s [sydtest-mutation-example-mutation-report] inner <- toggle b
  848. 215.68 s [sydtest-mutation-example-mutation-report] - pure inner
  849. 215.68 s [sydtest-mutation-example-mutation-report] + pure not (inner)
  850. 215.68 s [sydtest-mutation-example-mutation-report]
  851. 215.68 s [sydtest-mutation-example-mutation-report] -- | Control for 'withBindDisabled': no disable annotation, so the RHS
  852. 215.68 s [sydtest-mutation-example-mutation-report] -- @toggle b@ is fully instrumented.
  853. 215.68 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:36:15-20 #1
  854. 215.68 s [sydtest-mutation-example-mutation-report] @@ -33,7 +33,7 @@
  855. 215.68 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  856. 215.68 s [sydtest-mutation-example-mutation-report] withInnerKept :: Bool -> Bool
  857. 215.68 s [sydtest-mutation-example-mutation-report] withInnerKept b =
  858. 215.68 s [sydtest-mutation-example-mutation-report] - let inner = not b
  859. 215.68 s [sydtest-mutation-example-mutation-report] + let inner = True
  860. 215.68 s [sydtest-mutation-example-mutation-report] in inner
  861. 215.68 s [sydtest-mutation-example-mutation-report]
  862. 215.68 s [sydtest-mutation-example-mutation-report] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  863. 215.68 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:36:19-20 #1
  864. 215.68 s [sydtest-mutation-example-mutation-report] @@ -33,7 +33,7 @@
  865. 215.68 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  866. 215.68 s [sydtest-mutation-example-mutation-report] withInnerKept :: Bool -> Bool
  867. 215.68 s [sydtest-mutation-example-mutation-report] withInnerKept b =
  868. 215.68 s [sydtest-mutation-example-mutation-report] - let inner = not b
  869. 215.68 s [sydtest-mutation-example-mutation-report] + let inner = not not (b)
  870. 215.68 s [sydtest-mutation-example-mutation-report] in inner
  871. 215.68 s [sydtest-mutation-example-mutation-report]
  872. 215.68 s [sydtest-mutation-example-mutation-report] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  873. 215.68 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:36:15-20 #1
  874. 215.68 s [sydtest-mutation-example-mutation-report] @@ -33,7 +33,7 @@
  875. 215.68 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  876. 215.68 s [sydtest-mutation-example-mutation-report] withInnerKept :: Bool -> Bool
  877. 215.68 s [sydtest-mutation-example-mutation-report] withInnerKept b =
  878. 215.68 s [sydtest-mutation-example-mutation-report] - let inner = not b
  879. 215.69 s [sydtest-mutation-example-mutation-report] + let inner = not (not b)
  880. 215.69 s [sydtest-mutation-example-mutation-report] in inner
  881. 215.69 s [sydtest-mutation-example-mutation-report]
  882. 215.69 s [sydtest-mutation-example-mutation-report] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  883. 215.69 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:37:7-12 #1
  884. 215.69 s [sydtest-mutation-example-mutation-report] @@ -34,7 +34,7 @@
  885. 215.69 s [sydtest-mutation-example-mutation-report] withInnerKept :: Bool -> Bool
  886. 215.69 s [sydtest-mutation-example-mutation-report] withInnerKept b =
  887. 215.69 s [sydtest-mutation-example-mutation-report] let inner = not b
  888. 215.69 s [sydtest-mutation-example-mutation-report] - in inner
  889. 215.69 s [sydtest-mutation-example-mutation-report] + in True
  890. 215.69 s [sydtest-mutation-example-mutation-report]
  891. 215.69 s [sydtest-mutation-example-mutation-report] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  892. 215.69 s [sydtest-mutation-example-mutation-report] -- by a @do@-block @<-@ statement instead of a @let@. The annotation
  893. 215.69 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:37:7-12 #1
  894. 215.69 s [sydtest-mutation-example-mutation-report] @@ -34,7 +34,7 @@
  895. 215.69 s [sydtest-mutation-example-mutation-report] withInnerKept :: Bool -> Bool
  896. 215.69 s [sydtest-mutation-example-mutation-report] withInnerKept b =
  897. 215.69 s [sydtest-mutation-example-mutation-report] let inner = not b
  898. 215.69 s [sydtest-mutation-example-mutation-report] - in inner
  899. 215.69 s [sydtest-mutation-example-mutation-report] + in not (inner)
  900. 215.69 s [sydtest-mutation-example-mutation-report]
  901. 215.69 s [sydtest-mutation-example-mutation-report] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  902. 215.69 s [sydtest-mutation-example-mutation-report] -- by a @do@-block @<-@ statement instead of a @let@. The annotation
  903. 215.69 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:36:3-12 #1
  904. 215.69 s [sydtest-mutation-example-mutation-report] @@ -33,8 +33,8 @@
  905. 215.69 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  906. 215.69 s [sydtest-mutation-example-mutation-report] withInnerKept :: Bool -> Bool
  907. 215.69 s [sydtest-mutation-example-mutation-report] withInnerKept b =
  908. 215.69 s [sydtest-mutation-example-mutation-report] - let inner = not b
  909. 215.69 s [sydtest-mutation-example-mutation-report] - in inner
  910. 215.69 s [sydtest-mutation-example-mutation-report] + not (let inner = not b
  911. 215.69 s [sydtest-mutation-example-mutation-report] + in inner)
  912. 215.69 s [sydtest-mutation-example-mutation-report]
  913. 215.69 s [sydtest-mutation-example-mutation-report] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  914. 215.69 s [sydtest-mutation-example-mutation-report] -- by a @do@-block @<-@ statement instead of a @let@. The annotation
  915. 215.69 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:29:19-20 #1
  916. 215.69 s [sydtest-mutation-example-mutation-report] @@ -26,7 +26,7 @@
  917. 215.69 s [sydtest-mutation-example-mutation-report] {-# ANN withInnerBoolLitDisabled ("DisableMutationsFor inner: ConstBool" :: String) #-}
  918. 215.69 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled :: Bool -> Bool
  919. 215.69 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled b =
  920. 215.69 s [sydtest-mutation-example-mutation-report] - let inner = not b
  921. 215.69 s [sydtest-mutation-example-mutation-report] + let inner = not not (b)
  922. 215.69 s [sydtest-mutation-example-mutation-report] in inner
  923. 215.69 s [sydtest-mutation-example-mutation-report]
  924. 215.69 s [sydtest-mutation-example-mutation-report] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  925. 215.69 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:29:15-20 #1
  926. 215.69 s [sydtest-mutation-example-mutation-report] @@ -26,7 +26,7 @@
  927. 215.69 s [sydtest-mutation-example-mutation-report] {-# ANN withInnerBoolLitDisabled ("DisableMutationsFor inner: ConstBool" :: String) #-}
  928. 215.69 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled :: Bool -> Bool
  929. 215.69 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled b =
  930. 215.69 s [sydtest-mutation-example-mutation-report] - let inner = not b
  931. 215.69 s [sydtest-mutation-example-mutation-report] + let inner = not (not b)
  932. 215.69 s [sydtest-mutation-example-mutation-report] in inner
  933. 215.69 s [sydtest-mutation-example-mutation-report]
  934. 215.69 s [sydtest-mutation-example-mutation-report] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  935. 215.69 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:30:7-12 #1
  936. 215.69 s [sydtest-mutation-example-mutation-report] @@ -27,7 +27,7 @@
  937. 215.69 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled :: Bool -> Bool
  938. 215.69 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled b =
  939. 215.69 s [sydtest-mutation-example-mutation-report] let inner = not b
  940. 215.69 s [sydtest-mutation-example-mutation-report] - in inner
  941. 215.69 s [sydtest-mutation-example-mutation-report] + in True
  942. 215.69 s [sydtest-mutation-example-mutation-report]
  943. 215.69 s [sydtest-mutation-example-mutation-report] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  944. 215.69 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  945. 215.69 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:30:7-12 #1
  946. 215.69 s [sydtest-mutation-example-mutation-report] @@ -27,7 +27,7 @@
  947. 215.69 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled :: Bool -> Bool
  948. 215.69 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled b =
  949. 215.69 s [sydtest-mutation-example-mutation-report] let inner = not b
  950. 215.69 s [sydtest-mutation-example-mutation-report] - in inner
  951. 215.69 s [sydtest-mutation-example-mutation-report] + in not (inner)
  952. 215.69 s [sydtest-mutation-example-mutation-report]
  953. 215.69 s [sydtest-mutation-example-mutation-report] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  954. 215.69 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  955. 215.69 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:29:3-12 #1
  956. 215.69 s [sydtest-mutation-example-mutation-report] @@ -26,8 +26,8 @@
  957. 215.69 s [sydtest-mutation-example-mutation-report] {-# ANN withInnerBoolLitDisabled ("DisableMutationsFor inner: ConstBool" :: String) #-}
  958. 215.69 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled :: Bool -> Bool
  959. 215.69 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled b =
  960. 215.69 s [sydtest-mutation-example-mutation-report] - let inner = not b
  961. 215.69 s [sydtest-mutation-example-mutation-report] + True = not b
  962. 215.69 s [sydtest-mutation-example-mutation-report] in inner
  963. 215.69 s [sydtest-mutation-example-mutation-report]
  964. 215.69 s [sydtest-mutation-example-mutation-report] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  965. 215.69 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  966. 215.74 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:29:3-12 #1
  967. 215.74 s [sydtest-mutation-example-mutation-report] @@ -26,8 +26,8 @@
  968. 215.74 s [sydtest-mutation-example-mutation-report] {-# ANN withInnerBoolLitDisabled ("DisableMutationsFor inner: ConstBool" :: String) #-}
  969. 215.74 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled :: Bool -> Bool
  970. 215.74 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled b =
  971. 215.74 s [sydtest-mutation-example-mutation-report] - let inner = not b
  972. 215.74 s [sydtest-mutation-example-mutation-report] - in inner
  973. 215.74 s [sydtest-mutation-example-mutation-report] + not (let inner = not b
  974. 215.74 s [sydtest-mutation-example-mutation-report] + in inner)
  975. 215.74 s [sydtest-mutation-example-mutation-report]
  976. 215.74 s [sydtest-mutation-example-mutation-report] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  977. 215.74 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  978. 215.74 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:36:3-12 #1
  979. 215.74 s [sydtest-mutation-example-mutation-report] @@ -33,8 +33,8 @@
  980. 215.75 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  981. 215.75 s [sydtest-mutation-example-mutation-report] withInnerKept :: Bool -> Bool
  982. 215.75 s [sydtest-mutation-example-mutation-report] withInnerKept b =
  983. 215.75 s [sydtest-mutation-example-mutation-report] - let inner = not b
  984. 215.75 s [sydtest-mutation-example-mutation-report] + True = not b
  985. 215.75 s [sydtest-mutation-example-mutation-report] in inner
  986. 215.75 s [sydtest-mutation-example-mutation-report]
  987. 215.75 s [sydtest-mutation-example-mutation-report] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  988. 215.75 s [sydtest-mutation-example-mutation-report] -- by a @do@-block @<-@ statement instead of a @let@. The annotation
  989. 215.75 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:21:7-12 #1
  990. 215.75 s [sydtest-mutation-example-mutation-report] @@ -18,7 +18,7 @@
  991. 215.75 s [sydtest-mutation-example-mutation-report] withInnerDisabled :: Bool -> Bool
  992. 215.75 s [sydtest-mutation-example-mutation-report] withInnerDisabled b =
  993. 215.75 s [sydtest-mutation-example-mutation-report] let inner = not b
  994. 215.75 s [sydtest-mutation-example-mutation-report] - in inner
  995. 215.75 s [sydtest-mutation-example-mutation-report] + in True
  996. 215.75 s [sydtest-mutation-example-mutation-report]
  997. 215.75 s [sydtest-mutation-example-mutation-report] -- | Like 'withInnerDisabled', but only @ConstBool@ is disabled inside
  998. 215.75 s [sydtest-mutation-example-mutation-report] -- @inner@'s RHS. Other operators on @inner@'s RHS (notably the @Negate@
  999. 215.75 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:21:7-12 #1
  1000. 215.75 s [sydtest-mutation-example-mutation-report] @@ -18,7 +18,7 @@
  1001. 215.75 s [sydtest-mutation-example-mutation-report] withInnerDisabled :: Bool -> Bool
  1002. 215.75 s [sydtest-mutation-example-mutation-report] withInnerDisabled b =
  1003. 215.75 s [sydtest-mutation-example-mutation-report] let inner = not b
  1004. 215.75 s [sydtest-mutation-example-mutation-report] - in inner
  1005. 215.75 s [sydtest-mutation-example-mutation-report] + in not (inner)
  1006. 215.75 s [sydtest-mutation-example-mutation-report]
  1007. 215.75 s [sydtest-mutation-example-mutation-report] -- | Like 'withInnerDisabled', but only @ConstBool@ is disabled inside
  1008. 215.75 s [sydtest-mutation-example-mutation-report] -- @inner@'s RHS. Other operators on @inner@'s RHS (notably the @Negate@
  1009. 215.75 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:20:3-12 #1
  1010. 215.75 s [sydtest-mutation-example-mutation-report] @@ -17,8 +17,8 @@
  1011. 215.75 s [sydtest-mutation-example-mutation-report] {-# ANN withInnerDisabled ("DisableMutationsFor inner" :: String) #-}
  1012. 215.75 s [sydtest-mutation-example-mutation-report] withInnerDisabled :: Bool -> Bool
  1013. 215.75 s [sydtest-mutation-example-mutation-report] withInnerDisabled b =
  1014. 215.75 s [sydtest-mutation-example-mutation-report] - let inner = not b
  1015. 215.76 s [sydtest-mutation-example-mutation-report] + True = not b
  1016. 215.76 s [sydtest-mutation-example-mutation-report] in inner
  1017. 215.76 s [sydtest-mutation-example-mutation-report]
  1018. 215.76 s [sydtest-mutation-example-mutation-report] -- | Like 'withInnerDisabled', but only @ConstBool@ is disabled inside
  1019. 215.76 s [sydtest-mutation-example-mutation-report] -- @inner@'s RHS. Other operators on @inner@'s RHS (notably the @Negate@
  1020. 215.76 s [sydtest-mutation-example-mutation-report] Testing mutation ListLit at src/Example/ListLib.hs:19:29-38 #1
  1021. 215.76 s [sydtest-mutation-example-mutation-report] @@ -16,4 +16,3 @@
  1022. 215.76 s [sydtest-mutation-example-mutation-report] -- Mutation sites: ListLit produces an empty-list mutant, a drop-first mutant,
  1023. 215.76 s [sydtest-mutation-example-mutation-report] -- and a drop-last mutant on the literal @[a, b, c]@.
  1024. 215.76 s [sydtest-mutation-example-mutation-report] tripleConcat :: String -> String -> String -> String
  1025. 215.76 s [sydtest-mutation-example-mutation-report] -tripleConcat a b c = concat [a, b, c]
  1026. 215.76 s [sydtest-mutation-example-mutation-report] Testing mutation RemoveCase at src/Example/CaseLib.hs:7:19-16 #1
  1027. 215.76 s [sydtest-mutation-example-mutation-report] @@ -4,7 +4,6 @@
  1028. 215.76 s [sydtest-mutation-example-mutation-report] --
  1029. 215.76 s [sydtest-mutation-example-mutation-report] -- Mutation sites: RemoveCase removes one of the three alternatives.
  1030. 215.76 s [sydtest-mutation-example-mutation-report] describeList :: [a] -> String
  1031. 215.76 s [sydtest-mutation-example-mutation-report] describeList xs = case xs of
  1032. 215.76 s [sydtest-mutation-example-mutation-report] - [] -> "empty"
  1033. 215.76 s [sydtest-mutation-example-mutation-report] [_] -> "singleton"
  1034. 215.76 s [sydtest-mutation-example-mutation-report] _ -> "longer"
  1035. 215.76 s [sydtest-mutation-example-mutation-report] Testing mutation ListLit at src/Example/ListLib.hs:12:25-31 #1
  1036. 215.76 s [sydtest-mutation-example-mutation-report] @@ -9,7 +9,6 @@
  1037. 215.76 s [sydtest-mutation-example-mutation-report] -- Mutation sites: ListLit produces an empty-list mutant and a drop-first
  1038. 215.76 s [sydtest-mutation-example-mutation-report] -- mutant on the literal @[a, b]@.
  1039. 215.76 s [sydtest-mutation-example-mutation-report] pairConcat :: String -> String -> String
  1040. 215.76 s [sydtest-mutation-example-mutation-report] -pairConcat a b = concat [a, b]
  1041. 215.76 s [sydtest-mutation-example-mutation-report]
  1042. 215.76 s [sydtest-mutation-example-mutation-report] -- | Concatenate a three-element list of strings.
  1043. 215.76 s [sydtest-mutation-example-mutation-report] --
  1044. 215.76 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-25 #2
  1045. 215.76 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  1046. 215.76 s [sydtest-mutation-example-mutation-report] --
  1047. 215.76 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  1048. 215.76 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  1049. 215.76 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  1050. 215.76 s [sydtest-mutation-example-mutation-report] +bothPositive a b = False && b > 0
  1051. 215.76 s [sydtest-mutation-example-mutation-report]
  1052. 215.76 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  1053. 215.76 s [sydtest-mutation-example-mutation-report] --
  1054. 215.76 s [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:20:3-12 #1
  1055. 215.77 s [sydtest-mutation-example-mutation-report] @@ -17,8 +17,8 @@
  1056. 215.77 s [sydtest-mutation-example-mutation-report] {-# ANN withInnerDisabled ("DisableMutationsFor inner" :: String) #-}
  1057. 215.77 s [sydtest-mutation-example-mutation-report] withInnerDisabled :: Bool -> Bool
  1058. 215.77 s [sydtest-mutation-example-mutation-report] withInnerDisabled b =
  1059. 215.77 s [sydtest-mutation-example-mutation-report] - let inner = not b
  1060. 215.77 s [sydtest-mutation-example-mutation-report] - in inner
  1061. 215.77 s [sydtest-mutation-example-mutation-report] + not (let inner = not b
  1062. 215.77 s [sydtest-mutation-example-mutation-report] + in inner)
  1063. 215.77 s [sydtest-mutation-example-mutation-report]
  1064. 215.77 s [sydtest-mutation-example-mutation-report] -- | Like 'withInnerDisabled', but only @ConstBool@ is disabled inside
  1065. 215.77 s [sydtest-mutation-example-mutation-report] -- @inner@'s RHS. Other operators on @inner@'s RHS (notably the @Negate@
  1066. 215.77 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-27 #2
  1067. 215.77 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  1068. 215.77 s [sydtest-mutation-example-mutation-report] --
  1069. 215.77 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  1070. 215.77 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  1071. 215.77 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  1072. 215.77 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = False || b > 0
  1073. 215.77 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:11:29-34 #2
  1074. 215.77 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  1075. 215.77 s [sydtest-mutation-example-mutation-report] --
  1076. 215.77 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  1077. 215.77 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  1078. 215.77 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  1079. 215.77 s [sydtest-mutation-example-mutation-report] +bothPositive a b = a > 0 && b <= 0
  1080. 215.77 s [sydtest-mutation-example-mutation-report]
  1081. 215.77 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  1082. 215.77 s [sydtest-mutation-example-mutation-report] --
  1083. 215.77 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-36 #2
  1084. 215.77 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  1085. 215.77 s [sydtest-mutation-example-mutation-report] --
  1086. 215.77 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  1087. 215.77 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  1088. 215.77 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  1089. 215.77 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = False
  1090. 215.77 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:17:31-36 #2
  1091. 215.77 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  1092. 215.77 s [sydtest-mutation-example-mutation-report] --
  1093. 215.77 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  1094. 215.77 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  1095. 215.77 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  1096. 215.77 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = a > 0 || False
  1097. 215.77 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:17:31-36 #2
  1098. 215.77 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  1099. 215.77 s [sydtest-mutation-example-mutation-report] --
  1100. 215.77 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  1101. 215.77 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  1102. 215.77 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  1103. 215.77 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = a > 0 || b <= 0
  1104. 215.77 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:11:20-25 #2
  1105. 215.78 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  1106. 215.78 s [sydtest-mutation-example-mutation-report] --
  1107. 215.78 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  1108. 215.78 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  1109. 215.78 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  1110. 215.78 s [sydtest-mutation-example-mutation-report] +bothPositive a b = a <= 0 && b > 0
  1111. 215.78 s [sydtest-mutation-example-mutation-report]
  1112. 215.78 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  1113. 215.78 s [sydtest-mutation-example-mutation-report] --
  1114. 215.78 s [sydtest-mutation-example-mutation-report] Testing mutation Arith at src/Example/Lib.hs:8:12-17 #2
  1115. 215.78 s [sydtest-mutation-example-mutation-report] @@ -5,4 +5,4 @@
  1116. 215.78 s [sydtest-mutation-example-mutation-report] -- The literal '1' here is a mutation site: the plugin will also compile a
  1117. 215.78 s [sydtest-mutation-example-mutation-report] -- version where this returns @n + 0@ instead of @n + 1@.
  1118. 215.78 s [sydtest-mutation-example-mutation-report] addOne :: Int -> Int
  1119. 215.78 s [sydtest-mutation-example-mutation-report] -addOne n = n + 1
  1120. 215.78 s [sydtest-mutation-example-mutation-report] +addOne n = n * 1
  1121. 215.78 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:17:22-27 #2
  1122. 215.78 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  1123. 215.78 s [sydtest-mutation-example-mutation-report] --
  1124. 215.78 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  1125. 215.78 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  1126. 215.78 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  1127. 215.78 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = a <= 0 || b > 0
  1128. 215.78 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-34 #2
  1129. 215.78 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  1130. 215.78 s [sydtest-mutation-example-mutation-report] --
  1131. 215.78 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  1132. 215.78 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  1133. 215.78 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  1134. 215.78 s [sydtest-mutation-example-mutation-report] +bothPositive a b = False
  1135. 215.78 s [sydtest-mutation-example-mutation-report]
  1136. 215.78 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  1137. 215.78 s [sydtest-mutation-example-mutation-report] --
  1138. 215.81 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:11:29-34 #2
  1139. 215.81 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  1140. 215.81 s [sydtest-mutation-example-mutation-report] --
  1141. 215.81 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  1142. 215.81 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  1143. 215.81 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  1144. 215.81 s [sydtest-mutation-example-mutation-report] +bothPositive a b = a > 0 && False
  1145. 215.81 s [sydtest-mutation-example-mutation-report]
  1146. 215.81 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  1147. 215.81 s [sydtest-mutation-example-mutation-report] --
  1148. 215.81 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/DoLib.hs:14:10-14 #2
  1149. 215.81 s [sydtest-mutation-example-mutation-report] @@ -11,5 +11,5 @@
  1150. 215.82 s [sydtest-mutation-example-mutation-report] go :: Writer String ()
  1151. 215.82 s [sydtest-mutation-example-mutation-report] go = do
  1152. 215.82 s [sydtest-mutation-example-mutation-report] tell "Hello"
  1153. 215.82 s [sydtest-mutation-example-mutation-report] - if loud then tell "!" else pure ()
  1154. 215.82 s [sydtest-mutation-example-mutation-report] + if False then tell "!" else pure ()
  1155. 215.82 s [sydtest-mutation-example-mutation-report] tell "\n"
  1156. 215.82 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10 #2
  1157. 215.82 s [sydtest-mutation-example-mutation-report] @@ -9,6 +9,6 @@
  1158. 215.82 s [sydtest-mutation-example-mutation-report] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  1159. 215.82 s [sydtest-mutation-example-mutation-report] classify :: Int -> String
  1160. 215.82 s [sydtest-mutation-example-mutation-report] classify n
  1161. 215.82 s [sydtest-mutation-example-mutation-report] - | n < 0 = "negative"
  1162. 215.82 s [sydtest-mutation-example-mutation-report] + | n > 0 = "negative"
  1163. 215.82 s [sydtest-mutation-example-mutation-report] | n == 0 = "zero"
  1164. 215.82 s [sydtest-mutation-example-mutation-report] | otherwise = "positive"
  1165. 215.82 s [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/FunctionExceptionLib.hs:15:29-30 #2
  1166. 215.82 s [sydtest-mutation-example-mutation-report] @@ -12,7 +12,7 @@
  1167. 215.82 s [sydtest-mutation-example-mutation-report] -- IntLit mutations (replacing the literal @1@) still apply.
  1168. 215.82 s [sydtest-mutation-example-mutation-report] {-# ANN addOneArithDisabled ("DisableMutation: Arith" :: String) #-}
  1169. 215.82 s [sydtest-mutation-example-mutation-report] addOneArithDisabled :: Int -> Int
  1170. 215.82 s [sydtest-mutation-example-mutation-report] -addOneArithDisabled n = n + 1
  1171. 215.82 s [sydtest-mutation-example-mutation-report] +addOneArithDisabled n = n + -1
  1172. 215.82 s [sydtest-mutation-example-mutation-report]
  1173. 215.82 s [sydtest-mutation-example-mutation-report] -- | Both Arith and IntLit mutations disabled on this function.
  1174. 215.82 s [sydtest-mutation-example-mutation-report] {-# ANN addOneArithAndIntLitDisabled ("DisableMutations: Arith, IntLit" :: String) #-}
  1175. 215.82 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:58:19-20 #2
  1176. 215.82 s [sydtest-mutation-example-mutation-report] @@ -55,5 +55,5 @@
  1177. 215.82 s [sydtest-mutation-example-mutation-report] -- @toggle b@ is fully instrumented.
  1178. 215.82 s [sydtest-mutation-example-mutation-report] withBindKept :: (Bool -> IO Bool) -> Bool -> IO Bool
  1179. 215.82 s [sydtest-mutation-example-mutation-report] withBindKept toggle b = do
  1180. 215.82 s [sydtest-mutation-example-mutation-report] - inner <- toggle b
  1181. 215.82 s [sydtest-mutation-example-mutation-report] + inner <- toggle False
  1182. 215.82 s [sydtest-mutation-example-mutation-report] pure inner
  1183. 215.82 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:36:19-20 #2
  1184. 215.82 s [sydtest-mutation-example-mutation-report] @@ -33,7 +33,7 @@
  1185. 215.82 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  1186. 215.82 s [sydtest-mutation-example-mutation-report] withInnerKept :: Bool -> Bool
  1187. 215.82 s [sydtest-mutation-example-mutation-report] withInnerKept b =
  1188. 215.82 s [sydtest-mutation-example-mutation-report] - let inner = not b
  1189. 215.82 s [sydtest-mutation-example-mutation-report] + let inner = not False
  1190. 215.82 s [sydtest-mutation-example-mutation-report] in inner
  1191. 215.82 s [sydtest-mutation-example-mutation-report]
  1192. 215.82 s [sydtest-mutation-example-mutation-report] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  1193. 215.82 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:37:7-12 #2
  1194. 215.82 s [sydtest-mutation-example-mutation-report] @@ -34,7 +34,7 @@
  1195. 215.82 s [sydtest-mutation-example-mutation-report] withInnerKept :: Bool -> Bool
  1196. 215.82 s [sydtest-mutation-example-mutation-report] withInnerKept b =
  1197. 215.82 s [sydtest-mutation-example-mutation-report] let inner = not b
  1198. 215.82 s [sydtest-mutation-example-mutation-report] - in inner
  1199. 215.82 s [sydtest-mutation-example-mutation-report] + in False
  1200. 215.82 s [sydtest-mutation-example-mutation-report]
  1201. 215.82 s [sydtest-mutation-example-mutation-report] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  1202. 215.82 s [sydtest-mutation-example-mutation-report] -- by a @do@-block @<-@ statement instead of a @let@. The annotation
  1203. 215.82 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:59:8-13 #2
  1204. 215.82 s [sydtest-mutation-example-mutation-report] @@ -56,4 +56,4 @@
  1205. 215.82 s [sydtest-mutation-example-mutation-report] withBindKept :: (Bool -> IO Bool) -> Bool -> IO Bool
  1206. 215.82 s [sydtest-mutation-example-mutation-report] withBindKept toggle b = do
  1207. 215.82 s [sydtest-mutation-example-mutation-report] inner <- toggle b
  1208. 215.82 s [sydtest-mutation-example-mutation-report] - pure inner
  1209. 215.82 s [sydtest-mutation-example-mutation-report] + pure False
  1210. 215.82 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:52:8-13 #2
  1211. 215.82 s [sydtest-mutation-example-mutation-report] @@ -49,7 +49,7 @@
  1212. 215.82 s [sydtest-mutation-example-mutation-report] withBindDisabled :: (Bool -> IO Bool) -> Bool -> IO Bool
  1213. 215.82 s [sydtest-mutation-example-mutation-report] withBindDisabled toggle b = do
  1214. 215.82 s [sydtest-mutation-example-mutation-report] inner <- toggle b
  1215. 215.82 s [sydtest-mutation-example-mutation-report] - pure inner
  1216. 215.82 s [sydtest-mutation-example-mutation-report] + pure False
  1217. 215.83 s [sydtest-mutation-example-mutation-report]
  1218. 215.83 s [sydtest-mutation-example-mutation-report] -- | Control for 'withBindDisabled': no disable annotation, so the RHS
  1219. 215.83 s [sydtest-mutation-example-mutation-report] -- @toggle b@ is fully instrumented.
  1220. 215.83 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:36:15-20 #2
  1221. 215.83 s [sydtest-mutation-example-mutation-report] @@ -33,7 +33,7 @@
  1222. 215.83 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  1223. 215.83 s [sydtest-mutation-example-mutation-report] withInnerKept :: Bool -> Bool
  1224. 215.83 s [sydtest-mutation-example-mutation-report] withInnerKept b =
  1225. 215.83 s [sydtest-mutation-example-mutation-report] - let inner = not b
  1226. 215.83 s [sydtest-mutation-example-mutation-report] + let inner = False
  1227. 215.83 s [sydtest-mutation-example-mutation-report] in inner
  1228. 215.83 s [sydtest-mutation-example-mutation-report]
  1229. 215.83 s [sydtest-mutation-example-mutation-report] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  1230. 215.83 s [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/Lib.hs:8:16-17 #2
  1231. 215.83 s [sydtest-mutation-example-mutation-report] @@ -5,4 +5,4 @@
  1232. 215.83 s [sydtest-mutation-example-mutation-report] -- The literal '1' here is a mutation site: the plugin will also compile a
  1233. 215.83 s [sydtest-mutation-example-mutation-report] -- version where this returns @n + 0@ instead of @n + 1@.
  1234. 215.83 s [sydtest-mutation-example-mutation-report] addOne :: Int -> Int
  1235. 215.83 s [sydtest-mutation-example-mutation-report] -addOne n = n + 1
  1236. 215.83 s [sydtest-mutation-example-mutation-report] +addOne n = n + -1
  1237. 215.83 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:30:7-12 #2
  1238. 215.83 s [sydtest-mutation-example-mutation-report] @@ -27,7 +27,7 @@
  1239. 215.83 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled :: Bool -> Bool
  1240. 215.83 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled b =
  1241. 215.83 s [sydtest-mutation-example-mutation-report] let inner = not b
  1242. 215.83 s [sydtest-mutation-example-mutation-report] - in inner
  1243. 215.83 s [sydtest-mutation-example-mutation-report] + in False
  1244. 215.83 s [sydtest-mutation-example-mutation-report]
  1245. 215.83 s [sydtest-mutation-example-mutation-report] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  1246. 215.83 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  1247. 215.83 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:21:7-12 #2
  1248. 215.83 s [sydtest-mutation-example-mutation-report] @@ -18,7 +18,7 @@
  1249. 215.83 s [sydtest-mutation-example-mutation-report] withInnerDisabled :: Bool -> Bool
  1250. 215.83 s [sydtest-mutation-example-mutation-report] withInnerDisabled b =
  1251. 215.83 s [sydtest-mutation-example-mutation-report] let inner = not b
  1252. 215.83 s [sydtest-mutation-example-mutation-report] - in inner
  1253. 215.83 s [sydtest-mutation-example-mutation-report] + in False
  1254. 215.83 s [sydtest-mutation-example-mutation-report]
  1255. 215.83 s [sydtest-mutation-example-mutation-report] -- | Like 'withInnerDisabled', but only @ConstBool@ is disabled inside
  1256. 215.83 s [sydtest-mutation-example-mutation-report] -- @inner@'s RHS. Other operators on @inner@'s RHS (notably the @Negate@
  1257. 215.83 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:36:3-12 #2
  1258. 215.83 s [sydtest-mutation-example-mutation-report] @@ -33,8 +33,8 @@
  1259. 215.83 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  1260. 215.83 s [sydtest-mutation-example-mutation-report] withInnerKept :: Bool -> Bool
  1261. 215.83 s [sydtest-mutation-example-mutation-report] withInnerKept b =
  1262. 215.83 s [sydtest-mutation-example-mutation-report] - let inner = not b
  1263. 215.83 s [sydtest-mutation-example-mutation-report] + False = not b
  1264. 215.83 s [sydtest-mutation-example-mutation-report] in inner
  1265. 215.83 s [sydtest-mutation-example-mutation-report]
  1266. 215.83 s [sydtest-mutation-example-mutation-report] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  1267. 215.83 s [sydtest-mutation-example-mutation-report] -- by a @do@-block @<-@ statement instead of a @let@. The annotation
  1268. 215.83 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:29:3-12 #2
  1269. 215.83 s [sydtest-mutation-example-mutation-report] @@ -26,8 +26,8 @@
  1270. 215.83 s [sydtest-mutation-example-mutation-report] {-# ANN withInnerBoolLitDisabled ("DisableMutationsFor inner: ConstBool" :: String) #-}
  1271. 215.83 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled :: Bool -> Bool
  1272. 215.83 s [sydtest-mutation-example-mutation-report] withInnerBoolLitDisabled b =
  1273. 215.83 s [sydtest-mutation-example-mutation-report] - let inner = not b
  1274. 215.83 s [sydtest-mutation-example-mutation-report] + False = not b
  1275. 215.83 s [sydtest-mutation-example-mutation-report] in inner
  1276. 215.83 s [sydtest-mutation-example-mutation-report]
  1277. 215.83 s [sydtest-mutation-example-mutation-report] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  1278. 215.83 s [sydtest-mutation-example-mutation-report] -- on the @inner@ binding's RHS.
  1279. 215.83 s [sydtest-mutation-example-mutation-report] Testing mutation ListLit at src/Example/ListLib.hs:12:25-31 #2
  1280. 215.83 s [sydtest-mutation-example-mutation-report] @@ -9,7 +9,6 @@
  1281. 215.83 s [sydtest-mutation-example-mutation-report] -- Mutation sites: ListLit produces an empty-list mutant and a drop-first
  1282. 215.83 s [sydtest-mutation-example-mutation-report] -- mutant on the literal @[a, b]@.
  1283. 215.83 s [sydtest-mutation-example-mutation-report] pairConcat :: String -> String -> String
  1284. 215.83 s [sydtest-mutation-example-mutation-report] -pairConcat a b = concat [a, b]
  1285. 215.83 s [sydtest-mutation-example-mutation-report]
  1286. 215.83 s [sydtest-mutation-example-mutation-report] -- | Concatenate a three-element list of strings.
  1287. 215.83 s [sydtest-mutation-example-mutation-report] --
  1288. 215.83 s [sydtest-mutation-example-mutation-report] Testing mutation RemoveCase at src/Example/CaseLib.hs:7:19-16 #2
  1289. 215.83 s [sydtest-mutation-example-mutation-report] @@ -4,7 +4,6 @@
  1290. 215.83 s [sydtest-mutation-example-mutation-report] --
  1291. 215.83 s [sydtest-mutation-example-mutation-report] -- Mutation sites: RemoveCase removes one of the three alternatives.
  1292. 215.83 s [sydtest-mutation-example-mutation-report] describeList :: [a] -> String
  1293. 215.83 s [sydtest-mutation-example-mutation-report] describeList xs = case xs of
  1294. 215.83 s [sydtest-mutation-example-mutation-report] [] -> "empty"
  1295. 215.83 s [sydtest-mutation-example-mutation-report] - [_] -> "singleton"
  1296. 215.83 s [sydtest-mutation-example-mutation-report] _ -> "longer"
  1297. 215.83 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:17:31-36 #3
  1298. 215.83 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  1299. 215.83 s [sydtest-mutation-example-mutation-report] --
  1300. 215.83 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  1301. 215.83 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  1302. 215.83 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  1303. 215.83 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = a > 0 || b >= 0
  1304. 215.83 s [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:20:3-12 #2
  1305. 215.83 s [sydtest-mutation-example-mutation-report] @@ -17,8 +17,8 @@
  1306. 215.83 s [sydtest-mutation-example-mutation-report] {-# ANN withInnerDisabled ("DisableMutationsFor inner" :: String) #-}
  1307. 215.83 s [sydtest-mutation-example-mutation-report] withInnerDisabled :: Bool -> Bool
  1308. 215.83 s [sydtest-mutation-example-mutation-report] withInnerDisabled b =
  1309. 215.83 s [sydtest-mutation-example-mutation-report] - let inner = not b
  1310. 215.83 s [sydtest-mutation-example-mutation-report] + False = not b
  1311. 215.83 s [sydtest-mutation-example-mutation-report] in inner
  1312. 215.83 s [sydtest-mutation-example-mutation-report]
  1313. 215.83 s [sydtest-mutation-example-mutation-report] -- | Like 'withInnerDisabled', but only @ConstBool@ is disabled inside
  1314. 215.83 s [sydtest-mutation-example-mutation-report] -- @inner@'s RHS. Other operators on @inner@'s RHS (notably the @Negate@
  1315. 215.92 s [sydtest-mutation-example-mutation-report] Killed: 103
  1316. 215.92 s [sydtest-mutation-example-mutation-report] (of which timed out: 0)
  1317. 215.92 s [sydtest-mutation-example-mutation-report] Survived: 0
  1318. 215.92 s [sydtest-mutation-example-mutation-report] Uncovered: 0
  1319. 215.92 s [sydtest-mutation-example-mutation-report] Skipped: 0
  1320. 215.92 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:17:22-27 #3
  1321. 215.92 s [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@
  1322. 215.92 s [sydtest-mutation-example-mutation-report] --
  1323. 215.92 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  1324. 215.92 s [sydtest-mutation-example-mutation-report] eitherPositive :: Int -> Int -> Bool
  1325. 215.92 s [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0
  1326. 215.92 s [sydtest-mutation-example-mutation-report] +eitherPositive a b = a >= 0 || b > 0
  1327. 215.92 s [sydtest-mutation-example-mutation-report] Testing mutation ListLit at src/Example/ListLib.hs:19:29-38 #2
  1328. 215.92 s [sydtest-mutation-example-mutation-report] @@ -16,4 +16,3 @@
  1329. 215.92 s [sydtest-mutation-example-mutation-report] -- Mutation sites: ListLit produces an empty-list mutant, a drop-first mutant,
  1330. 215.92 s [sydtest-mutation-example-mutation-report] -- and a drop-last mutant on the literal @[a, b, c]@.
  1331. 215.92 s [sydtest-mutation-example-mutation-report] tripleConcat :: String -> String -> String -> String
  1332. 215.92 s [sydtest-mutation-example-mutation-report] -tripleConcat a b c = concat [a, b, c]
  1333. 215.92 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:11:29-34 #3
  1334. 215.92 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  1335. 215.92 s [sydtest-mutation-example-mutation-report] --
  1336. 215.92 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  1337. 215.92 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  1338. 215.92 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  1339. 215.92 s [sydtest-mutation-example-mutation-report] +bothPositive a b = a > 0 && b >= 0
  1340. 215.92 s [sydtest-mutation-example-mutation-report]
  1341. 215.92 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  1342. 215.92 s [sydtest-mutation-example-mutation-report] --
  1343. 215.92 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10 #3
  1344. 215.92 s [sydtest-mutation-example-mutation-report] @@ -9,6 +9,6 @@
  1345. 215.92 s [sydtest-mutation-example-mutation-report] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  1346. 215.92 s [sydtest-mutation-example-mutation-report] classify :: Int -> String
  1347. 215.92 s [sydtest-mutation-example-mutation-report] classify n
  1348. 215.92 s [sydtest-mutation-example-mutation-report] - | n < 0 = "negative"
  1349. 215.92 s [sydtest-mutation-example-mutation-report] + | n >= 0 = "negative"
  1350. 215.92 s [sydtest-mutation-example-mutation-report] | n == 0 = "zero"
  1351. 215.92 s [sydtest-mutation-example-mutation-report] | otherwise = "positive"
  1352. 215.92 s [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:11:20-25 #3
  1353. 215.92 s [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@
  1354. 215.92 s [sydtest-mutation-example-mutation-report] --
  1355. 215.92 s [sydtest-mutation-example-mutation-report] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  1356. 215.92 s [sydtest-mutation-example-mutation-report] bothPositive :: Int -> Int -> Bool
  1357. 215.92 s [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0
  1358. 215.92 s [sydtest-mutation-example-mutation-report] +bothPositive a b = a >= 0 && b > 0
  1359. 215.92 s [sydtest-mutation-example-mutation-report]
  1360. 215.92 s [sydtest-mutation-example-mutation-report] -- | True iff at least one argument is strictly positive.
  1361. 215.92 s [sydtest-mutation-example-mutation-report] --
  1362. 215.92 s [sydtest-mutation-example-mutation-report] Testing mutation ListLit at src/Example/ListLib.hs:19:29-38 #3
  1363. 215.92 s [sydtest-mutation-example-mutation-report] @@ -16,4 +16,3 @@
  1364. 215.92 s [sydtest-mutation-example-mutation-report] -- Mutation sites: ListLit produces an empty-list mutant, a drop-first mutant,
  1365. 215.92 s [sydtest-mutation-example-mutation-report] -- and a drop-last mutant on the literal @[a, b, c]@.
  1366. 215.92 s [sydtest-mutation-example-mutation-report] tripleConcat :: String -> String -> String -> String
  1367. 215.92 s [sydtest-mutation-example-mutation-report] -tripleConcat a b c = concat [a, b, c]
  1368. 215.92 s [sydtest-mutation-example-mutation-report] Testing mutation RemoveCase at src/Example/CaseLib.hs:7:19-16 #3
  1369. 215.92 s [sydtest-mutation-example-mutation-report] @@ -4,7 +4,6 @@
  1370. 215.92 s [sydtest-mutation-example-mutation-report] --
  1371. 215.92 s [sydtest-mutation-example-mutation-report] -- Mutation sites: RemoveCase removes one of the three alternatives.
  1372. 215.92 s [sydtest-mutation-example-mutation-report] describeList :: [a] -> String
  1373. 215.92 s [sydtest-mutation-example-mutation-report] describeList xs = case xs of
  1374. 215.92 s [sydtest-mutation-example-mutation-report] [] -> "empty"
  1375. 215.92 s [sydtest-mutation-example-mutation-report] [_] -> "singleton"
  1376. 215.92 s [sydtest-mutation-example-mutation-report] - _ -> "longer"
  1377. 215.93 s [sydtest-mutation-example-mutation-report] Phase: fixupPhase
  1378. 215.94 s [sydtest-mutation-example-mutation-report] shrinking RPATHs of ELF executables and libraries in /nix/store/lbivik4363dkp8n9b6h07s3vwm78v749-sydtest-mutation-example-mutation-report
  1379. 215.95 s [sydtest-mutation-example-mutation-report] checking for references to /build/ in /nix/store/lbivik4363dkp8n9b6h07s3vwm78v749-sydtest-mutation-example-mutation-report...
  1380. 215.96 s [sydtest-mutation-example-mutation-report] patching script interpreter paths in /nix/store/lbivik4363dkp8n9b6h07s3vwm78v749-sydtest-mutation-example-mutation-report
  1381. 216.00 s [post-build-hook] Uploading to cachix cache "sydtest": /nix/store/lbivik4363dkp8n9b6h07s3vwm78v749-sydtest-mutation-example-mutation-report
  1382. 216.40 s [post-build-hook] Pushing 1 paths (0 are already present) using zstd to cache sydtest ⏳
  1383. 216.40 s [post-build-hook]
  1384. 216.77 s [post-build-hook] Pushing /nix/store/lbivik4363dkp8n9b6h07s3vwm78v749-sydtest-mutation-example-mutation-report (86.60 KiB)
  1385. 218.03 s [post-build-hook]
  1386. 218.03 s [post-build-hook] All done.
  1387. 218.04 s [post-build-hook] Uploading to the NixCI staging cache: /nix/store/lbivik4363dkp8n9b6h07s3vwm78v749-sydtest-mutation-example-mutation-report
  1388. 218.08 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  1389. 218.09 s [post-build-hook] copying 1 paths...
  1390. 218.09 s [post-build-hook] copying path '/nix/store/lbivik4363dkp8n9b6h07s3vwm78v749-sydtest-mutation-example-mutation-report' to 'https://cache.staging.nix-ci.com'...
  1391. 220.68 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  1392. 220.90 s [post-build-hook] copying 1 paths...
  1393. 221.02 s [post-build-hook] copying path '/nix/store/g931xa4vm6wb4izn2nvimh9c5i5npxvd-sydtest-mutation-example-mutation-report.drv' to 'https://cache.staging.nix-ci.com'...
  1394. 221.58 s Progress: 4 of 6 built
  1395. 221.63 s Building sydtest-mutation-example
  1396. 221.69 s [sydtest-mutation-example] PASS: All 103 mutation(s) accounted for.
  1397. 221.69 s [sydtest-mutation-example]
  1398. 221.69 s [sydtest-mutation-example] Killed: 103
  1399. 221.69 s [sydtest-mutation-example] (of which timed out: 0)
  1400. 221.69 s [sydtest-mutation-example] Survived: 0
  1401. 221.69 s [sydtest-mutation-example] Uncovered: 0
  1402. 221.69 s [sydtest-mutation-example] Skipped: 0
  1403. 221.69 s [sydtest-mutation-example]
  1404. 221.69 s [sydtest-mutation-example] Full report: /nix/store/lbivik4363dkp8n9b6h07s3vwm78v749-sydtest-mutation-example-mutation-report/report.txt
  1405. 221.69 s [sydtest-mutation-example] Machine-readable report: /nix/store/lbivik4363dkp8n9b6h07s3vwm78v749-sydtest-mutation-example-mutation-report/report.json
  1406. 221.72 s [post-build-hook] Uploading to cachix cache "sydtest": /nix/store/pig5v5jn26wr9v0zni41jfyf8c53h75z-sydtest-mutation-example
  1407. 222.11 s [post-build-hook] Pushing 1 paths (1 are already present) using zstd to cache sydtest ⏳
  1408. 222.11 s [post-build-hook]
  1409. 222.49 s [post-build-hook] Pushing /nix/store/pig5v5jn26wr9v0zni41jfyf8c53h75z-sydtest-mutation-example (672.00 B)
  1410. 223.48 s [post-build-hook]
  1411. 223.48 s [post-build-hook] All done.
  1412. 223.49 s [post-build-hook] Uploading to the NixCI staging cache: /nix/store/pig5v5jn26wr9v0zni41jfyf8c53h75z-sydtest-mutation-example
  1413. 223.53 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  1414. 223.53 s [post-build-hook] copying 1 paths...
  1415. 223.53 s [post-build-hook] copying path '/nix/store/pig5v5jn26wr9v0zni41jfyf8c53h75z-sydtest-mutation-example' to 'https://cache.staging.nix-ci.com'...
  1416. 224.69 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  1417. 224.95 s [post-build-hook] copying 1 paths...
  1418. 224.95 s [post-build-hook] copying path '/nix/store/qr6ma8zgc65mxif792xa8zvqlpnchyk8-sydtest-mutation-example.drv' to 'https://cache.staging.nix-ci.com'...
  1419. 226.80 s Progress: 5 of 6 built
More Logs Raw Logs

Agent Instructions

Wait for completion, without logs:

curl --netrc -N https://staging.nix-ci.com/gh:NorfairKing:sydtest/mutation-diff-mode/a40a77bf63e74efde93f05d8e372e7e182407a95/8911ed16-b587-436d-8a12-3da9e5de8dec/wait

Latest logs, with timestamps (streams while running):

curl --netrc -N https://staging.nix-ci.com/gh:NorfairKing:sydtest/mutation-diff-mode/a40a77bf63e74efde93f05d8e372e7e182407a95/8911ed16-b587-436d-8a12-3da9e5de8dec/tail

All logs, with timestamps (available after completion):

curl --netrc https://staging.nix-ci.com/gh:NorfairKing:sydtest/mutation-diff-mode/a40a77bf63e74efde93f05d8e372e7e182407a95/8911ed16-b587-436d-8a12-3da9e5de8dec/logs

Raw logs, from the start (no timestamps):

curl --netrc -N https://staging.nix-ci.com/gh:NorfairKing:sydtest/mutation-diff-mode/a40a77bf63e74efde93f05d8e372e7e182407a95/8911ed16-b587-436d-8a12-3da9e5de8dec/raw-logs

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

Example:

curl --netrc -H "Accept: text/csv" https://staging.nix-ci.com/gh:NorfairKing:sydtest/mutation-diff-mode/a40a77bf63e74efde93f05d8e372e7e182407a95/8911ed16-b587-436d-8a12-3da9e5de8dec/logs

Reproduce locally: https://staging.nix-ci.com/gh:NorfairKing:sydtest/mutation-diff-mode/a40a77bf63e74efde93f05d8e372e7e182407a95/8911ed16-b587-436d-8a12-3da9e5de8dec/repro

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