$ /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=ea6f1381292a87ea3f7ed6cc8a6c7421a790fa7d#checks.x86_64-linux.mutation-sydtest-mutation-example --print-build-logs
warning: ignoring untrusted flake configuration setting 'extra-substituters'.
Pass '--accept-flake-config' to trust it
warning: ignoring untrusted flake configuration setting 'extra-trusted-public-keys'.
Pass '--accept-flake-config' to trust it

Building sydtest-mutation-example
[sydtest-mutation-example] Phase: setupCompilerEnvironmentPhase
[sydtest-mutation-example] Build with /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3.
[sydtest-mutation-example] Phase: unpackPhase
[sydtest-mutation-example] unpacking source archive /nix/store/yc71c4z63mncp49090lkady7qgkr4il1-sydtest-mutation-example-source-0.0.0.0/sydtest-mutation-example-0.0.0.0.tar.gz
[sydtest-mutation-example] source root is sydtest-mutation-example-0.0.0.0
[sydtest-mutation-example] setting SOURCE_DATE_EPOCH to timestamp 1778752027 of file "sydtest-mutation-example-0.0.0.0/sydtest-mutation-example.cabal"
[sydtest-mutation-example] Phase: patchPhase
[sydtest-mutation-example] Phase: compileBuildDriverPhase
[sydtest-mutation-example] setupCompileFlags: -package-db=/build/tmp.ReYpYPNPoK/setup-package.conf.d -threaded
[sydtest-mutation-example] [1 of 2] Compiling Main             ( Setup.hs, /build/tmp.ReYpYPNPoK/Main.o )
[sydtest-mutation-example] [2 of 2] Linking Setup
[sydtest-mutation-example] Phase: updateAutotoolsGnuConfigScriptsPhase
[sydtest-mutation-example] Phase: configurePhase
[sydtest-mutation-example] configureFlags: --verbose --prefix=/nix/store/dk2y4azwgv9q8p1j5bxkb4iflglbz51p-sydtest-mutation-example-0.0.0.0 --libdir=$prefix/lib/$compiler/lib --libsubdir=$abi/$libname --with-gcc=gcc --package-db=/build/tmp.ReYpYPNPoK/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 --disable-static --disable-executable-dynamic --enable-tests --enable-benchmarks --enable-library-vanilla --disable-library-for-ghci --enable-split-sections --enable-library-stripping --enable-executable-stripping --ghc-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 --disable-optimization --ghc-option=-j1 --ghc-option=+RTS --ghc-option=-A32M --ghc-option=-M16g --ghc-option=-RTS --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
[sydtest-mutation-example] Using Parsec parser
[sydtest-mutation-example] Configuring sydtest-mutation-example-0.0.0.0...
[sydtest-mutation-example] Dependency base >=4.7 && <5: using base-4.20.2.0
[sydtest-mutation-example] Dependency mtl >=2 && <3: using mtl-2.3.1
[sydtest-mutation-example] Source component graph: component lib
[sydtest-mutation-example] Configured component graph:
[sydtest-mutation-example]     component sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
[sydtest-mutation-example]         include base-4.20.2.0-64da
[sydtest-mutation-example]         include mtl-2.3.1-b4af
[sydtest-mutation-example] Linked component graph:
[sydtest-mutation-example]     unit sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
[sydtest-mutation-example]         include base-4.20.2.0-64da
[sydtest-mutation-example]         include mtl-2.3.1-b4af
[sydtest-mutation-example]         Example.BoolLib=sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu:Example.BoolLib,Example.CaseLib=sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu:Example.CaseLib,Example.DoLib=sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu:Example.DoLib,Example.ExceptionLib=sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu:Example.ExceptionLib,Example.FunctionExceptionLib=sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu:Example.FunctionExceptionLib,Example.Lib=sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu:Example.Lib,Example.ListLib=sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu:Example.ListLib,Example.LogicLib=sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu:Example.LogicLib,Example.OtherwiseLib=sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu:Example.OtherwiseLib,Example.UntestedLib=sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu:Example.UntestedLib
[sydtest-mutation-example] Ready component graph:
[sydtest-mutation-example]     definite sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
[sydtest-mutation-example]         depends base-4.20.2.0-64da
[sydtest-mutation-example]         depends mtl-2.3.1-b4af
[sydtest-mutation-example] Using Cabal-3.12.1.0 compiled by ghc-9.10
[sydtest-mutation-example] Using compiler: ghc-9.10.3
[sydtest-mutation-example] Using install prefix:
[sydtest-mutation-example] /nix/store/dk2y4azwgv9q8p1j5bxkb4iflglbz51p-sydtest-mutation-example-0.0.0.0
[sydtest-mutation-example] Executables installed in:
[sydtest-mutation-example] /nix/store/dk2y4azwgv9q8p1j5bxkb4iflglbz51p-sydtest-mutation-example-0.0.0.0/bin
[sydtest-mutation-example] Libraries installed in:
[sydtest-mutation-example] /nix/store/dk2y4azwgv9q8p1j5bxkb4iflglbz51p-sydtest-mutation-example-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6/sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
[sydtest-mutation-example] Dynamic Libraries installed in:
[sydtest-mutation-example] /nix/store/dk2y4azwgv9q8p1j5bxkb4iflglbz51p-sydtest-mutation-example-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6
[sydtest-mutation-example] Private executables installed in:
[sydtest-mutation-example] /nix/store/dk2y4azwgv9q8p1j5bxkb4iflglbz51p-sydtest-mutation-example-0.0.0.0/libexec/x86_64-linux-ghc-9.10.3-05f6/sydtest-mutation-example-0.0.0.0
[sydtest-mutation-example] Data files installed in:
[sydtest-mutation-example] /nix/store/dk2y4azwgv9q8p1j5bxkb4iflglbz51p-sydtest-mutation-example-0.0.0.0/share/x86_64-linux-ghc-9.10.3-05f6/sydtest-mutation-example-0.0.0.0
[sydtest-mutation-example] Documentation installed in:
[sydtest-mutation-example] /nix/store/dk2y4azwgv9q8p1j5bxkb4iflglbz51p-sydtest-mutation-example-0.0.0.0/share/doc/x86_64-linux-ghc-9.10.3-05f6/sydtest-mutation-example-0.0.0.0
[sydtest-mutation-example] Configuration files installed in:
[sydtest-mutation-example] /nix/store/dk2y4azwgv9q8p1j5bxkb4iflglbz51p-sydtest-mutation-example-0.0.0.0/etc
[sydtest-mutation-example] No alex found
[sydtest-mutation-example] Using ar found on system at:
[sydtest-mutation-example] /nix/store/iz5lckcsg66r223si2gck7csk2hihj0m-binutils-wrapper-2.44/bin/ar
[sydtest-mutation-example] No c2hs found
[sydtest-mutation-example] No cpphs found
[sydtest-mutation-example] No doctest found
[sydtest-mutation-example] Using gcc version 14.3.0 given by user at:
[sydtest-mutation-example] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/gcc
[sydtest-mutation-example] Using ghc version 9.10.3 found on system at:
[sydtest-mutation-example] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc
[sydtest-mutation-example] Using ghc-pkg version 9.10.3 found on system at:
[sydtest-mutation-example] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc-pkg-9.10.3
[sydtest-mutation-example] No ghcjs found
[sydtest-mutation-example] No ghcjs-pkg found
[sydtest-mutation-example] No greencard found
[sydtest-mutation-example] Using haddock version 2.31.1 found on system at:
[sydtest-mutation-example] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/haddock-ghc-9.10.3
[sydtest-mutation-example] No happy found
[sydtest-mutation-example] Using haskell-suite found on system at: haskell-suite-dummy-location
[sydtest-mutation-example] Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
[sydtest-mutation-example] No hmake found
[sydtest-mutation-example] Using hpc version 0.69 found on system at:
[sydtest-mutation-example] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hpc-ghc-9.10.3
[sydtest-mutation-example] Using hsc2hs version 0.68.10 found on system at:
[sydtest-mutation-example] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hsc2hs-ghc-9.10.3
[sydtest-mutation-example] Using hscolour version 1.25 found on system at:
[sydtest-mutation-example] /nix/store/f755skyzf4jvfx3crwq9mmh3x4lsaz8i-hscolour-1.25/bin/HsColour
[sydtest-mutation-example] No jhc found
[sydtest-mutation-example] Using ld found on system at:
[sydtest-mutation-example] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/ld
[sydtest-mutation-example] No pkg-config found
[sydtest-mutation-example] Using runghc version 9.10.3 found on system at:
[sydtest-mutation-example] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/runghc-9.10.3
[sydtest-mutation-example] Using strip version 2.44 found on system at:
[sydtest-mutation-example] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/strip
[sydtest-mutation-example] Using tar found on system at:
[sydtest-mutation-example] /nix/store/xl6pd2spjajwcpq09fnmnjv5psqmlmma-gnutar-1.35/bin/tar
[sydtest-mutation-example] No uhc found
[sydtest-mutation-example] Phase: buildPhase
[sydtest-mutation-example] mutation-nix: setting MUTATION_MANIFEST_DIR=/nix/store/mlhds8qd6zkz7jv1rn3k35j307sbi7x4-sydtest-mutation-example-0.0.0.0-manifest
[sydtest-mutation-example] Preprocessing library for sydtest-mutation-example-0.0.0.0...
[sydtest-mutation-example] Building library for sydtest-mutation-example-0.0.0.0...
[sydtest-mutation-example] [ 1 of 11] Compiling Example.BoolLib  ( src/Example/BoolLib.hs, dist/build/Example/BoolLib.o, dist/build/Example/BoolLib.dyn_o )
[sydtest-mutation-example] mutation: instrumenting Example.BoolLib
[sydtest-mutation-example] added mutation BoolLit at src/Example/BoolLib.hs:18:18-23
[sydtest-mutation-example] added mutation MaybeOp at src/Example/BoolLib.hs:18:13-23
[sydtest-mutation-example] added mutation BoolLit at src/Example/BoolLib.hs:12:17-21
[sydtest-mutation-example] added mutation MaybeOp at src/Example/BoolLib.hs:12:12-21
[sydtest-mutation-example] added 4 mutations
[sydtest-mutation-example] [ 2 of 11] Compiling Example.CaseLib  ( src/Example/CaseLib.hs, dist/build/Example/CaseLib.o, dist/build/Example/CaseLib.dyn_o )
[sydtest-mutation-example] mutation: instrumenting Example.CaseLib
[sydtest-mutation-example] added mutation RemoveCase at src/Example/CaseLib.hs:7:19-16
[sydtest-mutation-example] added mutation RemoveCase at src/Example/CaseLib.hs:7:19-16
[sydtest-mutation-example] added mutation RemoveCase at src/Example/CaseLib.hs:7:19-16
[sydtest-mutation-example] added 3 mutations
[sydtest-mutation-example] [ 3 of 11] Compiling Example.DoLib    ( src/Example/DoLib.hs, dist/build/Example/DoLib.o, dist/build/Example/DoLib.dyn_o )
[sydtest-mutation-example] mutation: instrumenting Example.DoLib
[sydtest-mutation-example] added mutation ConstBool at src/Example/DoLib.hs:14:10-14
[sydtest-mutation-example] added mutation ConstBool at src/Example/DoLib.hs:14:10-14
[sydtest-mutation-example] added mutation Negate at src/Example/DoLib.hs:14:10-14
[sydtest-mutation-example] added mutation RemoveAction at src/Example/DoLib.hs:14:7-41
[sydtest-mutation-example] added mutation RemoveAction at src/Example/DoLib.hs:12:10-16
[sydtest-mutation-example] added 5 mutations
[sydtest-mutation-example] [ 4 of 11] Compiling Example.ExceptionLib ( src/Example/ExceptionLib.hs, dist/build/Example/ExceptionLib.o, dist/build/Example/ExceptionLib.dyn_o )
[sydtest-mutation-example] [ 5 of 11] Compiling Example.FunctionExceptionLib ( src/Example/FunctionExceptionLib.hs, dist/build/Example/FunctionExceptionLib.o, dist/build/Example/FunctionExceptionLib.dyn_o )
[sydtest-mutation-example] mutation: instrumenting Example.FunctionExceptionLib
[sydtest-mutation-example] added mutation IntLit at src/Example/FunctionExceptionLib.hs:15:29-30
[sydtest-mutation-example] added mutation IntLit at src/Example/FunctionExceptionLib.hs:15:29-30
[sydtest-mutation-example] added 2 mutations
[sydtest-mutation-example] [ 6 of 11] Compiling Example.Lib      ( src/Example/Lib.hs, dist/build/Example/Lib.o, dist/build/Example/Lib.dyn_o )
[sydtest-mutation-example] mutation: instrumenting Example.Lib
[sydtest-mutation-example] added mutation IntLit at src/Example/Lib.hs:8:16-17
[sydtest-mutation-example] added mutation IntLit at src/Example/Lib.hs:8:16-17
[sydtest-mutation-example] added mutation Arith at src/Example/Lib.hs:8:12-17
[sydtest-mutation-example] added mutation Arith at src/Example/Lib.hs:8:12-17
[sydtest-mutation-example] added 4 mutations
[sydtest-mutation-example] [ 7 of 11] Compiling Example.ListLib  ( src/Example/ListLib.hs, dist/build/Example/ListLib.o, dist/build/Example/ListLib.dyn_o )
[sydtest-mutation-example] mutation: instrumenting Example.ListLib
[sydtest-mutation-example] added mutation ListLit at src/Example/ListLib.hs:19:29-38
[sydtest-mutation-example] added mutation ListLit at src/Example/ListLib.hs:19:29-38
[sydtest-mutation-example] added mutation ListLit at src/Example/ListLib.hs:19:29-38
[sydtest-mutation-example] added mutation ListLit at src/Example/ListLib.hs:12:25-31
[sydtest-mutation-example] added mutation ListLit at src/Example/ListLib.hs:12:25-31
[sydtest-mutation-example] added 5 mutations
[sydtest-mutation-example] [ 8 of 11] Compiling Example.LogicLib ( src/Example/LogicLib.hs, dist/build/Example/LogicLib.o, dist/build/Example/LogicLib.dyn_o )
[sydtest-mutation-example] mutation: instrumenting Example.LogicLib
[sydtest-mutation-example] added mutation IntLit at src/Example/LogicLib.hs:17:26-27
[sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:17:22-27
[sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:17:22-27
[sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:17:22-27
[sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:17:22-27
[sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:17:22-27
[sydtest-mutation-example] added mutation Negate at src/Example/LogicLib.hs:17:22-27
[sydtest-mutation-example] added mutation IntLit at src/Example/LogicLib.hs:17:35-36
[sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:17:31-36
[sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:17:31-36
[sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:17:31-36
[sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:17:31-36
[sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:17:31-36
[sydtest-mutation-example] added mutation Negate at src/Example/LogicLib.hs:17:31-36
[sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:17:22-36
[sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:17:22-36
[sydtest-mutation-example] added mutation LogicOp at src/Example/LogicLib.hs:17:22-36
[sydtest-mutation-example] added mutation Negate at src/Example/LogicLib.hs:17:22-36
[sydtest-mutation-example] added mutation IntLit at src/Example/LogicLib.hs:11:24-25
[sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:11:20-25
[sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:11:20-25
[sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:11:20-25
[sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:11:20-25
[sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:11:20-25
[sydtest-mutation-example] added mutation Negate at src/Example/LogicLib.hs:11:20-25
[sydtest-mutation-example] added mutation IntLit at src/Example/LogicLib.hs:11:33-34
[sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:11:29-34
[sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:11:29-34
[sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:11:29-34
[sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:11:29-34
[sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:11:29-34
[sydtest-mutation-example] added mutation Negate at src/Example/LogicLib.hs:11:29-34
[sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:11:20-34
[sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:11:20-34
[sydtest-mutation-example] added mutation LogicOp at src/Example/LogicLib.hs:11:20-34
[sydtest-mutation-example] added mutation Negate at src/Example/LogicLib.hs:11:20-34
[sydtest-mutation-example] added 36 mutations
[sydtest-mutation-example] [ 9 of 11] Compiling Example.OtherwiseLib ( src/Example/OtherwiseLib.hs, dist/build/Example/OtherwiseLib.o, dist/build/Example/OtherwiseLib.dyn_o )
[sydtest-mutation-example] mutation: instrumenting Example.OtherwiseLib
[sydtest-mutation-example] added mutation IntLit at src/Example/OtherwiseLib.hs:12:9-10
[sydtest-mutation-example] added mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10
[sydtest-mutation-example] added mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10
[sydtest-mutation-example] added mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10
[sydtest-mutation-example] added mutation ConstBool at src/Example/OtherwiseLib.hs:12:5-10
[sydtest-mutation-example] added mutation Negate at src/Example/OtherwiseLib.hs:12:5-10
[sydtest-mutation-example] added mutation IntLit at src/Example/OtherwiseLib.hs:13:10-11
[sydtest-mutation-example] added mutation ConstBool at src/Example/OtherwiseLib.hs:13:5-11
[sydtest-mutation-example] added mutation Negate at src/Example/OtherwiseLib.hs:13:5-11
[sydtest-mutation-example] added 9 mutations
[sydtest-mutation-example] [10 of 11] Compiling Example.UntestedLib ( src/Example/UntestedLib.hs, dist/build/Example/UntestedLib.o, dist/build/Example/UntestedLib.dyn_o )
[sydtest-mutation-example] mutation: instrumenting Example.UntestedLib
[sydtest-mutation-example] added 0 mutations
[sydtest-mutation-example] [11 of 11] Compiling Paths_sydtest_mutation_example ( dist/build/autogen/Paths_sydtest_mutation_example.hs, dist/build/Paths_sydtest_mutation_example.o, dist/build/Paths_sydtest_mutation_example.dyn_o )
[sydtest-mutation-example] [ 1 of 11] Compiling Example.BoolLib  ( src/Example/BoolLib.hs, dist/build/Example/BoolLib.p_o )
[sydtest-mutation-example] mutation: instrumenting Example.BoolLib
[sydtest-mutation-example] added mutation BoolLit at src/Example/BoolLib.hs:18:18-23
[sydtest-mutation-example] added mutation MaybeOp at src/Example/BoolLib.hs:18:13-23
[sydtest-mutation-example] added mutation BoolLit at src/Example/BoolLib.hs:12:17-21
[sydtest-mutation-example] added mutation MaybeOp at src/Example/BoolLib.hs:12:12-21
[sydtest-mutation-example] added 4 mutations
[sydtest-mutation-example] [ 2 of 11] Compiling Example.CaseLib  ( src/Example/CaseLib.hs, dist/build/Example/CaseLib.p_o )
[sydtest-mutation-example] mutation: instrumenting Example.CaseLib
[sydtest-mutation-example] added mutation RemoveCase at src/Example/CaseLib.hs:7:19-16
[sydtest-mutation-example] added mutation RemoveCase at src/Example/CaseLib.hs:7:19-16
[sydtest-mutation-example] added mutation RemoveCase at src/Example/CaseLib.hs:7:19-16
[sydtest-mutation-example] added 3 mutations
[sydtest-mutation-example] [ 3 of 11] Compiling Example.DoLib    ( src/Example/DoLib.hs, dist/build/Example/DoLib.p_o )
[sydtest-mutation-example] mutation: instrumenting Example.DoLib
[sydtest-mutation-example] added mutation ConstBool at src/Example/DoLib.hs:14:10-14
[sydtest-mutation-example] added mutation ConstBool at src/Example/DoLib.hs:14:10-14
[sydtest-mutation-example] added mutation Negate at src/Example/DoLib.hs:14:10-14
[sydtest-mutation-example] added mutation RemoveAction at src/Example/DoLib.hs:14:7-41
[sydtest-mutation-example] added mutation RemoveAction at src/Example/DoLib.hs:12:10-16
[sydtest-mutation-example] added 5 mutations
[sydtest-mutation-example] [ 4 of 11] Compiling Example.ExceptionLib ( src/Example/ExceptionLib.hs, dist/build/Example/ExceptionLib.p_o )
[sydtest-mutation-example] [ 5 of 11] Compiling Example.FunctionExceptionLib ( src/Example/FunctionExceptionLib.hs, dist/build/Example/FunctionExceptionLib.p_o )
[sydtest-mutation-example] mutation: instrumenting Example.FunctionExceptionLib
[sydtest-mutation-example] added mutation IntLit at src/Example/FunctionExceptionLib.hs:15:29-30
[sydtest-mutation-example] added mutation IntLit at src/Example/FunctionExceptionLib.hs:15:29-30
[sydtest-mutation-example] added 2 mutations
[sydtest-mutation-example] [ 6 of 11] Compiling Example.Lib      ( src/Example/Lib.hs, dist/build/Example/Lib.p_o )
[sydtest-mutation-example] mutation: instrumenting Example.Lib
[sydtest-mutation-example] added mutation IntLit at src/Example/Lib.hs:8:16-17
[sydtest-mutation-example] added mutation IntLit at src/Example/Lib.hs:8:16-17
[sydtest-mutation-example] added mutation Arith at src/Example/Lib.hs:8:12-17
[sydtest-mutation-example] added mutation Arith at src/Example/Lib.hs:8:12-17
[sydtest-mutation-example] added 4 mutations
[sydtest-mutation-example] [ 7 of 11] Compiling Example.ListLib  ( src/Example/ListLib.hs, dist/build/Example/ListLib.p_o )
[sydtest-mutation-example] mutation: instrumenting Example.ListLib
[sydtest-mutation-example] added mutation ListLit at src/Example/ListLib.hs:19:29-38
[sydtest-mutation-example] added mutation ListLit at src/Example/ListLib.hs:19:29-38
[sydtest-mutation-example] added mutation ListLit at src/Example/ListLib.hs:19:29-38
[sydtest-mutation-example] added mutation ListLit at src/Example/ListLib.hs:12:25-31
[sydtest-mutation-example] added mutation ListLit at src/Example/ListLib.hs:12:25-31
[sydtest-mutation-example] added 5 mutations
[sydtest-mutation-example] [ 8 of 11] Compiling Example.LogicLib ( src/Example/LogicLib.hs, dist/build/Example/LogicLib.p_o )
[sydtest-mutation-example] mutation: instrumenting Example.LogicLib
[sydtest-mutation-example] added mutation IntLit at src/Example/LogicLib.hs:17:26-27
[sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:17:22-27
[sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:17:22-27
[sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:17:22-27
[sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:17:22-27
[sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:17:22-27
[sydtest-mutation-example] added mutation Negate at src/Example/LogicLib.hs:17:22-27
[sydtest-mutation-example] added mutation IntLit at src/Example/LogicLib.hs:17:35-36
[sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:17:31-36
[sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:17:31-36
[sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:17:31-36
[sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:17:31-36
[sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:17:31-36
[sydtest-mutation-example] added mutation Negate at src/Example/LogicLib.hs:17:31-36
[sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:17:22-36
[sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:17:22-36
[sydtest-mutation-example] added mutation LogicOp at src/Example/LogicLib.hs:17:22-36
[sydtest-mutation-example] added mutation Negate at src/Example/LogicLib.hs:17:22-36
[sydtest-mutation-example] added mutation IntLit at src/Example/LogicLib.hs:11:24-25
[sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:11:20-25
[sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:11:20-25
[sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:11:20-25
[sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:11:20-25
[sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:11:20-25
[sydtest-mutation-example] added mutation Negate at src/Example/LogicLib.hs:11:20-25
[sydtest-mutation-example] added mutation IntLit at src/Example/LogicLib.hs:11:33-34
[sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:11:29-34
[sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:11:29-34
[sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:11:29-34
[sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:11:29-34
[sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:11:29-34
[sydtest-mutation-example] added mutation Negate at src/Example/LogicLib.hs:11:29-34
[sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:11:20-34
[sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:11:20-34
[sydtest-mutation-example] added mutation LogicOp at src/Example/LogicLib.hs:11:20-34
[sydtest-mutation-example] added mutation Negate at src/Example/LogicLib.hs:11:20-34
[sydtest-mutation-example] added 36 mutations
[sydtest-mutation-example] [ 9 of 11] Compiling Example.OtherwiseLib ( src/Example/OtherwiseLib.hs, dist/build/Example/OtherwiseLib.p_o )
[sydtest-mutation-example] mutation: instrumenting Example.OtherwiseLib
[sydtest-mutation-example] added mutation IntLit at src/Example/OtherwiseLib.hs:12:9-10
[sydtest-mutation-example] added mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10
[sydtest-mutation-example] added mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10
[sydtest-mutation-example] added mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10
[sydtest-mutation-example] added mutation ConstBool at src/Example/OtherwiseLib.hs:12:5-10
[sydtest-mutation-example] added mutation Negate at src/Example/OtherwiseLib.hs:12:5-10
[sydtest-mutation-example] added mutation IntLit at src/Example/OtherwiseLib.hs:13:10-11
[sydtest-mutation-example] added mutation ConstBool at src/Example/OtherwiseLib.hs:13:5-11
[sydtest-mutation-example] added mutation Negate at src/Example/OtherwiseLib.hs:13:5-11
[sydtest-mutation-example] added 9 mutations
[sydtest-mutation-example] [10 of 11] Compiling Example.UntestedLib ( src/Example/UntestedLib.hs, dist/build/Example/UntestedLib.p_o )
[sydtest-mutation-example] mutation: instrumenting Example.UntestedLib
[sydtest-mutation-example] added 0 mutations
[sydtest-mutation-example] [11 of 11] Compiling Paths_sydtest_mutation_example ( dist/build/autogen/Paths_sydtest_mutation_example.hs, dist/build/Paths_sydtest_mutation_example.p_o )
[sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/BoolLib.dyn_o'
[sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/CaseLib.dyn_o'
[sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/DoLib.dyn_o'
[sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/ExceptionLib.dyn_o'
[sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/FunctionExceptionLib.dyn_o'
[sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/Lib.dyn_o'
[sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/ListLib.dyn_o'
[sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/LogicLib.dyn_o'
[sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/OtherwiseLib.dyn_o'
[sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/UntestedLib.dyn_o'
[sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Paths_sydtest_mutation_example.dyn_o'
[sydtest-mutation-example] mutation-nix: manifest output at /nix/store/mlhds8qd6zkz7jv1rn3k35j307sbi7x4-sydtest-mutation-example-0.0.0.0-manifest:
[sydtest-mutation-example] total 88
[sydtest-mutation-example] drwxr-xr-x   2 nixbld nixbld  4096 May 15 06:09 .
[sydtest-mutation-example] drwxrwxr-t 238 nobody nixbld 28672 May 15 06:09 ..
[sydtest-mutation-example] -rw-r--r--   1 nixbld nixbld  2123 May 15 06:09 Example.BoolLib.json
[sydtest-mutation-example] -rw-r--r--   1 nixbld nixbld  1946 May 15 06:09 Example.CaseLib.json
[sydtest-mutation-example] -rw-r--r--   1 nixbld nixbld  2472 May 15 06:09 Example.DoLib.json
[sydtest-mutation-example] -rw-r--r--   1 nixbld nixbld  1470 May 15 06:09 Example.FunctionExceptionLib.json
[sydtest-mutation-example] -rw-r--r--   1 nixbld nixbld  1928 May 15 06:09 Example.Lib.json
[sydtest-mutation-example] -rw-r--r--   1 nixbld nixbld  2838 May 15 06:09 Example.ListLib.json
[sydtest-mutation-example] -rw-r--r--   1 nixbld nixbld 18851 May 15 06:09 Example.LogicLib.json
[sydtest-mutation-example] -rw-r--r--   1 nixbld nixbld  4602 May 15 06:09 Example.OtherwiseLib.json
[sydtest-mutation-example] -rw-r--r--   1 nixbld nixbld     2 May 15 06:09 Example.UntestedLib.json
[sydtest-mutation-example] mutation-nix: building remaining components with plugin silenced
[sydtest-mutation-example] Preprocessing library for sydtest-mutation-example-0.0.0.0...
[sydtest-mutation-example] Building library for sydtest-mutation-example-0.0.0.0...
[sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/BoolLib.dyn_o'
[sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/CaseLib.dyn_o'
[sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/DoLib.dyn_o'
[sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/ExceptionLib.dyn_o'
[sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/FunctionExceptionLib.dyn_o'
[sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/Lib.dyn_o'
[sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/ListLib.dyn_o'
[sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/LogicLib.dyn_o'
[sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/OtherwiseLib.dyn_o'
[sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/UntestedLib.dyn_o'
[sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Paths_sydtest_mutation_example.dyn_o'
[sydtest-mutation-example] Phase: checkPhase
[sydtest-mutation-example] Package has no test suites.
[sydtest-mutation-example] Phase: haddockPhase
[sydtest-mutation-example] Phase: installPhase
[sydtest-mutation-example] Installing library in /nix/store/dk2y4azwgv9q8p1j5bxkb4iflglbz51p-sydtest-mutation-example-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6/sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
[sydtest-mutation-example] Phase: fixupPhase
[sydtest-mutation-example] shrinking RPATHs of ELF executables and libraries in /nix/store/dk2y4azwgv9q8p1j5bxkb4iflglbz51p-sydtest-mutation-example-0.0.0.0
[sydtest-mutation-example] shrinking /nix/store/dk2y4azwgv9q8p1j5bxkb4iflglbz51p-sydtest-mutation-example-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6/libHSsydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu-ghc9.10.3.so
[sydtest-mutation-example] checking for references to /build/ in /nix/store/dk2y4azwgv9q8p1j5bxkb4iflglbz51p-sydtest-mutation-example-0.0.0.0...
[sydtest-mutation-example] patching script interpreter paths in /nix/store/dk2y4azwgv9q8p1j5bxkb4iflglbz51p-sydtest-mutation-example-0.0.0.0
[sydtest-mutation-example] stripping (with command strip and flags -S -p) in  /nix/store/dk2y4azwgv9q8p1j5bxkb4iflglbz51p-sydtest-mutation-example-0.0.0.0/lib /nix/store/dk2y4azwgv9q8p1j5bxkb4iflglbz51p-sydtest-mutation-example-0.0.0.0/bin
[sydtest-mutation-example] shrinking RPATHs of ELF executables and libraries in /nix/store/mlhds8qd6zkz7jv1rn3k35j307sbi7x4-sydtest-mutation-example-0.0.0.0-manifest
[sydtest-mutation-example] checking for references to /build/ in /nix/store/mlhds8qd6zkz7jv1rn3k35j307sbi7x4-sydtest-mutation-example-0.0.0.0-manifest...
[sydtest-mutation-example] patching script interpreter paths in /nix/store/mlhds8qd6zkz7jv1rn3k35j307sbi7x4-sydtest-mutation-example-0.0.0.0-manifest
[post-build-hook] Uploading to cachix cache "sydtest": /nix/store/dk2y4azwgv9q8p1j5bxkb4iflglbz51p-sydtest-mutation-example-0.0.0.0 /nix/store/mlhds8qd6zkz7jv1rn3k35j307sbi7x4-sydtest-mutation-example-0.0.0.0-manifest
[post-build-hook] Pushing 2 paths (195 are already present) using zstd to cache sydtest ⏳
[post-build-hook] 
[post-build-hook] Pushing /nix/store/mlhds8qd6zkz7jv1rn3k35j307sbi7x4-sydtest-mutation-example-0.0.0.0-manifest (37.28 KiB)
[post-build-hook] Pushing /nix/store/dk2y4azwgv9q8p1j5bxkb4iflglbz51p-sydtest-mutation-example-0.0.0.0 (2.10 MiB)
[post-build-hook] 
[post-build-hook] All done.
[post-build-hook] Uploading to the NixCI staging cache: /nix/store/dk2y4azwgv9q8p1j5bxkb4iflglbz51p-sydtest-mutation-example-0.0.0.0 /nix/store/mlhds8qd6zkz7jv1rn3k35j307sbi7x4-sydtest-mutation-example-0.0.0.0-manifest
[post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
[post-build-hook] copying 2 paths...
[post-build-hook] copying path '/nix/store/mlhds8qd6zkz7jv1rn3k35j307sbi7x4-sydtest-mutation-example-0.0.0.0-manifest' to 'https://cache.staging.nix-ci.com'...
[post-build-hook] copying path '/nix/store/dk2y4azwgv9q8p1j5bxkb4iflglbz51p-sydtest-mutation-example-0.0.0.0' to 'https://cache.staging.nix-ci.com'...
[post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
[post-build-hook] copying 1 paths...
[post-build-hook] copying path '/nix/store/03pamrq8l9cn8k1gajf1i2ljx132rajr-sydtest-mutation-example-0.0.0.0.drv' to 'https://cache.staging.nix-ci.com'...
Progress: 1 of 6 built
Building sydtest-mutation-example-gen-source
[sydtest-mutation-example-gen-source] Phase: setupCompilerEnvironmentPhase
[sydtest-mutation-example-gen-source] Build with /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3.
[sydtest-mutation-example-gen-source] Phase: unpackPhase
[sydtest-mutation-example-gen-source] unpacking source archive /nix/store/g9smk8n66l0px6ay5wh3flpwd40s6nks-sydtest-mutation-example-gen
[sydtest-mutation-example-gen-source] source root is sydtest-mutation-example-gen
[sydtest-mutation-example-gen-source] Phase: patchPhase
[sydtest-mutation-example-gen-source] Phase: compileBuildDriverPhase
[sydtest-mutation-example-gen-source] setupCompileFlags: -package-db=/build/tmp.AzQZqOTQtI/setup-package.conf.d -threaded
[sydtest-mutation-example-gen-source] [1 of 2] Compiling Main             ( /nix/store/4mdp8nhyfddh7bllbi7xszz7k9955n79-Setup.hs, /build/tmp.AzQZqOTQtI/Main.o )
[sydtest-mutation-example-gen-source] [2 of 2] Linking Setup
[sydtest-mutation-example-gen-source] Phase: updateAutotoolsGnuConfigScriptsPhase
[sydtest-mutation-example-gen-source] Phase: configurePhase
[sydtest-mutation-example-gen-source] configureFlags: --verbose --prefix=/nix/store/x814igkasgn5g4kixil7mll9l412qdqi-sydtest-mutation-example-gen-source-0.0.0.0 --libdir=$prefix/lib/$compiler/lib --libsubdir=$abi/$libname --docdir=/share/doc/sydtest-mutation-example-gen-0.0.0.0 --with-gcc=gcc --package-db=/build/tmp.AzQZqOTQtI/package.conf.d --ghc-option=-j16 --ghc-option=+RTS --ghc-option=-A64M --ghc-option=-RTS --enable-library-profiling --profiling-detail=exported-functions --disable-profiling --enable-shared --disable-coverage --enable-static --disable-executable-dynamic --enable-tests --enable-benchmarks --enable-library-vanilla --disable-library-for-ghci --enable-split-sections --enable-library-stripping --enable-executable-stripping --ghc-option=-haddock --ghc-options=-O2 --ghc-options=-Wall --ghc-options=-Wincomplete-uni-patterns --ghc-options=-Wincomplete-record-updates --ghc-options=-Wpartial-fields --ghc-options=-Widentities --ghc-options=-Wredundant-constraints --ghc-options=-Wcpp-undef --ghc-options=-Wunused-packages --ghc-options=-Werror --ghc-options=-Wno-deprecations --extra-lib-dirs=/nix/store/ffyzkisqs4vc4mg28bwwlyqjf8i9ph6b-ncurses-6.5/lib --extra-lib-dirs=/nix/store/n28qgdj8c1q41kf7n4y1jxa6ckp85m3c-libffi-3.5.2/lib --extra-lib-dirs=/nix/store/1b6h99dw7bk4wbn77kbalih42zbc67m1-elfutils-0.194/lib --extra-lib-dirs=/nix/store/hi0ar880110k6jsmmili7dh1gq3cg2a9-gmp-with-cxx-6.3.0/lib --extra-lib-dirs=/nix/store/g09cflpnp4g80q56sj9dng1qzv4v4ybc-numactl-2.0.18/lib --extra-lib-dirs=/nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/lib
[sydtest-mutation-example-gen-source] Using Parsec parser
[sydtest-mutation-example-gen-source] Configuring sydtest-mutation-example-gen-0.0.0.0...
[sydtest-mutation-example-gen-source] Dependency QuickCheck: using QuickCheck-2.15.0.1
[sydtest-mutation-example-gen-source] Dependency base >=4.7 && <5: using base-4.20.2.0
[sydtest-mutation-example-gen-source] Dependency QuickCheck: using QuickCheck-2.15.0.1
[sydtest-mutation-example-gen-source] Dependency base >=4.7 && <5: using base-4.20.2.0
[sydtest-mutation-example-gen-source] Dependency sydtest: using sydtest-0.23.0.2
[sydtest-mutation-example-gen-source] Dependency sydtest-mutation-example: using sydtest-mutation-example-0.0.0.0
[sydtest-mutation-example-gen-source] Dependency sydtest-mutation-example-gen: using
[sydtest-mutation-example-gen-source] sydtest-mutation-example-gen-0.0.0.0
[sydtest-mutation-example-gen-source] Source component graph:
[sydtest-mutation-example-gen-source]     component lib
[sydtest-mutation-example-gen-source]     component test:sydtest-mutation-example-gen-test dependency lib
[sydtest-mutation-example-gen-source] Configured component graph:
[sydtest-mutation-example-gen-source]     component sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
[sydtest-mutation-example-gen-source]         include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
[sydtest-mutation-example-gen-source]         include base-4.20.2.0-64da
[sydtest-mutation-example-gen-source]     component sydtest-mutation-example-gen-0.0.0.0-4aLnrrzAr6JDrCYfyHcQMz-sydtest-mutation-example-gen-test
[sydtest-mutation-example-gen-source]         include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
[sydtest-mutation-example-gen-source]         include base-4.20.2.0-64da
[sydtest-mutation-example-gen-source]         include sydtest-0.23.0.2-2pBpKNR1Siz5MducBHcrJ7
[sydtest-mutation-example-gen-source]         include sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
[sydtest-mutation-example-gen-source]         include sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
[sydtest-mutation-example-gen-source] Linked component graph:
[sydtest-mutation-example-gen-source]     unit sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
[sydtest-mutation-example-gen-source]         include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
[sydtest-mutation-example-gen-source]         include base-4.20.2.0-64da
[sydtest-mutation-example-gen-source]         Example.Gen=sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8:Example.Gen
[sydtest-mutation-example-gen-source]     unit sydtest-mutation-example-gen-0.0.0.0-4aLnrrzAr6JDrCYfyHcQMz-sydtest-mutation-example-gen-test
[sydtest-mutation-example-gen-source]         include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
[sydtest-mutation-example-gen-source]         include base-4.20.2.0-64da
[sydtest-mutation-example-gen-source]         include sydtest-0.23.0.2-2pBpKNR1Siz5MducBHcrJ7
[sydtest-mutation-example-gen-source]         include sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
[sydtest-mutation-example-gen-source]         include sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
[sydtest-mutation-example-gen-source] Ready component graph:
[sydtest-mutation-example-gen-source]     definite sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
[sydtest-mutation-example-gen-source]         depends QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
[sydtest-mutation-example-gen-source]         depends base-4.20.2.0-64da
[sydtest-mutation-example-gen-source]     definite sydtest-mutation-example-gen-0.0.0.0-4aLnrrzAr6JDrCYfyHcQMz-sydtest-mutation-example-gen-test
[sydtest-mutation-example-gen-source]         depends QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
[sydtest-mutation-example-gen-source]         depends base-4.20.2.0-64da
[sydtest-mutation-example-gen-source]         depends sydtest-0.23.0.2-2pBpKNR1Siz5MducBHcrJ7
[sydtest-mutation-example-gen-source]         depends sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
[sydtest-mutation-example-gen-source]         depends sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
[sydtest-mutation-example-gen-source] Using Cabal-3.12.1.0 compiled by ghc-9.10
[sydtest-mutation-example-gen-source] Using compiler: ghc-9.10.3
[sydtest-mutation-example-gen-source] Using install prefix:
[sydtest-mutation-example-gen-source] /nix/store/x814igkasgn5g4kixil7mll9l412qdqi-sydtest-mutation-example-gen-source-0.0.0.0
[sydtest-mutation-example-gen-source] Executables installed in:
[sydtest-mutation-example-gen-source] /nix/store/x814igkasgn5g4kixil7mll9l412qdqi-sydtest-mutation-example-gen-source-0.0.0.0/bin
[sydtest-mutation-example-gen-source] Libraries installed in:
[sydtest-mutation-example-gen-source] /nix/store/x814igkasgn5g4kixil7mll9l412qdqi-sydtest-mutation-example-gen-source-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6/sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
[sydtest-mutation-example-gen-source] Dynamic Libraries installed in:
[sydtest-mutation-example-gen-source] /nix/store/x814igkasgn5g4kixil7mll9l412qdqi-sydtest-mutation-example-gen-source-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6
[sydtest-mutation-example-gen-source] Private executables installed in:
[sydtest-mutation-example-gen-source] /nix/store/x814igkasgn5g4kixil7mll9l412qdqi-sydtest-mutation-example-gen-source-0.0.0.0/libexec/x86_64-linux-ghc-9.10.3-05f6/sydtest-mutation-example-gen-0.0.0.0
[sydtest-mutation-example-gen-source] Data files installed in:
[sydtest-mutation-example-gen-source] /nix/store/x814igkasgn5g4kixil7mll9l412qdqi-sydtest-mutation-example-gen-source-0.0.0.0/share/x86_64-linux-ghc-9.10.3-05f6/sydtest-mutation-example-gen-0.0.0.0
[sydtest-mutation-example-gen-source] Documentation installed in: /share/doc/sydtest-mutation-example-gen-0.0.0.0
[sydtest-mutation-example-gen-source] Configuration files installed in:
[sydtest-mutation-example-gen-source] /nix/store/x814igkasgn5g4kixil7mll9l412qdqi-sydtest-mutation-example-gen-source-0.0.0.0/etc
[sydtest-mutation-example-gen-source] No alex found
[sydtest-mutation-example-gen-source] Using ar found on system at:
[sydtest-mutation-example-gen-source] /nix/store/iz5lckcsg66r223si2gck7csk2hihj0m-binutils-wrapper-2.44/bin/ar
[sydtest-mutation-example-gen-source] No c2hs found
[sydtest-mutation-example-gen-source] No cpphs found
[sydtest-mutation-example-gen-source] No doctest found
[sydtest-mutation-example-gen-source] Using gcc version 14.3.0 given by user at:
[sydtest-mutation-example-gen-source] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/gcc
[sydtest-mutation-example-gen-source] Using ghc version 9.10.3 found on system at:
[sydtest-mutation-example-gen-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc
[sydtest-mutation-example-gen-source] Using ghc-pkg version 9.10.3 found on system at:
[sydtest-mutation-example-gen-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc-pkg-9.10.3
[sydtest-mutation-example-gen-source] No ghcjs found
[sydtest-mutation-example-gen-source] No ghcjs-pkg found
[sydtest-mutation-example-gen-source] No greencard found
[sydtest-mutation-example-gen-source] Using haddock version 2.31.1 found on system at:
[sydtest-mutation-example-gen-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/haddock-ghc-9.10.3
[sydtest-mutation-example-gen-source] No happy found
[sydtest-mutation-example-gen-source] Using haskell-suite found on system at: haskell-suite-dummy-location
[sydtest-mutation-example-gen-source] Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
[sydtest-mutation-example-gen-source] No hmake found
[sydtest-mutation-example-gen-source] Using hpc version 0.69 found on system at:
[sydtest-mutation-example-gen-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hpc-ghc-9.10.3
[sydtest-mutation-example-gen-source] Using hsc2hs version 0.68.10 found on system at:
[sydtest-mutation-example-gen-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hsc2hs-ghc-9.10.3
[sydtest-mutation-example-gen-source] Using hscolour version 1.25 found on system at:
[sydtest-mutation-example-gen-source] /nix/store/f755skyzf4jvfx3crwq9mmh3x4lsaz8i-hscolour-1.25/bin/HsColour
[sydtest-mutation-example-gen-source] No jhc found
[sydtest-mutation-example-gen-source] Using ld found on system at:
[sydtest-mutation-example-gen-source] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/ld
[sydtest-mutation-example-gen-source] No pkg-config found
[sydtest-mutation-example-gen-source] Using runghc version 9.10.3 found on system at:
[sydtest-mutation-example-gen-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/runghc-9.10.3
[sydtest-mutation-example-gen-source] Using strip version 2.44 found on system at:
[sydtest-mutation-example-gen-source] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/strip
[sydtest-mutation-example-gen-source] Using tar found on system at:
[sydtest-mutation-example-gen-source] /nix/store/xl6pd2spjajwcpq09fnmnjv5psqmlmma-gnutar-1.35/bin/tar
[sydtest-mutation-example-gen-source] No uhc found
[sydtest-mutation-example-gen-source] Phase: buildPhase
[sydtest-mutation-example-gen-source] Distribution quality errors:
[sydtest-mutation-example-gen-source] [no-syn-desc] No 'synopsis' or 'description' field.
[sydtest-mutation-example-gen-source] Distribution quality warnings:
[sydtest-mutation-example-gen-source] [no-license-file] A 'license-file' is not specified.
[sydtest-mutation-example-gen-source] [missing-upper-bounds] On library, these packages miss upper bounds:
[sydtest-mutation-example-gen-source] - QuickCheck
[sydtest-mutation-example-gen-source] Please add them. There is more information at https://pvp.haskell.org/
[sydtest-mutation-example-gen-source] Note: the public hackage server would reject this package.
[sydtest-mutation-example-gen-source] Building source dist for sydtest-mutation-example-gen-0.0.0.0...
[sydtest-mutation-example-gen-source] Source tarball created: dist/sydtest-mutation-example-gen-0.0.0.0.tar.gz
[sydtest-mutation-example-gen-source] Phase: checkPhase
[sydtest-mutation-example-gen-source] Phase: haddockPhase
[sydtest-mutation-example-gen-source] Phase: installPhase
[sydtest-mutation-example-gen-source] Phase: fixupPhase
[post-build-hook] Uploading to cachix cache "sydtest": /nix/store/x814igkasgn5g4kixil7mll9l412qdqi-sydtest-mutation-example-gen-source-0.0.0.0
[post-build-hook] Pushing 1 paths (0 are already present) using zstd to cache sydtest ⏳
[post-build-hook] 
[post-build-hook] Pushing /nix/store/x814igkasgn5g4kixil7mll9l412qdqi-sydtest-mutation-example-gen-source-0.0.0.0 (2.42 KiB)
[post-build-hook] 
[post-build-hook] All done.
[post-build-hook] Uploading to the NixCI staging cache: /nix/store/x814igkasgn5g4kixil7mll9l412qdqi-sydtest-mutation-example-gen-source-0.0.0.0
[post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
[post-build-hook] copying 1 paths...
[post-build-hook] copying path '/nix/store/x814igkasgn5g4kixil7mll9l412qdqi-sydtest-mutation-example-gen-source-0.0.0.0' to 'https://cache.staging.nix-ci.com'...
[post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
[post-build-hook] copying 1 paths...
[post-build-hook] copying path '/nix/store/nfz3s22swj3cm4zd94w76flidwxcdaaz-sydtest-mutation-example-gen-source-0.0.0.0.drv' to 'https://cache.staging.nix-ci.com'...
Progress: 2 of 5 built
Building sydtest-mutation-example-gen
[sydtest-mutation-example-gen] Phase: setupCompilerEnvironmentPhase
[sydtest-mutation-example-gen] Build with /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3.
[sydtest-mutation-example-gen] Phase: unpackPhase
[sydtest-mutation-example-gen] unpacking source archive /nix/store/x814igkasgn5g4kixil7mll9l412qdqi-sydtest-mutation-example-gen-source-0.0.0.0/sydtest-mutation-example-gen-0.0.0.0.tar.gz
[sydtest-mutation-example-gen] source root is sydtest-mutation-example-gen-0.0.0.0
[sydtest-mutation-example-gen] setting SOURCE_DATE_EPOCH to timestamp 1778825368 of file "sydtest-mutation-example-gen-0.0.0.0/test/Spec.hs"
[sydtest-mutation-example-gen] warning: file "sydtest-mutation-example-gen-0.0.0.0/test/Spec.hs" may be generated; SOURCE_DATE_EPOCH may be non-deterministic
[sydtest-mutation-example-gen] Phase: patchPhase
[sydtest-mutation-example-gen] Phase: compileBuildDriverPhase
[sydtest-mutation-example-gen] setupCompileFlags: -package-db=/build/tmp.1ps05plPCF/setup-package.conf.d -threaded
[sydtest-mutation-example-gen] [1 of 2] Compiling Main             ( Setup.hs, /build/tmp.1ps05plPCF/Main.o )
[sydtest-mutation-example-gen] [2 of 2] Linking Setup
[sydtest-mutation-example-gen] Phase: updateAutotoolsGnuConfigScriptsPhase
[sydtest-mutation-example-gen] Phase: configurePhase
[sydtest-mutation-example-gen] configureFlags: --verbose --prefix=/nix/store/l2bm8nwn07i5025ljcxn3l2bj0qsc3br-sydtest-mutation-example-gen-0.0.0.0 --libdir=$prefix/lib/$compiler/lib --libsubdir=$abi/$libname --docdir=/nix/store/f8yvkr62lyv4bgkmzc5k8dwpn2wzczpl-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.1ps05plPCF/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
[sydtest-mutation-example-gen] Using Parsec parser
[sydtest-mutation-example-gen] Configuring sydtest-mutation-example-gen-0.0.0.0...
[sydtest-mutation-example-gen] Dependency QuickCheck: using QuickCheck-2.15.0.1
[sydtest-mutation-example-gen] Dependency base >=4.7 && <5: using base-4.20.2.0
[sydtest-mutation-example-gen] Dependency QuickCheck: using QuickCheck-2.15.0.1
[sydtest-mutation-example-gen] Dependency base >=4.7 && <5: using base-4.20.2.0
[sydtest-mutation-example-gen] Dependency sydtest: using sydtest-0.23.0.2
[sydtest-mutation-example-gen] Dependency sydtest-mutation-example: using sydtest-mutation-example-0.0.0.0
[sydtest-mutation-example-gen] Dependency sydtest-mutation-example-gen: using
[sydtest-mutation-example-gen] sydtest-mutation-example-gen-0.0.0.0
[sydtest-mutation-example-gen] Source component graph:
[sydtest-mutation-example-gen]     component lib
[sydtest-mutation-example-gen]     component test:sydtest-mutation-example-gen-test dependency lib
[sydtest-mutation-example-gen] Configured component graph:
[sydtest-mutation-example-gen]     component sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
[sydtest-mutation-example-gen]         include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
[sydtest-mutation-example-gen]         include base-4.20.2.0-64da
[sydtest-mutation-example-gen]     component sydtest-mutation-example-gen-0.0.0.0-4aLnrrzAr6JDrCYfyHcQMz-sydtest-mutation-example-gen-test
[sydtest-mutation-example-gen]         include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
[sydtest-mutation-example-gen]         include base-4.20.2.0-64da
[sydtest-mutation-example-gen]         include sydtest-0.23.0.2-2pBpKNR1Siz5MducBHcrJ7
[sydtest-mutation-example-gen]         include sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
[sydtest-mutation-example-gen]         include sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
[sydtest-mutation-example-gen] Linked component graph:
[sydtest-mutation-example-gen]     unit sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
[sydtest-mutation-example-gen]         include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
[sydtest-mutation-example-gen]         include base-4.20.2.0-64da
[sydtest-mutation-example-gen]         Example.Gen=sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8:Example.Gen
[sydtest-mutation-example-gen]     unit sydtest-mutation-example-gen-0.0.0.0-4aLnrrzAr6JDrCYfyHcQMz-sydtest-mutation-example-gen-test
[sydtest-mutation-example-gen]         include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
[sydtest-mutation-example-gen]         include base-4.20.2.0-64da
[sydtest-mutation-example-gen]         include sydtest-0.23.0.2-2pBpKNR1Siz5MducBHcrJ7
[sydtest-mutation-example-gen]         include sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
[sydtest-mutation-example-gen]         include sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
[sydtest-mutation-example-gen] Ready component graph:
[sydtest-mutation-example-gen]     definite sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
[sydtest-mutation-example-gen]         depends QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
[sydtest-mutation-example-gen]         depends base-4.20.2.0-64da
[sydtest-mutation-example-gen]     definite sydtest-mutation-example-gen-0.0.0.0-4aLnrrzAr6JDrCYfyHcQMz-sydtest-mutation-example-gen-test
[sydtest-mutation-example-gen]         depends QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
[sydtest-mutation-example-gen]         depends base-4.20.2.0-64da
[sydtest-mutation-example-gen]         depends sydtest-0.23.0.2-2pBpKNR1Siz5MducBHcrJ7
[sydtest-mutation-example-gen]         depends sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu
[sydtest-mutation-example-gen]         depends sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
[sydtest-mutation-example-gen] Using Cabal-3.12.1.0 compiled by ghc-9.10
[sydtest-mutation-example-gen] Using compiler: ghc-9.10.3
[sydtest-mutation-example-gen] Using install prefix:
[sydtest-mutation-example-gen] /nix/store/l2bm8nwn07i5025ljcxn3l2bj0qsc3br-sydtest-mutation-example-gen-0.0.0.0
[sydtest-mutation-example-gen] Executables installed in:
[sydtest-mutation-example-gen] /nix/store/l2bm8nwn07i5025ljcxn3l2bj0qsc3br-sydtest-mutation-example-gen-0.0.0.0/bin
[sydtest-mutation-example-gen] Libraries installed in:
[sydtest-mutation-example-gen] /nix/store/l2bm8nwn07i5025ljcxn3l2bj0qsc3br-sydtest-mutation-example-gen-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6/sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
[sydtest-mutation-example-gen] Dynamic Libraries installed in:
[sydtest-mutation-example-gen] /nix/store/l2bm8nwn07i5025ljcxn3l2bj0qsc3br-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] Private executables installed in:
[sydtest-mutation-example-gen] /nix/store/l2bm8nwn07i5025ljcxn3l2bj0qsc3br-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
[sydtest-mutation-example-gen] Data files installed in:
[sydtest-mutation-example-gen] /nix/store/l2bm8nwn07i5025ljcxn3l2bj0qsc3br-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
[sydtest-mutation-example-gen] Documentation installed in:
[sydtest-mutation-example-gen] /nix/store/f8yvkr62lyv4bgkmzc5k8dwpn2wzczpl-sydtest-mutation-example-gen-0.0.0.0-doc/share/doc/sydtest-mutation-example-gen-0.0.0.0
[sydtest-mutation-example-gen] Configuration files installed in:
[sydtest-mutation-example-gen] /nix/store/l2bm8nwn07i5025ljcxn3l2bj0qsc3br-sydtest-mutation-example-gen-0.0.0.0/etc
[sydtest-mutation-example-gen] No alex found
[sydtest-mutation-example-gen] Using ar found on system at:
[sydtest-mutation-example-gen] /nix/store/iz5lckcsg66r223si2gck7csk2hihj0m-binutils-wrapper-2.44/bin/ar
[sydtest-mutation-example-gen] No c2hs found
[sydtest-mutation-example-gen] No cpphs found
[sydtest-mutation-example-gen] No doctest found
[sydtest-mutation-example-gen] Using gcc version 14.3.0 given by user at:
[sydtest-mutation-example-gen] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/gcc
[sydtest-mutation-example-gen] Using ghc version 9.10.3 found on system at:
[sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc
[sydtest-mutation-example-gen] Using ghc-pkg version 9.10.3 found on system at:
[sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc-pkg-9.10.3
[sydtest-mutation-example-gen] No ghcjs found
[sydtest-mutation-example-gen] No ghcjs-pkg found
[sydtest-mutation-example-gen] No greencard found
[sydtest-mutation-example-gen] Using haddock version 2.31.1 found on system at:
[sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/haddock-ghc-9.10.3
[sydtest-mutation-example-gen] No happy found
[sydtest-mutation-example-gen] Using haskell-suite found on system at: haskell-suite-dummy-location
[sydtest-mutation-example-gen] Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
[sydtest-mutation-example-gen] No hmake found
[sydtest-mutation-example-gen] Using hpc version 0.69 found on system at:
[sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hpc-ghc-9.10.3
[sydtest-mutation-example-gen] Using hsc2hs version 0.68.10 found on system at:
[sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hsc2hs-ghc-9.10.3
[sydtest-mutation-example-gen] Using hscolour version 1.25 found on system at:
[sydtest-mutation-example-gen] /nix/store/f755skyzf4jvfx3crwq9mmh3x4lsaz8i-hscolour-1.25/bin/HsColour
[sydtest-mutation-example-gen] No jhc found
[sydtest-mutation-example-gen] Using ld found on system at:
[sydtest-mutation-example-gen] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/ld
[sydtest-mutation-example-gen] No pkg-config found
[sydtest-mutation-example-gen] Using runghc version 9.10.3 found on system at:
[sydtest-mutation-example-gen] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/runghc-9.10.3
[sydtest-mutation-example-gen] Using strip version 2.44 found on system at:
[sydtest-mutation-example-gen] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/strip
[sydtest-mutation-example-gen] Using tar found on system at:
[sydtest-mutation-example-gen] /nix/store/xl6pd2spjajwcpq09fnmnjv5psqmlmma-gnutar-1.35/bin/tar
[sydtest-mutation-example-gen] No uhc found
[sydtest-mutation-example-gen] Phase: buildPhase
[sydtest-mutation-example-gen] Preprocessing library for sydtest-mutation-example-gen-0.0.0.0...
[sydtest-mutation-example-gen] Building library for sydtest-mutation-example-gen-0.0.0.0...
[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 )
[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 )
[sydtest-mutation-example-gen] [1 of 2] Compiling Example.Gen      ( src/Example/Gen.hs, dist/build/Example/Gen.p_o )
[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 )
[sydtest-mutation-example-gen] Preprocessing test suite 'sydtest-mutation-example-gen-test' for sydtest-mutation-example-gen-0.0.0.0...
[sydtest-mutation-example-gen] Building test suite 'sydtest-mutation-example-gen-test' for sydtest-mutation-example-gen-0.0.0.0...
[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 )
[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 )
[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 )
[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 )
[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 )
[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 )
[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 )
[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 )
[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 )
[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 )
[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 )
[sydtest-mutation-example-gen] [12 of 12] Linking dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test
[sydtest-mutation-example-gen] Phase: checkPhase
[sydtest-mutation-example-gen] mutation-nix: collecting coverage for suite sydtest-mutation-example-gen
[sydtest-mutation-example-gen] coverage (27/32): Example\.LogicLibSpec.eitherPositive.is True when both are positive (11 mutations)
[sydtest-mutation-example-gen] coverage (5/32): Example\.BoolLibSpec.wrapFalse.is Just False (2 mutations)
[sydtest-mutation-example-gen] coverage (26/32): Example\.LogicLibSpec.eitherPositive.is True when only the second is positive (18 mutations)
[sydtest-mutation-example-gen] coverage (9/32): Example\.FunctionExceptionLibSpec.addOneArithDisabled.increments by one (2 mutations)
[sydtest-mutation-example-gen] coverage (4/32): Example\.BoolLibSpec.wrapTrue.is Just True (2 mutations)
[sydtest-mutation-example-gen] coverage (29/32): Example\.LogicLibSpec.bothPositive.is True when both are positive (18 mutations)
[sydtest-mutation-example-gen] coverage (18/32): Example\.ListLibSpec.tripleConcat.concatenates all three arguments (2 mutations)
[sydtest-mutation-example-gen] coverage (11/32): Example\.FunctionExceptionLibSpec.addOneFunctionDisabled.increments by one (0 mutations)
[sydtest-mutation-example-gen] coverage (17/32): Example\.ListLibSpec.tripleConcat.distinguishes the first element (2 mutations)
[sydtest-mutation-example-gen] coverage (23/32): Example\.DoLibSpec.greet.greets loudly (5 mutations)
[sydtest-mutation-example-gen] coverage (14/32): Example\.ListLibSpec.pairConcat.preserves the order (2 mutations)
[sydtest-mutation-example-gen] coverage (21/32): Example\.OtherwiseLibSpec.classify.classifies zero (9 mutations)
[sydtest-mutation-example-gen] coverage (22/32): Example\.DoLibSpec.greet.greets quietly (5 mutations)
[sydtest-mutation-example-gen] coverage (1/32): Example\.CaseLibSpec.describeList.describes singleton lists (3 mutations)
[sydtest-mutation-example-gen] coverage (6/32): Example\.BoolLibSpec.negateWrapped.negates Just True to Just False (0 mutations)
[sydtest-mutation-example-gen] coverage (15/32): Example\.ListLibSpec.pairConcat.concatenates both arguments (2 mutations)
[sydtest-mutation-example-gen] coverage (28/32): Example\.LogicLibSpec.bothPositive.is False when only the second is positive (11 mutations)
[sydtest-mutation-example-gen] coverage (10/32): Example\.FunctionExceptionLibSpec.addOneArithAndIntLitDisabled.increments by one (0 mutations)
[sydtest-mutation-example-gen] coverage (7/32): Example\.BoolLibSpec.negateWrapped.leaves Nothing as Nothing (0 mutations)
[sydtest-mutation-example-gen] coverage (16/32): Example\.ListLibSpec.tripleConcat.distinguishes the last element (2 mutations)
[sydtest-mutation-example-gen] coverage (3/32): Example\.CaseLibSpec.describeList.describes empty lists (3 mutations)
[sydtest-mutation-example-gen] coverage (20/32): Example\.OtherwiseLibSpec.classify.classifies negative numbers (6 mutations)
[sydtest-mutation-example-gen] coverage (13/32): Example\.LibSpec.addOne.returns 2 for input 1 (4 mutations)
[sydtest-mutation-example-gen] coverage (24/32): Example\.LogicLibSpec.eitherPositive.is True when only the first is positive (11 mutations)
[sydtest-mutation-example-gen] coverage (8/32): Example\.BoolLibSpec.negateWrapped.negates Just False to Just True (0 mutations)
[sydtest-mutation-example-gen] coverage (12/32): Example\.LibSpec.addOne.returns 6 for input 5 (4 mutations)
[sydtest-mutation-example-gen] coverage (19/32): Example\.OtherwiseLibSpec.classify.classifies positive numbers (9 mutations)
[sydtest-mutation-example-gen] coverage (2/32): Example\.CaseLibSpec.describeList.describes longer lists (3 mutations)
[sydtest-mutation-example-gen] coverage (25/32): Example\.LogicLibSpec.eitherPositive.is False when neither is positive (18 mutations)
[sydtest-mutation-example-gen] coverage (30/32): Example\.LogicLibSpec.bothPositive.is False when neither is positive (11 mutations)
[sydtest-mutation-example-gen] coverage (31/32): Example\.LogicLibSpec.bothPositive.is False when only the first is positive (18 mutations)
[sydtest-mutation-example-gen] coverage (32/32): Example\.ExceptionLibSpec.addOneModuleDisabled.increments by one (0 mutations)
[sydtest-mutation-example-gen] mutation-nix: running mutations
[sydtest-mutation-example-gen] Testing mutation BoolLit at src/Example/BoolLib.hs:18:18-23
[sydtest-mutation-example-gen] @@ -15,7 +15,7 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: BoolLit/ConstBool on the inner False, MaybeOp on Just False.
[sydtest-mutation-example-gen]  wrapFalse :: Maybe Bool
[sydtest-mutation-example-gen] -wrapFalse = Just False
[sydtest-mutation-example-gen] +wrapFalse = Just True
[sydtest-mutation-example-gen]  
[sydtest-mutation-example-gen]  -- | Negates a wrapped boolean.
[sydtest-mutation-example-gen]  negateWrapped :: Maybe Bool -> Maybe Bool
[sydtest-mutation-example-gen] Testing mutation RemoveCase at src/Example/CaseLib.hs:7:19-16
[sydtest-mutation-example-gen] @@ -4,7 +4,6 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: RemoveCase removes one of the three alternatives.
[sydtest-mutation-example-gen]  describeList :: [a] -> String
[sydtest-mutation-example-gen]  describeList xs = case xs of
[sydtest-mutation-example-gen]    [] -> "empty"
[sydtest-mutation-example-gen] -  [_] -> "singleton"
[sydtest-mutation-example-gen]    _ -> "longer"
[sydtest-mutation-example-gen] Testing mutation RemoveCase at src/Example/CaseLib.hs:7:19-16
[sydtest-mutation-example-gen] @@ -4,7 +4,6 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: RemoveCase removes one of the three alternatives.
[sydtest-mutation-example-gen]  describeList :: [a] -> String
[sydtest-mutation-example-gen]  describeList xs = case xs of
[sydtest-mutation-example-gen]    [] -> "empty"
[sydtest-mutation-example-gen]    [_] -> "singleton"
[sydtest-mutation-example-gen] -  _ -> "longer"
[sydtest-mutation-example-gen] Testing mutation RemoveCase at src/Example/CaseLib.hs:7:19-16
[sydtest-mutation-example-gen] @@ -4,7 +4,6 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: RemoveCase removes one of the three alternatives.
[sydtest-mutation-example-gen]  describeList :: [a] -> String
[sydtest-mutation-example-gen]  describeList xs = case xs of
[sydtest-mutation-example-gen] -  [] -> "empty"
[sydtest-mutation-example-gen]    [_] -> "singleton"
[sydtest-mutation-example-gen]    _ -> "longer"
[sydtest-mutation-example-gen] Testing mutation BoolLit at src/Example/BoolLib.hs:12:17-21
[sydtest-mutation-example-gen] @@ -9,7 +9,7 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: BoolLit/ConstBool on the inner True, MaybeOp on Just True.
[sydtest-mutation-example-gen]  wrapTrue :: Maybe Bool
[sydtest-mutation-example-gen] -wrapTrue = Just True
[sydtest-mutation-example-gen] +wrapTrue = Just False
[sydtest-mutation-example-gen]  
[sydtest-mutation-example-gen]  -- | Wraps False in Just.
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:22-27
[sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
[sydtest-mutation-example-gen]  eitherPositive :: Int -> Int -> Bool
[sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
[sydtest-mutation-example-gen] +eitherPositive a b = a >= 0 || b > 0
[sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:22-27
[sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
[sydtest-mutation-example-gen]  eitherPositive :: Int -> Int -> Bool
[sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
[sydtest-mutation-example-gen] +eitherPositive a b = a < 0 || b > 0
[sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:22-27
[sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
[sydtest-mutation-example-gen]  eitherPositive :: Int -> Int -> Bool
[sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
[sydtest-mutation-example-gen] +eitherPositive a b = a <= 0 || b > 0
[sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/LogicLib.hs:17:26-27
[sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
[sydtest-mutation-example-gen]  eitherPositive :: Int -> Int -> Bool
[sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
[sydtest-mutation-example-gen] +eitherPositive a b = a > 1 || b > 0
[sydtest-mutation-example-gen] Testing mutation MaybeOp at src/Example/BoolLib.hs:12:12-21
[sydtest-mutation-example-gen] @@ -9,7 +9,7 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: BoolLit/ConstBool on the inner True, MaybeOp on Just True.
[sydtest-mutation-example-gen]  wrapTrue :: Maybe Bool
[sydtest-mutation-example-gen] -wrapTrue = Just True
[sydtest-mutation-example-gen] +wrapTrue = Nothing
[sydtest-mutation-example-gen]  
[sydtest-mutation-example-gen]  -- | Wraps False in Just.
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-27
[sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
[sydtest-mutation-example-gen]  eitherPositive :: Int -> Int -> Bool
[sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
[sydtest-mutation-example-gen] +eitherPositive a b = True || b > 0
[sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:17:22-27
[sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
[sydtest-mutation-example-gen]  eitherPositive :: Int -> Int -> Bool
[sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
[sydtest-mutation-example-gen] +eitherPositive a b = not (a > 0) || b > 0
[sydtest-mutation-example-gen] Testing mutation MaybeOp at src/Example/BoolLib.hs:18:13-23
[sydtest-mutation-example-gen] @@ -15,7 +15,7 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: BoolLit/ConstBool on the inner False, MaybeOp on Just False.
[sydtest-mutation-example-gen]  wrapFalse :: Maybe Bool
[sydtest-mutation-example-gen] -wrapFalse = Just False
[sydtest-mutation-example-gen] +wrapFalse = Nothing
[sydtest-mutation-example-gen]  
[sydtest-mutation-example-gen]  -- | Negates a wrapped boolean.
[sydtest-mutation-example-gen]  negateWrapped :: Maybe Bool -> Maybe Bool
[sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/LogicLib.hs:17:35-36
[sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
[sydtest-mutation-example-gen]  eitherPositive :: Int -> Int -> Bool
[sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
[sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || b > 1
[sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:31-36
[sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
[sydtest-mutation-example-gen]  eitherPositive :: Int -> Int -> Bool
[sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
[sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || b < 0
[sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-27
[sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
[sydtest-mutation-example-gen]  eitherPositive :: Int -> Int -> Bool
[sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
[sydtest-mutation-example-gen] +eitherPositive a b = False || b > 0
[sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:31-36
[sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
[sydtest-mutation-example-gen]  eitherPositive :: Int -> Int -> Bool
[sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
[sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || b <= 0
[sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:17:31-36
[sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
[sydtest-mutation-example-gen]  eitherPositive :: Int -> Int -> Bool
[sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
[sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || b >= 0
[sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:31-36
[sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
[sydtest-mutation-example-gen]  eitherPositive :: Int -> Int -> Bool
[sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
[sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || True
[sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:20-25
[sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
[sydtest-mutation-example-gen]  bothPositive :: Int -> Int -> Bool
[sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
[sydtest-mutation-example-gen] +bothPositive a b = a >= 0 && b > 0
[sydtest-mutation-example-gen]  
[sydtest-mutation-example-gen]  -- | True iff at least one argument is strictly positive.
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:31-36
[sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
[sydtest-mutation-example-gen]  eitherPositive :: Int -> Int -> Bool
[sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
[sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || False
[sydtest-mutation-example-gen] Testing mutation LogicOp at src/Example/LogicLib.hs:17:22-36
[sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
[sydtest-mutation-example-gen]  eitherPositive :: Int -> Int -> Bool
[sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
[sydtest-mutation-example-gen] +eitherPositive a b = a > 0 && b > 0
[sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:20-25
[sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
[sydtest-mutation-example-gen]  bothPositive :: Int -> Int -> Bool
[sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
[sydtest-mutation-example-gen] +bothPositive a b = a <= 0 && b > 0
[sydtest-mutation-example-gen]  
[sydtest-mutation-example-gen]  -- | True iff at least one argument is strictly positive.
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:17:31-36
[sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
[sydtest-mutation-example-gen]  eitherPositive :: Int -> Int -> Bool
[sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
[sydtest-mutation-example-gen] +eitherPositive a b = a > 0 || not (b > 0)
[sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/LogicLib.hs:11:24-25
[sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
[sydtest-mutation-example-gen]  bothPositive :: Int -> Int -> Bool
[sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
[sydtest-mutation-example-gen] +bothPositive a b = a > 1 && b > 0
[sydtest-mutation-example-gen]  
[sydtest-mutation-example-gen]  -- | True iff at least one argument is strictly positive.
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:17:22-36
[sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
[sydtest-mutation-example-gen]  eitherPositive :: Int -> Int -> Bool
[sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
[sydtest-mutation-example-gen] +eitherPositive a b = not (a > 0 || b > 0)
[sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-36
[sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
[sydtest-mutation-example-gen]  eitherPositive :: Int -> Int -> Bool
[sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
[sydtest-mutation-example-gen] +eitherPositive a b = False
[sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-36
[sydtest-mutation-example-gen] @@ -14,4 +14,4 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative.
[sydtest-mutation-example-gen]  eitherPositive :: Int -> Int -> Bool
[sydtest-mutation-example-gen] -eitherPositive a b = a > 0 || b > 0
[sydtest-mutation-example-gen] +eitherPositive a b = True
[sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:20-25
[sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
[sydtest-mutation-example-gen]  bothPositive :: Int -> Int -> Bool
[sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
[sydtest-mutation-example-gen] +bothPositive a b = a < 0 && b > 0
[sydtest-mutation-example-gen]  
[sydtest-mutation-example-gen]  -- | True iff at least one argument is strictly positive.
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-25
[sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
[sydtest-mutation-example-gen]  bothPositive :: Int -> Int -> Bool
[sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
[sydtest-mutation-example-gen] +bothPositive a b = True && b > 0
[sydtest-mutation-example-gen]  
[sydtest-mutation-example-gen]  -- | True iff at least one argument is strictly positive.
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-25
[sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
[sydtest-mutation-example-gen]  bothPositive :: Int -> Int -> Bool
[sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
[sydtest-mutation-example-gen] +bothPositive a b = False && b > 0
[sydtest-mutation-example-gen]  
[sydtest-mutation-example-gen]  -- | True iff at least one argument is strictly positive.
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/LogicLib.hs:11:33-34
[sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
[sydtest-mutation-example-gen]  bothPositive :: Int -> Int -> Bool
[sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
[sydtest-mutation-example-gen] +bothPositive a b = a > 0 && b > 1
[sydtest-mutation-example-gen]  
[sydtest-mutation-example-gen]  -- | True iff at least one argument is strictly positive.
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:11:20-25
[sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
[sydtest-mutation-example-gen]  bothPositive :: Int -> Int -> Bool
[sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
[sydtest-mutation-example-gen] +bothPositive a b = not (a > 0) && b > 0
[sydtest-mutation-example-gen]  
[sydtest-mutation-example-gen]  -- | True iff at least one argument is strictly positive.
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:29-34
[sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
[sydtest-mutation-example-gen]  bothPositive :: Int -> Int -> Bool
[sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
[sydtest-mutation-example-gen] +bothPositive a b = a > 0 && b <= 0
[sydtest-mutation-example-gen]  
[sydtest-mutation-example-gen]  -- | True iff at least one argument is strictly positive.
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:29-34
[sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
[sydtest-mutation-example-gen]  bothPositive :: Int -> Int -> Bool
[sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
[sydtest-mutation-example-gen] +bothPositive a b = a > 0 && b < 0
[sydtest-mutation-example-gen]  
[sydtest-mutation-example-gen]  -- | True iff at least one argument is strictly positive.
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/LogicLib.hs:11:29-34
[sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
[sydtest-mutation-example-gen]  bothPositive :: Int -> Int -> Bool
[sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
[sydtest-mutation-example-gen] +bothPositive a b = a > 0 && b >= 0
[sydtest-mutation-example-gen]  
[sydtest-mutation-example-gen]  -- | True iff at least one argument is strictly positive.
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:29-34
[sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
[sydtest-mutation-example-gen]  bothPositive :: Int -> Int -> Bool
[sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
[sydtest-mutation-example-gen] +bothPositive a b = a > 0 && False
[sydtest-mutation-example-gen]  
[sydtest-mutation-example-gen]  -- | True iff at least one argument is strictly positive.
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:29-34
[sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
[sydtest-mutation-example-gen]  bothPositive :: Int -> Int -> Bool
[sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
[sydtest-mutation-example-gen] +bothPositive a b = a > 0 && True
[sydtest-mutation-example-gen]  
[sydtest-mutation-example-gen]  -- | True iff at least one argument is strictly positive.
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:11:29-34
[sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
[sydtest-mutation-example-gen]  bothPositive :: Int -> Int -> Bool
[sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
[sydtest-mutation-example-gen] +bothPositive a b = a > 0 && not (b > 0)
[sydtest-mutation-example-gen]  
[sydtest-mutation-example-gen]  -- | True iff at least one argument is strictly positive.
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-34
[sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
[sydtest-mutation-example-gen]  bothPositive :: Int -> Int -> Bool
[sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
[sydtest-mutation-example-gen] +bothPositive a b = True
[sydtest-mutation-example-gen]  
[sydtest-mutation-example-gen]  -- | True iff at least one argument is strictly positive.
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-34
[sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
[sydtest-mutation-example-gen]  bothPositive :: Int -> Int -> Bool
[sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
[sydtest-mutation-example-gen] +bothPositive a b = False
[sydtest-mutation-example-gen]  
[sydtest-mutation-example-gen]  -- | True iff at least one argument is strictly positive.
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen] Testing mutation LogicOp at src/Example/LogicLib.hs:11:20-34
[sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
[sydtest-mutation-example-gen]  bothPositive :: Int -> Int -> Bool
[sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
[sydtest-mutation-example-gen] +bothPositive a b = a > 0 || b > 0
[sydtest-mutation-example-gen]  
[sydtest-mutation-example-gen]  -- | True iff at least one argument is strictly positive.
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen] Testing mutation Negate at src/Example/LogicLib.hs:11:20-34
[sydtest-mutation-example-gen] @@ -8,7 +8,7 @@
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen]  -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative.
[sydtest-mutation-example-gen]  bothPositive :: Int -> Int -> Bool
[sydtest-mutation-example-gen] -bothPositive a b = a > 0 && b > 0
[sydtest-mutation-example-gen] +bothPositive a b = not (a > 0 && b > 0)
[sydtest-mutation-example-gen]  
[sydtest-mutation-example-gen]  -- | True iff at least one argument is strictly positive.
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/OtherwiseLib.hs:12:9-10
[sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
[sydtest-mutation-example-gen]  -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
[sydtest-mutation-example-gen]  classify :: Int -> String
[sydtest-mutation-example-gen]  classify n
[sydtest-mutation-example-gen] -  | n < 0 = "negative"
[sydtest-mutation-example-gen] +  | n < 1 = "negative"
[sydtest-mutation-example-gen]    | n == 0 = "zero"
[sydtest-mutation-example-gen]    | otherwise = "positive"
[sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10
[sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
[sydtest-mutation-example-gen]  -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
[sydtest-mutation-example-gen]  classify :: Int -> String
[sydtest-mutation-example-gen]  classify n
[sydtest-mutation-example-gen] -  | n < 0 = "negative"
[sydtest-mutation-example-gen] +  | n <= 0 = "negative"
[sydtest-mutation-example-gen]    | n == 0 = "zero"
[sydtest-mutation-example-gen]    | otherwise = "positive"
[sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10
[sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
[sydtest-mutation-example-gen]  -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
[sydtest-mutation-example-gen]  classify :: Int -> String
[sydtest-mutation-example-gen]  classify n
[sydtest-mutation-example-gen] -  | n < 0 = "negative"
[sydtest-mutation-example-gen] +  | n > 0 = "negative"
[sydtest-mutation-example-gen]    | n == 0 = "zero"
[sydtest-mutation-example-gen]    | otherwise = "positive"
[sydtest-mutation-example-gen] Testing mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10
[sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
[sydtest-mutation-example-gen]  -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
[sydtest-mutation-example-gen]  classify :: Int -> String
[sydtest-mutation-example-gen]  classify n
[sydtest-mutation-example-gen] -  | n < 0 = "negative"
[sydtest-mutation-example-gen] +  | n >= 0 = "negative"
[sydtest-mutation-example-gen]    | n == 0 = "zero"
[sydtest-mutation-example-gen]    | otherwise = "positive"
[sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/OtherwiseLib.hs:12:5-10
[sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
[sydtest-mutation-example-gen]  -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
[sydtest-mutation-example-gen]  classify :: Int -> String
[sydtest-mutation-example-gen]  classify n
[sydtest-mutation-example-gen] -  | n < 0 = "negative"
[sydtest-mutation-example-gen] +  | True = "negative"
[sydtest-mutation-example-gen]    | n == 0 = "zero"
[sydtest-mutation-example-gen]    | otherwise = "positive"
[sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/OtherwiseLib.hs:13:10-11
[sydtest-mutation-example-gen] @@ -10,5 +10,5 @@
[sydtest-mutation-example-gen]  classify :: Int -> String
[sydtest-mutation-example-gen]  classify n
[sydtest-mutation-example-gen]    | n < 0 = "negative"
[sydtest-mutation-example-gen] -  | n == 0 = "zero"
[sydtest-mutation-example-gen] +  | n == 1 = "zero"
[sydtest-mutation-example-gen]    | otherwise = "positive"
[sydtest-mutation-example-gen] Testing mutation Negate at src/Example/OtherwiseLib.hs:12:5-10
[sydtest-mutation-example-gen] @@ -9,6 +9,6 @@
[sydtest-mutation-example-gen]  -- (otherwise = True, so @otherwise -> True@ is a semantic no-op).
[sydtest-mutation-example-gen]  classify :: Int -> String
[sydtest-mutation-example-gen]  classify n
[sydtest-mutation-example-gen] -  | n < 0 = "negative"
[sydtest-mutation-example-gen] +  | not (n < 0) = "negative"
[sydtest-mutation-example-gen]    | n == 0 = "zero"
[sydtest-mutation-example-gen]    | otherwise = "positive"
[sydtest-mutation-example-gen] Testing mutation Negate at src/Example/OtherwiseLib.hs:13:5-11
[sydtest-mutation-example-gen] @@ -10,5 +10,5 @@
[sydtest-mutation-example-gen]  classify :: Int -> String
[sydtest-mutation-example-gen]  classify n
[sydtest-mutation-example-gen]    | n < 0 = "negative"
[sydtest-mutation-example-gen] -  | n == 0 = "zero"
[sydtest-mutation-example-gen] +  | not (n == 0) = "zero"
[sydtest-mutation-example-gen]    | otherwise = "positive"
[sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/OtherwiseLib.hs:13:5-11
[sydtest-mutation-example-gen] @@ -10,5 +10,5 @@
[sydtest-mutation-example-gen]  classify :: Int -> String
[sydtest-mutation-example-gen]  classify n
[sydtest-mutation-example-gen]    | n < 0 = "negative"
[sydtest-mutation-example-gen] -  | n == 0 = "zero"
[sydtest-mutation-example-gen] +  | True = "zero"
[sydtest-mutation-example-gen]    | otherwise = "positive"
[sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/FunctionExceptionLib.hs:15:29-30
[sydtest-mutation-example-gen] @@ -12,7 +12,7 @@
[sydtest-mutation-example-gen]  -- IntLit mutations (replacing the literal @1@) still apply.
[sydtest-mutation-example-gen]  {-# ANN addOneArithDisabled ("DisableMutation: Arith" :: String) #-}
[sydtest-mutation-example-gen]  addOneArithDisabled :: Int -> Int
[sydtest-mutation-example-gen] -addOneArithDisabled n = n + 1
[sydtest-mutation-example-gen] +addOneArithDisabled n = n + -1
[sydtest-mutation-example-gen]  
[sydtest-mutation-example-gen]  -- | Both Arith and IntLit mutations disabled on this function.
[sydtest-mutation-example-gen]  {-# ANN addOneArithAndIntLitDisabled ("DisableMutations: Arith, IntLit" :: String) #-}
[sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/FunctionExceptionLib.hs:15:29-30
[sydtest-mutation-example-gen] @@ -12,7 +12,7 @@
[sydtest-mutation-example-gen]  -- IntLit mutations (replacing the literal @1@) still apply.
[sydtest-mutation-example-gen]  {-# ANN addOneArithDisabled ("DisableMutation: Arith" :: String) #-}
[sydtest-mutation-example-gen]  addOneArithDisabled :: Int -> Int
[sydtest-mutation-example-gen] -addOneArithDisabled n = n + 1
[sydtest-mutation-example-gen] +addOneArithDisabled n = n + 0
[sydtest-mutation-example-gen]  
[sydtest-mutation-example-gen]  -- | Both Arith and IntLit mutations disabled on this function.
[sydtest-mutation-example-gen]  {-# ANN addOneArithAndIntLitDisabled ("DisableMutations: Arith, IntLit" :: String) #-}
[sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/DoLib.hs:14:10-14
[sydtest-mutation-example-gen] @@ -11,5 +11,5 @@
[sydtest-mutation-example-gen]      go :: Writer String ()
[sydtest-mutation-example-gen]      go = do
[sydtest-mutation-example-gen]        tell "Hello"
[sydtest-mutation-example-gen] -      if loud then tell "!" else pure ()
[sydtest-mutation-example-gen] +      if False then tell "!" else pure ()
[sydtest-mutation-example-gen]        tell "\n"
[sydtest-mutation-example-gen] Testing mutation ConstBool at src/Example/DoLib.hs:14:10-14
[sydtest-mutation-example-gen] @@ -11,5 +11,5 @@
[sydtest-mutation-example-gen]      go :: Writer String ()
[sydtest-mutation-example-gen]      go = do
[sydtest-mutation-example-gen]        tell "Hello"
[sydtest-mutation-example-gen] -      if loud then tell "!" else pure ()
[sydtest-mutation-example-gen] +      if True then tell "!" else pure ()
[sydtest-mutation-example-gen]        tell "\n"
[sydtest-mutation-example-gen] Testing mutation Negate at src/Example/DoLib.hs:14:10-14
[sydtest-mutation-example-gen] @@ -11,5 +11,5 @@
[sydtest-mutation-example-gen]      go :: Writer String ()
[sydtest-mutation-example-gen]      go = do
[sydtest-mutation-example-gen]        tell "Hello"
[sydtest-mutation-example-gen] -      if loud then tell "!" else pure ()
[sydtest-mutation-example-gen] +      if not (loud) then tell "!" else pure ()
[sydtest-mutation-example-gen]        tell "\n"
[sydtest-mutation-example-gen] Testing mutation RemoveAction at src/Example/DoLib.hs:12:10-16
[sydtest-mutation-example-gen] @@ -9,7 +9,6 @@
[sydtest-mutation-example-gen]  greet loud = execWriter go
[sydtest-mutation-example-gen]    where
[sydtest-mutation-example-gen]      go :: Writer String ()
[sydtest-mutation-example-gen]      go = do
[sydtest-mutation-example-gen] -      tell "Hello"
[sydtest-mutation-example-gen]        if loud then tell "!" else pure ()
[sydtest-mutation-example-gen]        tell "\n"
[sydtest-mutation-example-gen] Testing mutation ListLit at src/Example/ListLib.hs:19:29-38
[sydtest-mutation-example-gen] @@ -16,4 +16,3 @@
[sydtest-mutation-example-gen]  -- Mutation sites: ListLit produces an empty-list mutant, a drop-first mutant,
[sydtest-mutation-example-gen]  -- and a drop-last mutant on the literal @[a, b, c]@.
[sydtest-mutation-example-gen]  tripleConcat :: String -> String -> String -> String
[sydtest-mutation-example-gen] -tripleConcat a b c = concat [a, b, c]
[sydtest-mutation-example-gen] Testing mutation RemoveAction at src/Example/DoLib.hs:14:7-41
[sydtest-mutation-example-gen] @@ -11,5 +11,4 @@
[sydtest-mutation-example-gen]      go :: Writer String ()
[sydtest-mutation-example-gen]      go = do
[sydtest-mutation-example-gen]        tell "Hello"
[sydtest-mutation-example-gen] -      if loud then tell "!" else pure ()
[sydtest-mutation-example-gen]        tell "\n"
[sydtest-mutation-example-gen] Testing mutation ListLit at src/Example/ListLib.hs:19:29-38
[sydtest-mutation-example-gen] @@ -16,4 +16,3 @@
[sydtest-mutation-example-gen]  -- Mutation sites: ListLit produces an empty-list mutant, a drop-first mutant,
[sydtest-mutation-example-gen]  -- and a drop-last mutant on the literal @[a, b, c]@.
[sydtest-mutation-example-gen]  tripleConcat :: String -> String -> String -> String
[sydtest-mutation-example-gen] -tripleConcat a b c = concat [a, b, c]
[sydtest-mutation-example-gen] Testing mutation ListLit at src/Example/ListLib.hs:19:29-38
[sydtest-mutation-example-gen] @@ -16,4 +16,3 @@
[sydtest-mutation-example-gen]  -- Mutation sites: ListLit produces an empty-list mutant, a drop-first mutant,
[sydtest-mutation-example-gen]  -- and a drop-last mutant on the literal @[a, b, c]@.
[sydtest-mutation-example-gen]  tripleConcat :: String -> String -> String -> String
[sydtest-mutation-example-gen] -tripleConcat a b c = concat [a, b, c]
[sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/Lib.hs:8:16-17
[sydtest-mutation-example-gen] @@ -5,4 +5,4 @@
[sydtest-mutation-example-gen]  -- The literal '1' here is a mutation site: the plugin will also compile a
[sydtest-mutation-example-gen]  -- version where this returns @n + 0@ instead of @n + 1@.
[sydtest-mutation-example-gen]  addOne :: Int -> Int
[sydtest-mutation-example-gen] -addOne n = n + 1
[sydtest-mutation-example-gen] +addOne n = n + 0
[sydtest-mutation-example-gen] Testing mutation ListLit at src/Example/ListLib.hs:12:25-31
[sydtest-mutation-example-gen] @@ -9,7 +9,6 @@
[sydtest-mutation-example-gen]  -- Mutation sites: ListLit produces an empty-list mutant and a drop-first
[sydtest-mutation-example-gen]  -- mutant on the literal @[a, b]@.
[sydtest-mutation-example-gen]  pairConcat :: String -> String -> String
[sydtest-mutation-example-gen] -pairConcat a b = concat [a, b]
[sydtest-mutation-example-gen]  
[sydtest-mutation-example-gen]  -- | Concatenate a three-element list of strings.
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen] Testing mutation IntLit at src/Example/Lib.hs:8:16-17
[sydtest-mutation-example-gen] @@ -5,4 +5,4 @@
[sydtest-mutation-example-gen]  -- The literal '1' here is a mutation site: the plugin will also compile a
[sydtest-mutation-example-gen]  -- version where this returns @n + 0@ instead of @n + 1@.
[sydtest-mutation-example-gen]  addOne :: Int -> Int
[sydtest-mutation-example-gen] -addOne n = n + 1
[sydtest-mutation-example-gen] +addOne n = n + -1
[sydtest-mutation-example-gen] Testing mutation Arith at src/Example/Lib.hs:8:12-17
[sydtest-mutation-example-gen] @@ -5,4 +5,4 @@
[sydtest-mutation-example-gen]  -- The literal '1' here is a mutation site: the plugin will also compile a
[sydtest-mutation-example-gen]  -- version where this returns @n + 0@ instead of @n + 1@.
[sydtest-mutation-example-gen]  addOne :: Int -> Int
[sydtest-mutation-example-gen] -addOne n = n + 1
[sydtest-mutation-example-gen] +addOne n = n - 1
[sydtest-mutation-example-gen] Testing mutation ListLit at src/Example/ListLib.hs:12:25-31
[sydtest-mutation-example-gen] @@ -9,7 +9,6 @@
[sydtest-mutation-example-gen]  -- Mutation sites: ListLit produces an empty-list mutant and a drop-first
[sydtest-mutation-example-gen]  -- mutant on the literal @[a, b]@.
[sydtest-mutation-example-gen]  pairConcat :: String -> String -> String
[sydtest-mutation-example-gen] -pairConcat a b = concat [a, b]
[sydtest-mutation-example-gen]  
[sydtest-mutation-example-gen]  -- | Concatenate a three-element list of strings.
[sydtest-mutation-example-gen]  --
[sydtest-mutation-example-gen] Testing mutation Arith at src/Example/Lib.hs:8:12-17
[sydtest-mutation-example-gen] @@ -5,4 +5,4 @@
[sydtest-mutation-example-gen]  -- The literal '1' here is a mutation site: the plugin will also compile a
[sydtest-mutation-example-gen]  -- version where this returns @n + 0@ instead of @n + 1@.
[sydtest-mutation-example-gen]  addOne :: Int -> Int
[sydtest-mutation-example-gen] -addOne n = n + 1
[sydtest-mutation-example-gen] +addOne n = n * 1
[sydtest-mutation-example-gen] Killed: 68
[sydtest-mutation-example-gen]   (of which timed out: 0)
[sydtest-mutation-example-gen] Survived: 0
[sydtest-mutation-example-gen] Uncovered: 0
[sydtest-mutation-example-gen] Phase: haddockPhase
[sydtest-mutation-example-gen] Preprocessing library for sydtest-mutation-example-gen-0.0.0.0...
[sydtest-mutation-example-gen] Running Haddock on library for sydtest-mutation-example-gen-0.0.0.0...
[sydtest-mutation-example-gen] [1 of 2] Compiling Example.Gen      ( src/Example/Gen.hs, nothing )
[sydtest-mutation-example-gen] [2 of 2] Compiling Paths_sydtest_mutation_example_gen ( dist/build/autogen/Paths_sydtest_mutation_example_gen.hs, nothing )
[sydtest-mutation-example-gen] Haddock coverage:
[sydtest-mutation-example-gen]   50% (  1 /  2) in 'Example.Gen'
[sydtest-mutation-example-gen]   Missing documentation for:
[sydtest-mutation-example-gen]     Module header
[sydtest-mutation-example-gen] Documentation created: dist/doc/html/sydtest-mutation-example-gen/,
[sydtest-mutation-example-gen] dist/doc/html/sydtest-mutation-example-gen/sydtest-mutation-example-gen.txt
[sydtest-mutation-example-gen] Preprocessing test suite 'sydtest-mutation-example-gen-test' for sydtest-mutation-example-gen-0.0.0.0...
[sydtest-mutation-example-gen] Phase: installPhase
[sydtest-mutation-example-gen] Installing library in /nix/store/l2bm8nwn07i5025ljcxn3l2bj0qsc3br-sydtest-mutation-example-gen-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6/sydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8
[sydtest-mutation-example-gen] Phase: fixupPhase
[sydtest-mutation-example-gen] shrinking RPATHs of ELF executables and libraries in /nix/store/l2bm8nwn07i5025ljcxn3l2bj0qsc3br-sydtest-mutation-example-gen-0.0.0.0
[sydtest-mutation-example-gen] shrinking /nix/store/l2bm8nwn07i5025ljcxn3l2bj0qsc3br-sydtest-mutation-example-gen-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6/libHSsydtest-mutation-example-gen-0.0.0.0-EzuGrqDLLMh6u56kvk2Yn8-ghc9.10.3.so
[sydtest-mutation-example-gen] checking for references to /build/ in /nix/store/l2bm8nwn07i5025ljcxn3l2bj0qsc3br-sydtest-mutation-example-gen-0.0.0.0...
[sydtest-mutation-example-gen] patching script interpreter paths in /nix/store/l2bm8nwn07i5025ljcxn3l2bj0qsc3br-sydtest-mutation-example-gen-0.0.0.0
[sydtest-mutation-example-gen] stripping (with command strip and flags -S -p) in  /nix/store/l2bm8nwn07i5025ljcxn3l2bj0qsc3br-sydtest-mutation-example-gen-0.0.0.0/lib
[sydtest-mutation-example-gen] shrinking RPATHs of ELF executables and libraries in /nix/store/f8yvkr62lyv4bgkmzc5k8dwpn2wzczpl-sydtest-mutation-example-gen-0.0.0.0-doc
[sydtest-mutation-example-gen] checking for references to /build/ in /nix/store/f8yvkr62lyv4bgkmzc5k8dwpn2wzczpl-sydtest-mutation-example-gen-0.0.0.0-doc...
[sydtest-mutation-example-gen] patching script interpreter paths in /nix/store/f8yvkr62lyv4bgkmzc5k8dwpn2wzczpl-sydtest-mutation-example-gen-0.0.0.0-doc
[sydtest-mutation-example-gen] shrinking RPATHs of ELF executables and libraries in /nix/store/5rp0sn2jgw8h4z0pxw8mf29bqvk41djx-sydtest-mutation-example-gen-0.0.0.0-report
[sydtest-mutation-example-gen] checking for references to /build/ in /nix/store/5rp0sn2jgw8h4z0pxw8mf29bqvk41djx-sydtest-mutation-example-gen-0.0.0.0-report...
[sydtest-mutation-example-gen] patching script interpreter paths in /nix/store/5rp0sn2jgw8h4z0pxw8mf29bqvk41djx-sydtest-mutation-example-gen-0.0.0.0-report
[post-build-hook] Uploading to cachix cache "sydtest": /nix/store/5rp0sn2jgw8h4z0pxw8mf29bqvk41djx-sydtest-mutation-example-gen-0.0.0.0-report /nix/store/f8yvkr62lyv4bgkmzc5k8dwpn2wzczpl-sydtest-mutation-example-gen-0.0.0.0-doc /nix/store/l2bm8nwn07i5025ljcxn3l2bj0qsc3br-sydtest-mutation-example-gen-0.0.0.0
[post-build-hook] Pushing 3 paths (76 are already present) using zstd to cache sydtest ⏳
[post-build-hook] 
[post-build-hook] Pushing /nix/store/l2bm8nwn07i5025ljcxn3l2bj0qsc3br-sydtest-mutation-example-gen-0.0.0.0 (287.48 KiB)
[post-build-hook] Pushing /nix/store/f8yvkr62lyv4bgkmzc5k8dwpn2wzczpl-sydtest-mutation-example-gen-0.0.0.0-doc (142.72 KiB)
[post-build-hook] Pushing /nix/store/5rp0sn2jgw8h4z0pxw8mf29bqvk41djx-sydtest-mutation-example-gen-0.0.0.0-report (696.00 B)
[post-build-hook] 
[post-build-hook] All done.
[post-build-hook] Uploading to the NixCI staging cache: /nix/store/5rp0sn2jgw8h4z0pxw8mf29bqvk41djx-sydtest-mutation-example-gen-0.0.0.0-report /nix/store/f8yvkr62lyv4bgkmzc5k8dwpn2wzczpl-sydtest-mutation-example-gen-0.0.0.0-doc /nix/store/l2bm8nwn07i5025ljcxn3l2bj0qsc3br-sydtest-mutation-example-gen-0.0.0.0
[post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
[post-build-hook] copying 3 paths...
[post-build-hook] copying path '/nix/store/f8yvkr62lyv4bgkmzc5k8dwpn2wzczpl-sydtest-mutation-example-gen-0.0.0.0-doc' to 'https://cache.staging.nix-ci.com'...
[post-build-hook] copying path '/nix/store/5rp0sn2jgw8h4z0pxw8mf29bqvk41djx-sydtest-mutation-example-gen-0.0.0.0-report' to 'https://cache.staging.nix-ci.com'...
[post-build-hook] copying path '/nix/store/l2bm8nwn07i5025ljcxn3l2bj0qsc3br-sydtest-mutation-example-gen-0.0.0.0' to 'https://cache.staging.nix-ci.com'...
[post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
[post-build-hook] copying 1 paths...
[post-build-hook] copying path '/nix/store/z4slhn8ff1lh04d4jq3pyhpzmlczb9is-sydtest-mutation-example-gen-0.0.0.0.drv' to 'https://cache.staging.nix-ci.com'...
Progress: 3 of 5 built
Building sydtest-mutation-example
[sydtest-mutation-example] Results: 68 killed, 0 survived, 0 uncovered out of 68 total
[sydtest-mutation-example] 
[sydtest-mutation-example] Killed: 68
[sydtest-mutation-example]   (of which timed out: 0)
[sydtest-mutation-example] Survived: 0
[sydtest-mutation-example] Uncovered: 0
[sydtest-mutation-example] Full report:               /nix/store/5rp0sn2jgw8h4z0pxw8mf29bqvk41djx-sydtest-mutation-example-gen-0.0.0.0-report/report.txt
[sydtest-mutation-example] Machine-readable report:   /nix/store/5rp0sn2jgw8h4z0pxw8mf29bqvk41djx-sydtest-mutation-example-gen-0.0.0.0-report/report.json
[sydtest-mutation-example] 
[sydtest-mutation-example] PASS: All 68 mutation(s) accounted for.
[post-build-hook] Uploading to cachix cache "sydtest": /nix/store/97gfpvp53b198ayjb8yapfagyxlk2is2-sydtest-mutation-example
[post-build-hook] Pushing 1 paths (0 are already present) using zstd to cache sydtest ⏳
[post-build-hook] 
[post-build-hook] Pushing /nix/store/97gfpvp53b198ayjb8yapfagyxlk2is2-sydtest-mutation-example (696.00 B)
[post-build-hook] 
[post-build-hook] All done.
[post-build-hook] Uploading to the NixCI staging cache: /nix/store/97gfpvp53b198ayjb8yapfagyxlk2is2-sydtest-mutation-example
[post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
[post-build-hook] copying 1 paths...
[post-build-hook] copying path '/nix/store/97gfpvp53b198ayjb8yapfagyxlk2is2-sydtest-mutation-example' to 'https://cache.staging.nix-ci.com'...
[post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
[post-build-hook] copying 1 paths...
[post-build-hook] copying path '/nix/store/08xnn3a9qrfjjfh5qqr4ar28frlr5fyg-sydtest-mutation-example.drv' to 'https://cache.staging.nix-ci.com'...
Progress: 4 of 5 built