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=f4c5818c3eb767bf05458e488f0bc8d966bbfcf5#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.58 s error (ignored): SQLite database '/var/cache/private/nix-ci-worker/eval-cache-v6/db4f9e36ded004a02751918b545b38e7611fcc07bdd0fcf837a47c73c33f5b7d.sqlite' is busy
  7. 1.39 s
  8. 2.51 s Downloading cached sydtest-mutation-example-0.0.0.0-manifest from https://cache.staging.nix-ci.com
  9. 2.51 s Downloading cached sydtest-mutation-example-gen-source from https://cache.staging.nix-ci.com
  10. 2.51 s Downloading cached sydtest-mutation-example from https://cache.staging.nix-ci.com
  11. 2.52 s Progress: 0 of 5 built, 1 of 3 downloaded from cache (2 downloading)
  12. 2.52 s Progress: 0 of 4 built, 2 of 3 downloaded from cache (1 downloading)
  13. 2.56 s Progress: 0 of 3 built, 3 of 3 downloaded from cache
  14. 2.66 s Building sydtest-mutation-example-gen
  15. 3.02 s [sydtest-mutation-example-gen] Phase: setupCompilerEnvironmentPhase
  16. 3.03 s [sydtest-mutation-example-gen] Build with /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3.
  17. 3.48 s [sydtest-mutation-example-gen] Phase: unpackPhase
  18. 3.48 s [sydtest-mutation-example-gen] unpacking source archive /nix/store/lj9mxxc4mq9b9q0yyxfigf64fmbl77wj-sydtest-mutation-example-gen-source-0.0.0.0/sydtest-mutation-example-gen-0.0.0.0.tar.gz
  19. 3.49 s [sydtest-mutation-example-gen] source root is sydtest-mutation-example-gen-0.0.0.0
  20. 3.49 s [sydtest-mutation-example-gen] setting SOURCE_DATE_EPOCH to timestamp 1778753877 of file "sydtest-mutation-example-gen-0.0.0.0/test/Spec.hs"
  21. 3.50 s [sydtest-mutation-example-gen] Phase: patchPhase
  22. 3.51 s [sydtest-mutation-example-gen] Phase: compileBuildDriverPhase
  23. 3.51 s [sydtest-mutation-example-gen] setupCompileFlags: -package-db=/build/tmp.XEEgk7IRbo/setup-package.conf.d -threaded
  24. 3.56 s [sydtest-mutation-example-gen] [1 of 2] Compiling Main ( Setup.hs, /build/tmp.XEEgk7IRbo/Main.o )
  25. 3.60 s [sydtest-mutation-example-gen] [2 of 2] Linking Setup
  26. 4.76 s [sydtest-mutation-example-gen] Phase: updateAutotoolsGnuConfigScriptsPhase
  27. 4.77 s [sydtest-mutation-example-gen] Phase: configurePhase
  28. 4.78 s [sydtest-mutation-example-gen] configureFlags: --verbose --prefix=/nix/store/3qzcn88kr1p0cadnbszyi47p2walarhd-sydtest-mutation-example-gen-0.0.0.0 --libdir=$prefix/lib/$compiler/lib --libsubdir=$abi/$libname --docdir=/nix/store/fi5sdnnca9b5kj699nh3zcz420ik90ga-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.XEEgk7IRbo/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
  29. 4.78 s [sydtest-mutation-example-gen] Using Parsec parser
  30. 4.78 s [sydtest-mutation-example-gen] Configuring sydtest-mutation-example-gen-0.0.0.0...
  31. 5.42 s [sydtest-mutation-example-gen] Dependency QuickCheck: using QuickCheck-2.15.0.1
  32. 5.42 s [sydtest-mutation-example-gen] Dependency base >=4.7 && <5: using base-4.20.2.0
  33. 5.44 s [sydtest-mutation-example-gen] Dependency QuickCheck: using QuickCheck-2.15.0.1
  34. 5.44 s [sydtest-mutation-example-gen] Dependency base >=4.7 && <5: using base-4.20.2.0
  35. 5.44 s [sydtest-mutation-example-gen] Dependency sydtest: using sydtest-0.23.0.2
  36. 5.44 s [sydtest-mutation-example-gen] Dependency sydtest-mutation-example: using sydtest-mutation-example-0.0.0.0
  37. 5.44 s [sydtest-mutation-example-gen] Dependency sydtest-mutation-example-gen: using
  38. 5.44 s [sydtest-mutation-example-gen] sydtest-mutation-example-gen-0.0.0.0
  39. 5.44 s [sydtest-mutation-example-gen] Source component graph:
  40. 5.44 s [sydtest-mutation-example-gen] component lib
  41. 5.44 s [sydtest-mutation-example-gen] component test:sydtest-mutation-example-gen-test dependency lib
  42. 5.44 s [sydtest-mutation-example-gen] Configured component graph:
  43. 5.44 s [sydtest-mutation-example-gen] component sydtest-mutation-example-gen-0.0.0.0-ImsGOVr3wFJAdg8FaKJMy9
  44. 5.44 s [sydtest-mutation-example-gen] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  45. 5.44 s [sydtest-mutation-example-gen] include base-4.20.2.0-64da
  46. 5.44 s [sydtest-mutation-example-gen] component sydtest-mutation-example-gen-0.0.0.0-8fwvZblYRBIBdBAP3SVYiZ-sydtest-mutation-example-gen-test
  47. 5.44 s [sydtest-mutation-example-gen] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  48. 5.44 s [sydtest-mutation-example-gen] include base-4.20.2.0-64da
  49. 5.44 s [sydtest-mutation-example-gen] include sydtest-0.23.0.2-RzVaEpJISaERaSrCHYFLw
  50. 5.44 s [sydtest-mutation-example-gen] include sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
  51. 5.44 s [sydtest-mutation-example-gen] include sydtest-mutation-example-gen-0.0.0.0-ImsGOVr3wFJAdg8FaKJMy9
  52. 5.44 s [sydtest-mutation-example-gen] Linked component graph:
  53. 5.44 s [sydtest-mutation-example-gen] unit sydtest-mutation-example-gen-0.0.0.0-ImsGOVr3wFJAdg8FaKJMy9
  54. 5.44 s [sydtest-mutation-example-gen] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  55. 5.44 s [sydtest-mutation-example-gen] include base-4.20.2.0-64da
  56. 5.44 s [sydtest-mutation-example-gen] Example.Gen=sydtest-mutation-example-gen-0.0.0.0-ImsGOVr3wFJAdg8FaKJMy9:Example.Gen
  57. 5.44 s [sydtest-mutation-example-gen] unit sydtest-mutation-example-gen-0.0.0.0-8fwvZblYRBIBdBAP3SVYiZ-sydtest-mutation-example-gen-test
  58. 5.44 s [sydtest-mutation-example-gen] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  59. 5.44 s [sydtest-mutation-example-gen] include base-4.20.2.0-64da
  60. 5.44 s [sydtest-mutation-example-gen] include sydtest-0.23.0.2-RzVaEpJISaERaSrCHYFLw
  61. 5.44 s [sydtest-mutation-example-gen] include sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
  62. 5.44 s [sydtest-mutation-example-gen] include sydtest-mutation-example-gen-0.0.0.0-ImsGOVr3wFJAdg8FaKJMy9
  63. 5.45 s [sydtest-mutation-example-gen] Ready component graph:
  64. 5.45 s [sydtest-mutation-example-gen] definite sydtest-mutation-example-gen-0.0.0.0-ImsGOVr3wFJAdg8FaKJMy9
  65. 5.45 s [sydtest-mutation-example-gen] depends QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  66. 5.45 s [sydtest-mutation-example-gen] depends base-4.20.2.0-64da
  67. 5.45 s [sydtest-mutation-example-gen] definite sydtest-mutation-example-gen-0.0.0.0-8fwvZblYRBIBdBAP3SVYiZ-sydtest-mutation-example-gen-test
  68. 5.45 s [sydtest-mutation-example-gen] depends QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  69. 5.45 s [sydtest-mutation-example-gen] depends base-4.20.2.0-64da
  70. 5.45 s [sydtest-mutation-example-gen] depends sydtest-0.23.0.2-RzVaEpJISaERaSrCHYFLw
  71. 5.45 s [sydtest-mutation-example-gen] depends sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
  72. 5.45 s [sydtest-mutation-example-gen] depends sydtest-mutation-example-gen-0.0.0.0-ImsGOVr3wFJAdg8FaKJMy9
  73. 5.45 s [sydtest-mutation-example-gen] Using Cabal-3.12.1.0 compiled by ghc-9.10
  74. 5.45 s [sydtest-mutation-example-gen] Using compiler: ghc-9.10.3
  75. 5.45 s [sydtest-mutation-example-gen] Using install prefix:
  76. 5.45 s [sydtest-mutation-example-gen] /nix/store/3qzcn88kr1p0cadnbszyi47p2walarhd-sydtest-mutation-example-gen-0.0.0.0
  77. 5.45 s [sydtest-mutation-example-gen] Executables installed in:
  78. 5.45 s [sydtest-mutation-example-gen] /nix/store/3qzcn88kr1p0cadnbszyi47p2walarhd-sydtest-mutation-example-gen-0.0.0.0/bin
  79. 5.45 s [sydtest-mutation-example-gen] Libraries installed in:
  80. 5.45 s [sydtest-mutation-example-gen] /nix/store/3qzcn88kr1p0cadnbszyi47p2walarhd-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-ImsGOVr3wFJAdg8FaKJMy9
  81. 5.45 s [sydtest-mutation-example-gen] Dynamic Libraries installed in:
  82. 5.45 s [sydtest-mutation-example-gen] /nix/store/3qzcn88kr1p0cadnbszyi47p2walarhd-sydtest-mutation-example-gen-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6
  83. 5.45 s [sydtest-mutation-example-gen] Private executables installed in:
  84. 5.45 s [sydtest-mutation-example-gen] /nix/store/3qzcn88kr1p0cadnbszyi47p2walarhd-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
  85. 5.45 s [sydtest-mutation-example-gen] Data files installed in:
  86. 5.45 s [sydtest-mutation-example-gen] /nix/store/3qzcn88kr1p0cadnbszyi47p2walarhd-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
  87. 5.45 s [sydtest-mutation-example-gen] Documentation installed in:
  88. 5.45 s [sydtest-mutation-example-gen] /nix/store/fi5sdnnca9b5kj699nh3zcz420ik90ga-sydtest-mutation-example-gen-0.0.0.0-doc/share/doc/sydtest-mutation-example-gen-0.0.0.0
  89. 5.45 s [sydtest-mutation-example-gen] Configuration files installed in:
  90. 5.45 s [sydtest-mutation-example-gen] /nix/store/3qzcn88kr1p0cadnbszyi47p2walarhd-sydtest-mutation-example-gen-0.0.0.0/etc
  91. 5.45 s [sydtest-mutation-example-gen] No alex found
  92. 5.45 s [sydtest-mutation-example-gen] Using ar found on system at:
  93. 5.45 s [sydtest-mutation-example-gen] /nix/store/iz5lckcsg66r223si2gck7csk2hihj0m-binutils-wrapper-2.44/bin/ar
  94. 5.45 s [sydtest-mutation-example-gen] No c2hs found
  95. 5.45 s [sydtest-mutation-example-gen] No cpphs found
  96. 5.45 s [sydtest-mutation-example-gen] No doctest found
  97. 5.45 s [sydtest-mutation-example-gen] Using gcc version 14.3.0 given by user at:
  98. 5.45 s [sydtest-mutation-example-gen] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/gcc
  99. 5.45 s [sydtest-mutation-example-gen] Using ghc version 9.10.3 found on system at:
  100. 5.45 s [sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc
  101. 5.45 s [sydtest-mutation-example-gen] Using ghc-pkg version 9.10.3 found on system at:
  102. 5.45 s [sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc-pkg-9.10.3
  103. 5.45 s [sydtest-mutation-example-gen] No ghcjs found
  104. 5.45 s [sydtest-mutation-example-gen] No ghcjs-pkg found
  105. 5.45 s [sydtest-mutation-example-gen] No greencard found
  106. 5.45 s [sydtest-mutation-example-gen] Using haddock version 2.31.1 found on system at:
  107. 5.45 s [sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/haddock-ghc-9.10.3
  108. 5.45 s [sydtest-mutation-example-gen] No happy found
  109. 5.45 s [sydtest-mutation-example-gen] Using haskell-suite found on system at: haskell-suite-dummy-location
  110. 5.45 s [sydtest-mutation-example-gen] Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
  111. 5.45 s [sydtest-mutation-example-gen] No hmake found
  112. 5.45 s [sydtest-mutation-example-gen] Using hpc version 0.69 found on system at:
  113. 5.45 s [sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hpc-ghc-9.10.3
  114. 5.45 s [sydtest-mutation-example-gen] Using hsc2hs version 0.68.10 found on system at:
  115. 5.45 s [sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hsc2hs-ghc-9.10.3
  116. 5.45 s [sydtest-mutation-example-gen] Using hscolour version 1.25 found on system at:
  117. 5.45 s [sydtest-mutation-example-gen] /nix/store/f755skyzf4jvfx3crwq9mmh3x4lsaz8i-hscolour-1.25/bin/HsColour
  118. 5.45 s [sydtest-mutation-example-gen] No jhc found
  119. 5.45 s [sydtest-mutation-example-gen] Using ld found on system at:
  120. 5.45 s [sydtest-mutation-example-gen] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/ld
  121. 5.45 s [sydtest-mutation-example-gen] No pkg-config found
  122. 5.45 s [sydtest-mutation-example-gen] Using runghc version 9.10.3 found on system at:
  123. 5.45 s [sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/runghc-9.10.3
  124. 5.45 s [sydtest-mutation-example-gen] Using strip version 2.44 found on system at:
  125. 5.45 s [sydtest-mutation-example-gen] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/strip
  126. 5.45 s [sydtest-mutation-example-gen] Using tar found on system at:
  127. 5.45 s [sydtest-mutation-example-gen] /nix/store/xl6pd2spjajwcpq09fnmnjv5psqmlmma-gnutar-1.35/bin/tar
  128. 5.45 s [sydtest-mutation-example-gen] No uhc found
  129. 5.80 s [sydtest-mutation-example-gen] Phase: buildPhase
  130. 5.87 s [sydtest-mutation-example-gen] Preprocessing library for sydtest-mutation-example-gen-0.0.0.0...
  131. 5.87 s [sydtest-mutation-example-gen] Building library for sydtest-mutation-example-gen-0.0.0.0...
  132. 5.96 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 )
  133. 6.08 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 )
  134. 7.34 s [sydtest-mutation-example-gen] [1 of 2] Compiling Example.Gen ( src/Example/Gen.hs, dist/build/Example/Gen.p_o )
  135. 7.85 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 )
  136. 10.42 s [sydtest-mutation-example-gen] Preprocessing test suite 'sydtest-mutation-example-gen-test' for sydtest-mutation-example-gen-0.0.0.0...
  137. 10.43 s [sydtest-mutation-example-gen] Building test suite 'sydtest-mutation-example-gen-test' for sydtest-mutation-example-gen-0.0.0.0...
  138. 10.55 s [sydtest-mutation-example-gen] [ 1 of 11] Compiling Example.BoolLibSpec ( test/Example/BoolLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/BoolLibSpec.o )
  139. 10.76 s [sydtest-mutation-example-gen] [ 2 of 11] Compiling Example.CaseLibSpec ( test/Example/CaseLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/CaseLibSpec.o )
  140. 10.76 s [sydtest-mutation-example-gen] [ 3 of 11] Compiling Example.DoLibSpec ( test/Example/DoLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/DoLibSpec.o )
  141. 10.76 s [sydtest-mutation-example-gen] [ 4 of 11] Compiling Example.ExceptionLibSpec ( test/Example/ExceptionLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/ExceptionLibSpec.o )
  142. 10.76 s [sydtest-mutation-example-gen] [ 5 of 11] Compiling Example.FunctionExceptionLibSpec ( test/Example/FunctionExceptionLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/FunctionExceptionLibSpec.o )
  143. 10.76 s [sydtest-mutation-example-gen] [ 6 of 11] Compiling Example.LibSpec ( test/Example/LibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/LibSpec.o )
  144. 10.76 s [sydtest-mutation-example-gen] [ 7 of 11] Compiling Example.ListLibSpec ( test/Example/ListLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/ListLibSpec.o )
  145. 10.78 s [sydtest-mutation-example-gen] [ 8 of 11] Compiling Example.LogicLibSpec ( test/Example/LogicLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/LogicLibSpec.o )
  146. 10.81 s [sydtest-mutation-example-gen] [ 9 of 11] Compiling Example.OtherwiseLibSpec ( test/Example/OtherwiseLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/OtherwiseLibSpec.o )
  147. 10.81 s [sydtest-mutation-example-gen] [10 of 11] Compiling Main ( test/Spec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Main.o )
  148. 11.00 s [sydtest-mutation-example-gen] [11 of 11] Compiling Paths_sydtest_mutation_example_gen ( dist/build/sydtest-mutation-example-gen-test/autogen/Paths_sydtest_mutation_example_gen.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Paths_sydtest_mutation_example_gen.o )
  149. 11.65 s [sydtest-mutation-example-gen] [12 of 12] Linking dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test
  150. 12.95 s [sydtest-mutation-example-gen] Phase: checkPhase
  151. 12.96 s [sydtest-mutation-example-gen] mutation-nix: collecting coverage for suite sydtest-mutation-example-gen
  152. 13.33 s [sydtest-mutation-example-gen] coverage (2/32): Example\.CaseLibSpec.describeList.describes longer lists (3 mutations)
  153. 13.34 s [sydtest-mutation-example-gen] coverage (16/32): Example\.ListLibSpec.tripleConcat.distinguishes the last element (2 mutations)
  154. 13.44 s [sydtest-mutation-example-gen] coverage (20/32): Example\.OtherwiseLibSpec.classify.classifies negative numbers (6 mutations)
  155. 13.48 s [sydtest-mutation-example-gen] coverage (25/32): Example\.LogicLibSpec.eitherPositive.is False when neither is positive (18 mutations)
  156. 13.50 s [sydtest-mutation-example-gen] coverage (22/32): Example\.DoLibSpec.greet.greets quietly (5 mutations)
  157. 13.57 s [sydtest-mutation-example-gen] coverage (12/32): Example\.LibSpec.addOne.returns 6 for input 5 (4 mutations)
  158. 13.59 s [sydtest-mutation-example-gen] coverage (10/32): Example\.FunctionExceptionLibSpec.addOneArithAndIntLitDisabled.increments by one (0 mutations)
  159. 13.61 s [sydtest-mutation-example-gen] coverage (8/32): Example\.BoolLibSpec.negateWrapped.negates Just False to Just True (0 mutations)
  160. 13.68 s [sydtest-mutation-example-gen] coverage (26/32): Example\.LogicLibSpec.eitherPositive.is True when only the second is positive (18 mutations)
  161. 13.69 s [sydtest-mutation-example-gen] coverage (1/32): Example\.CaseLibSpec.describeList.describes singleton lists (3 mutations)
  162. 13.71 s [sydtest-mutation-example-gen] coverage (18/32): Example\.ListLibSpec.tripleConcat.concatenates all three arguments (2 mutations)
  163. 13.72 s [sydtest-mutation-example-gen] coverage (13/32): Example\.LibSpec.addOne.returns 2 for input 1 (4 mutations)
  164. 13.72 s [sydtest-mutation-example-gen] coverage (6/32): Example\.BoolLibSpec.negateWrapped.negates Just True to Just False (0 mutations)
  165. 13.74 s [sydtest-mutation-example-gen] coverage (7/32): Example\.BoolLibSpec.negateWrapped.leaves Nothing as Nothing (0 mutations)
  166. 13.75 s [sydtest-mutation-example-gen] coverage (15/32): Example\.ListLibSpec.pairConcat.concatenates both arguments (2 mutations)
  167. 13.76 s [sydtest-mutation-example-gen] coverage (21/32): Example\.OtherwiseLibSpec.classify.classifies zero (9 mutations)
  168. 13.76 s [sydtest-mutation-example-gen] coverage (5/32): Example\.BoolLibSpec.wrapFalse.is Just False (2 mutations)
  169. 13.77 s [sydtest-mutation-example-gen] coverage (3/32): Example\.CaseLibSpec.describeList.describes empty lists (3 mutations)
  170. 13.77 s [sydtest-mutation-example-gen] coverage (24/32): Example\.LogicLibSpec.eitherPositive.is True when only the first is positive (11 mutations)
  171. 13.77 s [sydtest-mutation-example-gen] coverage (9/32): Example\.FunctionExceptionLibSpec.addOneArithDisabled.increments by one (2 mutations)
  172. 13.78 s [sydtest-mutation-example-gen] coverage (27/32): Example\.LogicLibSpec.eitherPositive.is True when both are positive (11 mutations)
  173. 13.79 s [sydtest-mutation-example-gen] coverage (4/32): Example\.BoolLibSpec.wrapTrue.is Just True (2 mutations)
  174. 13.81 s [sydtest-mutation-example-gen] coverage (14/32): Example\.ListLibSpec.pairConcat.preserves the order (2 mutations)
  175. 13.81 s [sydtest-mutation-example-gen] coverage (23/32): Example\.DoLibSpec.greet.greets loudly (5 mutations)
  176. 13.82 s [sydtest-mutation-example-gen] coverage (19/32): Example\.OtherwiseLibSpec.classify.classifies positive numbers (9 mutations)
  177. 13.83 s [sydtest-mutation-example-gen] coverage (11/32): Example\.FunctionExceptionLibSpec.addOneFunctionDisabled.increments by one (0 mutations)
  178. 13.85 s [sydtest-mutation-example-gen] coverage (17/32): Example\.ListLibSpec.tripleConcat.distinguishes the first element (2 mutations)
  179. 13.87 s [sydtest-mutation-example-gen] coverage (31/32): Example\.LogicLibSpec.bothPositive.is False when only the first is positive (18 mutations)
  180. 13.87 s [sydtest-mutation-example-gen] coverage (30/32): Example\.LogicLibSpec.bothPositive.is False when neither is positive (11 mutations)
  181. 13.89 s [sydtest-mutation-example-gen] coverage (28/32): Example\.LogicLibSpec.bothPositive.is False when only the second is positive (11 mutations)
  182. 13.90 s [sydtest-mutation-example-gen] coverage (32/32): Example\.ExceptionLibSpec.addOneModuleDisabled.increments by one (0 mutations)
  183. 13.92 s [sydtest-mutation-example-gen] coverage (29/32): Example\.LogicLibSpec.bothPositive.is True when both are positive (18 mutations)
  184. 13.93 s [sydtest-mutation-example-gen] mutation-nix: running mutations
  185. 14.49 s [sydtest-mutation-example-gen] Testing mutation BoolLit at src/Example/BoolLib.hs:18:18-23
  186. 14.49 s [sydtest-mutation-example-gen] @@ -15,7 +15,7 @@
  187. 14.49 s [sydtest-mutation-example-gen] --
  188. 14.49 s [sydtest-mutation-example-gen] -- Mutation sites: BoolLit/ConstBool on the inner False, MaybeOp on Just False.
  189. 14.49 s [sydtest-mutation-example-gen] wrapFalse :: Maybe Bool
  190. 14.49 s [sydtest-mutation-example-gen] -wrapFalse = Just False
  191. 14.49 s [sydtest-mutation-example-gen] +wrapFalse = Just True
  192. 14.49 s [sydtest-mutation-example-gen]
  193. 14.49 s [sydtest-mutation-example-gen] -- | Negates a wrapped boolean.
  194. 14.49 s [sydtest-mutation-example-gen] negateWrapped :: Maybe Bool -> Maybe Bool
  195. 14.49 s [sydtest-mutation-example-gen] Testing mutation MaybeOp at src/Example/BoolLib.hs:12:12-21
  196. 14.49 s [sydtest-mutation-example-gen] @@ -9,7 +9,7 @@
  197. 14.49 s [sydtest-mutation-example-gen] --
  198. 14.49 s [sydtest-mutation-example-gen] -- Mutation sites: BoolLit/ConstBool on the inner True, MaybeOp on Just True.
  199. 14.49 s [sydtest-mutation-example-gen] wrapTrue :: Maybe Bool
  200. 14.49 s [sydtest-mutation-example-gen] -wrapTrue = Just True
  201. 14.49 s [sydtest-mutation-example-gen] +wrapTrue = Nothing
  202. 14.49 s [sydtest-mutation-example-gen]
  203. 14.49 s [sydtest-mutation-example-gen] -- | Wraps False in Just.
  204. 14.49 s [sydtest-mutation-example-gen] --
  205. 14.49 s [sydtest-mutation-example-gen] Testing mutation BoolLit at src/Example/BoolLib.hs:12:17-21
  206. 14.49 s [sydtest-mutation-example-gen] @@ -9,7 +9,7 @@
  207. 14.49 s [sydtest-mutation-example-gen] --
  208. 14.49 s [sydtest-mutation-example-gen] -- Mutation sites: BoolLit/ConstBool on the inner True, MaybeOp on Just True.
  209. 14.49 s [sydtest-mutation-example-gen] wrapTrue :: Maybe Bool
  210. 14.49 s [sydtest-mutation-example-gen] -wrapTrue = Just True
  211. 14.49 s [sydtest-mutation-example-gen] +wrapTrue = Just False
  212. 14.49 s [sydtest-mutation-example-gen]
  213. 14.49 s [sydtest-mutation-example-gen] -- | Wraps False in Just.
  214. 14.49 s [sydtest-mutation-example-gen] --
  215. 14.49 s [sydtest-mutation-example-gen] Testing mutation MaybeOp at src/Example/BoolLib.hs:18:13-23
  216. 14.49 s [sydtest-mutation-example-gen] @@ -15,7 +15,7 @@
  217. 14.49 s [sydtest-mutation-example-gen] --
  218. 14.49 s [sydtest-mutation-example-gen] -- Mutation sites: BoolLit/ConstBool on the inner False, MaybeOp on Just False.
  219. 14.49 s [sydtest-mutation-example-gen] wrapFalse :: Maybe Bool
  220. 14.49 s [sydtest-mutation-example-gen] -wrapFalse = Just False
  221. 14.49 s [sydtest-mutation-example-gen] +wrapFalse = Nothing
  222. 14.49 s [sydtest-mutation-example-gen]
  223. 14.49 s [sydtest-mutation-example-gen] -- | Negates a wrapped boolean.
  224. 14.49 s [sydtest-mutation-example-gen] negateWrapped :: Maybe Bool -> Maybe Bool
  225. 14.49 s [sydtest-mutation-example-gen] Testing mutation RemoveCase at src/Example/CaseLib.hs:7:19-16
  226. 14.49 s [sydtest-mutation-example-gen] @@ -4,7 +4,6 @@
  227. 14.49 s [sydtest-mutation-example-gen] --
  228. 14.49 s [sydtest-mutation-example-gen] -- Mutation sites: RemoveCase removes one of the three alternatives.
  229. 14.49 s [sydtest-mutation-example-gen] describeList :: [a] -> String
  230. 14.49 s [sydtest-mutation-example-gen] describeList xs = case xs of
  231. 14.49 s [sydtest-mutation-example-gen] [] -> "empty"
  232. 14.50 s [sydtest-mutation-example-gen] - [_] -> "singleton"
  233. 14.50 s [sydtest-mutation-example-gen] _ -> "longer"
  234. 14.50 s [sydtest-mutation-example-gen] Testing mutation RemoveCase at src/Example/CaseLib.hs:7:19-16
  235. 14.50 s [sydtest-mutation-example-gen] @@ -4,7 +4,6 @@
  236. 14.50 s [sydtest-mutation-example-gen] --
  237. 14.50 s [sydtest-mutation-example-gen] -- Mutation sites: RemoveCase removes one of the three alternatives.
  238. 14.50 s [sydtest-mutation-example-gen] describeList :: [a] -> String
  239. 14.50 s [sydtest-mutation-example-gen] describeList xs = case xs of
  240. 14.50 s [sydtest-mutation-example-gen] - [] -> "empty"
  241. 14.50 s [sydtest-mutation-example-gen] [_] -> "singleton"
  242. 14.50 s [sydtest-mutation-example-gen] _ -> "longer"
  243. 14.50 s [sydtest-mutation-example-gen] Testing mutation RemoveCase at src/Example/CaseLib.hs:7:19-16
  244. 14.50 s [sydtest-mutation-example-gen] @@ -4,7 +4,6 @@
  245. 14.50 s [sydtest-mutation-example-gen] --
  246. 14.50 s [sydtest-mutation-example-gen] -- Mutation sites: RemoveCase removes one of the three alternatives.
  247. 14.50 s [sydtest-mutation-example-gen] describeList :: [a] -> String
  248. 14.50 s [sydtest-mutation-example-gen] describeList xs = case xs of
  249. 14.50 s [sydtest-mutation-example-gen] [] -> "empty"
  250. 14.50 s [sydtest-mutation-example-gen] [_] -> "singleton"
  251. 14.50 s [sydtest-mutation-example-gen] - _ -> "longer"
  252. 14.50 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/LogicLib.hs:17:26-27
  253. 14.50 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  254. 14.50 s [sydtest-mutation-example-gen] --
  255. 14.50 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  256. 14.50 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  257. 14.50 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  258. 14.50 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 1 || b > 0
  259. 14.50 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:22-27
  260. 14.50 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  261. 14.50 s [sydtest-mutation-example-gen] --
  262. 14.50 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  263. 14.50 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  264. 14.50 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  265. 14.50 s [sydtest-mutation-example-gen] +eitherPositive a b = a < 0 || b > 0
  266. 14.50 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:22-27
  267. 14.50 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  268. 14.50 s [sydtest-mutation-example-gen] --
  269. 14.50 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  270. 14.50 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  271. 14.50 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  272. 14.50 s [sydtest-mutation-example-gen] +eitherPositive a b = a <= 0 || b > 0
  273. 14.50 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:22-27
  274. 14.50 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  275. 14.50 s [sydtest-mutation-example-gen] --
  276. 14.50 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  277. 14.50 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  278. 14.50 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  279. 14.50 s [sydtest-mutation-example-gen] +eitherPositive a b = a >= 0 || b > 0
  280. 14.50 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:17:22-27
  281. 14.50 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  282. 14.50 s [sydtest-mutation-example-gen] --
  283. 14.50 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  284. 14.51 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  285. 14.51 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  286. 14.51 s [sydtest-mutation-example-gen] +eitherPositive a b = not (a > 0) || b > 0
  287. 14.51 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-27
  288. 14.51 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  289. 14.51 s [sydtest-mutation-example-gen] --
  290. 14.51 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  291. 14.51 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  292. 14.51 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  293. 14.51 s [sydtest-mutation-example-gen] +eitherPositive a b = True || b > 0
  294. 14.51 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:31-36
  295. 14.51 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  296. 14.51 s [sydtest-mutation-example-gen] --
  297. 14.51 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  298. 14.51 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  299. 14.51 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  300. 14.51 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || b < 0
  301. 14.51 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:31-36
  302. 14.51 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  303. 14.51 s [sydtest-mutation-example-gen] --
  304. 14.51 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  305. 14.51 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  306. 14.51 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  307. 14.51 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || True
  308. 14.51 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:31-36
  309. 14.51 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  310. 14.51 s [sydtest-mutation-example-gen] --
  311. 14.51 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  312. 14.51 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  313. 14.51 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  314. 14.51 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || b >= 0
  315. 14.51 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/LogicLib.hs:17:35-36
  316. 14.51 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  317. 14.51 s [sydtest-mutation-example-gen] --
  318. 14.51 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  319. 14.51 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  320. 14.51 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  321. 14.51 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || b > 1
  322. 14.51 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:31-36
  323. 14.51 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  324. 14.51 s [sydtest-mutation-example-gen] --
  325. 14.51 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  326. 14.51 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  327. 14.51 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  328. 14.51 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || b <= 0
  329. 14.51 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-27
  330. 14.51 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  331. 14.51 s [sydtest-mutation-example-gen] --
  332. 14.51 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  333. 14.51 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  334. 14.51 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  335. 14.51 s [sydtest-mutation-example-gen] +eitherPositive a b = False || b > 0
  336. 14.51 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:31-36
  337. 14.51 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  338. 14.51 s [sydtest-mutation-example-gen] --
  339. 14.51 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  340. 14.51 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  341. 14.51 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  342. 14.51 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || False
  343. 14.51 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:17:31-36
  344. 14.51 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  345. 14.51 s [sydtest-mutation-example-gen] --
  346. 14.51 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  347. 14.51 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  348. 14.51 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  349. 14.51 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || not (b > 0)
  350. 14.52 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:20-25
  351. 14.52 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  352. 14.52 s [sydtest-mutation-example-gen] --
  353. 14.52 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  354. 14.52 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  355. 14.52 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  356. 14.52 s [sydtest-mutation-example-gen] +bothPositive a b = a <= 0 && b > 0
  357. 14.52 s [sydtest-mutation-example-gen]
  358. 14.52 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  359. 14.52 s [sydtest-mutation-example-gen] --
  360. 14.52 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/LogicLib.hs:11:24-25
  361. 14.52 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  362. 14.52 s [sydtest-mutation-example-gen] --
  363. 14.52 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  364. 14.52 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  365. 14.52 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  366. 14.52 s [sydtest-mutation-example-gen] +bothPositive a b = a > 1 && b > 0
  367. 14.52 s [sydtest-mutation-example-gen]
  368. 14.52 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  369. 14.52 s [sydtest-mutation-example-gen] --
  370. 14.52 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-36
  371. 14.52 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  372. 14.52 s [sydtest-mutation-example-gen] --
  373. 14.52 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  374. 14.52 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  375. 14.52 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  376. 14.52 s [sydtest-mutation-example-gen] +eitherPositive a b = True
  377. 14.52 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-36
  378. 14.52 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  379. 14.52 s [sydtest-mutation-example-gen] --
  380. 14.52 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  381. 14.52 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  382. 14.52 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  383. 14.52 s [sydtest-mutation-example-gen] +eitherPositive a b = False
  384. 14.52 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:20-25
  385. 14.52 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  386. 14.52 s [sydtest-mutation-example-gen] --
  387. 14.52 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  388. 14.52 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  389. 14.52 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  390. 14.52 s [sydtest-mutation-example-gen] +bothPositive a b = a >= 0 && b > 0
  391. 14.52 s [sydtest-mutation-example-gen]
  392. 14.52 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  393. 14.52 s [sydtest-mutation-example-gen] --
  394. 14.52 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:20-25
  395. 14.52 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  396. 14.52 s [sydtest-mutation-example-gen] --
  397. 14.52 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  398. 14.52 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  399. 14.52 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  400. 14.52 s [sydtest-mutation-example-gen] +bothPositive a b = a < 0 && b > 0
  401. 14.52 s [sydtest-mutation-example-gen]
  402. 14.52 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  403. 14.52 s [sydtest-mutation-example-gen] --
  404. 14.52 s [sydtest-mutation-example-gen] Testing mutation LogicOp at src/Example/LogicLib.hs:17:22-36
  405. 14.52 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  406. 14.52 s [sydtest-mutation-example-gen] --
  407. 14.52 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  408. 14.52 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  409. 15.49 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  410. 15.57 s [sydtest-mutation-example-gen] +eitherPositive a b = a > 0 && b > 0
  411. 15.57 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-25
  412. 15.58 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  413. 15.58 s [sydtest-mutation-example-gen] --
  414. 15.58 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  415. 15.58 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  416. 15.58 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  417. 15.58 s [sydtest-mutation-example-gen] +bothPositive a b = True && b > 0
  418. 15.58 s [sydtest-mutation-example-gen]
  419. 15.58 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  420. 15.58 s [sydtest-mutation-example-gen] --
  421. 15.58 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:17:22-36
  422. 15.58 s [sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
  423. 15.58 s [sydtest-mutation-example-gen] --
  424. 15.58 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
  425. 15.58 s [sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
  426. 15.58 s [sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
  427. 15.58 s [sydtest-mutation-example-gen] +eitherPositive a b = not (a > 0 || b > 0)
  428. 15.58 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-25
  429. 15.58 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  430. 15.58 s [sydtest-mutation-example-gen] --
  431. 15.58 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  432. 15.58 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  433. 15.58 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  434. 15.58 s [sydtest-mutation-example-gen] +bothPositive a b = False && b > 0
  435. 15.58 s [sydtest-mutation-example-gen]
  436. 15.58 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  437. 15.58 s [sydtest-mutation-example-gen] --
  438. 15.58 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:11:20-25
  439. 15.59 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  440. 15.59 s [sydtest-mutation-example-gen] --
  441. 15.59 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  442. 15.59 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  443. 15.59 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  444. 15.59 s [sydtest-mutation-example-gen] +bothPositive a b = not (a > 0) && b > 0
  445. 15.59 s [sydtest-mutation-example-gen]
  446. 15.59 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  447. 15.59 s [sydtest-mutation-example-gen] --
  448. 15.59 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:29-34
  449. 15.59 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  450. 15.59 s [sydtest-mutation-example-gen] --
  451. 15.59 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  452. 15.59 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  453. 15.59 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  454. 15.59 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 && b < 0
  455. 15.59 s [sydtest-mutation-example-gen]
  456. 15.59 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  457. 15.59 s [sydtest-mutation-example-gen] --
  458. 15.59 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/LogicLib.hs:11:33-34
  459. 15.59 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  460. 15.59 s [sydtest-mutation-example-gen] --
  461. 15.59 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  462. 15.59 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  463. 15.59 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  464. 15.59 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 && b > 1
  465. 15.59 s [sydtest-mutation-example-gen]
  466. 15.59 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  467. 15.59 s [sydtest-mutation-example-gen] --
  468. 15.59 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:29-34
  469. 15.59 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  470. 15.59 s [sydtest-mutation-example-gen] --
  471. 15.59 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  472. 15.59 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  473. 15.59 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  474. 15.59 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 && b <= 0
  475. 15.60 s [sydtest-mutation-example-gen]
  476. 15.60 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  477. 15.60 s [sydtest-mutation-example-gen] --
  478. 15.60 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:29-34
  479. 15.60 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  480. 15.60 s [sydtest-mutation-example-gen] --
  481. 15.60 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  482. 15.60 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  483. 15.60 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  484. 15.60 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 && False
  485. 15.60 s [sydtest-mutation-example-gen]
  486. 15.60 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  487. 15.60 s [sydtest-mutation-example-gen] --
  488. 15.60 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:29-34
  489. 15.60 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  490. 15.60 s [sydtest-mutation-example-gen] --
  491. 15.60 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  492. 15.60 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  493. 15.60 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  494. 15.60 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 && True
  495. 15.60 s [sydtest-mutation-example-gen]
  496. 15.60 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  497. 15.60 s [sydtest-mutation-example-gen] --
  498. 15.60 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:11:29-34
  499. 15.60 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  500. 15.60 s [sydtest-mutation-example-gen] --
  501. 15.60 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  502. 15.60 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  503. 15.60 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  504. 15.60 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 && not (b > 0)
  505. 15.61 s [sydtest-mutation-example-gen]
  506. 15.61 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  507. 15.61 s [sydtest-mutation-example-gen] --
  508. 15.61 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:29-34
  509. 15.61 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  510. 15.61 s [sydtest-mutation-example-gen] --
  511. 15.61 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  512. 15.61 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  513. 15.61 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  514. 15.61 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 && b >= 0
  515. 15.61 s [sydtest-mutation-example-gen]
  516. 15.61 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  517. 15.61 s [sydtest-mutation-example-gen] --
  518. 15.61 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-34
  519. 15.61 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  520. 15.61 s [sydtest-mutation-example-gen] --
  521. 15.61 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  522. 15.61 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  523. 15.61 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  524. 15.61 s [sydtest-mutation-example-gen] +bothPositive a b = True
  525. 15.61 s [sydtest-mutation-example-gen]
  526. 15.61 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  527. 15.61 s [sydtest-mutation-example-gen] --
  528. 15.61 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-34
  529. 15.61 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  530. 15.61 s [sydtest-mutation-example-gen] --
  531. 15.61 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  532. 15.61 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  533. 15.61 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  534. 15.61 s [sydtest-mutation-example-gen] +bothPositive a b = False
  535. 15.61 s [sydtest-mutation-example-gen]
  536. 15.61 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  537. 15.61 s [sydtest-mutation-example-gen] --
  538. 15.61 s [sydtest-mutation-example-gen] Testing mutation LogicOp at src/Example/LogicLib.hs:11:20-34
  539. 15.61 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  540. 15.61 s [sydtest-mutation-example-gen] --
  541. 15.61 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  542. 15.61 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  543. 15.61 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  544. 15.61 s [sydtest-mutation-example-gen] +bothPositive a b = a > 0 || b > 0
  545. 15.61 s [sydtest-mutation-example-gen]
  546. 15.62 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  547. 15.62 s [sydtest-mutation-example-gen] --
  548. 15.62 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:11:20-34
  549. 15.62 s [sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
  550. 15.62 s [sydtest-mutation-example-gen] --
  551. 15.62 s [sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
  552. 15.62 s [sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
  553. 15.62 s [sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
  554. 15.62 s [sydtest-mutation-example-gen] +bothPositive a b = not (a > 0 && b > 0)
  555. 15.62 s [sydtest-mutation-example-gen]
  556. 15.62 s [sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
  557. 15.62 s [sydtest-mutation-example-gen] --
  558. 15.62 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/OtherwiseLib.hs:12:9-10
  559. 15.62 s [sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
  560. 15.62 s [sydtest-mutation-example-gen] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  561. 15.62 s [sydtest-mutation-example-gen] classify :: Int -> String
  562. 15.62 s [sydtest-mutation-example-gen] classify n
  563. 15.62 s [sydtest-mutation-example-gen] - | n < 0 = "negative"
  564. 15.62 s [sydtest-mutation-example-gen] + | n < 1 = "negative"
  565. 15.62 s [sydtest-mutation-example-gen] | n == 0 = "zero"
  566. 15.62 s [sydtest-mutation-example-gen] | otherwise = "positive"
  567. 15.62 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10
  568. 15.62 s [sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
  569. 15.62 s [sydtest-mutation-example-gen] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  570. 15.62 s [sydtest-mutation-example-gen] classify :: Int -> String
  571. 15.62 s [sydtest-mutation-example-gen] classify n
  572. 15.62 s [sydtest-mutation-example-gen] - | n < 0 = "negative"
  573. 15.62 s [sydtest-mutation-example-gen] + | n <= 0 = "negative"
  574. 15.62 s [sydtest-mutation-example-gen] | n == 0 = "zero"
  575. 15.62 s [sydtest-mutation-example-gen] | otherwise = "positive"
  576. 15.62 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10
  577. 15.62 s [sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
  578. 15.62 s [sydtest-mutation-example-gen] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  579. 15.62 s [sydtest-mutation-example-gen] classify :: Int -> String
  580. 15.62 s [sydtest-mutation-example-gen] classify n
  581. 15.62 s [sydtest-mutation-example-gen] - | n < 0 = "negative"
  582. 15.62 s [sydtest-mutation-example-gen] + | n > 0 = "negative"
  583. 15.62 s [sydtest-mutation-example-gen] | n == 0 = "zero"
  584. 15.62 s [sydtest-mutation-example-gen] | otherwise = "positive"
  585. 15.62 s [sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10
  586. 15.62 s [sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
  587. 15.62 s [sydtest-mutation-example-gen] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  588. 15.62 s [sydtest-mutation-example-gen] classify :: Int -> String
  589. 15.63 s [sydtest-mutation-example-gen] classify n
  590. 15.63 s [sydtest-mutation-example-gen] - | n < 0 = "negative"
  591. 15.63 s [sydtest-mutation-example-gen] + | n >= 0 = "negative"
  592. 15.63 s [sydtest-mutation-example-gen] | n == 0 = "zero"
  593. 15.63 s [sydtest-mutation-example-gen] | otherwise = "positive"
  594. 15.63 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/OtherwiseLib.hs:12:5-10
  595. 15.63 s [sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
  596. 15.63 s [sydtest-mutation-example-gen] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  597. 15.63 s [sydtest-mutation-example-gen] classify :: Int -> String
  598. 15.63 s [sydtest-mutation-example-gen] classify n
  599. 15.63 s [sydtest-mutation-example-gen] - | n < 0 = "negative"
  600. 15.63 s [sydtest-mutation-example-gen] + | True = "negative"
  601. 15.63 s [sydtest-mutation-example-gen] | n == 0 = "zero"
  602. 15.63 s [sydtest-mutation-example-gen] | otherwise = "positive"
  603. 15.63 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/OtherwiseLib.hs:12:5-10
  604. 15.63 s [sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
  605. 15.63 s [sydtest-mutation-example-gen] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
  606. 15.63 s [sydtest-mutation-example-gen] classify :: Int -> String
  607. 15.63 s [sydtest-mutation-example-gen] classify n
  608. 15.63 s [sydtest-mutation-example-gen] - | n < 0 = "negative"
  609. 15.63 s [sydtest-mutation-example-gen] + | not (n < 0) = "negative"
  610. 15.63 s [sydtest-mutation-example-gen] | n == 0 = "zero"
  611. 15.63 s [sydtest-mutation-example-gen] | otherwise = "positive"
  612. 15.63 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/OtherwiseLib.hs:13:10-11
  613. 15.63 s [sydtest-mutation-example-gen] @@ -10,5 +10,5 @@
  614. 15.63 s [sydtest-mutation-example-gen] classify :: Int -> String
  615. 15.63 s [sydtest-mutation-example-gen] classify n
  616. 15.63 s [sydtest-mutation-example-gen] | n < 0 = "negative"
  617. 15.63 s [sydtest-mutation-example-gen] - | n == 0 = "zero"
  618. 15.63 s [sydtest-mutation-example-gen] + | n == 1 = "zero"
  619. 15.63 s [sydtest-mutation-example-gen] | otherwise = "positive"
  620. 15.63 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/OtherwiseLib.hs:13:5-11
  621. 15.63 s [sydtest-mutation-example-gen] @@ -10,5 +10,5 @@
  622. 15.63 s [sydtest-mutation-example-gen] classify :: Int -> String
  623. 15.63 s [sydtest-mutation-example-gen] classify n
  624. 15.63 s [sydtest-mutation-example-gen] | n < 0 = "negative"
  625. 15.63 s [sydtest-mutation-example-gen] - | n == 0 = "zero"
  626. 15.63 s [sydtest-mutation-example-gen] + | True = "zero"
  627. 15.63 s [sydtest-mutation-example-gen] | otherwise = "positive"
  628. 15.63 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/OtherwiseLib.hs:13:5-11
  629. 15.63 s [sydtest-mutation-example-gen] @@ -10,5 +10,5 @@
  630. 15.63 s [sydtest-mutation-example-gen] classify :: Int -> String
  631. 15.64 s [sydtest-mutation-example-gen] classify n
  632. 15.64 s [sydtest-mutation-example-gen] | n < 0 = "negative"
  633. 15.64 s [sydtest-mutation-example-gen] - | n == 0 = "zero"
  634. 15.64 s [sydtest-mutation-example-gen] + | not (n == 0) = "zero"
  635. 15.64 s [sydtest-mutation-example-gen] | otherwise = "positive"
  636. 15.64 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/FunctionExceptionLib.hs:15:29-30
  637. 15.64 s [sydtest-mutation-example-gen] @@ -12,7 +12,7 @@
  638. 15.64 s [sydtest-mutation-example-gen] -- IntLit mutations (replacing the literal @1@) still apply.
  639. 15.64 s [sydtest-mutation-example-gen] {-# ANN addOneArithDisabled ("DisableMutation: Arith" :: String) #-}
  640. 15.64 s [sydtest-mutation-example-gen] addOneArithDisabled :: Int -> Int
  641. 15.64 s [sydtest-mutation-example-gen] -addOneArithDisabled n = n + 1
  642. 15.64 s [sydtest-mutation-example-gen] +addOneArithDisabled n = n + 0
  643. 15.64 s [sydtest-mutation-example-gen]
  644. 15.64 s [sydtest-mutation-example-gen] -- | Both Arith and IntLit mutations disabled on this function.
  645. 15.64 s [sydtest-mutation-example-gen] {-# ANN addOneArithAndIntLitDisabled ("DisableMutations: Arith, IntLit" :: String) #-}
  646. 16.28 s [sydtest-mutation-example-gen] Testing mKilled: 68
  647. 16.28 s [sydtest-mutation-example-gen] Survived: 0
  648. 16.28 s [sydtest-mutation-example-gen] Uncovered: 0
  649. 16.28 s [sydtest-mutation-example-gen] utation IntLit at src/Example/FunctionExceptionLib.hs:15:29-30
  650. 16.28 s [sydtest-mutation-example-gen] @@ -12,7 +12,7 @@
  651. 16.28 s [sydtest-mutation-example-gen] -- IntLit mutations (replacing the literal @1@) still apply.
  652. 16.28 s [sydtest-mutation-example-gen] {-# ANN addOneArithDisabled ("DisableMutation: Arith" :: String) #-}
  653. 16.28 s [sydtest-mutation-example-gen] addOneArithDisabled :: Int -> Int
  654. 16.28 s [sydtest-mutation-example-gen] -addOneArithDisabled n = n + 1
  655. 16.28 s [sydtest-mutation-example-gen] +addOneArithDisabled n = n + -1
  656. 16.28 s [sydtest-mutation-example-gen]
  657. 16.28 s [sydtest-mutation-example-gen] -- | Both Arith and IntLit mutations disabled on this function.
  658. 16.28 s [sydtest-mutation-example-gen] {-# ANN addOneArithAndIntLitDisabled ("DisableMutations: Arith, IntLit" :: String) #-}
  659. 16.28 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/DoLib.hs:14:10-14
  660. 16.28 s [sydtest-mutation-example-gen] @@ -11,5 +11,5 @@
  661. 16.28 s [sydtest-mutation-example-gen] go :: Writer String ()
  662. 16.28 s [sydtest-mutation-example-gen] go = do
  663. 16.28 s [sydtest-mutation-example-gen] tell "Hello"
  664. 16.28 s [sydtest-mutation-example-gen] - if loud then tell "!" else pure ()
  665. 16.28 s [sydtest-mutation-example-gen] + if True then tell "!" else pure ()
  666. 16.28 s [sydtest-mutation-example-gen] tell "\n"
  667. 16.28 s [sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/DoLib.hs:14:10-14
  668. 16.28 s [sydtest-mutation-example-gen] @@ -11,5 +11,5 @@
  669. 16.28 s [sydtest-mutation-example-gen] go :: Writer String ()
  670. 16.28 s [sydtest-mutation-example-gen] go = do
  671. 16.28 s [sydtest-mutation-example-gen] tell "Hello"
  672. 16.28 s [sydtest-mutation-example-gen] - if loud then tell "!" else pure ()
  673. 16.28 s [sydtest-mutation-example-gen] + if False then tell "!" else pure ()
  674. 16.28 s [sydtest-mutation-example-gen] tell "\n"
  675. 16.28 s [sydtest-mutation-example-gen] Testing mutation Negate at src/Example/DoLib.hs:14:10-14
  676. 16.28 s [sydtest-mutation-example-gen] @@ -11,5 +11,5 @@
  677. 16.28 s [sydtest-mutation-example-gen] go :: Writer String ()
  678. 16.28 s [sydtest-mutation-example-gen] go = do
  679. 16.28 s [sydtest-mutation-example-gen] tell "Hello"
  680. 16.28 s [sydtest-mutation-example-gen] - if loud then tell "!" else pure ()
  681. 16.28 s [sydtest-mutation-example-gen] + if not (loud) then tell "!" else pure ()
  682. 16.28 s [sydtest-mutation-example-gen] tell "\n"
  683. 16.28 s [sydtest-mutation-example-gen] Testing mutation RemoveAction at src/Example/DoLib.hs:14:7-41
  684. 16.28 s [sydtest-mutation-example-gen] @@ -11,5 +11,4 @@
  685. 16.28 s [sydtest-mutation-example-gen] go :: Writer String ()
  686. 16.28 s [sydtest-mutation-example-gen] go = do
  687. 16.28 s [sydtest-mutation-example-gen] tell "Hello"
  688. 16.28 s [sydtest-mutation-example-gen] - if loud then tell "!" else pure ()
  689. 16.28 s [sydtest-mutation-example-gen] tell "\n"
  690. 16.28 s [sydtest-mutation-example-gen] Testing mutation RemoveAction at src/Example/DoLib.hs:12:10-16
  691. 16.28 s [sydtest-mutation-example-gen] @@ -9,7 +9,6 @@
  692. 16.28 s [sydtest-mutation-example-gen] greet loud = execWriter go
  693. 16.28 s [sydtest-mutation-example-gen] where
  694. 16.28 s [sydtest-mutation-example-gen] go :: Writer String ()
  695. 16.28 s [sydtest-mutation-example-gen] go = do
  696. 16.28 s [sydtest-mutation-example-gen] - tell "Hello"
  697. 16.28 s [sydtest-mutation-example-gen] if loud then tell "!" else pure ()
  698. 16.28 s [sydtest-mutation-example-gen] tell "\n"
  699. 16.28 s [sydtest-mutation-example-gen] Testing mutation ListLit at src/Example/ListLib.hs:19:29-38
  700. 16.28 s [sydtest-mutation-example-gen] @@ -16,4 +16,3 @@
  701. 16.28 s [sydtest-mutation-example-gen] -- Mutation sites: ListLit produces an empty-list mutant, a drop-first mutant,
  702. 16.28 s [sydtest-mutation-example-gen] -- and a drop-last mutant on the literal @[a, b, c]@.
  703. 16.28 s [sydtest-mutation-example-gen] tripleConcat :: String -> String -> String -> String
  704. 16.28 s [sydtest-mutation-example-gen] -tripleConcat a b c = concat [a, b, c]
  705. 16.28 s [sydtest-mutation-example-gen] Testing mutation ListLit at src/Example/ListLib.hs:19:29-38
  706. 16.28 s [sydtest-mutation-example-gen] @@ -16,4 +16,3 @@
  707. 16.28 s [sydtest-mutation-example-gen] -- Mutation sites: ListLit produces an empty-list mutant, a drop-first mutant,
  708. 16.28 s [sydtest-mutation-example-gen] -- and a drop-last mutant on the literal @[a, b, c]@.
  709. 16.28 s [sydtest-mutation-example-gen] tripleConcat :: String -> String -> String -> String
  710. 16.28 s [sydtest-mutation-example-gen] -tripleConcat a b c = concat [a, b, c]
  711. 16.28 s [sydtest-mutation-example-gen] Testing mutation ListLit at src/Example/ListLib.hs:19:29-38
  712. 16.28 s [sydtest-mutation-example-gen] @@ -16,4 +16,3 @@
  713. 16.28 s [sydtest-mutation-example-gen] -- Mutation sites: ListLit produces an empty-list mutant, a drop-first mutant,
  714. 16.28 s [sydtest-mutation-example-gen] -- and a drop-last mutant on the literal @[a, b, c]@.
  715. 16.28 s [sydtest-mutation-example-gen] tripleConcat :: String -> String -> String -> String
  716. 16.28 s [sydtest-mutation-example-gen] -tripleConcat a b c = concat [a, b, c]
  717. 16.28 s [sydtest-mutation-example-gen] Testing mutation ListLit at src/Example/ListLib.hs:12:25-31
  718. 16.28 s [sydtest-mutation-example-gen] @@ -9,7 +9,6 @@
  719. 16.28 s [sydtest-mutation-example-gen] -- Mutation sites: ListLit produces an empty-list mutant and a drop-first
  720. 16.28 s [sydtest-mutation-example-gen] -- mutant on the literal @[a, b]@.
  721. 16.28 s [sydtest-mutation-example-gen] pairConcat :: String -> String -> String
  722. 16.28 s [sydtest-mutation-example-gen] -pairConcat a b = concat [a, b]
  723. 16.28 s [sydtest-mutation-example-gen]
  724. 16.28 s [sydtest-mutation-example-gen] -- | Concatenate a three-element list of strings.
  725. 16.28 s [sydtest-mutation-example-gen] --
  726. 16.28 s [sydtest-mutation-example-gen] Testing mutation ListLit at src/Example/ListLib.hs:12:25-31
  727. 16.28 s [sydtest-mutation-example-gen] @@ -9,7 +9,6 @@
  728. 16.28 s [sydtest-mutation-example-gen] -- Mutation sites: ListLit produces an empty-list mutant and a drop-first
  729. 16.28 s [sydtest-mutation-example-gen] -- mutant on the literal @[a, b]@.
  730. 16.28 s [sydtest-mutation-example-gen] pairConcat :: String -> String -> String
  731. 16.28 s [sydtest-mutation-example-gen] -pairConcat a b = concat [a, b]
  732. 16.29 s [sydtest-mutation-example-gen]
  733. 16.29 s [sydtest-mutation-example-gen] -- | Concatenate a three-element list of strings.
  734. 16.29 s [sydtest-mutation-example-gen] --
  735. 16.29 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/Lib.hs:8:16-17
  736. 16.29 s [sydtest-mutation-example-gen] @@ -5,4 +5,4 @@
  737. 16.29 s [sydtest-mutation-example-gen] -- The literal '1' here is a mutation site: the plugin will also compile a
  738. 16.29 s [sydtest-mutation-example-gen] -- version where this returns @n + 0@ instead of @n + 1@.
  739. 16.29 s [sydtest-mutation-example-gen] addOne :: Int -> Int
  740. 16.29 s [sydtest-mutation-example-gen] -addOne n = n + 1
  741. 16.29 s [sydtest-mutation-example-gen] +addOne n = n + 0
  742. 16.29 s [sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/Lib.hs:8:16-17
  743. 16.29 s [sydtest-mutation-example-gen] @@ -5,4 +5,4 @@
  744. 16.29 s [sydtest-mutation-example-gen] -- The literal '1' here is a mutation site: the plugin will also compile a
  745. 16.29 s [sydtest-mutation-example-gen] -- version where this returns @n + 0@ instead of @n + 1@.
  746. 16.29 s [sydtest-mutation-example-gen] addOne :: Int -> Int
  747. 16.29 s [sydtest-mutation-example-gen] -addOne n = n + 1
  748. 16.29 s [sydtest-mutation-example-gen] +addOne n = n + -1
  749. 16.29 s [sydtest-mutation-example-gen] Testing mutation Arith at src/Example/Lib.hs:8:12-17
  750. 16.29 s [sydtest-mutation-example-gen] @@ -5,4 +5,4 @@
  751. 16.29 s [sydtest-mutation-example-gen] -- The literal '1' here is a mutation site: the plugin will also compile a
  752. 16.29 s [sydtest-mutation-example-gen] -- version where this returns @n + 0@ instead of @n + 1@.
  753. 16.29 s [sydtest-mutation-example-gen] addOne :: Int -> Int
  754. 16.29 s [sydtest-mutation-example-gen] -addOne n = n + 1
  755. 16.29 s [sydtest-mutation-example-gen] +addOne n = n - 1
  756. 16.29 s [sydtest-mutation-example-gen] Testing mutation Arith at src/Example/Lib.hs:8:12-17
  757. 16.29 s [sydtest-mutation-example-gen] @@ -5,4 +5,4 @@
  758. 16.29 s [sydtest-mutation-example-gen] -- The literal '1' here is a mutation site: the plugin will also compile a
  759. 16.29 s [sydtest-mutation-example-gen] -- version where this returns @n + 0@ instead of @n + 1@.
  760. 16.29 s [sydtest-mutation-example-gen] addOne :: Int -> Int
  761. 16.29 s [sydtest-mutation-example-gen] -addOne n = n + 1
  762. 16.29 s [sydtest-mutation-example-gen] +addOne n = n * 1
  763. 16.29 s [sydtest-mutation-example-gen] Phase: haddockPhase
  764. 16.43 s [sydtest-mutation-example-gen] Preprocessing library for sydtest-mutation-example-gen-0.0.0.0...
  765. 16.43 s [sydtest-mutation-example-gen] Running Haddock on library for sydtest-mutation-example-gen-0.0.0.0...
  766. 16.60 s [sydtest-mutation-example-gen] [1 of 2] Compiling Example.Gen ( src/Example/Gen.hs, nothing )
  767. 16.62 s [sydtest-mutation-example-gen] [2 of 2] Compiling Paths_sydtest_mutation_example_gen ( dist/build/autogen/Paths_sydtest_mutation_example_gen.hs, nothing )
  768. 16.63 s [sydtest-mutation-example-gen] Haddock coverage:
  769. 16.63 s [sydtest-mutation-example-gen] 50% ( 1 / 2) in 'Example.Gen'
  770. 16.64 s [sydtest-mutation-example-gen] Missing documentation for:
  771. 16.64 s [sydtest-mutation-example-gen] Module header
  772. 19.77 s [sydtest-mutation-example-gen] Documentation created: dist/doc/html/sydtest-mutation-example-gen/,
  773. 19.77 s [sydtest-mutation-example-gen] dist/doc/html/sydtest-mutation-example-gen/sydtest-mutation-example-gen.txt
  774. 19.82 s [sydtest-mutation-example-gen] Preprocessing test suite 'sydtest-mutation-example-gen-test' for sydtest-mutation-example-gen-0.0.0.0...
  775. 19.83 s [sydtest-mutation-example-gen] Phase: installPhase
  776. 19.92 s [sydtest-mutation-example-gen] Installing library in /nix/store/3qzcn88kr1p0cadnbszyi47p2walarhd-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-ImsGOVr3wFJAdg8FaKJMy9
  777. 20.11 s [sydtest-mutation-example-gen] Phase: fixupPhase
  778. 20.13 s [sydtest-mutation-example-gen] shrinking RPATHs of ELF executables and libraries in /nix/store/3qzcn88kr1p0cadnbszyi47p2walarhd-sydtest-mutation-example-gen-0.0.0.0
  779. 20.13 s [sydtest-mutation-example-gen] shrinking /nix/store/3qzcn88kr1p0cadnbszyi47p2walarhd-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-ImsGOVr3wFJAdg8FaKJMy9-ghc9.10.3.so
  780. 20.14 s [sydtest-mutation-example-gen] checking for references to /build/ in /nix/store/3qzcn88kr1p0cadnbszyi47p2walarhd-sydtest-mutation-example-gen-0.0.0.0...
  781. 20.15 s [sydtest-mutation-example-gen] patching script interpreter paths in /nix/store/3qzcn88kr1p0cadnbszyi47p2walarhd-sydtest-mutation-example-gen-0.0.0.0
  782. 20.16 s [sydtest-mutation-example-gen] stripping (with command strip and flags -S -p) in /nix/store/3qzcn88kr1p0cadnbszyi47p2walarhd-sydtest-mutation-example-gen-0.0.0.0/lib
  783. 20.18 s [sydtest-mutation-example-gen] shrinking RPATHs of ELF executables and libraries in /nix/store/fi5sdnnca9b5kj699nh3zcz420ik90ga-sydtest-mutation-example-gen-0.0.0.0-doc
  784. 20.18 s [sydtest-mutation-example-gen] checking for references to /build/ in /nix/store/fi5sdnnca9b5kj699nh3zcz420ik90ga-sydtest-mutation-example-gen-0.0.0.0-doc...
  785. 20.20 s [sydtest-mutation-example-gen] patching script interpreter paths in /nix/store/fi5sdnnca9b5kj699nh3zcz420ik90ga-sydtest-mutation-example-gen-0.0.0.0-doc
  786. 20.20 s [sydtest-mutation-example-gen] shrinking RPATHs of ELF executables and libraries in /nix/store/a5z5wckqh8ib3kwz0kb29qqlp63dv17b-sydtest-mutation-example-gen-0.0.0.0-report
  787. 20.20 s [sydtest-mutation-example-gen] checking for references to /build/ in /nix/store/a5z5wckqh8ib3kwz0kb29qqlp63dv17b-sydtest-mutation-example-gen-0.0.0.0-report...
  788. 20.21 s [sydtest-mutation-example-gen] patching script interpreter paths in /nix/store/a5z5wckqh8ib3kwz0kb29qqlp63dv17b-sydtest-mutation-example-gen-0.0.0.0-report
  789. 20.29 s [post-build-hook] Uploading to cachix cache "sydtest": /nix/store/3qzcn88kr1p0cadnbszyi47p2walarhd-sydtest-mutation-example-gen-0.0.0.0 /nix/store/a5z5wckqh8ib3kwz0kb29qqlp63dv17b-sydtest-mutation-example-gen-0.0.0.0-report /nix/store/fi5sdnnca9b5kj699nh3zcz420ik90ga-sydtest-mutation-example-gen-0.0.0.0-doc
  790. 20.70 s [post-build-hook] Pushing 3 paths (76 are already present) using zstd to cache sydtest ⏳
  791. 20.70 s [post-build-hook]
  792. 21.06 s [post-build-hook] Pushing /nix/store/a5z5wckqh8ib3kwz0kb29qqlp63dv17b-sydtest-mutation-example-gen-0.0.0.0-report (624.00 B)
  793. 21.13 s [post-build-hook] Pushing /nix/store/fi5sdnnca9b5kj699nh3zcz420ik90ga-sydtest-mutation-example-gen-0.0.0.0-doc (142.72 KiB)
  794. 21.17 s [post-build-hook] Pushing /nix/store/3qzcn88kr1p0cadnbszyi47p2walarhd-sydtest-mutation-example-gen-0.0.0.0 (286.85 KiB)
  795. 22.38 s [post-build-hook]
  796. 22.38 s [post-build-hook] All done.
  797. 22.39 s [post-build-hook] Uploading to the NixCI staging cache: /nix/store/3qzcn88kr1p0cadnbszyi47p2walarhd-sydtest-mutation-example-gen-0.0.0.0 /nix/store/a5z5wckqh8ib3kwz0kb29qqlp63dv17b-sydtest-mutation-example-gen-0.0.0.0-report /nix/store/fi5sdnnca9b5kj699nh3zcz420ik90ga-sydtest-mutation-example-gen-0.0.0.0-doc
  798. 22.43 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  799. 22.48 s [post-build-hook] copying 1 paths...
  800. 22.48 s [post-build-hook] copying path '/nix/store/a5z5wckqh8ib3kwz0kb29qqlp63dv17b-sydtest-mutation-example-gen-0.0.0.0-report' to 'https://cache.staging.nix-ci.com'...
  801. 22.56 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  802. 37.14 s [post-build-hook] copying 0 paths...
  803. 37.77 s Progress: 1 of 3 built, 3 of 3 downloaded from cache
  804. 37.77 s Building sydtest-mutation-example
  805. 37.77 s [sydtest-mutation-example] Results: 68 killed, 0 survived, 0 uncovered out of 68 total
  806. 37.77 s [sydtest-mutation-example]
  807. 37.77 s [sydtest-mutation-example] Killed: 68
  808. 37.77 s [sydtest-mutation-example] Survived: 0
  809. 37.77 s [sydtest-mutation-example] Uncovered: 0
  810. 37.77 s [sydtest-mutation-example] Full report: /nix/store/a5z5wckqh8ib3kwz0kb29qqlp63dv17b-sydtest-mutation-example-gen-0.0.0.0-report/report.txt
  811. 37.77 s [sydtest-mutation-example] Machine-readable report: /nix/store/a5z5wckqh8ib3kwz0kb29qqlp63dv17b-sydtest-mutation-example-gen-0.0.0.0-report/report.json
  812. 37.77 s [sydtest-mutation-example]
  813. 37.77 s [sydtest-mutation-example] PASS: All 68 mutation(s) accounted for.
  814. 37.77 s [post-build-hook] Uploading to cachix cache "sydtest": /nix/store/qxi7976vm76l5hlbff93ka6ky4rsb3ap-sydtest-mutation-example
  815. 37.77 s [post-build-hook] Pushing 1 paths (0 are already present) using zstd to cache sydtest ⏳
  816. 37.77 s [post-build-hook]
  817. 38.00 s [post-build-hook] Pushing /nix/store/qxi7976vm76l5hlbff93ka6ky4rsb3ap-sydtest-mutation-example (624.00 B)
  818. 40.02 s [post-build-hook]
  819. 40.02 s [post-build-hook] All done.
  820. 40.04 s [post-build-hook] Uploading to the NixCI staging cache: /nix/store/qxi7976vm76l5hlbff93ka6ky4rsb3ap-sydtest-mutation-example
  821. 40.07 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  822. 40.09 s [post-build-hook] copying 1 paths...
  823. 40.09 s [post-build-hook] copying path '/nix/store/qxi7976vm76l5hlbff93ka6ky4rsb3ap-sydtest-mutation-example' to 'https://cache.staging.nix-ci.com'...
  824. 40.33 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  825. 40.63 s [post-build-hook] copying 1 paths...
  826. 40.63 s [post-build-hook] copying path '/nix/store/2pv58sqpf2l13d1rfqx13s2ncbxryqnq-sydtest-mutation-example.drv' to 'https://cache.staging.nix-ci.com'...
  827. 40.80 s Progress: 2 of 3 built, 3 of 3 downloaded from cache
Tail Raw Logs