$ /nix/store/vzx1mi9c0xfadmsm9dhd83d005cb1qs9-coreutils-9.8/bin/timeout --kill-after=15s 7200s /nix/store/99b1z08awpxj8b6mzggn59gp1shljnff-nix-2.34.5/bin/nix --extra-experimental-features nix-command --extra-experimental-features flakes --log-format internal-json build --no-link git+https://github.com/NorfairKing/sydtest?ref=mutation-diff-mode&rev=abd181590d776c9d9c6809a150f5ce09969a4e4f#checks.x86_64-linux.mutation-sydtest-mutation-example --print-build-logs warning: ignoring the client-specified setting 'netrc-file', because it is a restricted setting and you are not a trusted user warning: ignoring the client-specified setting 'post-build-hook', because it is a restricted setting and you are not a trusted user warning: ignoring untrusted substituter 'https://sydtest.cachix.org', you are not a trusted user. Run `man nix.conf` for more information on the `substituters` configuration option. warning: ignoring untrusted substituter 'https://cache.staging.nix-ci.com', you are not a trusted user. Run `man nix.conf` for more information on the `substituters` configuration option. warning: ignoring untrusted substituter 'https://sydtest.cachix.org', you are not a trusted user. Run `man nix.conf` for more information on the `substituters` configuration option. warning: ignoring untrusted substituter 'https://cache.staging.nix-ci.com', you are not a trusted user. Run `man nix.conf` for more information on the `substituters` configuration option. warning: ignoring the client-specified setting 'trusted-public-keys', because it is a restricted setting and you are not a trusted user 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 warning: ignoring the client-specified setting 'netrc-file', because it is a restricted setting and you are not a trusted user warning: ignoring the client-specified setting 'post-build-hook', because it is a restricted setting and you are not a trusted user warning: ignoring untrusted substituter 'https://sydtest.cachix.org', you are not a trusted user. Run `man nix.conf` for more information on the `substituters` configuration option. warning: ignoring untrusted substituter 'https://cache.staging.nix-ci.com', you are not a trusted user. Run `man nix.conf` for more information on the `substituters` configuration option. warning: ignoring untrusted substituter 'https://sydtest.cachix.org', you are not a trusted user. Run `man nix.conf` for more information on the `substituters` configuration option. warning: ignoring untrusted substituter 'https://cache.staging.nix-ci.com', you are not a trusted user. Run `man nix.conf` for more information on the `substituters` configuration option. warning: ignoring the client-specified setting 'trusted-public-keys', because it is a restricted setting and you are not a trusted user error (ignored): SQLite database '/var/cache/private/nix-ci-worker/eval-cache-v6/f8f098fe331d5302e2b83b8acfe22859d70eb82c082106b55927605bb04e9079.sqlite' is busy  Building sydtest-mutation-driver-source [sydtest-mutation-driver-source] Phase: setupCompilerEnvironmentPhase [sydtest-mutation-driver-source] Build with /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3. [sydtest-mutation-driver-source] Phase: unpackPhase [sydtest-mutation-driver-source] unpacking source archive /nix/store/jhf9mf238i5bai019xkdgq7x56ldfd3i-sydtest-mutation-driver [sydtest-mutation-driver-source] source root is sydtest-mutation-driver [sydtest-mutation-driver-source] Phase: patchPhase [sydtest-mutation-driver-source] Phase: compileBuildDriverPhase [sydtest-mutation-driver-source] setupCompileFlags: -package-db=/build/tmp.Y7bh933q60/setup-package.conf.d -threaded [sydtest-mutation-driver-source] [1 of 2] Compiling Main ( /nix/store/4mdp8nhyfddh7bllbi7xszz7k9955n79-Setup.hs, /build/tmp.Y7bh933q60/Main.o ) [sydtest-mutation-driver-source] [2 of 2] Linking Setup [sydtest-mutation-driver-source] Phase: updateAutotoolsGnuConfigScriptsPhase [sydtest-mutation-driver-source] Phase: configurePhase [sydtest-mutation-driver-source] configureFlags: --verbose --prefix=/nix/store/58bfggpvvk0r5prnfqrv4izyd8wqb3cm-sydtest-mutation-driver-source-0.0.0.0 --libdir=$prefix/lib/$compiler/lib --libsubdir=$abi/$libname --docdir=/share/doc/sydtest-mutation-driver-0.0.0.0 --with-gcc=gcc --package-db=/build/tmp.Y7bh933q60/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 [sydtest-mutation-driver-source] Using Parsec parser [sydtest-mutation-driver-source] Configuring sydtest-mutation-driver-0.0.0.0... [sydtest-mutation-driver-source] Dependency Cabal: using Cabal-3.12.1.0 [sydtest-mutation-driver-source] Dependency async: using async-2.2.5 [sydtest-mutation-driver-source] Dependency base >=4.7 && <5: using base-4.20.2.0 [sydtest-mutation-driver-source] Dependency bytestring: using bytestring-0.12.2.0 [sydtest-mutation-driver-source] Dependency containers: using containers-0.7 [sydtest-mutation-driver-source] Dependency directory: using directory-1.3.8.5 [sydtest-mutation-driver-source] Dependency opt-env-conf >=0.10: using opt-env-conf-0.15.0.2 [sydtest-mutation-driver-source] Dependency path: using path-0.9.6 [sydtest-mutation-driver-source] Dependency path-io: using path-io-1.8.2 [sydtest-mutation-driver-source] Dependency safe-coloured-text: using safe-coloured-text-0.5.0.0 [sydtest-mutation-driver-source] Dependency stm: using stm-2.5.3.1 [sydtest-mutation-driver-source] Dependency sydtest: using sydtest-0.24.0.0 [sydtest-mutation-driver-source] Dependency sydtest-mutation-runtime: using sydtest-mutation-runtime-0.0.0.0 [sydtest-mutation-driver-source] Dependency text: using text-2.1.3 [sydtest-mutation-driver-source] Dependency typed-process: using typed-process-0.2.13.0 [sydtest-mutation-driver-source] Dependency base >=4.7 && <5: using base-4.20.2.0 [sydtest-mutation-driver-source] Dependency sydtest-mutation-driver: using sydtest-mutation-driver-0.0.0.0 [sydtest-mutation-driver-source] Source component graph: [sydtest-mutation-driver-source]  component lib [sydtest-mutation-driver-source]  component exe:sydtest-mutation-driver dependency lib [sydtest-mutation-driver-source] Configured component graph: [sydtest-mutation-driver-source]  component sydtest-mutation-driver-0.0.0.0-9lHy48gnhKUIZeTJUblsSG [sydtest-mutation-driver-source]  include Cabal-3.12.1.0-50a5 [sydtest-mutation-driver-source]  include async-2.2.5-AVpB3MY1d7nLZpywuDqSMi [sydtest-mutation-driver-source]  include base-4.20.2.0-64da [sydtest-mutation-driver-source]  include bytestring-0.12.2.0-262e [sydtest-mutation-driver-source]  include containers-0.7-504a [sydtest-mutation-driver-source]  include directory-1.3.8.5-c84a [sydtest-mutation-driver-source]  include opt-env-conf-0.15.0.2-FyMOteeu2ydJA3RGGDN2hQ [sydtest-mutation-driver-source]  include path-0.9.6-JuNdYVciddTDWUiQr3NuVx [sydtest-mutation-driver-source]  include path-io-1.8.2-J5Tb8ehzZIb1sPaxTlVmSL [sydtest-mutation-driver-source]  include safe-coloured-text-0.5.0.0-4FuoIi5owbVJgc3wW3DUAf [sydtest-mutation-driver-source]  include stm-2.5.3.1-a2f3 [sydtest-mutation-driver-source]  include sydtest-0.24.0.0-9vPdDmJweex6DRxQPlMx7h [sydtest-mutation-driver-source]  include sydtest-mutation-runtime-0.0.0.0-6K1vF9JR7cRAeyK0E9FRsW [sydtest-mutation-driver-source]  include text-2.1.3-c691 [sydtest-mutation-driver-source]  include typed-process-0.2.13.0-7OrVL3LKwQnF65e4jVhmYU [sydtest-mutation-driver-source]  component sydtest-mutation-driver-0.0.0.0-BlO206KAyFqJv2RatJZbDB-sydtest-mutation-driver [sydtest-mutation-driver-source]  include base-4.20.2.0-64da [sydtest-mutation-driver-source]  include sydtest-mutation-driver-0.0.0.0-9lHy48gnhKUIZeTJUblsSG [sydtest-mutation-driver-source] Linked component graph: [sydtest-mutation-driver-source]  unit sydtest-mutation-driver-0.0.0.0-9lHy48gnhKUIZeTJUblsSG [sydtest-mutation-driver-source]  include Cabal-3.12.1.0-50a5 [sydtest-mutation-driver-source]  include async-2.2.5-AVpB3MY1d7nLZpywuDqSMi [sydtest-mutation-driver-source]  include base-4.20.2.0-64da [sydtest-mutation-driver-source]  include bytestring-0.12.2.0-262e [sydtest-mutation-driver-source]  include containers-0.7-504a [sydtest-mutation-driver-source]  include directory-1.3.8.5-c84a [sydtest-mutation-driver-source]  include opt-env-conf-0.15.0.2-FyMOteeu2ydJA3RGGDN2hQ [sydtest-mutation-driver-source]  include path-0.9.6-JuNdYVciddTDWUiQr3NuVx [sydtest-mutation-driver-source]  include path-io-1.8.2-J5Tb8ehzZIb1sPaxTlVmSL [sydtest-mutation-driver-source]  include safe-coloured-text-0.5.0.0-4FuoIi5owbVJgc3wW3DUAf [sydtest-mutation-driver-source]  include stm-2.5.3.1-a2f3 [sydtest-mutation-driver-source]  include sydtest-0.24.0.0-9vPdDmJweex6DRxQPlMx7h [sydtest-mutation-driver-source]  include sydtest-mutation-runtime-0.0.0.0-6K1vF9JR7cRAeyK0E9FRsW [sydtest-mutation-driver-source]  include text-2.1.3-c691 [sydtest-mutation-driver-source]  include typed-process-0.2.13.0-7OrVL3LKwQnF65e4jVhmYU [sydtest-mutation-driver-source]  Test.Syd.Mutation.Driver=sydtest-mutation-driver-0.0.0.0-9lHy48gnhKUIZeTJUblsSG:Test.Syd.Mutation.Driver,Test.Syd.Mutation.Driver.AssertScore=sydtest-mutation-driver-0.0.0.0-9lHy48gnhKUIZeTJUblsSG:Test.Syd.Mutation.Driver.AssertScore,Test.Syd.Mutation.Driver.Components=sydtest-mutation-driver-0.0.0.0-9lHy48gnhKUIZeTJUblsSG:Test.Syd.Mutation.Driver.Components,Test.Syd.Mutation.Driver.Coverage=sydtest-mutation-driver-0.0.0.0-9lHy48gnhKUIZeTJUblsSG:Test.Syd.Mutation.Driver.Coverage,Test.Syd.Mutation.Driver.Diff=sydtest-mutation-driver-0.0.0.0-9lHy48gnhKUIZeTJUblsSG:Test.Syd.Mutation.Driver.Diff,Test.Syd.Mutation.Driver.DiffRun=sydtest-mutation-driver-0.0.0.0-9lHy48gnhKUIZeTJUblsSG:Test.Syd.Mutation.Driver.DiffRun,Test.Syd.Mutation.Driver.Mutate=sydtest-mutation-driver-0.0.0.0-9lHy48gnhKUIZeTJUblsSG:Test.Syd.Mutation.Driver.Mutate,Test.Syd.Mutation.Driver.OptParse=sydtest-mutation-driver-0.0.0.0-9lHy48gnhKUIZeTJUblsSG:Test.Syd.Mutation.Driver.OptParse,Test.Syd.Mutation.Driver.SuitePkg=sydtest-mutation-driver-0.0.0.0-9lHy48gnhKUIZeTJUblsSG:Test.Syd.Mutation.Driver.SuitePkg [sydtest-mutation-driver-source]  unit sydtest-mutation-driver-0.0.0.0-BlO206KAyFqJv2RatJZbDB-sydtest-mutation-driver [sydtest-mutation-driver-source]  include base-4.20.2.0-64da [sydtest-mutation-driver-source]  include sydtest-mutation-driver-0.0.0.0-9lHy48gnhKUIZeTJUblsSG [sydtest-mutation-driver-source] Ready component graph: [sydtest-mutation-driver-source]  definite sydtest-mutation-driver-0.0.0.0-9lHy48gnhKUIZeTJUblsSG [sydtest-mutation-driver-source]  depends Cabal-3.12.1.0-50a5 [sydtest-mutation-driver-source]  depends async-2.2.5-AVpB3MY1d7nLZpywuDqSMi [sydtest-mutation-driver-source]  depends base-4.20.2.0-64da [sydtest-mutation-driver-source]  depends bytestring-0.12.2.0-262e [sydtest-mutation-driver-source]  depends containers-0.7-504a [sydtest-mutation-driver-source]  depends directory-1.3.8.5-c84a [sydtest-mutation-driver-source]  depends opt-env-conf-0.15.0.2-FyMOteeu2ydJA3RGGDN2hQ [sydtest-mutation-driver-source]  depends path-0.9.6-JuNdYVciddTDWUiQr3NuVx [sydtest-mutation-driver-source]  depends path-io-1.8.2-J5Tb8ehzZIb1sPaxTlVmSL [sydtest-mutation-driver-source]  depends safe-coloured-text-0.5.0.0-4FuoIi5owbVJgc3wW3DUAf [sydtest-mutation-driver-source]  depends stm-2.5.3.1-a2f3 [sydtest-mutation-driver-source]  depends sydtest-0.24.0.0-9vPdDmJweex6DRxQPlMx7h [sydtest-mutation-driver-source]  depends sydtest-mutation-runtime-0.0.0.0-6K1vF9JR7cRAeyK0E9FRsW [sydtest-mutation-driver-source]  depends text-2.1.3-c691 [sydtest-mutation-driver-source]  depends typed-process-0.2.13.0-7OrVL3LKwQnF65e4jVhmYU [sydtest-mutation-driver-source]  definite sydtest-mutation-driver-0.0.0.0-BlO206KAyFqJv2RatJZbDB-sydtest-mutation-driver [sydtest-mutation-driver-source]  depends base-4.20.2.0-64da [sydtest-mutation-driver-source]  depends sydtest-mutation-driver-0.0.0.0-9lHy48gnhKUIZeTJUblsSG [sydtest-mutation-driver-source] Using Cabal-3.12.1.0 compiled by ghc-9.10 [sydtest-mutation-driver-source] Using compiler: ghc-9.10.3 [sydtest-mutation-driver-source] Using install prefix: [sydtest-mutation-driver-source] /nix/store/58bfggpvvk0r5prnfqrv4izyd8wqb3cm-sydtest-mutation-driver-source-0.0.0.0 [sydtest-mutation-driver-source] Executables installed in: [sydtest-mutation-driver-source] /nix/store/58bfggpvvk0r5prnfqrv4izyd8wqb3cm-sydtest-mutation-driver-source-0.0.0.0/bin [sydtest-mutation-driver-source] Libraries installed in: [sydtest-mutation-driver-source] /nix/store/58bfggpvvk0r5prnfqrv4izyd8wqb3cm-sydtest-mutation-driver-source-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6/sydtest-mutation-driver-0.0.0.0-9lHy48gnhKUIZeTJUblsSG [sydtest-mutation-driver-source] Dynamic Libraries installed in: [sydtest-mutation-driver-source] /nix/store/58bfggpvvk0r5prnfqrv4izyd8wqb3cm-sydtest-mutation-driver-source-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6 [sydtest-mutation-driver-source] Private executables installed in: [sydtest-mutation-driver-source] /nix/store/58bfggpvvk0r5prnfqrv4izyd8wqb3cm-sydtest-mutation-driver-source-0.0.0.0/libexec/x86_64-linux-ghc-9.10.3-05f6/sydtest-mutation-driver-0.0.0.0 [sydtest-mutation-driver-source] Data files installed in: [sydtest-mutation-driver-source] /nix/store/58bfggpvvk0r5prnfqrv4izyd8wqb3cm-sydtest-mutation-driver-source-0.0.0.0/share/x86_64-linux-ghc-9.10.3-05f6/sydtest-mutation-driver-0.0.0.0 [sydtest-mutation-driver-source] Documentation installed in: /share/doc/sydtest-mutation-driver-0.0.0.0 [sydtest-mutation-driver-source] Configuration files installed in: [sydtest-mutation-driver-source] /nix/store/58bfggpvvk0r5prnfqrv4izyd8wqb3cm-sydtest-mutation-driver-source-0.0.0.0/etc [sydtest-mutation-driver-source] No alex found [sydtest-mutation-driver-source] Using ar found on system at: [sydtest-mutation-driver-source] /nix/store/iz5lckcsg66r223si2gck7csk2hihj0m-binutils-wrapper-2.44/bin/ar [sydtest-mutation-driver-source] No c2hs found [sydtest-mutation-driver-source] No cpphs found [sydtest-mutation-driver-source] No doctest found [sydtest-mutation-driver-source] Using gcc version 14.3.0 given by user at: [sydtest-mutation-driver-source] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/gcc [sydtest-mutation-driver-source] Using ghc version 9.10.3 found on system at: [sydtest-mutation-driver-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc [sydtest-mutation-driver-source] Using ghc-pkg version 9.10.3 found on system at: [sydtest-mutation-driver-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc-pkg-9.10.3 [sydtest-mutation-driver-source] No ghcjs found [sydtest-mutation-driver-source] No ghcjs-pkg found [sydtest-mutation-driver-source] No greencard found [sydtest-mutation-driver-source] Using haddock version 2.31.1 found on system at: [sydtest-mutation-driver-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/haddock-ghc-9.10.3 [sydtest-mutation-driver-source] No happy found [sydtest-mutation-driver-source] Using haskell-suite found on system at: haskell-suite-dummy-location [sydtest-mutation-driver-source] Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location [sydtest-mutation-driver-source] No hmake found [sydtest-mutation-driver-source] Using hpc version 0.69 found on system at: [sydtest-mutation-driver-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hpc-ghc-9.10.3 [sydtest-mutation-driver-source] Using hsc2hs version 0.68.10 found on system at: [sydtest-mutation-driver-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hsc2hs-ghc-9.10.3 [sydtest-mutation-driver-source] Using hscolour version 1.25 found on system at: [sydtest-mutation-driver-source] /nix/store/f755skyzf4jvfx3crwq9mmh3x4lsaz8i-hscolour-1.25/bin/HsColour [sydtest-mutation-driver-source] No jhc found [sydtest-mutation-driver-source] Using ld found on system at: [sydtest-mutation-driver-source] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/ld [sydtest-mutation-driver-source] No pkg-config found [sydtest-mutation-driver-source] Using runghc version 9.10.3 found on system at: [sydtest-mutation-driver-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/runghc-9.10.3 [sydtest-mutation-driver-source] Using strip version 2.44 found on system at: [sydtest-mutation-driver-source] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/strip [sydtest-mutation-driver-source] Using tar found on system at: [sydtest-mutation-driver-source] /nix/store/xl6pd2spjajwcpq09fnmnjv5psqmlmma-gnutar-1.35/bin/tar [sydtest-mutation-driver-source] No uhc found [sydtest-mutation-driver-source] Phase: buildPhase [sydtest-mutation-driver-source] Distribution quality warnings: [sydtest-mutation-driver-source] [missing-upper-bounds] On library, these packages miss upper bounds: [sydtest-mutation-driver-source] - Cabal [sydtest-mutation-driver-source] - async [sydtest-mutation-driver-source] - bytestring [sydtest-mutation-driver-source] - containers [sydtest-mutation-driver-source] - directory [sydtest-mutation-driver-source] - opt-env-conf [sydtest-mutation-driver-source] - path [sydtest-mutation-driver-source] - path-io [sydtest-mutation-driver-source] - safe-coloured-text [sydtest-mutation-driver-source] - stm [sydtest-mutation-driver-source] - sydtest [sydtest-mutation-driver-source] - sydtest-mutation-runtime [sydtest-mutation-driver-source] - text [sydtest-mutation-driver-source] - typed-process [sydtest-mutation-driver-source] Please add them. There is more information at https://pvp.haskell.org/ [sydtest-mutation-driver-source] Building source dist for sydtest-mutation-driver-0.0.0.0... [sydtest-mutation-driver-source] Source tarball created: dist/sydtest-mutation-driver-0.0.0.0.tar.gz [sydtest-mutation-driver-source] Phase: checkPhase [sydtest-mutation-driver-source] Phase: haddockPhase [sydtest-mutation-driver-source] Phase: installPhase [sydtest-mutation-driver-source] Phase: fixupPhase Progress: 1 of 10 built Building sydtest-mutation-driver [sydtest-mutation-driver] Phase: setupCompilerEnvironmentPhase [sydtest-mutation-driver] Build with /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3. [sydtest-mutation-driver] Phase: unpackPhase [sydtest-mutation-driver] unpacking source archive /nix/store/58bfggpvvk0r5prnfqrv4izyd8wqb3cm-sydtest-mutation-driver-source-0.0.0.0/sydtest-mutation-driver-0.0.0.0.tar.gz [sydtest-mutation-driver] source root is sydtest-mutation-driver-0.0.0.0 [sydtest-mutation-driver] setting SOURCE_DATE_EPOCH to timestamp 1779382499 of file "sydtest-mutation-driver-0.0.0.0/sydtest-mutation-driver.cabal" [sydtest-mutation-driver] warning: file "sydtest-mutation-driver-0.0.0.0/sydtest-mutation-driver.cabal" may be generated; SOURCE_DATE_EPOCH may be non-deterministic [sydtest-mutation-driver] Phase: patchPhase [sydtest-mutation-driver] Phase: compileBuildDriverPhase [sydtest-mutation-driver] setupCompileFlags: -package-db=/build/tmp.Bl6FlJkt99/setup-package.conf.d -threaded [sydtest-mutation-driver] [1 of 2] Compiling Main ( Setup.hs, /build/tmp.Bl6FlJkt99/Main.o ) [sydtest-mutation-driver] [2 of 2] Linking Setup [sydtest-mutation-driver] Phase: updateAutotoolsGnuConfigScriptsPhase [sydtest-mutation-driver] Phase: configurePhase [sydtest-mutation-driver] configureFlags: --verbose --prefix=/nix/store/nxb1b2nisng2ja9a96wybpq6sfbafcmy-sydtest-mutation-driver-0.0.0.0 --libdir=$prefix/lib/$compiler/lib --libsubdir=$abi/$libname --docdir=/nix/store/iz90bf7cwr1qf3z3mkvilr7b8023h7c9-sydtest-mutation-driver-0.0.0.0-doc/share/doc/sydtest-mutation-driver-0.0.0.0 --with-gcc=gcc --package-db=/build/tmp.Bl6FlJkt99/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 [sydtest-mutation-driver] Using Parsec parser [sydtest-mutation-driver] Configuring sydtest-mutation-driver-0.0.0.0... [sydtest-mutation-driver] Dependency Cabal: using Cabal-3.12.1.0 [sydtest-mutation-driver] Dependency async: using async-2.2.5 [sydtest-mutation-driver] Dependency base >=4.7 && <5: using base-4.20.2.0 [sydtest-mutation-driver] Dependency bytestring: using bytestring-0.12.2.0 [sydtest-mutation-driver] Dependency containers: using containers-0.7 [sydtest-mutation-driver] Dependency directory: using directory-1.3.8.5 [sydtest-mutation-driver] Dependency opt-env-conf >=0.10: using opt-env-conf-0.15.0.2 [sydtest-mutation-driver] Dependency path: using path-0.9.6 [sydtest-mutation-driver] Dependency path-io: using path-io-1.8.2 [sydtest-mutation-driver] Dependency safe-coloured-text: using safe-coloured-text-0.5.0.0 [sydtest-mutation-driver] Dependency stm: using stm-2.5.3.1 [sydtest-mutation-driver] Dependency sydtest: using sydtest-0.24.0.0 [sydtest-mutation-driver] Dependency sydtest-mutation-runtime: using sydtest-mutation-runtime-0.0.0.0 [sydtest-mutation-driver] Dependency text: using text-2.1.3 [sydtest-mutation-driver] Dependency typed-process: using typed-process-0.2.13.0 [sydtest-mutation-driver] Dependency base >=4.7 && <5: using base-4.20.2.0 [sydtest-mutation-driver] Dependency sydtest-mutation-driver: using sydtest-mutation-driver-0.0.0.0 [sydtest-mutation-driver] Source component graph: [sydtest-mutation-driver]  component lib [sydtest-mutation-driver]  component exe:sydtest-mutation-driver dependency lib [sydtest-mutation-driver] Configured component graph: [sydtest-mutation-driver]  component sydtest-mutation-driver-0.0.0.0-9lHy48gnhKUIZeTJUblsSG [sydtest-mutation-driver]  include Cabal-3.12.1.0-50a5 [sydtest-mutation-driver]  include async-2.2.5-AVpB3MY1d7nLZpywuDqSMi [sydtest-mutation-driver]  include base-4.20.2.0-64da [sydtest-mutation-driver]  include bytestring-0.12.2.0-262e [sydtest-mutation-driver]  include containers-0.7-504a [sydtest-mutation-driver]  include directory-1.3.8.5-c84a [sydtest-mutation-driver]  include opt-env-conf-0.15.0.2-FyMOteeu2ydJA3RGGDN2hQ [sydtest-mutation-driver]  include path-0.9.6-JuNdYVciddTDWUiQr3NuVx [sydtest-mutation-driver]  include path-io-1.8.2-J5Tb8ehzZIb1sPaxTlVmSL [sydtest-mutation-driver]  include safe-coloured-text-0.5.0.0-4FuoIi5owbVJgc3wW3DUAf [sydtest-mutation-driver]  include stm-2.5.3.1-a2f3 [sydtest-mutation-driver]  include sydtest-0.24.0.0-9vPdDmJweex6DRxQPlMx7h [sydtest-mutation-driver]  include sydtest-mutation-runtime-0.0.0.0-6K1vF9JR7cRAeyK0E9FRsW [sydtest-mutation-driver]  include text-2.1.3-c691 [sydtest-mutation-driver]  include typed-process-0.2.13.0-7OrVL3LKwQnF65e4jVhmYU [sydtest-mutation-driver]  component sydtest-mutation-driver-0.0.0.0-BlO206KAyFqJv2RatJZbDB-sydtest-mutation-driver [sydtest-mutation-driver]  include base-4.20.2.0-64da [sydtest-mutation-driver]  include sydtest-mutation-driver-0.0.0.0-9lHy48gnhKUIZeTJUblsSG [sydtest-mutation-driver] Linked component graph: [sydtest-mutation-driver]  unit sydtest-mutation-driver-0.0.0.0-9lHy48gnhKUIZeTJUblsSG [sydtest-mutation-driver]  include Cabal-3.12.1.0-50a5 [sydtest-mutation-driver]  include async-2.2.5-AVpB3MY1d7nLZpywuDqSMi [sydtest-mutation-driver]  include base-4.20.2.0-64da [sydtest-mutation-driver]  include bytestring-0.12.2.0-262e [sydtest-mutation-driver]  include containers-0.7-504a [sydtest-mutation-driver]  include directory-1.3.8.5-c84a [sydtest-mutation-driver]  include opt-env-conf-0.15.0.2-FyMOteeu2ydJA3RGGDN2hQ [sydtest-mutation-driver]  include path-0.9.6-JuNdYVciddTDWUiQr3NuVx [sydtest-mutation-driver]  include path-io-1.8.2-J5Tb8ehzZIb1sPaxTlVmSL [sydtest-mutation-driver]  include safe-coloured-text-0.5.0.0-4FuoIi5owbVJgc3wW3DUAf [sydtest-mutation-driver]  include stm-2.5.3.1-a2f3 [sydtest-mutation-driver]  include sydtest-0.24.0.0-9vPdDmJweex6DRxQPlMx7h [sydtest-mutation-driver]  include sydtest-mutation-runtime-0.0.0.0-6K1vF9JR7cRAeyK0E9FRsW [sydtest-mutation-driver]  include text-2.1.3-c691 [sydtest-mutation-driver]  include typed-process-0.2.13.0-7OrVL3LKwQnF65e4jVhmYU [sydtest-mutation-driver]  Test.Syd.Mutation.Driver=sydtest-mutation-driver-0.0.0.0-9lHy48gnhKUIZeTJUblsSG:Test.Syd.Mutation.Driver,Test.Syd.Mutation.Driver.AssertScore=sydtest-mutation-driver-0.0.0.0-9lHy48gnhKUIZeTJUblsSG:Test.Syd.Mutation.Driver.AssertScore,Test.Syd.Mutation.Driver.Components=sydtest-mutation-driver-0.0.0.0-9lHy48gnhKUIZeTJUblsSG:Test.Syd.Mutation.Driver.Components,Test.Syd.Mutation.Driver.Coverage=sydtest-mutation-driver-0.0.0.0-9lHy48gnhKUIZeTJUblsSG:Test.Syd.Mutation.Driver.Coverage,Test.Syd.Mutation.Driver.Diff=sydtest-mutation-driver-0.0.0.0-9lHy48gnhKUIZeTJUblsSG:Test.Syd.Mutation.Driver.Diff,Test.Syd.Mutation.Driver.DiffRun=sydtest-mutation-driver-0.0.0.0-9lHy48gnhKUIZeTJUblsSG:Test.Syd.Mutation.Driver.DiffRun,Test.Syd.Mutation.Driver.Mutate=sydtest-mutation-driver-0.0.0.0-9lHy48gnhKUIZeTJUblsSG:Test.Syd.Mutation.Driver.Mutate,Test.Syd.Mutation.Driver.OptParse=sydtest-mutation-driver-0.0.0.0-9lHy48gnhKUIZeTJUblsSG:Test.Syd.Mutation.Driver.OptParse,Test.Syd.Mutation.Driver.SuitePkg=sydtest-mutation-driver-0.0.0.0-9lHy48gnhKUIZeTJUblsSG:Test.Syd.Mutation.Driver.SuitePkg [sydtest-mutation-driver]  unit sydtest-mutation-driver-0.0.0.0-BlO206KAyFqJv2RatJZbDB-sydtest-mutation-driver [sydtest-mutation-driver]  include base-4.20.2.0-64da [sydtest-mutation-driver]  include sydtest-mutation-driver-0.0.0.0-9lHy48gnhKUIZeTJUblsSG [sydtest-mutation-driver] Ready component graph: [sydtest-mutation-driver]  definite sydtest-mutation-driver-0.0.0.0-9lHy48gnhKUIZeTJUblsSG [sydtest-mutation-driver]  depends Cabal-3.12.1.0-50a5 [sydtest-mutation-driver]  depends async-2.2.5-AVpB3MY1d7nLZpywuDqSMi [sydtest-mutation-driver]  depends base-4.20.2.0-64da [sydtest-mutation-driver]  depends bytestring-0.12.2.0-262e [sydtest-mutation-driver]  depends containers-0.7-504a [sydtest-mutation-driver]  depends directory-1.3.8.5-c84a [sydtest-mutation-driver]  depends opt-env-conf-0.15.0.2-FyMOteeu2ydJA3RGGDN2hQ [sydtest-mutation-driver]  depends path-0.9.6-JuNdYVciddTDWUiQr3NuVx [sydtest-mutation-driver]  depends path-io-1.8.2-J5Tb8ehzZIb1sPaxTlVmSL [sydtest-mutation-driver]  depends safe-coloured-text-0.5.0.0-4FuoIi5owbVJgc3wW3DUAf [sydtest-mutation-driver]  depends stm-2.5.3.1-a2f3 [sydtest-mutation-driver]  depends sydtest-0.24.0.0-9vPdDmJweex6DRxQPlMx7h [sydtest-mutation-driver]  depends sydtest-mutation-runtime-0.0.0.0-6K1vF9JR7cRAeyK0E9FRsW [sydtest-mutation-driver]  depends text-2.1.3-c691 [sydtest-mutation-driver]  depends typed-process-0.2.13.0-7OrVL3LKwQnF65e4jVhmYU [sydtest-mutation-driver]  definite sydtest-mutation-driver-0.0.0.0-BlO206KAyFqJv2RatJZbDB-sydtest-mutation-driver [sydtest-mutation-driver]  depends base-4.20.2.0-64da [sydtest-mutation-driver]  depends sydtest-mutation-driver-0.0.0.0-9lHy48gnhKUIZeTJUblsSG [sydtest-mutation-driver] Using Cabal-3.12.1.0 compiled by ghc-9.10 [sydtest-mutation-driver] Using compiler: ghc-9.10.3 [sydtest-mutation-driver] Using install prefix: [sydtest-mutation-driver] /nix/store/nxb1b2nisng2ja9a96wybpq6sfbafcmy-sydtest-mutation-driver-0.0.0.0 [sydtest-mutation-driver] Executables installed in: [sydtest-mutation-driver] /nix/store/nxb1b2nisng2ja9a96wybpq6sfbafcmy-sydtest-mutation-driver-0.0.0.0/bin [sydtest-mutation-driver] Libraries installed in: [sydtest-mutation-driver] /nix/store/nxb1b2nisng2ja9a96wybpq6sfbafcmy-sydtest-mutation-driver-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6/sydtest-mutation-driver-0.0.0.0-9lHy48gnhKUIZeTJUblsSG [sydtest-mutation-driver] Dynamic Libraries installed in: [sydtest-mutation-driver] /nix/store/nxb1b2nisng2ja9a96wybpq6sfbafcmy-sydtest-mutation-driver-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6 [sydtest-mutation-driver] Private executables installed in: [sydtest-mutation-driver] /nix/store/nxb1b2nisng2ja9a96wybpq6sfbafcmy-sydtest-mutation-driver-0.0.0.0/libexec/x86_64-linux-ghc-9.10.3-05f6/sydtest-mutation-driver-0.0.0.0 [sydtest-mutation-driver] Data files installed in: [sydtest-mutation-driver] /nix/store/nxb1b2nisng2ja9a96wybpq6sfbafcmy-sydtest-mutation-driver-0.0.0.0/share/x86_64-linux-ghc-9.10.3-05f6/sydtest-mutation-driver-0.0.0.0 [sydtest-mutation-driver] Documentation installed in: [sydtest-mutation-driver] /nix/store/iz90bf7cwr1qf3z3mkvilr7b8023h7c9-sydtest-mutation-driver-0.0.0.0-doc/share/doc/sydtest-mutation-driver-0.0.0.0 [sydtest-mutation-driver] Configuration files installed in: [sydtest-mutation-driver] /nix/store/nxb1b2nisng2ja9a96wybpq6sfbafcmy-sydtest-mutation-driver-0.0.0.0/etc [sydtest-mutation-driver] No alex found [sydtest-mutation-driver] Using ar found on system at: [sydtest-mutation-driver] /nix/store/iz5lckcsg66r223si2gck7csk2hihj0m-binutils-wrapper-2.44/bin/ar [sydtest-mutation-driver] No c2hs found [sydtest-mutation-driver] No cpphs found [sydtest-mutation-driver] No doctest found [sydtest-mutation-driver] Using gcc version 14.3.0 given by user at: [sydtest-mutation-driver] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/gcc [sydtest-mutation-driver] Using ghc version 9.10.3 found on system at: [sydtest-mutation-driver] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc [sydtest-mutation-driver] Using ghc-pkg version 9.10.3 found on system at: [sydtest-mutation-driver] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc-pkg-9.10.3 [sydtest-mutation-driver] No ghcjs found [sydtest-mutation-driver] No ghcjs-pkg found [sydtest-mutation-driver] No greencard found [sydtest-mutation-driver] Using haddock version 2.31.1 found on system at: [sydtest-mutation-driver] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/haddock-ghc-9.10.3 [sydtest-mutation-driver] No happy found [sydtest-mutation-driver] Using haskell-suite found on system at: haskell-suite-dummy-location [sydtest-mutation-driver] Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location [sydtest-mutation-driver] No hmake found [sydtest-mutation-driver] Using hpc version 0.69 found on system at: [sydtest-mutation-driver] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hpc-ghc-9.10.3 [sydtest-mutation-driver] Using hsc2hs version 0.68.10 found on system at: [sydtest-mutation-driver] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hsc2hs-ghc-9.10.3 [sydtest-mutation-driver] Using hscolour version 1.25 found on system at: [sydtest-mutation-driver] /nix/store/f755skyzf4jvfx3crwq9mmh3x4lsaz8i-hscolour-1.25/bin/HsColour [sydtest-mutation-driver] No jhc found [sydtest-mutation-driver] Using ld found on system at: [sydtest-mutation-driver] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/ld [sydtest-mutation-driver] No pkg-config found [sydtest-mutation-driver] Using runghc version 9.10.3 found on system at: [sydtest-mutation-driver] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/runghc-9.10.3 [sydtest-mutation-driver] Using strip version 2.44 found on system at: [sydtest-mutation-driver] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/strip [sydtest-mutation-driver] Using tar found on system at: [sydtest-mutation-driver] /nix/store/xl6pd2spjajwcpq09fnmnjv5psqmlmma-gnutar-1.35/bin/tar [sydtest-mutation-driver] No uhc found [sydtest-mutation-driver] Phase: buildPhase [sydtest-mutation-driver] Preprocessing library for sydtest-mutation-driver-0.0.0.0... [sydtest-mutation-driver] Building library for sydtest-mutation-driver-0.0.0.0... [sydtest-mutation-driver] [ 1 of 10] Compiling Paths_sydtest_mutation_driver ( dist/build/autogen/Paths_sydtest_mutation_driver.hs, dist/build/Paths_sydtest_mutation_driver.o, dist/build/Paths_sydtest_mutation_driver.dyn_o ) [sydtest-mutation-driver] [ 2 of 10] Compiling Test.Syd.Mutation.Driver.AssertScore ( src/Test/Syd/Mutation/Driver/AssertScore.hs, dist/build/Test/Syd/Mutation/Driver/AssertScore.o, dist/build/Test/Syd/Mutation/Driver/AssertScore.dyn_o ) [sydtest-mutation-driver] [ 3 of 10] Compiling Test.Syd.Mutation.Driver.Coverage ( src/Test/Syd/Mutation/Driver/Coverage.hs, dist/build/Test/Syd/Mutation/Driver/Coverage.o, dist/build/Test/Syd/Mutation/Driver/Coverage.dyn_o ) [sydtest-mutation-driver] [ 4 of 10] Compiling Test.Syd.Mutation.Driver.Diff ( src/Test/Syd/Mutation/Driver/Diff.hs, dist/build/Test/Syd/Mutation/Driver/Diff.o, dist/build/Test/Syd/Mutation/Driver/Diff.dyn_o ) [sydtest-mutation-driver] [ 5 of 10] Compiling Test.Syd.Mutation.Driver.Mutate ( src/Test/Syd/Mutation/Driver/Mutate.hs, dist/build/Test/Syd/Mutation/Driver/Mutate.o, dist/build/Test/Syd/Mutation/Driver/Mutate.dyn_o ) [sydtest-mutation-driver] [ 6 of 10] Compiling Test.Syd.Mutation.Driver.OptParse ( src/Test/Syd/Mutation/Driver/OptParse.hs, dist/build/Test/Syd/Mutation/Driver/OptParse.o, dist/build/Test/Syd/Mutation/Driver/OptParse.dyn_o ) [sydtest-mutation-driver] [ 7 of 10] Compiling Test.Syd.Mutation.Driver.Components ( src/Test/Syd/Mutation/Driver/Components.hs, dist/build/Test/Syd/Mutation/Driver/Components.o, dist/build/Test/Syd/Mutation/Driver/Components.dyn_o ) [sydtest-mutation-driver] [ 8 of 10] Compiling Test.Syd.Mutation.Driver.SuitePkg ( src/Test/Syd/Mutation/Driver/SuitePkg.hs, dist/build/Test/Syd/Mutation/Driver/SuitePkg.o, dist/build/Test/Syd/Mutation/Driver/SuitePkg.dyn_o ) [sydtest-mutation-driver] [ 9 of 10] Compiling Test.Syd.Mutation.Driver.DiffRun ( src/Test/Syd/Mutation/Driver/DiffRun.hs, dist/build/Test/Syd/Mutation/Driver/DiffRun.o, dist/build/Test/Syd/Mutation/Driver/DiffRun.dyn_o ) [sydtest-mutation-driver] [10 of 10] Compiling Test.Syd.Mutation.Driver ( src/Test/Syd/Mutation/Driver.hs, dist/build/Test/Syd/Mutation/Driver.o, dist/build/Test/Syd/Mutation/Driver.dyn_o ) [sydtest-mutation-driver] [ 1 of 10] Compiling Paths_sydtest_mutation_driver ( dist/build/autogen/Paths_sydtest_mutation_driver.hs, dist/build/Paths_sydtest_mutation_driver.p_o ) [sydtest-mutation-driver] [ 2 of 10] Compiling Test.Syd.Mutation.Driver.AssertScore ( src/Test/Syd/Mutation/Driver/AssertScore.hs, dist/build/Test/Syd/Mutation/Driver/AssertScore.p_o ) [sydtest-mutation-driver] [ 3 of 10] Compiling Test.Syd.Mutation.Driver.Coverage ( src/Test/Syd/Mutation/Driver/Coverage.hs, dist/build/Test/Syd/Mutation/Driver/Coverage.p_o ) [sydtest-mutation-driver] [ 4 of 10] Compiling Test.Syd.Mutation.Driver.Diff ( src/Test/Syd/Mutation/Driver/Diff.hs, dist/build/Test/Syd/Mutation/Driver/Diff.p_o ) [sydtest-mutation-driver] [ 5 of 10] Compiling Test.Syd.Mutation.Driver.Mutate ( src/Test/Syd/Mutation/Driver/Mutate.hs, dist/build/Test/Syd/Mutation/Driver/Mutate.p_o ) [sydtest-mutation-driver] [ 6 of 10] Compiling Test.Syd.Mutation.Driver.OptParse ( src/Test/Syd/Mutation/Driver/OptParse.hs, dist/build/Test/Syd/Mutation/Driver/OptParse.p_o ) [sydtest-mutation-driver] [ 7 of 10] Compiling Test.Syd.Mutation.Driver.Components ( src/Test/Syd/Mutation/Driver/Components.hs, dist/build/Test/Syd/Mutation/Driver/Components.p_o ) [sydtest-mutation-driver] [ 8 of 10] Compiling Test.Syd.Mutation.Driver.SuitePkg ( src/Test/Syd/Mutation/Driver/SuitePkg.hs, dist/build/Test/Syd/Mutation/Driver/SuitePkg.p_o ) [sydtest-mutation-driver] [ 9 of 10] Compiling Test.Syd.Mutation.Driver.DiffRun ( src/Test/Syd/Mutation/Driver/DiffRun.hs, dist/build/Test/Syd/Mutation/Driver/DiffRun.p_o ) [sydtest-mutation-driver] [10 of 10] Compiling Test.Syd.Mutation.Driver ( src/Test/Syd/Mutation/Driver.hs, dist/build/Test/Syd/Mutation/Driver.p_o ) [sydtest-mutation-driver] Preprocessing executable 'sydtest-mutation-driver' for sydtest-mutation-driver-0.0.0.0... [sydtest-mutation-driver] Building executable 'sydtest-mutation-driver' for sydtest-mutation-driver-0.0.0.0... [sydtest-mutation-driver] [1 of 2] Compiling Main ( app/Main.hs, dist/build/sydtest-mutation-driver/sydtest-mutation-driver-tmp/Main.o ) [sydtest-mutation-driver] [2 of 2] Compiling Paths_sydtest_mutation_driver ( dist/build/sydtest-mutation-driver/autogen/Paths_sydtest_mutation_driver.hs, dist/build/sydtest-mutation-driver/sydtest-mutation-driver-tmp/Paths_sydtest_mutation_driver.o ) [sydtest-mutation-driver] [3 of 3] Linking dist/build/sydtest-mutation-driver/sydtest-mutation-driver [sydtest-mutation-driver] Phase: checkPhase [sydtest-mutation-driver] Package has no test suites. [sydtest-mutation-driver] Phase: haddockPhase [sydtest-mutation-driver] Preprocessing library for sydtest-mutation-driver-0.0.0.0... [sydtest-mutation-driver] Running Haddock on library for sydtest-mutation-driver-0.0.0.0... [sydtest-mutation-driver] Warning: The documentation for the following packages are not installed. No [sydtest-mutation-driver] links will be generated to these packages: attoparsec-0.14.4, [sydtest-mutation-driver] attoparsec-0.14.4, libyaml-clib-0.2.5, path-0.9.6, path-0.9.6, vector-0.13.2.0 [sydtest-mutation-driver] [ 1 of 10] Compiling Paths_sydtest_mutation_driver ( dist/build/autogen/Paths_sydtest_mutation_driver.hs, /build/ghc1308_0/ghc_4.o, /build/ghc1308_0/ghc_4.dyn_o ) [sydtest-mutation-driver] [ 2 of 10] Compiling Test.Syd.Mutation.Driver.AssertScore ( src/Test/Syd/Mutation/Driver/AssertScore.hs, nothing ) [sydtest-mutation-driver] [ 3 of 10] Compiling Test.Syd.Mutation.Driver.Coverage ( src/Test/Syd/Mutation/Driver/Coverage.hs, nothing ) [sydtest-mutation-driver] [ 4 of 10] Compiling Test.Syd.Mutation.Driver.Diff ( src/Test/Syd/Mutation/Driver/Diff.hs, /build/ghc1308_0/ghc_6.o, /build/ghc1308_0/ghc_6.dyn_o ) [sydtest-mutation-driver] [ 5 of 10] Compiling Test.Syd.Mutation.Driver.Mutate ( src/Test/Syd/Mutation/Driver/Mutate.hs, /build/ghc1308_0/ghc_8.o, /build/ghc1308_0/ghc_8.dyn_o ) [sydtest-mutation-driver] [ 6 of 10] Compiling Test.Syd.Mutation.Driver.OptParse ( src/Test/Syd/Mutation/Driver/OptParse.hs, /build/ghc1308_0/ghc_10.o, /build/ghc1308_0/ghc_10.dyn_o ) [sydtest-mutation-driver] [ 7 of 10] Compiling Test.Syd.Mutation.Driver.Components ( src/Test/Syd/Mutation/Driver/Components.hs, nothing ) [sydtest-mutation-driver] [ 8 of 10] Compiling Test.Syd.Mutation.Driver.SuitePkg ( src/Test/Syd/Mutation/Driver/SuitePkg.hs, /build/ghc1308_0/ghc_12.o, /build/ghc1308_0/ghc_12.dyn_o ) [sydtest-mutation-driver] [ 9 of 10] Compiling Test.Syd.Mutation.Driver.DiffRun ( src/Test/Syd/Mutation/Driver/DiffRun.hs, nothing ) [sydtest-mutation-driver] [10 of 10] Compiling Test.Syd.Mutation.Driver ( src/Test/Syd/Mutation/Driver.hs, nothing ) [sydtest-mutation-driver] Haddock coverage: [sydtest-mutation-driver] Warning: 'MutationRunReport' is ambiguous. It is defined [sydtest-mutation-driver]  * in ‘Test.Syd.Mutation.AugmentedManifest’ [sydtest-mutation-driver]  * in ‘Test.Syd.Mutation.AugmentedManifest’ [sydtest-mutation-driver]  You may be able to disambiguate the identifier by qualifying it or [sydtest-mutation-driver]  by specifying the type/value namespace explicitly. [sydtest-mutation-driver]  Defaulting to the one defined in ‘Test.Syd.Mutation.AugmentedManifest’ [sydtest-mutation-driver]  100% ( 4 / 4) in 'Test.Syd.Mutation.Driver.AssertScore' [sydtest-mutation-driver] Warning: 'TestCoverageMap' is ambiguous. It is defined [sydtest-mutation-driver]  * in ‘Test.Syd.Mutation.TestCoverageMap’ [sydtest-mutation-driver]  * in ‘Test.Syd.Mutation.TestCoverageMap’ [sydtest-mutation-driver]  You may be able to disambiguate the identifier by qualifying it or [sydtest-mutation-driver]  by specifying the type/value namespace explicitly. [sydtest-mutation-driver]  Defaulting to the one defined in ‘Test.Syd.Mutation.TestCoverageMap’ [sydtest-mutation-driver] Warning: 'Map' is out of scope. [sydtest-mutation-driver]  If you qualify the identifier, haddock can try to link it anyway. [sydtest-mutation-driver] Warning: 'Set' is out of scope. [sydtest-mutation-driver]  If you qualify the identifier, haddock can try to link it anyway. [sydtest-mutation-driver]  100% ( 2 / 2) in 'Test.Syd.Mutation.Driver.Coverage' [sydtest-mutation-driver] Warning: 'AugmentedManifest' is ambiguous. It is defined [sydtest-mutation-driver]  * in ‘Test.Syd.Mutation.AugmentedManifest’ [sydtest-mutation-driver]  * in ‘Test.Syd.Mutation.AugmentedManifest’ [sydtest-mutation-driver]  You may be able to disambiguate the identifier by qualifying it or [sydtest-mutation-driver]  by specifying the type/value namespace explicitly. [sydtest-mutation-driver]  Defaulting to the one defined in ‘Test.Syd.Mutation.AugmentedManifest’ [sydtest-mutation-driver] Warning: 'DiffHunk' is ambiguous. It is defined [sydtest-mutation-driver]  * at src/Test/Syd/Mutation/Driver/Diff.hs:72:17 [sydtest-mutation-driver]  * at src/Test/Syd/Mutation/Driver/Diff.hs:72:1 [sydtest-mutation-driver]  You may be able to disambiguate the identifier by qualifying it or [sydtest-mutation-driver]  by specifying the type/value namespace explicitly. [sydtest-mutation-driver]  Defaulting to the one defined at src/Test/Syd/Mutation/Driver/Diff.hs:72:1 [sydtest-mutation-driver]  100% ( 15 / 15) in 'Test.Syd.Mutation.Driver.Diff' [sydtest-mutation-driver] Warning: 'ErrorCall' is out of scope. [sydtest-mutation-driver]  If you qualify the identifier, haddock can try to link it anyway. [sydtest-mutation-driver]  100% ( 3 / 3) in 'Test.Syd.Mutation.Driver.Mutate' [sydtest-mutation-driver] Warning: 'SuiteConfig' is ambiguous. It is defined [sydtest-mutation-driver]  * at src/Test/Syd/Mutation/Driver/OptParse.hs:43:20 [sydtest-mutation-driver]  * at src/Test/Syd/Mutation/Driver/OptParse.hs:43:1 [sydtest-mutation-driver]  You may be able to disambiguate the identifier by qualifying it or [sydtest-mutation-driver]  by specifying the type/value namespace explicitly. [sydtest-mutation-driver]  Defaulting to the one defined at src/Test/Syd/Mutation/Driver/OptParse.hs:43:1 [sydtest-mutation-driver] Warning: 'SuitePkgSpec' is ambiguous. It is defined [sydtest-mutation-driver]  * at src/Test/Syd/Mutation/Driver/OptParse.hs:65:21 [sydtest-mutation-driver]  * at src/Test/Syd/Mutation/Driver/OptParse.hs:65:1 [sydtest-mutation-driver]  You may be able to disambiguate the identifier by qualifying it or [sydtest-mutation-driver]  by specifying the type/value namespace explicitly. [sydtest-mutation-driver]  Defaulting to the one defined at src/Test/Syd/Mutation/Driver/OptParse.hs:65:1 [sydtest-mutation-driver] Warning: 'run' is out of scope. [sydtest-mutation-driver]  If you qualify the identifier, haddock can try to link it anyway. [sydtest-mutation-driver] Warning: 'coverage' is out of scope. [sydtest-mutation-driver]  If you qualify the identifier, haddock can try to link it anyway. [sydtest-mutation-driver] Warning: 'diff' is out of scope. [sydtest-mutation-driver]  If you qualify the identifier, haddock can try to link it anyway. [sydtest-mutation-driver]  100% ( 18 / 18) in 'Test.Syd.Mutation.Driver.OptParse' [sydtest-mutation-driver] Warning: 'executables' is out of scope. [sydtest-mutation-driver]  If you qualify the identifier, haddock can try to link it anyway. [sydtest-mutation-driver] Warning: 'MissingBuiltComponent' is ambiguous. It is defined [sydtest-mutation-driver]  * at src/Test/Syd/Mutation/Driver/Components.hs:115:30 [sydtest-mutation-driver]  * at src/Test/Syd/Mutation/Driver/Components.hs:115:1 [sydtest-mutation-driver]  You may be able to disambiguate the identifier by qualifying it or [sydtest-mutation-driver]  by specifying the type/value namespace explicitly. [sydtest-mutation-driver]  Defaulting to the one defined at src/Test/Syd/Mutation/Driver/Components.hs:115:1 [sydtest-mutation-driver]  100% ( 9 / 9) in 'Test.Syd.Mutation.Driver.Components' [sydtest-mutation-driver] Warning: 'SuitePkgSpec' is ambiguous. It is defined [sydtest-mutation-driver]  * at src/Test/Syd/Mutation/Driver/OptParse.hs:65:21 [sydtest-mutation-driver]  * at src/Test/Syd/Mutation/Driver/OptParse.hs:65:1 [sydtest-mutation-driver]  You may be able to disambiguate the identifier by qualifying it or [sydtest-mutation-driver]  by specifying the type/value namespace explicitly. [sydtest-mutation-driver]  Defaulting to the one defined at src/Test/Syd/Mutation/Driver/OptParse.hs:65:1 [sydtest-mutation-driver] Warning: 'Map' is out of scope. [sydtest-mutation-driver]  If you qualify the identifier, haddock can try to link it anyway. [sydtest-mutation-driver] Warning: 'SuiteConfig' is ambiguous. It is defined [sydtest-mutation-driver]  * at src/Test/Syd/Mutation/Driver/OptParse.hs:43:20 [sydtest-mutation-driver]  * at src/Test/Syd/Mutation/Driver/OptParse.hs:43:1 [sydtest-mutation-driver]  You may be able to disambiguate the identifier by qualifying it or [sydtest-mutation-driver]  by specifying the type/value namespace explicitly. [sydtest-mutation-driver]  Defaulting to the one defined at src/Test/Syd/Mutation/Driver/OptParse.hs:43:1 [sydtest-mutation-driver]  100% ( 3 / 3) in 'Test.Syd.Mutation.Driver.SuitePkg' [sydtest-mutation-driver]  100% ( 2 / 2) in 'Test.Syd.Mutation.Driver.DiffRun' [sydtest-mutation-driver]  100% ( 3 / 3) in 'Test.Syd.Mutation.Driver' [sydtest-mutation-driver] Warning: Test.Syd.Mutation.Driver.AssertScore: could not find link destinations for: [sydtest-mutation-driver]  - Path.Internal.Posix.Path [sydtest-mutation-driver]  - Path.Posix.Abs [sydtest-mutation-driver]  - Path.Posix.Dir [sydtest-mutation-driver] Warning: Test.Syd.Mutation.Driver.Coverage: could not find link destinations for: [sydtest-mutation-driver]  - Path.Internal.Posix.Path [sydtest-mutation-driver]  - Path.Posix.Abs [sydtest-mutation-driver]  - Path.Posix.Dir [sydtest-mutation-driver]  - Path.Posix.File [sydtest-mutation-driver] Warning: Test.Syd.Mutation.Driver.Diff: could not find link destinations for: [sydtest-mutation-driver]  - Path.Internal.Posix.Path [sydtest-mutation-driver]  - Path.Posix.File [sydtest-mutation-driver]  - Path.Posix.Rel [sydtest-mutation-driver] Warning: Test.Syd.Mutation.Driver.Mutate: could not find link destinations for: [sydtest-mutation-driver]  - Path.Internal.Posix.Path [sydtest-mutation-driver]  - Path.Posix.Abs [sydtest-mutation-driver]  - Path.Posix.Dir [sydtest-mutation-driver]  - Path.Posix.File [sydtest-mutation-driver] Warning: Test.Syd.Mutation.Driver.OptParse: could not find link destinations for: [sydtest-mutation-driver]  - Path.Internal.Posix.Path [sydtest-mutation-driver]  - Path.Posix.Abs [sydtest-mutation-driver]  - Path.Posix.Dir [sydtest-mutation-driver]  - Path.Posix.File [sydtest-mutation-driver]  - Test.Syd.Mutation.Driver.OptParse.Rep_Dispatch [sydtest-mutation-driver]  - Test.Syd.Mutation.Driver.OptParse.Rep_ComponentKind [sydtest-mutation-driver]  - Test.Syd.Mutation.Driver.OptParse.Rep_DiffSettings [sydtest-mutation-driver]  - Test.Syd.Mutation.Driver.OptParse.Rep_DiffSource [sydtest-mutation-driver]  - Test.Syd.Mutation.Driver.OptParse.Rep_CoverageSettings [sydtest-mutation-driver]  - Test.Syd.Mutation.Driver.OptParse.Rep_MutationDriverSettings [sydtest-mutation-driver]  - Test.Syd.Mutation.Driver.OptParse.Rep_SuitePkgSpec [sydtest-mutation-driver]  - Test.Syd.Mutation.Driver.OptParse.Rep_SuiteConfig [sydtest-mutation-driver] Warning: Test.Syd.Mutation.Driver.Components: could not find link destinations for: [sydtest-mutation-driver]  - Path.Internal.Posix.Path [sydtest-mutation-driver]  - Path.Posix.Abs [sydtest-mutation-driver]  - Path.Posix.Dir [sydtest-mutation-driver]  - Path.Posix.File [sydtest-mutation-driver]  - Path.Posix.Rel [sydtest-mutation-driver] Documentation created: dist/doc/html/sydtest-mutation-driver/, [sydtest-mutation-driver] dist/doc/html/sydtest-mutation-driver/sydtest-mutation-driver.txt [sydtest-mutation-driver] Preprocessing executable 'sydtest-mutation-driver' for sydtest-mutation-driver-0.0.0.0... [sydtest-mutation-driver] Phase: installPhase [sydtest-mutation-driver] Installing library in /nix/store/nxb1b2nisng2ja9a96wybpq6sfbafcmy-sydtest-mutation-driver-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6/sydtest-mutation-driver-0.0.0.0-9lHy48gnhKUIZeTJUblsSG [sydtest-mutation-driver] Installing executable sydtest-mutation-driver in /nix/store/nxb1b2nisng2ja9a96wybpq6sfbafcmy-sydtest-mutation-driver-0.0.0.0/bin [sydtest-mutation-driver] Warning: The directory [sydtest-mutation-driver] /nix/store/nxb1b2nisng2ja9a96wybpq6sfbafcmy-sydtest-mutation-driver-0.0.0.0/bin [sydtest-mutation-driver] is not in the system search path. [sydtest-mutation-driver] Phase: fixupPhase [sydtest-mutation-driver] shrinking RPATHs of ELF executables and libraries in /nix/store/nxb1b2nisng2ja9a96wybpq6sfbafcmy-sydtest-mutation-driver-0.0.0.0 [sydtest-mutation-driver] shrinking /nix/store/nxb1b2nisng2ja9a96wybpq6sfbafcmy-sydtest-mutation-driver-0.0.0.0/bin/sydtest-mutation-driver [sydtest-mutation-driver] shrinking /nix/store/nxb1b2nisng2ja9a96wybpq6sfbafcmy-sydtest-mutation-driver-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6/libHSsydtest-mutation-driver-0.0.0.0-9lHy48gnhKUIZeTJUblsSG-ghc9.10.3.so [sydtest-mutation-driver] checking for references to /build/ in /nix/store/nxb1b2nisng2ja9a96wybpq6sfbafcmy-sydtest-mutation-driver-0.0.0.0... [sydtest-mutation-driver] patching script interpreter paths in /nix/store/nxb1b2nisng2ja9a96wybpq6sfbafcmy-sydtest-mutation-driver-0.0.0.0 [sydtest-mutation-driver] stripping (with command strip and flags -S -p) in /nix/store/nxb1b2nisng2ja9a96wybpq6sfbafcmy-sydtest-mutation-driver-0.0.0.0/lib /nix/store/nxb1b2nisng2ja9a96wybpq6sfbafcmy-sydtest-mutation-driver-0.0.0.0/bin [sydtest-mutation-driver] shrinking RPATHs of ELF executables and libraries in /nix/store/iz90bf7cwr1qf3z3mkvilr7b8023h7c9-sydtest-mutation-driver-0.0.0.0-doc [sydtest-mutation-driver] checking for references to /build/ in /nix/store/iz90bf7cwr1qf3z3mkvilr7b8023h7c9-sydtest-mutation-driver-0.0.0.0-doc... [sydtest-mutation-driver] patching script interpreter paths in /nix/store/iz90bf7cwr1qf3z3mkvilr7b8023h7c9-sydtest-mutation-driver-0.0.0.0-doc Progress: 2 of 10 built 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/y1r934pw7k274653vjj5p0hyqn5ihxfl-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 1779381504 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.LmrFAL6yYn/setup-package.conf.d -threaded [sydtest-mutation-example] [1 of 2] Compiling Main ( Setup.hs, /build/tmp.LmrFAL6yYn/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/91d7arnr67a37j84y5hnb8ndgxz5543v-sydtest-mutation-example-0.0.0.0 --libdir=$prefix/lib/$compiler/lib --libsubdir=$abi/$libname --with-gcc=gcc --package-db=/build/tmp.LmrFAL6yYn/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 --ghc-option=-fplugin-opt=Test.Syd.Mutation.Plugin:--config-file=/nix/store/z243q95gazhnpcji1d07dl7ax2f6s4wr-mutation.yaml --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.IgnoreLib=sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu:Example.IgnoreLib,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.LocalDisableLib=sydtest-mutation-example-0.0.0.0-AP4YwxYYlbSKrmTKnqBEmu:Example.LocalDisableLib,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/91d7arnr67a37j84y5hnb8ndgxz5543v-sydtest-mutation-example-0.0.0.0 [sydtest-mutation-example] Executables installed in: [sydtest-mutation-example] /nix/store/91d7arnr67a37j84y5hnb8ndgxz5543v-sydtest-mutation-example-0.0.0.0/bin [sydtest-mutation-example] Libraries installed in: [sydtest-mutation-example] /nix/store/91d7arnr67a37j84y5hnb8ndgxz5543v-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/91d7arnr67a37j84y5hnb8ndgxz5543v-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/91d7arnr67a37j84y5hnb8ndgxz5543v-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/91d7arnr67a37j84y5hnb8ndgxz5543v-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/91d7arnr67a37j84y5hnb8ndgxz5543v-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/91d7arnr67a37j84y5hnb8ndgxz5543v-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_PLUGIN_MANIFEST_DIR=/nix/store/70kyrz5q8gmnxbl6ylh0wmbzgankjmxr-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 13] 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 #1 [sydtest-mutation-example] added mutation MaybeOp at src/Example/BoolLib.hs:18:13-23 #1 [sydtest-mutation-example] added mutation BoolLit at src/Example/BoolLib.hs:12:17-21 #1 [sydtest-mutation-example] added mutation MaybeOp at src/Example/BoolLib.hs:12:12-21 #1 [sydtest-mutation-example] added 4 mutations in 4 groups [sydtest-mutation-example] [ 2 of 13] 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 #1 [sydtest-mutation-example] added mutation RemoveCase at src/Example/CaseLib.hs:7:19-16 #2 [sydtest-mutation-example] added mutation RemoveCase at src/Example/CaseLib.hs:7:19-16 #3 [sydtest-mutation-example] added 3 mutations in 1 groups [sydtest-mutation-example] [ 3 of 13] 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 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/DoLib.hs:14:10-14 #2 [sydtest-mutation-example] added mutation Negate at src/Example/DoLib.hs:14:10-14 #1 [sydtest-mutation-example] added mutation RemoveAction at src/Example/DoLib.hs:14:7-41 #1 [sydtest-mutation-example] added mutation RemoveAction at src/Example/DoLib.hs:12:10-16 #1 [sydtest-mutation-example] added 5 mutations in 4 groups [sydtest-mutation-example] [ 4 of 13] Compiling Example.ExceptionLib ( src/Example/ExceptionLib.hs, dist/build/Example/ExceptionLib.o, dist/build/Example/ExceptionLib.dyn_o ) [sydtest-mutation-example] mutation: skipping Example.ExceptionLib (DisableMutations) [sydtest-mutation-example] [ 5 of 13] 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 #1 [sydtest-mutation-example] added mutation IntLit at src/Example/FunctionExceptionLib.hs:15:29-30 #2 [sydtest-mutation-example] added 2 mutations in 1 groups [sydtest-mutation-example] [ 6 of 13] Compiling Example.IgnoreLib ( src/Example/IgnoreLib.hs, dist/build/Example/IgnoreLib.o, dist/build/Example/IgnoreLib.dyn_o ) [sydtest-mutation-example] mutation: instrumenting Example.IgnoreLib [sydtest-mutation-example] added 0 mutations in 0 groups [sydtest-mutation-example] [ 7 of 13] 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 #1 [sydtest-mutation-example] added mutation IntLit at src/Example/Lib.hs:8:16-17 #2 [sydtest-mutation-example] added mutation Arith at src/Example/Lib.hs:8:12-17 #1 [sydtest-mutation-example] added mutation Arith at src/Example/Lib.hs:8:12-17 #2 [sydtest-mutation-example] added 4 mutations in 2 groups [sydtest-mutation-example] [ 8 of 13] 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 #1 [sydtest-mutation-example] added mutation ListLit at src/Example/ListLib.hs:19:29-38 #2 [sydtest-mutation-example] added mutation ListLit at src/Example/ListLib.hs:19:29-38 #3 [sydtest-mutation-example] added mutation ListLit at src/Example/ListLib.hs:12:25-31 #1 [sydtest-mutation-example] added mutation ListLit at src/Example/ListLib.hs:12:25-31 #2 [sydtest-mutation-example] added 5 mutations in 2 groups [sydtest-mutation-example] [ 9 of 13] Compiling Example.LocalDisableLib ( src/Example/LocalDisableLib.hs, dist/build/Example/LocalDisableLib.o, dist/build/Example/LocalDisableLib.dyn_o ) [sydtest-mutation-example] mutation: instrumenting Example.LocalDisableLib [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:58:19-20 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:58:19-20 #2 [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:58:19-20 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:59:8-13 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:59:8-13 #2 [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:59:8-13 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:52:8-13 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:52:8-13 #2 [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:52:8-13 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:36:19-20 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:36:19-20 #2 [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:36:19-20 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:36:15-20 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:36:15-20 #2 [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:36:15-20 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:37:7-12 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:37:7-12 #2 [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:37:7-12 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:36:3-12 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:36:3-12 #2 [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:36:3-12 #1 [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:29:19-20 #1 [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:29:15-20 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:30:7-12 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:30:7-12 #2 [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:30:7-12 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:29:3-12 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:29:3-12 #2 [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:29:3-12 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:21:7-12 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:21:7-12 #2 [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:21:7-12 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:20:3-12 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:20:3-12 #2 [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:20:3-12 #1 [sydtest-mutation-example] added 35 mutations in 24 groups [sydtest-mutation-example] [10 of 13] 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 #1 [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:17:22-27 #1 [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:17:22-27 #2 [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:17:22-27 #3 [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:17:22-27 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:17:22-27 #2 [sydtest-mutation-example] added mutation Negate at src/Example/LogicLib.hs:17:22-27 #1 [sydtest-mutation-example] added mutation IntLit at src/Example/LogicLib.hs:17:35-36 #1 [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:17:31-36 #1 [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:17:31-36 #2 [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:17:31-36 #3 [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:17:31-36 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:17:31-36 #2 [sydtest-mutation-example] added mutation Negate at src/Example/LogicLib.hs:17:31-36 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:17:22-36 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:17:22-36 #2 [sydtest-mutation-example] added mutation LogicOp at src/Example/LogicLib.hs:17:22-36 #1 [sydtest-mutation-example] added mutation Negate at src/Example/LogicLib.hs:17:22-36 #1 [sydtest-mutation-example] added mutation IntLit at src/Example/LogicLib.hs:11:24-25 #1 [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:11:20-25 #1 [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:11:20-25 #2 [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:11:20-25 #3 [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:11:20-25 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:11:20-25 #2 [sydtest-mutation-example] added mutation Negate at src/Example/LogicLib.hs:11:20-25 #1 [sydtest-mutation-example] added mutation IntLit at src/Example/LogicLib.hs:11:33-34 #1 [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:11:29-34 #1 [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:11:29-34 #2 [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:11:29-34 #3 [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:11:29-34 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:11:29-34 #2 [sydtest-mutation-example] added mutation Negate at src/Example/LogicLib.hs:11:29-34 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:11:20-34 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:11:20-34 #2 [sydtest-mutation-example] added mutation LogicOp at src/Example/LogicLib.hs:11:20-34 #1 [sydtest-mutation-example] added mutation Negate at src/Example/LogicLib.hs:11:20-34 #1 [sydtest-mutation-example] added 36 mutations in 22 groups [sydtest-mutation-example] [11 of 13] 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 #1 [sydtest-mutation-example] added mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10 #1 [sydtest-mutation-example] added mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10 #2 [sydtest-mutation-example] added mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10 #3 [sydtest-mutation-example] added mutation ConstBool at src/Example/OtherwiseLib.hs:12:5-10 #1 [sydtest-mutation-example] added mutation Negate at src/Example/OtherwiseLib.hs:12:5-10 #1 [sydtest-mutation-example] added mutation IntLit at src/Example/OtherwiseLib.hs:13:10-11 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/OtherwiseLib.hs:13:5-11 #1 [sydtest-mutation-example] added mutation Negate at src/Example/OtherwiseLib.hs:13:5-11 #1 [sydtest-mutation-example] added 9 mutations in 7 groups [sydtest-mutation-example] [12 of 13] 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 in 0 groups [sydtest-mutation-example] [13 of 13] 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 13] 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 #1 [sydtest-mutation-example] added mutation MaybeOp at src/Example/BoolLib.hs:18:13-23 #1 [sydtest-mutation-example] added mutation BoolLit at src/Example/BoolLib.hs:12:17-21 #1 [sydtest-mutation-example] added mutation MaybeOp at src/Example/BoolLib.hs:12:12-21 #1 [sydtest-mutation-example] added 4 mutations in 4 groups [sydtest-mutation-example] [ 2 of 13] 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 #1 [sydtest-mutation-example] added mutation RemoveCase at src/Example/CaseLib.hs:7:19-16 #2 [sydtest-mutation-example] added mutation RemoveCase at src/Example/CaseLib.hs:7:19-16 #3 [sydtest-mutation-example] added 3 mutations in 1 groups [sydtest-mutation-example] [ 3 of 13] 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 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/DoLib.hs:14:10-14 #2 [sydtest-mutation-example] added mutation Negate at src/Example/DoLib.hs:14:10-14 #1 [sydtest-mutation-example] added mutation RemoveAction at src/Example/DoLib.hs:14:7-41 #1 [sydtest-mutation-example] added mutation RemoveAction at src/Example/DoLib.hs:12:10-16 #1 [sydtest-mutation-example] added 5 mutations in 4 groups [sydtest-mutation-example] [ 4 of 13] Compiling Example.ExceptionLib ( src/Example/ExceptionLib.hs, dist/build/Example/ExceptionLib.p_o ) [sydtest-mutation-example] mutation: skipping Example.ExceptionLib (DisableMutations) [sydtest-mutation-example] [ 5 of 13] 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 #1 [sydtest-mutation-example] added mutation IntLit at src/Example/FunctionExceptionLib.hs:15:29-30 #2 [sydtest-mutation-example] added 2 mutations in 1 groups [sydtest-mutation-example] [ 6 of 13] Compiling Example.IgnoreLib ( src/Example/IgnoreLib.hs, dist/build/Example/IgnoreLib.p_o ) [sydtest-mutation-example] mutation: instrumenting Example.IgnoreLib [sydtest-mutation-example] added 0 mutations in 0 groups [sydtest-mutation-example] [ 7 of 13] 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 #1 [sydtest-mutation-example] added mutation IntLit at src/Example/Lib.hs:8:16-17 #2 [sydtest-mutation-example] added mutation Arith at src/Example/Lib.hs:8:12-17 #1 [sydtest-mutation-example] added mutation Arith at src/Example/Lib.hs:8:12-17 #2 [sydtest-mutation-example] added 4 mutations in 2 groups [sydtest-mutation-example] [ 8 of 13] 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 #1 [sydtest-mutation-example] added mutation ListLit at src/Example/ListLib.hs:19:29-38 #2 [sydtest-mutation-example] added mutation ListLit at src/Example/ListLib.hs:19:29-38 #3 [sydtest-mutation-example] added mutation ListLit at src/Example/ListLib.hs:12:25-31 #1 [sydtest-mutation-example] added mutation ListLit at src/Example/ListLib.hs:12:25-31 #2 [sydtest-mutation-example] added 5 mutations in 2 groups [sydtest-mutation-example] [ 9 of 13] Compiling Example.LocalDisableLib ( src/Example/LocalDisableLib.hs, dist/build/Example/LocalDisableLib.p_o ) [sydtest-mutation-example] mutation: instrumenting Example.LocalDisableLib [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:58:19-20 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:58:19-20 #2 [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:58:19-20 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:59:8-13 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:59:8-13 #2 [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:59:8-13 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:52:8-13 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:52:8-13 #2 [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:52:8-13 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:36:19-20 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:36:19-20 #2 [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:36:19-20 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:36:15-20 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:36:15-20 #2 [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:36:15-20 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:37:7-12 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:37:7-12 #2 [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:37:7-12 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:36:3-12 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:36:3-12 #2 [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:36:3-12 #1 [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:29:19-20 #1 [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:29:15-20 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:30:7-12 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:30:7-12 #2 [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:30:7-12 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:29:3-12 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:29:3-12 #2 [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:29:3-12 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:21:7-12 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:21:7-12 #2 [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:21:7-12 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:20:3-12 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LocalDisableLib.hs:20:3-12 #2 [sydtest-mutation-example] added mutation Negate at src/Example/LocalDisableLib.hs:20:3-12 #1 [sydtest-mutation-example] added 35 mutations in 24 groups [sydtest-mutation-example] [10 of 13] 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 #1 [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:17:22-27 #1 [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:17:22-27 #2 [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:17:22-27 #3 [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:17:22-27 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:17:22-27 #2 [sydtest-mutation-example] added mutation Negate at src/Example/LogicLib.hs:17:22-27 #1 [sydtest-mutation-example] added mutation IntLit at src/Example/LogicLib.hs:17:35-36 #1 [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:17:31-36 #1 [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:17:31-36 #2 [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:17:31-36 #3 [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:17:31-36 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:17:31-36 #2 [sydtest-mutation-example] added mutation Negate at src/Example/LogicLib.hs:17:31-36 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:17:22-36 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:17:22-36 #2 [sydtest-mutation-example] added mutation LogicOp at src/Example/LogicLib.hs:17:22-36 #1 [sydtest-mutation-example] added mutation Negate at src/Example/LogicLib.hs:17:22-36 #1 [sydtest-mutation-example] added mutation IntLit at src/Example/LogicLib.hs:11:24-25 #1 [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:11:20-25 #1 [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:11:20-25 #2 [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:11:20-25 #3 [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:11:20-25 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:11:20-25 #2 [sydtest-mutation-example] added mutation Negate at src/Example/LogicLib.hs:11:20-25 #1 [sydtest-mutation-example] added mutation IntLit at src/Example/LogicLib.hs:11:33-34 #1 [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:11:29-34 #1 [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:11:29-34 #2 [sydtest-mutation-example] added mutation Cmp at src/Example/LogicLib.hs:11:29-34 #3 [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:11:29-34 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:11:29-34 #2 [sydtest-mutation-example] added mutation Negate at src/Example/LogicLib.hs:11:29-34 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:11:20-34 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/LogicLib.hs:11:20-34 #2 [sydtest-mutation-example] added mutation LogicOp at src/Example/LogicLib.hs:11:20-34 #1 [sydtest-mutation-example] added mutation Negate at src/Example/LogicLib.hs:11:20-34 #1 [sydtest-mutation-example] added 36 mutations in 22 groups [sydtest-mutation-example] [11 of 13] 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 #1 [sydtest-mutation-example] added mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10 #1 [sydtest-mutation-example] added mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10 #2 [sydtest-mutation-example] added mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10 #3 [sydtest-mutation-example] added mutation ConstBool at src/Example/OtherwiseLib.hs:12:5-10 #1 [sydtest-mutation-example] added mutation Negate at src/Example/OtherwiseLib.hs:12:5-10 #1 [sydtest-mutation-example] added mutation IntLit at src/Example/OtherwiseLib.hs:13:10-11 #1 [sydtest-mutation-example] added mutation ConstBool at src/Example/OtherwiseLib.hs:13:5-11 #1 [sydtest-mutation-example] added mutation Negate at src/Example/OtherwiseLib.hs:13:5-11 #1 [sydtest-mutation-example] added 9 mutations in 7 groups [sydtest-mutation-example] [12 of 13] 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 in 0 groups [sydtest-mutation-example] [13 of 13] 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/IgnoreLib.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/LocalDisableLib.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/70kyrz5q8gmnxbl6ylh0wmbzgankjmxr-sydtest-mutation-example-0.0.0.0-manifest: [sydtest-mutation-example] total 124 [sydtest-mutation-example] drwxr-xr-x 2 nixbld nixbld 4096 May 21 16:55 . [sydtest-mutation-example] drwxrwxr-t 314 nobody nixbld 36864 May 21 16:55 .. [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 2147 May 21 16:55 Example.BoolLib.json [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 1960 May 21 16:55 Example.CaseLib.json [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 2500 May 21 16:55 Example.DoLib.json [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 1480 May 21 16:55 Example.FunctionExceptionLib.json [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 2 May 21 16:55 Example.IgnoreLib.json [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 1948 May 21 16:55 Example.Lib.json [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 2862 May 21 16:55 Example.ListLib.json [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 20905 May 21 16:55 Example.LocalDisableLib.json [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 19039 May 21 16:55 Example.LogicLib.json [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 4652 May 21 16:55 Example.OtherwiseLib.json [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 2 May 21 16:55 Example.UntestedLib.json [sydtest-mutation-example] mutation-nix: building remaining configured 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/IgnoreLib.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/LocalDisableLib.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/91d7arnr67a37j84y5hnb8ndgxz5543v-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/91d7arnr67a37j84y5hnb8ndgxz5543v-sydtest-mutation-example-0.0.0.0 [sydtest-mutation-example] shrinking /nix/store/91d7arnr67a37j84y5hnb8ndgxz5543v-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/91d7arnr67a37j84y5hnb8ndgxz5543v-sydtest-mutation-example-0.0.0.0... [sydtest-mutation-example] patching script interpreter paths in /nix/store/91d7arnr67a37j84y5hnb8ndgxz5543v-sydtest-mutation-example-0.0.0.0 [sydtest-mutation-example] stripping (with command strip and flags -S -p) in /nix/store/91d7arnr67a37j84y5hnb8ndgxz5543v-sydtest-mutation-example-0.0.0.0/lib [sydtest-mutation-example] shrinking RPATHs of ELF executables and libraries in /nix/store/70kyrz5q8gmnxbl6ylh0wmbzgankjmxr-sydtest-mutation-example-0.0.0.0-manifest [sydtest-mutation-example] checking for references to /build/ in /nix/store/70kyrz5q8gmnxbl6ylh0wmbzgankjmxr-sydtest-mutation-example-0.0.0.0-manifest... [sydtest-mutation-example] patching script interpreter paths in /nix/store/70kyrz5q8gmnxbl6ylh0wmbzgankjmxr-sydtest-mutation-example-0.0.0.0-manifest Progress: 3 of 10 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/l7cj46f5x7fwpwhnc41cp97411qi5dd8-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.Ei236l7AGs/setup-package.conf.d -threaded [sydtest-mutation-example-gen-source] [1 of 2] Compiling Main ( /nix/store/4mdp8nhyfddh7bllbi7xszz7k9955n79-Setup.hs, /build/tmp.Ei236l7AGs/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/9fxk1mw4rnp6lyd25chpchf240ig33gh-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.Ei236l7AGs/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.24.0.0 [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-JxSUa2wGt1oPgoFv4xQ3g [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-Dwfg7WjMmoFHv47yTv1zt5-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.24.0.0-9vPdDmJweex6DRxQPlMx7h [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-JxSUa2wGt1oPgoFv4xQ3g [sydtest-mutation-example-gen-source] Linked component graph: [sydtest-mutation-example-gen-source]  unit sydtest-mutation-example-gen-0.0.0.0-JxSUa2wGt1oPgoFv4xQ3g [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-JxSUa2wGt1oPgoFv4xQ3g:Example.Gen [sydtest-mutation-example-gen-source]  unit sydtest-mutation-example-gen-0.0.0.0-Dwfg7WjMmoFHv47yTv1zt5-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.24.0.0-9vPdDmJweex6DRxQPlMx7h [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-JxSUa2wGt1oPgoFv4xQ3g [sydtest-mutation-example-gen-source] Ready component graph: [sydtest-mutation-example-gen-source]  definite sydtest-mutation-example-gen-0.0.0.0-JxSUa2wGt1oPgoFv4xQ3g [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-Dwfg7WjMmoFHv47yTv1zt5-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.24.0.0-9vPdDmJweex6DRxQPlMx7h [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-JxSUa2wGt1oPgoFv4xQ3g [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/9fxk1mw4rnp6lyd25chpchf240ig33gh-sydtest-mutation-example-gen-source-0.0.0.0 [sydtest-mutation-example-gen-source] Executables installed in: [sydtest-mutation-example-gen-source] /nix/store/9fxk1mw4rnp6lyd25chpchf240ig33gh-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/9fxk1mw4rnp6lyd25chpchf240ig33gh-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-JxSUa2wGt1oPgoFv4xQ3g [sydtest-mutation-example-gen-source] Dynamic Libraries installed in: [sydtest-mutation-example-gen-source] /nix/store/9fxk1mw4rnp6lyd25chpchf240ig33gh-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/9fxk1mw4rnp6lyd25chpchf240ig33gh-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/9fxk1mw4rnp6lyd25chpchf240ig33gh-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/9fxk1mw4rnp6lyd25chpchf240ig33gh-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] [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 Progress: 4 of 9 built Building sydtest-mutation-example-gen Building sydtest-mutation-example-gen-resource-dir-source [sydtest-mutation-example-gen-resource-dir-source] Phase: unpackPhase [sydtest-mutation-example-gen-resource-dir-source] unpacking source archive /nix/store/9fxk1mw4rnp6lyd25chpchf240ig33gh-sydtest-mutation-example-gen-source-0.0.0.0/sydtest-mutation-example-gen-0.0.0.0.tar.gz [sydtest-mutation-example-gen-resource-dir-source] source root is sydtest-mutation-example-gen-0.0.0.0 [sydtest-mutation-example-gen-resource-dir-source] setting SOURCE_DATE_EPOCH to timestamp 1779382538 of file "sydtest-mutation-example-gen-0.0.0.0/test/Spec.hs" [sydtest-mutation-example-gen-resource-dir-source] warning: file "sydtest-mutation-example-gen-0.0.0.0/test/Spec.hs" may be generated; SOURCE_DATE_EPOCH may be non-deterministic [sydtest-mutation-example-gen-resource-dir-source] Phase: patchPhase [sydtest-mutation-example-gen-resource-dir-source] Phase: installPhase Progress: 5 of 9 built (1 building) [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/9fxk1mw4rnp6lyd25chpchf240ig33gh-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 1779382538 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.QBPBjtJYzs/setup-package.conf.d -threaded [sydtest-mutation-example-gen] [1 of 2] Compiling Main ( Setup.hs, /build/tmp.QBPBjtJYzs/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/3jysip8crpslr88xhgsfi3xvbxz29v68-sydtest-mutation-example-gen-0.0.0.0 --libdir=$prefix/lib/$compiler/lib --libsubdir=$abi/$libname --docdir=/nix/store/c6qv2j90x50dsx83bfabv66waw2638bl-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.QBPBjtJYzs/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.24.0.0 [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-JxSUa2wGt1oPgoFv4xQ3g [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-Dwfg7WjMmoFHv47yTv1zt5-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.24.0.0-9vPdDmJweex6DRxQPlMx7h [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-JxSUa2wGt1oPgoFv4xQ3g [sydtest-mutation-example-gen] Linked component graph: [sydtest-mutation-example-gen]  unit sydtest-mutation-example-gen-0.0.0.0-JxSUa2wGt1oPgoFv4xQ3g [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-JxSUa2wGt1oPgoFv4xQ3g:Example.Gen [sydtest-mutation-example-gen]  unit sydtest-mutation-example-gen-0.0.0.0-Dwfg7WjMmoFHv47yTv1zt5-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.24.0.0-9vPdDmJweex6DRxQPlMx7h [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-JxSUa2wGt1oPgoFv4xQ3g [sydtest-mutation-example-gen] Ready component graph: [sydtest-mutation-example-gen]  definite sydtest-mutation-example-gen-0.0.0.0-JxSUa2wGt1oPgoFv4xQ3g [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-Dwfg7WjMmoFHv47yTv1zt5-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.24.0.0-9vPdDmJweex6DRxQPlMx7h [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-JxSUa2wGt1oPgoFv4xQ3g [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/3jysip8crpslr88xhgsfi3xvbxz29v68-sydtest-mutation-example-gen-0.0.0.0 [sydtest-mutation-example-gen] Executables installed in: [sydtest-mutation-example-gen] /nix/store/3jysip8crpslr88xhgsfi3xvbxz29v68-sydtest-mutation-example-gen-0.0.0.0/bin [sydtest-mutation-example-gen] Libraries installed in: [sydtest-mutation-example-gen] /nix/store/3jysip8crpslr88xhgsfi3xvbxz29v68-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-JxSUa2wGt1oPgoFv4xQ3g [sydtest-mutation-example-gen] Dynamic Libraries installed in: [sydtest-mutation-example-gen] /nix/store/3jysip8crpslr88xhgsfi3xvbxz29v68-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/3jysip8crpslr88xhgsfi3xvbxz29v68-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/3jysip8crpslr88xhgsfi3xvbxz29v68-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/c6qv2j90x50dsx83bfabv66waw2638bl-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/3jysip8crpslr88xhgsfi3xvbxz29v68-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 12] 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 12] 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 12] 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 12] 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 12] 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 12] 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 12] 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 12] Compiling Example.LocalDisableLibSpec ( test/Example/LocalDisableLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/LocalDisableLibSpec.o ) [sydtest-mutation-example-gen] [ 9 of 12] Compiling Example.LogicLibSpec ( test/Example/LogicLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/LogicLibSpec.o ) [sydtest-mutation-example-gen] [10 of 12] Compiling Example.OtherwiseLibSpec ( test/Example/OtherwiseLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/OtherwiseLibSpec.o ) [sydtest-mutation-example-gen] [11 of 12] Compiling Main ( test/Spec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Main.o ) [sydtest-mutation-example-gen] [12 of 12] Compiling Paths_sydtest_mutation_example_gen ( dist/build/sydtest-mutation-example-gen-test/autogen/Paths_sydtest_mutation_example_gen.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Paths_sydtest_mutation_example_gen.o ) [sydtest-mutation-example-gen] [13 of 13] Linking dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test [sydtest-mutation-example-gen] Phase: checkPhase [sydtest-mutation-example-gen] no Makefile or custom checkPhase, doing nothing [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/3jysip8crpslr88xhgsfi3xvbxz29v68-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-JxSUa2wGt1oPgoFv4xQ3g [sydtest-mutation-example-gen] Phase: fixupPhase [sydtest-mutation-example-gen] shrinking RPATHs of ELF executables and libraries in /nix/store/3jysip8crpslr88xhgsfi3xvbxz29v68-sydtest-mutation-example-gen-0.0.0.0 [sydtest-mutation-example-gen] shrinking /nix/store/3jysip8crpslr88xhgsfi3xvbxz29v68-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-JxSUa2wGt1oPgoFv4xQ3g-ghc9.10.3.so [sydtest-mutation-example-gen] shrinking /nix/store/3jysip8crpslr88xhgsfi3xvbxz29v68-sydtest-mutation-example-gen-0.0.0.0/test/sydtest-mutation-example-gen-test [sydtest-mutation-example-gen] checking for references to /build/ in /nix/store/3jysip8crpslr88xhgsfi3xvbxz29v68-sydtest-mutation-example-gen-0.0.0.0... [sydtest-mutation-example-gen] patching script interpreter paths in /nix/store/3jysip8crpslr88xhgsfi3xvbxz29v68-sydtest-mutation-example-gen-0.0.0.0 [sydtest-mutation-example-gen] stripping (with command strip and flags -S -p) in /nix/store/3jysip8crpslr88xhgsfi3xvbxz29v68-sydtest-mutation-example-gen-0.0.0.0/lib [sydtest-mutation-example-gen] shrinking RPATHs of ELF executables and libraries in /nix/store/c6qv2j90x50dsx83bfabv66waw2638bl-sydtest-mutation-example-gen-0.0.0.0-doc [sydtest-mutation-example-gen] checking for references to /build/ in /nix/store/c6qv2j90x50dsx83bfabv66waw2638bl-sydtest-mutation-example-gen-0.0.0.0-doc... [sydtest-mutation-example-gen] patching script interpreter paths in /nix/store/c6qv2j90x50dsx83bfabv66waw2638bl-sydtest-mutation-example-gen-0.0.0.0-doc Progress: 6 of 9 built Building sydtest-mutation-example-mutation-report [sydtest-mutation-example-mutation-report] Phase: patchPhase [sydtest-mutation-example-mutation-report] Phase: updateAutotoolsGnuConfigScriptsPhase [sydtest-mutation-example-mutation-report] Phase: configurePhase [sydtest-mutation-example-mutation-report] no configure script, doing nothing [sydtest-mutation-example-mutation-report] Phase: buildPhase [sydtest-mutation-example-mutation-report] coverage (1/42): running Example\.DoLibSpec.greet.greets quietly [sydtest-mutation-example-mutation-report] coverage (2/42): running Example\.DoLibSpec.greet.greets loudly [sydtest-mutation-example-mutation-report] coverage (3/42): running Example\.ExceptionLibSpec.addOneModuleDisabled.increments by one [sydtest-mutation-example-mutation-report] coverage (4/42): running Example\.LocalDisableLibSpec.withInnerKept.is True when given False [sydtest-mutation-example-mutation-report] coverage (3/42): done Example\.ExceptionLibSpec.addOneModuleDisabled.increments by one (0 mutations) [sydtest-mutation-example-mutation-report] coverage (5/42): running Example\.LocalDisableLibSpec.withInnerKept.is False when given True [sydtest-mutation-example-mutation-report] coverage (1/42): done Example\.DoLibSpec.greet.greets quietly (5 mutations) [sydtest-mutation-example-mutation-report] coverage (6/42): running Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is False when given True [sydtest-mutation-example-mutation-report] coverage (4/42): done Example\.LocalDisableLibSpec.withInnerKept.is True when given False (12 mutations) [sydtest-mutation-example-mutation-report] coverage (7/42): running Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is True when given False [sydtest-mutation-example-mutation-report] coverage (2/42): done Example\.DoLibSpec.greet.greets loudly (5 mutations) [sydtest-mutation-example-mutation-report] coverage (8/42): running Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (False -> True) [sydtest-mutation-example-mutation-report] coverage (5/42): done Example\.LocalDisableLibSpec.withInnerKept.is False when given True (12 mutations) [sydtest-mutation-example-mutation-report] coverage (9/42): running Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (True -> False) [sydtest-mutation-example-mutation-report] coverage (7/42): done Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is True when given False (8 mutations) [sydtest-mutation-example-mutation-report] coverage (10/42): running Example\.LocalDisableLibSpec.withInnerDisabled.is False when given True [sydtest-mutation-example-mutation-report] coverage (8/42): done Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (False -> True) (6 mutations) [sydtest-mutation-example-mutation-report] coverage (11/42): running Example\.LocalDisableLibSpec.withInnerDisabled.is True when given False [sydtest-mutation-example-mutation-report] coverage (6/42): done Example\.LocalDisableLibSpec.withInnerBoolLitDisabled.is False when given True (8 mutations) [sydtest-mutation-example-mutation-report] coverage (12/42): running Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (False -> True) [sydtest-mutation-example-mutation-report] coverage (9/42): done Example\.LocalDisableLibSpec.withBindKept.passes the input through the toggle function (True -> False) (6 mutations) [sydtest-mutation-example-mutation-report] coverage (10/42): done Example\.LocalDisableLibSpec.withInnerDisabled.is False when given True (6 mutations) [sydtest-mutation-example-mutation-report] coverage (15/42): running Example\.BoolLibSpec.wrapFalse.is Just False [sydtest-mutation-example-mutation-report] coverage (13/42): running Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (True -> False) [sydtest-mutation-example-mutation-report] coverage (11/42): done Example\.LocalDisableLibSpec.withInnerDisabled.is True when given False (6 mutations) [sydtest-mutation-example-mutation-report] coverage (14/42): running Example\.BoolLibSpec.wrapTrue.is Just True [sydtest-mutation-example-mutation-report] coverage (12/42): done Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (False -> True) (3 mutations) [sydtest-mutation-example-mutation-report] coverage (17/42): running Example\.BoolLibSpec.negateWrapped.leaves Nothing as Nothing [sydtest-mutation-example-mutation-report] coverage (15/42): done Example\.BoolLibSpec.wrapFalse.is Just False (2 mutations) [sydtest-mutation-example-mutation-report] coverage (16/42): running Example\.BoolLibSpec.negateWrapped.negates Just True to Just False [sydtest-mutation-example-mutation-report] coverage (13/42): done Example\.LocalDisableLibSpec.withBindDisabled.passes the input through the toggle function (True -> False) (3 mutations) [sydtest-mutation-example-mutation-report] coverage (18/42): running Example\.BoolLibSpec.negateWrapped.negates Just False to Just True [sydtest-mutation-example-mutation-report] coverage (14/42): done Example\.BoolLibSpec.wrapTrue.is Just True (2 mutations) [sydtest-mutation-example-mutation-report] coverage (19/42): running Example\.ListLibSpec.pairConcat.preserves the order [sydtest-mutation-example-mutation-report] coverage (17/42): done Example\.BoolLibSpec.negateWrapped.leaves Nothing as Nothing (0 mutations) [sydtest-mutation-example-mutation-report] coverage (20/42): running Example\.ListLibSpec.pairConcat.concatenates both arguments [sydtest-mutation-example-mutation-report] coverage (16/42): done Example\.BoolLibSpec.negateWrapped.negates Just True to Just False (0 mutations) [sydtest-mutation-example-mutation-report] coverage (21/42): running Example\.ListLibSpec.tripleConcat.distinguishes the last element [sydtest-mutation-example-mutation-report] coverage (18/42): done Example\.BoolLibSpec.negateWrapped.negates Just False to Just True (0 mutations) [sydtest-mutation-example-mutation-report] coverage (22/42): running Example\.ListLibSpec.tripleConcat.distinguishes the first element [sydtest-mutation-example-mutation-report] coverage (19/42): done Example\.ListLibSpec.pairConcat.preserves the order (2 mutations) [sydtest-mutation-example-mutation-report] coverage (23/42): running Example\.ListLibSpec.tripleConcat.concatenates all three arguments [sydtest-mutation-example-mutation-report] coverage (20/42): done Example\.ListLibSpec.pairConcat.concatenates both arguments (2 mutations) [sydtest-mutation-example-mutation-report] coverage (24/42): running Example\.CaseLibSpec.describeList.describes singleton lists [sydtest-mutation-example-mutation-report] coverage (22/42): done Example\.ListLibSpec.tripleConcat.distinguishes the first element (3 mutations) [sydtest-mutation-example-mutation-report] coverage (25/42): running Example\.CaseLibSpec.describeList.describes longer lists [sydtest-mutation-example-mutation-report] coverage (21/42): done Example\.ListLibSpec.tripleConcat.distinguishes the last element (3 mutations) [sydtest-mutation-example-mutation-report] coverage (26/42): running Example\.CaseLibSpec.describeList.describes empty lists [sydtest-mutation-example-mutation-report] coverage (23/42): done Example\.ListLibSpec.tripleConcat.concatenates all three arguments (3 mutations) [sydtest-mutation-example-mutation-report] coverage (27/42): running Example\.LibSpec.addOne.returns 6 for input 5 [sydtest-mutation-example-mutation-report] coverage (24/42): done Example\.CaseLibSpec.describeList.describes singleton lists (3 mutations) [sydtest-mutation-example-mutation-report] coverage (28/42): running Example\.LibSpec.addOne.returns 2 for input 1 [sydtest-mutation-example-mutation-report] coverage (25/42): done Example\.CaseLibSpec.describeList.describes longer lists (3 mutations) [sydtest-mutation-example-mutation-report] coverage (30/42): running Example\.OtherwiseLibSpec.classify.classifies positive numbers [sydtest-mutation-example-mutation-report] coverage (27/42): done Example\.LibSpec.addOne.returns 6 for input 5 (4 mutations) [sydtest-mutation-example-mutation-report] coverage (33/42): running Example\.FunctionExceptionLibSpec.addOneArithAndIntLitDisabled.increments by one [sydtest-mutation-example-mutation-report] coverage (28/42): done Example\.LibSpec.addOne.returns 2 for input 1 (4 mutations) [sydtest-mutation-example-mutation-report] coverage (31/42): running Example\.OtherwiseLibSpec.classify.classifies zero [sydtest-mutation-example-mutation-report] coverage (26/42): done Example\.CaseLibSpec.describeList.describes empty lists (3 mutations) [sydtest-mutation-example-mutation-report] coverage (29/42): running Example\.OtherwiseLibSpec.classify.classifies negative numbers [sydtest-mutation-example-mutation-report] coverage (31/42): done Example\.OtherwiseLibSpec.classify.classifies zero (9 mutations) [sydtest-mutation-example-mutation-report] coverage (32/42): running Example\.FunctionExceptionLibSpec.addOneArithDisabled.increments by one [sydtest-mutation-example-mutation-report] coverage (30/42): done Example\.OtherwiseLibSpec.classify.classifies positive numbers (9 mutations) [sydtest-mutation-example-mutation-report] coverage (34/42): running Example\.FunctionExceptionLibSpec.addOneFunctionDisabled.increments by one [sydtest-mutation-example-mutation-report] coverage (33/42): done Example\.FunctionExceptionLibSpec.addOneArithAndIntLitDisabled.increments by one (0 mutations) [sydtest-mutation-example-mutation-report] coverage (37/42): running Example\.LogicLibSpec.eitherPositive.is True when only the first is positive [sydtest-mutation-example-mutation-report] coverage (29/42): done Example\.OtherwiseLibSpec.classify.classifies negative numbers (6 mutations) [sydtest-mutation-example-mutation-report] coverage (35/42): running Example\.LogicLibSpec.eitherPositive.is True when only the second is positive [sydtest-mutation-example-mutation-report] coverage (32/42): done Example\.FunctionExceptionLibSpec.addOneArithDisabled.increments by one (2 mutations) [sydtest-mutation-example-mutation-report] coverage (36/42): running Example\.LogicLibSpec.eitherPositive.is False when neither is positive [sydtest-mutation-example-mutation-report] coverage (34/42): done Example\.FunctionExceptionLibSpec.addOneFunctionDisabled.increments by one (0 mutations) [sydtest-mutation-example-mutation-report] coverage (39/42): running Example\.LogicLibSpec.bothPositive.is False when only the first is positive [sydtest-mutation-example-mutation-report] coverage (37/42): done Example\.LogicLibSpec.eitherPositive.is True when only the first is positive (11 mutations) [sydtest-mutation-example-mutation-report] coverage (40/42): running Example\.LogicLibSpec.bothPositive.is True when both are positive [sydtest-mutation-example-mutation-report] coverage (35/42): done Example\.LogicLibSpec.eitherPositive.is True when only the second is positive (18 mutations) [sydtest-mutation-example-mutation-report] coverage (41/42): running Example\.LogicLibSpec.bothPositive.is False when only the second is positive [sydtest-mutation-example-mutation-report] coverage (36/42): done Example\.LogicLibSpec.eitherPositive.is False when neither is positive (18 mutations) [sydtest-mutation-example-mutation-report] coverage (38/42): running Example\.LogicLibSpec.eitherPositive.is True when both are positive [sydtest-mutation-example-mutation-report] coverage (39/42): done Example\.LogicLibSpec.bothPositive.is False when only the first is positive (18 mutations) [sydtest-mutation-example-mutation-report] coverage (42/42): running Example\.LogicLibSpec.bothPositive.is False when neither is positive [sydtest-mutation-example-mutation-report] coverage (40/42): done Example\.LogicLibSpec.bothPositive.is True when both are positive (18 mutations) [sydtest-mutation-example-mutation-report] coverage (41/42): done Example\.LogicLibSpec.bothPositive.is False when only the second is positive (11 mutations) [sydtest-mutation-example-mutation-report] coverage (38/42): done Example\.LogicLibSpec.eitherPositive.is True when both are positive (11 mutations) [sydtest-mutation-example-mutation-report] coverage (42/42): done Example\.LogicLibSpec.bothPositive.is False when neither is positive (11 mutations) [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/LogicLib.hs:17:26-27 #1 [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative. [sydtest-mutation-example-mutation-report]  eitherPositive :: Int -> Int -> Bool [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0 [sydtest-mutation-example-mutation-report] +eitherPositive a b = a > 1 || b > 0 [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/LogicLib.hs:17:35-36 #1 [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative. [sydtest-mutation-example-mutation-report]  eitherPositive :: Int -> Int -> Bool [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0 [sydtest-mutation-example-mutation-report] +eitherPositive a b = a > 0 || b > 1 [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:17:22-27 #1 [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative. [sydtest-mutation-example-mutation-report]  eitherPositive :: Int -> Int -> Bool [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0 [sydtest-mutation-example-mutation-report] +eitherPositive a b = a < 0 || b > 0 [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:17:31-36 #1 [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative. [sydtest-mutation-example-mutation-report]  eitherPositive :: Int -> Int -> Bool [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0 [sydtest-mutation-example-mutation-report] +eitherPositive a b = a > 0 || b < 0 [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-27 #1 [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative. [sydtest-mutation-example-mutation-report]  eitherPositive :: Int -> Int -> Bool [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0 [sydtest-mutation-example-mutation-report] +eitherPositive a b = True || b > 0 [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:17:31-36 #1 [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative. [sydtest-mutation-example-mutation-report]  eitherPositive :: Int -> Int -> Bool [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0 [sydtest-mutation-example-mutation-report] +eitherPositive a b = a > 0 || True [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LogicLib.hs:17:22-27 #1 [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative. [sydtest-mutation-example-mutation-report]  eitherPositive :: Int -> Int -> Bool [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0 [sydtest-mutation-example-mutation-report] +eitherPositive a b = not (a > 0) || b > 0 [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LogicLib.hs:17:31-36 #1 [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative. [sydtest-mutation-example-mutation-report]  eitherPositive :: Int -> Int -> Bool [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0 [sydtest-mutation-example-mutation-report] +eitherPositive a b = a > 0 || not (b > 0) [sydtest-mutation-example-mutation-report] Testing mutation LogicOp at src/Example/LogicLib.hs:17:22-36 #1 [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative. [sydtest-mutation-example-mutation-report]  eitherPositive :: Int -> Int -> Bool [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0 [sydtest-mutation-example-mutation-report] +eitherPositive a b = a > 0 && b > 0 [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LogicLib.hs:17:22-36 #1 [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative. [sydtest-mutation-example-mutation-report]  eitherPositive :: Int -> Int -> Bool [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0 [sydtest-mutation-example-mutation-report] +eitherPositive a b = not (a > 0 || b > 0) [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-25 #1 [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative. [sydtest-mutation-example-mutation-report]  bothPositive :: Int -> Int -> Bool [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0 [sydtest-mutation-example-mutation-report] +bothPositive a b = True && b > 0 [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | True iff at least one argument is strictly positive. [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:11:20-25 #1 [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative. [sydtest-mutation-example-mutation-report]  bothPositive :: Int -> Int -> Bool [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0 [sydtest-mutation-example-mutation-report] +bothPositive a b = a < 0 && b > 0 [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | True iff at least one argument is strictly positive. [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-36 #1 [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative. [sydtest-mutation-example-mutation-report]  eitherPositive :: Int -> Int -> Bool [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0 [sydtest-mutation-example-mutation-report] +eitherPositive a b = True [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LogicLib.hs:11:20-25 #1 [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative. [sydtest-mutation-example-mutation-report]  bothPositive :: Int -> Int -> Bool [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0 [sydtest-mutation-example-mutation-report] +bothPositive a b = not (a > 0) && b > 0 [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | True iff at least one argument is strictly positive. [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/LogicLib.hs:11:24-25 #1 [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative. [sydtest-mutation-example-mutation-report]  bothPositive :: Int -> Int -> Bool [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0 [sydtest-mutation-example-mutation-report] +bothPositive a b = a > 1 && b > 0 [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | True iff at least one argument is strictly positive. [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:11:29-34 #1 [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative. [sydtest-mutation-example-mutation-report]  bothPositive :: Int -> Int -> Bool [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0 [sydtest-mutation-example-mutation-report] +bothPositive a b = a > 0 && b < 0 [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | True iff at least one argument is strictly positive. [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LogicLib.hs:11:29-34 #1 [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative. [sydtest-mutation-example-mutation-report]  bothPositive :: Int -> Int -> Bool [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0 [sydtest-mutation-example-mutation-report] +bothPositive a b = a > 0 && not (b > 0) [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | True iff at least one argument is strictly positive. [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/LogicLib.hs:11:33-34 #1 [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative. [sydtest-mutation-example-mutation-report]  bothPositive :: Int -> Int -> Bool [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0 [sydtest-mutation-example-mutation-report] +bothPositive a b = a > 0 && b > 1 [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | True iff at least one argument is strictly positive. [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:11:29-34 #1 [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative. [sydtest-mutation-example-mutation-report]  bothPositive :: Int -> Int -> Bool [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0 [sydtest-mutation-example-mutation-report] +bothPositive a b = a > 0 && True [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | True iff at least one argument is strictly positive. [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report] Testing mutation LogicOp at src/Example/LogicLib.hs:11:20-34 #1 [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative. [sydtest-mutation-example-mutation-report]  bothPositive :: Int -> Int -> Bool [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0 [sydtest-mutation-example-mutation-report] +bothPositive a b = a > 0 || b > 0 [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | True iff at least one argument is strictly positive. [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report] Testing mutation BoolLit at src/Example/BoolLib.hs:18:18-23 #1 [sydtest-mutation-example-mutation-report] @@ -15,7 +15,7 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: BoolLit/ConstBool on the inner False, MaybeOp on Just False. [sydtest-mutation-example-mutation-report]  wrapFalse :: Maybe Bool [sydtest-mutation-example-mutation-report] -wrapFalse = Just False [sydtest-mutation-example-mutation-report] +wrapFalse = Just True [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | Negates a wrapped boolean. [sydtest-mutation-example-mutation-report]  negateWrapped :: Maybe Bool -> Maybe Bool [sydtest-mutation-example-mutation-report] Testing mutation MaybeOp at src/Example/BoolLib.hs:18:13-23 #1 [sydtest-mutation-example-mutation-report] @@ -15,7 +15,7 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: BoolLit/ConstBool on the inner False, MaybeOp on Just False. [sydtest-mutation-example-mutation-report]  wrapFalse :: Maybe Bool [sydtest-mutation-example-mutation-report] -wrapFalse = Just False [sydtest-mutation-example-mutation-report] +wrapFalse = Nothing [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | Negates a wrapped boolean. [sydtest-mutation-example-mutation-report]  negateWrapped :: Maybe Bool -> Maybe Bool [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/Lib.hs:8:16-17 #1 [sydtest-mutation-example-mutation-report] @@ -5,4 +5,4 @@ [sydtest-mutation-example-mutation-report]  -- The literal '1' here is a mutation site: the plugin will also compile a [sydtest-mutation-example-mutation-report]  -- version where this returns @n + 0@ instead of @n + 1@. [sydtest-mutation-example-mutation-report]  addOne :: Int -> Int [sydtest-mutation-example-mutation-report] -addOne n = n + 1 [sydtest-mutation-example-mutation-report] +addOne n = n + 0 [sydtest-mutation-example-mutation-report] Testing mutation BoolLit at src/Example/BoolLib.hs:12:17-21 #1 [sydtest-mutation-example-mutation-report] @@ -9,7 +9,7 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: BoolLit/ConstBool on the inner True, MaybeOp on Just True. [sydtest-mutation-example-mutation-report]  wrapTrue :: Maybe Bool [sydtest-mutation-example-mutation-report] -wrapTrue = Just True [sydtest-mutation-example-mutation-report] +wrapTrue = Just False [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | Wraps False in Just. [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report] Testing mutation Arith at src/Example/Lib.hs:8:12-17 #1 [sydtest-mutation-example-mutation-report] @@ -5,4 +5,4 @@ [sydtest-mutation-example-mutation-report]  -- The literal '1' here is a mutation site: the plugin will also compile a [sydtest-mutation-example-mutation-report]  -- version where this returns @n + 0@ instead of @n + 1@. [sydtest-mutation-example-mutation-report]  addOne :: Int -> Int [sydtest-mutation-example-mutation-report] -addOne n = n + 1 [sydtest-mutation-example-mutation-report] +addOne n = n - 1 [sydtest-mutation-example-mutation-report] Testing mutation MaybeOp at src/Example/BoolLib.hs:12:12-21 #1 [sydtest-mutation-example-mutation-report] @@ -9,7 +9,7 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: BoolLit/ConstBool on the inner True, MaybeOp on Just True. [sydtest-mutation-example-mutation-report]  wrapTrue :: Maybe Bool [sydtest-mutation-example-mutation-report] -wrapTrue = Just True [sydtest-mutation-example-mutation-report] +wrapTrue = Nothing [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | Wraps False in Just. [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LogicLib.hs:11:20-34 #1 [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative. [sydtest-mutation-example-mutation-report]  bothPositive :: Int -> Int -> Bool [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0 [sydtest-mutation-example-mutation-report] +bothPositive a b = not (a > 0 && b > 0) [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | True iff at least one argument is strictly positive. [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-34 #1 [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative. [sydtest-mutation-example-mutation-report]  bothPositive :: Int -> Int -> Bool [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0 [sydtest-mutation-example-mutation-report] +bothPositive a b = True [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | True iff at least one argument is strictly positive. [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/OtherwiseLib.hs:12:9-10 #1 [sydtest-mutation-example-mutation-report] @@ -9,6 +9,6 @@ [sydtest-mutation-example-mutation-report]  -- (otherwise = True, so @otherwise -> True@ is a semantic no-op). [sydtest-mutation-example-mutation-report]  classify :: Int -> String [sydtest-mutation-example-mutation-report]  classify n [sydtest-mutation-example-mutation-report] - | n < 0 = "negative" [sydtest-mutation-example-mutation-report] + | n < 1 = "negative" [sydtest-mutation-example-mutation-report]  | n == 0 = "zero" [sydtest-mutation-example-mutation-report]  | otherwise = "positive" [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10 #1 [sydtest-mutation-example-mutation-report] @@ -9,6 +9,6 @@ [sydtest-mutation-example-mutation-report]  -- (otherwise = True, so @otherwise -> True@ is a semantic no-op). [sydtest-mutation-example-mutation-report]  classify :: Int -> String [sydtest-mutation-example-mutation-report]  classify n [sydtest-mutation-example-mutation-report] - | n < 0 = "negative" [sydtest-mutation-example-mutation-report] + | n <= 0 = "negative" [sydtest-mutation-example-mutation-report]  | n == 0 = "zero" [sydtest-mutation-example-mutation-report]  | otherwise = "positive" [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/OtherwiseLib.hs:12:5-10 #1 [sydtest-mutation-example-mutation-report] @@ -9,6 +9,6 @@ [sydtest-mutation-example-mutation-report]  -- (otherwise = True, so @otherwise -> True@ is a semantic no-op). [sydtest-mutation-example-mutation-report]  classify :: Int -> String [sydtest-mutation-example-mutation-report]  classify n [sydtest-mutation-example-mutation-report] - | n < 0 = "negative" [sydtest-mutation-example-mutation-report] + | True = "negative" [sydtest-mutation-example-mutation-report]  | n == 0 = "zero" [sydtest-mutation-example-mutation-report]  | otherwise = "positive" [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/OtherwiseLib.hs:12:5-10 #1 [sydtest-mutation-example-mutation-report] @@ -9,6 +9,6 @@ [sydtest-mutation-example-mutation-report]  -- (otherwise = True, so @otherwise -> True@ is a semantic no-op). [sydtest-mutation-example-mutation-report]  classify :: Int -> String [sydtest-mutation-example-mutation-report]  classify n [sydtest-mutation-example-mutation-report] - | n < 0 = "negative" [sydtest-mutation-example-mutation-report] + | not (n < 0) = "negative" [sydtest-mutation-example-mutation-report]  | n == 0 = "zero" [sydtest-mutation-example-mutation-report]  | otherwise = "positive" [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/OtherwiseLib.hs:13:10-11 #1 [sydtest-mutation-example-mutation-report] @@ -10,5 +10,5 @@ [sydtest-mutation-example-mutation-report]  classify :: Int -> String [sydtest-mutation-example-mutation-report]  classify n [sydtest-mutation-example-mutation-report]  | n < 0 = "negative" [sydtest-mutation-example-mutation-report] - | n == 0 = "zero" [sydtest-mutation-example-mutation-report] + | n == 1 = "zero" [sydtest-mutation-example-mutation-report]  | otherwise = "positive" [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/OtherwiseLib.hs:13:5-11 #1 [sydtest-mutation-example-mutation-report] @@ -10,5 +10,5 @@ [sydtest-mutation-example-mutation-report]  classify :: Int -> String [sydtest-mutation-example-mutation-report]  classify n [sydtest-mutation-example-mutation-report]  | n < 0 = "negative" [sydtest-mutation-example-mutation-report] - | n == 0 = "zero" [sydtest-mutation-example-mutation-report] + | True = "zero" [sydtest-mutation-example-mutation-report]  | otherwise = "positive" [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/DoLib.hs:14:10-14 #1 [sydtest-mutation-example-mutation-report] @@ -11,5 +11,5 @@ [sydtest-mutation-example-mutation-report]  go :: Writer String () [sydtest-mutation-example-mutation-report]  go = do [sydtest-mutation-example-mutation-report]  tell "Hello" [sydtest-mutation-example-mutation-report] - if loud then tell "!" else pure () [sydtest-mutation-example-mutation-report] + if True then tell "!" else pure () [sydtest-mutation-example-mutation-report]  tell "\n" [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/DoLib.hs:14:10-14 #1 [sydtest-mutation-example-mutation-report] @@ -11,5 +11,5 @@ [sydtest-mutation-example-mutation-report]  go :: Writer String () [sydtest-mutation-example-mutation-report]  go = do [sydtest-mutation-example-mutation-report]  tell "Hello" [sydtest-mutation-example-mutation-report] - if loud then tell "!" else pure () [sydtest-mutation-example-mutation-report] + if not (loud) then tell "!" else pure () [sydtest-mutation-example-mutation-report]  tell "\n" [sydtest-mutation-example-mutation-report] Testing mutation RemoveAction at src/Example/DoLib.hs:14:7-41 #1 [sydtest-mutation-example-mutation-report] @@ -11,5 +11,4 @@ [sydtest-mutation-example-mutation-report]  go :: Writer String () [sydtest-mutation-example-mutation-report]  go = do [sydtest-mutation-example-mutation-report]  tell "Hello" [sydtest-mutation-example-mutation-report] - if loud then tell "!" else pure () [sydtest-mutation-example-mutation-report]  tell "\n" [sydtest-mutation-example-mutation-report] Testing mutation RemoveAction at src/Example/DoLib.hs:12:10-16 #1 [sydtest-mutation-example-mutation-report] @@ -9,7 +9,6 @@ [sydtest-mutation-example-mutation-report]  greet loud = execWriter go [sydtest-mutation-example-mutation-report]  where [sydtest-mutation-example-mutation-report]  go :: Writer String () [sydtest-mutation-example-mutation-report]  go = do [sydtest-mutation-example-mutation-report] - tell "Hello" [sydtest-mutation-example-mutation-report]  if loud then tell "!" else pure () [sydtest-mutation-example-mutation-report]  tell "\n" [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/FunctionExceptionLib.hs:15:29-30 #1 [sydtest-mutation-example-mutation-report] @@ -12,7 +12,7 @@ [sydtest-mutation-example-mutation-report]  -- IntLit mutations (replacing the literal @1@) still apply. [sydtest-mutation-example-mutation-report]  {-# ANN addOneArithDisabled ("DisableMutation: Arith" :: String) #-} [sydtest-mutation-example-mutation-report]  addOneArithDisabled :: Int -> Int [sydtest-mutation-example-mutation-report] -addOneArithDisabled n = n + 1 [sydtest-mutation-example-mutation-report] +addOneArithDisabled n = n + 0 [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | Both Arith and IntLit mutations disabled on this function. [sydtest-mutation-example-mutation-report]  {-# ANN addOneArithAndIntLitDisabled ("DisableMutations: Arith, IntLit" :: String) #-} [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/OtherwiseLib.hs:13:5-11 #1 [sydtest-mutation-example-mutation-report] @@ -10,5 +10,5 @@ [sydtest-mutation-example-mutation-report]  classify :: Int -> String [sydtest-mutation-example-mutation-report]  classify n [sydtest-mutation-example-mutation-report]  | n < 0 = "negative" [sydtest-mutation-example-mutation-report] - | n == 0 = "zero" [sydtest-mutation-example-mutation-report] + | not (n == 0) = "zero" [sydtest-mutation-example-mutation-report]  | otherwise = "positive" [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:58:19-20 #1 [sydtest-mutation-example-mutation-report] @@ -55,5 +55,5 @@ [sydtest-mutation-example-mutation-report]  -- @toggle b@ is fully instrumented. [sydtest-mutation-example-mutation-report]  withBindKept :: (Bool -> IO Bool) -> Bool -> IO Bool [sydtest-mutation-example-mutation-report]  withBindKept toggle b = do [sydtest-mutation-example-mutation-report] - inner <- toggle b [sydtest-mutation-example-mutation-report] + inner <- toggle not (b) [sydtest-mutation-example-mutation-report]  pure inner [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:59:8-13 #1 [sydtest-mutation-example-mutation-report] @@ -56,4 +56,4 @@ [sydtest-mutation-example-mutation-report]  withBindKept :: (Bool -> IO Bool) -> Bool -> IO Bool [sydtest-mutation-example-mutation-report]  withBindKept toggle b = do [sydtest-mutation-example-mutation-report]  inner <- toggle b [sydtest-mutation-example-mutation-report] - pure inner [sydtest-mutation-example-mutation-report] + pure True [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:59:8-13 #1 [sydtest-mutation-example-mutation-report] @@ -56,4 +56,4 @@ [sydtest-mutation-example-mutation-report]  withBindKept :: (Bool -> IO Bool) -> Bool -> IO Bool [sydtest-mutation-example-mutation-report]  withBindKept toggle b = do [sydtest-mutation-example-mutation-report]  inner <- toggle b [sydtest-mutation-example-mutation-report] - pure inner [sydtest-mutation-example-mutation-report] + pure not (inner) [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:58:19-20 #1 [sydtest-mutation-example-mutation-report] @@ -55,5 +55,5 @@ [sydtest-mutation-example-mutation-report]  -- @toggle b@ is fully instrumented. [sydtest-mutation-example-mutation-report]  withBindKept :: (Bool -> IO Bool) -> Bool -> IO Bool [sydtest-mutation-example-mutation-report]  withBindKept toggle b = do [sydtest-mutation-example-mutation-report] - inner <- toggle b [sydtest-mutation-example-mutation-report] + inner <- toggle True [sydtest-mutation-example-mutation-report]  pure inner [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:52:8-13 #1 [sydtest-mutation-example-mutation-report] @@ -49,7 +49,7 @@ [sydtest-mutation-example-mutation-report]  withBindDisabled :: (Bool -> IO Bool) -> Bool -> IO Bool [sydtest-mutation-example-mutation-report]  withBindDisabled toggle b = do [sydtest-mutation-example-mutation-report]  inner <- toggle b [sydtest-mutation-example-mutation-report] - pure inner [sydtest-mutation-example-mutation-report] + pure True [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | Control for 'withBindDisabled': no disable annotation, so the RHS [sydtest-mutation-example-mutation-report]  -- @toggle b@ is fully instrumented. [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:36:19-20 #1 [sydtest-mutation-example-mutation-report] @@ -33,7 +33,7 @@ [sydtest-mutation-example-mutation-report]  -- on the @inner@ binding's RHS. [sydtest-mutation-example-mutation-report]  withInnerKept :: Bool -> Bool [sydtest-mutation-example-mutation-report]  withInnerKept b = [sydtest-mutation-example-mutation-report] - let inner = not b [sydtest-mutation-example-mutation-report] + let inner = not True [sydtest-mutation-example-mutation-report]  in inner [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | Same idea as 'withInnerDisabled', but the local binding is introduced [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:52:8-13 #1 [sydtest-mutation-example-mutation-report] @@ -49,7 +49,7 @@ [sydtest-mutation-example-mutation-report]  withBindDisabled :: (Bool -> IO Bool) -> Bool -> IO Bool [sydtest-mutation-example-mutation-report]  withBindDisabled toggle b = do [sydtest-mutation-example-mutation-report]  inner <- toggle b [sydtest-mutation-example-mutation-report] - pure inner [sydtest-mutation-example-mutation-report] + pure not (inner) [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | Control for 'withBindDisabled': no disable annotation, so the RHS [sydtest-mutation-example-mutation-report]  -- @toggle b@ is fully instrumented. [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:36:19-20 #1 [sydtest-mutation-example-mutation-report] @@ -33,7 +33,7 @@ [sydtest-mutation-example-mutation-report]  -- on the @inner@ binding's RHS. [sydtest-mutation-example-mutation-report]  withInnerKept :: Bool -> Bool [sydtest-mutation-example-mutation-report]  withInnerKept b = [sydtest-mutation-example-mutation-report] - let inner = not b [sydtest-mutation-example-mutation-report] + let inner = not not (b) [sydtest-mutation-example-mutation-report]  in inner [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | Same idea as 'withInnerDisabled', but the local binding is introduced [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:36:15-20 #1 [sydtest-mutation-example-mutation-report] @@ -33,7 +33,7 @@ [sydtest-mutation-example-mutation-report]  -- on the @inner@ binding's RHS. [sydtest-mutation-example-mutation-report]  withInnerKept :: Bool -> Bool [sydtest-mutation-example-mutation-report]  withInnerKept b = [sydtest-mutation-example-mutation-report] - let inner = not b [sydtest-mutation-example-mutation-report] + let inner = True [sydtest-mutation-example-mutation-report]  in inner [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | Same idea as 'withInnerDisabled', but the local binding is introduced [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:36:15-20 #1 [sydtest-mutation-example-mutation-report] @@ -33,7 +33,7 @@ [sydtest-mutation-example-mutation-report]  -- on the @inner@ binding's RHS. [sydtest-mutation-example-mutation-report]  withInnerKept :: Bool -> Bool [sydtest-mutation-example-mutation-report]  withInnerKept b = [sydtest-mutation-example-mutation-report] - let inner = not b [sydtest-mutation-example-mutation-report] + let inner = not (not b) [sydtest-mutation-example-mutation-report]  in inner [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | Same idea as 'withInnerDisabled', but the local binding is introduced [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:37:7-12 #1 [sydtest-mutation-example-mutation-report] @@ -34,7 +34,7 @@ [sydtest-mutation-example-mutation-report]  withInnerKept :: Bool -> Bool [sydtest-mutation-example-mutation-report]  withInnerKept b = [sydtest-mutation-example-mutation-report]  let inner = not b [sydtest-mutation-example-mutation-report] - in inner [sydtest-mutation-example-mutation-report] + in True [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | Same idea as 'withInnerDisabled', but the local binding is introduced [sydtest-mutation-example-mutation-report]  -- by a @do@-block @<-@ statement instead of a @let@. The annotation [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:37:7-12 #1 [sydtest-mutation-example-mutation-report] @@ -34,7 +34,7 @@ [sydtest-mutation-example-mutation-report]  withInnerKept :: Bool -> Bool [sydtest-mutation-example-mutation-report]  withInnerKept b = [sydtest-mutation-example-mutation-report]  let inner = not b [sydtest-mutation-example-mutation-report] - in inner [sydtest-mutation-example-mutation-report] + in not (inner) [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | Same idea as 'withInnerDisabled', but the local binding is introduced [sydtest-mutation-example-mutation-report]  -- by a @do@-block @<-@ statement instead of a @let@. The annotation [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:36:3-12 #1 [sydtest-mutation-example-mutation-report] @@ -33,8 +33,8 @@ [sydtest-mutation-example-mutation-report]  -- on the @inner@ binding's RHS. [sydtest-mutation-example-mutation-report]  withInnerKept :: Bool -> Bool [sydtest-mutation-example-mutation-report]  withInnerKept b = [sydtest-mutation-example-mutation-report] - let inner = not b [sydtest-mutation-example-mutation-report] - in inner [sydtest-mutation-example-mutation-report] + not (let inner = not b [sydtest-mutation-example-mutation-report] + in inner) [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | Same idea as 'withInnerDisabled', but the local binding is introduced [sydtest-mutation-example-mutation-report]  -- by a @do@-block @<-@ statement instead of a @let@. The annotation [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:36:3-12 #1 [sydtest-mutation-example-mutation-report] @@ -33,8 +33,8 @@ [sydtest-mutation-example-mutation-report]  -- on the @inner@ binding's RHS. [sydtest-mutation-example-mutation-report]  withInnerKept :: Bool -> Bool [sydtest-mutation-example-mutation-report]  withInnerKept b = [sydtest-mutation-example-mutation-report] - let inner = not b [sydtest-mutation-example-mutation-report] + True = not b [sydtest-mutation-example-mutation-report]  in inner [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | Same idea as 'withInnerDisabled', but the local binding is introduced [sydtest-mutation-example-mutation-report]  -- by a @do@-block @<-@ statement instead of a @let@. The annotation [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:29:19-20 #1 [sydtest-mutation-example-mutation-report] @@ -26,7 +26,7 @@ [sydtest-mutation-example-mutation-report]  {-# ANN withInnerBoolLitDisabled ("DisableMutationsFor inner: ConstBool" :: String) #-} [sydtest-mutation-example-mutation-report]  withInnerBoolLitDisabled :: Bool -> Bool [sydtest-mutation-example-mutation-report]  withInnerBoolLitDisabled b = [sydtest-mutation-example-mutation-report] - let inner = not b [sydtest-mutation-example-mutation-report] + let inner = not not (b) [sydtest-mutation-example-mutation-report]  in inner [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:29:15-20 #1 [sydtest-mutation-example-mutation-report] @@ -26,7 +26,7 @@ [sydtest-mutation-example-mutation-report]  {-# ANN withInnerBoolLitDisabled ("DisableMutationsFor inner: ConstBool" :: String) #-} [sydtest-mutation-example-mutation-report]  withInnerBoolLitDisabled :: Bool -> Bool [sydtest-mutation-example-mutation-report]  withInnerBoolLitDisabled b = [sydtest-mutation-example-mutation-report] - let inner = not b [sydtest-mutation-example-mutation-report] + let inner = not (not b) [sydtest-mutation-example-mutation-report]  in inner [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:30:7-12 #1 [sydtest-mutation-example-mutation-report] @@ -27,7 +27,7 @@ [sydtest-mutation-example-mutation-report]  withInnerBoolLitDisabled :: Bool -> Bool [sydtest-mutation-example-mutation-report]  withInnerBoolLitDisabled b = [sydtest-mutation-example-mutation-report]  let inner = not b [sydtest-mutation-example-mutation-report] - in inner [sydtest-mutation-example-mutation-report] + in True [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire [sydtest-mutation-example-mutation-report]  -- on the @inner@ binding's RHS. [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:30:7-12 #1 [sydtest-mutation-example-mutation-report] @@ -27,7 +27,7 @@ [sydtest-mutation-example-mutation-report]  withInnerBoolLitDisabled :: Bool -> Bool [sydtest-mutation-example-mutation-report]  withInnerBoolLitDisabled b = [sydtest-mutation-example-mutation-report]  let inner = not b [sydtest-mutation-example-mutation-report] - in inner [sydtest-mutation-example-mutation-report] + in not (inner) [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire [sydtest-mutation-example-mutation-report]  -- on the @inner@ binding's RHS. [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:29:3-12 #1 [sydtest-mutation-example-mutation-report] @@ -26,8 +26,8 @@ [sydtest-mutation-example-mutation-report]  {-# ANN withInnerBoolLitDisabled ("DisableMutationsFor inner: ConstBool" :: String) #-} [sydtest-mutation-example-mutation-report]  withInnerBoolLitDisabled :: Bool -> Bool [sydtest-mutation-example-mutation-report]  withInnerBoolLitDisabled b = [sydtest-mutation-example-mutation-report] - let inner = not b [sydtest-mutation-example-mutation-report] + True = not b [sydtest-mutation-example-mutation-report]  in inner [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire [sydtest-mutation-example-mutation-report]  -- on the @inner@ binding's RHS. [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:29:3-12 #1 [sydtest-mutation-example-mutation-report] @@ -26,8 +26,8 @@ [sydtest-mutation-example-mutation-report]  {-# ANN withInnerBoolLitDisabled ("DisableMutationsFor inner: ConstBool" :: String) #-} [sydtest-mutation-example-mutation-report]  withInnerBoolLitDisabled :: Bool -> Bool [sydtest-mutation-example-mutation-report]  withInnerBoolLitDisabled b = [sydtest-mutation-example-mutation-report] - let inner = not b [sydtest-mutation-example-mutation-report] - in inner [sydtest-mutation-example-mutation-report] + not (let inner = not b [sydtest-mutation-example-mutation-report] + in inner) [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire [sydtest-mutation-example-mutation-report]  -- on the @inner@ binding's RHS. [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:21:7-12 #1 [sydtest-mutation-example-mutation-report] @@ -18,7 +18,7 @@ [sydtest-mutation-example-mutation-report]  withInnerDisabled :: Bool -> Bool [sydtest-mutation-example-mutation-report]  withInnerDisabled b = [sydtest-mutation-example-mutation-report]  let inner = not b [sydtest-mutation-example-mutation-report] - in inner [sydtest-mutation-example-mutation-report] + in True [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | Like 'withInnerDisabled', but only @ConstBool@ is disabled inside [sydtest-mutation-example-mutation-report]  -- @inner@'s RHS. Other operators on @inner@'s RHS (notably the @Negate@ [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:20:3-12 #1 [sydtest-mutation-example-mutation-report] @@ -17,8 +17,8 @@ [sydtest-mutation-example-mutation-report]  {-# ANN withInnerDisabled ("DisableMutationsFor inner" :: String) #-} [sydtest-mutation-example-mutation-report]  withInnerDisabled :: Bool -> Bool [sydtest-mutation-example-mutation-report]  withInnerDisabled b = [sydtest-mutation-example-mutation-report] - let inner = not b [sydtest-mutation-example-mutation-report] + True = not b [sydtest-mutation-example-mutation-report]  in inner [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | Like 'withInnerDisabled', but only @ConstBool@ is disabled inside [sydtest-mutation-example-mutation-report]  -- @inner@'s RHS. Other operators on @inner@'s RHS (notably the @Negate@ [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:21:7-12 #1 [sydtest-mutation-example-mutation-report] @@ -18,7 +18,7 @@ [sydtest-mutation-example-mutation-report]  withInnerDisabled :: Bool -> Bool [sydtest-mutation-example-mutation-report]  withInnerDisabled b = [sydtest-mutation-example-mutation-report]  let inner = not b [sydtest-mutation-example-mutation-report] - in inner [sydtest-mutation-example-mutation-report] + in not (inner) [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | Like 'withInnerDisabled', but only @ConstBool@ is disabled inside [sydtest-mutation-example-mutation-report]  -- @inner@'s RHS. Other operators on @inner@'s RHS (notably the @Negate@ [sydtest-mutation-example-mutation-report] Testing mutation Negate at src/Example/LocalDisableLib.hs:20:3-12 #1 [sydtest-mutation-example-mutation-report] @@ -17,8 +17,8 @@ [sydtest-mutation-example-mutation-report]  {-# ANN withInnerDisabled ("DisableMutationsFor inner" :: String) #-} [sydtest-mutation-example-mutation-report]  withInnerDisabled :: Bool -> Bool [sydtest-mutation-example-mutation-report]  withInnerDisabled b = [sydtest-mutation-example-mutation-report] - let inner = not b [sydtest-mutation-example-mutation-report] - in inner [sydtest-mutation-example-mutation-report] + not (let inner = not b [sydtest-mutation-example-mutation-report] + in inner) [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | Like 'withInnerDisabled', but only @ConstBool@ is disabled inside [sydtest-mutation-example-mutation-report]  -- @inner@'s RHS. Other operators on @inner@'s RHS (notably the @Negate@ [sydtest-mutation-example-mutation-report] Testing mutation RemoveCase at src/Example/CaseLib.hs:7:19-16 #1 [sydtest-mutation-example-mutation-report] @@ -4,7 +4,6 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: RemoveCase removes one of the three alternatives. [sydtest-mutation-example-mutation-report]  describeList :: [a] -> String [sydtest-mutation-example-mutation-report]  describeList xs = case xs of [sydtest-mutation-example-mutation-report] - [] -> "empty" [sydtest-mutation-example-mutation-report]  [_] -> "singleton" [sydtest-mutation-example-mutation-report]  _ -> "longer" [sydtest-mutation-example-mutation-report] Testing mutation ListLit at src/Example/ListLib.hs:12:25-31 #1 [sydtest-mutation-example-mutation-report] @@ -9,7 +9,6 @@ [sydtest-mutation-example-mutation-report]  -- Mutation sites: ListLit produces an empty-list mutant and a drop-first [sydtest-mutation-example-mutation-report]  -- mutant on the literal @[a, b]@. [sydtest-mutation-example-mutation-report]  pairConcat :: String -> String -> String [sydtest-mutation-example-mutation-report] -pairConcat a b = concat [a, b] [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | Concatenate a three-element list of strings. [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report] Testing mutation ListLit at src/Example/ListLib.hs:19:29-38 #1 [sydtest-mutation-example-mutation-report] @@ -16,4 +16,3 @@ [sydtest-mutation-example-mutation-report]  -- Mutation sites: ListLit produces an empty-list mutant, a drop-first mutant, [sydtest-mutation-example-mutation-report]  -- and a drop-last mutant on the literal @[a, b, c]@. [sydtest-mutation-example-mutation-report]  tripleConcat :: String -> String -> String -> String [sydtest-mutation-example-mutation-report] -tripleConcat a b c = concat [a, b, c] [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:17:31-36 #2 [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative. [sydtest-mutation-example-mutation-report]  eitherPositive :: Int -> Int -> Bool [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0 [sydtest-mutation-example-mutation-report] +eitherPositive a b = a > 0 || b <= 0 [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:17:31-36 #2 [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative. [sydtest-mutation-example-mutation-report]  eitherPositive :: Int -> Int -> Bool [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0 [sydtest-mutation-example-mutation-report] +eitherPositive a b = a > 0 || False [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:11:29-34 #2 [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative. [sydtest-mutation-example-mutation-report]  bothPositive :: Int -> Int -> Bool [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0 [sydtest-mutation-example-mutation-report] +bothPositive a b = a > 0 && b <= 0 [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | True iff at least one argument is strictly positive. [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:11:29-34 #2 [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative. [sydtest-mutation-example-mutation-report]  bothPositive :: Int -> Int -> Bool [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0 [sydtest-mutation-example-mutation-report] +bothPositive a b = a > 0 && False [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | True iff at least one argument is strictly positive. [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-25 #2 [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative. [sydtest-mutation-example-mutation-report]  bothPositive :: Int -> Int -> Bool [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0 [sydtest-mutation-example-mutation-report] +bothPositive a b = False && b > 0 [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | True iff at least one argument is strictly positive. [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-27 #2 [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative. [sydtest-mutation-example-mutation-report]  eitherPositive :: Int -> Int -> Bool [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0 [sydtest-mutation-example-mutation-report] +eitherPositive a b = False || b > 0 [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:17:22-27 #2 [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative. [sydtest-mutation-example-mutation-report]  eitherPositive :: Int -> Int -> Bool [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0 [sydtest-mutation-example-mutation-report] +eitherPositive a b = a <= 0 || b > 0 [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:17:22-36 #2 [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative. [sydtest-mutation-example-mutation-report]  eitherPositive :: Int -> Int -> Bool [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0 [sydtest-mutation-example-mutation-report] +eitherPositive a b = False [sydtest-mutation-example-mutation-report] Testing mutation Arith at src/Example/Lib.hs:8:12-17 #2 [sydtest-mutation-example-mutation-report] @@ -5,4 +5,4 @@ [sydtest-mutation-example-mutation-report]  -- The literal '1' here is a mutation site: the plugin will also compile a [sydtest-mutation-example-mutation-report]  -- version where this returns @n + 0@ instead of @n + 1@. [sydtest-mutation-example-mutation-report]  addOne :: Int -> Int [sydtest-mutation-example-mutation-report] -addOne n = n + 1 [sydtest-mutation-example-mutation-report] +addOne n = n * 1 [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:11:20-25 #2 [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative. [sydtest-mutation-example-mutation-report]  bothPositive :: Int -> Int -> Bool [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0 [sydtest-mutation-example-mutation-report] +bothPositive a b = a <= 0 && b > 0 [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | True iff at least one argument is strictly positive. [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LogicLib.hs:11:20-34 #2 [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative. [sydtest-mutation-example-mutation-report]  bothPositive :: Int -> Int -> Bool [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0 [sydtest-mutation-example-mutation-report] +bothPositive a b = False [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | True iff at least one argument is strictly positive. [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/Lib.hs:8:16-17 #2 [sydtest-mutation-example-mutation-report] @@ -5,4 +5,4 @@ [sydtest-mutation-example-mutation-report]  -- The literal '1' here is a mutation site: the plugin will also compile a [sydtest-mutation-example-mutation-report]  -- version where this returns @n + 0@ instead of @n + 1@. [sydtest-mutation-example-mutation-report]  addOne :: Int -> Int [sydtest-mutation-example-mutation-report] -addOne n = n + 1 [sydtest-mutation-example-mutation-report] +addOne n = n + -1 [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/DoLib.hs:14:10-14 #2 [sydtest-mutation-example-mutation-report] @@ -11,5 +11,5 @@ [sydtest-mutation-example-mutation-report]  go :: Writer String () [sydtest-mutation-example-mutation-report]  go = do [sydtest-mutation-example-mutation-report]  tell "Hello" [sydtest-mutation-example-mutation-report] - if loud then tell "!" else pure () [sydtest-mutation-example-mutation-report] + if False then tell "!" else pure () [sydtest-mutation-example-mutation-report]  tell "\n" [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:59:8-13 #2 [sydtest-mutation-example-mutation-report] @@ -56,4 +56,4 @@ [sydtest-mutation-example-mutation-report]  withBindKept :: (Bool -> IO Bool) -> Bool -> IO Bool [sydtest-mutation-example-mutation-report]  withBindKept toggle b = do [sydtest-mutation-example-mutation-report]  inner <- toggle b [sydtest-mutation-example-mutation-report] - pure inner [sydtest-mutation-example-mutation-report] + pure False [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:36:19-20 #2 [sydtest-mutation-example-mutation-report] @@ -33,7 +33,7 @@ [sydtest-mutation-example-mutation-report]  -- on the @inner@ binding's RHS. [sydtest-mutation-example-mutation-report]  withInnerKept :: Bool -> Bool [sydtest-mutation-example-mutation-report]  withInnerKept b = [sydtest-mutation-example-mutation-report] - let inner = not b [sydtest-mutation-example-mutation-report] + let inner = not False [sydtest-mutation-example-mutation-report]  in inner [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | Same idea as 'withInnerDisabled', but the local binding is introduced [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10 #2 [sydtest-mutation-example-mutation-report] @@ -9,6 +9,6 @@ [sydtest-mutation-example-mutation-report]  -- (otherwise = True, so @otherwise -> True@ is a semantic no-op). [sydtest-mutation-example-mutation-report]  classify :: Int -> String [sydtest-mutation-example-mutation-report]  classify n [sydtest-mutation-example-mutation-report] - | n < 0 = "negative" [sydtest-mutation-example-mutation-report] + | n > 0 = "negative" [sydtest-mutation-example-mutation-report]  | n == 0 = "zero" [sydtest-mutation-example-mutation-report]  | otherwise = "positive" [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:36:15-20 #2 [sydtest-mutation-example-mutation-report] @@ -33,7 +33,7 @@ [sydtest-mutation-example-mutation-report]  -- on the @inner@ binding's RHS. [sydtest-mutation-example-mutation-report]  withInnerKept :: Bool -> Bool [sydtest-mutation-example-mutation-report]  withInnerKept b = [sydtest-mutation-example-mutation-report] - let inner = not b [sydtest-mutation-example-mutation-report] + let inner = False [sydtest-mutation-example-mutation-report]  in inner [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | Same idea as 'withInnerDisabled', but the local binding is introduced [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:36:3-12 #2 [sydtest-mutation-example-mutation-report] @@ -33,8 +33,8 @@ [sydtest-mutation-example-mutation-report]  -- on the @inner@ binding's RHS. [sydtest-mutation-example-mutation-report]  withInnerKept :: Bool -> Bool [sydtest-mutation-example-mutation-report]  withInnerKept b = [sydtest-mutation-example-mutation-report] - let inner = not b [sydtest-mutation-example-mutation-report] + False = not b [sydtest-mutation-example-mutation-report]  in inner [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | Same idea as 'withInnerDisabled', but the local binding is introduced [sydtest-mutation-example-mutation-report]  -- by a @do@-block @<-@ statement instead of a @let@. The annotation [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:37:7-12 #2 [sydtest-mutation-example-mutation-report] @@ -34,7 +34,7 @@ [sydtest-mutation-example-mutation-report]  withInnerKept :: Bool -> Bool [sydtest-mutation-example-mutation-report]  withInnerKept b = [sydtest-mutation-example-mutation-report]  let inner = not b [sydtest-mutation-example-mutation-report] - in inner [sydtest-mutation-example-mutation-report] + in False [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | Same idea as 'withInnerDisabled', but the local binding is introduced [sydtest-mutation-example-mutation-report]  -- by a @do@-block @<-@ statement instead of a @let@. The annotation [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:58:19-20 #2 [sydtest-mutation-example-mutation-report] @@ -55,5 +55,5 @@ [sydtest-mutation-example-mutation-report]  -- @toggle b@ is fully instrumented. [sydtest-mutation-example-mutation-report]  withBindKept :: (Bool -> IO Bool) -> Bool -> IO Bool [sydtest-mutation-example-mutation-report]  withBindKept toggle b = do [sydtest-mutation-example-mutation-report] - inner <- toggle b [sydtest-mutation-example-mutation-report] + inner <- toggle False [sydtest-mutation-example-mutation-report]  pure inner [sydtest-mutation-example-mutation-report] Testing mutation IntLit at src/Example/FunctionExceptionLib.hs:15:29-30 #2 [sydtest-mutation-example-mutation-report] @@ -12,7 +12,7 @@ [sydtest-mutation-example-mutation-report]  -- IntLit mutations (replacing the literal @1@) still apply. [sydtest-mutation-example-mutation-report]  {-# ANN addOneArithDisabled ("DisableMutation: Arith" :: String) #-} [sydtest-mutation-example-mutation-report]  addOneArithDisabled :: Int -> Int [sydtest-mutation-example-mutation-report] -addOneArithDisabled n = n + 1 [sydtest-mutation-example-mutation-report] +addOneArithDisabled n = n + -1 [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | Both Arith and IntLit mutations disabled on this function. [sydtest-mutation-example-mutation-report]  {-# ANN addOneArithAndIntLitDisabled ("DisableMutations: Arith, IntLit" :: String) #-} [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:52:8-13 #2 [sydtest-mutation-example-mutation-report] @@ -49,7 +49,7 @@ [sydtest-mutation-example-mutation-report]  withBindDisabled :: (Bool -> IO Bool) -> Bool -> IO Bool [sydtest-mutation-example-mutation-report]  withBindDisabled toggle b = do [sydtest-mutation-example-mutation-report]  inner <- toggle b [sydtest-mutation-example-mutation-report] - pure inner [sydtest-mutation-example-mutation-report] + pure False [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | Control for 'withBindDisabled': no disable annotation, so the RHS [sydtest-mutation-example-mutation-report]  -- @toggle b@ is fully instrumented. [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:30:7-12 #2 [sydtest-mutation-example-mutation-report] @@ -27,7 +27,7 @@ [sydtest-mutation-example-mutation-report]  withInnerBoolLitDisabled :: Bool -> Bool [sydtest-mutation-example-mutation-report]  withInnerBoolLitDisabled b = [sydtest-mutation-example-mutation-report]  let inner = not b [sydtest-mutation-example-mutation-report] - in inner [sydtest-mutation-example-mutation-report] + in False [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire [sydtest-mutation-example-mutation-report]  -- on the @inner@ binding's RHS. [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:29:3-12 #2 [sydtest-mutation-example-mutation-report] @@ -26,8 +26,8 @@ [sydtest-mutation-example-mutation-report]  {-# ANN withInnerBoolLitDisabled ("DisableMutationsFor inner: ConstBool" :: String) #-} [sydtest-mutation-example-mutation-report]  withInnerBoolLitDisabled :: Bool -> Bool [sydtest-mutation-example-mutation-report]  withInnerBoolLitDisabled b = [sydtest-mutation-example-mutation-report] - let inner = not b [sydtest-mutation-example-mutation-report] + False = not b [sydtest-mutation-example-mutation-report]  in inner [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | Control: no disable annotation. Both @ConstBool@ and @Negate@ fire [sydtest-mutation-example-mutation-report]  -- on the @inner@ binding's RHS. [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:21:7-12 #2 [sydtest-mutation-example-mutation-report] @@ -18,7 +18,7 @@ [sydtest-mutation-example-mutation-report]  withInnerDisabled :: Bool -> Bool [sydtest-mutation-example-mutation-report]  withInnerDisabled b = [sydtest-mutation-example-mutation-report]  let inner = not b [sydtest-mutation-example-mutation-report] - in inner [sydtest-mutation-example-mutation-report] + in False [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | Like 'withInnerDisabled', but only @ConstBool@ is disabled inside [sydtest-mutation-example-mutation-report]  -- @inner@'s RHS. Other operators on @inner@'s RHS (notably the @Negate@ [sydtest-mutation-example-mutation-report] Testing mutation RemoveCase at src/Example/CaseLib.hs:7:19-16 #2 [sydtest-mutation-example-mutation-report] @@ -4,7 +4,6 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: RemoveCase removes one of the three alternatives. [sydtest-mutation-example-mutation-report]  describeList :: [a] -> String [sydtest-mutation-example-mutation-report]  describeList xs = case xs of [sydtest-mutation-example-mutation-report]  [] -> "empty" [sydtest-mutation-example-mutation-report] - [_] -> "singleton" [sydtest-mutation-example-mutation-report]  _ -> "longer" [sydtest-mutation-example-mutation-report] Testing mutation ConstBool at src/Example/LocalDisableLib.hs:20:3-12 #2 [sydtest-mutation-example-mutation-report] @@ -17,8 +17,8 @@ [sydtest-mutation-example-mutation-report]  {-# ANN withInnerDisabled ("DisableMutationsFor inner" :: String) #-} [sydtest-mutation-example-mutation-report]  withInnerDisabled :: Bool -> Bool [sydtest-mutation-example-mutation-report]  withInnerDisabled b = [sydtest-mutation-example-mutation-report] - let inner = not b [sydtest-mutation-example-mutation-report] + False = not b [sydtest-mutation-example-mutation-report]  in inner [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | Like 'withInnerDisabled', but only @ConstBool@ is disabled inside [sydtest-mutation-example-mutation-report]  -- @inner@'s RHS. Other operators on @inner@'s RHS (notably the @Negate@ [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:11:29-34 #3 [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative. [sydtest-mutation-example-mutation-report]  bothPositive :: Int -> Int -> Bool [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0 [sydtest-mutation-example-mutation-report] +bothPositive a b = a > 0 && b >= 0 [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | True iff at least one argument is strictly positive. [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:17:22-27 #3 [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative. [sydtest-mutation-example-mutation-report]  eitherPositive :: Int -> Int -> Bool [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0 [sydtest-mutation-example-mutation-report] +eitherPositive a b = a >= 0 || b > 0 [sydtest-mutation-example-mutation-report] Testing mutation ListLit at src/Example/ListLib.hs:12:25-31 #2 [sydtest-mutation-example-mutation-report] @@ -9,7 +9,6 @@ [sydtest-mutation-example-mutation-report]  -- Mutation sites: ListLit produces an empty-list mutant and a drop-first [sydtest-mutation-example-mutation-report]  -- mutant on the literal @[a, b]@. [sydtest-mutation-example-mutation-report]  pairConcat :: String -> String -> String [sydtest-mutation-example-mutation-report] -pairConcat a b = concat [a, b] [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | Concatenate a three-element list of strings. [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report] Killed: 103 [sydtest-mutation-example-mutation-report]  (of which timed out: 0) [sydtest-mutation-example-mutation-report] Survived: 0 [sydtest-mutation-example-mutation-report] Uncovered: 0 [sydtest-mutation-example-mutation-report] Skipped: 0 [sydtest-mutation-example-mutation-report] Testing mutation ListLit at src/Example/ListLib.hs:19:29-38 #2 [sydtest-mutation-example-mutation-report] @@ -16,4 +16,3 @@ [sydtest-mutation-example-mutation-report]  -- Mutation sites: ListLit produces an empty-list mutant, a drop-first mutant, [sydtest-mutation-example-mutation-report]  -- and a drop-last mutant on the literal @[a, b, c]@. [sydtest-mutation-example-mutation-report]  tripleConcat :: String -> String -> String -> String [sydtest-mutation-example-mutation-report] -tripleConcat a b c = concat [a, b, c] [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/OtherwiseLib.hs:12:5-10 #3 [sydtest-mutation-example-mutation-report] @@ -9,6 +9,6 @@ [sydtest-mutation-example-mutation-report]  -- (otherwise = True, so @otherwise -> True@ is a semantic no-op). [sydtest-mutation-example-mutation-report]  classify :: Int -> String [sydtest-mutation-example-mutation-report]  classify n [sydtest-mutation-example-mutation-report] - | n < 0 = "negative" [sydtest-mutation-example-mutation-report] + | n >= 0 = "negative" [sydtest-mutation-example-mutation-report]  | n == 0 = "zero" [sydtest-mutation-example-mutation-report]  | otherwise = "positive" [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:17:31-36 #3 [sydtest-mutation-example-mutation-report] @@ -14,4 +14,4 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: LogicOp on @||@ produces a @&&@ alternative. [sydtest-mutation-example-mutation-report]  eitherPositive :: Int -> Int -> Bool [sydtest-mutation-example-mutation-report] -eitherPositive a b = a > 0 || b > 0 [sydtest-mutation-example-mutation-report] +eitherPositive a b = a > 0 || b >= 0 [sydtest-mutation-example-mutation-report] Testing mutation Cmp at src/Example/LogicLib.hs:11:20-25 #3 [sydtest-mutation-example-mutation-report] @@ -8,7 +8,7 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: LogicOp on @&&@ produces a @||@ alternative. [sydtest-mutation-example-mutation-report]  bothPositive :: Int -> Int -> Bool [sydtest-mutation-example-mutation-report] -bothPositive a b = a > 0 && b > 0 [sydtest-mutation-example-mutation-report] +bothPositive a b = a >= 0 && b > 0 [sydtest-mutation-example-mutation-report]  [sydtest-mutation-example-mutation-report]  -- | True iff at least one argument is strictly positive. [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report] Testing mutation RemoveCase at src/Example/CaseLib.hs:7:19-16 #3 [sydtest-mutation-example-mutation-report] @@ -4,7 +4,6 @@ [sydtest-mutation-example-mutation-report]  -- [sydtest-mutation-example-mutation-report]  -- Mutation sites: RemoveCase removes one of the three alternatives. [sydtest-mutation-example-mutation-report]  describeList :: [a] -> String [sydtest-mutation-example-mutation-report]  describeList xs = case xs of [sydtest-mutation-example-mutation-report]  [] -> "empty" [sydtest-mutation-example-mutation-report]  [_] -> "singleton" [sydtest-mutation-example-mutation-report] - _ -> "longer" [sydtest-mutation-example-mutation-report] Testing mutation ListLit at src/Example/ListLib.hs:19:29-38 #3 [sydtest-mutation-example-mutation-report] @@ -16,4 +16,3 @@ [sydtest-mutation-example-mutation-report]  -- Mutation sites: ListLit produces an empty-list mutant, a drop-first mutant, [sydtest-mutation-example-mutation-report]  -- and a drop-last mutant on the literal @[a, b, c]@. [sydtest-mutation-example-mutation-report]  tripleConcat :: String -> String -> String -> String [sydtest-mutation-example-mutation-report] -tripleConcat a b c = concat [a, b, c] [sydtest-mutation-example-mutation-report] Phase: fixupPhase [sydtest-mutation-example-mutation-report] shrinking RPATHs of ELF executables and libraries in /nix/store/8x374a3h1lvacfnw5q5l0clrzfimd9q1-sydtest-mutation-example-mutation-report [sydtest-mutation-example-mutation-report] checking for references to /build/ in /nix/store/8x374a3h1lvacfnw5q5l0clrzfimd9q1-sydtest-mutation-example-mutation-report... [sydtest-mutation-example-mutation-report] patching script interpreter paths in /nix/store/8x374a3h1lvacfnw5q5l0clrzfimd9q1-sydtest-mutation-example-mutation-report Progress: 7 of 9 built Building sydtest-mutation-example [sydtest-mutation-example] PASS: All 103 mutation(s) accounted for. [sydtest-mutation-example]  [sydtest-mutation-example] Killed: 103 [sydtest-mutation-example]  (of which timed out: 0) [sydtest-mutation-example] Survived: 0 [sydtest-mutation-example] Uncovered: 0 [sydtest-mutation-example] Skipped: 0 [sydtest-mutation-example]  [sydtest-mutation-example] Full report: /nix/store/8x374a3h1lvacfnw5q5l0clrzfimd9q1-sydtest-mutation-example-mutation-report/report.txt [sydtest-mutation-example] Machine-readable report: /nix/store/8x374a3h1lvacfnw5q5l0clrzfimd9q1-sydtest-mutation-example-mutation-report/report.json Progress: 8 of 9 built