build checks.x86_64-linux.mutation-sydtest-mutation-example
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
0.08 s
warning: ignoring untrusted flake configuration setting 'extra-substituters'.
0.08 s
Pass '--accept-flake-config' to trust it
0.08 s
warning: ignoring untrusted flake configuration setting 'extra-trusted-public-keys'.
0.08 s
Pass '--accept-flake-config' to trust it
0.58 s
error (ignored): SQLite database '/var/cache/private/nix-ci-worker/eval-cache-v6/db4f9e36ded004a02751918b545b38e7611fcc07bdd0fcf837a47c73c33f5b7d.sqlite ' is busy
1.39 s
2.51 s
Downloading cached sydtest-mutation-example-0.0.0.0-manifest from https://cache.staging.nix-ci.com
2.51 s
Downloading cached sydtest-mutation-example-gen-source from https://cache.staging.nix-ci.com
2.51 s
Downloading cached sydtest-mutation-example from https://cache.staging.nix-ci.com
2.52 s
Progress: 0 of 5 built, 1 of 3 downloaded from cache (2 downloading)
2.52 s
Progress: 0 of 4 built, 2 of 3 downloaded from cache (1 downloading)
2.56 s
Progress: 0 of 3 built, 3 of 3 downloaded from cache
2.66 s
Building sydtest-mutation-example-gen
3.02 s
[sydtest-mutation-example-gen] Phase: setupCompilerEnvironmentPhase
3.03 s
[sydtest-mutation-example-gen] Build with /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3.
3.48 s
[sydtest-mutation-example-gen] Phase: unpackPhase
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
3.49 s
[sydtest-mutation-example-gen] source root is sydtest-mutation-example-gen-0.0.0.0
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"
3.50 s
[sydtest-mutation-example-gen] Phase: patchPhase
3.51 s
[sydtest-mutation-example-gen] Phase: compileBuildDriverPhase
3.51 s
[sydtest-mutation-example-gen] setupCompileFlags: -package-db=/build/tmp.XEEgk7IRbo/setup-package.conf.d -threaded
3.56 s
[sydtest-mutation-example-gen] [1 of 2] Compiling Main ( Setup.hs, /build/tmp.XEEgk7IRbo/Main.o )
3.60 s
[sydtest-mutation-example-gen] [2 of 2] Linking Setup
4.76 s
[sydtest-mutation-example-gen] Phase: updateAutotoolsGnuConfigScriptsPhase
4.77 s
[sydtest-mutation-example-gen] Phase: configurePhase
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
4.78 s
[sydtest-mutation-example-gen] Using Parsec parser
4.78 s
[sydtest-mutation-example-gen] Configuring sydtest-mutation-example-gen-0.0.0.0...
5.42 s
[sydtest-mutation-example-gen] Dependency QuickCheck: using QuickCheck-2.15.0.1
5.42 s
[sydtest-mutation-example-gen] Dependency base >=4.7 && <5: using base-4.20.2.0
5.44 s
[sydtest-mutation-example-gen] Dependency QuickCheck: using QuickCheck-2.15.0.1
5.44 s
[sydtest-mutation-example-gen] Dependency base >=4.7 && <5: using base-4.20.2.0
5.44 s
[sydtest-mutation-example-gen] Dependency sydtest: using sydtest-0.23.0.2
5.44 s
[sydtest-mutation-example-gen] Dependency sydtest-mutation-example: using sydtest-mutation-example-0.0.0.0
5.44 s
[sydtest-mutation-example-gen] Dependency sydtest-mutation-example-gen: using
5.44 s
[sydtest-mutation-example-gen] sydtest-mutation-example-gen-0.0.0.0
5.44 s
[sydtest-mutation-example-gen] Source component graph:
5.44 s
[sydtest-mutation-example-gen] component lib
5.44 s
[sydtest-mutation-example-gen] component test:sydtest-mutation-example-gen-test dependency lib
5.44 s
[sydtest-mutation-example-gen] Configured component graph:
5.44 s
[sydtest-mutation-example-gen] component sydtest-mutation-example-gen-0.0.0.0-ImsGOVr3wFJAdg8FaKJMy9
5.44 s
[sydtest-mutation-example-gen] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
5.44 s
[sydtest-mutation-example-gen] include base-4.20.2.0-64da
5.44 s
[sydtest-mutation-example-gen] component sydtest-mutation-example-gen-0.0.0.0-8fwvZblYRBIBdBAP3SVYiZ-sydtest-mutation-example-gen-test
5.44 s
[sydtest-mutation-example-gen] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
5.44 s
[sydtest-mutation-example-gen] include base-4.20.2.0-64da
5.44 s
[sydtest-mutation-example-gen] include sydtest-0.23.0.2-RzVaEpJISaERaSrCHYFLw
5.44 s
[sydtest-mutation-example-gen] include sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
5.44 s
[sydtest-mutation-example-gen] include sydtest-mutation-example-gen-0.0.0.0-ImsGOVr3wFJAdg8FaKJMy9
5.44 s
[sydtest-mutation-example-gen] Linked component graph:
5.44 s
[sydtest-mutation-example-gen] unit sydtest-mutation-example-gen-0.0.0.0-ImsGOVr3wFJAdg8FaKJMy9
5.44 s
[sydtest-mutation-example-gen] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
5.44 s
[sydtest-mutation-example-gen] include base-4.20.2.0-64da
5.44 s
[sydtest-mutation-example-gen] Example.Gen=sydtest-mutation-example-gen-0.0.0.0-ImsGOVr3wFJAdg8FaKJMy9:Example.Gen
5.44 s
[sydtest-mutation-example-gen] unit sydtest-mutation-example-gen-0.0.0.0-8fwvZblYRBIBdBAP3SVYiZ-sydtest-mutation-example-gen-test
5.44 s
[sydtest-mutation-example-gen] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
5.44 s
[sydtest-mutation-example-gen] include base-4.20.2.0-64da
5.44 s
[sydtest-mutation-example-gen] include sydtest-0.23.0.2-RzVaEpJISaERaSrCHYFLw
5.44 s
[sydtest-mutation-example-gen] include sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
5.44 s
[sydtest-mutation-example-gen] include sydtest-mutation-example-gen-0.0.0.0-ImsGOVr3wFJAdg8FaKJMy9
5.45 s
[sydtest-mutation-example-gen] Ready component graph:
5.45 s
[sydtest-mutation-example-gen] definite sydtest-mutation-example-gen-0.0.0.0-ImsGOVr3wFJAdg8FaKJMy9
5.45 s
[sydtest-mutation-example-gen] depends QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
5.45 s
[sydtest-mutation-example-gen] depends base-4.20.2.0-64da
5.45 s
[sydtest-mutation-example-gen] definite sydtest-mutation-example-gen-0.0.0.0-8fwvZblYRBIBdBAP3SVYiZ-sydtest-mutation-example-gen-test
5.45 s
[sydtest-mutation-example-gen] depends QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
5.45 s
[sydtest-mutation-example-gen] depends base-4.20.2.0-64da
5.45 s
[sydtest-mutation-example-gen] depends sydtest-0.23.0.2-RzVaEpJISaERaSrCHYFLw
5.45 s
[sydtest-mutation-example-gen] depends sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
5.45 s
[sydtest-mutation-example-gen] depends sydtest-mutation-example-gen-0.0.0.0-ImsGOVr3wFJAdg8FaKJMy9
5.45 s
[sydtest-mutation-example-gen] Using Cabal-3.12.1.0 compiled by ghc-9.10
5.45 s
[sydtest-mutation-example-gen] Using compiler: ghc-9.10.3
5.45 s
[sydtest-mutation-example-gen] Using install prefix:
5.45 s
[sydtest-mutation-example-gen] /nix/store/3qzcn88kr1p0cadnbszyi47p2walarhd-sydtest-mutation-example-gen-0.0.0.0
5.45 s
[sydtest-mutation-example-gen] Executables installed in:
5.45 s
[sydtest-mutation-example-gen] /nix/store/3qzcn88kr1p0cadnbszyi47p2walarhd-sydtest-mutation-example-gen-0.0.0.0/bin
5.45 s
[sydtest-mutation-example-gen] Libraries installed in:
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
5.45 s
[sydtest-mutation-example-gen] Dynamic Libraries installed in:
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
5.45 s
[sydtest-mutation-example-gen] Private executables installed in:
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
5.45 s
[sydtest-mutation-example-gen] Data files installed in:
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
5.45 s
[sydtest-mutation-example-gen] Documentation installed in:
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
5.45 s
[sydtest-mutation-example-gen] Configuration files installed in:
5.45 s
[sydtest-mutation-example-gen] /nix/store/3qzcn88kr1p0cadnbszyi47p2walarhd-sydtest-mutation-example-gen-0.0.0.0/etc
5.45 s
[sydtest-mutation-example-gen] No alex found
5.45 s
[sydtest-mutation-example-gen] Using ar found on system at:
5.45 s
[sydtest-mutation-example-gen] /nix/store/iz5lckcsg66r223si2gck7csk2hihj0m-binutils-wrapper-2.44/bin/ar
5.45 s
[sydtest-mutation-example-gen] No c2hs found
5.45 s
[sydtest-mutation-example-gen] No cpphs found
5.45 s
[sydtest-mutation-example-gen] No doctest found
5.45 s
[sydtest-mutation-example-gen] Using gcc version 14.3.0 given by user at:
5.45 s
[sydtest-mutation-example-gen] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/gcc
5.45 s
[sydtest-mutation-example-gen] Using ghc version 9.10.3 found on system at:
5.45 s
[sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc
5.45 s
[sydtest-mutation-example-gen] Using ghc-pkg version 9.10.3 found on system at:
5.45 s
[sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc-pkg-9.10.3
5.45 s
[sydtest-mutation-example-gen] No ghcjs found
5.45 s
[sydtest-mutation-example-gen] No ghcjs-pkg found
5.45 s
[sydtest-mutation-example-gen] No greencard found
5.45 s
[sydtest-mutation-example-gen] Using haddock version 2.31.1 found on system at:
5.45 s
[sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/haddock-ghc-9.10.3
5.45 s
[sydtest-mutation-example-gen] No happy found
5.45 s
[sydtest-mutation-example-gen] Using haskell-suite found on system at: haskell-suite-dummy-location
5.45 s
[sydtest-mutation-example-gen] Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
5.45 s
[sydtest-mutation-example-gen] No hmake found
5.45 s
[sydtest-mutation-example-gen] Using hpc version 0.69 found on system at:
5.45 s
[sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hpc-ghc-9.10.3
5.45 s
[sydtest-mutation-example-gen] Using hsc2hs version 0.68.10 found on system at:
5.45 s
[sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hsc2hs-ghc-9.10.3
5.45 s
[sydtest-mutation-example-gen] Using hscolour version 1.25 found on system at:
5.45 s
[sydtest-mutation-example-gen] /nix/store/f755skyzf4jvfx3crwq9mmh3x4lsaz8i-hscolour-1.25/bin/HsColour
5.45 s
[sydtest-mutation-example-gen] No jhc found
5.45 s
[sydtest-mutation-example-gen] Using ld found on system at:
5.45 s
[sydtest-mutation-example-gen] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/ld
5.45 s
[sydtest-mutation-example-gen] No pkg-config found
5.45 s
[sydtest-mutation-example-gen] Using runghc version 9.10.3 found on system at:
5.45 s
[sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/runghc-9.10.3
5.45 s
[sydtest-mutation-example-gen] Using strip version 2.44 found on system at:
5.45 s
[sydtest-mutation-example-gen] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/strip
5.45 s
[sydtest-mutation-example-gen] Using tar found on system at:
5.45 s
[sydtest-mutation-example-gen] /nix/store/xl6pd2spjajwcpq09fnmnjv5psqmlmma-gnutar-1.35/bin/tar
5.45 s
[sydtest-mutation-example-gen] No uhc found
5.80 s
[sydtest-mutation-example-gen] Phase: buildPhase
5.87 s
[sydtest-mutation-example-gen] Preprocessing library for sydtest-mutation-example-gen-0.0.0.0...
5.87 s
[sydtest-mutation-example-gen] Building library for sydtest-mutation-example-gen-0.0.0.0...
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 )
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 )
7.34 s
[sydtest-mutation-example-gen] [1 of 2] Compiling Example.Gen ( src/Example/Gen.hs, dist/build/Example/Gen.p_o )
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 )
10.42 s
[sydtest-mutation-example-gen] Preprocessing test suite 'sydtest-mutation-example-gen-test' for sydtest-mutation-example-gen-0.0.0.0...
10.43 s
[sydtest-mutation-example-gen] Building test suite 'sydtest-mutation-example-gen-test' for sydtest-mutation-example-gen-0.0.0.0...
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 )
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 )
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 )
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 )
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 )
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 )
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 )
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 )
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 )
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 )
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 )
11.65 s
[sydtest-mutation-example-gen] [12 of 12] Linking dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test
12.95 s
[sydtest-mutation-example-gen] Phase: checkPhase
12.96 s
[sydtest-mutation-example-gen] mutation-nix: collecting coverage for suite sydtest-mutation-example-gen
13.33 s
[sydtest-mutation-example-gen] coverage (2/32): Example\.CaseLibSpec.describeList.describes longer lists (3 mutations)
13.34 s
[sydtest-mutation-example-gen] coverage (16/32): Example\.ListLibSpec.tripleConcat.distinguishes the last element (2 mutations)
13.44 s
[sydtest-mutation-example-gen] coverage (20/32): Example\.OtherwiseLibSpec.classify.classifies negative numbers (6 mutations)
13.48 s
[sydtest-mutation-example-gen] coverage (25/32): Example\.LogicLibSpec.eitherPositive.is False when neither is positive (18 mutations)
13.50 s
[sydtest-mutation-example-gen] coverage (22/32): Example\.DoLibSpec.greet.greets quietly (5 mutations)
13.57 s
[sydtest-mutation-example-gen] coverage (12/32): Example\.LibSpec.addOne.returns 6 for input 5 (4 mutations)
13.59 s
[sydtest-mutation-example-gen] coverage (10/32): Example\.FunctionExceptionLibSpec.addOneArithAndIntLitDisabled.increments by one (0 mutations)
13.61 s
[sydtest-mutation-example-gen] coverage (8/32): Example\.BoolLibSpec.negateWrapped.negates Just False to Just True (0 mutations)
13.68 s
[sydtest-mutation-example-gen] coverage (26/32): Example\.LogicLibSpec.eitherPositive.is True when only the second is positive (18 mutations)
13.69 s
[sydtest-mutation-example-gen] coverage (1/32): Example\.CaseLibSpec.describeList.describes singleton lists (3 mutations)
13.71 s
[sydtest-mutation-example-gen] coverage (18/32): Example\.ListLibSpec.tripleConcat.concatenates all three arguments (2 mutations)
13.72 s
[sydtest-mutation-example-gen] coverage (13/32): Example\.LibSpec.addOne.returns 2 for input 1 (4 mutations)
13.72 s
[sydtest-mutation-example-gen] coverage (6/32): Example\.BoolLibSpec.negateWrapped.negates Just True to Just False (0 mutations)
13.74 s
[sydtest-mutation-example-gen] coverage (7/32): Example\.BoolLibSpec.negateWrapped.leaves Nothing as Nothing (0 mutations)
13.75 s
[sydtest-mutation-example-gen] coverage (15/32): Example\.ListLibSpec.pairConcat.concatenates both arguments (2 mutations)
13.76 s
[sydtest-mutation-example-gen] coverage (21/32): Example\.OtherwiseLibSpec.classify.classifies zero (9 mutations)
13.76 s
[sydtest-mutation-example-gen] coverage (5/32): Example\.BoolLibSpec.wrapFalse.is Just False (2 mutations)
13.77 s
[sydtest-mutation-example-gen] coverage (3/32): Example\.CaseLibSpec.describeList.describes empty lists (3 mutations)
13.77 s
[sydtest-mutation-example-gen] coverage (24/32): Example\.LogicLibSpec.eitherPositive.is True when only the first is positive (11 mutations)
13.77 s
[sydtest-mutation-example-gen] coverage (9/32): Example\.FunctionExceptionLibSpec.addOneArithDisabled.increments by one (2 mutations)
13.78 s
[sydtest-mutation-example-gen] coverage (27/32): Example\.LogicLibSpec.eitherPositive.is True when both are positive (11 mutations)
13.79 s
[sydtest-mutation-example-gen] coverage (4/32): Example\.BoolLibSpec.wrapTrue.is Just True (2 mutations)
13.81 s
[sydtest-mutation-example-gen] coverage (14/32): Example\.ListLibSpec.pairConcat.preserves the order (2 mutations)
13.81 s
[sydtest-mutation-example-gen] coverage (23/32): Example\.DoLibSpec.greet.greets loudly (5 mutations)
13.82 s
[sydtest-mutation-example-gen] coverage (19/32): Example\.OtherwiseLibSpec.classify.classifies positive numbers (9 mutations)
13.83 s
[sydtest-mutation-example-gen] coverage (11/32): Example\.FunctionExceptionLibSpec.addOneFunctionDisabled.increments by one (0 mutations)
13.85 s
[sydtest-mutation-example-gen] coverage (17/32): Example\.ListLibSpec.tripleConcat.distinguishes the first element (2 mutations)
13.87 s
[sydtest-mutation-example-gen] coverage (31/32): Example\.LogicLibSpec.bothPositive.is False when only the first is positive (18 mutations)
13.87 s
[sydtest-mutation-example-gen] coverage (30/32): Example\.LogicLibSpec.bothPositive.is False when neither is positive (11 mutations)
13.89 s
[sydtest-mutation-example-gen] coverage (28/32): Example\.LogicLibSpec.bothPositive.is False when only the second is positive (11 mutations)
13.90 s
[sydtest-mutation-example-gen] coverage (32/32): Example\.ExceptionLibSpec.addOneModuleDisabled.increments by one (0 mutations)
13.92 s
[sydtest-mutation-example-gen] coverage (29/32): Example\.LogicLibSpec.bothPositive.is True when both are positive (18 mutations)
13.93 s
[sydtest-mutation-example-gen] mutation-nix: running mutations
14.49 s
[sydtest-mutation-example-gen] Testing mutation BoolLit at src/Example/BoolLib.hs:18:18-23
14.49 s
[sydtest-mutation-example-gen] @@ -15,7 +15,7 @@
14.49 s
[sydtest-mutation-example-gen] --
14.49 s
[sydtest-mutation-example-gen] -- Mutation sites: BoolLit/ConstBool on the inner False, MaybeOp on Just False.
14.49 s
[sydtest-mutation-example-gen] wrapFalse :: Maybe Bool
14.49 s
[sydtest-mutation-example-gen] -wrapFalse = Just False
14.49 s
[sydtest-mutation-example-gen] +wrapFalse = Just True
14.49 s
[sydtest-mutation-example-gen]
14.49 s
[sydtest-mutation-example-gen] -- | Negates a wrapped boolean.
14.49 s
[sydtest-mutation-example-gen] negateWrapped :: Maybe Bool -> Maybe Bool
14.49 s
[sydtest-mutation-example-gen] Testing mutation MaybeOp at src/Example/BoolLib.hs:12:12-21
14.49 s
[sydtest-mutation-example-gen] @@ -9,7 +9,7 @@
14.49 s
[sydtest-mutation-example-gen] --
14.49 s
[sydtest-mutation-example-gen] -- Mutation sites: BoolLit/ConstBool on the inner True, MaybeOp on Just True.
14.49 s
[sydtest-mutation-example-gen] wrapTrue :: Maybe Bool
14.49 s
[sydtest-mutation-example-gen] -wrapTrue = Just True
14.49 s
[sydtest-mutation-example-gen] +wrapTrue = Nothing
14.49 s
[sydtest-mutation-example-gen]
14.49 s
[sydtest-mutation-example-gen] -- | Wraps False in Just.
14.49 s
[sydtest-mutation-example-gen] --
14.49 s
[sydtest-mutation-example-gen] Testing mutation BoolLit at src/Example/BoolLib.hs:12:17-21
14.49 s
[sydtest-mutation-example-gen] @@ -9,7 +9,7 @@
14.49 s
[sydtest-mutation-example-gen] --
14.49 s
[sydtest-mutation-example-gen] -- Mutation sites: BoolLit/ConstBool on the inner True, MaybeOp on Just True.
14.49 s
[sydtest-mutation-example-gen] wrapTrue :: Maybe Bool
14.49 s
[sydtest-mutation-example-gen] -wrapTrue = Just True
14.49 s
[sydtest-mutation-example-gen] +wrapTrue = Just False
14.49 s
[sydtest-mutation-example-gen]
14.49 s
[sydtest-mutation-example-gen] -- | Wraps False in Just.
14.49 s
[sydtest-mutation-example-gen] --
14.49 s
[sydtest-mutation-example-gen] Testing mutation MaybeOp at src/Example/BoolLib.hs:18:13-23
14.49 s
[sydtest-mutation-example-gen] @@ -15,7 +15,7 @@
14.49 s
[sydtest-mutation-example-gen] --
14.49 s
[sydtest-mutation-example-gen] -- Mutation sites: BoolLit/ConstBool on the inner False, MaybeOp on Just False.
14.49 s
[sydtest-mutation-example-gen] wrapFalse :: Maybe Bool
14.49 s
[sydtest-mutation-example-gen] -wrapFalse = Just False
14.49 s
[sydtest-mutation-example-gen] +wrapFalse = Nothing
14.49 s
[sydtest-mutation-example-gen]
14.49 s
[sydtest-mutation-example-gen] -- | Negates a wrapped boolean.
14.49 s
[sydtest-mutation-example-gen] negateWrapped :: Maybe Bool -> Maybe Bool
14.49 s
[sydtest-mutation-example-gen] Testing mutation RemoveCase at src/Example/CaseLib.hs:7:19-16
14.49 s
[sydtest-mutation-example-gen] @@ -4,7 +4,6 @@
14.49 s
[sydtest-mutation-example-gen] --
14.49 s
[sydtest-mutation-example-gen] -- Mutation sites: RemoveCase removes one of the three alternatives.
14.49 s
[sydtest-mutation-example-gen] describeList :: [a] -> String
14.49 s
[sydtest-mutation-example-gen] describeList xs = case xs of
14.49 s
[sydtest-mutation-example-gen] [] -> "empty"
14.50 s
[sydtest-mutation-example-gen] - [_] -> "singleton"
14.50 s
[sydtest-mutation-example-gen] _ -> "longer"
14.50 s
[sydtest-mutation-example-gen] Testing mutation RemoveCase at src/Example/CaseLib.hs:7:19-16
14.50 s
[sydtest-mutation-example-gen] @@ -4,7 +4,6 @@
14.50 s
[sydtest-mutation-example-gen] --
14.50 s
[sydtest-mutation-example-gen] -- Mutation sites: RemoveCase removes one of the three alternatives.
14.50 s
[sydtest-mutation-example-gen] describeList :: [a] -> String
14.50 s
[sydtest-mutation-example-gen] describeList xs = case xs of
14.50 s
[sydtest-mutation-example-gen] - [] -> "empty"
14.50 s
[sydtest-mutation-example-gen] [_] -> "singleton"
14.50 s
[sydtest-mutation-example-gen] _ -> "longer"
14.50 s
[sydtest-mutation-example-gen] Testing mutation RemoveCase at src/Example/CaseLib.hs:7:19-16
14.50 s
[sydtest-mutation-example-gen] @@ -4,7 +4,6 @@
14.50 s
[sydtest-mutation-example-gen] --
14.50 s
[sydtest-mutation-example-gen] -- Mutation sites: RemoveCase removes one of the three alternatives.
14.50 s
[sydtest-mutation-example-gen] describeList :: [a] -> String
14.50 s
[sydtest-mutation-example-gen] describeList xs = case xs of
14.50 s
[sydtest-mutation-example-gen] [] -> "empty"
14.50 s
[sydtest-mutation-example-gen] [_] -> "singleton"
14.50 s
[sydtest-mutation-example-gen] - _ -> "longer"
14.50 s
[sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/LogicLib.hs:17:26-27
14.50 s
[sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
14.50 s
[sydtest-mutation-example-gen] --
14.50 s
[sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
14.50 s
[sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
14.50 s
[sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
14.50 s
[sydtest-mutation-example-gen] +eitherPositive a b = a > 1 || b > 0
14.50 s
[sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:22-27
14.50 s
[sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
14.50 s
[sydtest-mutation-example-gen] --
14.50 s
[sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
14.50 s
[sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
14.50 s
[sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
14.50 s
[sydtest-mutation-example-gen] +eitherPositive a b = a < 0 || b > 0
14.50 s
[sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:22-27
14.50 s
[sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
14.50 s
[sydtest-mutation-example-gen] --
14.50 s
[sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
14.50 s
[sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
14.50 s
[sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
14.50 s
[sydtest-mutation-example-gen] +eitherPositive a b = a <= 0 || b > 0
14.50 s
[sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:22-27
14.50 s
[sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
14.50 s
[sydtest-mutation-example-gen] --
14.50 s
[sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
14.50 s
[sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
14.50 s
[sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
14.50 s
[sydtest-mutation-example-gen] +eitherPositive a b = a >= 0 || b > 0
14.50 s
[sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:17:22-27
14.50 s
[sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
14.50 s
[sydtest-mutation-example-gen] --
14.50 s
[sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
14.51 s
[sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
14.51 s
[sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
14.51 s
[sydtest-mutation-example-gen] +eitherPositive a b = not (a > 0) || b > 0
14.51 s
[sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-27
14.51 s
[sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
14.51 s
[sydtest-mutation-example-gen] --
14.51 s
[sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
14.51 s
[sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
14.51 s
[sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
14.51 s
[sydtest-mutation-example-gen] +eitherPositive a b = True || b > 0
14.51 s
[sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:31-36
14.51 s
[sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
14.51 s
[sydtest-mutation-example-gen] --
14.51 s
[sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
14.51 s
[sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
14.51 s
[sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
14.51 s
[sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || b < 0
14.51 s
[sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:31-36
14.51 s
[sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
14.51 s
[sydtest-mutation-example-gen] --
14.51 s
[sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
14.51 s
[sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
14.51 s
[sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
14.51 s
[sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || True
14.51 s
[sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:31-36
14.51 s
[sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
14.51 s
[sydtest-mutation-example-gen] --
14.51 s
[sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
14.51 s
[sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
14.51 s
[sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
14.51 s
[sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || b >= 0
14.51 s
[sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/LogicLib.hs:17:35-36
14.51 s
[sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
14.51 s
[sydtest-mutation-example-gen] --
14.51 s
[sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
14.51 s
[sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
14.51 s
[sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
14.51 s
[sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || b > 1
14.51 s
[sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:31-36
14.51 s
[sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
14.51 s
[sydtest-mutation-example-gen] --
14.51 s
[sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
14.51 s
[sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
14.51 s
[sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
14.51 s
[sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || b <= 0
14.51 s
[sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-27
14.51 s
[sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
14.51 s
[sydtest-mutation-example-gen] --
14.51 s
[sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
14.51 s
[sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
14.51 s
[sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
14.51 s
[sydtest-mutation-example-gen] +eitherPositive a b = False || b > 0
14.51 s
[sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:31-36
14.51 s
[sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
14.51 s
[sydtest-mutation-example-gen] --
14.51 s
[sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
14.51 s
[sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
14.51 s
[sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
14.51 s
[sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || False
14.51 s
[sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:17:31-36
14.51 s
[sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
14.51 s
[sydtest-mutation-example-gen] --
14.51 s
[sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
14.51 s
[sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
14.51 s
[sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
14.51 s
[sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || not (b > 0)
14.52 s
[sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:20-25
14.52 s
[sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
14.52 s
[sydtest-mutation-example-gen] --
14.52 s
[sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
14.52 s
[sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
14.52 s
[sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
14.52 s
[sydtest-mutation-example-gen] +bothPositive a b = a <= 0 && b > 0
14.52 s
[sydtest-mutation-example-gen]
14.52 s
[sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
14.52 s
[sydtest-mutation-example-gen] --
14.52 s
[sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/LogicLib.hs:11:24-25
14.52 s
[sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
14.52 s
[sydtest-mutation-example-gen] --
14.52 s
[sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
14.52 s
[sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
14.52 s
[sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
14.52 s
[sydtest-mutation-example-gen] +bothPositive a b = a > 1 && b > 0
14.52 s
[sydtest-mutation-example-gen]
14.52 s
[sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
14.52 s
[sydtest-mutation-example-gen] --
14.52 s
[sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-36
14.52 s
[sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
14.52 s
[sydtest-mutation-example-gen] --
14.52 s
[sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
14.52 s
[sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
14.52 s
[sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
14.52 s
[sydtest-mutation-example-gen] +eitherPositive a b = True
14.52 s
[sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-36
14.52 s
[sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
14.52 s
[sydtest-mutation-example-gen] --
14.52 s
[sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
14.52 s
[sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
14.52 s
[sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
14.52 s
[sydtest-mutation-example-gen] +eitherPositive a b = False
14.52 s
[sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:20-25
14.52 s
[sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
14.52 s
[sydtest-mutation-example-gen] --
14.52 s
[sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
14.52 s
[sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
14.52 s
[sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
14.52 s
[sydtest-mutation-example-gen] +bothPositive a b = a >= 0 && b > 0
14.52 s
[sydtest-mutation-example-gen]
14.52 s
[sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
14.52 s
[sydtest-mutation-example-gen] --
14.52 s
[sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:20-25
14.52 s
[sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
14.52 s
[sydtest-mutation-example-gen] --
14.52 s
[sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
14.52 s
[sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
14.52 s
[sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
14.52 s
[sydtest-mutation-example-gen] +bothPositive a b = a < 0 && b > 0
14.52 s
[sydtest-mutation-example-gen]
14.52 s
[sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
14.52 s
[sydtest-mutation-example-gen] --
14.52 s
[sydtest-mutation-example-gen] Testing mutation LogicOp at src/Example/LogicLib.hs:17:22-36
14.52 s
[sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
14.52 s
[sydtest-mutation-example-gen] --
14.52 s
[sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
14.52 s
[sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
15.49 s
[sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
15.57 s
[sydtest-mutation-example-gen] +eitherPositive a b = a > 0 && b > 0
15.57 s
[sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-25
15.58 s
[sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
15.58 s
[sydtest-mutation-example-gen] --
15.58 s
[sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
15.58 s
[sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
15.58 s
[sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
15.58 s
[sydtest-mutation-example-gen] +bothPositive a b = True && b > 0
15.58 s
[sydtest-mutation-example-gen]
15.58 s
[sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
15.58 s
[sydtest-mutation-example-gen] --
15.58 s
[sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:17:22-36
15.58 s
[sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
15.58 s
[sydtest-mutation-example-gen] --
15.58 s
[sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
15.58 s
[sydtest-mutation-example-gen] eitherPositive :: Int -> Int -> Bool
15.58 s
[sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
15.58 s
[sydtest-mutation-example-gen] +eitherPositive a b = not (a > 0 || b > 0)
15.58 s
[sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-25
15.58 s
[sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
15.58 s
[sydtest-mutation-example-gen] --
15.58 s
[sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
15.58 s
[sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
15.58 s
[sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
15.58 s
[sydtest-mutation-example-gen] +bothPositive a b = False && b > 0
15.58 s
[sydtest-mutation-example-gen]
15.58 s
[sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
15.58 s
[sydtest-mutation-example-gen] --
15.58 s
[sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:11:20-25
15.59 s
[sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
15.59 s
[sydtest-mutation-example-gen] --
15.59 s
[sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
15.59 s
[sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
15.59 s
[sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
15.59 s
[sydtest-mutation-example-gen] +bothPositive a b = not (a > 0) && b > 0
15.59 s
[sydtest-mutation-example-gen]
15.59 s
[sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
15.59 s
[sydtest-mutation-example-gen] --
15.59 s
[sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:29-34
15.59 s
[sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
15.59 s
[sydtest-mutation-example-gen] --
15.59 s
[sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
15.59 s
[sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
15.59 s
[sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
15.59 s
[sydtest-mutation-example-gen] +bothPositive a b = a > 0 && b < 0
15.59 s
[sydtest-mutation-example-gen]
15.59 s
[sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
15.59 s
[sydtest-mutation-example-gen] --
15.59 s
[sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/LogicLib.hs:11:33-34
15.59 s
[sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
15.59 s
[sydtest-mutation-example-gen] --
15.59 s
[sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
15.59 s
[sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
15.59 s
[sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
15.59 s
[sydtest-mutation-example-gen] +bothPositive a b = a > 0 && b > 1
15.59 s
[sydtest-mutation-example-gen]
15.59 s
[sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
15.59 s
[sydtest-mutation-example-gen] --
15.59 s
[sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:29-34
15.59 s
[sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
15.59 s
[sydtest-mutation-example-gen] --
15.59 s
[sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
15.59 s
[sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
15.59 s
[sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
15.59 s
[sydtest-mutation-example-gen] +bothPositive a b = a > 0 && b <= 0
15.60 s
[sydtest-mutation-example-gen]
15.60 s
[sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
15.60 s
[sydtest-mutation-example-gen] --
15.60 s
[sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:29-34
15.60 s
[sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
15.60 s
[sydtest-mutation-example-gen] --
15.60 s
[sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
15.60 s
[sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
15.60 s
[sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
15.60 s
[sydtest-mutation-example-gen] +bothPositive a b = a > 0 && False
15.60 s
[sydtest-mutation-example-gen]
15.60 s
[sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
15.60 s
[sydtest-mutation-example-gen] --
15.60 s
[sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:29-34
15.60 s
[sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
15.60 s
[sydtest-mutation-example-gen] --
15.60 s
[sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
15.60 s
[sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
15.60 s
[sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
15.60 s
[sydtest-mutation-example-gen] +bothPositive a b = a > 0 && True
15.60 s
[sydtest-mutation-example-gen]
15.60 s
[sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
15.60 s
[sydtest-mutation-example-gen] --
15.60 s
[sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:11:29-34
15.60 s
[sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
15.60 s
[sydtest-mutation-example-gen] --
15.60 s
[sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
15.60 s
[sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
15.60 s
[sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
15.60 s
[sydtest-mutation-example-gen] +bothPositive a b = a > 0 && not (b > 0)
15.61 s
[sydtest-mutation-example-gen]
15.61 s
[sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
15.61 s
[sydtest-mutation-example-gen] --
15.61 s
[sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:29-34
15.61 s
[sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
15.61 s
[sydtest-mutation-example-gen] --
15.61 s
[sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
15.61 s
[sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
15.61 s
[sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
15.61 s
[sydtest-mutation-example-gen] +bothPositive a b = a > 0 && b >= 0
15.61 s
[sydtest-mutation-example-gen]
15.61 s
[sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
15.61 s
[sydtest-mutation-example-gen] --
15.61 s
[sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-34
15.61 s
[sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
15.61 s
[sydtest-mutation-example-gen] --
15.61 s
[sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
15.61 s
[sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
15.61 s
[sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
15.61 s
[sydtest-mutation-example-gen] +bothPositive a b = True
15.61 s
[sydtest-mutation-example-gen]
15.61 s
[sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
15.61 s
[sydtest-mutation-example-gen] --
15.61 s
[sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-34
15.61 s
[sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
15.61 s
[sydtest-mutation-example-gen] --
15.61 s
[sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
15.61 s
[sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
15.61 s
[sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
15.61 s
[sydtest-mutation-example-gen] +bothPositive a b = False
15.61 s
[sydtest-mutation-example-gen]
15.61 s
[sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
15.61 s
[sydtest-mutation-example-gen] --
15.61 s
[sydtest-mutation-example-gen] Testing mutation LogicOp at src/Example/LogicLib.hs:11:20-34
15.61 s
[sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
15.61 s
[sydtest-mutation-example-gen] --
15.61 s
[sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
15.61 s
[sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
15.61 s
[sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
15.61 s
[sydtest-mutation-example-gen] +bothPositive a b = a > 0 || b > 0
15.61 s
[sydtest-mutation-example-gen]
15.62 s
[sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
15.62 s
[sydtest-mutation-example-gen] --
15.62 s
[sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:11:20-34
15.62 s
[sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
15.62 s
[sydtest-mutation-example-gen] --
15.62 s
[sydtest-mutation-example-gen] -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
15.62 s
[sydtest-mutation-example-gen] bothPositive :: Int -> Int -> Bool
15.62 s
[sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
15.62 s
[sydtest-mutation-example-gen] +bothPositive a b = not (a > 0 && b > 0)
15.62 s
[sydtest-mutation-example-gen]
15.62 s
[sydtest-mutation-example-gen] -- | True iff at least one argument is strictly positive.
15.62 s
[sydtest-mutation-example-gen] --
15.62 s
[sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/OtherwiseLib.hs:12:9-10
15.62 s
[sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
15.62 s
[sydtest-mutation-example-gen] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
15.62 s
[sydtest-mutation-example-gen] classify :: Int -> String
15.62 s
[sydtest-mutation-example-gen] classify n
15.62 s
[sydtest-mutation-example-gen] - | n < 0 = "negative"
15.62 s
[sydtest-mutation-example-gen] + | n < 1 = "negative"
15.62 s
[sydtest-mutation-example-gen] | n == 0 = "zero"
15.62 s
[sydtest-mutation-example-gen] | otherwise = "positive"
15.62 s
[sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10
15.62 s
[sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
15.62 s
[sydtest-mutation-example-gen] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
15.62 s
[sydtest-mutation-example-gen] classify :: Int -> String
15.62 s
[sydtest-mutation-example-gen] classify n
15.62 s
[sydtest-mutation-example-gen] - | n < 0 = "negative"
15.62 s
[sydtest-mutation-example-gen] + | n <= 0 = "negative"
15.62 s
[sydtest-mutation-example-gen] | n == 0 = "zero"
15.62 s
[sydtest-mutation-example-gen] | otherwise = "positive"
15.62 s
[sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10
15.62 s
[sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
15.62 s
[sydtest-mutation-example-gen] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
15.62 s
[sydtest-mutation-example-gen] classify :: Int -> String
15.62 s
[sydtest-mutation-example-gen] classify n
15.62 s
[sydtest-mutation-example-gen] - | n < 0 = "negative"
15.62 s
[sydtest-mutation-example-gen] + | n > 0 = "negative"
15.62 s
[sydtest-mutation-example-gen] | n == 0 = "zero"
15.62 s
[sydtest-mutation-example-gen] | otherwise = "positive"
15.62 s
[sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10
15.62 s
[sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
15.62 s
[sydtest-mutation-example-gen] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
15.62 s
[sydtest-mutation-example-gen] classify :: Int -> String
15.63 s
[sydtest-mutation-example-gen] classify n
15.63 s
[sydtest-mutation-example-gen] - | n < 0 = "negative"
15.63 s
[sydtest-mutation-example-gen] + | n >= 0 = "negative"
15.63 s
[sydtest-mutation-example-gen] | n == 0 = "zero"
15.63 s
[sydtest-mutation-example-gen] | otherwise = "positive"
15.63 s
[sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/OtherwiseLib.hs:12:5-10
15.63 s
[sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
15.63 s
[sydtest-mutation-example-gen] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
15.63 s
[sydtest-mutation-example-gen] classify :: Int -> String
15.63 s
[sydtest-mutation-example-gen] classify n
15.63 s
[sydtest-mutation-example-gen] - | n < 0 = "negative"
15.63 s
[sydtest-mutation-example-gen] + | True = "negative"
15.63 s
[sydtest-mutation-example-gen] | n == 0 = "zero"
15.63 s
[sydtest-mutation-example-gen] | otherwise = "positive"
15.63 s
[sydtest-mutation-example-gen] Testing mutation Negate at src/Example/OtherwiseLib.hs:12:5-10
15.63 s
[sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
15.63 s
[sydtest-mutation-example-gen] -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
15.63 s
[sydtest-mutation-example-gen] classify :: Int -> String
15.63 s
[sydtest-mutation-example-gen] classify n
15.63 s
[sydtest-mutation-example-gen] - | n < 0 = "negative"
15.63 s
[sydtest-mutation-example-gen] + | not (n < 0) = "negative"
15.63 s
[sydtest-mutation-example-gen] | n == 0 = "zero"
15.63 s
[sydtest-mutation-example-gen] | otherwise = "positive"
15.63 s
[sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/OtherwiseLib.hs:13:10-11
15.63 s
[sydtest-mutation-example-gen] @@ -10,5 +10,5 @@
15.63 s
[sydtest-mutation-example-gen] classify :: Int -> String
15.63 s
[sydtest-mutation-example-gen] classify n
15.63 s
[sydtest-mutation-example-gen] | n < 0 = "negative"
15.63 s
[sydtest-mutation-example-gen] - | n == 0 = "zero"
15.63 s
[sydtest-mutation-example-gen] + | n == 1 = "zero"
15.63 s
[sydtest-mutation-example-gen] | otherwise = "positive"
15.63 s
[sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/OtherwiseLib.hs:13:5-11
15.63 s
[sydtest-mutation-example-gen] @@ -10,5 +10,5 @@
15.63 s
[sydtest-mutation-example-gen] classify :: Int -> String
15.63 s
[sydtest-mutation-example-gen] classify n
15.63 s
[sydtest-mutation-example-gen] | n < 0 = "negative"
15.63 s
[sydtest-mutation-example-gen] - | n == 0 = "zero"
15.63 s
[sydtest-mutation-example-gen] + | True = "zero"
15.63 s
[sydtest-mutation-example-gen] | otherwise = "positive"
15.63 s
[sydtest-mutation-example-gen] Testing mutation Negate at src/Example/OtherwiseLib.hs:13:5-11
15.63 s
[sydtest-mutation-example-gen] @@ -10,5 +10,5 @@
15.63 s
[sydtest-mutation-example-gen] classify :: Int -> String
15.64 s
[sydtest-mutation-example-gen] classify n
15.64 s
[sydtest-mutation-example-gen] | n < 0 = "negative"
15.64 s
[sydtest-mutation-example-gen] - | n == 0 = "zero"
15.64 s
[sydtest-mutation-example-gen] + | not (n == 0) = "zero"
15.64 s
[sydtest-mutation-example-gen] | otherwise = "positive"
15.64 s
[sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/FunctionExceptionLib.hs:15:29-30
15.64 s
[sydtest-mutation-example-gen] @@ -12,7 +12,7 @@
15.64 s
[sydtest-mutation-example-gen] -- IntLit mutations (replacing the literal @1@) still apply.
15.64 s
[sydtest-mutation-example-gen] {-# ANN addOneArithDisabled ("DisableMutation: Arith" :: String) #-}
15.64 s
[sydtest-mutation-example-gen] addOneArithDisabled :: Int -> Int
15.64 s
[sydtest-mutation-example-gen] -addOneArithDisabled n = n + 1
15.64 s
[sydtest-mutation-example-gen] +addOneArithDisabled n = n + 0
15.64 s
[sydtest-mutation-example-gen]
15.64 s
[sydtest-mutation-example-gen] -- | Both Arith and IntLit mutations disabled on this function.
15.64 s
[sydtest-mutation-example-gen] {-# ANN addOneArithAndIntLitDisabled ("DisableMutations: Arith, IntLit" :: String) #-}
16.28 s
[sydtest-mutation-example-gen] Testing mKilled: 68
16.28 s
[sydtest-mutation-example-gen] Survived: 0
16.28 s
[sydtest-mutation-example-gen] Uncovered: 0
16.28 s
[sydtest-mutation-example-gen] utation IntLit at src/Example/FunctionExceptionLib.hs:15:29-30
16.28 s
[sydtest-mutation-example-gen] @@ -12,7 +12,7 @@
16.28 s
[sydtest-mutation-example-gen] -- IntLit mutations (replacing the literal @1@) still apply.
16.28 s
[sydtest-mutation-example-gen] {-# ANN addOneArithDisabled ("DisableMutation: Arith" :: String) #-}
16.28 s
[sydtest-mutation-example-gen] addOneArithDisabled :: Int -> Int
16.28 s
[sydtest-mutation-example-gen] -addOneArithDisabled n = n + 1
16.28 s
[sydtest-mutation-example-gen] +addOneArithDisabled n = n + -1
16.28 s
[sydtest-mutation-example-gen]
16.28 s
[sydtest-mutation-example-gen] -- | Both Arith and IntLit mutations disabled on this function.
16.28 s
[sydtest-mutation-example-gen] {-# ANN addOneArithAndIntLitDisabled ("DisableMutations: Arith, IntLit" :: String) #-}
16.28 s
[sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/DoLib.hs:14:10-14
16.28 s
[sydtest-mutation-example-gen] @@ -11,5 +11,5 @@
16.28 s
[sydtest-mutation-example-gen] go :: Writer String ()
16.28 s
[sydtest-mutation-example-gen] go = do
16.28 s
[sydtest-mutation-example-gen] tell "Hello"
16.28 s
[sydtest-mutation-example-gen] - if loud then tell "!" else pure ()
16.28 s
[sydtest-mutation-example-gen] + if True then tell "!" else pure ()
16.28 s
[sydtest-mutation-example-gen] tell "\n"
16.28 s
[sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/DoLib.hs:14:10-14
16.28 s
[sydtest-mutation-example-gen] @@ -11,5 +11,5 @@
16.28 s
[sydtest-mutation-example-gen] go :: Writer String ()
16.28 s
[sydtest-mutation-example-gen] go = do
16.28 s
[sydtest-mutation-example-gen] tell "Hello"
16.28 s
[sydtest-mutation-example-gen] - if loud then tell "!" else pure ()
16.28 s
[sydtest-mutation-example-gen] + if False then tell "!" else pure ()
16.28 s
[sydtest-mutation-example-gen] tell "\n"
16.28 s
[sydtest-mutation-example-gen] Testing mutation Negate at src/Example/DoLib.hs:14:10-14
16.28 s
[sydtest-mutation-example-gen] @@ -11,5 +11,5 @@
16.28 s
[sydtest-mutation-example-gen] go :: Writer String ()
16.28 s
[sydtest-mutation-example-gen] go = do
16.28 s
[sydtest-mutation-example-gen] tell "Hello"
16.28 s
[sydtest-mutation-example-gen] - if loud then tell "!" else pure ()
16.28 s
[sydtest-mutation-example-gen] + if not (loud) then tell "!" else pure ()
16.28 s
[sydtest-mutation-example-gen] tell "\n"
16.28 s
[sydtest-mutation-example-gen] Testing mutation RemoveAction at src/Example/DoLib.hs:14:7-41
16.28 s
[sydtest-mutation-example-gen] @@ -11,5 +11,4 @@
16.28 s
[sydtest-mutation-example-gen] go :: Writer String ()
16.28 s
[sydtest-mutation-example-gen] go = do
16.28 s
[sydtest-mutation-example-gen] tell "Hello"
16.28 s
[sydtest-mutation-example-gen] - if loud then tell "!" else pure ()
16.28 s
[sydtest-mutation-example-gen] tell "\n"
16.28 s
[sydtest-mutation-example-gen] Testing mutation RemoveAction at src/Example/DoLib.hs:12:10-16
16.28 s
[sydtest-mutation-example-gen] @@ -9,7 +9,6 @@
16.28 s
[sydtest-mutation-example-gen] greet loud = execWriter go
16.28 s
[sydtest-mutation-example-gen] where
16.28 s
[sydtest-mutation-example-gen] go :: Writer String ()
16.28 s
[sydtest-mutation-example-gen] go = do
16.28 s
[sydtest-mutation-example-gen] - tell "Hello"
16.28 s
[sydtest-mutation-example-gen] if loud then tell "!" else pure ()
16.28 s
[sydtest-mutation-example-gen] tell "\n"
16.28 s
[sydtest-mutation-example-gen] Testing mutation ListLit at src/Example/ListLib.hs:19:29-38
16.28 s
[sydtest-mutation-example-gen] @@ -16,4 +16,3 @@
16.28 s
[sydtest-mutation-example-gen] -- Mutation sites: ListLit produces an empty-list mutant, a drop-first mutant,
16.28 s
[sydtest-mutation-example-gen] -- and a drop-last mutant on the literal @[a, b, c]@.
16.28 s
[sydtest-mutation-example-gen] tripleConcat :: String -> String -> String -> String
16.28 s
[sydtest-mutation-example-gen] -tripleConcat a b c = concat [a, b, c]
16.28 s
[sydtest-mutation-example-gen] Testing mutation ListLit at src/Example/ListLib.hs:19:29-38
16.28 s
[sydtest-mutation-example-gen] @@ -16,4 +16,3 @@
16.28 s
[sydtest-mutation-example-gen] -- Mutation sites: ListLit produces an empty-list mutant, a drop-first mutant,
16.28 s
[sydtest-mutation-example-gen] -- and a drop-last mutant on the literal @[a, b, c]@.
16.28 s
[sydtest-mutation-example-gen] tripleConcat :: String -> String -> String -> String
16.28 s
[sydtest-mutation-example-gen] -tripleConcat a b c = concat [a, b, c]
16.28 s
[sydtest-mutation-example-gen] Testing mutation ListLit at src/Example/ListLib.hs:19:29-38
16.28 s
[sydtest-mutation-example-gen] @@ -16,4 +16,3 @@
16.28 s
[sydtest-mutation-example-gen] -- Mutation sites: ListLit produces an empty-list mutant, a drop-first mutant,
16.28 s
[sydtest-mutation-example-gen] -- and a drop-last mutant on the literal @[a, b, c]@.
16.28 s
[sydtest-mutation-example-gen] tripleConcat :: String -> String -> String -> String
16.28 s
[sydtest-mutation-example-gen] -tripleConcat a b c = concat [a, b, c]
16.28 s
[sydtest-mutation-example-gen] Testing mutation ListLit at src/Example/ListLib.hs:12:25-31
16.28 s
[sydtest-mutation-example-gen] @@ -9,7 +9,6 @@
16.28 s
[sydtest-mutation-example-gen] -- Mutation sites: ListLit produces an empty-list mutant and a drop-first
16.28 s
[sydtest-mutation-example-gen] -- mutant on the literal @[a, b]@.
16.28 s
[sydtest-mutation-example-gen] pairConcat :: String -> String -> String
16.28 s
[sydtest-mutation-example-gen] -pairConcat a b = concat [a, b]
16.28 s
[sydtest-mutation-example-gen]
16.28 s
[sydtest-mutation-example-gen] -- | Concatenate a three-element list of strings.
16.28 s
[sydtest-mutation-example-gen] --
16.28 s
[sydtest-mutation-example-gen] Testing mutation ListLit at src/Example/ListLib.hs:12:25-31
16.28 s
[sydtest-mutation-example-gen] @@ -9,7 +9,6 @@
16.28 s
[sydtest-mutation-example-gen] -- Mutation sites: ListLit produces an empty-list mutant and a drop-first
16.28 s
[sydtest-mutation-example-gen] -- mutant on the literal @[a, b]@.
16.28 s
[sydtest-mutation-example-gen] pairConcat :: String -> String -> String
16.28 s
[sydtest-mutation-example-gen] -pairConcat a b = concat [a, b]
16.29 s
[sydtest-mutation-example-gen]
16.29 s
[sydtest-mutation-example-gen] -- | Concatenate a three-element list of strings.
16.29 s
[sydtest-mutation-example-gen] --
16.29 s
[sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/Lib.hs:8:16-17
16.29 s
[sydtest-mutation-example-gen] @@ -5,4 +5,4 @@
16.29 s
[sydtest-mutation-example-gen] -- The literal '1' here is a mutation site: the plugin will also compile a
16.29 s
[sydtest-mutation-example-gen] -- version where this returns @n + 0@ instead of @n + 1@.
16.29 s
[sydtest-mutation-example-gen] addOne :: Int -> Int
16.29 s
[sydtest-mutation-example-gen] -addOne n = n + 1
16.29 s
[sydtest-mutation-example-gen] +addOne n = n + 0
16.29 s
[sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/Lib.hs:8:16-17
16.29 s
[sydtest-mutation-example-gen] @@ -5,4 +5,4 @@
16.29 s
[sydtest-mutation-example-gen] -- The literal '1' here is a mutation site: the plugin will also compile a
16.29 s
[sydtest-mutation-example-gen] -- version where this returns @n + 0@ instead of @n + 1@.
16.29 s
[sydtest-mutation-example-gen] addOne :: Int -> Int
16.29 s
[sydtest-mutation-example-gen] -addOne n = n + 1
16.29 s
[sydtest-mutation-example-gen] +addOne n = n + -1
16.29 s
[sydtest-mutation-example-gen] Testing mutation Arith at src/Example/Lib.hs:8:12-17
16.29 s
[sydtest-mutation-example-gen] @@ -5,4 +5,4 @@
16.29 s
[sydtest-mutation-example-gen] -- The literal '1' here is a mutation site: the plugin will also compile a
16.29 s
[sydtest-mutation-example-gen] -- version where this returns @n + 0@ instead of @n + 1@.
16.29 s
[sydtest-mutation-example-gen] addOne :: Int -> Int
16.29 s
[sydtest-mutation-example-gen] -addOne n = n + 1
16.29 s
[sydtest-mutation-example-gen] +addOne n = n - 1
16.29 s
[sydtest-mutation-example-gen] Testing mutation Arith at src/Example/Lib.hs:8:12-17
16.29 s
[sydtest-mutation-example-gen] @@ -5,4 +5,4 @@
16.29 s
[sydtest-mutation-example-gen] -- The literal '1' here is a mutation site: the plugin will also compile a
16.29 s
[sydtest-mutation-example-gen] -- version where this returns @n + 0@ instead of @n + 1@.
16.29 s
[sydtest-mutation-example-gen] addOne :: Int -> Int
16.29 s
[sydtest-mutation-example-gen] -addOne n = n + 1
16.29 s
[sydtest-mutation-example-gen] +addOne n = n * 1
16.29 s
[sydtest-mutation-example-gen] Phase: haddockPhase
16.43 s
[sydtest-mutation-example-gen] Preprocessing library for sydtest-mutation-example-gen-0.0.0.0...
16.43 s
[sydtest-mutation-example-gen] Running Haddock on library for sydtest-mutation-example-gen-0.0.0.0...
16.60 s
[sydtest-mutation-example-gen] [1 of 2] Compiling Example.Gen ( src/Example/Gen.hs, nothing )
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 )
16.63 s
[sydtest-mutation-example-gen] Haddock coverage:
16.63 s
[sydtest-mutation-example-gen] 50% ( 1 / 2) in 'Example.Gen'
16.64 s
[sydtest-mutation-example-gen] Missing documentation for:
16.64 s
[sydtest-mutation-example-gen] Module header
19.77 s
[sydtest-mutation-example-gen] Documentation created: dist/doc/html/sydtest-mutation-example-gen/,
19.77 s
[sydtest-mutation-example-gen] dist/doc/html/sydtest-mutation-example-gen/sydtest-mutation-example-gen.txt
19.82 s
[sydtest-mutation-example-gen] Preprocessing test suite 'sydtest-mutation-example-gen-test' for sydtest-mutation-example-gen-0.0.0.0...
19.83 s
[sydtest-mutation-example-gen] Phase: installPhase
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
20.11 s
[sydtest-mutation-example-gen] Phase: fixupPhase
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
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
20.14 s
[sydtest-mutation-example-gen] checking for references to /build/ in /nix/store/3qzcn88kr1p0cadnbszyi47p2walarhd-sydtest-mutation-example-gen-0.0.0.0...
20.15 s
[sydtest-mutation-example-gen] patching script interpreter paths in /nix/store/3qzcn88kr1p0cadnbszyi47p2walarhd-sydtest-mutation-example-gen-0.0.0.0
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
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
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...
20.20 s
[sydtest-mutation-example-gen] patching script interpreter paths in /nix/store/fi5sdnnca9b5kj699nh3zcz420ik90ga-sydtest-mutation-example-gen-0.0.0.0-doc
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
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...
20.21 s
[sydtest-mutation-example-gen] patching script interpreter paths in /nix/store/a5z5wckqh8ib3kwz0kb29qqlp63dv17b-sydtest-mutation-example-gen-0.0.0.0-report
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
20.70 s
[post-build-hook] Pushing 3 paths (76 are already present) using zstd to cache sydtest ⏳
20.70 s
[post-build-hook]
21.06 s
[post-build-hook] Pushing /nix/store/a5z5wckqh8ib3kwz0kb29qqlp63dv17b-sydtest-mutation-example-gen-0.0.0.0-report (624.00 B)
21.13 s
[post-build-hook] Pushing /nix/store/fi5sdnnca9b5kj699nh3zcz420ik90ga-sydtest-mutation-example-gen-0.0.0.0-doc (142.72 KiB)
21.17 s
[post-build-hook] Pushing /nix/store/3qzcn88kr1p0cadnbszyi47p2walarhd-sydtest-mutation-example-gen-0.0.0.0 (286.85 KiB)
22.38 s
[post-build-hook]
22.38 s
[post-build-hook] All done.
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
22.43 s
[post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
22.48 s
[post-build-hook] copying 1 paths...
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'...
22.56 s
[post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
37.14 s
[post-build-hook] copying 0 paths...
37.77 s
Progress: 1 of 3 built, 3 of 3 downloaded from cache
37.77 s
Building sydtest-mutation-example
37.77 s
[sydtest-mutation-example] Results: 68 killed, 0 survived, 0 uncovered out of 68 total
37.77 s
[sydtest-mutation-example]
37.77 s
[sydtest-mutation-example] Killed: 68
37.77 s
[sydtest-mutation-example] Survived: 0
37.77 s
[sydtest-mutation-example] Uncovered: 0
37.77 s
[sydtest-mutation-example] Full report: /nix/store/a5z5wckqh8ib3kwz0kb29qqlp63dv17b-sydtest-mutation-example-gen-0.0.0.0-report/report.txt
37.77 s
[sydtest-mutation-example] Machine-readable report: /nix/store/a5z5wckqh8ib3kwz0kb29qqlp63dv17b-sydtest-mutation-example-gen-0.0.0.0-report/report.json
37.77 s
[sydtest-mutation-example]
37.77 s
[sydtest-mutation-example] PASS: All 68 mutation(s) accounted for.
37.77 s
[post-build-hook] Uploading to cachix cache "sydtest": /nix/store/qxi7976vm76l5hlbff93ka6ky4rsb3ap-sydtest-mutation-example
37.77 s
[post-build-hook] Pushing 1 paths (0 are already present) using zstd to cache sydtest ⏳
37.77 s
[post-build-hook]
38.00 s
[post-build-hook] Pushing /nix/store/qxi7976vm76l5hlbff93ka6ky4rsb3ap-sydtest-mutation-example (624.00 B)
40.02 s
[post-build-hook]
40.02 s
[post-build-hook] All done.
40.04 s
[post-build-hook] Uploading to the NixCI staging cache: /nix/store/qxi7976vm76l5hlbff93ka6ky4rsb3ap-sydtest-mutation-example
40.07 s
[post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
40.09 s
[post-build-hook] copying 1 paths...
40.09 s
[post-build-hook] copying path '/nix/store/qxi7976vm76l5hlbff93ka6ky4rsb3ap-sydtest-mutation-example' to 'https://cache.staging.nix-ci.com'...
40.33 s
[post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
40.63 s
[post-build-hook] copying 1 paths...
40.63 s
[post-build-hook] copying path '/nix/store/2pv58sqpf2l13d1rfqx13s2ncbxryqnq-sydtest-mutation-example.drv' to 'https://cache.staging.nix-ci.com'...
40.80 s
Progress: 2 of 3 built, 3 of 3 downloaded from cache