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

Reproduce this run
  1. 0.02 s $ /nix/store/vzx1mi9c0xfadmsm9dhd83d005cb1qs9-coreutils-9.8/bin/timeout --kill-after=15s 7200s /nix/store/99b1z08awpxj8b6mzggn59gp1shljnff-nix-2.34.5/bin/nix --extra-experimental-features nix-command --extra-experimental-features flakes --log-format internal-json build --no-link git+https://github.com/NorfairKing/sydtest?ref=mutation-testing&rev=82062ce4dbd2947778aeae97877e5413f8a85d91#checks.x86_64-linux.mutation-sydtest-mutation-example --print-build-logs
  2. 0.08 s warning: ignoring untrusted flake configuration setting 'extra-substituters'.
  3. 0.08 s Pass '--accept-flake-config' to trust it
  4. 0.08 s warning: ignoring untrusted flake configuration setting 'extra-trusted-public-keys'.
  5. 0.08 s Pass '--accept-flake-config' to trust it
  6. 0.10 s
  7. 1.04 s Downloading cached sydtest-mutation-example-0.0.0.0-manifest from https://cache.staging.nix-ci.com
  8. 1.04 s Downloading cached sydtest-mutation-example-gen-source from https://cache.staging.nix-ci.com
  9. 1.04 s Downloading cached sydtest-mutation-example from https://cache.staging.nix-ci.com
  10. 1.06 s Progress: 0 of 5 built, 1 of 3 downloaded from cache (2 downloading)
  11. 1.06 s Progress: 0 of 4 built, 2 of 3 downloaded from cache (1 downloading)
  12. 1.10 s Progress: 0 of 3 built, 3 of 3 downloaded from cache
  13. 1.21 s Building sydtest-mutation-example-gen
  14. 1.57 s [sydtest-mutation-example-gen] Phase: setupCompilerEnvironmentPhase
  15. 1.57 s [sydtest-mutation-example-gen] Build with /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3.
  16. 2.08 s [sydtest-mutation-example-gen] Phase: unpackPhase
  17. 2.09 s [sydtest-mutation-example-gen] unpacking source archive /nix/store/smhzm71ayyni1mrg477c5hzyh0ik07kl-sydtest-mutation-example-gen-source-0.0.0.0/sydtest-mutation-example-gen-0.0.0.0.tar.gz
  18. 2.09 s [sydtest-mutation-example-gen] source root is sydtest-mutation-example-gen-0.0.0.0
  19. 2.10 s [sydtest-mutation-example-gen] setting SOURCE_DATE_EPOCH to timestamp 1779115648 of file "sydtest-mutation-example-gen-0.0.0.0/test/Spec.hs"
  20. 2.11 s [sydtest-mutation-example-gen] Phase: patchPhase
  21. 2.11 s [sydtest-mutation-example-gen] Phase: compileBuildDriverPhase
  22. 2.12 s [sydtest-mutation-example-gen] setupCompileFlags: -package-db=/build/tmp.5h8noXUlCV/setup-package.conf.d -threaded
  23. 2.17 s [sydtest-mutation-example-gen] [1 of 2] Compiling Main ( Setup.hs, /build/tmp.5h8noXUlCV/Main.o )
  24. 2.21 s [sydtest-mutation-example-gen] [2 of 2] Linking Setup
  25. 3.48 s [sydtest-mutation-example-gen] Phase: updateAutotoolsGnuConfigScriptsPhase
  26. 3.49 s [sydtest-mutation-example-gen] Phase: configurePhase
  27. 3.49 s [sydtest-mutation-example-gen] configureFlags: --verbose --prefix=/nix/store/k8bx4flx9hs4spx5nkbcmvhgrklnsdqd-sydtest-mutation-example-gen-0.0.0.0 --libdir=$prefix/lib/$compiler/lib --libsubdir=$abi/$libname --docdir=/nix/store/w5zpb9kcnhryrnnk6100q30rykm4rj6p-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.5h8noXUlCV/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
  28. 3.50 s [sydtest-mutation-example-gen] Using Parsec parser
  29. 3.50 s [sydtest-mutation-example-gen] Configuring sydtest-mutation-example-gen-0.0.0.0...
  30. 4.13 s [sydtest-mutation-example-gen] Dependency QuickCheck: using QuickCheck-2.15.0.1
  31. 4.13 s [sydtest-mutation-example-gen] Dependency base >=4.7 && <5: using base-4.20.2.0
  32. 4.13 s [sydtest-mutation-example-gen] Dependency QuickCheck: using QuickCheck-2.15.0.1
  33. 4.13 s [sydtest-mutation-example-gen] Dependency base >=4.7 && <5: using base-4.20.2.0
  34. 4.13 s [sydtest-mutation-example-gen] Dependency sydtest: using sydtest-0.23.1.0
  35. 4.13 s [sydtest-mutation-example-gen] Dependency sydtest-mutation-example: using sydtest-mutation-example-0.0.0.0
  36. 4.13 s [sydtest-mutation-example-gen] Dependency sydtest-mutation-example-gen: using
  37. 4.13 s [sydtest-mutation-example-gen] sydtest-mutation-example-gen-0.0.0.0
  38. 4.13 s [sydtest-mutation-example-gen] Source component graph:
  39. 4.13 s [sydtest-mutation-example-gen] component lib
  40. 4.13 s [sydtest-mutation-example-gen] component test:sydtest-mutation-example-gen-test dependency lib
  41. 4.13 s [sydtest-mutation-example-gen] Configured component graph:
  42. 4.13 s [sydtest-mutation-example-gen] component sydtest-mutation-example-gen-0.0.0.0-AdSL0Ove5Z7bJR7ETnROP
  43. 4.13 s [sydtest-mutation-example-gen] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  44. 4.13 s [sydtest-mutation-example-gen] include base-4.20.2.0-64da
  45. 4.13 s [sydtest-mutation-example-gen] component sydtest-mutation-example-gen-0.0.0.0-GeBIfk9iKHQJgHZzjwfAEj-sydtest-mutation-example-gen-test
  46. 4.13 s [sydtest-mutation-example-gen] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  47. 4.13 s [sydtest-mutation-example-gen] include base-4.20.2.0-64da
  48. 4.13 s [sydtest-mutation-example-gen] include sydtest-0.23.1.0-1QbKcOQdzLp6O89Vfb96q6
  49. 4.13 s [sydtest-mutation-example-gen] include sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
  50. 4.13 s [sydtest-mutation-example-gen] include sydtest-mutation-example-gen-0.0.0.0-AdSL0Ove5Z7bJR7ETnROP
  51. 4.13 s [sydtest-mutation-example-gen] Linked component graph:
  52. 4.13 s [sydtest-mutation-example-gen] unit sydtest-mutation-example-gen-0.0.0.0-AdSL0Ove5Z7bJR7ETnROP
  53. 4.13 s [sydtest-mutation-example-gen] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  54. 4.13 s [sydtest-mutation-example-gen] include base-4.20.2.0-64da
  55. 4.13 s [sydtest-mutation-example-gen] Example.Gen=sydtest-mutation-example-gen-0.0.0.0-AdSL0Ove5Z7bJR7ETnROP:Example.Gen
  56. 4.13 s [sydtest-mutation-example-gen] unit sydtest-mutation-example-gen-0.0.0.0-GeBIfk9iKHQJgHZzjwfAEj-sydtest-mutation-example-gen-test
  57. 4.13 s [sydtest-mutation-example-gen] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  58. 4.13 s [sydtest-mutation-example-gen] include base-4.20.2.0-64da
  59. 4.13 s [sydtest-mutation-example-gen] include sydtest-0.23.1.0-1QbKcOQdzLp6O89Vfb96q6
  60. 4.13 s [sydtest-mutation-example-gen] include sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
  61. 4.13 s [sydtest-mutation-example-gen] include sydtest-mutation-example-gen-0.0.0.0-AdSL0Ove5Z7bJR7ETnROP
  62. 4.13 s [sydtest-mutation-example-gen] Ready component graph:
  63. 4.13 s [sydtest-mutation-example-gen] definite sydtest-mutation-example-gen-0.0.0.0-AdSL0Ove5Z7bJR7ETnROP
  64. 4.13 s [sydtest-mutation-example-gen] depends QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  65. 4.13 s [sydtest-mutation-example-gen] depends base-4.20.2.0-64da
  66. 4.13 s [sydtest-mutation-example-gen] definite sydtest-mutation-example-gen-0.0.0.0-GeBIfk9iKHQJgHZzjwfAEj-sydtest-mutation-example-gen-test
  67. 4.13 s [sydtest-mutation-example-gen] depends QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  68. 4.13 s [sydtest-mutation-example-gen] depends base-4.20.2.0-64da
  69. 4.13 s [sydtest-mutation-example-gen] depends sydtest-0.23.1.0-1QbKcOQdzLp6O89Vfb96q6
  70. 4.13 s [sydtest-mutation-example-gen] depends sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
  71. 4.13 s [sydtest-mutation-example-gen] depends sydtest-mutation-example-gen-0.0.0.0-AdSL0Ove5Z7bJR7ETnROP
  72. 4.13 s [sydtest-mutation-example-gen] Using Cabal-3.12.1.0 compiled by ghc-9.10
  73. 4.13 s [sydtest-mutation-example-gen] Using compiler: ghc-9.10.3
  74. 4.13 s [sydtest-mutation-example-gen] Using install prefix:
  75. 4.13 s [sydtest-mutation-example-gen] /nix/store/k8bx4flx9hs4spx5nkbcmvhgrklnsdqd-sydtest-mutation-example-gen-0.0.0.0
  76. 4.13 s [sydtest-mutation-example-gen] Executables installed in:
  77. 4.13 s [sydtest-mutation-example-gen] /nix/store/k8bx4flx9hs4spx5nkbcmvhgrklnsdqd-sydtest-mutation-example-gen-0.0.0.0/bin
  78. 4.13 s [sydtest-mutation-example-gen] Libraries installed in:
  79. 4.13 s [sydtest-mutation-example-gen] /nix/store/k8bx4flx9hs4spx5nkbcmvhgrklnsdqd-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-AdSL0Ove5Z7bJR7ETnROP
  80. 4.13 s [sydtest-mutation-example-gen] Dynamic Libraries installed in:
  81. 4.13 s [sydtest-mutation-example-gen] /nix/store/k8bx4flx9hs4spx5nkbcmvhgrklnsdqd-sydtest-mutation-example-gen-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6
  82. 4.13 s [sydtest-mutation-example-gen] Private executables installed in:
  83. 4.13 s [sydtest-mutation-example-gen] /nix/store/k8bx4flx9hs4spx5nkbcmvhgrklnsdqd-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
  84. 4.13 s [sydtest-mutation-example-gen] Data files installed in:
  85. 4.13 s [sydtest-mutation-example-gen] /nix/store/k8bx4flx9hs4spx5nkbcmvhgrklnsdqd-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
  86. 4.13 s [sydtest-mutation-example-gen] Documentation installed in:
  87. 4.13 s [sydtest-mutation-example-gen] /nix/store/w5zpb9kcnhryrnnk6100q30rykm4rj6p-sydtest-mutation-example-gen-0.0.0.0-doc/share/doc/sydtest-mutation-example-gen-0.0.0.0
  88. 4.13 s [sydtest-mutation-example-gen] Configuration files installed in:
  89. 4.13 s [sydtest-mutation-example-gen] /nix/store/k8bx4flx9hs4spx5nkbcmvhgrklnsdqd-sydtest-mutation-example-gen-0.0.0.0/etc
  90. 4.13 s [sydtest-mutation-example-gen] No alex found
  91. 4.13 s [sydtest-mutation-example-gen] Using ar found on system at:
  92. 4.13 s [sydtest-mutation-example-gen] /nix/store/iz5lckcsg66r223si2gck7csk2hihj0m-binutils-wrapper-2.44/bin/ar
  93. 4.13 s [sydtest-mutation-example-gen] No c2hs found
  94. 4.13 s [sydtest-mutation-example-gen] No cpphs found
  95. 4.13 s [sydtest-mutation-example-gen] No doctest found
  96. 4.13 s [sydtest-mutation-example-gen] Using gcc version 14.3.0 given by user at:
  97. 4.13 s [sydtest-mutation-example-gen] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/gcc
  98. 4.13 s [sydtest-mutation-example-gen] Using ghc version 9.10.3 found on system at:
  99. 4.13 s [sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc
  100. 4.13 s [sydtest-mutation-example-gen] Using ghc-pkg version 9.10.3 found on system at:
  101. 4.13 s [sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc-pkg-9.10.3
  102. 4.13 s [sydtest-mutation-example-gen] No ghcjs found
  103. 4.13 s [sydtest-mutation-example-gen] No ghcjs-pkg found
  104. 4.13 s [sydtest-mutation-example-gen] No greencard found
  105. 4.13 s [sydtest-mutation-example-gen] Using haddock version 2.31.1 found on system at:
  106. 4.13 s [sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/haddock-ghc-9.10.3
  107. 4.13 s [sydtest-mutation-example-gen] No happy found
  108. 4.13 s [sydtest-mutation-example-gen] Using haskell-suite found on system at: haskell-suite-dummy-location
  109. 4.13 s [sydtest-mutation-example-gen] Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
  110. 4.13 s [sydtest-mutation-example-gen] No hmake found
  111. 4.13 s [sydtest-mutation-example-gen] Using hpc version 0.69 found on system at:
  112. 4.13 s [sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hpc-ghc-9.10.3
  113. 4.13 s [sydtest-mutation-example-gen] Using hsc2hs version 0.68.10 found on system at:
  114. 4.13 s [sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hsc2hs-ghc-9.10.3
  115. 4.13 s [sydtest-mutation-example-gen] Using hscolour version 1.25 found on system at:
  116. 4.13 s [sydtest-mutation-example-gen] /nix/store/f755skyzf4jvfx3crwq9mmh3x4lsaz8i-hscolour-1.25/bin/HsColour
  117. 4.13 s [sydtest-mutation-example-gen] No jhc found
  118. 4.13 s [sydtest-mutation-example-gen] Using ld found on system at:
  119. 4.13 s [sydtest-mutation-example-gen] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/ld
  120. 4.13 s [sydtest-mutation-example-gen] No pkg-config found
  121. 4.13 s [sydtest-mutation-example-gen] Using runghc version 9.10.3 found on system at:
  122. 4.13 s [sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/runghc-9.10.3
  123. 4.13 s [sydtest-mutation-example-gen] Using strip version 2.44 found on system at:
  124. 4.13 s [sydtest-mutation-example-gen] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/strip
  125. 4.13 s [sydtest-mutation-example-gen] Using tar found on system at:
  126. 4.13 s [sydtest-mutation-example-gen] /nix/store/xl6pd2spjajwcpq09fnmnjv5psqmlmma-gnutar-1.35/bin/tar
  127. 4.13 s [sydtest-mutation-example-gen] No uhc found
  128. 4.51 s [sydtest-mutation-example-gen] Phase: buildPhase
  129. 4.59 s [sydtest-mutation-example-gen] Preprocessing library for sydtest-mutation-example-gen-0.0.0.0...
  130. 4.59 s [sydtest-mutation-example-gen] Building library for sydtest-mutation-example-gen-0.0.0.0...
  131. 4.66 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 )
  132. 4.71 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 )
  133. 4.92 s [sydtest-mutation-example-gen] [1 of 2] Compiling Example.Gen ( src/Example/Gen.hs, dist/build/Example/Gen.p_o )
  134. 5.07 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 )
  135. 6.33 s [sydtest-mutation-example-gen] Preprocessing test suite 'sydtest-mutation-example-gen-test' for sydtest-mutation-example-gen-0.0.0.0...
  136. 6.33 s [sydtest-mutation-example-gen] Building test suite 'sydtest-mutation-example-gen-test' for sydtest-mutation-example-gen-0.0.0.0...
  137. 6.45 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 )
  138. 6.63 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 )
  139. 6.63 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 )
  140. 6.63 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 )
  141. 6.63 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 )
  142. 6.63 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 )
  143. 6.63 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 )
  144. 6.66 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 )
  145. 6.73 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 )
  146. 6.73 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 )
  147. 6.73 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 )
  148. 6.79 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 )
  149. 7.07 s [sydtest-mutation-example-gen] [13 of 13] Linking dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test
  150. 8.68 s [sydtest-mutation-example-gen] Phase: checkPhase
  151. 8.69 s [sydtest-mutation-example-gen] mutation-nix: collecting coverage for suite sydtest-mutation-example-gen
  152. 8.70 s [sydtest-mutation-example-gen] coverage (1/42): running Example\.DoLibSpec.greet.greets quietly
  153. 8.70 s [sydtest-mutation-example-gen] coverage (2/42): running Example\.DoLibSpec.greet.greets loudly
  154. 8.70 s [sydtest-mutation-example-gen] coverage (3/42): running Example\.ExceptionLibSpec.addOneModuleDisabled.increments by one
  155. 8.70 s [sydtest-mutation-example-gen] coverage (4/42): running Example\.LocalDisableLibSpec.withInnerKept.is True when given False
  156. 8.70 s [sydtest-mutation-example-gen] coverage (7/42): running Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is True when given False
  157. 8.70 s [sydtest-mutation-example-gen] coverage (8/42): running Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (False -> True)
  158. 8.71 s [sydtest-mutation-example-gen] coverage (5/42): running Example\.LocalDisableLibSpec.withInnerKept.is False when given True
  159. 8.71 s [sydtest-mutation-example-gen] coverage (6/42): running Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is False when given True
  160. 8.71 s [sydtest-mutation-example-gen] coverage (9/42): running Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (True -> False)
  161. 8.71 s [sydtest-mutation-example-gen] coverage (12/42): running Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (False -> True)
  162. 8.71 s [sydtest-mutation-example-gen] coverage (11/42): running Example\.LocalDisableLibSpec.withInnerDisabled.is True when given False
  163. 8.71 s [sydtest-mutation-example-gen] coverage (10/42): running Example\.LocalDisableLibSpec.withInnerDisabled.is False when given True
  164. 8.71 s [sydtest-mutation-example-gen] coverage (13/42): running Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (True -> False)
  165. 8.71 s [sydtest-mutation-example-gen] coverage (16/42): running Example\.BoolLibSpec.negateWrapped.negates Just True to Just False
  166. 8.71 s [sydtest-mutation-example-gen] coverage (15/42): running Example\.BoolLibSpec.wrapFalse.is Just False
  167. 8.71 s [sydtest-mutation-example-gen] coverage (17/42): running Example\.BoolLibSpec.negateWrapped.leaves Nothing as Nothing
  168. 8.71 s [sydtest-mutation-example-gen] coverage (14/42): running Example\.BoolLibSpec.wrapTrue.is Just True
  169. 8.71 s [sydtest-mutation-example-gen] coverage (19/42): running Example\.ListLibSpec.pairConcat.preserves the order
  170. 8.71 s [sydtest-mutation-example-gen] coverage (20/42): running Example\.ListLibSpec.pairConcat.concatenates both arguments
  171. 8.71 s [sydtest-mutation-example-gen] coverage (21/42): running Example\.ListLibSpec.tripleConcat.distinguishes the last element
  172. 8.71 s [sydtest-mutation-example-gen] coverage (18/42): running Example\.BoolLibSpec.negateWrapped.negates Just False to Just True
  173. 8.71 s [sydtest-mutation-example-gen] coverage (22/42): running Example\.ListLibSpec.tripleConcat.distinguishes the first element
  174. 8.71 s [sydtest-mutation-example-gen] coverage (23/42): running Example\.ListLibSpec.tripleConcat.concatenates all three arguments
  175. 8.71 s [sydtest-mutation-example-gen] coverage (24/42): running Example\.CaseLibSpec.describeList.describes singleton lists
  176. 8.71 s [sydtest-mutation-example-gen] coverage (25/42): running Example\.CaseLibSpec.describeList.describes longer lists
  177. 8.71 s [sydtest-mutation-example-gen] coverage (27/42): running Example\.LibSpec.addOne.returns 6 for input 5
  178. 8.71 s [sydtest-mutation-example-gen] coverage (26/42): running Example\.CaseLibSpec.describeList.describes empty lists
  179. 8.71 s [sydtest-mutation-example-gen] coverage (28/42): running Example\.LibSpec.addOne.returns 2 for input 1
  180. 8.75 s [sydtest-mutation-example-gen] coverage (5/42): done Example\.LocalDisableLibSpec.withInnerKept.is False when given True (12 mutations)
  181. 8.75 s [sydtest-mutation-example-gen] coverage (29/42): running Example\.OtherwiseLibSpec.classify.classifies negative numbers
  182. 8.75 s [sydtest-mutation-example-gen] coverage (6/42): done Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is False when given True (8 mutations)
  183. 8.75 s [sydtest-mutation-example-gen] coverage (1/42): done Example\.DoLibSpec.greet.greets quietly (5 mutations)
  184. 8.75 s [sydtest-mutation-example-gen] coverage (2/42): done Example\.DoLibSpec.greet.greets loudly (5 mutations)
  185. 8.75 s [sydtest-mutation-example-gen] coverage (31/42): running Example\.OtherwiseLibSpec.classify.classifies zero
  186. 8.75 s [sydtest-mutation-example-gen] coverage (32/42): running Example\.FunctionExceptionLibSpec.addOneArithDisabled.increments by one
  187. 8.75 s [sydtest-mutation-example-gen] coverage (16/42): done Example\.BoolLibSpec.negateWrapped.negates Just True to Just False (0 mutations)
  188. 8.76 s [sydtest-mutation-example-gen] coverage (34/42): running Example\.FunctionExceptionLibSpec.addOneFunctionDisabled.increments by one
  189. 8.76 s [sydtest-mutation-example-gen] coverage (30/42): running Example\.OtherwiseLibSpec.classify.classifies positive numbers
  190. 8.76 s [sydtest-mutation-example-gen] coverage (4/42): done Example\.LocalDisableLibSpec.withInnerKept.is True when given False (12 mutations)
  191. 8.76 s [sydtest-mutation-example-gen] coverage (33/42): running Example\.FunctionExceptionLibSpec.addOneArithAndIntLitDisabled.increments by one
  192. 8.76 s [sydtest-mutation-example-gen] coverage (18/42): done Example\.BoolLibSpec.negateWrapped.negates Just False to Just True (0 mutations)
  193. 8.76 s [sydtest-mutation-example-gen] coverage (37/42): running Example\.LogicLibSpec.eitherPositive.is True when only the first is positive
  194. 8.77 s [sydtest-mutation-example-gen] coverage (11/42): done Example\.LocalDisableLibSpec.withInnerDisabled.is True when given False (6 mutations)
  195. 8.77 s [sydtest-mutation-example-gen] coverage (27/42): done Example\.LibSpec.addOne.returns 6 for input 5 (4 mutations)
  196. 8.77 s [sydtest-mutation-example-gen] coverage (36/42): running Example\.LogicLibSpec.eitherPositive.is False when neither is positive
  197. 8.77 s [sydtest-mutation-example-gen] coverage (35/42): running Example\.LogicLibSpec.eitherPositive.is True when only the second is positive
  198. 8.78 s [sydtest-mutation-example-gen] coverage (7/42): done Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is True when given False (8 mutations)
  199. 8.78 s [sydtest-mutation-example-gen] coverage (38/42): running Example\.LogicLibSpec.eitherPositive.is True when both are positive
  200. 8.78 s [sydtest-mutation-example-gen] coverage (24/42): done Example\.CaseLibSpec.describeList.describes singleton lists (3 mutations)
  201. 8.78 s [sydtest-mutation-example-gen] coverage (40/42): running Example\.LogicLibSpec.bothPositive.is True when both are positive
  202. 8.78 s [sydtest-mutation-example-gen] coverage (10/42): done Example\.LocalDisableLibSpec.withInnerDisabled.is False when given True (6 mutations)
  203. 8.78 s [sydtest-mutation-example-gen] coverage (39/42): running Example\.LogicLibSpec.bothPositive.is False when only the first is positive
  204. 8.78 s [sydtest-mutation-example-gen] coverage (9/42): done Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (True -> False) (6 mutations)
  205. 8.78 s [sydtest-mutation-example-gen] coverage (22/42): done Example\.ListLibSpec.tripleConcat.distinguishes the first element (3 mutations)
  206. 8.78 s [sydtest-mutation-example-gen] coverage (41/42): running Example\.LogicLibSpec.bothPositive.is False when only the second is positive
  207. 8.78 s [sydtest-mutation-example-gen] coverage (20/42): done Example\.ListLibSpec.pairConcat.concatenates both arguments (2 mutations)
  208. 8.78 s [sydtest-mutation-example-gen] coverage (17/42): done Example\.BoolLibSpec.negateWrapped.leaves Nothing as Nothing (0 mutations)
  209. 8.78 s [sydtest-mutation-example-gen] coverage (42/42): running Example\.LogicLibSpec.bothPositive.is False when neither is positive
  210. 8.78 s [sydtest-mutation-example-gen] coverage (3/42): done Example\.ExceptionLibSpec.addOneModuleDisabled.increments by one (0 mutations)
  211. 8.78 s [sydtest-mutation-example-gen] coverage (23/42): done Example\.ListLibSpec.tripleConcat.concatenates all three arguments (3 mutations)
  212. 8.79 s [sydtest-mutation-example-gen] coverage (15/42): done Example\.BoolLibSpec.wrapFalse.is Just False (2 mutations)
  213. 8.79 s [sydtest-mutation-example-gen] coverage (31/42): done Example\.OtherwiseLibSpec.classify.classifies zero (9 mutations)
  214. 8.79 s [sydtest-mutation-example-gen] coverage (8/42): done Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (False -> True) (6 mutations)
  215. 8.79 s [sydtest-mutation-example-gen] coverage (13/42): done Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (True -> False) (3 mutations)
  216. 8.79 s [sydtest-mutation-example-gen] coverage (14/42): done Example\.BoolLibSpec.wrapTrue.is Just True (2 mutations)
  217. 8.80 s [sydtest-mutation-example-gen] coverage (25/42): done Example\.CaseLibSpec.describeList.describes longer lists (3 mutations)
  218. 8.80 s [sydtest-mutation-example-gen] coverage (12/42): done Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (False -> True) (3 mutations)
  219. 8.80 s [sydtest-mutation-example-gen] coverage (21/42): done Example\.ListLibSpec.tripleConcat.distinguishes the last element (3 mutations)
  220. 8.80 s [sydtest-mutation-example-gen] coverage (26/42): done Example\.CaseLibSpec.describeList.describes empty lists (3 mutations)
  221. 8.80 s [sydtest-mutation-example-gen] coverage (28/42): done Example\.LibSpec.addOne.returns 2 for input 1 (4 mutations)
  222. 8.80 s [sydtest-mutation-example-gen] coverage (33/42): done Example\.FunctionExceptionLibSpec.addOneArithAndIntLitDisabled.increments by one (0 mutations)
  223. 8.80 s [sydtest-mutation-example-gen] coverage (29/42): done Example\.OtherwiseLibSpec.classify.classifies negative numbers (6 mutations)
  224. 8.80 s [sydtest-mutation-example-gen] coverage (19/42): done Example\.ListLibSpec.pairConcat.preserves the order (2 mutations)
  225. 8.81 s [sydtest-mutation-example-gen] coverage (36/42): done Example\.LogicLibSpec.eitherPositive.is False when neither is positive (18 mutations)
  226. 8.81 s [sydtest-mutation-example-gen] coverage (34/42): done Example\.FunctionExceptionLibSpec.addOneFunctionDisabled.increments by one (0 mutations)
  227. 8.81 s [sydtest-mutation-example-gen] coverage (42/42): done Example\.LogicLibSpec.bothPositive.is False when neither is positive (11 mutations)
  228. 8.81 s [sydtest-mutation-example-gen] coverage (38/42): done Example\.LogicLibSpec.eitherPositive.is True when both are positive (11 mutations)
  229. 8.81 s [sydtest-mutation-example-gen] coverage (32/42): done Example\.FunctionExceptionLibSpec.addOneArithDisabled.increments by one (2 mutations)
  230. 8.81 s [sydtest-mutation-example-gen] coverage (40/42): done Example\.LogicLibSpec.bothPositive.is True when both are positive (18 mutations)
  231. 8.82 s [sydtest-mutation-example-gen] coverage (35/42): done Example\.LogicLibSpec.eitherPositive.is True when only the second is positive (18 mutations)
  232. 8.82 s [sydtest-mutation-example-gen] coverage (30/42): done Example\.OtherwiseLibSpec.classify.classifies positive numbers (9 mutations)
  233. 8.82 s [sydtest-mutation-example-gen] coverage (39/42): done Example\.LogicLibSpec.bothPositive.is False when only the first is positive (18 mutations)
  234. 8.82 s [sydtest-mutation-example-gen] coverage (41/42): done Example\.LogicLibSpec.bothPositive.is False when only the second is positive (11 mutations)
  235. 8.82 s [sydtest-mutation-example-gen] coverage (37/42): done Example\.LogicLibSpec.eitherPositive.is True when only the first is positive (11 mutations)
  236. 8.84 s [sydtest-mutation-example-gen] mutation-nix: running mutations
  237. 8.87 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/FunctionExceptionLib.hs:15:29-30 #1
  238. 8.87 s [sydtest-mutation-example-gen] @@ -12,7 +12,7 @@
  239. 8.87 s [sydtest-mutation-example-gen] -- IntLit mutations (replacing the literal @1@) still apply.
  240. 8.87 s [sydtest-mutation-example-gen] {-# ANN addOneArithDisabled ("DisableMutation: Arith" :: String) #-}
  241. 8.87 s [sydtest-mutation-example-gen] addOneArithDisabled :: Int -> Int
  242. 8.87 s [sydtest-mutation-example-gen] -addOneArithDisabled n = n + 1
  243. 8.87 s [sydtest-mutation-example-gen] +addOneArithDisabled n = n + 0
  244. 8.87 s [sydtest-mutation-example-gen]
  245. 8.87 s [sydtest-mutation-example-gen] -- | Both Arith and IntLit mutations disabled on this function.
  246. 8.87 s [sydtest-mutation-example-gen] {-# ANN addOneArithAndIntLitDisabled ("DisableMutations: Arith, IntLit" :: String) #-}
  247. 8.87 s [sydtest-mutation-example-gen] Testing mutation BoolLit at src/Example/BoolLib.hs:12:17-21 #1
  248. 8.87 s [sydtest-mutation-example-gen] @@ -9,7 +9,7 @@
  249. 8.87 s [sydtest-mutation-example-gen] --
  250. 8.87 s [sydtest-mutation-example-gen] -- Mutation sites: BoolLit/ConstBool on the inner True, MaybeOp on Just True.
  251. 8.87 s [sydtest-mutation-example-gen] wrapTrue :: Maybe Bool
  252. 8.87 s [sydtest-mutation-example-gen] -wrapTrue = Just True
  253. 8.87 s [sydtest-mutation-example-gen] +wrapTrue = Just False
  254. 8.87 s [sydtest-mutation-example-gen]
  255. 8.87 s [sydtest-mutation-example-gen] -- | Wraps False in Just.
  256. 8.87 s [sydtest-mutation-example-gen] --
  257. 8.87 s [sydtest-mutation-example-gen] Testing mutation BoolLit at src/Example/BoolLib.hs:18:18-23 #1
  258. 8.87 s [sydtest-mutation-example-gen] @@ -15,7 +15,7 @@
  259. 8.87 s [sydtest-mutation-example-gen] --
  260. 8.87 s [sydtest-mutation-example-gen] -- Mutation sites: BoolLit/ConstBool on the inner False, MaybeOp on Just False.
  261. 8.87 s [sydtest-mutation-example-gen] wrapFalse :: Maybe Bool
  262. 8.87 s [sydtest-mutation-example-gen] -wrapFalse = Just False
  263. 8.87 s [sydtest-mutation-example-gen] +wrapFalse = Just True
  264. 8.87 s [sydtest-mutation-example-gen]
  265. 8.87 s [sydtest-mutation-example-gen] -- | Negates a wrapped boolean.
  266. 8.87 s [sydtest-mutation-example-gen] negateWrapped :: Maybe Bool -> Maybe Bool
  267. 8.87 s [sydtest-mutation-example-gen] Testing mutation MaybeOp at src/Example/BoolLib.hs:18:13-23 #1
  268. 8.87 s [sydtest-mutation-example-gen] @@ -15,7 +15,7 @@
  269. 8.87 s [sydtest-mutation-example-gen] --
  270. 8.87 s [sydtest-mutation-example-gen] -- Mutation sites: BoolLit/ConstBool on the inner False, MaybeOp on Just False.
  271. 8.87 s [sydtest-mutation-example-gen] wrapFalse :: Maybe Bool
  272. 8.87 s [sydtest-mutation-example-gen] -wrapFalse = Just False
  273. 8.87 s [sydtest-mutation-example-gen] +wrapFalse = Nothing
  274. 8.87 s [sydtest-mutation-example-gen]
  275. 8.87 s [sydtest-mutation-example-gen] -- | Negates a wrapped boolean.
  276. 8.87 s [sydtest-mutation-example-gen] negateWrapped :: Maybe Bool -> Maybe Bool
  277. 8.87 s [sydtest-mutation-example-gen] Testing mutation MaybeOp at src/Example/BoolLib.hs:12:12-21 #1
  278. 8.87 s [sydtest-mutation-example-gen] @@ -9,7 +9,7 @@
  279. 8.87 s [sydtest-mutation-example-gen] --
  280. 8.87 s [sydtest-mutation-example-gen] -- Mutation sites: BoolLit/ConstBool on the inner True, MaybeOp on Just True.
  281. 8.87 s [sydtest-mutation-example-gen] wrapTrue :: Maybe Bool
  282. 8.87 s [sydtest-mutation-example-gen] -wrapTrue = Just True
  283. 8.87 s [sydtest-mutation-example-gen] +wrapTrue = Nothing
  284. 8.87 s [sydtest-mutation-example-gen]
  285. 8.87 s [sydtest-mutation-example-gen] -- | Wraps False in Just.
  286. 8.87 s [sydtest-mutation-example-gen] --
  287. 8.88 s [sydtest-mutation-example-gen] Testing mutation RemoveAction at src/Example/DoLib.hs:12:10-16 #1
  288. 8.88 s [sydtest-mutation-example-gen] @@ -9,7 +9,6 @@
  289. 8.88 s [sydtest-mutation-example-gen] greet loud = execWriter go
  290. 8.88 s [sydtest-mutation-example-gen] where
  291. 8.88 s [sydtest-mutation-example-gen] go :: Writer String ()
  292. 8.88 s [sydtest-mutation-example-gen] go = do
  293. 8.88 s [sydtest-mutation-example-gen] - tell "Hello"
  294. 8.88 s [sydtest-mutation-example-gen] if loud then tell "!" else pure ()
  295. 8.88 s [sydtest-mutation-example-gen] tell "\n"
  296. 8.88 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/DoLib.hs:14:10-14 #1
  297. 8.88 s [sydtest-mutation-example-gen] @@ -11,5 +11,5 @@
  298. 8.88 s [sydtest-mutation-example-gen] go :: Writer String ()
  299. 8.88 s [sydtest-mutation-example-gen] go = do
  300. 8.88 s [sydtest-mutation-example-gen] tell "Hello"
  301. 8.88 s [sydtest-mutation-example-gen] - if loud then tell "!" else pure ()
  302. 8.88 s [sydtest-mutation-example-gen] + if True then tell "!" else pure ()
  303. 8.88 s [sydtest-mutation-example-gen] tell "\n"
  304. 8.88 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/LogicLib.hs:17:26-27 #1
  305. 8.88 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  306. 8.88 s [sydtest-mutation-example-gen] --
  307. 8.88 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  308. 8.88 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  309. 8.88 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  310. 8.88 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 1 || b > 0
  311. 8.88 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/DoLib.hs:14:10-14 #1
  312. 8.88 s [sydtest-mutation-example-gen] @@ -11,5 +11,5 @@
  313. 8.88 s [sydtest-mutation-example-gen] go :: Writer String ()
  314. 8.88 s [sydtest-mutation-example-gen] go = do
  315. 8.88 s [sydtest-mutation-example-gen] tell "Hello"
  316. 8.88 s [sydtest-mutation-example-gen] - if loud then tell "!" else pure ()
  317. 8.88 s [sydtest-mutation-example-gen] + if not (loud) then tell "!" else pure ()
  318. 8.88 s [sydtest-mutation-example-gen] tell "\n"
  319. 8.88 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/LogicLib.hs:17:35-36 #1
  320. 8.88 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  321. 8.88 s [sydtest-mutation-example-gen] --
  322. 8.88 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  323. 8.88 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  324. 8.88 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  325. 8.88 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || b > 1
  326. 8.88 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-27 #1
  327. 8.88 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  328. 8.88 s [sydtest-mutation-example-gen] --
  329. 8.88 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  330. 8.88 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  331. 8.88 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  332. 8.88 s [sydtest-mutation-example-gen] +eitherPositive a b = True || b > 0
  333. 8.88 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:22-27 #1
  334. 8.88 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  335. 8.88 s [sydtest-mutation-example-gen] --
  336. 8.88 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  337. 8.88 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  338. 8.88 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  339. 8.88 s [sydtest-mutation-example-gen] +eitherPositive a b = a < 0 || b > 0
  340. 8.88 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:17:22-27 #1
  341. 8.88 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  342. 8.88 s [sydtest-mutation-example-gen] --
  343. 8.88 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  344. 8.88 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  345. 8.88 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  346. 8.88 s [sydtest-mutation-example-gen] +eitherPositive a b = not (a > 0) || b > 0
  347. 8.88 s [sydtest-mutation-example-gen] Testing mutation RemoveAction at src/Example/DoLib.hs:14:7-41 #1
  348. 8.88 s [sydtest-mutation-example-gen] @@ -11,5 +11,4 @@
  349. 8.88 s [sydtest-mutation-example-gen] go :: Writer String ()
  350. 8.88 s [sydtest-mutation-example-gen] go = do
  351. 8.88 s [sydtest-mutation-example-gen] tell "Hello"
  352. 8.88 s [sydtest-mutation-example-gen] - if loud then tell "!" else pure ()
  353. 8.88 s [sydtest-mutation-example-gen] tell "\n"
  354. 8.88 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:17:31-36 #1
  355. 8.88 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  356. 8.88 s [sydtest-mutation-example-gen] --
  357. 8.88 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  358. 8.88 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  359. 8.88 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  360. 8.88 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || not (b > 0)
  361. 8.88 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:31-36 #1
  362. 8.88 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  363. 8.88 s [sydtest-mutation-example-gen] --
  364. 8.88 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  365. 8.88 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  366. 8.88 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  367. 8.88 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || b < 0
  368. 8.88 s [sydtest-mutation-example-gen] Testing mutation LogicOp at src/Example/LogicLib.hs:17:22-36 #1
  369. 8.88 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  370. 8.88 s [sydtest-mutation-example-gen] --
  371. 8.88 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  372. 8.88 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  373. 8.88 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  374. 8.88 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 && b > 0
  375. 8.88 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/LogicLib.hs:11:24-25 #1
  376. 8.88 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  377. 8.88 s [sydtest-mutation-example-gen] --
  378. 8.88 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  379. 8.88 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  380. 8.88 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  381. 8.88 s [sydtest-mutation-example-gen] +bothPositive a b = a > 1 && b > 0
  382. 8.88 s [sydtest-mutation-example-gen]
  383. 8.88 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  384. 8.88 s [sydtest-mutation-example-gen] --
  385. 8.88 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:20-25 #1
  386. 8.88 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  387. 8.88 s [sydtest-mutation-example-gen] --
  388. 8.88 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  389. 8.88 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  390. 8.88 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  391. 8.88 s [sydtest-mutation-example-gen] +bothPositive a b = a < 0 && b > 0
  392. 8.88 s [sydtest-mutation-example-gen]
  393. 8.88 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  394. 8.88 s [sydtest-mutation-example-gen] --
  395. 8.88 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:17:22-36 #1
  396. 8.88 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  397. 8.88 s [sydtest-mutation-example-gen] --
  398. 8.88 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  399. 8.88 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  400. 8.88 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  401. 8.88 s [sydtest-mutation-example-gen] +eitherPositive a b = not (a > 0 || b > 0)
  402. 8.88 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:29-34 #1
  403. 8.88 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  404. 8.88 s [sydtest-mutation-example-gen] --
  405. 8.88 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  406. 8.88 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  407. 8.88 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  408. 8.88 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 && b < 0
  409. 8.88 s [sydtest-mutation-example-gen]
  410. 8.88 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  411. 8.88 s [sydtest-mutation-example-gen] --
  412. 8.88 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:11:20-25 #1
  413. 8.88 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  414. 8.88 s [sydtest-mutation-example-gen] --
  415. 8.88 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  416. 8.88 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  417. 8.97 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  418. 8.97 s [sydtest-mutation-example-gen] +bothPositive a b = not (a > 0) && b > 0
  419. 8.97 s [sydtest-mutation-example-gen]
  420. 8.97 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  421. 8.97 s [sydtest-mutation-example-gen] --
  422. 8.97 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/LogicLib.hs:11:33-34 #1
  423. 8.97 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  424. 8.97 s [sydtest-mutation-example-gen] --
  425. 8.97 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  426. 8.97 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  427. 8.97 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  428. 8.97 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 && b > 1
  429. 8.97 s [sydtest-mutation-example-gen]
  430. 8.97 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  431. 8.97 s [sydtest-mutation-example-gen] --
  432. 8.97 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:31-36 #1
  433. 8.97 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  434. 8.97 s [sydtest-mutation-example-gen] --
  435. 8.97 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  436. 8.97 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  437. 8.97 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  438. 8.97 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || True
  439. 8.97 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:11:29-34 #1
  440. 8.97 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  441. 8.97 s [sydtest-mutation-example-gen] --
  442. 8.97 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  443. 8.97 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  444. 8.97 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  445. 8.97 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 && not (b > 0)
  446. 8.97 s [sydtest-mutation-example-gen]
  447. 8.97 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  448. 8.97 s [sydtest-mutation-example-gen] --
  449. 8.97 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-36 #1
  450. 8.97 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  451. 8.98 s [sydtest-mutation-example-gen] --
  452. 8.98 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  453. 8.98 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  454. 8.98 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  455. 8.98 s [sydtest-mutation-example-gen] +eitherPositive a b = True
  456. 8.98 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:29-34 #1
  457. 8.98 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  458. 8.98 s [sydtest-mutation-example-gen] --
  459. 8.98 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  460. 8.98 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  461. 8.98 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  462. 8.98 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 && True
  463. 8.98 s [sydtest-mutation-example-gen]
  464. 8.98 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  465. 8.98 s [sydtest-mutation-example-gen] --
  466. 8.98 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-25 #1
  467. 8.98 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  468. 8.98 s [sydtest-mutation-example-gen] --
  469. 8.98 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  470. 8.98 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  471. 8.98 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  472. 8.98 s [sydtest-mutation-example-gen] +bothPositive a b = True && b > 0
  473. 8.98 s [sydtest-mutation-example-gen]
  474. 8.98 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  475. 8.98 s [sydtest-mutation-example-gen] --
  476. 8.98 s [sydtest-mutation-example-gen] Testing mutation LogicOp at src/Example/LogicLib.hs:11:20-34 #1
  477. 8.98 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  478. 8.98 s [sydtest-mutation-example-gen] --
  479. 8.98 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  480. 8.98 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  481. 8.98 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  482. 8.98 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 || b > 0
  483. 8.98 s [sydtest-mutation-example-gen]
  484. 8.98 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  485. 8.98 s [sydtest-mutation-example-gen] --
  486. 8.98 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-34 #1
  487. 8.98 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  488. 8.98 s [sydtest-mutation-example-gen] --
  489. 8.98 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  490. 8.98 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  491. 8.98 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  492. 8.98 s [sydtest-mutation-example-gen] +bothPositive a b = True
  493. 8.98 s [sydtest-mutation-example-gen]
  494. 8.98 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  495. 8.98 s [sydtest-mutation-example-gen] --
  496. 8.98 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:11:20-34 #1
  497. 8.98 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  498. 8.98 s [sydtest-mutation-example-gen] --
  499. 8.98 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  500. 8.98 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  501. 8.98 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  502. 8.98 s [sydtest-mutation-example-gen] +bothPositive a b = not (a > 0 && b > 0)
  503. 8.98 s [sydtest-mutation-example-gen]
  504. 8.98 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  505. 8.98 s [sydtest-mutation-example-gen] --
  506. 8.98 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/Lib.hs:8:16-17 #1
  507. 8.98 s [sydtest-mutation-example-gen] @@ -5,4 +5,4 @@
  508. 8.98 s [sydtest-mutation-example-gen] -- The literal '1' here is a mutation site: the plugin will also compile a
  509. 8.98 s [sydtest-mutation-example-gen] -- version where this returns @n + 0@ instead of @n + 1@.
  510. 8.98 s [sydtest-mutation-example-gen] addOne :: Int -> Int
  511. 8.98 s [sydtest-mutation-example-gen] -addOne n = n + 1
  512. 8.98 s [sydtest-mutation-example-gen] +addOne n = n + 0
  513. 8.98 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LocalDisableLib.hs:58:19-20 #1
  514. 8.98 s [sydtest-mutation-example-gen] @@ -55,5 +55,5 @@
  515. 8.98 s [sydtest-mutation-example-gen] -- @toggle b@ is fully instrumented.
  516. 8.98 s [sydtest-mutation-example-gen] withBindKept :: (Bool -> IO Bool) -> Bool -> IO Bool
  517. 8.99 s [sydtest-mutation-example-gen] withBindKept toggle b = do
  518. 8.99 s [sydtest-mutation-example-gen] - inner <- toggle b
  519. 8.99 s [sydtest-mutation-example-gen] + inner <- toggle not (b)
  520. 8.99 s [sydtest-mutation-example-gen] pure inner
  521. 8.99 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:59:8-13 #1
  522. 8.99 s [sydtest-mutation-example-gen] @@ -56,4 +56,4 @@
  523. 8.99 s [sydtest-mutation-example-gen] withBindKept :: (Bool -> IO Bool) -> Bool -> IO Bool
  524. 8.99 s [sydtest-mutation-example-gen] withBindKept toggle b = do
  525. 8.99 s [sydtest-mutation-example-gen] inner <- toggle b
  526. 8.99 s [sydtest-mutation-example-gen] - pure inner
  527. 8.99 s [sydtest-mutation-example-gen] + pure True
  528. 8.99 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:52:8-13 #1
  529. 8.99 s [sydtest-mutation-example-gen] @@ -49,7 +49,7 @@
  530. 8.99 s [sydtest-mutation-example-gen] withBindDisabled :: (Bool -> IO Bool) -> Bool -> IO Bool
  531. 8.99 s [sydtest-mutation-example-gen] withBindDisabled toggle b = do
  532. 8.99 s [sydtest-mutation-example-gen] inner <- toggle b
  533. 8.99 s [sydtest-mutation-example-gen] - pure inner
  534. 8.99 s [sydtest-mutation-example-gen] + pure True
  535. 8.99 s [sydtest-mutation-example-gen]
  536. 8.99 s [sydtest-mutation-example-gen] -- | Control for 'withBindDisabled': no disable annotation, so the RHS
  537. 8.99 s [sydtest-mutation-example-gen] -- @toggle b@ is fully instrumented.
  538. 8.99 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:36:19-20 #1
  539. 8.99 s [sydtest-mutation-example-gen] @@ -33,7 +33,7 @@
  540. 8.99 s [sydtest-mutation-example-gen] -- on the @inner@ binding's RHS.
  541. 8.99 s [sydtest-mutation-example-gen] withInnerKept :: Bool -> Bool
  542. 8.99 s [sydtest-mutation-example-gen] withInnerKept b =
  543. 8.99 s [sydtest-mutation-example-gen] - let inner = not b
  544. 8.99 s [sydtest-mutation-example-gen] + let inner = not True
  545. 8.99 s [sydtest-mutation-example-gen] in inner
  546. 8.99 s [sydtest-mutation-example-gen]
  547. 8.99 s [sydtest-mutation-example-gen] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  548. 8.99 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LocalDisableLib.hs:59:8-13 #1
  549. 8.99 s [sydtest-mutation-example-gen] @@ -56,4 +56,4 @@
  550. 8.99 s [sydtest-mutation-example-gen] withBindKept :: (Bool -> IO Bool) -> Bool -> IO Bool
  551. 8.99 s [sydtest-mutation-example-gen] withBindKept toggle b = do
  552. 8.99 s [sydtest-mutation-example-gen] inner <- toggle b
  553. 8.99 s [sydtest-mutation-example-gen] - pure inner
  554. 8.99 s [sydtest-mutation-example-gen] + pure not (inner)
  555. 8.99 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LocalDisableLib.hs:36:19-20 #1
  556. 8.99 s [sydtest-mutation-example-gen] @@ -33,7 +33,7 @@
  557. 8.99 s [sydtest-mutation-example-gen] -- on the @inner@ binding's RHS.
  558. 8.99 s [sydtest-mutation-example-gen] withInnerKept :: Bool -> Bool
  559. 8.99 s [sydtest-mutation-example-gen] withInnerKept b =
  560. 8.99 s [sydtest-mutation-example-gen] - let inner = not b
  561. 8.99 s [sydtest-mutation-example-gen] + let inner = not not (b)
  562. 8.99 s [sydtest-mutation-example-gen] in inner
  563. 8.99 s [sydtest-mutation-example-gen]
  564. 8.99 s [sydtest-mutation-example-gen] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  565. 8.99 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LocalDisableLib.hs:52:8-13 #1
  566. 8.99 s [sydtest-mutation-example-gen] @@ -49,7 +49,7 @@
  567. 8.99 s [sydtest-mutation-example-gen] withBindDisabled :: (Bool -> IO Bool) -> Bool -> IO Bool
  568. 8.99 s [sydtest-mutation-example-gen] withBindDisabled toggle b = do
  569. 8.99 s [sydtest-mutation-example-gen] inner <- toggle b
  570. 8.99 s [sydtest-mutation-example-gen] - pure inner
  571. 8.99 s [sydtest-mutation-example-gen] + pure not (inner)
  572. 8.99 s [sydtest-mutation-example-gen]
  573. 8.99 s [sydtest-mutation-example-gen] -- | Control for 'withBindDisabled': no disable annotation, so the RHS
  574. 8.99 s [sydtest-mutation-example-gen] -- @toggle b@ is fully instrumented.
  575. 8.99 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:36:15-20 #1
  576. 8.99 s [sydtest-mutation-example-gen] @@ -33,7 +33,7 @@
  577. 8.99 s [sydtest-mutation-example-gen] -- on the @inner@ binding's RHS.
  578. 8.99 s [sydtest-mutation-example-gen] withInnerKept :: Bool -> Bool
  579. 8.99 s [sydtest-mutation-example-gen] withInnerKept b =
  580. 8.99 s [sydtest-mutation-example-gen] - let inner = not b
  581. 8.99 s [sydtest-mutation-example-gen] + let inner = True
  582. 8.99 s [sydtest-mutation-example-gen] in inner
  583. 8.99 s [sydtest-mutation-example-gen]
  584. 8.99 s [sydtest-mutation-example-gen] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  585. 8.99 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LocalDisableLib.hs:36:15-20 #1
  586. 8.99 s [sydtest-mutation-example-gen] @@ -33,7 +33,7 @@
  587. 8.99 s [sydtest-mutation-example-gen] -- on the @inner@ binding's RHS.
  588. 8.99 s [sydtest-mutation-example-gen] withInnerKept :: Bool -> Bool
  589. 8.99 s [sydtest-mutation-example-gen] withInnerKept b =
  590. 8.99 s [sydtest-mutation-example-gen] - let inner = not b
  591. 8.99 s [sydtest-mutation-example-gen] + let inner = not (not b)
  592. 9.00 s [sydtest-mutation-example-gen] in inner
  593. 9.00 s [sydtest-mutation-example-gen]
  594. 9.00 s [sydtest-mutation-example-gen] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  595. 9.00 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:37:7-12 #1
  596. 9.00 s [sydtest-mutation-example-gen] @@ -34,7 +34,7 @@
  597. 9.04 s [sydtest-mutation-example-gen] withInnerKept :: Bool -> Bool
  598. 9.04 s [sydtest-mutation-example-gen] withInnerKept b =
  599. 9.04 s [sydtest-mutation-example-gen] let inner = not b
  600. 9.04 s [sydtest-mutation-example-gen] - in inner
  601. 9.04 s [sydtest-mutation-example-gen] + in True
  602. 9.04 s [sydtest-mutation-example-gen]
  603. 9.04 s [sydtest-mutation-example-gen] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  604. 9.04 s [sydtest-mutation-example-gen] -- by a @do@-block @<-@ statement instead of a @let@. The annotation
  605. 9.04 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LocalDisableLib.hs:37:7-12 #1
  606. 9.04 s [sydtest-mutation-example-gen] @@ -34,7 +34,7 @@
  607. 9.04 s [sydtest-mutation-example-gen] withInnerKept :: Bool -> Bool
  608. 9.04 s [sydtest-mutation-example-gen] withInnerKept b =
  609. 9.04 s [sydtest-mutation-example-gen] let inner = not b
  610. 9.04 s [sydtest-mutation-example-gen] - in inner
  611. 9.04 s [sydtest-mutation-example-gen] + in not (inner)
  612. 9.04 s [sydtest-mutation-example-gen]
  613. 9.04 s [sydtest-mutation-example-gen] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  614. 9.04 s [sydtest-mutation-example-gen] -- by a @do@-block @<-@ statement instead of a @let@. The annotation
  615. 9.04 s [sydtest-mutation-example-gen] Testing mutation Arith at src/Example/Lib.hs:8:12-17 #1
  616. 9.04 s [sydtest-mutation-example-gen] @@ -5,4 +5,4 @@
  617. 9.04 s [sydtest-mutation-example-gen] -- The literal '1' here is a mutation site: the plugin will also compile a
  618. 9.04 s [sydtest-mutation-example-gen] -- version where this returns @n + 0@ instead of @n + 1@.
  619. 9.04 s [sydtest-mutation-example-gen] addOne :: Int -> Int
  620. 9.04 s [sydtest-mutation-example-gen] -addOne n = n + 1
  621. 9.04 s [sydtest-mutation-example-gen] +addOne n = n - 1
  622. 9.04 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:36:3-12 #1
  623. 9.04 s [sydtest-mutation-example-gen] @@ -33,8 +33,8 @@
  624. 9.05 s [sydtest-mutation-example-gen] -- on the @inner@ binding's RHS.
  625. 9.05 s [sydtest-mutation-example-gen] withInnerKept :: Bool -> Bool
  626. 9.05 s [sydtest-mutation-example-gen] withInnerKept b =
  627. 9.05 s [sydtest-mutation-example-gen] - let inner = not b
  628. 9.05 s [sydtest-mutation-example-gen] + True = not b
  629. 9.05 s [sydtest-mutation-example-gen] in inner
  630. 9.05 s [sydtest-mutation-example-gen]
  631. 9.05 s [sydtest-mutation-example-gen] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  632. 9.05 s [sydtest-mutation-example-gen] -- by a @do@-block @<-@ statement instead of a @let@. The annotation
  633. 9.05 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LocalDisableLib.hs:36:3-12 #1
  634. 9.05 s [sydtest-mutation-example-gen] @@ -33,8 +33,8 @@
  635. 9.05 s [sydtest-mutation-example-gen] -- on the @inner@ binding's RHS.
  636. 9.05 s [sydtest-mutation-example-gen] withInnerKept :: Bool -> Bool
  637. 9.05 s [sydtest-mutation-example-gen] withInnerKept b =
  638. 9.05 s [sydtest-mutation-example-gen] - let inner = not b
  639. 9.05 s [sydtest-mutation-example-gen] - in inner
  640. 9.05 s [sydtest-mutation-example-gen] + not (let inner = not b
  641. 9.05 s [sydtest-mutation-example-gen] + in inner)
  642. 9.05 s [sydtest-mutation-example-gen]
  643. 9.05 s [sydtest-mutation-example-gen] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  644. 9.05 s [sydtest-mutation-example-gen] -- by a @do@-block @<-@ statement instead of a @let@. The annotation
  645. 9.05 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LocalDisableLib.hs:29:19-20 #1
  646. 9.05 s [sydtest-mutation-example-gen] @@ -26,7 +26,7 @@
  647. 9.05 s [sydtest-mutation-example-gen] {-# ANN withInnerBoolLitDisabled ("DisableMutationsFor inner: ConstBool" :: String) #-}
  648. 9.05 s [sydtest-mutation-example-gen] withInnerBoolLitDisabled :: Bool -> Bool
  649. 9.05 s [sydtest-mutation-example-gen] withInnerBoolLitDisabled b =
  650. 9.05 s [sydtest-mutation-example-gen] - let inner = not b
  651. 9.05 s [sydtest-mutation-example-gen] + let inner = not not (b)
  652. 9.05 s [sydtest-mutation-example-gen] in inner
  653. 9.05 s [sydtest-mutation-example-gen]
  654. 9.05 s [sydtest-mutation-example-gen] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  655. 9.05 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LocalDisableLib.hs:29:15-20 #1
  656. 9.05 s [sydtest-mutation-example-gen] @@ -26,7 +26,7 @@
  657. 9.05 s [sydtest-mutation-example-gen] {-# ANN withInnerBoolLitDisabled ("DisableMutationsFor inner: ConstBool" :: String) #-}
  658. 9.05 s [sydtest-mutation-example-gen] withInnerBoolLitDisabled :: Bool -> Bool
  659. 9.05 s [sydtest-mutation-example-gen] withInnerBoolLitDisabled b =
  660. 9.05 s [sydtest-mutation-example-gen] - let inner = not b
  661. 9.05 s [sydtest-mutation-example-gen] + let inner = not (not b)
  662. 9.05 s [sydtest-mutation-example-gen] in inner
  663. 9.05 s [sydtest-mutation-example-gen]
  664. 9.05 s [sydtest-mutation-example-gen] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  665. 9.05 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:30:7-12 #1
  666. 9.05 s [sydtest-mutation-example-gen] @@ -27,7 +27,7 @@
  667. 9.05 s [sydtest-mutation-example-gen] withInnerBoolLitDisabled :: Bool -> Bool
  668. 9.05 s [sydtest-mutation-example-gen] withInnerBoolLitDisabled b =
  669. 9.05 s [sydtest-mutation-example-gen] let inner = not b
  670. 9.05 s [sydtest-mutation-example-gen] - in inner
  671. 9.05 s [sydtest-mutation-example-gen] + in True
  672. 9.05 s [sydtest-mutation-example-gen]
  673. 9.05 s [sydtest-mutation-example-gen] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  674. 9.05 s [sydtest-mutation-example-gen] -- on the @inner@ binding's RHS.
  675. 9.05 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LocalDisableLib.hs:30:7-12 #1
  676. 9.05 s [sydtest-mutation-example-gen] @@ -27,7 +27,7 @@
  677. 9.05 s [sydtest-mutation-example-gen] withInnerBoolLitDisabled :: Bool -> Bool
  678. 9.05 s [sydtest-mutation-example-gen] withInnerBoolLitDisabled b =
  679. 9.05 s [sydtest-mutation-example-gen] let inner = not b
  680. 9.05 s [sydtest-mutation-example-gen] - in inner
  681. 9.05 s [sydtest-mutation-example-gen] + in not (inner)
  682. 9.05 s [sydtest-mutation-example-gen]
  683. 9.05 s [sydtest-mutation-example-gen] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  684. 9.05 s [sydtest-mutation-example-gen] -- on the @inner@ binding's RHS.
  685. 9.05 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:58:19-20 #1
  686. 9.06 s [sydtest-mutation-example-gen] @@ -55,5 +55,5 @@
  687. 9.06 s [sydtest-mutation-example-gen] -- @toggle b@ is fully instrumented.
  688. 9.06 s [sydtest-mutation-example-gen] withBindKept :: (Bool -> IO Bool) -> Bool -> IO Bool
  689. 9.06 s [sydtest-mutation-example-gen] withBindKept toggle b = do
  690. 9.06 s [sydtest-mutation-example-gen] - inner <- toggle b
  691. 9.06 s [sydtest-mutation-example-gen] + inner <- toggle True
  692. 9.06 s [sydtest-mutation-example-gen] pure inner
  693. 9.06 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LocalDisableLib.hs:29:3-12 #1
  694. 9.06 s [sydtest-mutation-example-gen] @@ -26,8 +26,8 @@
  695. 9.06 s [sydtest-mutation-example-gen] {-# ANN withInnerBoolLitDisabled ("DisableMutationsFor inner: ConstBool" :: String) #-}
  696. 9.06 s [sydtest-mutation-example-gen] withInnerBoolLitDisabled :: Bool -> Bool
  697. 9.06 s [sydtest-mutation-example-gen] withInnerBoolLitDisabled b =
  698. 9.06 s [sydtest-mutation-example-gen] - let inner = not b
  699. 9.06 s [sydtest-mutation-example-gen] - in inner
  700. 9.06 s [sydtest-mutation-example-gen] + not (let inner = not b
  701. 9.06 s [sydtest-mutation-example-gen] + in inner)
  702. 9.06 s [sydtest-mutation-example-gen]
  703. 9.06 s [sydtest-mutation-example-gen] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  704. 9.06 s [sydtest-mutation-example-gen] -- on the @inner@ binding's RHS.
  705. 9.06 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:29:3-12 #1
  706. 9.06 s [sydtest-mutation-example-gen] @@ -26,8 +26,8 @@
  707. 9.06 s [sydtest-mutation-example-gen] {-# ANN withInnerBoolLitDisabled ("DisableMutationsFor inner: ConstBool" :: String) #-}
  708. 9.06 s [sydtest-mutation-example-gen] withInnerBoolLitDisabled :: Bool -> Bool
  709. 9.06 s [sydtest-mutation-example-gen] withInnerBoolLitDisabled b =
  710. 9.06 s [sydtest-mutation-example-gen] - let inner = not b
  711. 9.06 s [sydtest-mutation-example-gen] + True = not b
  712. 9.06 s [sydtest-mutation-example-gen] in inner
  713. 9.06 s [sydtest-mutation-example-gen]
  714. 9.06 s [sydtest-mutation-example-gen] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  715. 9.06 s [sydtest-mutation-example-gen] -- on the @inner@ binding's RHS.
  716. 9.06 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LocalDisableLib.hs:21:7-12 #1
  717. 9.06 s [sydtest-mutation-example-gen] @@ -18,7 +18,7 @@
  718. 9.06 s [sydtest-mutation-example-gen] withInnerDisabled :: Bool -> Bool
  719. 9.06 s [sydtest-mutation-example-gen] withInnerDisabled b =
  720. 9.06 s [sydtest-mutation-example-gen] let inner = not b
  721. 9.06 s [sydtest-mutation-example-gen] - in inner
  722. 9.06 s [sydtest-mutation-example-gen] + in not (inner)
  723. 9.06 s [sydtest-mutation-example-gen]
  724. 9.06 s [sydtest-mutation-example-gen] -- | Like 'withInnerDisabled', but only @ConstBool@ is disabled inside
  725. 9.06 s [sydtest-mutation-example-gen] -- @inner@'s RHS. Other operators on @inner@'s RHS (notably the @Negate@
  726. 9.06 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:21:7-12 #1
  727. 9.06 s [sydtest-mutation-example-gen] @@ -18,7 +18,7 @@
  728. 9.06 s [sydtest-mutation-example-gen] withInnerDisabled :: Bool -> Bool
  729. 9.06 s [sydtest-mutation-example-gen] withInnerDisabled b =
  730. 9.06 s [sydtest-mutation-example-gen] let inner = not b
  731. 9.06 s [sydtest-mutation-example-gen] - in inner
  732. 9.06 s [sydtest-mutation-example-gen] + in True
  733. 9.06 s [sydtest-mutation-example-gen]
  734. 9.06 s [sydtest-mutation-example-gen] -- | Like 'withInnerDisabled', but only @ConstBool@ is disabled inside
  735. 9.06 s [sydtest-mutation-example-gen] -- @inner@'s RHS. Other operators on @inner@'s RHS (notably the @Negate@
  736. 9.06 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LocalDisableLib.hs:20:3-12 #1
  737. 9.06 s [sydtest-mutation-example-gen] @@ -17,8 +17,8 @@
  738. 9.06 s [sydtest-mutation-example-gen] {-# ANN withInnerDisabled ("DisableMutationsFor inner" :: String) #-}
  739. 9.06 s [sydtest-mutation-example-gen] withInnerDisabled :: Bool -> Bool
  740. 9.06 s [sydtest-mutation-example-gen] withInnerDisabled b =
  741. 9.06 s [sydtest-mutation-example-gen] - let inner = not b
  742. 9.06 s [sydtest-mutation-example-gen] - in inner
  743. 9.06 s [sydtest-mutation-example-gen] + not (let inner = not b
  744. 9.06 s [sydtest-mutation-example-gen] + in inner)
  745. 9.06 s [sydtest-mutation-example-gen]
  746. 9.06 s [sydtest-mutation-example-gen] -- | Like 'withInnerDisabled', but only @ConstBool@ is disabled inside
  747. 9.06 s [sydtest-mutation-example-gen] -- @inner@'s RHS. Other operators on @inner@'s RHS (notably the @Negate@
  748. 9.06 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:20:3-12 #1
  749. 9.06 s [sydtest-mutation-example-gen] @@ -17,8 +17,8 @@
  750. 9.06 s [sydtest-mutation-example-gen] {-# ANN withInnerDisabled ("DisableMutationsFor inner" :: String) #-}
  751. 9.06 s [sydtest-mutation-example-gen] withInnerDisabled :: Bool -> Bool
  752. 9.06 s [sydtest-mutation-example-gen] withInnerDisabled b =
  753. 9.06 s [sydtest-mutation-example-gen] - let inner = not b
  754. 9.06 s [sydtest-mutation-example-gen] + True = not b
  755. 9.06 s [sydtest-mutation-example-gen] in inner
  756. 9.06 s [sydtest-mutation-example-gen]
  757. 9.06 s [sydtest-mutation-example-gen] -- | Like 'withInnerDisabled', but only @ConstBool@ is disabled inside
  758. 9.06 s [sydtest-mutation-example-gen] -- @inner@'s RHS. Other operators on @inner@'s RHS (notably the @Negate@
  759. 9.06 s [sydtest-mutation-example-gen] Testing mutation ListLit at src/Example/ListLib.hs:19:29-38 #1
  760. 9.07 s [sydtest-mutation-example-gen] @@ -16,4 +16,3 @@
  761. 9.07 s [sydtest-mutation-example-gen] -- Mutation sites: ListLit produces an empty-list mutant, a drop-first mutant,
  762. 9.07 s [sydtest-mutation-example-gen] -- and a drop-last mutant on the literal @[a, b, c]@.
  763. 9.07 s [sydtest-mutation-example-gen] tripleConcat :: String -> String -> String -> String
  764. 9.07 s [sydtest-mutation-example-gen] -tripleConcat a b c = concat [a, b, c]
  765. 9.10 s [sydtest-mutation-example-gen] Testing mutation ListLit at src/Example/ListLib.hs:12:25-31 #1
  766. 9.10 s [sydtest-mutation-example-gen] @@ -9,7 +9,6 @@
  767. 9.10 s [sydtest-mutation-example-gen] -- Mutation sites: ListLit produces an empty-list mutant and a drop-first
  768. 9.10 s [sydtest-mutation-example-gen] -- mutant on the literal @[a, b]@.
  769. 9.10 s [sydtest-mutation-example-gen] pairConcat :: String -> String -> String
  770. 9.10 s [sydtest-mutation-example-gen] -pairConcat a b = concat [a, b]
  771. 9.10 s [sydtest-mutation-example-gen]
  772. 9.10 s [sydtest-mutation-example-gen] -- | Concatenate a three-element list of strings.
  773. 9.10 s [sydtest-mutation-example-gen] --
  774. 9.10 s [sydtest-mutation-example-gen] Testing mutation RemoveCase at src/Example/CaseLib.hs:7:19-16 #1
  775. 9.10 s [sydtest-mutation-example-gen] @@ -4,7 +4,6 @@
  776. 9.10 s [sydtest-mutation-example-gen] --
  777. 9.10 s [sydtest-mutation-example-gen] -- Mutation sites: RemoveCase removes one of the three alternatives.
  778. 9.10 s [sydtest-mutation-example-gen] describeList :: [a] -> String
  779. 9.10 s [sydtest-mutation-example-gen] describeList xs = case xs of
  780. 9.10 s [sydtest-mutation-example-gen] - [] -> "empty"
  781. 9.10 s [sydtest-mutation-example-gen] [_] -> "singleton"
  782. 9.10 s [sydtest-mutation-example-gen] _ -> "longer"
  783. 9.10 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/OtherwiseLib.hs:12:9-10 #1
  784. 9.10 s [sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
  785. 9.10 s [sydtest-mutation-example-gen] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  786. 9.10 s [sydtest-mutation-example-gen] classify :: Int -> String
  787. 9.10 s [sydtest-mutation-example-gen] classify n
  788. 9.10 s [sydtest-mutation-example-gen] - | n < 0 = "negative"
  789. 9.10 s [sydtest-mutation-example-gen] + | n < 1 = "negative"
  790. 9.10 s [sydtest-mutation-example-gen] | n == 0 = "zero"
  791. 9.10 s [sydtest-mutation-example-gen] | otherwise = "positive"
  792. 9.10 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10 #1
  793. 9.10 s [sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
  794. 9.10 s [sydtest-mutation-example-gen] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  795. 9.10 s [sydtest-mutation-example-gen] classify :: Int -> String
  796. 9.10 s [sydtest-mutation-example-gen] classify n
  797. 9.10 s [sydtest-mutation-example-gen] - | n < 0 = "negative"
  798. 9.10 s [sydtest-mutation-example-gen] + | n <= 0 = "negative"
  799. 9.10 s [sydtest-mutation-example-gen] | n == 0 = "zero"
  800. 9.10 s [sydtest-mutation-example-gen] | otherwise = "positive"
  801. 9.10 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/OtherwiseLib.hs:12:5-10 #1
  802. 9.10 s [sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
  803. 9.10 s [sydtest-mutation-example-gen] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  804. 9.11 s [sydtest-mutation-example-gen] classify :: Int -> String
  805. 9.11 s [sydtest-mutation-example-gen] classify n
  806. 9.11 s [sydtest-mutation-example-gen] - | n < 0 = "negative"
  807. 9.11 s [sydtest-mutation-example-gen] + | True = "negative"
  808. 9.11 s [sydtest-mutation-example-gen] | n == 0 = "zero"
  809. 9.11 s [sydtest-mutation-example-gen] | otherwise = "positive"
  810. 9.11 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/OtherwiseLib.hs:13:10-11 #1
  811. 9.11 s [sydtest-mutation-example-gen] @@ -10,5 +10,5 @@
  812. 9.11 s [sydtest-mutation-example-gen] classify :: Int -> String
  813. 9.11 s [sydtest-mutation-example-gen] classify n
  814. 9.11 s [sydtest-mutation-example-gen] | n < 0 = "negative"
  815. 9.11 s [sydtest-mutation-example-gen] - | n == 0 = "zero"
  816. 9.11 s [sydtest-mutation-example-gen] + | n == 1 = "zero"
  817. 9.11 s [sydtest-mutation-example-gen] | otherwise = "positive"
  818. 9.11 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/OtherwiseLib.hs:13:5-11 #1
  819. 9.11 s [sydtest-mutation-example-gen] @@ -10,5 +10,5 @@
  820. 9.11 s [sydtest-mutation-example-gen] classify :: Int -> String
  821. 9.11 s [sydtest-mutation-example-gen] classify n
  822. 9.11 s [sydtest-mutation-example-gen] | n < 0 = "negative"
  823. 9.11 s [sydtest-mutation-example-gen] - | n == 0 = "zero"
  824. 9.11 s [sydtest-mutation-example-gen] + | True = "zero"
  825. 9.11 s [sydtest-mutation-example-gen] | otherwise = "positive"
  826. 9.11 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/OtherwiseLib.hs:13:5-11 #1
  827. 9.11 s [sydtest-mutation-example-gen] @@ -10,5 +10,5 @@
  828. 9.11 s [sydtest-mutation-example-gen] classify :: Int -> String
  829. 9.11 s [sydtest-mutation-example-gen] classify n
  830. 9.11 s [sydtest-mutation-example-gen] | n < 0 = "negative"
  831. 9.11 s [sydtest-mutation-example-gen] - | n == 0 = "zero"
  832. 9.11 s [sydtest-mutation-example-gen] + | not (n == 0) = "zero"
  833. 9.11 s [sydtest-mutation-example-gen] | otherwise = "positive"
  834. 9.11 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/OtherwiseLib.hs:12:5-10 #1
  835. 9.11 s [sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
  836. 9.11 s [sydtest-mutation-example-gen] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  837. 9.11 s [sydtest-mutation-example-gen] classify :: Int -> String
  838. 9.11 s [sydtest-mutation-example-gen] classify n
  839. 9.11 s [sydtest-mutation-example-gen] - | n < 0 = "negative"
  840. 9.11 s [sydtest-mutation-example-gen] + | not (n < 0) = "negative"
  841. 9.11 s [sydtest-mutation-example-gen] | n == 0 = "zero"
  842. 9.11 s [sydtest-mutation-example-gen] | otherwise = "positive"
  843. 9.11 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-27 #2
  844. 9.11 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  845. 9.11 s [sydtest-mutation-example-gen] --
  846. 9.11 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  847. 9.11 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  848. 9.11 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  849. 9.11 s [sydtest-mutation-example-gen] +eitherPositive a b = False || b > 0
  850. 9.11 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/DoLib.hs:14:10-14 #2
  851. 9.11 s [sydtest-mutation-example-gen] @@ -11,5 +11,5 @@
  852. 9.11 s [sydtest-mutation-example-gen] go :: Writer String ()
  853. 9.11 s [sydtest-mutation-example-gen] go = do
  854. 9.11 s [sydtest-mutation-example-gen] tell "Hello"
  855. 9.11 s [sydtest-mutation-example-gen] - if loud then tell "!" else pure ()
  856. 9.12 s [sydtest-mutation-example-gen] + if False then tell "!" else pure ()
  857. 9.12 s [sydtest-mutation-example-gen] tell "\n"
  858. 9.12 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-36 #2
  859. 9.12 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  860. 9.12 s [sydtest-mutation-example-gen] --
  861. 9.12 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  862. 9.12 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  863. 9.12 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  864. 9.12 s [sydtest-mutation-example-gen] +eitherPositive a b = False
  865. 9.12 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/FunctionExceptionLib.hs:15:29-30 #2
  866. 9.12 s [sydtest-mutation-example-gen] @@ -12,7 +12,7 @@
  867. 9.12 s [sydtest-mutation-example-gen] -- IntLit mutations (replacing the literal @1@) still apply.
  868. 9.12 s [sydtest-mutation-example-gen] {-# ANN addOneArithDisabled ("DisableMutation: Arith" :: String) #-}
  869. 9.12 s [sydtest-mutation-example-gen] addOneArithDisabled :: Int -> Int
  870. 9.12 s [sydtest-mutation-example-gen] -addOneArithDisabled n = n + 1
  871. 9.12 s [sydtest-mutation-example-gen] +addOneArithDisabled n = n + -1
  872. 9.12 s [sydtest-mutation-example-gen]
  873. 9.12 s [sydtest-mutation-example-gen] -- | Both Arith and IntLit mutations disabled on this function.
  874. 9.12 s [sydtest-mutation-example-gen] {-# ANN addOneArithAndIntLitDisabled ("DisableMutations: Arith, IntLit" :: String) #-}
  875. 9.12 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:31-36 #2
  876. 9.12 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  877. 9.12 s [sydtest-mutation-example-gen] --
  878. 9.12 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  879. 9.12 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  880. 9.12 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  881. 9.12 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || False
  882. 9.12 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-25 #2
  883. 9.12 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  884. 9.12 s [sydtest-mutation-example-gen] --
  885. 9.12 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  886. 9.12 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  887. 9.12 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  888. 9.12 s [sydtest-mutation-example-gen] +bothPositive a b = False && b > 0
  889. 9.12 s [sydtest-mutation-example-gen]
  890. 9.12 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  891. 9.12 s [sydtest-mutation-example-gen] --
  892. 9.12 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:31-36 #2
  893. 9.12 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  894. 9.12 s [sydtest-mutation-example-gen] --
  895. 9.12 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  896. 9.12 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  897. 9.12 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  898. 9.12 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || b <= 0
  899. 9.12 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:29-34 #2
  900. 9.12 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  901. 9.12 s [sydtest-mutation-example-gen] --
  902. 9.12 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  903. 9.12 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  904. 9.12 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  905. 9.12 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 && b <= 0
  906. 9.12 s [sydtest-mutation-example-gen]
  907. 9.12 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  908. 9.12 s [sydtest-mutation-example-gen] --
  909. 9.12 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:29-34 #2
  910. 9.12 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  911. 9.12 s [sydtest-mutation-example-gen] --
  912. 9.12 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  913. 9.12 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  914. 9.12 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  915. 9.12 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 && False
  916. 9.12 s [sydtest-mutation-example-gen]
  917. 9.12 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  918. 9.12 s [sydtest-mutation-example-gen] --
  919. 9.13 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:20-25 #2
  920. 9.13 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  921. 9.13 s [sydtest-mutation-example-gen] --
  922. 9.13 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  923. 9.13 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  924. 9.13 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  925. 9.13 s [sydtest-mutation-example-gen] +bothPositive a b = a <= 0 && b > 0
  926. 9.13 s [sydtest-mutation-example-gen]
  927. 9.13 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  928. 9.13 s [sydtest-mutation-example-gen] --
  929. 9.13 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:22-27 #2
  930. 9.13 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  931. 9.13 s [sydtest-mutation-example-gen] --
  932. 9.13 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  933. 9.13 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  934. 9.13 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  935. 9.13 s [sydtest-mutation-example-gen] +eitherPositive a b = a <= 0 || b > 0
  936. 9.13 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:59:8-13 #2
  937. 9.13 s [sydtest-mutation-example-gen] @@ -56,4 +56,4 @@
  938. 9.13 s [sydtest-mutation-example-gen] withBindKept :: (Bool -> IO Bool) -> Bool -> IO Bool
  939. 9.13 s [sydtest-mutation-example-gen] withBindKept toggle b = do
  940. 9.13 s [sydtest-mutation-example-gen] inner <- toggle b
  941. 9.13 s [sydtest-mutation-example-gen] - pure inner
  942. 9.13 s [sydtest-mutation-example-gen] + pure False
  943. 9.13 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:36:15-20 #2
  944. 9.13 s [sydtest-mutation-example-gen] @@ -33,7 +33,7 @@
  945. 9.13 s [sydtest-mutation-example-gen] -- on the @inner@ binding's RHS.
  946. 9.13 s [sydtest-mutation-example-gen] withInnerKept :: Bool -> Bool
  947. 9.13 s [sydtest-mutation-example-gen] withInnerKept b =
  948. 9.22 s [sydtest-mutation-example-gen] - let inner = not b
  949. 9.22 s [sydtest-mutation-example-gen] + let inner = False
  950. 9.22 s [sydtest-mutation-example-gen] in inner
  951. 9.22 s [sydtest-mutation-example-gen]
  952. 9.22 s [sydtest-mutation-example-gen] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  953. 9.22 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:36:3-12 #2
  954. 9.22 s [sydtest-mutation-example-gen] @@ -33,8 +33,8 @@
  955. 9.22 s [sydtest-mutation-example-gen] -- on the @inner@ binding's RHS.
  956. 9.22 s [sydtest-mutation-example-gen] withInnerKept :: Bool -> Bool
  957. 9.22 s [sydtest-mutation-example-gen] withInnerKept b =
  958. 9.22 s [sydtest-mutation-example-gen] - let inner = not b
  959. 9.22 s [sydtest-mutation-example-gen] + False = not b
  960. 9.22 s [sydtest-mutation-example-gen] in inner
  961. 9.22 s [sydtest-mutation-example-gen]
  962. 9.22 s [sydtest-mutation-example-gen] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  963. 9.22 s [sydtest-mutation-example-gen] -- by a @do@-block @<-@ statement instead of a @let@. The annotation
  964. 9.22 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:52:8-13 #2
  965. 9.22 s [sydtest-mutation-example-gen] @@ -49,7 +49,7 @@
  966. 9.22 s [sydtest-mutation-example-gen] withBindDisabled :: (Bool -> IO Bool) -> Bool -> IO Bool
  967. 9.22 s [sydtest-mutation-example-gen] withBindDisabled toggle b = do
  968. 9.22 s [sydtest-mutation-example-gen] inner <- toggle b
  969. 9.22 s [sydtest-mutation-example-gen] - pure inner
  970. 9.22 s [sydtest-mutation-example-gen] + pure False
  971. 9.22 s [sydtest-mutation-example-gen]
  972. 9.22 s [sydtest-mutation-example-gen] -- | Control for 'withBindDisabled': no disable annotation, so the RHS
  973. 9.22 s [sydtest-mutation-example-gen] -- @toggle b@ is fully instrumented.
  974. 9.22 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:37:7-12 #2
  975. 9.22 s [sydtest-mutation-example-gen] @@ -34,7 +34,7 @@
  976. 9.22 s [sydtest-mutation-example-gen] withInnerKept :: Bool -> Bool
  977. 9.22 s [sydtest-mutation-example-gen] withInnerKept b =
  978. 9.22 s [sydtest-mutation-example-gen] let inner = not b
  979. 9.22 s [sydtest-mutation-example-gen] - in inner
  980. 9.22 s [sydtest-mutation-example-gen] + in False
  981. 9.22 s [sydtest-mutation-example-gen]
  982. 9.22 s [sydtest-mutation-example-gen] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  983. 9.22 s [sydtest-mutation-example-gen] -- by a @do@-block @<-@ statement instead of a @let@. The annotation
  984. 9.22 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-34 #2
  985. 9.22 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  986. 9.22 s [sydtest-mutation-example-gen] --
  987. 9.22 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  988. 9.22 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  989. 9.22 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  990. 9.22 s [sydtest-mutation-example-gen] +bothPositive a b = False
  991. 9.22 s [sydtest-mutation-example-gen]
  992. 9.22 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  993. 9.22 s [sydtest-mutation-example-gen] --
  994. 9.22 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:36:19-20 #2
  995. 9.22 s [sydtest-mutation-example-gen] @@ -33,7 +33,7 @@
  996. 9.22 s [sydtest-mutation-example-gen] -- on the @inner@ binding's RHS.
  997. 9.22 s [sydtest-mutation-example-gen] withInnerKept :: Bool -> Bool
  998. 9.22 s [sydtest-mutation-example-gen] withInnerKept b =
  999. 9.22 s [sydtest-mutation-example-gen] - let inner = not b
  1000. 9.22 s [sydtest-mutation-example-gen] + let inner = not False
  1001. 9.22 s [sydtest-mutation-example-gen] in inner
  1002. 9.22 s [sydtest-mutation-example-gen]
  1003. 9.22 s [sydtest-mutation-example-gen] -- | Same idea as 'withInnerDisabled', but the local binding is introduced
  1004. 9.22 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:30:7-12 #2
  1005. 9.22 s [sydtest-mutation-example-gen] @@ -27,7 +27,7 @@
  1006. 9.22 s [sydtest-mutation-example-gen] withInnerBoolLitDisabled :: Bool -> Bool
  1007. 9.22 s [sydtest-mutation-example-gen] withInnerBoolLitDisabled b =
  1008. 9.22 s [sydtest-mutation-example-gen] let inner = not b
  1009. 9.22 s [sydtest-mutation-example-gen] - in inner
  1010. 9.22 s [sydtest-mutation-example-gen] + in False
  1011. 9.22 s [sydtest-mutation-example-gen]
  1012. 9.22 s [sydtest-mutation-example-gen] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  1013. 9.22 s [sydtest-mutation-example-gen] -- on the @inner@ binding's RHS.
  1014. 9.22 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/Lib.hs:8:16-17 #2
  1015. 9.22 s [sydtest-mutation-example-gen] @@ -5,4 +5,4 @@
  1016. 9.22 s [sydtest-mutation-example-gen] -- The literal '1' here is a mutation site: the plugin will also compile a
  1017. 9.22 s [sydtest-mutation-example-gen] -- version where this returns @n + 0@ instead of @n + 1@.
  1018. 9.22 s [sydtest-mutation-example-gen] addOne :: Int -> Int
  1019. 9.22 s [sydtest-mutation-example-gen] -addOne n = n + 1
  1020. 9.23 s [sydtest-mutation-example-gen] +addOne n = n + -1
  1021. 9.23 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:29:3-12 #2
  1022. 9.23 s [sydtest-mutation-example-gen] @@ -26,8 +26,8 @@
  1023. 9.23 s [sydtest-mutation-example-gen] {-# ANN withInnerBoolLitDisabled ("DisableMutationsFor inner: ConstBool" :: String) #-}
  1024. 9.23 s [sydtest-mutation-example-gen] withInnerBoolLitDisabled :: Bool -> Bool
  1025. 9.23 s [sydtest-mutation-example-gen] withInnerBoolLitDisabled b =
  1026. 9.23 s [sydtest-mutation-example-gen] - let inner = not b
  1027. 9.23 s [sydtest-mutation-example-gen] + False = not b
  1028. 9.23 s [sydtest-mutation-example-gen] in inner
  1029. 9.23 s [sydtest-mutation-example-gen]
  1030. 9.23 s [sydtest-mutation-example-gen] -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire
  1031. 9.23 s [sydtest-mutation-example-gen] -- on the @inner@ binding's RHS.
  1032. 9.23 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:58:19-20 #2
  1033. 9.23 s [sydtest-mutation-example-gen] @@ -55,5 +55,5 @@
  1034. 9.23 s [sydtest-mutation-example-gen] -- @toggle b@ is fully instrumented.
  1035. 9.23 s [sydtest-mutation-example-gen] withBindKept :: (Bool -> IO Bool) -> Bool -> IO Bool
  1036. 9.23 s [sydtest-mutation-example-gen] withBindKept toggle b = do
  1037. 9.23 s [sydtest-mutation-example-gen] - inner <- toggle b
  1038. 9.23 s [sydtest-mutation-example-gen] + inner <- toggle False
  1039. 9.23 s [sydtest-mutation-example-gen] pure inner
  1040. 9.23 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:21:7-12 #2
  1041. 9.23 s [sydtest-mutation-example-gen] @@ -18,7 +18,7 @@
  1042. 9.23 s [sydtest-mutation-example-gen] withInnerDisabled :: Bool -> Bool
  1043. 9.23 s [sydtest-mutation-example-gen] withInnerDisabled b =
  1044. 9.23 s [sydtest-mutation-example-gen] let inner = not b
  1045. 9.23 s [sydtest-mutation-example-gen] - in inner
  1046. 9.23 s [sydtest-mutation-example-gen] + in False
  1047. 9.23 s [sydtest-mutation-example-gen]
  1048. 9.23 s [sydtest-mutation-example-gen] -- | Like 'withInnerDisabled', but only @ConstBool@ is disabled inside
  1049. 9.23 s [sydtest-mutation-example-gen] -- @inner@'s RHS. Other operators on @inner@'s RHS (notably the @Negate@
  1050. 9.23 s [sydtest-mutation-example-gen] Testing mutation Arith at src/Example/Lib.hs:8:12-17 #2
  1051. 9.23 s [sydtest-mutation-example-gen] @@ -5,4 +5,4 @@
  1052. 9.23 s [sydtest-mutation-example-gen] -- The literal '1' here is a mutation site: the plugin will also compile a
  1053. 9.23 s [sydtest-mutation-example-gen] -- version where this returns @n + 0@ instead of @n + 1@.
  1054. 9.23 s [sydtest-mutation-example-gen] addOne :: Int -> Int
  1055. 9.23 s [sydtest-mutation-example-gen] -addOne n = n + 1
  1056. 9.23 s [sydtest-mutation-example-gen] +addOne n = n * 1
  1057. 9.23 s [sydtest-mutation-example-gen] Testing mutation RemoveCase at src/Example/CaseLib.hs:7:19-16 #2
  1058. 9.23 s [sydtest-mutation-example-gen] @@ -4,7 +4,6 @@
  1059. 9.23 s [sydtest-mutation-example-gen] --
  1060. 9.23 s [sydtest-mutation-example-gen] -- Mutation sites: RemoveCase removes one of the three alternatives.
  1061. 9.23 s [sydtest-mutation-example-gen] describeList :: [a] -> String
  1062. 9.23 s [sydtest-mutation-example-gen] describeList xs = case xs of
  1063. 9.23 s [sydtest-mutation-example-gen] [] -> "empty"
  1064. 9.23 s [sydtest-mutation-example-gen] - [_] -> "singleton"
  1065. 9.23 s [sydtest-mutation-example-gen] _ -> "longer"
  1066. 9.23 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:20:3-12 #2
  1067. 9.23 s [sydtest-mutation-example-gen] @@ -17,8 +17,8 @@
  1068. 9.23 s [sydtest-mutation-example-gen] {-# ANN withInnerDisabled ("DisableMutationsFor inner" :: String) #-}
  1069. 9.23 s [sydtest-mutation-example-gen] withInnerDisabled :: Bool -> Bool
  1070. 9.23 s [sydtest-mutation-example-gen] withInnerDisabled b =
  1071. 9.23 s [sydtest-mutation-example-gen] - let inner = not b
  1072. 9.23 s [sydtest-mutation-example-gen] + False = not b
  1073. 9.23 s [sydtest-mutation-example-gen] in inner
  1074. 9.23 s [sydtest-mutation-example-gen]
  1075. 9.23 s [sydtest-mutation-example-gen] -- | Like 'withInnerDisabled', but only @ConstBool@ is disabled inside
  1076. 9.23 s [sydtest-mutation-example-gen] -- @inner@'s RHS. Other operators on @inner@'s RHS (notably the @Negate@
  1077. 9.23 s [sydtest-mutation-example-gen] Testing mutation ListLit at src/Example/ListLib.hs:12:25-31 #2
  1078. 9.23 s [sydtest-mutation-example-gen] @@ -9,7 +9,6 @@
  1079. 9.23 s [sydtest-mutation-example-gen] -- Mutation sites: ListLit produces an empty-list mutant and a drop-first
  1080. 9.23 s [sydtest-mutation-example-gen] -- mutant on the literal @[a, b]@.
  1081. 9.23 s [sydtest-mutation-example-gen] pairConcat :: String -> String -> String
  1082. 9.23 s [sydtest-mutation-example-gen] -pairConcat a b = concat [a, b]
  1083. 9.23 s [sydtest-mutation-example-gen]
  1084. 9.23 s [sydtest-mutation-example-gen] -- | Concatenate a three-element list of strings.
  1085. 9.23 s [sydtest-mutation-example-gen] --
  1086. 9.23 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10 #2
  1087. 9.23 s [sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
  1088. 9.23 s [sydtest-mutation-example-gen] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  1089. 9.23 s [sydtest-mutation-example-gen] classify :: Int -> String
  1090. 9.23 s [sydtest-mutation-example-gen] classify n
  1091. 9.23 s [sydtest-mutation-example-gen] - | n < 0 = "negative"
  1092. 9.23 s [sydtest-mutation-example-gen] + | n > 0 = "negative"
  1093. 9.23 s [sydtest-mutation-example-gen] | n == 0 = "zero"
  1094. 9.23 s [sydtest-mutation-example-gen] | otherwise = "positive"
  1095. 9.23 s [sydtest-mutation-example-gen] Testing mutation ListLit at src/Example/ListLib.hs:19:29-38 #2
  1096. 9.23 s [sydtest-mutation-example-gen] @@ -16,4 +16,3 @@
  1097. 9.23 s [sydtest-mutation-example-gen] -- Mutation sites: ListLit produces an empty-list mutant, a drop-first mutant,
  1098. 9.23 s [sydtest-mutation-example-gen] -- and a drop-last mutant on the literal @[a, b, c]@.
  1099. 9.23 s [sydtest-mutation-example-gen] tripleConcat :: String -> String -> String -> String
  1100. 9.23 s [sydtest-mutation-example-gen] -tripleConcat a b c = concat [a, b, c]
  1101. 9.23 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:20-25 #3
  1102. 9.23 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  1103. 9.23 s [sydtest-mutation-example-gen] --
  1104. 9.23 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  1105. 9.23 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  1106. 9.23 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  1107. 9.23 s [sydtest-mutation-example-gen] +bothPositive a b = a >= 0 && b > 0
  1108. 9.23 s [sydtest-mutation-example-gen]
  1109. 9.23 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  1110. 9.23 s [sydtest-mutation-example-gen] --
  1111. 9.23 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:31-36 #3
  1112. 9.23 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  1113. 9.23 s [sydtest-mutation-example-gen] --
  1114. 9.23 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  1115. 9.23 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  1116. 9.23 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  1117. 9.23 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || b >= 0
  1118. 9.23 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:29-34 #3
  1119. 9.23 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  1120. 9.23 s [sydtest-mutation-example-gen] --
  1121. 9.23 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  1122. 9.23 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  1123. 9.23 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  1124. 9.23 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 && b >= 0
  1125. 9.23 s [sydtest-mutation-example-gen]
  1126. 9.23 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  1127. 9.23 s [sydtest-mutation-example-gen] --
  1128. 9.23 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:22-27 #3
  1129. 9.23 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  1130. 9.23 s [sydtest-mutation-example-gen] --
  1131. 9.23 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  1132. 9.28 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  1133. 9.28 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  1134. 9.28 s [sydtest-mutation-example-gen] +eitherPositive a b = a >= 0 || b > 0
  1135. 9.28 s [sydtest-mutation-example-gen] Testing mutation ListLit at src/Example/ListLib.hs:19:29-38 #3
  1136. 9.28 s [sydtest-mutation-example-gen] @@ -16,4 +16,3 @@
  1137. 9.28 s [sydtest-mutation-example-gen] -- Mutation sites: ListLit produces an empty-list mutant, a drop-first mutant,
  1138. 9.28 s [sydtest-mutation-example-gen] -- and a drop-last mutant on the literal @[a, b, c]@.
  1139. 9.29 s [sydtest-mutation-example-gen] tripleConcat :: String -> String -> String -> String
  1140. 9.29 s [sydtest-mutation-example-gen] -tripleConcat a b c = concat [a, b, c]
  1141. 9.29 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10 #3
  1142. 9.29 s [sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
  1143. 9.29 s [sydtest-mutation-example-gen] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  1144. 9.29 s [sydtest-mutation-example-gen] classify :: Int -> String
  1145. 9.29 s [sydtest-mutation-example-gen] classify n
  1146. 9.29 s [sydtest-mutation-example-gen] - | n < 0 = "negative"
  1147. 9.29 s [sydtest-mutation-example-gen] + | n >= 0 = "negative"
  1148. 9.29 s [sydtest-mutation-example-gen] | n == 0 = "zero"
  1149. 9.29 s [sydtest-mutation-example-gen] | otherwise = "positive"
  1150. 9.29 s [sydtest-mutation-example-gen] Testing mutation RemoveCase at src/Example/CaseLib.hs:7:19-16 #3
  1151. 9.29 s [sydtest-mutation-example-gen] @@ -4,7 +4,6 @@
  1152. 9.29 s [sydtest-mutation-example-gen] --
  1153. 9.29 s [sydtest-mutation-example-gen] -- Mutation sites: RemoveCase removes one of the three alternatives.
  1154. 9.29 s [sydtest-mutation-example-gen] describeList :: [a] -> String
  1155. 9.29 s [sydtest-mutation-example-gen] describeList xs = case xs of
  1156. 9.29 s [sydtest-mutation-example-gen] [] -> "empty"
  1157. 9.29 s [sydtest-mutation-example-gen] [_] -> "singleton"
  1158. 9.29 s [sydtest-mutation-example-gen] - _ -> "longer"
  1159. 9.29 s [sydtest-mutation-example-gen] Killed: 103
  1160. 9.29 s [sydtest-mutation-example-gen] (of which timed out: 0)
  1161. 9.29 s [sydtest-mutation-example-gen] Survived: 0
  1162. 9.29 s [sydtest-mutation-example-gen] Uncovered: 0
  1163. 9.29 s [sydtest-mutation-example-gen] Skipped: 0
  1164. 9.31 s [sydtest-mutation-example-gen] Phase: haddockPhase
  1165. 9.62 s [sydtest-mutation-example-gen] Preprocessing library for sydtest-mutation-example-gen-0.0.0.0...
  1166. 9.62 s [sydtest-mutation-example-gen] Running Haddock on library for sydtest-mutation-example-gen-0.0.0.0...
  1167. 9.91 s [sydtest-mutation-example-gen] [1 of 2] Compiling Example.Gen ( src/Example/Gen.hs, nothing )
  1168. 9.92 s [sydtest-mutation-example-gen] [2 of 2] Compiling Paths_sydtest_mutation_example_gen ( dist/build/autogen/Paths_sydtest_mutation_example_gen.hs, nothing )
  1169. 9.95 s [sydtest-mutation-example-gen] Haddock coverage:
  1170. 9.95 s [sydtest-mutation-example-gen] 50% ( 1 / 2) in 'Example.Gen'
  1171. 9.95 s [sydtest-mutation-example-gen] Missing documentation for:
  1172. 9.95 s [sydtest-mutation-example-gen] Module header
  1173. 13.41 s [sydtest-mutation-example-gen] Documentation created: dist/doc/html/sydtest-mutation-example-gen/,
  1174. 13.55 s [sydtest-mutation-example-gen] dist/doc/html/sydtest-mutation-example-gen/sydtest-mutation-example-gen.txt
  1175. 13.55 s [sydtest-mutation-example-gen] Preprocessing test suite 'sydtest-mutation-example-gen-test' for sydtest-mutation-example-gen-0.0.0.0...
  1176. 13.55 s [sydtest-mutation-example-gen] Phase: installPhase
  1177. 13.56 s [sydtest-mutation-example-gen] Installing library in /nix/store/k8bx4flx9hs4spx5nkbcmvhgrklnsdqd-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-AdSL0Ove5Z7bJR7ETnROP
  1178. 13.74 s [sydtest-mutation-example-gen] Phase: fixupPhase
  1179. 13.76 s [sydtest-mutation-example-gen] shrinking RPATHs of ELF executables and libraries in /nix/store/k8bx4flx9hs4spx5nkbcmvhgrklnsdqd-sydtest-mutation-example-gen-0.0.0.0
  1180. 13.76 s [sydtest-mutation-example-gen] shrinking /nix/store/k8bx4flx9hs4spx5nkbcmvhgrklnsdqd-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-AdSL0Ove5Z7bJR7ETnROP-ghc9.10.3.so
  1181. 13.77 s [sydtest-mutation-example-gen] checking for references to /build/ in /nix/store/k8bx4flx9hs4spx5nkbcmvhgrklnsdqd-sydtest-mutation-example-gen-0.0.0.0...
  1182. 13.78 s [sydtest-mutation-example-gen] patching script interpreter paths in /nix/store/k8bx4flx9hs4spx5nkbcmvhgrklnsdqd-sydtest-mutation-example-gen-0.0.0.0
  1183. 13.79 s [sydtest-mutation-example-gen] stripping (with command strip and flags -S -p) in /nix/store/k8bx4flx9hs4spx5nkbcmvhgrklnsdqd-sydtest-mutation-example-gen-0.0.0.0/lib
  1184. 13.82 s [sydtest-mutation-example-gen] shrinking RPATHs of ELF executables and libraries in /nix/store/w5zpb9kcnhryrnnk6100q30rykm4rj6p-sydtest-mutation-example-gen-0.0.0.0-doc
  1185. 13.82 s [sydtest-mutation-example-gen] checking for references to /build/ in /nix/store/w5zpb9kcnhryrnnk6100q30rykm4rj6p-sydtest-mutation-example-gen-0.0.0.0-doc...
  1186. 13.83 s [sydtest-mutation-example-gen] patching script interpreter paths in /nix/store/w5zpb9kcnhryrnnk6100q30rykm4rj6p-sydtest-mutation-example-gen-0.0.0.0-doc
  1187. 13.84 s [sydtest-mutation-example-gen] shrinking RPATHs of ELF executables and libraries in /nix/store/r86isykhi55hdvl3prc9pl46711x9z35-sydtest-mutation-example-gen-0.0.0.0-report
  1188. 13.84 s [sydtest-mutation-example-gen] checking for references to /build/ in /nix/store/r86isykhi55hdvl3prc9pl46711x9z35-sydtest-mutation-example-gen-0.0.0.0-report...
  1189. 13.85 s [sydtest-mutation-example-gen] patching script interpreter paths in /nix/store/r86isykhi55hdvl3prc9pl46711x9z35-sydtest-mutation-example-gen-0.0.0.0-report
  1190. 13.94 s [post-build-hook] Uploading to cachix cache "sydtest": /nix/store/k8bx4flx9hs4spx5nkbcmvhgrklnsdqd-sydtest-mutation-example-gen-0.0.0.0 /nix/store/r86isykhi55hdvl3prc9pl46711x9z35-sydtest-mutation-example-gen-0.0.0.0-report /nix/store/w5zpb9kcnhryrnnk6100q30rykm4rj6p-sydtest-mutation-example-gen-0.0.0.0-doc
  1191. 14.39 s [post-build-hook] Pushing 3 paths (76 are already present) using zstd to cache sydtest ⏳
  1192. 14.39 s [post-build-hook]
  1193. 14.74 s [post-build-hook] Pushing /nix/store/r86isykhi55hdvl3prc9pl46711x9z35-sydtest-mutation-example-gen-0.0.0.0-report (86.10 KiB)
  1194. 14.80 s [post-build-hook] Pushing /nix/store/w5zpb9kcnhryrnnk6100q30rykm4rj6p-sydtest-mutation-example-gen-0.0.0.0-doc (142.71 KiB)
  1195. 14.81 s [post-build-hook] Pushing /nix/store/k8bx4flx9hs4spx5nkbcmvhgrklnsdqd-sydtest-mutation-example-gen-0.0.0.0 (286.82 KiB)
  1196. 16.24 s [post-build-hook]
  1197. 16.24 s [post-build-hook] All done.
  1198. 16.26 s [post-build-hook] Uploading to the NixCI staging cache: /nix/store/k8bx4flx9hs4spx5nkbcmvhgrklnsdqd-sydtest-mutation-example-gen-0.0.0.0 /nix/store/r86isykhi55hdvl3prc9pl46711x9z35-sydtest-mutation-example-gen-0.0.0.0-report /nix/store/w5zpb9kcnhryrnnk6100q30rykm4rj6p-sydtest-mutation-example-gen-0.0.0.0-doc
  1199. 16.30 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  1200. 16.47 s [post-build-hook] copying 3 paths...
  1201. 16.47 s [post-build-hook] copying path '/nix/store/r86isykhi55hdvl3prc9pl46711x9z35-sydtest-mutation-example-gen-0.0.0.0-report' to 'https://cache.staging.nix-ci.com'...
  1202. 16.47 s [post-build-hook] copying path '/nix/store/w5zpb9kcnhryrnnk6100q30rykm4rj6p-sydtest-mutation-example-gen-0.0.0.0-doc' to 'https://cache.staging.nix-ci.com'...
  1203. 16.95 s [post-build-hook] copying path '/nix/store/k8bx4flx9hs4spx5nkbcmvhgrklnsdqd-sydtest-mutation-example-gen-0.0.0.0' to 'https://cache.staging.nix-ci.com'...
  1204. 18.26 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  1205. 18.52 s [post-build-hook] copying 1 paths...
  1206. 18.54 s [post-build-hook] copying path '/nix/store/kq9kyahddjiyv4pvhihylw6vl2kwjfj8-sydtest-mutation-example-gen-0.0.0.0.drv' to 'https://cache.staging.nix-ci.com'...
  1207. 20.37 s Progress: 1 of 3 built, 3 of 3 downloaded from cache
  1208. 20.42 s Building sydtest-mutation-example
  1209. 20.48 s [sydtest-mutation-example] Results: 103 killed, 0 survived, 0 uncovered out of 103 total
  1210. 20.48 s [sydtest-mutation-example]
  1211. 20.48 s [sydtest-mutation-example] Killed: 103
  1212. 20.48 s [sydtest-mutation-example] (of which timed out: 0)
  1213. 20.48 s [sydtest-mutation-example] Survived: 0
  1214. 20.48 s [sydtest-mutation-example] Uncovered: 0
  1215. 20.48 s [sydtest-mutation-example] Skipped: 0
  1216. 20.48 s [sydtest-mutation-example] Full report: /nix/store/r86isykhi55hdvl3prc9pl46711x9z35-sydtest-mutation-example-gen-0.0.0.0-report/report.txt
  1217. 20.48 s [sydtest-mutation-example] Machine-readable report: /nix/store/r86isykhi55hdvl3prc9pl46711x9z35-sydtest-mutation-example-gen-0.0.0.0-report/report.json
  1218. 20.48 s [sydtest-mutation-example]
  1219. 20.48 s [sydtest-mutation-example] PASS: All 103 mutation(s) accounted for.
  1220. 20.51 s [post-build-hook] Uploading to cachix cache "sydtest": /nix/store/23cvigcmmkpiz860pxjbsyg3aya2x3h4-sydtest-mutation-example
  1221. 20.93 s [post-build-hook] Pushing 1 paths (1 are already present) using zstd to cache sydtest ⏳
  1222. 20.93 s [post-build-hook]
  1223. 21.29 s [post-build-hook] Pushing /nix/store/23cvigcmmkpiz860pxjbsyg3aya2x3h4-sydtest-mutation-example (688.00 B)
  1224. 22.80 s [post-build-hook]
  1225. 22.80 s [post-build-hook] All done.
  1226. 22.81 s [post-build-hook] Uploading to the NixCI staging cache: /nix/store/23cvigcmmkpiz860pxjbsyg3aya2x3h4-sydtest-mutation-example
  1227. 22.85 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  1228. 22.86 s [post-build-hook] copying 1 paths...
  1229. 22.86 s [post-build-hook] copying path '/nix/store/23cvigcmmkpiz860pxjbsyg3aya2x3h4-sydtest-mutation-example' to 'https://cache.staging.nix-ci.com'...
  1230. 26.63 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  1231. 26.84 s [post-build-hook] copying 1 paths...
  1232. 26.87 s [post-build-hook] copying path '/nix/store/mivzs9h6ys0bq7qrjp5k2w9i6z3cqw7d-sydtest-mutation-example.drv' to 'https://cache.staging.nix-ci.com'...
  1233. 36.37 s Progress: 2 of 3 built, 3 of 3 downloaded from cache
More Logs Raw Logs

Agent Instructions

Wait for completion, without logs:

curl --netrc -N https://staging.nix-ci.com/gh:NorfairKing:sydtest/mutation-testing/82062ce4dbd2947778aeae97877e5413f8a85d91/f99fce5c-3d87-4f27-b38a-136b94aa899f/wait

Latest logs, with timestamps (streams while running):

curl --netrc -N https://staging.nix-ci.com/gh:NorfairKing:sydtest/mutation-testing/82062ce4dbd2947778aeae97877e5413f8a85d91/f99fce5c-3d87-4f27-b38a-136b94aa899f/tail

All logs, with timestamps (available after completion):

curl --netrc https://staging.nix-ci.com/gh:NorfairKing:sydtest/mutation-testing/82062ce4dbd2947778aeae97877e5413f8a85d91/f99fce5c-3d87-4f27-b38a-136b94aa899f/logs

Raw logs, from the start (no timestamps):

curl --netrc -N https://staging.nix-ci.com/gh:NorfairKing:sydtest/mutation-testing/82062ce4dbd2947778aeae97877e5413f8a85d91/f99fce5c-3d87-4f27-b38a-136b94aa899f/raw-logs

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

Example:

curl --netrc -H "Accept: text/csv" https://staging.nix-ci.com/gh:NorfairKing:sydtest/mutation-testing/82062ce4dbd2947778aeae97877e5413f8a85d91/f99fce5c-3d87-4f27-b38a-136b94aa899f/logs

Reproduce locally: https://staging.nix-ci.com/gh:NorfairKing:sydtest/mutation-testing/82062ce4dbd2947778aeae97877e5413f8a85d91/f99fce5c-3d87-4f27-b38a-136b94aa899f/repro

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