$ /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=remove-case-and-action-operators&rev=6b470f71743a1ef301d61b8e3d30b3d5f0cc67a7#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 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 the client-specified setting 'trusted-public-keys', because it is a restricted setting and you are not a trusted user  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/kq9grz414c3zlh91q4iyyha6v39xicmg-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 1778688098 of file "sydtest-mutation-example-0.0.0.0/test/Spec.hs" [sydtest-mutation-example] Phase: patchPhase [sydtest-mutation-example] Phase: compileBuildDriverPhase [sydtest-mutation-example] setupCompileFlags: -package-db=/build/tmp.CRuo1KRwSz/setup-package.conf.d -threaded [sydtest-mutation-example] [1 of 2] Compiling Main ( Setup.hs, /build/tmp.CRuo1KRwSz/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/i9016nhwmix1d8365vcdcsiz8jdhxjgs-sydtest-mutation-example-0.0.0.0 --libdir=$prefix/lib/$compiler/lib --libsubdir=$abi/$libname --with-gcc=gcc --package-db=/build/tmp.CRuo1KRwSz/package.conf.d --ghc-option=-j16 --ghc-option=+RTS --ghc-option=-A64M --ghc-option=-RTS --enable-library-profiling --profiling-detail=exported-functions --disable-profiling --enable-shared --disable-coverage --disable-static --disable-executable-dynamic --enable-tests --enable-benchmarks --enable-library-vanilla --disable-library-for-ghci --enable-split-sections --enable-library-stripping --enable-executable-stripping --ghc-options=-O2 --ghc-options=-Wall --ghc-options=-Wincomplete-uni-patterns --ghc-options=-Wincomplete-record-updates --ghc-options=-Wpartial-fields --ghc-options=-Widentities --ghc-options=-Wredundant-constraints --ghc-options=-Wcpp-undef --ghc-options=-Wunused-packages --ghc-options=-Werror --ghc-options=-Wno-deprecations --disable-optimization --ghc-option=-j1 --ghc-option=+RTS --ghc-option=-A32M --ghc-option=-M16g --ghc-option=-RTS --extra-lib-dirs=/nix/store/ffyzkisqs4vc4mg28bwwlyqjf8i9ph6b-ncurses-6.5/lib --extra-lib-dirs=/nix/store/n28qgdj8c1q41kf7n4y1jxa6ckp85m3c-libffi-3.5.2/lib --extra-lib-dirs=/nix/store/1b6h99dw7bk4wbn77kbalih42zbc67m1-elfutils-0.194/lib --extra-lib-dirs=/nix/store/hi0ar880110k6jsmmili7dh1gq3cg2a9-gmp-with-cxx-6.3.0/lib --extra-lib-dirs=/nix/store/g09cflpnp4g80q56sj9dng1qzv4v4ybc-numactl-2.0.18/lib --extra-lib-dirs=/nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/lib [sydtest-mutation-example] Using Parsec parser [sydtest-mutation-example] Configuring sydtest-mutation-example-0.0.0.0... [sydtest-mutation-example] Dependency base >=4.7 && <5: using base-4.20.2.0 [sydtest-mutation-example] Dependency base >=4.7 && <5: using base-4.20.2.0 [sydtest-mutation-example] Dependency sydtest: using sydtest-0.23.0.2 [sydtest-mutation-example] Dependency sydtest-mutation-example: using sydtest-mutation-example-0.0.0.0 [sydtest-mutation-example] Source component graph: [sydtest-mutation-example]  component lib [sydtest-mutation-example]  component test:sydtest-mutation-example-test dependency lib [sydtest-mutation-example] Configured component graph: [sydtest-mutation-example]  component sydtest-mutation-example-0.0.0.0-HKLtxgcNX3SGgTl9z4D5SA [sydtest-mutation-example]  include base-4.20.2.0-64da [sydtest-mutation-example]  component sydtest-mutation-example-0.0.0.0-8eNP0kEWkFBLuikqb8br1V-sydtest-mutation-example-test [sydtest-mutation-example]  include base-4.20.2.0-64da [sydtest-mutation-example]  include sydtest-0.23.0.2-RzVaEpJISaERaSrCHYFLw [sydtest-mutation-example]  include sydtest-mutation-example-0.0.0.0-HKLtxgcNX3SGgTl9z4D5SA [sydtest-mutation-example] Linked component graph: [sydtest-mutation-example]  unit sydtest-mutation-example-0.0.0.0-HKLtxgcNX3SGgTl9z4D5SA [sydtest-mutation-example]  include base-4.20.2.0-64da [sydtest-mutation-example]  Example.BoolLib=sydtest-mutation-example-0.0.0.0-HKLtxgcNX3SGgTl9z4D5SA:Example.BoolLib,Example.ExceptionLib=sydtest-mutation-example-0.0.0.0-HKLtxgcNX3SGgTl9z4D5SA:Example.ExceptionLib,Example.FunctionExceptionLib=sydtest-mutation-example-0.0.0.0-HKLtxgcNX3SGgTl9z4D5SA:Example.FunctionExceptionLib,Example.Lib=sydtest-mutation-example-0.0.0.0-HKLtxgcNX3SGgTl9z4D5SA:Example.Lib,Example.OtherwiseLib=sydtest-mutation-example-0.0.0.0-HKLtxgcNX3SGgTl9z4D5SA:Example.OtherwiseLib,Example.UntestedLib=sydtest-mutation-example-0.0.0.0-HKLtxgcNX3SGgTl9z4D5SA:Example.UntestedLib [sydtest-mutation-example]  unit sydtest-mutation-example-0.0.0.0-8eNP0kEWkFBLuikqb8br1V-sydtest-mutation-example-test [sydtest-mutation-example]  include base-4.20.2.0-64da [sydtest-mutation-example]  include sydtest-0.23.0.2-RzVaEpJISaERaSrCHYFLw [sydtest-mutation-example]  include sydtest-mutation-example-0.0.0.0-HKLtxgcNX3SGgTl9z4D5SA [sydtest-mutation-example] Ready component graph: [sydtest-mutation-example]  definite sydtest-mutation-example-0.0.0.0-HKLtxgcNX3SGgTl9z4D5SA [sydtest-mutation-example]  depends base-4.20.2.0-64da [sydtest-mutation-example]  definite sydtest-mutation-example-0.0.0.0-8eNP0kEWkFBLuikqb8br1V-sydtest-mutation-example-test [sydtest-mutation-example]  depends base-4.20.2.0-64da [sydtest-mutation-example]  depends sydtest-0.23.0.2-RzVaEpJISaERaSrCHYFLw [sydtest-mutation-example]  depends sydtest-mutation-example-0.0.0.0-HKLtxgcNX3SGgTl9z4D5SA [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/i9016nhwmix1d8365vcdcsiz8jdhxjgs-sydtest-mutation-example-0.0.0.0 [sydtest-mutation-example] Executables installed in: [sydtest-mutation-example] /nix/store/i9016nhwmix1d8365vcdcsiz8jdhxjgs-sydtest-mutation-example-0.0.0.0/bin [sydtest-mutation-example] Libraries installed in: [sydtest-mutation-example] /nix/store/i9016nhwmix1d8365vcdcsiz8jdhxjgs-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-HKLtxgcNX3SGgTl9z4D5SA [sydtest-mutation-example] Dynamic Libraries installed in: [sydtest-mutation-example] /nix/store/i9016nhwmix1d8365vcdcsiz8jdhxjgs-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/i9016nhwmix1d8365vcdcsiz8jdhxjgs-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/i9016nhwmix1d8365vcdcsiz8jdhxjgs-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/i9016nhwmix1d8365vcdcsiz8jdhxjgs-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/i9016nhwmix1d8365vcdcsiz8jdhxjgs-sydtest-mutation-example-0.0.0.0/etc [sydtest-mutation-example] No alex found [sydtest-mutation-example] Using ar found on system at: [sydtest-mutation-example] /nix/store/iz5lckcsg66r223si2gck7csk2hihj0m-binutils-wrapper-2.44/bin/ar [sydtest-mutation-example] No c2hs found [sydtest-mutation-example] No cpphs found [sydtest-mutation-example] No doctest found [sydtest-mutation-example] Using gcc version 14.3.0 given by user at: [sydtest-mutation-example] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/gcc [sydtest-mutation-example] Using ghc version 9.10.3 found on system at: [sydtest-mutation-example] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc [sydtest-mutation-example] Using ghc-pkg version 9.10.3 found on system at: [sydtest-mutation-example] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc-pkg-9.10.3 [sydtest-mutation-example] No ghcjs found [sydtest-mutation-example] No ghcjs-pkg found [sydtest-mutation-example] No greencard found [sydtest-mutation-example] Using haddock version 2.31.1 found on system at: [sydtest-mutation-example] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/haddock-ghc-9.10.3 [sydtest-mutation-example] No happy found [sydtest-mutation-example] Using haskell-suite found on system at: haskell-suite-dummy-location [sydtest-mutation-example] Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location [sydtest-mutation-example] No hmake found [sydtest-mutation-example] Using hpc version 0.69 found on system at: [sydtest-mutation-example] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hpc-ghc-9.10.3 [sydtest-mutation-example] Using hsc2hs version 0.68.10 found on system at: [sydtest-mutation-example] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hsc2hs-ghc-9.10.3 [sydtest-mutation-example] Using hscolour version 1.25 found on system at: [sydtest-mutation-example] /nix/store/f755skyzf4jvfx3crwq9mmh3x4lsaz8i-hscolour-1.25/bin/HsColour [sydtest-mutation-example] No jhc found [sydtest-mutation-example] Using ld found on system at: [sydtest-mutation-example] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/ld [sydtest-mutation-example] No pkg-config found [sydtest-mutation-example] Using runghc version 9.10.3 found on system at: [sydtest-mutation-example] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/runghc-9.10.3 [sydtest-mutation-example] Using strip version 2.44 found on system at: [sydtest-mutation-example] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/strip [sydtest-mutation-example] Using tar found on system at: [sydtest-mutation-example] /nix/store/xl6pd2spjajwcpq09fnmnjv5psqmlmma-gnutar-1.35/bin/tar [sydtest-mutation-example] No uhc found [sydtest-mutation-example] Phase: buildPhase [sydtest-mutation-example] mutation-nix: setting MUTATION_MANIFEST_DIR=/nix/store/vdm1wfxsjg3kjsdazqjj59bxhinhi8kw-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 7] Compiling Example.BoolLib ( src/Example/BoolLib.hs, dist/build/Example/BoolLib.o, dist/build/Example/BoolLib.dyn_o ) [sydtest-mutation-example] mutation: instrumenting Example.BoolLib [sydtest-mutation-example] added mutation BoolLit at src/Example/BoolLib.hs:18:18-23 [sydtest-mutation-example] @@ -15,7 +15,7 @@ [sydtest-mutation-example]  -- [sydtest-mutation-example]  -- Mutation sites: BoolLit/ConstBool on the inner False, MaybeOp on Just False. [sydtest-mutation-example]  wrapFalse :: Maybe Bool [sydtest-mutation-example] -wrapFalse = Just False [sydtest-mutation-example] +wrapFalse = Just True [sydtest-mutation-example]  [sydtest-mutation-example]  -- | Negates a wrapped boolean. [sydtest-mutation-example]  negateWrapped :: Maybe Bool -> Maybe Bool [sydtest-mutation-example] added mutation BoolLit at src/Example/BoolLib.hs:12:17-21 [sydtest-mutation-example] @@ -9,7 +9,7 @@ [sydtest-mutation-example]  -- [sydtest-mutation-example]  -- Mutation sites: BoolLit/ConstBool on the inner True, MaybeOp on Just True. [sydtest-mutation-example]  wrapTrue :: Maybe Bool [sydtest-mutation-example] -wrapTrue = Just True [sydtest-mutation-example] +wrapTrue = Just False [sydtest-mutation-example]  [sydtest-mutation-example]  -- | Wraps False in Just. [sydtest-mutation-example]  -- [sydtest-mutation-example] added 2 mutations [sydtest-mutation-example] [2 of 7] Compiling Example.ExceptionLib ( src/Example/ExceptionLib.hs, dist/build/Example/ExceptionLib.o, dist/build/Example/ExceptionLib.dyn_o ) [sydtest-mutation-example] [3 of 7] 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:25:32-33 [sydtest-mutation-example] @@ -22,4 +22,4 @@ [sydtest-mutation-example]  -- @{-# ANN addOneFunctionDisabled ("DisableMutations" :: String) #-}@. [sydtest-mutation-example]  {-# ANN addOneFunctionDisabled ("DisableMutations" :: String) #-} [sydtest-mutation-example]  addOneFunctionDisabled :: Int -> Int [sydtest-mutation-example] -addOneFunctionDisabled n = n + 1 [sydtest-mutation-example] +addOneFunctionDisabled n = n + 0 [sydtest-mutation-example] added mutation IntLit at src/Example/FunctionExceptionLib.hs:25:32-33 [sydtest-mutation-example] @@ -22,4 +22,4 @@ [sydtest-mutation-example]  -- @{-# ANN addOneFunctionDisabled ("DisableMutations" :: String) #-}@. [sydtest-mutation-example]  {-# ANN addOneFunctionDisabled ("DisableMutations" :: String) #-} [sydtest-mutation-example]  addOneFunctionDisabled :: Int -> Int [sydtest-mutation-example] -addOneFunctionDisabled n = n + 1 [sydtest-mutation-example] +addOneFunctionDisabled n = n + -1 [sydtest-mutation-example] added mutation IntLit at src/Example/FunctionExceptionLib.hs:19:38-39 [sydtest-mutation-example] @@ -16,7 +16,7 @@ [sydtest-mutation-example]  -- | Both Arith and IntLit mutations disabled on this function. [sydtest-mutation-example]  {-# ANN addOneArithAndIntLitDisabled ("DisableMutations: Arith, IntLit" :: String) #-} [sydtest-mutation-example]  addOneArithAndIntLitDisabled :: Int -> Int [sydtest-mutation-example] -addOneArithAndIntLitDisabled n = n + 1 [sydtest-mutation-example] +addOneArithAndIntLitDisabled n = n + 0 [sydtest-mutation-example]  [sydtest-mutation-example]  -- | All mutations disabled on this function via [sydtest-mutation-example]  -- @{-# ANN addOneFunctionDisabled ("DisableMutations" :: String) #-}@. [sydtest-mutation-example] added mutation IntLit at src/Example/FunctionExceptionLib.hs:19:38-39 [sydtest-mutation-example] @@ -16,7 +16,7 @@ [sydtest-mutation-example]  -- | Both Arith and IntLit mutations disabled on this function. [sydtest-mutation-example]  {-# ANN addOneArithAndIntLitDisabled ("DisableMutations: Arith, IntLit" :: String) #-} [sydtest-mutation-example]  addOneArithAndIntLitDisabled :: Int -> Int [sydtest-mutation-example] -addOneArithAndIntLitDisabled n = n + 1 [sydtest-mutation-example] +addOneArithAndIntLitDisabled n = n + -1 [sydtest-mutation-example]  [sydtest-mutation-example]  -- | All mutations disabled on this function via [sydtest-mutation-example]  -- @{-# ANN addOneFunctionDisabled ("DisableMutations" :: String) #-}@. [sydtest-mutation-example] added mutation IntLit at src/Example/FunctionExceptionLib.hs:14:29-30 [sydtest-mutation-example] @@ -11,7 +11,7 @@ [sydtest-mutation-example]  -- IntLit mutations (replacing the literal @1@) still apply. [sydtest-mutation-example]  {-# ANN addOneArithDisabled ("DisableMutation: Arith" :: String) #-} [sydtest-mutation-example]  addOneArithDisabled :: Int -> Int [sydtest-mutation-example] -addOneArithDisabled n = n + 1 [sydtest-mutation-example] +addOneArithDisabled n = n + 0 [sydtest-mutation-example]  [sydtest-mutation-example]  -- | Both Arith and IntLit mutations disabled on this function. [sydtest-mutation-example]  {-# ANN addOneArithAndIntLitDisabled ("DisableMutations: Arith, IntLit" :: String) #-} [sydtest-mutation-example] added mutation IntLit at src/Example/FunctionExceptionLib.hs:14:29-30 [sydtest-mutation-example] @@ -11,7 +11,7 @@ [sydtest-mutation-example]  -- IntLit mutations (replacing the literal @1@) still apply. [sydtest-mutation-example]  {-# ANN addOneArithDisabled ("DisableMutation: Arith" :: String) #-} [sydtest-mutation-example]  addOneArithDisabled :: Int -> Int [sydtest-mutation-example] -addOneArithDisabled n = n + 1 [sydtest-mutation-example] +addOneArithDisabled n = n + -1 [sydtest-mutation-example]  [sydtest-mutation-example]  -- | Both Arith and IntLit mutations disabled on this function. [sydtest-mutation-example]  {-# ANN addOneArithAndIntLitDisabled ("DisableMutations: Arith, IntLit" :: String) #-} [sydtest-mutation-example] added 6 mutations [sydtest-mutation-example] [4 of 7] Compiling Example.Lib ( src/Example/Lib.hs, dist/build/Example/Lib.o, dist/build/Example/Lib.dyn_o ) [sydtest-mutation-example] mutation: instrumenting Example.Lib [sydtest-mutation-example] added mutation IntLit at src/Example/Lib.hs:8:16-17 [sydtest-mutation-example] @@ -5,4 +5,4 @@ [sydtest-mutation-example]  -- The literal '1' here is a mutation site: the plugin will also compile a [sydtest-mutation-example]  -- version where this returns @n + 0@ instead of @n + 1@. [sydtest-mutation-example]  addOne :: Int -> Int [sydtest-mutation-example] -addOne n = n + 1 [sydtest-mutation-example] +addOne n = n + 0 [sydtest-mutation-example] added mutation IntLit at src/Example/Lib.hs:8:16-17 [sydtest-mutation-example] @@ -5,4 +5,4 @@ [sydtest-mutation-example]  -- The literal '1' here is a mutation site: the plugin will also compile a [sydtest-mutation-example]  -- version where this returns @n + 0@ instead of @n + 1@. [sydtest-mutation-example]  addOne :: Int -> Int [sydtest-mutation-example] -addOne n = n + 1 [sydtest-mutation-example] +addOne n = n + -1 [sydtest-mutation-example] added 2 mutations [sydtest-mutation-example] [5 of 7] Compiling Example.OtherwiseLib ( src/Example/OtherwiseLib.hs, dist/build/Example/OtherwiseLib.o, dist/build/Example/OtherwiseLib.dyn_o ) [sydtest-mutation-example] mutation: instrumenting Example.OtherwiseLib [sydtest-mutation-example] added mutation IntLit at src/Example/OtherwiseLib.hs:12:9-10 [sydtest-mutation-example] @@ -9,6 +9,6 @@ [sydtest-mutation-example]  -- (otherwise = True, so @otherwise -> True@ is a semantic no-op). [sydtest-mutation-example]  classify :: Int -> String [sydtest-mutation-example]  classify n [sydtest-mutation-example] - | n < 0 = "negative" [sydtest-mutation-example] + | n < 1 = "negative" [sydtest-mutation-example]  | n == 0 = "zero" [sydtest-mutation-example]  | otherwise = "positive" [sydtest-mutation-example] added mutation ConstBool at src/Example/OtherwiseLib.hs:12:5-10 [sydtest-mutation-example] @@ -9,6 +9,6 @@ [sydtest-mutation-example]  -- (otherwise = True, so @otherwise -> True@ is a semantic no-op). [sydtest-mutation-example]  classify :: Int -> String [sydtest-mutation-example]  classify n [sydtest-mutation-example] - | n < 0 = "negative" [sydtest-mutation-example] + | True = "negative" [sydtest-mutation-example]  | n == 0 = "zero" [sydtest-mutation-example]  | otherwise = "positive" [sydtest-mutation-example] added mutation Negate at src/Example/OtherwiseLib.hs:12:5-10 [sydtest-mutation-example] @@ -9,6 +9,6 @@ [sydtest-mutation-example]  -- (otherwise = True, so @otherwise -> True@ is a semantic no-op). [sydtest-mutation-example]  classify :: Int -> String [sydtest-mutation-example]  classify n [sydtest-mutation-example] - | n < 0 = "negative" [sydtest-mutation-example] + | not (n < 0) = "negative" [sydtest-mutation-example]  | n == 0 = "zero" [sydtest-mutation-example]  | otherwise = "positive" [sydtest-mutation-example] added mutation IntLit at src/Example/OtherwiseLib.hs:13:10-11 [sydtest-mutation-example] @@ -10,5 +10,5 @@ [sydtest-mutation-example]  classify :: Int -> String [sydtest-mutation-example]  classify n [sydtest-mutation-example]  | n < 0 = "negative" [sydtest-mutation-example] - | n == 0 = "zero" [sydtest-mutation-example] + | n == 1 = "zero" [sydtest-mutation-example]  | otherwise = "positive" [sydtest-mutation-example] added mutation ConstBool at src/Example/OtherwiseLib.hs:13:5-11 [sydtest-mutation-example] @@ -10,5 +10,5 @@ [sydtest-mutation-example]  classify :: Int -> String [sydtest-mutation-example]  classify n [sydtest-mutation-example]  | n < 0 = "negative" [sydtest-mutation-example] - | n == 0 = "zero" [sydtest-mutation-example] + | True = "zero" [sydtest-mutation-example]  | otherwise = "positive" [sydtest-mutation-example] added mutation Negate at src/Example/OtherwiseLib.hs:13:5-11 [sydtest-mutation-example] @@ -10,5 +10,5 @@ [sydtest-mutation-example]  classify :: Int -> String [sydtest-mutation-example]  classify n [sydtest-mutation-example]  | n < 0 = "negative" [sydtest-mutation-example] - | n == 0 = "zero" [sydtest-mutation-example] + | not (n == 0) = "zero" [sydtest-mutation-example]  | otherwise = "positive" [sydtest-mutation-example] added 6 mutations [sydtest-mutation-example] [6 of 7] 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 mutation IntLit at src/Example/UntestedLib.hs:8:24-25 [sydtest-mutation-example] @@ -5,4 +5,4 @@ [sydtest-mutation-example]  -- like: the mutation report will show @IntLit1To0@ for this module surviving [sydtest-mutation-example]  -- because no test exercises it. [sydtest-mutation-example]  addOneUntested :: Int -> Int [sydtest-mutation-example] -addOneUntested n = n + 1 [sydtest-mutation-example] +addOneUntested n = n + 0 [sydtest-mutation-example] added mutation IntLit at src/Example/UntestedLib.hs:8:24-25 [sydtest-mutation-example] @@ -5,4 +5,4 @@ [sydtest-mutation-example]  -- like: the mutation report will show @IntLit1To0@ for this module surviving [sydtest-mutation-example]  -- because no test exercises it. [sydtest-mutation-example]  addOneUntested :: Int -> Int [sydtest-mutation-example] -addOneUntested n = n + 1 [sydtest-mutation-example] +addOneUntested n = n + -1 [sydtest-mutation-example] added 2 mutations [sydtest-mutation-example] [7 of 7] 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 7] Compiling Example.BoolLib ( src/Example/BoolLib.hs, dist/build/Example/BoolLib.p_o ) [sydtest-mutation-example] mutation: instrumenting Example.BoolLib [sydtest-mutation-example] added mutation BoolLit at src/Example/BoolLib.hs:18:18-23 [sydtest-mutation-example] @@ -15,7 +15,7 @@ [sydtest-mutation-example]  -- [sydtest-mutation-example]  -- Mutation sites: BoolLit/ConstBool on the inner False, MaybeOp on Just False. [sydtest-mutation-example]  wrapFalse :: Maybe Bool [sydtest-mutation-example] -wrapFalse = Just False [sydtest-mutation-example] +wrapFalse = Just True [sydtest-mutation-example]  [sydtest-mutation-example]  -- | Negates a wrapped boolean. [sydtest-mutation-example]  negateWrapped :: Maybe Bool -> Maybe Bool [sydtest-mutation-example] added mutation BoolLit at src/Example/BoolLib.hs:12:17-21 [sydtest-mutation-example] @@ -9,7 +9,7 @@ [sydtest-mutation-example]  -- [sydtest-mutation-example]  -- Mutation sites: BoolLit/ConstBool on the inner True, MaybeOp on Just True. [sydtest-mutation-example]  wrapTrue :: Maybe Bool [sydtest-mutation-example] -wrapTrue = Just True [sydtest-mutation-example] +wrapTrue = Just False [sydtest-mutation-example]  [sydtest-mutation-example]  -- | Wraps False in Just. [sydtest-mutation-example]  -- [sydtest-mutation-example] added 2 mutations [sydtest-mutation-example] [2 of 7] Compiling Example.ExceptionLib ( src/Example/ExceptionLib.hs, dist/build/Example/ExceptionLib.p_o ) [sydtest-mutation-example] [3 of 7] 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:25:32-33 [sydtest-mutation-example] @@ -22,4 +22,4 @@ [sydtest-mutation-example]  -- @{-# ANN addOneFunctionDisabled ("DisableMutations" :: String) #-}@. [sydtest-mutation-example]  {-# ANN addOneFunctionDisabled ("DisableMutations" :: String) #-} [sydtest-mutation-example]  addOneFunctionDisabled :: Int -> Int [sydtest-mutation-example] -addOneFunctionDisabled n = n + 1 [sydtest-mutation-example] +addOneFunctionDisabled n = n + 0 [sydtest-mutation-example] added mutation IntLit at src/Example/FunctionExceptionLib.hs:25:32-33 [sydtest-mutation-example] @@ -22,4 +22,4 @@ [sydtest-mutation-example]  -- @{-# ANN addOneFunctionDisabled ("DisableMutations" :: String) #-}@. [sydtest-mutation-example]  {-# ANN addOneFunctionDisabled ("DisableMutations" :: String) #-} [sydtest-mutation-example]  addOneFunctionDisabled :: Int -> Int [sydtest-mutation-example] -addOneFunctionDisabled n = n + 1 [sydtest-mutation-example] +addOneFunctionDisabled n = n + -1 [sydtest-mutation-example] added mutation IntLit at src/Example/FunctionExceptionLib.hs:19:38-39 [sydtest-mutation-example] @@ -16,7 +16,7 @@ [sydtest-mutation-example]  -- | Both Arith and IntLit mutations disabled on this function. [sydtest-mutation-example]  {-# ANN addOneArithAndIntLitDisabled ("DisableMutations: Arith, IntLit" :: String) #-} [sydtest-mutation-example]  addOneArithAndIntLitDisabled :: Int -> Int [sydtest-mutation-example] -addOneArithAndIntLitDisabled n = n + 1 [sydtest-mutation-example] +addOneArithAndIntLitDisabled n = n + 0 [sydtest-mutation-example]  [sydtest-mutation-example]  -- | All mutations disabled on this function via [sydtest-mutation-example]  -- @{-# ANN addOneFunctionDisabled ("DisableMutations" :: String) #-}@. [sydtest-mutation-example] added mutation IntLit at src/Example/FunctionExceptionLib.hs:19:38-39 [sydtest-mutation-example] @@ -16,7 +16,7 @@ [sydtest-mutation-example]  -- | Both Arith and IntLit mutations disabled on this function. [sydtest-mutation-example]  {-# ANN addOneArithAndIntLitDisabled ("DisableMutations: Arith, IntLit" :: String) #-} [sydtest-mutation-example]  addOneArithAndIntLitDisabled :: Int -> Int [sydtest-mutation-example] -addOneArithAndIntLitDisabled n = n + 1 [sydtest-mutation-example] +addOneArithAndIntLitDisabled n = n + -1 [sydtest-mutation-example]  [sydtest-mutation-example]  -- | All mutations disabled on this function via [sydtest-mutation-example]  -- @{-# ANN addOneFunctionDisabled ("DisableMutations" :: String) #-}@. [sydtest-mutation-example] added mutation IntLit at src/Example/FunctionExceptionLib.hs:14:29-30 [sydtest-mutation-example] @@ -11,7 +11,7 @@ [sydtest-mutation-example]  -- IntLit mutations (replacing the literal @1@) still apply. [sydtest-mutation-example]  {-# ANN addOneArithDisabled ("DisableMutation: Arith" :: String) #-} [sydtest-mutation-example]  addOneArithDisabled :: Int -> Int [sydtest-mutation-example] -addOneArithDisabled n = n + 1 [sydtest-mutation-example] +addOneArithDisabled n = n + 0 [sydtest-mutation-example]  [sydtest-mutation-example]  -- | Both Arith and IntLit mutations disabled on this function. [sydtest-mutation-example]  {-# ANN addOneArithAndIntLitDisabled ("DisableMutations: Arith, IntLit" :: String) #-} [sydtest-mutation-example] added mutation IntLit at src/Example/FunctionExceptionLib.hs:14:29-30 [sydtest-mutation-example] @@ -11,7 +11,7 @@ [sydtest-mutation-example]  -- IntLit mutations (replacing the literal @1@) still apply. [sydtest-mutation-example]  {-# ANN addOneArithDisabled ("DisableMutation: Arith" :: String) #-} [sydtest-mutation-example]  addOneArithDisabled :: Int -> Int [sydtest-mutation-example] -addOneArithDisabled n = n + 1 [sydtest-mutation-example] +addOneArithDisabled n = n + -1 [sydtest-mutation-example]  [sydtest-mutation-example]  -- | Both Arith and IntLit mutations disabled on this function. [sydtest-mutation-example]  {-# ANN addOneArithAndIntLitDisabled ("DisableMutations: Arith, IntLit" :: String) #-} [sydtest-mutation-example] added 6 mutations [sydtest-mutation-example] [4 of 7] Compiling Example.Lib ( src/Example/Lib.hs, dist/build/Example/Lib.p_o ) [sydtest-mutation-example] mutation: instrumenting Example.Lib [sydtest-mutation-example] added mutation IntLit at src/Example/Lib.hs:8:16-17 [sydtest-mutation-example] @@ -5,4 +5,4 @@ [sydtest-mutation-example]  -- The literal '1' here is a mutation site: the plugin will also compile a [sydtest-mutation-example]  -- version where this returns @n + 0@ instead of @n + 1@. [sydtest-mutation-example]  addOne :: Int -> Int [sydtest-mutation-example] -addOne n = n + 1 [sydtest-mutation-example] +addOne n = n + 0 [sydtest-mutation-example] added mutation IntLit at src/Example/Lib.hs:8:16-17 [sydtest-mutation-example] @@ -5,4 +5,4 @@ [sydtest-mutation-example]  -- The literal '1' here is a mutation site: the plugin will also compile a [sydtest-mutation-example]  -- version where this returns @n + 0@ instead of @n + 1@. [sydtest-mutation-example]  addOne :: Int -> Int [sydtest-mutation-example] -addOne n = n + 1 [sydtest-mutation-example] +addOne n = n + -1 [sydtest-mutation-example] added 2 mutations [sydtest-mutation-example] [5 of 7] Compiling Example.OtherwiseLib ( src/Example/OtherwiseLib.hs, dist/build/Example/OtherwiseLib.p_o ) [sydtest-mutation-example] mutation: instrumenting Example.OtherwiseLib [sydtest-mutation-example] added mutation IntLit at src/Example/OtherwiseLib.hs:12:9-10 [sydtest-mutation-example] @@ -9,6 +9,6 @@ [sydtest-mutation-example]  -- (otherwise = True, so @otherwise -> True@ is a semantic no-op). [sydtest-mutation-example]  classify :: Int -> String [sydtest-mutation-example]  classify n [sydtest-mutation-example] - | n < 0 = "negative" [sydtest-mutation-example] + | n < 1 = "negative" [sydtest-mutation-example]  | n == 0 = "zero" [sydtest-mutation-example]  | otherwise = "positive" [sydtest-mutation-example] added mutation ConstBool at src/Example/OtherwiseLib.hs:12:5-10 [sydtest-mutation-example] @@ -9,6 +9,6 @@ [sydtest-mutation-example]  -- (otherwise = True, so @otherwise -> True@ is a semantic no-op). [sydtest-mutation-example]  classify :: Int -> String [sydtest-mutation-example]  classify n [sydtest-mutation-example] - | n < 0 = "negative" [sydtest-mutation-example] + | True = "negative" [sydtest-mutation-example]  | n == 0 = "zero" [sydtest-mutation-example]  | otherwise = "positive" [sydtest-mutation-example] added mutation Negate at src/Example/OtherwiseLib.hs:12:5-10 [sydtest-mutation-example] @@ -9,6 +9,6 @@ [sydtest-mutation-example]  -- (otherwise = True, so @otherwise -> True@ is a semantic no-op). [sydtest-mutation-example]  classify :: Int -> String [sydtest-mutation-example]  classify n [sydtest-mutation-example] - | n < 0 = "negative" [sydtest-mutation-example] + | not (n < 0) = "negative" [sydtest-mutation-example]  | n == 0 = "zero" [sydtest-mutation-example]  | otherwise = "positive" [sydtest-mutation-example] added mutation IntLit at src/Example/OtherwiseLib.hs:13:10-11 [sydtest-mutation-example] @@ -10,5 +10,5 @@ [sydtest-mutation-example]  classify :: Int -> String [sydtest-mutation-example]  classify n [sydtest-mutation-example]  | n < 0 = "negative" [sydtest-mutation-example] - | n == 0 = "zero" [sydtest-mutation-example] + | n == 1 = "zero" [sydtest-mutation-example]  | otherwise = "positive" [sydtest-mutation-example] added mutation ConstBool at src/Example/OtherwiseLib.hs:13:5-11 [sydtest-mutation-example] @@ -10,5 +10,5 @@ [sydtest-mutation-example]  classify :: Int -> String [sydtest-mutation-example]  classify n [sydtest-mutation-example]  | n < 0 = "negative" [sydtest-mutation-example] - | n == 0 = "zero" [sydtest-mutation-example] + | True = "zero" [sydtest-mutation-example]  | otherwise = "positive" [sydtest-mutation-example] added mutation Negate at src/Example/OtherwiseLib.hs:13:5-11 [sydtest-mutation-example] @@ -10,5 +10,5 @@ [sydtest-mutation-example]  classify :: Int -> String [sydtest-mutation-example]  classify n [sydtest-mutation-example]  | n < 0 = "negative" [sydtest-mutation-example] - | n == 0 = "zero" [sydtest-mutation-example] + | not (n == 0) = "zero" [sydtest-mutation-example]  | otherwise = "positive" [sydtest-mutation-example] added 6 mutations [sydtest-mutation-example] [6 of 7] Compiling Example.UntestedLib ( src/Example/UntestedLib.hs, dist/build/Example/UntestedLib.p_o ) [sydtest-mutation-example] mutation: instrumenting Example.UntestedLib [sydtest-mutation-example] added mutation IntLit at src/Example/UntestedLib.hs:8:24-25 [sydtest-mutation-example] @@ -5,4 +5,4 @@ [sydtest-mutation-example]  -- like: the mutation report will show @IntLit1To0@ for this module surviving [sydtest-mutation-example]  -- because no test exercises it. [sydtest-mutation-example]  addOneUntested :: Int -> Int [sydtest-mutation-example] -addOneUntested n = n + 1 [sydtest-mutation-example] +addOneUntested n = n + 0 [sydtest-mutation-example] added mutation IntLit at src/Example/UntestedLib.hs:8:24-25 [sydtest-mutation-example] @@ -5,4 +5,4 @@ [sydtest-mutation-example]  -- like: the mutation report will show @IntLit1To0@ for this module surviving [sydtest-mutation-example]  -- because no test exercises it. [sydtest-mutation-example]  addOneUntested :: Int -> Int [sydtest-mutation-example] -addOneUntested n = n + 1 [sydtest-mutation-example] +addOneUntested n = n + -1 [sydtest-mutation-example] added 2 mutations [sydtest-mutation-example] [7 of 7] 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/ExceptionLib.dyn_o' [sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/FunctionExceptionLib.dyn_o' [sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/Lib.dyn_o' [sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/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] Preprocessing test suite 'sydtest-mutation-example-test' for sydtest-mutation-example-0.0.0.0... [sydtest-mutation-example] Building test suite 'sydtest-mutation-example-test' for sydtest-mutation-example-0.0.0.0... [sydtest-mutation-example] [1 of 6] Compiling Example.BoolLibSpec ( test/Example/BoolLibSpec.hs, dist/build/sydtest-mutation-example-test/sydtest-mutation-example-test-tmp/Example/BoolLibSpec.o ) [sydtest-mutation-example] mutation: instrumenting Example.BoolLibSpec [sydtest-mutation-example] added mutation BoolLit at test/Example/BoolLibSpec.hs:10:32-36 [sydtest-mutation-example] @@ -7,7 +7,7 @@ [sydtest-mutation-example]  spec = do [sydtest-mutation-example]  describe "wrapTrue" $ [sydtest-mutation-example]  it "is Just True" $ [sydtest-mutation-example] - wrapTrue `shouldBe` Just True [sydtest-mutation-example] + wrapTrue `shouldBe` Just False [sydtest-mutation-example]  [sydtest-mutation-example]  describe "wrapFalse" $ [sydtest-mutation-example]  it "is Just False" $ [sydtest-mutation-example] added mutation BoolLit at test/Example/BoolLibSpec.hs:14:33-38 [sydtest-mutation-example] @@ -11,7 +11,7 @@ [sydtest-mutation-example]  [sydtest-mutation-example]  describe "wrapFalse" $ [sydtest-mutation-example]  it "is Just False" $ [sydtest-mutation-example] - wrapFalse `shouldBe` Just False [sydtest-mutation-example] + wrapFalse `shouldBe` Just True [sydtest-mutation-example]  [sydtest-mutation-example]  describe "negateWrapped" $ do [sydtest-mutation-example]  it "negates Just True to Just False" $ [sydtest-mutation-example] added mutation BoolLit at test/Example/BoolLibSpec.hs:18:27-31 [sydtest-mutation-example] @@ -15,7 +15,7 @@ [sydtest-mutation-example]  [sydtest-mutation-example]  describe "negateWrapped" $ do [sydtest-mutation-example]  it "negates Just True to Just False" $ [sydtest-mutation-example] - negateWrapped (Just True) `shouldBe` Just False [sydtest-mutation-example] + negateWrapped (Just False) `shouldBe` Just False [sydtest-mutation-example]  it "negates Just False to Just True" $ [sydtest-mutation-example]  negateWrapped (Just False) `shouldBe` Just True [sydtest-mutation-example]  it "leaves Nothing as Nothing" $ [sydtest-mutation-example] added mutation BoolLit at test/Example/BoolLibSpec.hs:18:49-54 [sydtest-mutation-example] @@ -15,7 +15,7 @@ [sydtest-mutation-example]  [sydtest-mutation-example]  describe "negateWrapped" $ do [sydtest-mutation-example]  it "negates Just True to Just False" $ [sydtest-mutation-example] - negateWrapped (Just True) `shouldBe` Just False [sydtest-mutation-example] + negateWrapped (Just True) `shouldBe` Just True [sydtest-mutation-example]  it "negates Just False to Just True" $ [sydtest-mutation-example]  negateWrapped (Just False) `shouldBe` Just True [sydtest-mutation-example]  it "leaves Nothing as Nothing" $ [sydtest-mutation-example] added mutation BoolLit at test/Example/BoolLibSpec.hs:20:27-32 [sydtest-mutation-example] @@ -17,6 +17,6 @@ [sydtest-mutation-example]  it "negates Just True to Just False" $ [sydtest-mutation-example]  negateWrapped (Just True) `shouldBe` Just False [sydtest-mutation-example]  it "negates Just False to Just True" $ [sydtest-mutation-example] - negateWrapped (Just False) `shouldBe` Just True [sydtest-mutation-example] + negateWrapped (Just True) `shouldBe` Just True [sydtest-mutation-example]  it "leaves Nothing as Nothing" $ [sydtest-mutation-example]  negateWrapped Nothing `shouldBe` Nothing [sydtest-mutation-example] added mutation BoolLit at test/Example/BoolLibSpec.hs:20:50-54 [sydtest-mutation-example] @@ -17,6 +17,6 @@ [sydtest-mutation-example]  it "negates Just True to Just False" $ [sydtest-mutation-example]  negateWrapped (Just True) `shouldBe` Just False [sydtest-mutation-example]  it "negates Just False to Just True" $ [sydtest-mutation-example] - negateWrapped (Just False) `shouldBe` Just True [sydtest-mutation-example] + negateWrapped (Just False) `shouldBe` Just False [sydtest-mutation-example]  it "leaves Nothing as Nothing" $ [sydtest-mutation-example]  negateWrapped Nothing `shouldBe` Nothing [sydtest-mutation-example] added 6 mutations [sydtest-mutation-example] [2 of 6] Compiling Example.LibSpec ( test/Example/LibSpec.hs, dist/build/sydtest-mutation-example-test/sydtest-mutation-example-test-tmp/Example/LibSpec.o ) [sydtest-mutation-example] mutation: instrumenting Example.LibSpec [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:10:14-15 [sydtest-mutation-example] @@ -7,6 +7,6 @@ [sydtest-mutation-example]  spec = do [sydtest-mutation-example]  describe "addOne" $ do [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example] - addOne 1 `shouldBe` 2 [sydtest-mutation-example] + addOne 0 `shouldBe` 2 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example]  addOne 5 `shouldBe` 6 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:10:14-15 [sydtest-mutation-example] @@ -7,6 +7,6 @@ [sydtest-mutation-example]  spec = do [sydtest-mutation-example]  describe "addOne" $ do [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example] - addOne 1 `shouldBe` 2 [sydtest-mutation-example] + addOne -1 `shouldBe` 2 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example]  addOne 5 `shouldBe` 6 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:10:27-28 [sydtest-mutation-example] @@ -7,6 +7,6 @@ [sydtest-mutation-example]  spec = do [sydtest-mutation-example]  describe "addOne" $ do [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example] - addOne 1 `shouldBe` 2 [sydtest-mutation-example] + addOne 1 `shouldBe` 0 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example]  addOne 5 `shouldBe` 6 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:10:27-28 [sydtest-mutation-example] @@ -7,6 +7,6 @@ [sydtest-mutation-example]  spec = do [sydtest-mutation-example]  describe "addOne" $ do [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example] - addOne 1 `shouldBe` 2 [sydtest-mutation-example] + addOne 1 `shouldBe` 1 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example]  addOne 5 `shouldBe` 6 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:10:27-28 [sydtest-mutation-example] @@ -7,6 +7,6 @@ [sydtest-mutation-example]  spec = do [sydtest-mutation-example]  describe "addOne" $ do [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example] - addOne 1 `shouldBe` 2 [sydtest-mutation-example] + addOne 1 `shouldBe` -2 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example]  addOne 5 `shouldBe` 6 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:12:14-15 [sydtest-mutation-example] @@ -9,4 +9,4 @@ [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example]  addOne 1 `shouldBe` 2 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example] - addOne 5 `shouldBe` 6 [sydtest-mutation-example] + addOne 0 `shouldBe` 6 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:12:14-15 [sydtest-mutation-example] @@ -9,4 +9,4 @@ [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example]  addOne 1 `shouldBe` 2 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example] - addOne 5 `shouldBe` 6 [sydtest-mutation-example] + addOne 1 `shouldBe` 6 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:12:14-15 [sydtest-mutation-example] @@ -9,4 +9,4 @@ [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example]  addOne 1 `shouldBe` 2 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example] - addOne 5 `shouldBe` 6 [sydtest-mutation-example] + addOne -5 `shouldBe` 6 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:12:27-28 [sydtest-mutation-example] @@ -9,4 +9,4 @@ [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example]  addOne 1 `shouldBe` 2 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example] - addOne 5 `shouldBe` 6 [sydtest-mutation-example] + addOne 5 `shouldBe` 0 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:12:27-28 [sydtest-mutation-example] @@ -9,4 +9,4 @@ [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example]  addOne 1 `shouldBe` 2 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example] - addOne 5 `shouldBe` 6 [sydtest-mutation-example] + addOne 5 `shouldBe` 1 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:12:27-28 [sydtest-mutation-example] @@ -9,4 +9,4 @@ [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example]  addOne 1 `shouldBe` 2 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example] - addOne 5 `shouldBe` 6 [sydtest-mutation-example] + addOne 5 `shouldBe` -6 [sydtest-mutation-example] added 11 mutations [sydtest-mutation-example] [3 of 6] Compiling Example.OtherwiseLibSpec ( test/Example/OtherwiseLibSpec.hs, dist/build/sydtest-mutation-example-test/sydtest-mutation-example-test-tmp/Example/OtherwiseLibSpec.o ) [sydtest-mutation-example] mutation: instrumenting Example.OtherwiseLibSpec [sydtest-mutation-example] added mutation IntLit at test/Example/OtherwiseLibSpec.hs:10:18-19 [sydtest-mutation-example] @@ -7,7 +7,7 @@ [sydtest-mutation-example]  spec = [sydtest-mutation-example]  describe "classify" $ do [sydtest-mutation-example]  it "classifies negative numbers" $ [sydtest-mutation-example] - classify (-1) `shouldBe` "negative" [sydtest-mutation-example] + classify (-0) `shouldBe` "negative" [sydtest-mutation-example]  it "classifies zero" $ [sydtest-mutation-example]  classify 0 `shouldBe` "zero" [sydtest-mutation-example]  it "classifies positive numbers" $ [sydtest-mutation-example] added mutation IntLit at test/Example/OtherwiseLibSpec.hs:10:18-19 [sydtest-mutation-example] @@ -7,7 +7,7 @@ [sydtest-mutation-example]  spec = [sydtest-mutation-example]  describe "classify" $ do [sydtest-mutation-example]  it "classifies negative numbers" $ [sydtest-mutation-example] - classify (-1) `shouldBe` "negative" [sydtest-mutation-example] + classify (--1) `shouldBe` "negative" [sydtest-mutation-example]  it "classifies zero" $ [sydtest-mutation-example]  classify 0 `shouldBe` "zero" [sydtest-mutation-example]  it "classifies positive numbers" $ [sydtest-mutation-example] added mutation IntLit at test/Example/OtherwiseLibSpec.hs:12:16-17 [sydtest-mutation-example] @@ -9,6 +9,6 @@ [sydtest-mutation-example]  it "classifies negative numbers" $ [sydtest-mutation-example]  classify (-1) `shouldBe` "negative" [sydtest-mutation-example]  it "classifies zero" $ [sydtest-mutation-example] - classify 0 `shouldBe` "zero" [sydtest-mutation-example] + classify 1 `shouldBe` "zero" [sydtest-mutation-example]  it "classifies positive numbers" $ [sydtest-mutation-example]  classify 1 `shouldBe` "positive" [sydtest-mutation-example] added mutation IntLit at test/Example/OtherwiseLibSpec.hs:14:16-17 [sydtest-mutation-example] @@ -11,4 +11,4 @@ [sydtest-mutation-example]  it "classifies zero" $ [sydtest-mutation-example]  classify 0 `shouldBe` "zero" [sydtest-mutation-example]  it "classifies positive numbers" $ [sydtest-mutation-example] - classify 1 `shouldBe` "positive" [sydtest-mutation-example] + classify 0 `shouldBe` "positive" [sydtest-mutation-example] added mutation IntLit at test/Example/OtherwiseLibSpec.hs:14:16-17 [sydtest-mutation-example] @@ -11,4 +11,4 @@ [sydtest-mutation-example]  it "classifies zero" $ [sydtest-mutation-example]  classify 0 `shouldBe` "zero" [sydtest-mutation-example]  it "classifies positive numbers" $ [sydtest-mutation-example] - classify 1 `shouldBe` "positive" [sydtest-mutation-example] + classify -1 `shouldBe` "positive" [sydtest-mutation-example] added 5 mutations [sydtest-mutation-example] [4 of 6] Compiling Paths_sydtest_mutation_example ( dist/build/sydtest-mutation-example-test/autogen/Paths_sydtest_mutation_example.hs, dist/build/sydtest-mutation-example-test/sydtest-mutation-example-test-tmp/Paths_sydtest_mutation_example.o ) [sydtest-mutation-example] [5 of 6] Compiling Spec ( test/Spec.hs, dist/build/sydtest-mutation-example-test/sydtest-mutation-example-test-tmp/Spec.o ) [sydtest-mutation-example] mutation: instrumenting Spec [sydtest-mutation-example] added 0 mutations [sydtest-mutation-example] [6 of 6] Compiling Main ( test/Main.hs, dist/build/sydtest-mutation-example-test/sydtest-mutation-example-test-tmp/Main.o ) [sydtest-mutation-example] mutation: instrumenting Main [sydtest-mutation-example] added 0 mutations [sydtest-mutation-example] [1 of 7] Compiling Example.BoolLibSpec ( test/Example/BoolLibSpec.hs, dist/build/sydtest-mutation-example-test/sydtest-mutation-example-test-tmp/Example/BoolLibSpec.o ) [Impure plugin forced recompilation] [sydtest-mutation-example] mutation: instrumenting Example.BoolLibSpec [sydtest-mutation-example] added mutation BoolLit at test/Example/BoolLibSpec.hs:10:32-36 [sydtest-mutation-example] @@ -7,7 +7,7 @@ [sydtest-mutation-example]  spec = do [sydtest-mutation-example]  describe "wrapTrue" $ [sydtest-mutation-example]  it "is Just True" $ [sydtest-mutation-example] - wrapTrue `shouldBe` Just True [sydtest-mutation-example] + wrapTrue `shouldBe` Just False [sydtest-mutation-example]  [sydtest-mutation-example]  describe "wrapFalse" $ [sydtest-mutation-example]  it "is Just False" $ [sydtest-mutation-example] added mutation BoolLit at test/Example/BoolLibSpec.hs:14:33-38 [sydtest-mutation-example] @@ -11,7 +11,7 @@ [sydtest-mutation-example]  [sydtest-mutation-example]  describe "wrapFalse" $ [sydtest-mutation-example]  it "is Just False" $ [sydtest-mutation-example] - wrapFalse `shouldBe` Just False [sydtest-mutation-example] + wrapFalse `shouldBe` Just True [sydtest-mutation-example]  [sydtest-mutation-example]  describe "negateWrapped" $ do [sydtest-mutation-example]  it "negates Just True to Just False" $ [sydtest-mutation-example] added mutation BoolLit at test/Example/BoolLibSpec.hs:18:27-31 [sydtest-mutation-example] @@ -15,7 +15,7 @@ [sydtest-mutation-example]  [sydtest-mutation-example]  describe "negateWrapped" $ do [sydtest-mutation-example]  it "negates Just True to Just False" $ [sydtest-mutation-example] - negateWrapped (Just True) `shouldBe` Just False [sydtest-mutation-example] + negateWrapped (Just False) `shouldBe` Just False [sydtest-mutation-example]  it "negates Just False to Just True" $ [sydtest-mutation-example]  negateWrapped (Just False) `shouldBe` Just True [sydtest-mutation-example]  it "leaves Nothing as Nothing" $ [sydtest-mutation-example] added mutation BoolLit at test/Example/BoolLibSpec.hs:18:49-54 [sydtest-mutation-example] @@ -15,7 +15,7 @@ [sydtest-mutation-example]  [sydtest-mutation-example]  describe "negateWrapped" $ do [sydtest-mutation-example]  it "negates Just True to Just False" $ [sydtest-mutation-example] - negateWrapped (Just True) `shouldBe` Just False [sydtest-mutation-example] + negateWrapped (Just True) `shouldBe` Just True [sydtest-mutation-example]  it "negates Just False to Just True" $ [sydtest-mutation-example]  negateWrapped (Just False) `shouldBe` Just True [sydtest-mutation-example]  it "leaves Nothing as Nothing" $ [sydtest-mutation-example] added mutation BoolLit at test/Example/BoolLibSpec.hs:20:27-32 [sydtest-mutation-example] @@ -17,6 +17,6 @@ [sydtest-mutation-example]  it "negates Just True to Just False" $ [sydtest-mutation-example]  negateWrapped (Just True) `shouldBe` Just False [sydtest-mutation-example]  it "negates Just False to Just True" $ [sydtest-mutation-example] - negateWrapped (Just False) `shouldBe` Just True [sydtest-mutation-example] + negateWrapped (Just True) `shouldBe` Just True [sydtest-mutation-example]  it "leaves Nothing as Nothing" $ [sydtest-mutation-example]  negateWrapped Nothing `shouldBe` Nothing [sydtest-mutation-example] added mutation BoolLit at test/Example/BoolLibSpec.hs:20:50-54 [sydtest-mutation-example] @@ -17,6 +17,6 @@ [sydtest-mutation-example]  it "negates Just True to Just False" $ [sydtest-mutation-example]  negateWrapped (Just True) `shouldBe` Just False [sydtest-mutation-example]  it "negates Just False to Just True" $ [sydtest-mutation-example] - negateWrapped (Just False) `shouldBe` Just True [sydtest-mutation-example] + negateWrapped (Just False) `shouldBe` Just False [sydtest-mutation-example]  it "leaves Nothing as Nothing" $ [sydtest-mutation-example]  negateWrapped Nothing `shouldBe` Nothing [sydtest-mutation-example] added 6 mutations [sydtest-mutation-example] [2 of 7] Compiling Example.LibSpec ( test/Example/LibSpec.hs, dist/build/sydtest-mutation-example-test/sydtest-mutation-example-test-tmp/Example/LibSpec.o ) [Impure plugin forced recompilation] [sydtest-mutation-example] mutation: instrumenting Example.LibSpec [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:10:14-15 [sydtest-mutation-example] @@ -7,6 +7,6 @@ [sydtest-mutation-example]  spec = do [sydtest-mutation-example]  describe "addOne" $ do [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example] - addOne 1 `shouldBe` 2 [sydtest-mutation-example] + addOne 0 `shouldBe` 2 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example]  addOne 5 `shouldBe` 6 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:10:14-15 [sydtest-mutation-example] @@ -7,6 +7,6 @@ [sydtest-mutation-example]  spec = do [sydtest-mutation-example]  describe "addOne" $ do [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example] - addOne 1 `shouldBe` 2 [sydtest-mutation-example] + addOne -1 `shouldBe` 2 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example]  addOne 5 `shouldBe` 6 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:10:27-28 [sydtest-mutation-example] @@ -7,6 +7,6 @@ [sydtest-mutation-example]  spec = do [sydtest-mutation-example]  describe "addOne" $ do [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example] - addOne 1 `shouldBe` 2 [sydtest-mutation-example] + addOne 1 `shouldBe` 0 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example]  addOne 5 `shouldBe` 6 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:10:27-28 [sydtest-mutation-example] @@ -7,6 +7,6 @@ [sydtest-mutation-example]  spec = do [sydtest-mutation-example]  describe "addOne" $ do [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example] - addOne 1 `shouldBe` 2 [sydtest-mutation-example] + addOne 1 `shouldBe` 1 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example]  addOne 5 `shouldBe` 6 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:10:27-28 [sydtest-mutation-example] @@ -7,6 +7,6 @@ [sydtest-mutation-example]  spec = do [sydtest-mutation-example]  describe "addOne" $ do [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example] - addOne 1 `shouldBe` 2 [sydtest-mutation-example] + addOne 1 `shouldBe` -2 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example]  addOne 5 `shouldBe` 6 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:12:14-15 [sydtest-mutation-example] @@ -9,4 +9,4 @@ [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example]  addOne 1 `shouldBe` 2 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example] - addOne 5 `shouldBe` 6 [sydtest-mutation-example] + addOne 0 `shouldBe` 6 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:12:14-15 [sydtest-mutation-example] @@ -9,4 +9,4 @@ [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example]  addOne 1 `shouldBe` 2 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example] - addOne 5 `shouldBe` 6 [sydtest-mutation-example] + addOne 1 `shouldBe` 6 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:12:14-15 [sydtest-mutation-example] @@ -9,4 +9,4 @@ [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example]  addOne 1 `shouldBe` 2 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example] - addOne 5 `shouldBe` 6 [sydtest-mutation-example] + addOne -5 `shouldBe` 6 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:12:27-28 [sydtest-mutation-example] @@ -9,4 +9,4 @@ [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example]  addOne 1 `shouldBe` 2 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example] - addOne 5 `shouldBe` 6 [sydtest-mutation-example] + addOne 5 `shouldBe` 0 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:12:27-28 [sydtest-mutation-example] @@ -9,4 +9,4 @@ [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example]  addOne 1 `shouldBe` 2 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example] - addOne 5 `shouldBe` 6 [sydtest-mutation-example] + addOne 5 `shouldBe` 1 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:12:27-28 [sydtest-mutation-example] @@ -9,4 +9,4 @@ [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example]  addOne 1 `shouldBe` 2 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example] - addOne 5 `shouldBe` 6 [sydtest-mutation-example] + addOne 5 `shouldBe` -6 [sydtest-mutation-example] added 11 mutations [sydtest-mutation-example] [3 of 7] Compiling Example.OtherwiseLibSpec ( test/Example/OtherwiseLibSpec.hs, dist/build/sydtest-mutation-example-test/sydtest-mutation-example-test-tmp/Example/OtherwiseLibSpec.o ) [Impure plugin forced recompilation] [sydtest-mutation-example] mutation: instrumenting Example.OtherwiseLibSpec [sydtest-mutation-example] added mutation IntLit at test/Example/OtherwiseLibSpec.hs:10:18-19 [sydtest-mutation-example] @@ -7,7 +7,7 @@ [sydtest-mutation-example]  spec = [sydtest-mutation-example]  describe "classify" $ do [sydtest-mutation-example]  it "classifies negative numbers" $ [sydtest-mutation-example] - classify (-1) `shouldBe` "negative" [sydtest-mutation-example] + classify (-0) `shouldBe` "negative" [sydtest-mutation-example]  it "classifies zero" $ [sydtest-mutation-example]  classify 0 `shouldBe` "zero" [sydtest-mutation-example]  it "classifies positive numbers" $ [sydtest-mutation-example] added mutation IntLit at test/Example/OtherwiseLibSpec.hs:10:18-19 [sydtest-mutation-example] @@ -7,7 +7,7 @@ [sydtest-mutation-example]  spec = [sydtest-mutation-example]  describe "classify" $ do [sydtest-mutation-example]  it "classifies negative numbers" $ [sydtest-mutation-example] - classify (-1) `shouldBe` "negative" [sydtest-mutation-example] + classify (--1) `shouldBe` "negative" [sydtest-mutation-example]  it "classifies zero" $ [sydtest-mutation-example]  classify 0 `shouldBe` "zero" [sydtest-mutation-example]  it "classifies positive numbers" $ [sydtest-mutation-example] added mutation IntLit at test/Example/OtherwiseLibSpec.hs:12:16-17 [sydtest-mutation-example] @@ -9,6 +9,6 @@ [sydtest-mutation-example]  it "classifies negative numbers" $ [sydtest-mutation-example]  classify (-1) `shouldBe` "negative" [sydtest-mutation-example]  it "classifies zero" $ [sydtest-mutation-example] - classify 0 `shouldBe` "zero" [sydtest-mutation-example] + classify 1 `shouldBe` "zero" [sydtest-mutation-example]  it "classifies positive numbers" $ [sydtest-mutation-example]  classify 1 `shouldBe` "positive" [sydtest-mutation-example] added mutation IntLit at test/Example/OtherwiseLibSpec.hs:14:16-17 [sydtest-mutation-example] @@ -11,4 +11,4 @@ [sydtest-mutation-example]  it "classifies zero" $ [sydtest-mutation-example]  classify 0 `shouldBe` "zero" [sydtest-mutation-example]  it "classifies positive numbers" $ [sydtest-mutation-example] - classify 1 `shouldBe` "positive" [sydtest-mutation-example] + classify 0 `shouldBe` "positive" [sydtest-mutation-example] added mutation IntLit at test/Example/OtherwiseLibSpec.hs:14:16-17 [sydtest-mutation-example] @@ -11,4 +11,4 @@ [sydtest-mutation-example]  it "classifies zero" $ [sydtest-mutation-example]  classify 0 `shouldBe` "zero" [sydtest-mutation-example]  it "classifies positive numbers" $ [sydtest-mutation-example] - classify 1 `shouldBe` "positive" [sydtest-mutation-example] + classify -1 `shouldBe` "positive" [sydtest-mutation-example] added 5 mutations [sydtest-mutation-example] [4 of 7] Compiling Paths_sydtest_mutation_example ( dist/build/sydtest-mutation-example-test/autogen/Paths_sydtest_mutation_example.hs, dist/build/sydtest-mutation-example-test/sydtest-mutation-example-test-tmp/Paths_sydtest_mutation_example.o ) [Impure plugin forced recompilation] [sydtest-mutation-example] [5 of 7] Compiling Spec ( test/Spec.hs, dist/build/sydtest-mutation-example-test/sydtest-mutation-example-test-tmp/Spec.o ) [Impure plugin forced recompilation] [sydtest-mutation-example] mutation: instrumenting Spec [sydtest-mutation-example] added 0 mutations [sydtest-mutation-example] [6 of 7] Compiling Main ( test/Main.hs, dist/build/sydtest-mutation-example-test/sydtest-mutation-example-test-tmp/Main.o ) [Impure plugin forced recompilation] [sydtest-mutation-example] mutation: instrumenting Main [sydtest-mutation-example] added 0 mutations [sydtest-mutation-example] [7 of 7] Linking dist/build/sydtest-mutation-example-test/sydtest-mutation-example-test [sydtest-mutation-example] mutation-nix: manifest output at /nix/store/vdm1wfxsjg3kjsdazqjj59bxhinhi8kw-sydtest-mutation-example-0.0.0.0-manifest: [sydtest-mutation-example] total 80 [sydtest-mutation-example] drwxr-xr-x 2 nixbld nixbld 4096 May 13 16:03 . [sydtest-mutation-example] drwxrwxr-t 314 nobody nixbld 32768 May 13 16:03 .. [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 1018 May 13 16:03 Example.BoolLib.json [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 3642 May 13 16:03 Example.BoolLibSpec.json [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 4044 May 13 16:03 Example.FunctionExceptionLib.json [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 930 May 13 16:03 Example.Lib.json [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 5097 May 13 16:03 Example.LibSpec.json [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 2896 May 13 16:03 Example.OtherwiseLib.json [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 2797 May 13 16:03 Example.OtherwiseLibSpec.json [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 982 May 13 16:03 Example.UntestedLib.json [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 2 May 13 16:03 Main.json [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 2 May 13 16:03 Spec.json [sydtest-mutation-example] Phase: checkPhase [sydtest-mutation-example] Running 1 test suites... [sydtest-mutation-example] Test suite sydtest-mutation-example-test: RUNNING... [sydtest-mutation-example] Tests: [sydtest-mutation-example]  [sydtest-mutation-example] Example.LibSpec [sydtest-mutation-example]  addOne [sydtest-mutation-example]  ✓ returns 6 for input 5  0.35 ms [sydtest-mutation-example]  ✓ returns 2 for input 1  0.36 ms [sydtest-mutation-example] Example.BoolLibSpec [sydtest-mutation-example]  wrapTrue [sydtest-mutation-example]  ✓ is Just True  0.30 ms [sydtest-mutation-example]  wrapFalse [sydtest-mutation-example]  ✓ is Just False  0.32 ms [sydtest-mutation-example]  negateWrapped [sydtest-mutation-example]  ✓ negates Just True to Just False  0.36 ms [sydtest-mutation-example]  ✓ leaves Nothing as Nothing  0.01 ms [sydtest-mutation-example]  ✓ negates Just False to Just True  0.27 ms [sydtest-mutation-example] Example.OtherwiseLibSpec [sydtest-mutation-example]  classify [sydtest-mutation-example]  ✓ classifies negative numbers  0.20 ms [sydtest-mutation-example]  ✓ classifies zero  0.15 ms [sydtest-mutation-example]  ✓ classifies positive numbers  0.28 ms [sydtest-mutation-example]  [sydtest-mutation-example]  Passed: 10 [sydtest-mutation-example]  Failed: 0 [sydtest-mutation-example]  Sum of test runtimes: 0.00 seconds [sydtest-mutation-example]  Test suite took:  0.00 seconds [sydtest-mutation-example]  [sydtest-mutation-example] Test suite sydtest-mutation-example-test: PASS [sydtest-mutation-example] Test suite logged to: [sydtest-mutation-example] dist/test/sydtest-mutation-example-0.0.0.0-sydtest-mutation-example-test.log [sydtest-mutation-example] 1 of 1 test suites (1 of 1 test cases) passed. [sydtest-mutation-example] Phase: haddockPhase [sydtest-mutation-example] Phase: installPhase [sydtest-mutation-example] Installing library in /nix/store/i9016nhwmix1d8365vcdcsiz8jdhxjgs-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-HKLtxgcNX3SGgTl9z4D5SA [sydtest-mutation-example] Phase: fixupPhase [sydtest-mutation-example] shrinking RPATHs of ELF executables and libraries in /nix/store/i9016nhwmix1d8365vcdcsiz8jdhxjgs-sydtest-mutation-example-0.0.0.0 [sydtest-mutation-example] shrinking /nix/store/i9016nhwmix1d8365vcdcsiz8jdhxjgs-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-HKLtxgcNX3SGgTl9z4D5SA-ghc9.10.3.so [sydtest-mutation-example] checking for references to /build/ in /nix/store/i9016nhwmix1d8365vcdcsiz8jdhxjgs-sydtest-mutation-example-0.0.0.0... [sydtest-mutation-example] patching script interpreter paths in /nix/store/i9016nhwmix1d8365vcdcsiz8jdhxjgs-sydtest-mutation-example-0.0.0.0 [sydtest-mutation-example] stripping (with command strip and flags -S -p) in /nix/store/i9016nhwmix1d8365vcdcsiz8jdhxjgs-sydtest-mutation-example-0.0.0.0/lib [sydtest-mutation-example] shrinking RPATHs of ELF executables and libraries in /nix/store/vdm1wfxsjg3kjsdazqjj59bxhinhi8kw-sydtest-mutation-example-0.0.0.0-manifest [sydtest-mutation-example] checking for references to /build/ in /nix/store/vdm1wfxsjg3kjsdazqjj59bxhinhi8kw-sydtest-mutation-example-0.0.0.0-manifest... [sydtest-mutation-example] patching script interpreter paths in /nix/store/vdm1wfxsjg3kjsdazqjj59bxhinhi8kw-sydtest-mutation-example-0.0.0.0-manifest Progress: 1 of 7 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/n9557gqf8aa0i243cv1m4r0wh5ff57x5-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.iQCCuvHga0/setup-package.conf.d -threaded [sydtest-mutation-example-gen-source] [1 of 2] Compiling Main ( /nix/store/4mdp8nhyfddh7bllbi7xszz7k9955n79-Setup.hs, /build/tmp.iQCCuvHga0/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/ix3n72hkzr7hci5impkfkp2hifj45j10-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.iQCCuvHga0/package.conf.d --ghc-option=-j16 --ghc-option=+RTS --ghc-option=-A64M --ghc-option=-RTS --enable-library-profiling --profiling-detail=exported-functions --disable-profiling --enable-shared --disable-coverage --enable-static --disable-executable-dynamic --enable-tests --enable-benchmarks --enable-library-vanilla --disable-library-for-ghci --enable-split-sections --enable-library-stripping --enable-executable-stripping --ghc-option=-haddock --ghc-options=-O2 --ghc-options=-Wall --ghc-options=-Wincomplete-uni-patterns --ghc-options=-Wincomplete-record-updates --ghc-options=-Wpartial-fields --ghc-options=-Widentities --ghc-options=-Wredundant-constraints --ghc-options=-Wcpp-undef --ghc-options=-Wunused-packages --ghc-options=-Werror --ghc-options=-Wno-deprecations --extra-lib-dirs=/nix/store/ffyzkisqs4vc4mg28bwwlyqjf8i9ph6b-ncurses-6.5/lib --extra-lib-dirs=/nix/store/n28qgdj8c1q41kf7n4y1jxa6ckp85m3c-libffi-3.5.2/lib --extra-lib-dirs=/nix/store/1b6h99dw7bk4wbn77kbalih42zbc67m1-elfutils-0.194/lib --extra-lib-dirs=/nix/store/hi0ar880110k6jsmmili7dh1gq3cg2a9-gmp-with-cxx-6.3.0/lib --extra-lib-dirs=/nix/store/g09cflpnp4g80q56sj9dng1qzv4v4ybc-numactl-2.0.18/lib --extra-lib-dirs=/nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/lib [sydtest-mutation-example-gen-source] Using Parsec parser [sydtest-mutation-example-gen-source] Configuring sydtest-mutation-example-gen-0.0.0.0... [sydtest-mutation-example-gen-source] Dependency QuickCheck: using QuickCheck-2.15.0.1 [sydtest-mutation-example-gen-source] Dependency base >=4.7 && <5: using base-4.20.2.0 [sydtest-mutation-example-gen-source] Dependency QuickCheck: using QuickCheck-2.15.0.1 [sydtest-mutation-example-gen-source] Dependency base >=4.7 && <5: using base-4.20.2.0 [sydtest-mutation-example-gen-source] Dependency sydtest: using sydtest-0.23.0.2 [sydtest-mutation-example-gen-source] Dependency sydtest-mutation-example: using sydtest-mutation-example-0.0.0.0 [sydtest-mutation-example-gen-source] Dependency sydtest-mutation-example-gen: using [sydtest-mutation-example-gen-source] sydtest-mutation-example-gen-0.0.0.0 [sydtest-mutation-example-gen-source] Source component graph: [sydtest-mutation-example-gen-source]  component lib [sydtest-mutation-example-gen-source]  component test:sydtest-mutation-example-gen-test dependency lib [sydtest-mutation-example-gen-source] Configured component graph: [sydtest-mutation-example-gen-source]  component sydtest-mutation-example-gen-0.0.0.0-4cnK2StUrYnd9LDLBLqHJ [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-B8LMoSk4IJL2JKKau1M348-sydtest-mutation-example-gen-test [sydtest-mutation-example-gen-source]  include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU [sydtest-mutation-example-gen-source]  include base-4.20.2.0-64da [sydtest-mutation-example-gen-source]  include sydtest-0.23.0.2-RzVaEpJISaERaSrCHYFLw [sydtest-mutation-example-gen-source]  include sydtest-mutation-example-0.0.0.0-HKLtxgcNX3SGgTl9z4D5SA [sydtest-mutation-example-gen-source]  include sydtest-mutation-example-gen-0.0.0.0-4cnK2StUrYnd9LDLBLqHJ [sydtest-mutation-example-gen-source] Linked component graph: [sydtest-mutation-example-gen-source]  unit sydtest-mutation-example-gen-0.0.0.0-4cnK2StUrYnd9LDLBLqHJ [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-4cnK2StUrYnd9LDLBLqHJ:Example.Gen [sydtest-mutation-example-gen-source]  unit sydtest-mutation-example-gen-0.0.0.0-B8LMoSk4IJL2JKKau1M348-sydtest-mutation-example-gen-test [sydtest-mutation-example-gen-source]  include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU [sydtest-mutation-example-gen-source]  include base-4.20.2.0-64da [sydtest-mutation-example-gen-source]  include sydtest-0.23.0.2-RzVaEpJISaERaSrCHYFLw [sydtest-mutation-example-gen-source]  include sydtest-mutation-example-0.0.0.0-HKLtxgcNX3SGgTl9z4D5SA [sydtest-mutation-example-gen-source]  include sydtest-mutation-example-gen-0.0.0.0-4cnK2StUrYnd9LDLBLqHJ [sydtest-mutation-example-gen-source] Ready component graph: [sydtest-mutation-example-gen-source]  definite sydtest-mutation-example-gen-0.0.0.0-4cnK2StUrYnd9LDLBLqHJ [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-B8LMoSk4IJL2JKKau1M348-sydtest-mutation-example-gen-test [sydtest-mutation-example-gen-source]  depends QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU [sydtest-mutation-example-gen-source]  depends base-4.20.2.0-64da [sydtest-mutation-example-gen-source]  depends sydtest-0.23.0.2-RzVaEpJISaERaSrCHYFLw [sydtest-mutation-example-gen-source]  depends sydtest-mutation-example-0.0.0.0-HKLtxgcNX3SGgTl9z4D5SA [sydtest-mutation-example-gen-source]  depends sydtest-mutation-example-gen-0.0.0.0-4cnK2StUrYnd9LDLBLqHJ [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/ix3n72hkzr7hci5impkfkp2hifj45j10-sydtest-mutation-example-gen-source-0.0.0.0 [sydtest-mutation-example-gen-source] Executables installed in: [sydtest-mutation-example-gen-source] /nix/store/ix3n72hkzr7hci5impkfkp2hifj45j10-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/ix3n72hkzr7hci5impkfkp2hifj45j10-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-4cnK2StUrYnd9LDLBLqHJ [sydtest-mutation-example-gen-source] Dynamic Libraries installed in: [sydtest-mutation-example-gen-source] /nix/store/ix3n72hkzr7hci5impkfkp2hifj45j10-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/ix3n72hkzr7hci5impkfkp2hifj45j10-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/ix3n72hkzr7hci5impkfkp2hifj45j10-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/ix3n72hkzr7hci5impkfkp2hifj45j10-sydtest-mutation-example-gen-source-0.0.0.0/etc [sydtest-mutation-example-gen-source] No alex found [sydtest-mutation-example-gen-source] Using ar found on system at: [sydtest-mutation-example-gen-source] /nix/store/iz5lckcsg66r223si2gck7csk2hihj0m-binutils-wrapper-2.44/bin/ar [sydtest-mutation-example-gen-source] No c2hs found [sydtest-mutation-example-gen-source] No cpphs found [sydtest-mutation-example-gen-source] No doctest found [sydtest-mutation-example-gen-source] Using gcc version 14.3.0 given by user at: [sydtest-mutation-example-gen-source] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/gcc [sydtest-mutation-example-gen-source] Using ghc version 9.10.3 found on system at: [sydtest-mutation-example-gen-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc [sydtest-mutation-example-gen-source] Using ghc-pkg version 9.10.3 found on system at: [sydtest-mutation-example-gen-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc-pkg-9.10.3 [sydtest-mutation-example-gen-source] No ghcjs found [sydtest-mutation-example-gen-source] No ghcjs-pkg found [sydtest-mutation-example-gen-source] No greencard found [sydtest-mutation-example-gen-source] Using haddock version 2.31.1 found on system at: [sydtest-mutation-example-gen-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/haddock-ghc-9.10.3 [sydtest-mutation-example-gen-source] No happy found [sydtest-mutation-example-gen-source] Using haskell-suite found on system at: haskell-suite-dummy-location [sydtest-mutation-example-gen-source] Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location [sydtest-mutation-example-gen-source] No hmake found [sydtest-mutation-example-gen-source] Using hpc version 0.69 found on system at: [sydtest-mutation-example-gen-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hpc-ghc-9.10.3 [sydtest-mutation-example-gen-source] Using hsc2hs version 0.68.10 found on system at: [sydtest-mutation-example-gen-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hsc2hs-ghc-9.10.3 [sydtest-mutation-example-gen-source] Using hscolour version 1.25 found on system at: [sydtest-mutation-example-gen-source] /nix/store/f755skyzf4jvfx3crwq9mmh3x4lsaz8i-hscolour-1.25/bin/HsColour [sydtest-mutation-example-gen-source] No jhc found [sydtest-mutation-example-gen-source] Using ld found on system at: [sydtest-mutation-example-gen-source] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/ld [sydtest-mutation-example-gen-source] No pkg-config found [sydtest-mutation-example-gen-source] Using runghc version 9.10.3 found on system at: [sydtest-mutation-example-gen-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/runghc-9.10.3 [sydtest-mutation-example-gen-source] Using strip version 2.44 found on system at: [sydtest-mutation-example-gen-source] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/strip [sydtest-mutation-example-gen-source] Using tar found on system at: [sydtest-mutation-example-gen-source] /nix/store/xl6pd2spjajwcpq09fnmnjv5psqmlmma-gnutar-1.35/bin/tar [sydtest-mutation-example-gen-source] No uhc found [sydtest-mutation-example-gen-source] Phase: buildPhase [sydtest-mutation-example-gen-source] Distribution quality errors: [sydtest-mutation-example-gen-source] [no-syn-desc] No 'synopsis' or 'description' field. [sydtest-mutation-example-gen-source] Distribution quality warnings: [sydtest-mutation-example-gen-source] [no-license-file] A 'license-file' is not specified. [sydtest-mutation-example-gen-source] [missing-upper-bounds] On library, these packages miss upper bounds: [sydtest-mutation-example-gen-source] - QuickCheck [sydtest-mutation-example-gen-source] Please add them. There is more information at https://pvp.haskell.org/ [sydtest-mutation-example-gen-source] Note: the public hackage server would reject this package. [sydtest-mutation-example-gen-source] Building source dist for sydtest-mutation-example-gen-0.0.0.0... [sydtest-mutation-example-gen-source] Source tarball created: dist/sydtest-mutation-example-gen-0.0.0.0.tar.gz [sydtest-mutation-example-gen-source] Phase: checkPhase [sydtest-mutation-example-gen-source] Phase: haddockPhase [sydtest-mutation-example-gen-source] Phase: installPhase [sydtest-mutation-example-gen-source] Phase: fixupPhase Progress: 2 of 6 built Building sydtest-mutation-example-gen Building sydtest-mutation-example-gen [sydtest-mutation-example-gen] Phase: setupCompilerEnvironmentPhase [sydtest-mutation-example-gen] Build with /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3. [sydtest-mutation-example-gen] Phase: 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/ix3n72hkzr7hci5impkfkp2hifj45j10-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 1778688237 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.yoTXNYB684/setup-package.conf.d -threaded [sydtest-mutation-example-gen] Phase: unpackPhase [sydtest-mutation-example-gen] unpacking source archive /nix/store/ix3n72hkzr7hci5impkfkp2hifj45j10-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 1778688237 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.4m8eZOx9Y9/setup-package.conf.d -threaded [sydtest-mutation-example-gen] [1 of 2] Compiling Main ( Setup.hs, /build/tmp.yoTXNYB684/Main.o ) [sydtest-mutation-example-gen] [1 of 2] Compiling Main ( Setup.hs, /build/tmp.4m8eZOx9Y9/Main.o ) [sydtest-mutation-example-gen] [2 of 2] Linking Setup [sydtest-mutation-example-gen] [2 of 2] Linking Setup [sydtest-mutation-example-gen] Phase: updateAutotoolsGnuConfigScriptsPhase [sydtest-mutation-example-gen] Phase: updateAutotoolsGnuConfigScriptsPhase [sydtest-mutation-example-gen] Phase: configurePhase [sydtest-mutation-example-gen] configureFlags: --verbose --prefix=/nix/store/rs2c62009aas9nlf4rxkpmpqsa5ivg8c-sydtest-mutation-example-gen-0.0.0.0 --libdir=$prefix/lib/$compiler/lib --libsubdir=$abi/$libname --with-gcc=gcc --package-db=/build/tmp.yoTXNYB684/package.conf.d --ghc-option=-j16 --ghc-option=+RTS --ghc-option=-A64M --ghc-option=-RTS --enable-library-profiling --profiling-detail=exported-functions --disable-profiling --enable-shared --disable-coverage --disable-static --disable-executable-dynamic --enable-tests --enable-benchmarks --enable-library-vanilla --disable-library-for-ghci --enable-split-sections --enable-library-stripping --enable-executable-stripping --ghc-options=-O2 --ghc-options=-Wall --ghc-options=-Wincomplete-uni-patterns --ghc-options=-Wincomplete-record-updates --ghc-options=-Wpartial-fields --ghc-options=-Widentities --ghc-options=-Wredundant-constraints --ghc-options=-Wcpp-undef --ghc-options=-Wunused-packages --ghc-options=-Werror --ghc-options=-Wno-deprecations --disable-optimization --ghc-option=-j1 --ghc-option=+RTS --ghc-option=-A32M --ghc-option=-M16g --ghc-option=-RTS --extra-lib-dirs=/nix/store/ffyzkisqs4vc4mg28bwwlyqjf8i9ph6b-ncurses-6.5/lib --extra-lib-dirs=/nix/store/n28qgdj8c1q41kf7n4y1jxa6ckp85m3c-libffi-3.5.2/lib --extra-lib-dirs=/nix/store/1b6h99dw7bk4wbn77kbalih42zbc67m1-elfutils-0.194/lib --extra-lib-dirs=/nix/store/hi0ar880110k6jsmmili7dh1gq3cg2a9-gmp-with-cxx-6.3.0/lib --extra-lib-dirs=/nix/store/g09cflpnp4g80q56sj9dng1qzv4v4ybc-numactl-2.0.18/lib --extra-lib-dirs=/nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/lib [sydtest-mutation-example-gen] Phase: configurePhase [sydtest-mutation-example-gen] Using Parsec parser [sydtest-mutation-example-gen] Configuring sydtest-mutation-example-gen-0.0.0.0... [sydtest-mutation-example-gen] configureFlags: --verbose --prefix=/nix/store/1prdnk87rkppdrzj2vfx735clnm60jfd-sydtest-mutation-example-gen-0.0.0.0 --libdir=$prefix/lib/$compiler/lib --libsubdir=$abi/$libname --with-gcc=gcc --package-db=/build/tmp.4m8eZOx9Y9/package.conf.d --ghc-option=-j16 --ghc-option=+RTS --ghc-option=-A64M --ghc-option=-RTS --enable-library-profiling --profiling-detail=exported-functions --disable-profiling --enable-shared --disable-coverage --disable-static --disable-executable-dynamic --enable-tests --enable-benchmarks --enable-library-vanilla --disable-library-for-ghci --enable-split-sections --enable-library-stripping --enable-executable-stripping --ghc-options=-O2 --ghc-options=-Wall --ghc-options=-Wincomplete-uni-patterns --ghc-options=-Wincomplete-record-updates --ghc-options=-Wpartial-fields --ghc-options=-Widentities --ghc-options=-Wredundant-constraints --ghc-options=-Wcpp-undef --ghc-options=-Wunused-packages --ghc-options=-Werror --ghc-options=-Wno-deprecations --disable-optimization --ghc-option=-j1 --ghc-option=+RTS --ghc-option=-A32M --ghc-option=-M16g --ghc-option=-RTS --extra-lib-dirs=/nix/store/ffyzkisqs4vc4mg28bwwlyqjf8i9ph6b-ncurses-6.5/lib --extra-lib-dirs=/nix/store/n28qgdj8c1q41kf7n4y1jxa6ckp85m3c-libffi-3.5.2/lib --extra-lib-dirs=/nix/store/1b6h99dw7bk4wbn77kbalih42zbc67m1-elfutils-0.194/lib --extra-lib-dirs=/nix/store/hi0ar880110k6jsmmili7dh1gq3cg2a9-gmp-with-cxx-6.3.0/lib --extra-lib-dirs=/nix/store/g09cflpnp4g80q56sj9dng1qzv4v4ybc-numactl-2.0.18/lib --extra-lib-dirs=/nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/lib [sydtest-mutation-example-gen] Using Parsec parser [sydtest-mutation-example-gen] Configuring sydtest-mutation-example-gen-0.0.0.0... [sydtest-mutation-example-gen] Dependency QuickCheck: using QuickCheck-2.15.0.1 [sydtest-mutation-example-gen] Dependency base >=4.7 && <5: using base-4.20.2.0 [sydtest-mutation-example-gen] Dependency QuickCheck: using QuickCheck-2.15.0.1 [sydtest-mutation-example-gen] Dependency base >=4.7 && <5: using base-4.20.2.0 [sydtest-mutation-example-gen] Dependency sydtest: using sydtest-0.23.0.2 [sydtest-mutation-example-gen] Dependency sydtest-mutation-example: using sydtest-mutation-example-0.0.0.0 [sydtest-mutation-example-gen] Dependency sydtest-mutation-example-gen: using [sydtest-mutation-example-gen] sydtest-mutation-example-gen-0.0.0.0 [sydtest-mutation-example-gen] Source component graph: [sydtest-mutation-example-gen]  component lib [sydtest-mutation-example-gen]  component test:sydtest-mutation-example-gen-test dependency lib [sydtest-mutation-example-gen] Configured component graph: [sydtest-mutation-example-gen]  component sydtest-mutation-example-gen-0.0.0.0-4cnK2StUrYnd9LDLBLqHJ [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-B8LMoSk4IJL2JKKau1M348-sydtest-mutation-example-gen-test [sydtest-mutation-example-gen]  include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU [sydtest-mutation-example-gen]  include base-4.20.2.0-64da [sydtest-mutation-example-gen]  include sydtest-0.23.0.2-RzVaEpJISaERaSrCHYFLw [sydtest-mutation-example-gen]  include sydtest-mutation-example-0.0.0.0-HKLtxgcNX3SGgTl9z4D5SA [sydtest-mutation-example-gen]  include sydtest-mutation-example-gen-0.0.0.0-4cnK2StUrYnd9LDLBLqHJ [sydtest-mutation-example-gen] Linked component graph: [sydtest-mutation-example-gen]  unit sydtest-mutation-example-gen-0.0.0.0-4cnK2StUrYnd9LDLBLqHJ [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-4cnK2StUrYnd9LDLBLqHJ:Example.Gen [sydtest-mutation-example-gen]  unit sydtest-mutation-example-gen-0.0.0.0-B8LMoSk4IJL2JKKau1M348-sydtest-mutation-example-gen-test [sydtest-mutation-example-gen]  include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU [sydtest-mutation-example-gen]  include base-4.20.2.0-64da [sydtest-mutation-example-gen]  include sydtest-0.23.0.2-RzVaEpJISaERaSrCHYFLw [sydtest-mutation-example-gen]  include sydtest-mutation-example-0.0.0.0-HKLtxgcNX3SGgTl9z4D5SA [sydtest-mutation-example-gen]  include sydtest-mutation-example-gen-0.0.0.0-4cnK2StUrYnd9LDLBLqHJ [sydtest-mutation-example-gen] Ready component graph: [sydtest-mutation-example-gen]  definite sydtest-mutation-example-gen-0.0.0.0-4cnK2StUrYnd9LDLBLqHJ [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-B8LMoSk4IJL2JKKau1M348-sydtest-mutation-example-gen-test [sydtest-mutation-example-gen]  depends QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU [sydtest-mutation-example-gen]  depends base-4.20.2.0-64da [sydtest-mutation-example-gen]  depends sydtest-0.23.0.2-RzVaEpJISaERaSrCHYFLw [sydtest-mutation-example-gen]  depends sydtest-mutation-example-0.0.0.0-HKLtxgcNX3SGgTl9z4D5SA [sydtest-mutation-example-gen]  depends sydtest-mutation-example-gen-0.0.0.0-4cnK2StUrYnd9LDLBLqHJ [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/rs2c62009aas9nlf4rxkpmpqsa5ivg8c-sydtest-mutation-example-gen-0.0.0.0 [sydtest-mutation-example-gen] Executables installed in: [sydtest-mutation-example-gen] /nix/store/rs2c62009aas9nlf4rxkpmpqsa5ivg8c-sydtest-mutation-example-gen-0.0.0.0/bin [sydtest-mutation-example-gen] Libraries installed in: [sydtest-mutation-example-gen] /nix/store/rs2c62009aas9nlf4rxkpmpqsa5ivg8c-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-4cnK2StUrYnd9LDLBLqHJ [sydtest-mutation-example-gen] Dynamic Libraries installed in: [sydtest-mutation-example-gen] /nix/store/rs2c62009aas9nlf4rxkpmpqsa5ivg8c-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/rs2c62009aas9nlf4rxkpmpqsa5ivg8c-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/rs2c62009aas9nlf4rxkpmpqsa5ivg8c-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/rs2c62009aas9nlf4rxkpmpqsa5ivg8c-sydtest-mutation-example-gen-0.0.0.0/share/doc/x86_64-linux-ghc-9.10.3-05f6/sydtest-mutation-example-gen-0.0.0.0 [sydtest-mutation-example-gen] Configuration files installed in: [sydtest-mutation-example-gen] /nix/store/rs2c62009aas9nlf4rxkpmpqsa5ivg8c-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] Dependency QuickCheck: using QuickCheck-2.15.0.1 [sydtest-mutation-example-gen] Dependency base >=4.7 && <5: using base-4.20.2.0 [sydtest-mutation-example-gen] Dependency QuickCheck: using QuickCheck-2.15.0.1 [sydtest-mutation-example-gen] Dependency base >=4.7 && <5: using base-4.20.2.0 [sydtest-mutation-example-gen] Dependency sydtest: using sydtest-0.23.0.2 [sydtest-mutation-example-gen] Dependency sydtest-mutation-example: using sydtest-mutation-example-0.0.0.0 [sydtest-mutation-example-gen] Dependency sydtest-mutation-example-gen: using [sydtest-mutation-example-gen] sydtest-mutation-example-gen-0.0.0.0 [sydtest-mutation-example-gen] Source component graph: [sydtest-mutation-example-gen]  component lib [sydtest-mutation-example-gen]  component test:sydtest-mutation-example-gen-test dependency lib [sydtest-mutation-example-gen] Configured component graph: [sydtest-mutation-example-gen]  component sydtest-mutation-example-gen-0.0.0.0-4cnK2StUrYnd9LDLBLqHJ [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-B8LMoSk4IJL2JKKau1M348-sydtest-mutation-example-gen-test [sydtest-mutation-example-gen]  include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU [sydtest-mutation-example-gen]  include base-4.20.2.0-64da [sydtest-mutation-example-gen]  include sydtest-0.23.0.2-RzVaEpJISaERaSrCHYFLw [sydtest-mutation-example-gen]  include sydtest-mutation-example-0.0.0.0-HKLtxgcNX3SGgTl9z4D5SA [sydtest-mutation-example-gen]  include sydtest-mutation-example-gen-0.0.0.0-4cnK2StUrYnd9LDLBLqHJ [sydtest-mutation-example-gen] Linked component graph: [sydtest-mutation-example-gen]  unit sydtest-mutation-example-gen-0.0.0.0-4cnK2StUrYnd9LDLBLqHJ [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-4cnK2StUrYnd9LDLBLqHJ:Example.Gen [sydtest-mutation-example-gen]  unit sydtest-mutation-example-gen-0.0.0.0-B8LMoSk4IJL2JKKau1M348-sydtest-mutation-example-gen-test [sydtest-mutation-example-gen]  include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU [sydtest-mutation-example-gen]  include base-4.20.2.0-64da [sydtest-mutation-example-gen]  include sydtest-0.23.0.2-RzVaEpJISaERaSrCHYFLw [sydtest-mutation-example-gen]  include sydtest-mutation-example-0.0.0.0-HKLtxgcNX3SGgTl9z4D5SA [sydtest-mutation-example-gen]  include sydtest-mutation-example-gen-0.0.0.0-4cnK2StUrYnd9LDLBLqHJ [sydtest-mutation-example-gen] Ready component graph: [sydtest-mutation-example-gen]  definite sydtest-mutation-example-gen-0.0.0.0-4cnK2StUrYnd9LDLBLqHJ [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-B8LMoSk4IJL2JKKau1M348-sydtest-mutation-example-gen-test [sydtest-mutation-example-gen]  depends QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU [sydtest-mutation-example-gen]  depends base-4.20.2.0-64da [sydtest-mutation-example-gen]  depends sydtest-0.23.0.2-RzVaEpJISaERaSrCHYFLw [sydtest-mutation-example-gen]  depends sydtest-mutation-example-0.0.0.0-HKLtxgcNX3SGgTl9z4D5SA [sydtest-mutation-example-gen]  depends sydtest-mutation-example-gen-0.0.0.0-4cnK2StUrYnd9LDLBLqHJ [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/1prdnk87rkppdrzj2vfx735clnm60jfd-sydtest-mutation-example-gen-0.0.0.0 [sydtest-mutation-example-gen] Executables installed in: [sydtest-mutation-example-gen] /nix/store/1prdnk87rkppdrzj2vfx735clnm60jfd-sydtest-mutation-example-gen-0.0.0.0/bin [sydtest-mutation-example-gen] Libraries installed in: [sydtest-mutation-example-gen] /nix/store/1prdnk87rkppdrzj2vfx735clnm60jfd-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-4cnK2StUrYnd9LDLBLqHJ [sydtest-mutation-example-gen] Dynamic Libraries installed in: [sydtest-mutation-example-gen] /nix/store/1prdnk87rkppdrzj2vfx735clnm60jfd-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/1prdnk87rkppdrzj2vfx735clnm60jfd-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/1prdnk87rkppdrzj2vfx735clnm60jfd-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/1prdnk87rkppdrzj2vfx735clnm60jfd-sydtest-mutation-example-gen-0.0.0.0/share/doc/x86_64-linux-ghc-9.10.3-05f6/sydtest-mutation-example-gen-0.0.0.0 [sydtest-mutation-example-gen] Configuration files installed in: [sydtest-mutation-example-gen] /nix/store/1prdnk87rkppdrzj2vfx735clnm60jfd-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] mutation-nix: setting MUTATION_MANIFEST_DIR=/nix/store/jdzypd24s04h7w33pjd5xsn3vj2s74ha-sydtest-mutation-example-gen-0.0.0.0-manifest [sydtest-mutation-example-gen] Phase: buildPhase [sydtest-mutation-example-gen] mutation-nix: setting MUTATION_MANIFEST_DIR=/nix/store/4pvqd2g62cdwjc64irsam3dffgl98x90-sydtest-mutation-example-gen-0.0.0.0-manifest [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] 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] mutation: instrumenting Example.Gen [sydtest-mutation-example-gen] added 0 mutations [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] mutation: instrumenting Example.Gen [sydtest-mutation-example-gen] added 0 mutations [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] [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] [1 of 2] Compiling Example.Gen ( src/Example/Gen.hs, dist/build/Example/Gen.p_o ) [sydtest-mutation-example-gen] mutation: instrumenting Example.Gen [sydtest-mutation-example-gen] added 0 mutations [sydtest-mutation-example-gen] mutation: instrumenting Example.Gen [sydtest-mutation-example-gen] added 0 mutations [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] [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] Warning: ignoring unrecognised input `dist/build/Example/Gen.dyn_o' [sydtest-mutation-example-gen] Warning: ignoring unrecognised input `dist/build/Paths_sydtest_mutation_example_gen.dyn_o' [sydtest-mutation-example-gen] Warning: ignoring unrecognised input `dist/build/Example/Gen.dyn_o' [sydtest-mutation-example-gen] Warning: ignoring unrecognised input `dist/build/Paths_sydtest_mutation_example_gen.dyn_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] 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 7] 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] [1 of 7] 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] mutation: instrumenting Example.BoolLibSpec [sydtest-mutation-example-gen] added mutation BoolLit at test/Example/BoolLibSpec.hs:10:32-36 [sydtest-mutation-example-gen] @@ -7,7 +7,7 @@ [sydtest-mutation-example-gen]  spec = do [sydtest-mutation-example-gen]  describe "wrapTrue" $ [sydtest-mutation-example-gen]  it "is Just True" $ [sydtest-mutation-example-gen] - wrapTrue `shouldBe` Just True [sydtest-mutation-example-gen] + wrapTrue `shouldBe` Just False [sydtest-mutation-example-gen]  describe "wrapFalse" $ [sydtest-mutation-example-gen]  it "is Just False" $ [sydtest-mutation-example-gen]  wrapFalse `shouldBe` Just False [sydtest-mutation-example-gen] added mutation BoolLit at test/Example/BoolLibSpec.hs:13:33-38 [sydtest-mutation-example-gen] @@ -10,7 +10,7 @@ [sydtest-mutation-example-gen]  wrapTrue `shouldBe` Just True [sydtest-mutation-example-gen]  describe "wrapFalse" $ [sydtest-mutation-example-gen]  it "is Just False" $ [sydtest-mutation-example-gen] - wrapFalse `shouldBe` Just False [sydtest-mutation-example-gen] + wrapFalse `shouldBe` Just True [sydtest-mutation-example-gen]  describe "negateWrapped" $ do [sydtest-mutation-example-gen]  it "negates Just True to Just False" $ [sydtest-mutation-example-gen]  negateWrapped (Just True) `shouldBe` Just False [sydtest-mutation-example-gen] added mutation BoolLit at test/Example/BoolLibSpec.hs:16:27-31 [sydtest-mutation-example-gen] @@ -13,7 +13,7 @@ [sydtest-mutation-example-gen]  wrapFalse `shouldBe` Just False [sydtest-mutation-example-gen]  describe "negateWrapped" $ do [sydtest-mutation-example-gen]  it "negates Just True to Just False" $ [sydtest-mutation-example-gen] - negateWrapped (Just True) `shouldBe` Just False [sydtest-mutation-example-gen] + negateWrapped (Just False) `shouldBe` Just False [sydtest-mutation-example-gen]  it "negates Just False to Just True" $ [sydtest-mutation-example-gen]  negateWrapped (Just False) `shouldBe` Just True [sydtest-mutation-example-gen]  it "leaves Nothing as Nothing" $ [sydtest-mutation-example-gen] added mutation BoolLit at test/Example/BoolLibSpec.hs:16:49-54 [sydtest-mutation-example-gen] @@ -13,7 +13,7 @@ [sydtest-mutation-example-gen]  wrapFalse `shouldBe` Just False [sydtest-mutation-example-gen]  describe "negateWrapped" $ do [sydtest-mutation-example-gen]  it "negates Just True to Just False" $ [sydtest-mutation-example-gen] - negateWrapped (Just True) `shouldBe` Just False [sydtest-mutation-example-gen] + negateWrapped (Just True) `shouldBe` Just True [sydtest-mutation-example-gen]  it "negates Just False to Just True" $ [sydtest-mutation-example-gen]  negateWrapped (Just False) `shouldBe` Just True [sydtest-mutation-example-gen]  it "leaves Nothing as Nothing" $ [sydtest-mutation-example-gen] added mutation BoolLit at test/Example/BoolLibSpec.hs:18:27-32 [sydtest-mutation-example-gen] @@ -15,6 +15,6 @@ [sydtest-mutation-example-gen]  it "negates Just True to Just False" $ [sydtest-mutation-example-gen]  negateWrapped (Just True) `shouldBe` Just False [sydtest-mutation-example-gen]  it "negates Just False to Just True" $ [sydtest-mutation-example-gen] - negateWrapped (Just False) `shouldBe` Just True [sydtest-mutation-example-gen] + negateWrapped (Just True) `shouldBe` Just True [sydtest-mutation-example-gen]  it "leaves Nothing as Nothing" $ [sydtest-mutation-example-gen]  negateWrapped Nothing `shouldBe` Nothing [sydtest-mutation-example-gen] added mutation BoolLit at test/Example/BoolLibSpec.hs:18:50-54 [sydtest-mutation-example-gen] @@ -15,6 +15,6 @@ [sydtest-mutation-example-gen]  it "negates Just True to Just False" $ [sydtest-mutation-example-gen]  negateWrapped (Just True) `shouldBe` Just False [sydtest-mutation-example-gen]  it "negates Just False to Just True" $ [sydtest-mutation-example-gen] - negateWrapped (Just False) `shouldBe` Just True [sydtest-mutation-example-gen] + negateWrapped (Just False) `shouldBe` Just False [sydtest-mutation-example-gen]  it "leaves Nothing as Nothing" $ [sydtest-mutation-example-gen]  negateWrapped Nothing `shouldBe` Nothing [sydtest-mutation-example-gen] added 6 mutations [sydtest-mutation-example-gen] mutation: instrumenting Example.BoolLibSpec [sydtest-mutation-example-gen] added mutation BoolLit at test/Example/BoolLibSpec.hs:10:32-36 [sydtest-mutation-example-gen] @@ -7,7 +7,7 @@ [sydtest-mutation-example-gen]  spec = do [sydtest-mutation-example-gen]  describe "wrapTrue" $ [sydtest-mutation-example-gen]  it "is Just True" $ [sydtest-mutation-example-gen] - wrapTrue `shouldBe` Just True [sydtest-mutation-example-gen] + wrapTrue `shouldBe` Just False [sydtest-mutation-example-gen]  describe "wrapFalse" $ [sydtest-mutation-example-gen]  it "is Just False" $ [sydtest-mutation-example-gen]  wrapFalse `shouldBe` Just False [sydtest-mutation-example-gen] added mutation BoolLit at test/Example/BoolLibSpec.hs:13:33-38 [sydtest-mutation-example-gen] @@ -10,7 +10,7 @@ [sydtest-mutation-example-gen]  wrapTrue `shouldBe` Just True [sydtest-mutation-example-gen]  describe "wrapFalse" $ [sydtest-mutation-example-gen]  it "is Just False" $ [sydtest-mutation-example-gen] - wrapFalse `shouldBe` Just False [sydtest-mutation-example-gen] + wrapFalse `shouldBe` Just True [sydtest-mutation-example-gen]  describe "negateWrapped" $ do [sydtest-mutation-example-gen]  it "negates Just True to Just False" $ [sydtest-mutation-example-gen]  negateWrapped (Just True) `shouldBe` Just False [sydtest-mutation-example-gen] added mutation BoolLit at test/Example/BoolLibSpec.hs:16:27-31 [sydtest-mutation-example-gen] @@ -13,7 +13,7 @@ [sydtest-mutation-example-gen]  wrapFalse `shouldBe` Just False [sydtest-mutation-example-gen]  describe "negateWrapped" $ do [sydtest-mutation-example-gen]  it "negates Just True to Just False" $ [sydtest-mutation-example-gen] - negateWrapped (Just True) `shouldBe` Just False [sydtest-mutation-example-gen] + negateWrapped (Just False) `shouldBe` Just False [sydtest-mutation-example-gen]  it "negates Just False to Just True" $ [sydtest-mutation-example-gen]  negateWrapped (Just False) `shouldBe` Just True [sydtest-mutation-example-gen]  it "leaves Nothing as Nothing" $ [sydtest-mutation-example-gen] added mutation BoolLit at test/Example/BoolLibSpec.hs:16:49-54 [sydtest-mutation-example-gen] @@ -13,7 +13,7 @@ [sydtest-mutation-example-gen]  wrapFalse `shouldBe` Just False [sydtest-mutation-example-gen]  describe "negateWrapped" $ do [sydtest-mutation-example-gen]  it "negates Just True to Just False" $ [sydtest-mutation-example-gen] - negateWrapped (Just True) `shouldBe` Just False [sydtest-mutation-example-gen] + negateWrapped (Just True) `shouldBe` Just True [sydtest-mutation-example-gen]  it "negates Just False to Just True" $ [sydtest-mutation-example-gen]  negateWrapped (Just False) `shouldBe` Just True [sydtest-mutation-example-gen]  it "leaves Nothing as Nothing" $ [sydtest-mutation-example-gen] added mutation BoolLit at test/Example/BoolLibSpec.hs:18:27-32 [sydtest-mutation-example-gen] @@ -15,6 +15,6 @@ [sydtest-mutation-example-gen]  it "negates Just True to Just False" $ [sydtest-mutation-example-gen]  negateWrapped (Just True) `shouldBe` Just False [sydtest-mutation-example-gen]  it "negates Just False to Just True" $ [sydtest-mutation-example-gen] - negateWrapped (Just False) `shouldBe` Just True [sydtest-mutation-example-gen] + negateWrapped (Just True) `shouldBe` Just True [sydtest-mutation-example-gen]  it "leaves Nothing as Nothing" $ [sydtest-mutation-example-gen]  negateWrapped Nothing `shouldBe` Nothing [sydtest-mutation-example-gen] added mutation BoolLit at test/Example/BoolLibSpec.hs:18:50-54 [sydtest-mutation-example-gen] @@ -15,6 +15,6 @@ [sydtest-mutation-example-gen]  it "negates Just True to Just False" $ [sydtest-mutation-example-gen]  negateWrapped (Just True) `shouldBe` Just False [sydtest-mutation-example-gen]  it "negates Just False to Just True" $ [sydtest-mutation-example-gen] - negateWrapped (Just False) `shouldBe` Just True [sydtest-mutation-example-gen] + negateWrapped (Just False) `shouldBe` Just False [sydtest-mutation-example-gen]  it "leaves Nothing as Nothing" $ [sydtest-mutation-example-gen]  negateWrapped Nothing `shouldBe` Nothing [sydtest-mutation-example-gen] added 6 mutations [sydtest-mutation-example-gen] [2 of 7] 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] mutation: instrumenting Example.ExceptionLibSpec [sydtest-mutation-example-gen] added mutation IntLit at test/Example/ExceptionLibSpec.hs:13:47-48 [sydtest-mutation-example-gen] @@ -10,4 +10,4 @@ [sydtest-mutation-example-gen]  describe "addOneModuleDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOneModuleDisabled n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOneModuleDisabled n `shouldBe` n + 0 [sydtest-mutation-example-gen] added mutation IntLit at test/Example/ExceptionLibSpec.hs:13:47-48 [sydtest-mutation-example-gen] @@ -10,4 +10,4 @@ [sydtest-mutation-example-gen]  describe "addOneModuleDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOneModuleDisabled n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOneModuleDisabled n `shouldBe` n + -1 [sydtest-mutation-example-gen] added 2 mutations [sydtest-mutation-example-gen] [2 of 7] 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] mutation: instrumenting Example.ExceptionLibSpec [sydtest-mutation-example-gen] added mutation IntLit at test/Example/ExceptionLibSpec.hs:13:47-48 [sydtest-mutation-example-gen] @@ -10,4 +10,4 @@ [sydtest-mutation-example-gen]  describe "addOneModuleDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOneModuleDisabled n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOneModuleDisabled n `shouldBe` n + 0 [sydtest-mutation-example-gen] added mutation IntLit at test/Example/ExceptionLibSpec.hs:13:47-48 [sydtest-mutation-example-gen] @@ -10,4 +10,4 @@ [sydtest-mutation-example-gen]  describe "addOneModuleDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOneModuleDisabled n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOneModuleDisabled n `shouldBe` n + -1 [sydtest-mutation-example-gen] added 2 mutations [sydtest-mutation-example-gen] [3 of 7] 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] mutation: instrumenting Example.FunctionExceptionLibSpec [sydtest-mutation-example-gen] added mutation IntLit at test/Example/FunctionExceptionLibSpec.hs:13:46-47 [sydtest-mutation-example-gen] @@ -10,7 +10,7 @@ [sydtest-mutation-example-gen]  describe "addOneArithDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOneArithDisabled n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOneArithDisabled n `shouldBe` n + 0 [sydtest-mutation-example-gen]  describe "addOneArithAndIntLitDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] added mutation IntLit at test/Example/FunctionExceptionLibSpec.hs:13:46-47 [sydtest-mutation-example-gen] @@ -10,7 +10,7 @@ [sydtest-mutation-example-gen]  describe "addOneArithDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOneArithDisabled n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOneArithDisabled n `shouldBe` n + -1 [sydtest-mutation-example-gen]  describe "addOneArithAndIntLitDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] added mutation IntLit at test/Example/FunctionExceptionLibSpec.hs:17:55-56 [sydtest-mutation-example-gen] @@ -14,7 +14,7 @@ [sydtest-mutation-example-gen]  describe "addOneArithAndIntLitDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOneArithAndIntLitDisabled n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOneArithAndIntLitDisabled n `shouldBe` n + 0 [sydtest-mutation-example-gen]  describe "addOneFunctionDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] added mutation IntLit at test/Example/FunctionExceptionLibSpec.hs:17:55-56 [sydtest-mutation-example-gen] @@ -14,7 +14,7 @@ [sydtest-mutation-example-gen]  describe "addOneArithAndIntLitDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOneArithAndIntLitDisabled n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOneArithAndIntLitDisabled n `shouldBe` n + -1 [sydtest-mutation-example-gen]  describe "addOneFunctionDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] added mutation IntLit at test/Example/FunctionExceptionLibSpec.hs:21:49-50 [sydtest-mutation-example-gen] @@ -18,4 +18,4 @@ [sydtest-mutation-example-gen]  describe "addOneFunctionDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOneFunctionDisabled n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOneFunctionDisabled n `shouldBe` n + 0 [sydtest-mutation-example-gen] added mutation IntLit at test/Example/FunctionExceptionLibSpec.hs:21:49-50 [sydtest-mutation-example-gen] @@ -18,4 +18,4 @@ [sydtest-mutation-example-gen]  describe "addOneFunctionDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOneFunctionDisabled n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOneFunctionDisabled n `shouldBe` n + -1 [sydtest-mutation-example-gen] added 6 mutations [sydtest-mutation-example-gen] [3 of 7] 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] mutation: instrumenting Example.FunctionExceptionLibSpec [sydtest-mutation-example-gen] added mutation IntLit at test/Example/FunctionExceptionLibSpec.hs:13:46-47 [sydtest-mutation-example-gen] @@ -10,7 +10,7 @@ [sydtest-mutation-example-gen]  describe "addOneArithDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOneArithDisabled n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOneArithDisabled n `shouldBe` n + 0 [sydtest-mutation-example-gen]  describe "addOneArithAndIntLitDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] added mutation IntLit at test/Example/FunctionExceptionLibSpec.hs:13:46-47 [sydtest-mutation-example-gen] @@ -10,7 +10,7 @@ [sydtest-mutation-example-gen]  describe "addOneArithDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOneArithDisabled n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOneArithDisabled n `shouldBe` n + -1 [sydtest-mutation-example-gen]  describe "addOneArithAndIntLitDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] added mutation IntLit at test/Example/FunctionExceptionLibSpec.hs:17:55-56 [sydtest-mutation-example-gen] @@ -14,7 +14,7 @@ [sydtest-mutation-example-gen]  describe "addOneArithAndIntLitDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOneArithAndIntLitDisabled n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOneArithAndIntLitDisabled n `shouldBe` n + 0 [sydtest-mutation-example-gen]  describe "addOneFunctionDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] added mutation IntLit at test/Example/FunctionExceptionLibSpec.hs:17:55-56 [sydtest-mutation-example-gen] @@ -14,7 +14,7 @@ [sydtest-mutation-example-gen]  describe "addOneArithAndIntLitDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOneArithAndIntLitDisabled n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOneArithAndIntLitDisabled n `shouldBe` n + -1 [sydtest-mutation-example-gen]  describe "addOneFunctionDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] added mutation IntLit at test/Example/FunctionExceptionLibSpec.hs:21:49-50 [sydtest-mutation-example-gen] @@ -18,4 +18,4 @@ [sydtest-mutation-example-gen]  describe "addOneFunctionDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOneFunctionDisabled n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOneFunctionDisabled n `shouldBe` n + 0 [sydtest-mutation-example-gen] added mutation IntLit at test/Example/FunctionExceptionLibSpec.hs:21:49-50 [sydtest-mutation-example-gen] @@ -18,4 +18,4 @@ [sydtest-mutation-example-gen]  describe "addOneFunctionDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOneFunctionDisabled n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOneFunctionDisabled n `shouldBe` n + -1 [sydtest-mutation-example-gen] added 6 mutations [sydtest-mutation-example-gen] [4 of 7] 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] mutation: instrumenting Example.LibSpec [sydtest-mutation-example-gen] added mutation IntLit at test/Example/LibSpec.hs:13:33-34 [sydtest-mutation-example-gen] @@ -10,7 +10,7 @@ [sydtest-mutation-example-gen]  describe "addOne" $ do [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOne n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOne n `shouldBe` n + 0 [sydtest-mutation-example-gen]  it "is greater than its input" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen]  addOne n > n [sydtest-mutation-example-gen] added mutation IntLit at test/Example/LibSpec.hs:13:33-34 [sydtest-mutation-example-gen] @@ -10,7 +10,7 @@ [sydtest-mutation-example-gen]  describe "addOne" $ do [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOne n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOne n `shouldBe` n + -1 [sydtest-mutation-example-gen]  it "is greater than its input" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen]  addOne n > n [sydtest-mutation-example-gen] added mutation ConstBool at test/Example/LibSpec.hs:16:9-21 [sydtest-mutation-example-gen] @@ -13,4 +13,4 @@ [sydtest-mutation-example-gen]  addOne n `shouldBe` n + 1 [sydtest-mutation-example-gen]  it "is greater than its input" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOne n > n [sydtest-mutation-example-gen] + True [sydtest-mutation-example-gen] added mutation ConstBool at test/Example/LibSpec.hs:16:9-21 [sydtest-mutation-example-gen] @@ -13,4 +13,4 @@ [sydtest-mutation-example-gen]  addOne n `shouldBe` n + 1 [sydtest-mutation-example-gen]  it "is greater than its input" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOne n > n [sydtest-mutation-example-gen] + False [sydtest-mutation-example-gen] added mutation Negate at test/Example/LibSpec.hs:16:9-21 [sydtest-mutation-example-gen] @@ -13,4 +13,4 @@ [sydtest-mutation-example-gen]  addOne n `shouldBe` n + 1 [sydtest-mutation-example-gen]  it "is greater than its input" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOne n > n [sydtest-mutation-example-gen] + not (addOne n > n) [sydtest-mutation-example-gen] added 5 mutations [sydtest-mutation-example-gen] [4 of 7] 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] mutation: instrumenting Example.LibSpec [sydtest-mutation-example-gen] added mutation IntLit at test/Example/LibSpec.hs:13:33-34 [sydtest-mutation-example-gen] @@ -10,7 +10,7 @@ [sydtest-mutation-example-gen]  describe "addOne" $ do [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOne n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOne n `shouldBe` n + 0 [sydtest-mutation-example-gen]  it "is greater than its input" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen]  addOne n > n [sydtest-mutation-example-gen] added mutation IntLit at test/Example/LibSpec.hs:13:33-34 [sydtest-mutation-example-gen] @@ -10,7 +10,7 @@ [sydtest-mutation-example-gen]  describe "addOne" $ do [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOne n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOne n `shouldBe` n + -1 [sydtest-mutation-example-gen]  it "is greater than its input" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen]  addOne n > n [sydtest-mutation-example-gen] added mutation ConstBool at test/Example/LibSpec.hs:16:9-21 [sydtest-mutation-example-gen] @@ -13,4 +13,4 @@ [sydtest-mutation-example-gen]  addOne n `shouldBe` n + 1 [sydtest-mutation-example-gen]  it "is greater than its input" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOne n > n [sydtest-mutation-example-gen] + True [sydtest-mutation-example-gen] added mutation ConstBool at test/Example/LibSpec.hs:16:9-21 [sydtest-mutation-example-gen] @@ -13,4 +13,4 @@ [sydtest-mutation-example-gen]  addOne n `shouldBe` n + 1 [sydtest-mutation-example-gen]  it "is greater than its input" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOne n > n [sydtest-mutation-example-gen] + False [sydtest-mutation-example-gen] added mutation Negate at test/Example/LibSpec.hs:16:9-21 [sydtest-mutation-example-gen] @@ -13,4 +13,4 @@ [sydtest-mutation-example-gen]  addOne n `shouldBe` n + 1 [sydtest-mutation-example-gen]  it "is greater than its input" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOne n > n [sydtest-mutation-example-gen] + not (addOne n > n) [sydtest-mutation-example-gen] added 5 mutations [sydtest-mutation-example-gen] [5 of 7] 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] [5 of 7] 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] [6 of 7] Compiling Spec ( test/Spec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Spec.o ) [sydtest-mutation-example-gen] mutation: instrumenting Spec [sydtest-mutation-example-gen] added 0 mutations [sydtest-mutation-example-gen] [7 of 7] Compiling Main ( test/Main.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Main.o ) [sydtest-mutation-example-gen] [6 of 7] Compiling Spec ( test/Spec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Spec.o ) [sydtest-mutation-example-gen] mutation: instrumenting Main [sydtest-mutation-example-gen] added 0 mutations [sydtest-mutation-example-gen] mutation: instrumenting Spec [sydtest-mutation-example-gen] added 0 mutations [sydtest-mutation-example-gen] [7 of 7] Compiling Main ( test/Main.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Main.o ) [sydtest-mutation-example-gen] mutation: instrumenting Main [sydtest-mutation-example-gen] added 0 mutations [sydtest-mutation-example-gen] [1 of 8] Compiling Example.BoolLibSpec ( test/Example/BoolLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/BoolLibSpec.o ) [Impure plugin forced recompilation] [sydtest-mutation-example-gen] [1 of 8] Compiling Example.BoolLibSpec ( test/Example/BoolLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/BoolLibSpec.o ) [Impure plugin forced recompilation] [sydtest-mutation-example-gen] mutation: instrumenting Example.BoolLibSpec [sydtest-mutation-example-gen] added mutation BoolLit at test/Example/BoolLibSpec.hs:10:32-36 [sydtest-mutation-example-gen] @@ -7,7 +7,7 @@ [sydtest-mutation-example-gen]  spec = do [sydtest-mutation-example-gen]  describe "wrapTrue" $ [sydtest-mutation-example-gen]  it "is Just True" $ [sydtest-mutation-example-gen] - wrapTrue `shouldBe` Just True [sydtest-mutation-example-gen] + wrapTrue `shouldBe` Just False [sydtest-mutation-example-gen]  describe "wrapFalse" $ [sydtest-mutation-example-gen]  it "is Just False" $ [sydtest-mutation-example-gen]  wrapFalse `shouldBe` Just False [sydtest-mutation-example-gen] added mutation BoolLit at test/Example/BoolLibSpec.hs:13:33-38 [sydtest-mutation-example-gen] @@ -10,7 +10,7 @@ [sydtest-mutation-example-gen]  wrapTrue `shouldBe` Just True [sydtest-mutation-example-gen]  describe "wrapFalse" $ [sydtest-mutation-example-gen]  it "is Just False" $ [sydtest-mutation-example-gen] - wrapFalse `shouldBe` Just False [sydtest-mutation-example-gen] + wrapFalse `shouldBe` Just True [sydtest-mutation-example-gen]  describe "negateWrapped" $ do [sydtest-mutation-example-gen]  it "negates Just True to Just False" $ [sydtest-mutation-example-gen]  negateWrapped (Just True) `shouldBe` Just False [sydtest-mutation-example-gen] added mutation BoolLit at test/Example/BoolLibSpec.hs:16:27-31 [sydtest-mutation-example-gen] @@ -13,7 +13,7 @@ [sydtest-mutation-example-gen]  wrapFalse `shouldBe` Just False [sydtest-mutation-example-gen]  describe "negateWrapped" $ do [sydtest-mutation-example-gen]  it "negates Just True to Just False" $ [sydtest-mutation-example-gen] - negateWrapped (Just True) `shouldBe` Just False [sydtest-mutation-example-gen] + negateWrapped (Just False) `shouldBe` Just False [sydtest-mutation-example-gen]  it "negates Just False to Just True" $ [sydtest-mutation-example-gen]  negateWrapped (Just False) `shouldBe` Just True [sydtest-mutation-example-gen]  it "leaves Nothing as Nothing" $ [sydtest-mutation-example-gen] added mutation BoolLit at test/Example/BoolLibSpec.hs:16:49-54 [sydtest-mutation-example-gen] @@ -13,7 +13,7 @@ [sydtest-mutation-example-gen]  wrapFalse `shouldBe` Just False [sydtest-mutation-example-gen]  describe "negateWrapped" $ do [sydtest-mutation-example-gen]  it "negates Just True to Just False" $ [sydtest-mutation-example-gen] - negateWrapped (Just True) `shouldBe` Just False [sydtest-mutation-example-gen] + negateWrapped (Just True) `shouldBe` Just True [sydtest-mutation-example-gen]  it "negates Just False to Just True" $ [sydtest-mutation-example-gen]  negateWrapped (Just False) `shouldBe` Just True [sydtest-mutation-example-gen]  it "leaves Nothing as Nothing" $ [sydtest-mutation-example-gen] added mutation BoolLit at test/Example/BoolLibSpec.hs:18:27-32 [sydtest-mutation-example-gen] @@ -15,6 +15,6 @@ [sydtest-mutation-example-gen]  it "negates Just True to Just False" $ [sydtest-mutation-example-gen]  negateWrapped (Just True) `shouldBe` Just False [sydtest-mutation-example-gen]  it "negates Just False to Just True" $ [sydtest-mutation-example-gen] - negateWrapped (Just False) `shouldBe` Just True [sydtest-mutation-example-gen] + negateWrapped (Just True) `shouldBe` Just True [sydtest-mutation-example-gen]  it "leaves Nothing as Nothing" $ [sydtest-mutation-example-gen]  negateWrapped Nothing `shouldBe` Nothing [sydtest-mutation-example-gen] added mutation BoolLit at test/Example/BoolLibSpec.hs:18:50-54 [sydtest-mutation-example-gen] @@ -15,6 +15,6 @@ [sydtest-mutation-example-gen]  it "negates Just True to Just False" $ [sydtest-mutation-example-gen]  negateWrapped (Just True) `shouldBe` Just False [sydtest-mutation-example-gen]  it "negates Just False to Just True" $ [sydtest-mutation-example-gen] - negateWrapped (Just False) `shouldBe` Just True [sydtest-mutation-example-gen] + negateWrapped (Just False) `shouldBe` Just False [sydtest-mutation-example-gen]  it "leaves Nothing as Nothing" $ [sydtest-mutation-example-gen]  negateWrapped Nothing `shouldBe` Nothing [sydtest-mutation-example-gen] added 6 mutations [sydtest-mutation-example-gen] mutation: instrumenting Example.BoolLibSpec [sydtest-mutation-example-gen] added mutation BoolLit at test/Example/BoolLibSpec.hs:10:32-36 [sydtest-mutation-example-gen] @@ -7,7 +7,7 @@ [sydtest-mutation-example-gen]  spec = do [sydtest-mutation-example-gen]  describe "wrapTrue" $ [sydtest-mutation-example-gen]  it "is Just True" $ [sydtest-mutation-example-gen] - wrapTrue `shouldBe` Just True [sydtest-mutation-example-gen] + wrapTrue `shouldBe` Just False [sydtest-mutation-example-gen]  describe "wrapFalse" $ [sydtest-mutation-example-gen]  it "is Just False" $ [sydtest-mutation-example-gen]  wrapFalse `shouldBe` Just False [sydtest-mutation-example-gen] added mutation BoolLit at test/Example/BoolLibSpec.hs:13:33-38 [sydtest-mutation-example-gen] @@ -10,7 +10,7 @@ [sydtest-mutation-example-gen]  wrapTrue `shouldBe` Just True [sydtest-mutation-example-gen]  describe "wrapFalse" $ [sydtest-mutation-example-gen]  it "is Just False" $ [sydtest-mutation-example-gen] - wrapFalse `shouldBe` Just False [sydtest-mutation-example-gen] + wrapFalse `shouldBe` Just True [sydtest-mutation-example-gen]  describe "negateWrapped" $ do [sydtest-mutation-example-gen]  it "negates Just True to Just False" $ [sydtest-mutation-example-gen]  negateWrapped (Just True) `shouldBe` Just False [sydtest-mutation-example-gen] added mutation BoolLit at test/Example/BoolLibSpec.hs:16:27-31 [sydtest-mutation-example-gen] @@ -13,7 +13,7 @@ [sydtest-mutation-example-gen]  wrapFalse `shouldBe` Just False [sydtest-mutation-example-gen]  describe "negateWrapped" $ do [sydtest-mutation-example-gen]  it "negates Just True to Just False" $ [sydtest-mutation-example-gen] - negateWrapped (Just True) `shouldBe` Just False [sydtest-mutation-example-gen] + negateWrapped (Just False) `shouldBe` Just False [sydtest-mutation-example-gen]  it "negates Just False to Just True" $ [sydtest-mutation-example-gen]  negateWrapped (Just False) `shouldBe` Just True [sydtest-mutation-example-gen]  it "leaves Nothing as Nothing" $ [sydtest-mutation-example-gen] added mutation BoolLit at test/Example/BoolLibSpec.hs:16:49-54 [sydtest-mutation-example-gen] @@ -13,7 +13,7 @@ [sydtest-mutation-example-gen]  wrapFalse `shouldBe` Just False [sydtest-mutation-example-gen]  describe "negateWrapped" $ do [sydtest-mutation-example-gen]  it "negates Just True to Just False" $ [sydtest-mutation-example-gen] - negateWrapped (Just True) `shouldBe` Just False [sydtest-mutation-example-gen] + negateWrapped (Just True) `shouldBe` Just True [sydtest-mutation-example-gen]  it "negates Just False to Just True" $ [sydtest-mutation-example-gen]  negateWrapped (Just False) `shouldBe` Just True [sydtest-mutation-example-gen]  it "leaves Nothing as Nothing" $ [sydtest-mutation-example-gen] added mutation BoolLit at test/Example/BoolLibSpec.hs:18:27-32 [sydtest-mutation-example-gen] @@ -15,6 +15,6 @@ [sydtest-mutation-example-gen]  it "negates Just True to Just False" $ [sydtest-mutation-example-gen]  negateWrapped (Just True) `shouldBe` Just False [sydtest-mutation-example-gen]  it "negates Just False to Just True" $ [sydtest-mutation-example-gen] - negateWrapped (Just False) `shouldBe` Just True [sydtest-mutation-example-gen] + negateWrapped (Just True) `shouldBe` Just True [sydtest-mutation-example-gen]  it "leaves Nothing as Nothing" $ [sydtest-mutation-example-gen]  negateWrapped Nothing `shouldBe` Nothing [sydtest-mutation-example-gen] added mutation BoolLit at test/Example/BoolLibSpec.hs:18:50-54 [sydtest-mutation-example-gen] @@ -15,6 +15,6 @@ [sydtest-mutation-example-gen]  it "negates Just True to Just False" $ [sydtest-mutation-example-gen]  negateWrapped (Just True) `shouldBe` Just False [sydtest-mutation-example-gen]  it "negates Just False to Just True" $ [sydtest-mutation-example-gen] - negateWrapped (Just False) `shouldBe` Just True [sydtest-mutation-example-gen] + negateWrapped (Just False) `shouldBe` Just False [sydtest-mutation-example-gen]  it "leaves Nothing as Nothing" $ [sydtest-mutation-example-gen]  negateWrapped Nothing `shouldBe` Nothing [sydtest-mutation-example-gen] added 6 mutations [sydtest-mutation-example-gen] [2 of 8] Compiling Example.ExceptionLibSpec ( test/Example/ExceptionLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/ExceptionLibSpec.o ) [Impure plugin forced recompilation] [sydtest-mutation-example-gen] mutation: instrumenting Example.ExceptionLibSpec [sydtest-mutation-example-gen] added mutation IntLit at test/Example/ExceptionLibSpec.hs:13:47-48 [sydtest-mutation-example-gen] @@ -10,4 +10,4 @@ [sydtest-mutation-example-gen]  describe "addOneModuleDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOneModuleDisabled n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOneModuleDisabled n `shouldBe` n + 0 [sydtest-mutation-example-gen] added mutation IntLit at test/Example/ExceptionLibSpec.hs:13:47-48 [sydtest-mutation-example-gen] @@ -10,4 +10,4 @@ [sydtest-mutation-example-gen]  describe "addOneModuleDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOneModuleDisabled n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOneModuleDisabled n `shouldBe` n + -1 [sydtest-mutation-example-gen] added 2 mutations [sydtest-mutation-example-gen] [2 of 8] Compiling Example.ExceptionLibSpec ( test/Example/ExceptionLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/ExceptionLibSpec.o ) [Impure plugin forced recompilation] [sydtest-mutation-example-gen] mutation: instrumenting Example.ExceptionLibSpec [sydtest-mutation-example-gen] added mutation IntLit at test/Example/ExceptionLibSpec.hs:13:47-48 [sydtest-mutation-example-gen] @@ -10,4 +10,4 @@ [sydtest-mutation-example-gen]  describe "addOneModuleDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOneModuleDisabled n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOneModuleDisabled n `shouldBe` n + 0 [sydtest-mutation-example-gen] added mutation IntLit at test/Example/ExceptionLibSpec.hs:13:47-48 [sydtest-mutation-example-gen] @@ -10,4 +10,4 @@ [sydtest-mutation-example-gen]  describe "addOneModuleDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOneModuleDisabled n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOneModuleDisabled n `shouldBe` n + -1 [sydtest-mutation-example-gen] added 2 mutations [sydtest-mutation-example-gen] [3 of 8] Compiling Example.FunctionExceptionLibSpec ( test/Example/FunctionExceptionLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/FunctionExceptionLibSpec.o ) [Impure plugin forced recompilation] [sydtest-mutation-example-gen] mutation: instrumenting Example.FunctionExceptionLibSpec [sydtest-mutation-example-gen] added mutation IntLit at test/Example/FunctionExceptionLibSpec.hs:13:46-47 [sydtest-mutation-example-gen] @@ -10,7 +10,7 @@ [sydtest-mutation-example-gen]  describe "addOneArithDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOneArithDisabled n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOneArithDisabled n `shouldBe` n + 0 [sydtest-mutation-example-gen]  describe "addOneArithAndIntLitDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] added mutation IntLit at test/Example/FunctionExceptionLibSpec.hs:13:46-47 [sydtest-mutation-example-gen] @@ -10,7 +10,7 @@ [sydtest-mutation-example-gen]  describe "addOneArithDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOneArithDisabled n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOneArithDisabled n `shouldBe` n + -1 [sydtest-mutation-example-gen]  describe "addOneArithAndIntLitDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] added mutation IntLit at test/Example/FunctionExceptionLibSpec.hs:17:55-56 [sydtest-mutation-example-gen] @@ -14,7 +14,7 @@ [sydtest-mutation-example-gen]  describe "addOneArithAndIntLitDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOneArithAndIntLitDisabled n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOneArithAndIntLitDisabled n `shouldBe` n + 0 [sydtest-mutation-example-gen]  describe "addOneFunctionDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] added mutation IntLit at test/Example/FunctionExceptionLibSpec.hs:17:55-56 [sydtest-mutation-example-gen] @@ -14,7 +14,7 @@ [sydtest-mutation-example-gen]  describe "addOneArithAndIntLitDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOneArithAndIntLitDisabled n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOneArithAndIntLitDisabled n `shouldBe` n + -1 [sydtest-mutation-example-gen]  describe "addOneFunctionDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] added mutation IntLit at test/Example/FunctionExceptionLibSpec.hs:21:49-50 [sydtest-mutation-example-gen] @@ -18,4 +18,4 @@ [sydtest-mutation-example-gen]  describe "addOneFunctionDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOneFunctionDisabled n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOneFunctionDisabled n `shouldBe` n + 0 [sydtest-mutation-example-gen] added mutation IntLit at test/Example/FunctionExceptionLibSpec.hs:21:49-50 [sydtest-mutation-example-gen] @@ -18,4 +18,4 @@ [sydtest-mutation-example-gen]  describe "addOneFunctionDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOneFunctionDisabled n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOneFunctionDisabled n `shouldBe` n + -1 [sydtest-mutation-example-gen] added 6 mutations [sydtest-mutation-example-gen] [3 of 8] Compiling Example.FunctionExceptionLibSpec ( test/Example/FunctionExceptionLibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/FunctionExceptionLibSpec.o ) [Impure plugin forced recompilation] [sydtest-mutation-example-gen] mutation: instrumenting Example.FunctionExceptionLibSpec [sydtest-mutation-example-gen] added mutation IntLit at test/Example/FunctionExceptionLibSpec.hs:13:46-47 [sydtest-mutation-example-gen] @@ -10,7 +10,7 @@ [sydtest-mutation-example-gen]  describe "addOneArithDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOneArithDisabled n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOneArithDisabled n `shouldBe` n + 0 [sydtest-mutation-example-gen]  describe "addOneArithAndIntLitDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] added mutation IntLit at test/Example/FunctionExceptionLibSpec.hs:13:46-47 [sydtest-mutation-example-gen] @@ -10,7 +10,7 @@ [sydtest-mutation-example-gen]  describe "addOneArithDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOneArithDisabled n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOneArithDisabled n `shouldBe` n + -1 [sydtest-mutation-example-gen]  describe "addOneArithAndIntLitDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] added mutation IntLit at test/Example/FunctionExceptionLibSpec.hs:17:55-56 [sydtest-mutation-example-gen] @@ -14,7 +14,7 @@ [sydtest-mutation-example-gen]  describe "addOneArithAndIntLitDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOneArithAndIntLitDisabled n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOneArithAndIntLitDisabled n `shouldBe` n + 0 [sydtest-mutation-example-gen]  describe "addOneFunctionDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] added mutation IntLit at test/Example/FunctionExceptionLibSpec.hs:17:55-56 [sydtest-mutation-example-gen] @@ -14,7 +14,7 @@ [sydtest-mutation-example-gen]  describe "addOneArithAndIntLitDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOneArithAndIntLitDisabled n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOneArithAndIntLitDisabled n `shouldBe` n + -1 [sydtest-mutation-example-gen]  describe "addOneFunctionDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] added mutation IntLit at test/Example/FunctionExceptionLibSpec.hs:21:49-50 [sydtest-mutation-example-gen] @@ -18,4 +18,4 @@ [sydtest-mutation-example-gen]  describe "addOneFunctionDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOneFunctionDisabled n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOneFunctionDisabled n `shouldBe` n + 0 [sydtest-mutation-example-gen] added mutation IntLit at test/Example/FunctionExceptionLibSpec.hs:21:49-50 [sydtest-mutation-example-gen] @@ -18,4 +18,4 @@ [sydtest-mutation-example-gen]  describe "addOneFunctionDisabled" $ [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOneFunctionDisabled n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOneFunctionDisabled n `shouldBe` n + -1 [sydtest-mutation-example-gen] added 6 mutations [sydtest-mutation-example-gen] [4 of 8] Compiling Example.LibSpec ( test/Example/LibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/LibSpec.o ) [Impure plugin forced recompilation] [sydtest-mutation-example-gen] mutation: instrumenting Example.LibSpec [sydtest-mutation-example-gen] added mutation IntLit at test/Example/LibSpec.hs:13:33-34 [sydtest-mutation-example-gen] @@ -10,7 +10,7 @@ [sydtest-mutation-example-gen]  describe "addOne" $ do [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOne n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOne n `shouldBe` n + 0 [sydtest-mutation-example-gen]  it "is greater than its input" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen]  addOne n > n [sydtest-mutation-example-gen] added mutation IntLit at test/Example/LibSpec.hs:13:33-34 [sydtest-mutation-example-gen] @@ -10,7 +10,7 @@ [sydtest-mutation-example-gen]  describe "addOne" $ do [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOne n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOne n `shouldBe` n + -1 [sydtest-mutation-example-gen]  it "is greater than its input" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen]  addOne n > n [sydtest-mutation-example-gen] added mutation ConstBool at test/Example/LibSpec.hs:16:9-21 [sydtest-mutation-example-gen] @@ -13,4 +13,4 @@ [sydtest-mutation-example-gen]  addOne n `shouldBe` n + 1 [sydtest-mutation-example-gen]  it "is greater than its input" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOne n > n [sydtest-mutation-example-gen] + True [sydtest-mutation-example-gen] added mutation ConstBool at test/Example/LibSpec.hs:16:9-21 [sydtest-mutation-example-gen] @@ -13,4 +13,4 @@ [sydtest-mutation-example-gen]  addOne n `shouldBe` n + 1 [sydtest-mutation-example-gen]  it "is greater than its input" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOne n > n [sydtest-mutation-example-gen] + False [sydtest-mutation-example-gen] added mutation Negate at test/Example/LibSpec.hs:16:9-21 [sydtest-mutation-example-gen] @@ -13,4 +13,4 @@ [sydtest-mutation-example-gen]  addOne n `shouldBe` n + 1 [sydtest-mutation-example-gen]  it "is greater than its input" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOne n > n [sydtest-mutation-example-gen] + not (addOne n > n) [sydtest-mutation-example-gen] added 5 mutations [sydtest-mutation-example-gen] [4 of 8] Compiling Example.LibSpec ( test/Example/LibSpec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Example/LibSpec.o ) [Impure plugin forced recompilation] [sydtest-mutation-example-gen] mutation: instrumenting Example.LibSpec [sydtest-mutation-example-gen] added mutation IntLit at test/Example/LibSpec.hs:13:33-34 [sydtest-mutation-example-gen] @@ -10,7 +10,7 @@ [sydtest-mutation-example-gen]  describe "addOne" $ do [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOne n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOne n `shouldBe` n + 0 [sydtest-mutation-example-gen]  it "is greater than its input" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen]  addOne n > n [sydtest-mutation-example-gen] added mutation IntLit at test/Example/LibSpec.hs:13:33-34 [sydtest-mutation-example-gen] @@ -10,7 +10,7 @@ [sydtest-mutation-example-gen]  describe "addOne" $ do [sydtest-mutation-example-gen]  it "increments by one" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOne n `shouldBe` n + 1 [sydtest-mutation-example-gen] + addOne n `shouldBe` n + -1 [sydtest-mutation-example-gen]  it "is greater than its input" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen]  addOne n > n [sydtest-mutation-example-gen] added mutation ConstBool at test/Example/LibSpec.hs:16:9-21 [sydtest-mutation-example-gen] @@ -13,4 +13,4 @@ [sydtest-mutation-example-gen]  addOne n `shouldBe` n + 1 [sydtest-mutation-example-gen]  it "is greater than its input" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOne n > n [sydtest-mutation-example-gen] + True [sydtest-mutation-example-gen] added mutation ConstBool at test/Example/LibSpec.hs:16:9-21 [sydtest-mutation-example-gen] @@ -13,4 +13,4 @@ [sydtest-mutation-example-gen]  addOne n `shouldBe` n + 1 [sydtest-mutation-example-gen]  it "is greater than its input" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOne n > n [sydtest-mutation-example-gen] + False [sydtest-mutation-example-gen] added mutation Negate at test/Example/LibSpec.hs:16:9-21 [sydtest-mutation-example-gen] @@ -13,4 +13,4 @@ [sydtest-mutation-example-gen]  addOne n `shouldBe` n + 1 [sydtest-mutation-example-gen]  it "is greater than its input" $ [sydtest-mutation-example-gen]  forAll genInt $ \n -> [sydtest-mutation-example-gen] - addOne n > n [sydtest-mutation-example-gen] + not (addOne n > n) [sydtest-mutation-example-gen] added 5 mutations [sydtest-mutation-example-gen] [5 of 8] 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 ) [Impure plugin forced recompilation] [sydtest-mutation-example-gen] [5 of 8] 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 ) [Impure plugin forced recompilation] [sydtest-mutation-example-gen] [6 of 8] Compiling Spec ( test/Spec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Spec.o ) [Impure plugin forced recompilation] [sydtest-mutation-example-gen] mutation: instrumenting Spec [sydtest-mutation-example-gen] added 0 mutations [sydtest-mutation-example-gen] [7 of 8] Compiling Main ( test/Main.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Main.o ) [Impure plugin forced recompilation] [sydtest-mutation-example-gen] mutation: instrumenting Main [sydtest-mutation-example-gen] added 0 mutations [sydtest-mutation-example-gen] [6 of 8] Compiling Spec ( test/Spec.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Spec.o ) [Impure plugin forced recompilation] [sydtest-mutation-example-gen] mutation: instrumenting Spec [sydtest-mutation-example-gen] added 0 mutations [sydtest-mutation-example-gen] [8 of 8] Linking dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test [sydtest-mutation-example-gen] [7 of 8] Compiling Main ( test/Main.hs, dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test-tmp/Main.o ) [Impure plugin forced recompilation] [sydtest-mutation-example-gen] mutation: instrumenting Main [sydtest-mutation-example-gen] added 0 mutations [sydtest-mutation-example-gen] [8 of 8] Linking dist/build/sydtest-mutation-example-gen-test/sydtest-mutation-example-gen-test [sydtest-mutation-example-gen] mutation-nix: manifest output at /nix/store/jdzypd24s04h7w33pjd5xsn3vj2s74ha-sydtest-mutation-example-gen-0.0.0.0-manifest: [sydtest-mutation-example-gen] total 68 [sydtest-mutation-example-gen] drwxr-xr-x 2 nixbld nixbld 4096 May 13 16:04 . [sydtest-mutation-example-gen] drwxrwxr-t 315 nobody nixbld 32768 May 13 16:04 .. [sydtest-mutation-example-gen] -rw-r--r-- 1 nixbld nixbld 3841 May 13 16:04 Example.BoolLibSpec.json [sydtest-mutation-example-gen] -rw-r--r-- 1 nixbld nixbld 1026 May 13 16:04 Example.ExceptionLibSpec.json [sydtest-mutation-example-gen] -rw-r--r-- 1 nixbld nixbld 3706 May 13 16:04 Example.FunctionExceptionLibSpec.json [sydtest-mutation-example-gen] -rw-r--r-- 1 nixbld nixbld 2 May 13 16:04 Example.Gen.json [sydtest-mutation-example-gen] -rw-r--r-- 1 nixbld nixbld 2403 May 13 16:04 Example.LibSpec.json [sydtest-mutation-example-gen] -rw-r--r-- 1 nixbld nixbld 2 May 13 16:04 Main.json [sydtest-mutation-example-gen] -rw-r--r-- 1 nixbld nixbld 2 May 13 16:04 Spec.json [sydtest-mutation-example-gen] Phase: checkPhase [sydtest-mutation-example-gen] mutation-nix: manifest output at /nix/store/4pvqd2g62cdwjc64irsam3dffgl98x90-sydtest-mutation-example-gen-0.0.0.0-manifest: [sydtest-mutation-example-gen] total 68 [sydtest-mutation-example-gen] drwxr-xr-x 2 nixbld nixbld 4096 May 13 16:04 . [sydtest-mutation-example-gen] drwxrwxr-t 315 nobody nixbld 32768 May 13 16:04 .. [sydtest-mutation-example-gen] -rw-r--r-- 1 nixbld nixbld 3841 May 13 16:04 Example.BoolLibSpec.json [sydtest-mutation-example-gen] -rw-r--r-- 1 nixbld nixbld 1026 May 13 16:04 Example.ExceptionLibSpec.json [sydtest-mutation-example-gen] -rw-r--r-- 1 nixbld nixbld 3706 May 13 16:04 Example.FunctionExceptionLibSpec.json [sydtest-mutation-example-gen] -rw-r--r-- 1 nixbld nixbld 2 May 13 16:04 Example.Gen.json [sydtest-mutation-example-gen] -rw-r--r-- 1 nixbld nixbld 2403 May 13 16:04 Example.LibSpec.json [sydtest-mutation-example-gen] -rw-r--r-- 1 nixbld nixbld 2 May 13 16:04 Main.json [sydtest-mutation-example-gen] -rw-r--r-- 1 nixbld nixbld 2 May 13 16:04 Spec.json [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] Phase: installPhase [sydtest-mutation-example-gen] Installing library in /nix/store/1prdnk87rkppdrzj2vfx735clnm60jfd-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-4cnK2StUrYnd9LDLBLqHJ [sydtest-mutation-example-gen] Running 1 test suites... [sydtest-mutation-example-gen] Test suite sydtest-mutation-example-gen-test: RUNNING... [sydtest-mutation-example-gen] Tests: [sydtest-mutation-example-gen]  [sydtest-mutation-example-gen] Example.LibSpec [sydtest-mutation-example-gen]  addOne [sydtest-mutation-example-gen]  ✓ is greater than its input  3.73 ms [sydtest-mutation-example-gen]  passed for all of 100 inputs. [sydtest-mutation-example-gen]  ✓ increments by one  4.34 ms [sydtest-mutation-example-gen]  passed for all of 100 inputs. [sydtest-mutation-example-gen] Example.BoolLibSpec [sydtest-mutation-example-gen]  wrapTrue [sydtest-mutation-example-gen]  ✓ is Just True  3.78 ms [sydtest-mutation-example-gen]  wrapFalse [sydtest-mutation-example-gen]  ✓ is Just False  2.65 ms [sydtest-mutation-example-gen]  negateWrapped [sydtest-mutation-example-gen]  ✓ negates Just True to Just False  2.62 ms [sydtest-mutation-example-gen]  ✓ leaves Nothing as Nothing  0.02 ms [sydtest-mutation-example-gen]  ✓ negates Just False to Just True  2.65 ms [sydtest-mutation-example-gen] Example.ExceptionLibSpec [sydtest-mutation-example-gen]  addOneModuleDisabled [sydtest-mutation-example-gen]  ✓ increments by one  4.69 ms [sydtest-mutation-example-gen]  passed for all of 100 inputs. [sydtest-mutation-example-gen] Example.FunctionExceptionLibSpec [sydtest-mutation-example-gen]  addOneArithAndIntLitDisabled [sydtest-mutation-example-gen]  ✓ increments by one  3.61 ms [sydtest-mutation-example-gen]  passed for all of 100 inputs. [sydtest-mutation-example-gen]  addOneFunctionDisabled [sydtest-mutation-example-gen]  ✓ increments by one  4.53 ms [sydtest-mutation-example-gen]  passed for all of 100 inputs. [sydtest-mutation-example-gen]  addOneArithDisabled [sydtest-mutation-example-gen]  ✓ increments by one  9.22 ms [sydtest-mutation-example-gen]  passed for all of 100 inputs. [sydtest-mutation-example-gen]  [sydtest-mutation-example-gen]  Examples: 605 [sydtest-mutation-example-gen]  Passed: 11 [sydtest-mutation-example-gen]  Failed: 0 [sydtest-mutation-example-gen]  Sum of test runtimes: 0.04 seconds [sydtest-mutation-example-gen]  Test suite took:  0.02 seconds [sydtest-mutation-example-gen]  [sydtest-mutation-example-gen] Test suite sydtest-mutation-example-gen-test: PASS [sydtest-mutation-example-gen] Test suite logged to: [sydtest-mutation-example-gen] dist/test/sydtest-mutation-example-gen-0.0.0.0-sydtest-mutation-example-gen-test.log [sydtest-mutation-example-gen] 1 of 1 test suites (1 of 1 test cases) passed. [sydtest-mutation-example-gen] Phase: fixupPhase [sydtest-mutation-example-gen] Phase: haddockPhase [sydtest-mutation-example-gen] Phase: installPhase [sydtest-mutation-example-gen] shrinking RPATHs of ELF executables and libraries in /nix/store/1prdnk87rkppdrzj2vfx735clnm60jfd-sydtest-mutation-example-gen-0.0.0.0 [sydtest-mutation-example-gen] shrinking /nix/store/1prdnk87rkppdrzj2vfx735clnm60jfd-sydtest-mutation-example-gen-0.0.0.0/test/sydtest-mutation-example-gen-test [sydtest-mutation-example-gen] shrinking /nix/store/1prdnk87rkppdrzj2vfx735clnm60jfd-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-4cnK2StUrYnd9LDLBLqHJ-ghc9.10.3.so [sydtest-mutation-example-gen] checking for references to /build/ in /nix/store/1prdnk87rkppdrzj2vfx735clnm60jfd-sydtest-mutation-example-gen-0.0.0.0... [sydtest-mutation-example-gen] patching script interpreter paths in /nix/store/1prdnk87rkppdrzj2vfx735clnm60jfd-sydtest-mutation-example-gen-0.0.0.0 [sydtest-mutation-example-gen] stripping (with command strip and flags -S -p) in /nix/store/1prdnk87rkppdrzj2vfx735clnm60jfd-sydtest-mutation-example-gen-0.0.0.0/lib [sydtest-mutation-example-gen] shrinking RPATHs of ELF executables and libraries in /nix/store/4pvqd2g62cdwjc64irsam3dffgl98x90-sydtest-mutation-example-gen-0.0.0.0-manifest [sydtest-mutation-example-gen] checking for references to /build/ in /nix/store/4pvqd2g62cdwjc64irsam3dffgl98x90-sydtest-mutation-example-gen-0.0.0.0-manifest... [sydtest-mutation-example-gen] patching script interpreter paths in /nix/store/4pvqd2g62cdwjc64irsam3dffgl98x90-sydtest-mutation-example-gen-0.0.0.0-manifest Progress: 3 of 6 built (1 building) [sydtest-mutation-example-gen] Installing library in /nix/store/rs2c62009aas9nlf4rxkpmpqsa5ivg8c-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-4cnK2StUrYnd9LDLBLqHJ [sydtest-mutation-example-gen] Phase: fixupPhase [sydtest-mutation-example-gen] shrinking RPATHs of ELF executables and libraries in /nix/store/rs2c62009aas9nlf4rxkpmpqsa5ivg8c-sydtest-mutation-example-gen-0.0.0.0 [sydtest-mutation-example-gen] shrinking /nix/store/rs2c62009aas9nlf4rxkpmpqsa5ivg8c-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-4cnK2StUrYnd9LDLBLqHJ-ghc9.10.3.so [sydtest-mutation-example-gen] checking for references to /build/ in /nix/store/rs2c62009aas9nlf4rxkpmpqsa5ivg8c-sydtest-mutation-example-gen-0.0.0.0... [sydtest-mutation-example-gen] patching script interpreter paths in /nix/store/rs2c62009aas9nlf4rxkpmpqsa5ivg8c-sydtest-mutation-example-gen-0.0.0.0 [sydtest-mutation-example-gen] stripping (with command strip and flags -S -p) in /nix/store/rs2c62009aas9nlf4rxkpmpqsa5ivg8c-sydtest-mutation-example-gen-0.0.0.0/lib [sydtest-mutation-example-gen] shrinking RPATHs of ELF executables and libraries in /nix/store/jdzypd24s04h7w33pjd5xsn3vj2s74ha-sydtest-mutation-example-gen-0.0.0.0-manifest [sydtest-mutation-example-gen] checking for references to /build/ in /nix/store/jdzypd24s04h7w33pjd5xsn3vj2s74ha-sydtest-mutation-example-gen-0.0.0.0-manifest... [sydtest-mutation-example-gen] patching script interpreter paths in /nix/store/jdzypd24s04h7w33pjd5xsn3vj2s74ha-sydtest-mutation-example-gen-0.0.0.0-manifest Progress: 4 of 6 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/kq9grz414c3zlh91q4iyyha6v39xicmg-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 1778688098 of file "sydtest-mutation-example-0.0.0.0/test/Spec.hs" [sydtest-mutation-example] Phase: patchPhase [sydtest-mutation-example] Phase: compileBuildDriverPhase [sydtest-mutation-example] setupCompileFlags: -package-db=/build/tmp.mujrydP7F4/setup-package.conf.d -threaded [sydtest-mutation-example] [1 of 2] Compiling Main ( Setup.hs, /build/tmp.mujrydP7F4/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/hjq5n20l59q718h8jp46pr9vgah0gaq1-sydtest-mutation-example-0.0.0.0 --libdir=$prefix/lib/$compiler/lib --libsubdir=$abi/$libname --with-gcc=gcc --package-db=/build/tmp.mujrydP7F4/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 --disable-benchmarks --enable-library-vanilla --disable-library-for-ghci --enable-split-sections --enable-library-stripping --enable-executable-stripping --ghc-options=-O2 --ghc-options=-Wall --ghc-options=-Wincomplete-uni-patterns --ghc-options=-Wincomplete-record-updates --ghc-options=-Wpartial-fields --ghc-options=-Widentities --ghc-options=-Wredundant-constraints --ghc-options=-Wcpp-undef --ghc-options=-Wunused-packages --ghc-options=-Werror --ghc-options=-Wno-deprecations --disable-optimization --ghc-option=-j1 --ghc-option=+RTS --ghc-option=-A32M --ghc-option=-M16g --ghc-option=-RTS --extra-lib-dirs=/nix/store/ffyzkisqs4vc4mg28bwwlyqjf8i9ph6b-ncurses-6.5/lib --extra-lib-dirs=/nix/store/n28qgdj8c1q41kf7n4y1jxa6ckp85m3c-libffi-3.5.2/lib --extra-lib-dirs=/nix/store/1b6h99dw7bk4wbn77kbalih42zbc67m1-elfutils-0.194/lib --extra-lib-dirs=/nix/store/hi0ar880110k6jsmmili7dh1gq3cg2a9-gmp-with-cxx-6.3.0/lib --extra-lib-dirs=/nix/store/g09cflpnp4g80q56sj9dng1qzv4v4ybc-numactl-2.0.18/lib --extra-lib-dirs=/nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/lib [sydtest-mutation-example] Using Parsec parser [sydtest-mutation-example] Configuring sydtest-mutation-example-0.0.0.0... [sydtest-mutation-example] Dependency base >=4.7 && <5: using base-4.20.2.0 [sydtest-mutation-example] Dependency base >=4.7 && <5: using base-4.20.2.0 [sydtest-mutation-example] Dependency sydtest: using sydtest-0.23.0.2 [sydtest-mutation-example] Dependency sydtest-mutation-example: using sydtest-mutation-example-0.0.0.0 [sydtest-mutation-example] Source component graph: [sydtest-mutation-example]  component lib [sydtest-mutation-example]  component test:sydtest-mutation-example-test dependency lib [sydtest-mutation-example] Configured component graph: [sydtest-mutation-example]  component sydtest-mutation-example-0.0.0.0-HKLtxgcNX3SGgTl9z4D5SA [sydtest-mutation-example]  include base-4.20.2.0-64da [sydtest-mutation-example]  component sydtest-mutation-example-0.0.0.0-8eNP0kEWkFBLuikqb8br1V-sydtest-mutation-example-test [sydtest-mutation-example]  include base-4.20.2.0-64da [sydtest-mutation-example]  include sydtest-0.23.0.2-RzVaEpJISaERaSrCHYFLw [sydtest-mutation-example]  include sydtest-mutation-example-0.0.0.0-HKLtxgcNX3SGgTl9z4D5SA [sydtest-mutation-example] Linked component graph: [sydtest-mutation-example]  unit sydtest-mutation-example-0.0.0.0-HKLtxgcNX3SGgTl9z4D5SA [sydtest-mutation-example]  include base-4.20.2.0-64da [sydtest-mutation-example]  Example.BoolLib=sydtest-mutation-example-0.0.0.0-HKLtxgcNX3SGgTl9z4D5SA:Example.BoolLib,Example.ExceptionLib=sydtest-mutation-example-0.0.0.0-HKLtxgcNX3SGgTl9z4D5SA:Example.ExceptionLib,Example.FunctionExceptionLib=sydtest-mutation-example-0.0.0.0-HKLtxgcNX3SGgTl9z4D5SA:Example.FunctionExceptionLib,Example.Lib=sydtest-mutation-example-0.0.0.0-HKLtxgcNX3SGgTl9z4D5SA:Example.Lib,Example.OtherwiseLib=sydtest-mutation-example-0.0.0.0-HKLtxgcNX3SGgTl9z4D5SA:Example.OtherwiseLib,Example.UntestedLib=sydtest-mutation-example-0.0.0.0-HKLtxgcNX3SGgTl9z4D5SA:Example.UntestedLib [sydtest-mutation-example]  unit sydtest-mutation-example-0.0.0.0-8eNP0kEWkFBLuikqb8br1V-sydtest-mutation-example-test [sydtest-mutation-example]  include base-4.20.2.0-64da [sydtest-mutation-example]  include sydtest-0.23.0.2-RzVaEpJISaERaSrCHYFLw [sydtest-mutation-example]  include sydtest-mutation-example-0.0.0.0-HKLtxgcNX3SGgTl9z4D5SA [sydtest-mutation-example] Ready component graph: [sydtest-mutation-example]  definite sydtest-mutation-example-0.0.0.0-HKLtxgcNX3SGgTl9z4D5SA [sydtest-mutation-example]  depends base-4.20.2.0-64da [sydtest-mutation-example]  definite sydtest-mutation-example-0.0.0.0-8eNP0kEWkFBLuikqb8br1V-sydtest-mutation-example-test [sydtest-mutation-example]  depends base-4.20.2.0-64da [sydtest-mutation-example]  depends sydtest-0.23.0.2-RzVaEpJISaERaSrCHYFLw [sydtest-mutation-example]  depends sydtest-mutation-example-0.0.0.0-HKLtxgcNX3SGgTl9z4D5SA [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/hjq5n20l59q718h8jp46pr9vgah0gaq1-sydtest-mutation-example-0.0.0.0 [sydtest-mutation-example] Executables installed in: [sydtest-mutation-example] /nix/store/hjq5n20l59q718h8jp46pr9vgah0gaq1-sydtest-mutation-example-0.0.0.0/bin [sydtest-mutation-example] Libraries installed in: [sydtest-mutation-example] /nix/store/hjq5n20l59q718h8jp46pr9vgah0gaq1-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-HKLtxgcNX3SGgTl9z4D5SA [sydtest-mutation-example] Dynamic Libraries installed in: [sydtest-mutation-example] /nix/store/hjq5n20l59q718h8jp46pr9vgah0gaq1-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/hjq5n20l59q718h8jp46pr9vgah0gaq1-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/hjq5n20l59q718h8jp46pr9vgah0gaq1-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/hjq5n20l59q718h8jp46pr9vgah0gaq1-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/hjq5n20l59q718h8jp46pr9vgah0gaq1-sydtest-mutation-example-0.0.0.0/etc [sydtest-mutation-example] No alex found [sydtest-mutation-example] Using ar found on system at: [sydtest-mutation-example] /nix/store/iz5lckcsg66r223si2gck7csk2hihj0m-binutils-wrapper-2.44/bin/ar [sydtest-mutation-example] No c2hs found [sydtest-mutation-example] No cpphs found [sydtest-mutation-example] No doctest found [sydtest-mutation-example] Using gcc version 14.3.0 given by user at: [sydtest-mutation-example] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/gcc [sydtest-mutation-example] Using ghc version 9.10.3 found on system at: [sydtest-mutation-example] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc [sydtest-mutation-example] Using ghc-pkg version 9.10.3 found on system at: [sydtest-mutation-example] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc-pkg-9.10.3 [sydtest-mutation-example] No ghcjs found [sydtest-mutation-example] No ghcjs-pkg found [sydtest-mutation-example] No greencard found [sydtest-mutation-example] Using haddock version 2.31.1 found on system at: [sydtest-mutation-example] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/haddock-ghc-9.10.3 [sydtest-mutation-example] No happy found [sydtest-mutation-example] Using haskell-suite found on system at: haskell-suite-dummy-location [sydtest-mutation-example] Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location [sydtest-mutation-example] No hmake found [sydtest-mutation-example] Using hpc version 0.69 found on system at: [sydtest-mutation-example] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hpc-ghc-9.10.3 [sydtest-mutation-example] Using hsc2hs version 0.68.10 found on system at: [sydtest-mutation-example] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hsc2hs-ghc-9.10.3 [sydtest-mutation-example] Using hscolour version 1.25 found on system at: [sydtest-mutation-example] /nix/store/f755skyzf4jvfx3crwq9mmh3x4lsaz8i-hscolour-1.25/bin/HsColour [sydtest-mutation-example] No jhc found [sydtest-mutation-example] Using ld found on system at: [sydtest-mutation-example] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/ld [sydtest-mutation-example] No pkg-config found [sydtest-mutation-example] Using runghc version 9.10.3 found on system at: [sydtest-mutation-example] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/runghc-9.10.3 [sydtest-mutation-example] Using strip version 2.44 found on system at: [sydtest-mutation-example] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/strip [sydtest-mutation-example] Using tar found on system at: [sydtest-mutation-example] /nix/store/xl6pd2spjajwcpq09fnmnjv5psqmlmma-gnutar-1.35/bin/tar [sydtest-mutation-example] No uhc found [sydtest-mutation-example] Phase: buildPhase [sydtest-mutation-example] mutation-nix: setting MUTATION_MANIFEST_DIR=/nix/store/33vjd2phw5z88mbxjanaxdg1iwpg23sj-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 7] Compiling Example.BoolLib ( src/Example/BoolLib.hs, dist/build/Example/BoolLib.o, dist/build/Example/BoolLib.dyn_o ) [sydtest-mutation-example] mutation: instrumenting Example.BoolLib [sydtest-mutation-example] added mutation BoolLit at src/Example/BoolLib.hs:18:18-23 [sydtest-mutation-example] @@ -15,7 +15,7 @@ [sydtest-mutation-example]  -- [sydtest-mutation-example]  -- Mutation sites: BoolLit/ConstBool on the inner False, MaybeOp on Just False. [sydtest-mutation-example]  wrapFalse :: Maybe Bool [sydtest-mutation-example] -wrapFalse = Just False [sydtest-mutation-example] +wrapFalse = Just True [sydtest-mutation-example]  [sydtest-mutation-example]  -- | Negates a wrapped boolean. [sydtest-mutation-example]  negateWrapped :: Maybe Bool -> Maybe Bool [sydtest-mutation-example] added mutation BoolLit at src/Example/BoolLib.hs:12:17-21 [sydtest-mutation-example] @@ -9,7 +9,7 @@ [sydtest-mutation-example]  -- [sydtest-mutation-example]  -- Mutation sites: BoolLit/ConstBool on the inner True, MaybeOp on Just True. [sydtest-mutation-example]  wrapTrue :: Maybe Bool [sydtest-mutation-example] -wrapTrue = Just True [sydtest-mutation-example] +wrapTrue = Just False [sydtest-mutation-example]  [sydtest-mutation-example]  -- | Wraps False in Just. [sydtest-mutation-example]  -- [sydtest-mutation-example] added 2 mutations [sydtest-mutation-example] [2 of 7] Compiling Example.ExceptionLib ( src/Example/ExceptionLib.hs, dist/build/Example/ExceptionLib.o, dist/build/Example/ExceptionLib.dyn_o ) [sydtest-mutation-example] [3 of 7] 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:25:32-33 [sydtest-mutation-example] @@ -22,4 +22,4 @@ [sydtest-mutation-example]  -- @{-# ANN addOneFunctionDisabled ("DisableMutations" :: String) #-}@. [sydtest-mutation-example]  {-# ANN addOneFunctionDisabled ("DisableMutations" :: String) #-} [sydtest-mutation-example]  addOneFunctionDisabled :: Int -> Int [sydtest-mutation-example] -addOneFunctionDisabled n = n + 1 [sydtest-mutation-example] +addOneFunctionDisabled n = n + 0 [sydtest-mutation-example] added mutation IntLit at src/Example/FunctionExceptionLib.hs:25:32-33 [sydtest-mutation-example] @@ -22,4 +22,4 @@ [sydtest-mutation-example]  -- @{-# ANN addOneFunctionDisabled ("DisableMutations" :: String) #-}@. [sydtest-mutation-example]  {-# ANN addOneFunctionDisabled ("DisableMutations" :: String) #-} [sydtest-mutation-example]  addOneFunctionDisabled :: Int -> Int [sydtest-mutation-example] -addOneFunctionDisabled n = n + 1 [sydtest-mutation-example] +addOneFunctionDisabled n = n + -1 [sydtest-mutation-example] added mutation IntLit at src/Example/FunctionExceptionLib.hs:19:38-39 [sydtest-mutation-example] @@ -16,7 +16,7 @@ [sydtest-mutation-example]  -- | Both Arith and IntLit mutations disabled on this function. [sydtest-mutation-example]  {-# ANN addOneArithAndIntLitDisabled ("DisableMutations: Arith, IntLit" :: String) #-} [sydtest-mutation-example]  addOneArithAndIntLitDisabled :: Int -> Int [sydtest-mutation-example] -addOneArithAndIntLitDisabled n = n + 1 [sydtest-mutation-example] +addOneArithAndIntLitDisabled n = n + 0 [sydtest-mutation-example]  [sydtest-mutation-example]  -- | All mutations disabled on this function via [sydtest-mutation-example]  -- @{-# ANN addOneFunctionDisabled ("DisableMutations" :: String) #-}@. [sydtest-mutation-example] added mutation IntLit at src/Example/FunctionExceptionLib.hs:19:38-39 [sydtest-mutation-example] @@ -16,7 +16,7 @@ [sydtest-mutation-example]  -- | Both Arith and IntLit mutations disabled on this function. [sydtest-mutation-example]  {-# ANN addOneArithAndIntLitDisabled ("DisableMutations: Arith, IntLit" :: String) #-} [sydtest-mutation-example]  addOneArithAndIntLitDisabled :: Int -> Int [sydtest-mutation-example] -addOneArithAndIntLitDisabled n = n + 1 [sydtest-mutation-example] +addOneArithAndIntLitDisabled n = n + -1 [sydtest-mutation-example]  [sydtest-mutation-example]  -- | All mutations disabled on this function via [sydtest-mutation-example]  -- @{-# ANN addOneFunctionDisabled ("DisableMutations" :: String) #-}@. [sydtest-mutation-example] added mutation IntLit at src/Example/FunctionExceptionLib.hs:14:29-30 [sydtest-mutation-example] @@ -11,7 +11,7 @@ [sydtest-mutation-example]  -- IntLit mutations (replacing the literal @1@) still apply. [sydtest-mutation-example]  {-# ANN addOneArithDisabled ("DisableMutation: Arith" :: String) #-} [sydtest-mutation-example]  addOneArithDisabled :: Int -> Int [sydtest-mutation-example] -addOneArithDisabled n = n + 1 [sydtest-mutation-example] +addOneArithDisabled n = n + 0 [sydtest-mutation-example]  [sydtest-mutation-example]  -- | Both Arith and IntLit mutations disabled on this function. [sydtest-mutation-example]  {-# ANN addOneArithAndIntLitDisabled ("DisableMutations: Arith, IntLit" :: String) #-} [sydtest-mutation-example] added mutation IntLit at src/Example/FunctionExceptionLib.hs:14:29-30 [sydtest-mutation-example] @@ -11,7 +11,7 @@ [sydtest-mutation-example]  -- IntLit mutations (replacing the literal @1@) still apply. [sydtest-mutation-example]  {-# ANN addOneArithDisabled ("DisableMutation: Arith" :: String) #-} [sydtest-mutation-example]  addOneArithDisabled :: Int -> Int [sydtest-mutation-example] -addOneArithDisabled n = n + 1 [sydtest-mutation-example] +addOneArithDisabled n = n + -1 [sydtest-mutation-example]  [sydtest-mutation-example]  -- | Both Arith and IntLit mutations disabled on this function. [sydtest-mutation-example]  {-# ANN addOneArithAndIntLitDisabled ("DisableMutations: Arith, IntLit" :: String) #-} [sydtest-mutation-example] added 6 mutations [sydtest-mutation-example] [4 of 7] Compiling Example.Lib ( src/Example/Lib.hs, dist/build/Example/Lib.o, dist/build/Example/Lib.dyn_o ) [sydtest-mutation-example] mutation: instrumenting Example.Lib [sydtest-mutation-example] added mutation IntLit at src/Example/Lib.hs:8:16-17 [sydtest-mutation-example] @@ -5,4 +5,4 @@ [sydtest-mutation-example]  -- The literal '1' here is a mutation site: the plugin will also compile a [sydtest-mutation-example]  -- version where this returns @n + 0@ instead of @n + 1@. [sydtest-mutation-example]  addOne :: Int -> Int [sydtest-mutation-example] -addOne n = n + 1 [sydtest-mutation-example] +addOne n = n + 0 [sydtest-mutation-example] added mutation IntLit at src/Example/Lib.hs:8:16-17 [sydtest-mutation-example] @@ -5,4 +5,4 @@ [sydtest-mutation-example]  -- The literal '1' here is a mutation site: the plugin will also compile a [sydtest-mutation-example]  -- version where this returns @n + 0@ instead of @n + 1@. [sydtest-mutation-example]  addOne :: Int -> Int [sydtest-mutation-example] -addOne n = n + 1 [sydtest-mutation-example] +addOne n = n + -1 [sydtest-mutation-example] added 2 mutations [sydtest-mutation-example] [5 of 7] Compiling Example.OtherwiseLib ( src/Example/OtherwiseLib.hs, dist/build/Example/OtherwiseLib.o, dist/build/Example/OtherwiseLib.dyn_o ) [sydtest-mutation-example] mutation: instrumenting Example.OtherwiseLib [sydtest-mutation-example] added mutation IntLit at src/Example/OtherwiseLib.hs:12:9-10 [sydtest-mutation-example] @@ -9,6 +9,6 @@ [sydtest-mutation-example]  -- (otherwise = True, so @otherwise -> True@ is a semantic no-op). [sydtest-mutation-example]  classify :: Int -> String [sydtest-mutation-example]  classify n [sydtest-mutation-example] - | n < 0 = "negative" [sydtest-mutation-example] + | n < 1 = "negative" [sydtest-mutation-example]  | n == 0 = "zero" [sydtest-mutation-example]  | otherwise = "positive" [sydtest-mutation-example] added mutation ConstBool at src/Example/OtherwiseLib.hs:12:5-10 [sydtest-mutation-example] @@ -9,6 +9,6 @@ [sydtest-mutation-example]  -- (otherwise = True, so @otherwise -> True@ is a semantic no-op). [sydtest-mutation-example]  classify :: Int -> String [sydtest-mutation-example]  classify n [sydtest-mutation-example] - | n < 0 = "negative" [sydtest-mutation-example] + | True = "negative" [sydtest-mutation-example]  | n == 0 = "zero" [sydtest-mutation-example]  | otherwise = "positive" [sydtest-mutation-example] added mutation Negate at src/Example/OtherwiseLib.hs:12:5-10 [sydtest-mutation-example] @@ -9,6 +9,6 @@ [sydtest-mutation-example]  -- (otherwise = True, so @otherwise -> True@ is a semantic no-op). [sydtest-mutation-example]  classify :: Int -> String [sydtest-mutation-example]  classify n [sydtest-mutation-example] - | n < 0 = "negative" [sydtest-mutation-example] + | not (n < 0) = "negative" [sydtest-mutation-example]  | n == 0 = "zero" [sydtest-mutation-example]  | otherwise = "positive" [sydtest-mutation-example] added mutation IntLit at src/Example/OtherwiseLib.hs:13:10-11 [sydtest-mutation-example] @@ -10,5 +10,5 @@ [sydtest-mutation-example]  classify :: Int -> String [sydtest-mutation-example]  classify n [sydtest-mutation-example]  | n < 0 = "negative" [sydtest-mutation-example] - | n == 0 = "zero" [sydtest-mutation-example] + | n == 1 = "zero" [sydtest-mutation-example]  | otherwise = "positive" [sydtest-mutation-example] added mutation ConstBool at src/Example/OtherwiseLib.hs:13:5-11 [sydtest-mutation-example] @@ -10,5 +10,5 @@ [sydtest-mutation-example]  classify :: Int -> String [sydtest-mutation-example]  classify n [sydtest-mutation-example]  | n < 0 = "negative" [sydtest-mutation-example] - | n == 0 = "zero" [sydtest-mutation-example] + | True = "zero" [sydtest-mutation-example]  | otherwise = "positive" [sydtest-mutation-example] added mutation Negate at src/Example/OtherwiseLib.hs:13:5-11 [sydtest-mutation-example] @@ -10,5 +10,5 @@ [sydtest-mutation-example]  classify :: Int -> String [sydtest-mutation-example]  classify n [sydtest-mutation-example]  | n < 0 = "negative" [sydtest-mutation-example] - | n == 0 = "zero" [sydtest-mutation-example] + | not (n == 0) = "zero" [sydtest-mutation-example]  | otherwise = "positive" [sydtest-mutation-example] added 6 mutations [sydtest-mutation-example] [6 of 7] 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 mutation IntLit at src/Example/UntestedLib.hs:8:24-25 [sydtest-mutation-example] @@ -5,4 +5,4 @@ [sydtest-mutation-example]  -- like: the mutation report will show @IntLit1To0@ for this module surviving [sydtest-mutation-example]  -- because no test exercises it. [sydtest-mutation-example]  addOneUntested :: Int -> Int [sydtest-mutation-example] -addOneUntested n = n + 1 [sydtest-mutation-example] +addOneUntested n = n + 0 [sydtest-mutation-example] added mutation IntLit at src/Example/UntestedLib.hs:8:24-25 [sydtest-mutation-example] @@ -5,4 +5,4 @@ [sydtest-mutation-example]  -- like: the mutation report will show @IntLit1To0@ for this module surviving [sydtest-mutation-example]  -- because no test exercises it. [sydtest-mutation-example]  addOneUntested :: Int -> Int [sydtest-mutation-example] -addOneUntested n = n + 1 [sydtest-mutation-example] +addOneUntested n = n + -1 [sydtest-mutation-example] added 2 mutations [sydtest-mutation-example] [7 of 7] 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 7] Compiling Example.BoolLib ( src/Example/BoolLib.hs, dist/build/Example/BoolLib.p_o ) [sydtest-mutation-example] mutation: instrumenting Example.BoolLib [sydtest-mutation-example] added mutation BoolLit at src/Example/BoolLib.hs:18:18-23 [sydtest-mutation-example] @@ -15,7 +15,7 @@ [sydtest-mutation-example]  -- [sydtest-mutation-example]  -- Mutation sites: BoolLit/ConstBool on the inner False, MaybeOp on Just False. [sydtest-mutation-example]  wrapFalse :: Maybe Bool [sydtest-mutation-example] -wrapFalse = Just False [sydtest-mutation-example] +wrapFalse = Just True [sydtest-mutation-example]  [sydtest-mutation-example]  -- | Negates a wrapped boolean. [sydtest-mutation-example]  negateWrapped :: Maybe Bool -> Maybe Bool [sydtest-mutation-example] added mutation BoolLit at src/Example/BoolLib.hs:12:17-21 [sydtest-mutation-example] @@ -9,7 +9,7 @@ [sydtest-mutation-example]  -- [sydtest-mutation-example]  -- Mutation sites: BoolLit/ConstBool on the inner True, MaybeOp on Just True. [sydtest-mutation-example]  wrapTrue :: Maybe Bool [sydtest-mutation-example] -wrapTrue = Just True [sydtest-mutation-example] +wrapTrue = Just False [sydtest-mutation-example]  [sydtest-mutation-example]  -- | Wraps False in Just. [sydtest-mutation-example]  -- [sydtest-mutation-example] added 2 mutations [sydtest-mutation-example] [2 of 7] Compiling Example.ExceptionLib ( src/Example/ExceptionLib.hs, dist/build/Example/ExceptionLib.p_o ) [sydtest-mutation-example] [3 of 7] 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:25:32-33 [sydtest-mutation-example] @@ -22,4 +22,4 @@ [sydtest-mutation-example]  -- @{-# ANN addOneFunctionDisabled ("DisableMutations" :: String) #-}@. [sydtest-mutation-example]  {-# ANN addOneFunctionDisabled ("DisableMutations" :: String) #-} [sydtest-mutation-example]  addOneFunctionDisabled :: Int -> Int [sydtest-mutation-example] -addOneFunctionDisabled n = n + 1 [sydtest-mutation-example] +addOneFunctionDisabled n = n + 0 [sydtest-mutation-example] added mutation IntLit at src/Example/FunctionExceptionLib.hs:25:32-33 [sydtest-mutation-example] @@ -22,4 +22,4 @@ [sydtest-mutation-example]  -- @{-# ANN addOneFunctionDisabled ("DisableMutations" :: String) #-}@. [sydtest-mutation-example]  {-# ANN addOneFunctionDisabled ("DisableMutations" :: String) #-} [sydtest-mutation-example]  addOneFunctionDisabled :: Int -> Int [sydtest-mutation-example] -addOneFunctionDisabled n = n + 1 [sydtest-mutation-example] +addOneFunctionDisabled n = n + -1 [sydtest-mutation-example] added mutation IntLit at src/Example/FunctionExceptionLib.hs:19:38-39 [sydtest-mutation-example] @@ -16,7 +16,7 @@ [sydtest-mutation-example]  -- | Both Arith and IntLit mutations disabled on this function. [sydtest-mutation-example]  {-# ANN addOneArithAndIntLitDisabled ("DisableMutations: Arith, IntLit" :: String) #-} [sydtest-mutation-example]  addOneArithAndIntLitDisabled :: Int -> Int [sydtest-mutation-example] -addOneArithAndIntLitDisabled n = n + 1 [sydtest-mutation-example] +addOneArithAndIntLitDisabled n = n + 0 [sydtest-mutation-example]  [sydtest-mutation-example]  -- | All mutations disabled on this function via [sydtest-mutation-example]  -- @{-# ANN addOneFunctionDisabled ("DisableMutations" :: String) #-}@. [sydtest-mutation-example] added mutation IntLit at src/Example/FunctionExceptionLib.hs:19:38-39 [sydtest-mutation-example] @@ -16,7 +16,7 @@ [sydtest-mutation-example]  -- | Both Arith and IntLit mutations disabled on this function. [sydtest-mutation-example]  {-# ANN addOneArithAndIntLitDisabled ("DisableMutations: Arith, IntLit" :: String) #-} [sydtest-mutation-example]  addOneArithAndIntLitDisabled :: Int -> Int [sydtest-mutation-example] -addOneArithAndIntLitDisabled n = n + 1 [sydtest-mutation-example] +addOneArithAndIntLitDisabled n = n + -1 [sydtest-mutation-example]  [sydtest-mutation-example]  -- | All mutations disabled on this function via [sydtest-mutation-example]  -- @{-# ANN addOneFunctionDisabled ("DisableMutations" :: String) #-}@. [sydtest-mutation-example] added mutation IntLit at src/Example/FunctionExceptionLib.hs:14:29-30 [sydtest-mutation-example] @@ -11,7 +11,7 @@ [sydtest-mutation-example]  -- IntLit mutations (replacing the literal @1@) still apply. [sydtest-mutation-example]  {-# ANN addOneArithDisabled ("DisableMutation: Arith" :: String) #-} [sydtest-mutation-example]  addOneArithDisabled :: Int -> Int [sydtest-mutation-example] -addOneArithDisabled n = n + 1 [sydtest-mutation-example] +addOneArithDisabled n = n + 0 [sydtest-mutation-example]  [sydtest-mutation-example]  -- | Both Arith and IntLit mutations disabled on this function. [sydtest-mutation-example]  {-# ANN addOneArithAndIntLitDisabled ("DisableMutations: Arith, IntLit" :: String) #-} [sydtest-mutation-example] added mutation IntLit at src/Example/FunctionExceptionLib.hs:14:29-30 [sydtest-mutation-example] @@ -11,7 +11,7 @@ [sydtest-mutation-example]  -- IntLit mutations (replacing the literal @1@) still apply. [sydtest-mutation-example]  {-# ANN addOneArithDisabled ("DisableMutation: Arith" :: String) #-} [sydtest-mutation-example]  addOneArithDisabled :: Int -> Int [sydtest-mutation-example] -addOneArithDisabled n = n + 1 [sydtest-mutation-example] +addOneArithDisabled n = n + -1 [sydtest-mutation-example]  [sydtest-mutation-example]  -- | Both Arith and IntLit mutations disabled on this function. [sydtest-mutation-example]  {-# ANN addOneArithAndIntLitDisabled ("DisableMutations: Arith, IntLit" :: String) #-} [sydtest-mutation-example] added 6 mutations [sydtest-mutation-example] [4 of 7] Compiling Example.Lib ( src/Example/Lib.hs, dist/build/Example/Lib.p_o ) [sydtest-mutation-example] mutation: instrumenting Example.Lib [sydtest-mutation-example] added mutation IntLit at src/Example/Lib.hs:8:16-17 [sydtest-mutation-example] @@ -5,4 +5,4 @@ [sydtest-mutation-example]  -- The literal '1' here is a mutation site: the plugin will also compile a [sydtest-mutation-example]  -- version where this returns @n + 0@ instead of @n + 1@. [sydtest-mutation-example]  addOne :: Int -> Int [sydtest-mutation-example] -addOne n = n + 1 [sydtest-mutation-example] +addOne n = n + 0 [sydtest-mutation-example] added mutation IntLit at src/Example/Lib.hs:8:16-17 [sydtest-mutation-example] @@ -5,4 +5,4 @@ [sydtest-mutation-example]  -- The literal '1' here is a mutation site: the plugin will also compile a [sydtest-mutation-example]  -- version where this returns @n + 0@ instead of @n + 1@. [sydtest-mutation-example]  addOne :: Int -> Int [sydtest-mutation-example] -addOne n = n + 1 [sydtest-mutation-example] +addOne n = n + -1 [sydtest-mutation-example] added 2 mutations [sydtest-mutation-example] [5 of 7] Compiling Example.OtherwiseLib ( src/Example/OtherwiseLib.hs, dist/build/Example/OtherwiseLib.p_o ) [sydtest-mutation-example] mutation: instrumenting Example.OtherwiseLib [sydtest-mutation-example] added mutation IntLit at src/Example/OtherwiseLib.hs:12:9-10 [sydtest-mutation-example] @@ -9,6 +9,6 @@ [sydtest-mutation-example]  -- (otherwise = True, so @otherwise -> True@ is a semantic no-op). [sydtest-mutation-example]  classify :: Int -> String [sydtest-mutation-example]  classify n [sydtest-mutation-example] - | n < 0 = "negative" [sydtest-mutation-example] + | n < 1 = "negative" [sydtest-mutation-example]  | n == 0 = "zero" [sydtest-mutation-example]  | otherwise = "positive" [sydtest-mutation-example] added mutation ConstBool at src/Example/OtherwiseLib.hs:12:5-10 [sydtest-mutation-example] @@ -9,6 +9,6 @@ [sydtest-mutation-example]  -- (otherwise = True, so @otherwise -> True@ is a semantic no-op). [sydtest-mutation-example]  classify :: Int -> String [sydtest-mutation-example]  classify n [sydtest-mutation-example] - | n < 0 = "negative" [sydtest-mutation-example] + | True = "negative" [sydtest-mutation-example]  | n == 0 = "zero" [sydtest-mutation-example]  | otherwise = "positive" [sydtest-mutation-example] added mutation Negate at src/Example/OtherwiseLib.hs:12:5-10 [sydtest-mutation-example] @@ -9,6 +9,6 @@ [sydtest-mutation-example]  -- (otherwise = True, so @otherwise -> True@ is a semantic no-op). [sydtest-mutation-example]  classify :: Int -> String [sydtest-mutation-example]  classify n [sydtest-mutation-example] - | n < 0 = "negative" [sydtest-mutation-example] + | not (n < 0) = "negative" [sydtest-mutation-example]  | n == 0 = "zero" [sydtest-mutation-example]  | otherwise = "positive" [sydtest-mutation-example] added mutation IntLit at src/Example/OtherwiseLib.hs:13:10-11 [sydtest-mutation-example] @@ -10,5 +10,5 @@ [sydtest-mutation-example]  classify :: Int -> String [sydtest-mutation-example]  classify n [sydtest-mutation-example]  | n < 0 = "negative" [sydtest-mutation-example] - | n == 0 = "zero" [sydtest-mutation-example] + | n == 1 = "zero" [sydtest-mutation-example]  | otherwise = "positive" [sydtest-mutation-example] added mutation ConstBool at src/Example/OtherwiseLib.hs:13:5-11 [sydtest-mutation-example] @@ -10,5 +10,5 @@ [sydtest-mutation-example]  classify :: Int -> String [sydtest-mutation-example]  classify n [sydtest-mutation-example]  | n < 0 = "negative" [sydtest-mutation-example] - | n == 0 = "zero" [sydtest-mutation-example] + | True = "zero" [sydtest-mutation-example]  | otherwise = "positive" [sydtest-mutation-example] added mutation Negate at src/Example/OtherwiseLib.hs:13:5-11 [sydtest-mutation-example] @@ -10,5 +10,5 @@ [sydtest-mutation-example]  classify :: Int -> String [sydtest-mutation-example]  classify n [sydtest-mutation-example]  | n < 0 = "negative" [sydtest-mutation-example] - | n == 0 = "zero" [sydtest-mutation-example] + | not (n == 0) = "zero" [sydtest-mutation-example]  | otherwise = "positive" [sydtest-mutation-example] added 6 mutations [sydtest-mutation-example] [6 of 7] Compiling Example.UntestedLib ( src/Example/UntestedLib.hs, dist/build/Example/UntestedLib.p_o ) [sydtest-mutation-example] mutation: instrumenting Example.UntestedLib [sydtest-mutation-example] added mutation IntLit at src/Example/UntestedLib.hs:8:24-25 [sydtest-mutation-example] @@ -5,4 +5,4 @@ [sydtest-mutation-example]  -- like: the mutation report will show @IntLit1To0@ for this module surviving [sydtest-mutation-example]  -- because no test exercises it. [sydtest-mutation-example]  addOneUntested :: Int -> Int [sydtest-mutation-example] -addOneUntested n = n + 1 [sydtest-mutation-example] +addOneUntested n = n + 0 [sydtest-mutation-example] added mutation IntLit at src/Example/UntestedLib.hs:8:24-25 [sydtest-mutation-example] @@ -5,4 +5,4 @@ [sydtest-mutation-example]  -- like: the mutation report will show @IntLit1To0@ for this module surviving [sydtest-mutation-example]  -- because no test exercises it. [sydtest-mutation-example]  addOneUntested :: Int -> Int [sydtest-mutation-example] -addOneUntested n = n + 1 [sydtest-mutation-example] +addOneUntested n = n + -1 [sydtest-mutation-example] added 2 mutations [sydtest-mutation-example] [7 of 7] 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/ExceptionLib.dyn_o' [sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/FunctionExceptionLib.dyn_o' [sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/Lib.dyn_o' [sydtest-mutation-example] Warning: ignoring unrecognised input `dist/build/Example/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] Preprocessing test suite 'sydtest-mutation-example-test' for sydtest-mutation-example-0.0.0.0... [sydtest-mutation-example] Building test suite 'sydtest-mutation-example-test' for sydtest-mutation-example-0.0.0.0... [sydtest-mutation-example] [1 of 6] Compiling Example.BoolLibSpec ( test/Example/BoolLibSpec.hs, dist/build/sydtest-mutation-example-test/sydtest-mutation-example-test-tmp/Example/BoolLibSpec.o ) [sydtest-mutation-example] mutation: instrumenting Example.BoolLibSpec [sydtest-mutation-example] added mutation BoolLit at test/Example/BoolLibSpec.hs:10:32-36 [sydtest-mutation-example] @@ -7,7 +7,7 @@ [sydtest-mutation-example]  spec = do [sydtest-mutation-example]  describe "wrapTrue" $ [sydtest-mutation-example]  it "is Just True" $ [sydtest-mutation-example] - wrapTrue `shouldBe` Just True [sydtest-mutation-example] + wrapTrue `shouldBe` Just False [sydtest-mutation-example]  [sydtest-mutation-example]  describe "wrapFalse" $ [sydtest-mutation-example]  it "is Just False" $ [sydtest-mutation-example] added mutation BoolLit at test/Example/BoolLibSpec.hs:14:33-38 [sydtest-mutation-example] @@ -11,7 +11,7 @@ [sydtest-mutation-example]  [sydtest-mutation-example]  describe "wrapFalse" $ [sydtest-mutation-example]  it "is Just False" $ [sydtest-mutation-example] - wrapFalse `shouldBe` Just False [sydtest-mutation-example] + wrapFalse `shouldBe` Just True [sydtest-mutation-example]  [sydtest-mutation-example]  describe "negateWrapped" $ do [sydtest-mutation-example]  it "negates Just True to Just False" $ [sydtest-mutation-example] added mutation BoolLit at test/Example/BoolLibSpec.hs:18:27-31 [sydtest-mutation-example] @@ -15,7 +15,7 @@ [sydtest-mutation-example]  [sydtest-mutation-example]  describe "negateWrapped" $ do [sydtest-mutation-example]  it "negates Just True to Just False" $ [sydtest-mutation-example] - negateWrapped (Just True) `shouldBe` Just False [sydtest-mutation-example] + negateWrapped (Just False) `shouldBe` Just False [sydtest-mutation-example]  it "negates Just False to Just True" $ [sydtest-mutation-example]  negateWrapped (Just False) `shouldBe` Just True [sydtest-mutation-example]  it "leaves Nothing as Nothing" $ [sydtest-mutation-example] added mutation BoolLit at test/Example/BoolLibSpec.hs:18:49-54 [sydtest-mutation-example] @@ -15,7 +15,7 @@ [sydtest-mutation-example]  [sydtest-mutation-example]  describe "negateWrapped" $ do [sydtest-mutation-example]  it "negates Just True to Just False" $ [sydtest-mutation-example] - negateWrapped (Just True) `shouldBe` Just False [sydtest-mutation-example] + negateWrapped (Just True) `shouldBe` Just True [sydtest-mutation-example]  it "negates Just False to Just True" $ [sydtest-mutation-example]  negateWrapped (Just False) `shouldBe` Just True [sydtest-mutation-example]  it "leaves Nothing as Nothing" $ [sydtest-mutation-example] added mutation BoolLit at test/Example/BoolLibSpec.hs:20:27-32 [sydtest-mutation-example] @@ -17,6 +17,6 @@ [sydtest-mutation-example]  it "negates Just True to Just False" $ [sydtest-mutation-example]  negateWrapped (Just True) `shouldBe` Just False [sydtest-mutation-example]  it "negates Just False to Just True" $ [sydtest-mutation-example] - negateWrapped (Just False) `shouldBe` Just True [sydtest-mutation-example] + negateWrapped (Just True) `shouldBe` Just True [sydtest-mutation-example]  it "leaves Nothing as Nothing" $ [sydtest-mutation-example]  negateWrapped Nothing `shouldBe` Nothing [sydtest-mutation-example] added mutation BoolLit at test/Example/BoolLibSpec.hs:20:50-54 [sydtest-mutation-example] @@ -17,6 +17,6 @@ [sydtest-mutation-example]  it "negates Just True to Just False" $ [sydtest-mutation-example]  negateWrapped (Just True) `shouldBe` Just False [sydtest-mutation-example]  it "negates Just False to Just True" $ [sydtest-mutation-example] - negateWrapped (Just False) `shouldBe` Just True [sydtest-mutation-example] + negateWrapped (Just False) `shouldBe` Just False [sydtest-mutation-example]  it "leaves Nothing as Nothing" $ [sydtest-mutation-example]  negateWrapped Nothing `shouldBe` Nothing [sydtest-mutation-example] added 6 mutations [sydtest-mutation-example] [2 of 6] Compiling Example.LibSpec ( test/Example/LibSpec.hs, dist/build/sydtest-mutation-example-test/sydtest-mutation-example-test-tmp/Example/LibSpec.o ) [sydtest-mutation-example] mutation: instrumenting Example.LibSpec [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:10:14-15 [sydtest-mutation-example] @@ -7,6 +7,6 @@ [sydtest-mutation-example]  spec = do [sydtest-mutation-example]  describe "addOne" $ do [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example] - addOne 1 `shouldBe` 2 [sydtest-mutation-example] + addOne 0 `shouldBe` 2 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example]  addOne 5 `shouldBe` 6 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:10:14-15 [sydtest-mutation-example] @@ -7,6 +7,6 @@ [sydtest-mutation-example]  spec = do [sydtest-mutation-example]  describe "addOne" $ do [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example] - addOne 1 `shouldBe` 2 [sydtest-mutation-example] + addOne -1 `shouldBe` 2 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example]  addOne 5 `shouldBe` 6 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:10:27-28 [sydtest-mutation-example] @@ -7,6 +7,6 @@ [sydtest-mutation-example]  spec = do [sydtest-mutation-example]  describe "addOne" $ do [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example] - addOne 1 `shouldBe` 2 [sydtest-mutation-example] + addOne 1 `shouldBe` 0 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example]  addOne 5 `shouldBe` 6 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:10:27-28 [sydtest-mutation-example] @@ -7,6 +7,6 @@ [sydtest-mutation-example]  spec = do [sydtest-mutation-example]  describe "addOne" $ do [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example] - addOne 1 `shouldBe` 2 [sydtest-mutation-example] + addOne 1 `shouldBe` 1 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example]  addOne 5 `shouldBe` 6 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:10:27-28 [sydtest-mutation-example] @@ -7,6 +7,6 @@ [sydtest-mutation-example]  spec = do [sydtest-mutation-example]  describe "addOne" $ do [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example] - addOne 1 `shouldBe` 2 [sydtest-mutation-example] + addOne 1 `shouldBe` -2 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example]  addOne 5 `shouldBe` 6 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:12:14-15 [sydtest-mutation-example] @@ -9,4 +9,4 @@ [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example]  addOne 1 `shouldBe` 2 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example] - addOne 5 `shouldBe` 6 [sydtest-mutation-example] + addOne 0 `shouldBe` 6 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:12:14-15 [sydtest-mutation-example] @@ -9,4 +9,4 @@ [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example]  addOne 1 `shouldBe` 2 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example] - addOne 5 `shouldBe` 6 [sydtest-mutation-example] + addOne 1 `shouldBe` 6 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:12:14-15 [sydtest-mutation-example] @@ -9,4 +9,4 @@ [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example]  addOne 1 `shouldBe` 2 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example] - addOne 5 `shouldBe` 6 [sydtest-mutation-example] + addOne -5 `shouldBe` 6 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:12:27-28 [sydtest-mutation-example] @@ -9,4 +9,4 @@ [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example]  addOne 1 `shouldBe` 2 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example] - addOne 5 `shouldBe` 6 [sydtest-mutation-example] + addOne 5 `shouldBe` 0 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:12:27-28 [sydtest-mutation-example] @@ -9,4 +9,4 @@ [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example]  addOne 1 `shouldBe` 2 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example] - addOne 5 `shouldBe` 6 [sydtest-mutation-example] + addOne 5 `shouldBe` 1 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:12:27-28 [sydtest-mutation-example] @@ -9,4 +9,4 @@ [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example]  addOne 1 `shouldBe` 2 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example] - addOne 5 `shouldBe` 6 [sydtest-mutation-example] + addOne 5 `shouldBe` -6 [sydtest-mutation-example] added 11 mutations [sydtest-mutation-example] [3 of 6] Compiling Example.OtherwiseLibSpec ( test/Example/OtherwiseLibSpec.hs, dist/build/sydtest-mutation-example-test/sydtest-mutation-example-test-tmp/Example/OtherwiseLibSpec.o ) [sydtest-mutation-example] mutation: instrumenting Example.OtherwiseLibSpec [sydtest-mutation-example] added mutation IntLit at test/Example/OtherwiseLibSpec.hs:10:18-19 [sydtest-mutation-example] @@ -7,7 +7,7 @@ [sydtest-mutation-example]  spec = [sydtest-mutation-example]  describe "classify" $ do [sydtest-mutation-example]  it "classifies negative numbers" $ [sydtest-mutation-example] - classify (-1) `shouldBe` "negative" [sydtest-mutation-example] + classify (-0) `shouldBe` "negative" [sydtest-mutation-example]  it "classifies zero" $ [sydtest-mutation-example]  classify 0 `shouldBe` "zero" [sydtest-mutation-example]  it "classifies positive numbers" $ [sydtest-mutation-example] added mutation IntLit at test/Example/OtherwiseLibSpec.hs:10:18-19 [sydtest-mutation-example] @@ -7,7 +7,7 @@ [sydtest-mutation-example]  spec = [sydtest-mutation-example]  describe "classify" $ do [sydtest-mutation-example]  it "classifies negative numbers" $ [sydtest-mutation-example] - classify (-1) `shouldBe` "negative" [sydtest-mutation-example] + classify (--1) `shouldBe` "negative" [sydtest-mutation-example]  it "classifies zero" $ [sydtest-mutation-example]  classify 0 `shouldBe` "zero" [sydtest-mutation-example]  it "classifies positive numbers" $ [sydtest-mutation-example] added mutation IntLit at test/Example/OtherwiseLibSpec.hs:12:16-17 [sydtest-mutation-example] @@ -9,6 +9,6 @@ [sydtest-mutation-example]  it "classifies negative numbers" $ [sydtest-mutation-example]  classify (-1) `shouldBe` "negative" [sydtest-mutation-example]  it "classifies zero" $ [sydtest-mutation-example] - classify 0 `shouldBe` "zero" [sydtest-mutation-example] + classify 1 `shouldBe` "zero" [sydtest-mutation-example]  it "classifies positive numbers" $ [sydtest-mutation-example]  classify 1 `shouldBe` "positive" [sydtest-mutation-example] added mutation IntLit at test/Example/OtherwiseLibSpec.hs:14:16-17 [sydtest-mutation-example] @@ -11,4 +11,4 @@ [sydtest-mutation-example]  it "classifies zero" $ [sydtest-mutation-example]  classify 0 `shouldBe` "zero" [sydtest-mutation-example]  it "classifies positive numbers" $ [sydtest-mutation-example] - classify 1 `shouldBe` "positive" [sydtest-mutation-example] + classify 0 `shouldBe` "positive" [sydtest-mutation-example] added mutation IntLit at test/Example/OtherwiseLibSpec.hs:14:16-17 [sydtest-mutation-example] @@ -11,4 +11,4 @@ [sydtest-mutation-example]  it "classifies zero" $ [sydtest-mutation-example]  classify 0 `shouldBe` "zero" [sydtest-mutation-example]  it "classifies positive numbers" $ [sydtest-mutation-example] - classify 1 `shouldBe` "positive" [sydtest-mutation-example] + classify -1 `shouldBe` "positive" [sydtest-mutation-example] added 5 mutations [sydtest-mutation-example] [4 of 6] Compiling Paths_sydtest_mutation_example ( dist/build/sydtest-mutation-example-test/autogen/Paths_sydtest_mutation_example.hs, dist/build/sydtest-mutation-example-test/sydtest-mutation-example-test-tmp/Paths_sydtest_mutation_example.o ) [sydtest-mutation-example] [5 of 6] Compiling Spec ( test/Spec.hs, dist/build/sydtest-mutation-example-test/sydtest-mutation-example-test-tmp/Spec.o ) [sydtest-mutation-example] mutation: instrumenting Spec [sydtest-mutation-example] added 0 mutations [sydtest-mutation-example] [6 of 6] Compiling Main ( test/Main.hs, dist/build/sydtest-mutation-example-test/sydtest-mutation-example-test-tmp/Main.o ) [sydtest-mutation-example] mutation: instrumenting Main [sydtest-mutation-example] added 0 mutations [sydtest-mutation-example] [1 of 7] Compiling Example.BoolLibSpec ( test/Example/BoolLibSpec.hs, dist/build/sydtest-mutation-example-test/sydtest-mutation-example-test-tmp/Example/BoolLibSpec.o ) [Impure plugin forced recompilation] [sydtest-mutation-example] mutation: instrumenting Example.BoolLibSpec [sydtest-mutation-example] added mutation BoolLit at test/Example/BoolLibSpec.hs:10:32-36 [sydtest-mutation-example] @@ -7,7 +7,7 @@ [sydtest-mutation-example]  spec = do [sydtest-mutation-example]  describe "wrapTrue" $ [sydtest-mutation-example]  it "is Just True" $ [sydtest-mutation-example] - wrapTrue `shouldBe` Just True [sydtest-mutation-example] + wrapTrue `shouldBe` Just False [sydtest-mutation-example]  [sydtest-mutation-example]  describe "wrapFalse" $ [sydtest-mutation-example]  it "is Just False" $ [sydtest-mutation-example] added mutation BoolLit at test/Example/BoolLibSpec.hs:14:33-38 [sydtest-mutation-example] @@ -11,7 +11,7 @@ [sydtest-mutation-example]  [sydtest-mutation-example]  describe "wrapFalse" $ [sydtest-mutation-example]  it "is Just False" $ [sydtest-mutation-example] - wrapFalse `shouldBe` Just False [sydtest-mutation-example] + wrapFalse `shouldBe` Just True [sydtest-mutation-example]  [sydtest-mutation-example]  describe "negateWrapped" $ do [sydtest-mutation-example]  it "negates Just True to Just False" $ [sydtest-mutation-example] added mutation BoolLit at test/Example/BoolLibSpec.hs:18:27-31 [sydtest-mutation-example] @@ -15,7 +15,7 @@ [sydtest-mutation-example]  [sydtest-mutation-example]  describe "negateWrapped" $ do [sydtest-mutation-example]  it "negates Just True to Just False" $ [sydtest-mutation-example] - negateWrapped (Just True) `shouldBe` Just False [sydtest-mutation-example] + negateWrapped (Just False) `shouldBe` Just False [sydtest-mutation-example]  it "negates Just False to Just True" $ [sydtest-mutation-example]  negateWrapped (Just False) `shouldBe` Just True [sydtest-mutation-example]  it "leaves Nothing as Nothing" $ [sydtest-mutation-example] added mutation BoolLit at test/Example/BoolLibSpec.hs:18:49-54 [sydtest-mutation-example] @@ -15,7 +15,7 @@ [sydtest-mutation-example]  [sydtest-mutation-example]  describe "negateWrapped" $ do [sydtest-mutation-example]  it "negates Just True to Just False" $ [sydtest-mutation-example] - negateWrapped (Just True) `shouldBe` Just False [sydtest-mutation-example] + negateWrapped (Just True) `shouldBe` Just True [sydtest-mutation-example]  it "negates Just False to Just True" $ [sydtest-mutation-example]  negateWrapped (Just False) `shouldBe` Just True [sydtest-mutation-example]  it "leaves Nothing as Nothing" $ [sydtest-mutation-example] added mutation BoolLit at test/Example/BoolLibSpec.hs:20:27-32 [sydtest-mutation-example] @@ -17,6 +17,6 @@ [sydtest-mutation-example]  it "negates Just True to Just False" $ [sydtest-mutation-example]  negateWrapped (Just True) `shouldBe` Just False [sydtest-mutation-example]  it "negates Just False to Just True" $ [sydtest-mutation-example] - negateWrapped (Just False) `shouldBe` Just True [sydtest-mutation-example] + negateWrapped (Just True) `shouldBe` Just True [sydtest-mutation-example]  it "leaves Nothing as Nothing" $ [sydtest-mutation-example]  negateWrapped Nothing `shouldBe` Nothing [sydtest-mutation-example] added mutation BoolLit at test/Example/BoolLibSpec.hs:20:50-54 [sydtest-mutation-example] @@ -17,6 +17,6 @@ [sydtest-mutation-example]  it "negates Just True to Just False" $ [sydtest-mutation-example]  negateWrapped (Just True) `shouldBe` Just False [sydtest-mutation-example]  it "negates Just False to Just True" $ [sydtest-mutation-example] - negateWrapped (Just False) `shouldBe` Just True [sydtest-mutation-example] + negateWrapped (Just False) `shouldBe` Just False [sydtest-mutation-example]  it "leaves Nothing as Nothing" $ [sydtest-mutation-example]  negateWrapped Nothing `shouldBe` Nothing [sydtest-mutation-example] added 6 mutations [sydtest-mutation-example] [2 of 7] Compiling Example.LibSpec ( test/Example/LibSpec.hs, dist/build/sydtest-mutation-example-test/sydtest-mutation-example-test-tmp/Example/LibSpec.o ) [Impure plugin forced recompilation] [sydtest-mutation-example] mutation: instrumenting Example.LibSpec [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:10:14-15 [sydtest-mutation-example] @@ -7,6 +7,6 @@ [sydtest-mutation-example]  spec = do [sydtest-mutation-example]  describe "addOne" $ do [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example] - addOne 1 `shouldBe` 2 [sydtest-mutation-example] + addOne 0 `shouldBe` 2 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example]  addOne 5 `shouldBe` 6 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:10:14-15 [sydtest-mutation-example] @@ -7,6 +7,6 @@ [sydtest-mutation-example]  spec = do [sydtest-mutation-example]  describe "addOne" $ do [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example] - addOne 1 `shouldBe` 2 [sydtest-mutation-example] + addOne -1 `shouldBe` 2 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example]  addOne 5 `shouldBe` 6 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:10:27-28 [sydtest-mutation-example] @@ -7,6 +7,6 @@ [sydtest-mutation-example]  spec = do [sydtest-mutation-example]  describe "addOne" $ do [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example] - addOne 1 `shouldBe` 2 [sydtest-mutation-example] + addOne 1 `shouldBe` 0 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example]  addOne 5 `shouldBe` 6 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:10:27-28 [sydtest-mutation-example] @@ -7,6 +7,6 @@ [sydtest-mutation-example]  spec = do [sydtest-mutation-example]  describe "addOne" $ do [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example] - addOne 1 `shouldBe` 2 [sydtest-mutation-example] + addOne 1 `shouldBe` 1 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example]  addOne 5 `shouldBe` 6 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:10:27-28 [sydtest-mutation-example] @@ -7,6 +7,6 @@ [sydtest-mutation-example]  spec = do [sydtest-mutation-example]  describe "addOne" $ do [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example] - addOne 1 `shouldBe` 2 [sydtest-mutation-example] + addOne 1 `shouldBe` -2 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example]  addOne 5 `shouldBe` 6 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:12:14-15 [sydtest-mutation-example] @@ -9,4 +9,4 @@ [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example]  addOne 1 `shouldBe` 2 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example] - addOne 5 `shouldBe` 6 [sydtest-mutation-example] + addOne 0 `shouldBe` 6 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:12:14-15 [sydtest-mutation-example] @@ -9,4 +9,4 @@ [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example]  addOne 1 `shouldBe` 2 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example] - addOne 5 `shouldBe` 6 [sydtest-mutation-example] + addOne 1 `shouldBe` 6 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:12:14-15 [sydtest-mutation-example] @@ -9,4 +9,4 @@ [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example]  addOne 1 `shouldBe` 2 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example] - addOne 5 `shouldBe` 6 [sydtest-mutation-example] + addOne -5 `shouldBe` 6 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:12:27-28 [sydtest-mutation-example] @@ -9,4 +9,4 @@ [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example]  addOne 1 `shouldBe` 2 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example] - addOne 5 `shouldBe` 6 [sydtest-mutation-example] + addOne 5 `shouldBe` 0 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:12:27-28 [sydtest-mutation-example] @@ -9,4 +9,4 @@ [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example]  addOne 1 `shouldBe` 2 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example] - addOne 5 `shouldBe` 6 [sydtest-mutation-example] + addOne 5 `shouldBe` 1 [sydtest-mutation-example] added mutation IntLit at test/Example/LibSpec.hs:12:27-28 [sydtest-mutation-example] @@ -9,4 +9,4 @@ [sydtest-mutation-example]  it "returns 2 for input 1" $ [sydtest-mutation-example]  addOne 1 `shouldBe` 2 [sydtest-mutation-example]  it "returns 6 for input 5" $ [sydtest-mutation-example] - addOne 5 `shouldBe` 6 [sydtest-mutation-example] + addOne 5 `shouldBe` -6 [sydtest-mutation-example] added 11 mutations [sydtest-mutation-example] [3 of 7] Compiling Example.OtherwiseLibSpec ( test/Example/OtherwiseLibSpec.hs, dist/build/sydtest-mutation-example-test/sydtest-mutation-example-test-tmp/Example/OtherwiseLibSpec.o ) [Impure plugin forced recompilation] [sydtest-mutation-example] mutation: instrumenting Example.OtherwiseLibSpec [sydtest-mutation-example] added mutation IntLit at test/Example/OtherwiseLibSpec.hs:10:18-19 [sydtest-mutation-example] @@ -7,7 +7,7 @@ [sydtest-mutation-example]  spec = [sydtest-mutation-example]  describe "classify" $ do [sydtest-mutation-example]  it "classifies negative numbers" $ [sydtest-mutation-example] - classify (-1) `shouldBe` "negative" [sydtest-mutation-example] + classify (-0) `shouldBe` "negative" [sydtest-mutation-example]  it "classifies zero" $ [sydtest-mutation-example]  classify 0 `shouldBe` "zero" [sydtest-mutation-example]  it "classifies positive numbers" $ [sydtest-mutation-example] added mutation IntLit at test/Example/OtherwiseLibSpec.hs:10:18-19 [sydtest-mutation-example] @@ -7,7 +7,7 @@ [sydtest-mutation-example]  spec = [sydtest-mutation-example]  describe "classify" $ do [sydtest-mutation-example]  it "classifies negative numbers" $ [sydtest-mutation-example] - classify (-1) `shouldBe` "negative" [sydtest-mutation-example] + classify (--1) `shouldBe` "negative" [sydtest-mutation-example]  it "classifies zero" $ [sydtest-mutation-example]  classify 0 `shouldBe` "zero" [sydtest-mutation-example]  it "classifies positive numbers" $ [sydtest-mutation-example] added mutation IntLit at test/Example/OtherwiseLibSpec.hs:12:16-17 [sydtest-mutation-example] @@ -9,6 +9,6 @@ [sydtest-mutation-example]  it "classifies negative numbers" $ [sydtest-mutation-example]  classify (-1) `shouldBe` "negative" [sydtest-mutation-example]  it "classifies zero" $ [sydtest-mutation-example] - classify 0 `shouldBe` "zero" [sydtest-mutation-example] + classify 1 `shouldBe` "zero" [sydtest-mutation-example]  it "classifies positive numbers" $ [sydtest-mutation-example]  classify 1 `shouldBe` "positive" [sydtest-mutation-example] added mutation IntLit at test/Example/OtherwiseLibSpec.hs:14:16-17 [sydtest-mutation-example] @@ -11,4 +11,4 @@ [sydtest-mutation-example]  it "classifies zero" $ [sydtest-mutation-example]  classify 0 `shouldBe` "zero" [sydtest-mutation-example]  it "classifies positive numbers" $ [sydtest-mutation-example] - classify 1 `shouldBe` "positive" [sydtest-mutation-example] + classify 0 `shouldBe` "positive" [sydtest-mutation-example] added mutation IntLit at test/Example/OtherwiseLibSpec.hs:14:16-17 [sydtest-mutation-example] @@ -11,4 +11,4 @@ [sydtest-mutation-example]  it "classifies zero" $ [sydtest-mutation-example]  classify 0 `shouldBe` "zero" [sydtest-mutation-example]  it "classifies positive numbers" $ [sydtest-mutation-example] - classify 1 `shouldBe` "positive" [sydtest-mutation-example] + classify -1 `shouldBe` "positive" [sydtest-mutation-example] added 5 mutations [sydtest-mutation-example] [4 of 7] Compiling Paths_sydtest_mutation_example ( dist/build/sydtest-mutation-example-test/autogen/Paths_sydtest_mutation_example.hs, dist/build/sydtest-mutation-example-test/sydtest-mutation-example-test-tmp/Paths_sydtest_mutation_example.o ) [Impure plugin forced recompilation] [sydtest-mutation-example] [5 of 7] Compiling Spec ( test/Spec.hs, dist/build/sydtest-mutation-example-test/sydtest-mutation-example-test-tmp/Spec.o ) [Impure plugin forced recompilation] [sydtest-mutation-example] mutation: instrumenting Spec [sydtest-mutation-example] added 0 mutations [sydtest-mutation-example] [6 of 7] Compiling Main ( test/Main.hs, dist/build/sydtest-mutation-example-test/sydtest-mutation-example-test-tmp/Main.o ) [Impure plugin forced recompilation] [sydtest-mutation-example] mutation: instrumenting Main [sydtest-mutation-example] added 0 mutations [sydtest-mutation-example] [7 of 7] Linking dist/build/sydtest-mutation-example-test/sydtest-mutation-example-test [sydtest-mutation-example] mutation-nix: manifest output at /nix/store/33vjd2phw5z88mbxjanaxdg1iwpg23sj-sydtest-mutation-example-0.0.0.0-manifest: [sydtest-mutation-example] total 80 [sydtest-mutation-example] drwxr-xr-x 2 nixbld nixbld 4096 May 13 16:04 . [sydtest-mutation-example] drwxrwxr-t 317 nobody nixbld 32768 May 13 16:04 .. [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 1018 May 13 16:04 Example.BoolLib.json [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 3642 May 13 16:04 Example.BoolLibSpec.json [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 4044 May 13 16:04 Example.FunctionExceptionLib.json [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 930 May 13 16:04 Example.Lib.json [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 5097 May 13 16:04 Example.LibSpec.json [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 2896 May 13 16:04 Example.OtherwiseLib.json [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 2797 May 13 16:04 Example.OtherwiseLibSpec.json [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 982 May 13 16:04 Example.UntestedLib.json [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 2 May 13 16:04 Main.json [sydtest-mutation-example] -rw-r--r-- 1 nixbld nixbld 2 May 13 16:04 Spec.json [sydtest-mutation-example] Phase: checkPhase [sydtest-mutation-example] mutation-nix: collecting coverage for suite sydtest-mutation-example [sydtest-mutation-example] Tests: [sydtest-mutation-example]  [sydtest-mutation-example] Example.LibSpec [sydtest-mutation-example]  addOne [sydtest-mutation-example]  ✓ returns 6 for input 5  0.23 ms [sydtest-mutation-example]  ✓ returns 2 for input 1  0.44 ms [sydtest-mutation-example] Example.BoolLibSpec [sydtest-mutation-example]  wrapTrue [sydtest-mutation-example]  ✓ is Just True  0.36 ms [sydtest-mutation-example]  wrapFalse [sydtest-mutation-example]  ✓ is Just False  0.09 ms [sydtest-mutation-example]  negateWrapped [sydtest-mutation-example]  ✓ negates Just True to Just False  0.01 ms [sydtest-mutation-example]  ✓ leaves Nothing as Nothing  0.01 ms [sydtest-mutation-example]  ✓ negates Just False to Just True  0.02 ms [sydtest-mutation-example] Example.OtherwiseLibSpec [sydtest-mutation-example]  classify [sydtest-mutation-example]  ✓ classifies negative numbers  0.01 ms [sydtest-mutation-example]  ✓ classifies zero  0.01 ms [sydtest-mutation-example]  ✓ classifies positive numbers  0.00 ms [sydtest-mutation-example]  [sydtest-mutation-example]  Passed: 10 [sydtest-mutation-example]  Failed: 0 [sydtest-mutation-example]  Sum of test runtimes: 0.00 seconds [sydtest-mutation-example]  Test suite took:  0.02 seconds [sydtest-mutation-example]  [sydtest-mutation-example] mutation-nix: collecting coverage for suite sydtest-mutation-example-gen [sydtest-mutation-example] Tests: [sydtest-mutation-example]  [sydtest-mutation-example] Example.LibSpec [sydtest-mutation-example]  addOne [sydtest-mutation-example]  ✓ is greater than its input  3.55 ms [sydtest-mutation-example]  passed for all of 100 inputs. [sydtest-mutation-example]  ✓ increments by one  4.94 ms [sydtest-mutation-example]  passed for all of 100 inputs. [sydtest-mutation-example] Example.BoolLibSpec [sydtest-mutation-example]  wrapTrue [sydtest-mutation-example]  ✓ is Just True  0.27 ms [sydtest-mutation-example]  wrapFalse [sydtest-mutation-example]  ✓ is Just False  3.84 ms [sydtest-mutation-example]  negateWrapped [sydtest-mutation-example]  ✓ negates Just True to Just False  2.67 ms [sydtest-mutation-example]  ✓ leaves Nothing as Nothing  0.01 ms [sydtest-mutation-example]  ✓ negates Just False to Just True  0.72 ms [sydtest-mutation-example] Example.ExceptionLibSpec [sydtest-mutation-example]  addOneModuleDisabled [sydtest-mutation-example]  ✓ increments by one  1.54 ms [sydtest-mutation-example]  passed for all of 100 inputs. [sydtest-mutation-example] Example.FunctionExceptionLibSpec [sydtest-mutation-example]  addOneArithAndIntLitDisabled [sydtest-mutation-example]  ✓ increments by one  9.36 ms [sydtest-mutation-example]  passed for all of 100 inputs. [sydtest-mutation-example]  addOneFunctionDisabled [sydtest-mutation-example]  ✓ increments by one  9.65 ms [sydtest-mutation-example]  passed for all of 100 inputs. [sydtest-mutation-example]  addOneArithDisabled [sydtest-mutation-example]  ✓ increments by one  3.72 ms [sydtest-mutation-example]  passed for all of 100 inputs. [sydtest-mutation-example]  [sydtest-mutation-example]  Examples: 605 [sydtest-mutation-example]  Passed: 11 [sydtest-mutation-example]  Failed: 0 [sydtest-mutation-example]  Sum of test runtimes: 0.04 seconds [sydtest-mutation-example]  Test suite took:  0.05 seconds [sydtest-mutation-example]  [sydtest-mutation-example] mutation-nix: running mutations [sydtest-mutation-example] Tests: [sydtest-mutation-example]  [sydtest-mutation-example] Example.LibSpec [sydtest-mutation-example]  addOne [sydtest-mutation-example]  ✓ returns 6 for input 5  0.46 ms [sydtest-mutation-example]  ✓ returns 2 for input 1  0.12 ms [sydtest-mutation-example] Example.BoolLibSpec [sydtest-mutation-example]  wrapTrue [sydtest-mutation-example]  ✓ is Just True  0.14 ms [sydtest-mutation-example]  wrapFalse [sydtest-mutation-example]  ✓ is Just False  0.27 ms [sydtest-mutation-example]  negateWrapped [sydtest-mutation-example]  ✓ negates Just True to Just False  0.01 ms [sydtest-mutation-example]  ✓ leaves Nothing as Nothing  0.01 ms [sydtest-mutation-example]  ✓ negates Just False to Just True  0.01 ms [sydtest-mutation-example] Example.OtherwiseLibSpec [sydtest-mutation-example]  classify [sydtest-mutation-example]  ✓ classifies negative numbers  0.01 ms [sydtest-mutation-example]  ✓ classifies zero  0.02 ms [sydtest-mutation-example]  ✓ classifies positive numbers  0.01 ms [sydtest-mutation-example]  [sydtest-mutation-example]  Passed: 10 [sydtest-mutation-example]  Failed: 0 [sydtest-mutation-example]  Sum of test runtimes: 0.00 seconds [sydtest-mutation-example]  Test suite took:  0.00 seconds [sydtest-mutation-example]  [sydtest-mutation-example] Phase: haddockPhase [sydtest-mutation-example] Phase: installPhase [sydtest-mutation-example] Installing library in /nix/store/hjq5n20l59q718h8jp46pr9vgah0gaq1-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-HKLtxgcNX3SGgTl9z4D5SA [sydtest-mutation-example] Phase: fixupPhase [sydtest-mutation-example] shrinking RPATHs of ELF executables and libraries in /nix/store/hjq5n20l59q718h8jp46pr9vgah0gaq1-sydtest-mutation-example-0.0.0.0 [sydtest-mutation-example] shrinking /nix/store/hjq5n20l59q718h8jp46pr9vgah0gaq1-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-HKLtxgcNX3SGgTl9z4D5SA-ghc9.10.3.so [sydtest-mutation-example] checking for references to /build/ in /nix/store/hjq5n20l59q718h8jp46pr9vgah0gaq1-sydtest-mutation-example-0.0.0.0... [sydtest-mutation-example] patching script interpreter paths in /nix/store/hjq5n20l59q718h8jp46pr9vgah0gaq1-sydtest-mutation-example-0.0.0.0 [sydtest-mutation-example] stripping (with command strip and flags -S -p) in /nix/store/hjq5n20l59q718h8jp46pr9vgah0gaq1-sydtest-mutation-example-0.0.0.0/lib [sydtest-mutation-example] shrinking RPATHs of ELF executables and libraries in /nix/store/33vjd2phw5z88mbxjanaxdg1iwpg23sj-sydtest-mutation-example-0.0.0.0-manifest [sydtest-mutation-example] checking for references to /build/ in /nix/store/33vjd2phw5z88mbxjanaxdg1iwpg23sj-sydtest-mutation-example-0.0.0.0-manifest... [sydtest-mutation-example] patching script interpreter paths in /nix/store/33vjd2phw5z88mbxjanaxdg1iwpg23sj-sydtest-mutation-example-0.0.0.0-manifest [sydtest-mutation-example] shrinking RPATHs of ELF executables and libraries in /nix/store/b1r6196adqjkknvdhr82ql3a4p1i75q4-sydtest-mutation-example-0.0.0.0-report [sydtest-mutation-example] checking for references to /build/ in /nix/store/b1r6196adqjkknvdhr82ql3a4p1i75q4-sydtest-mutation-example-0.0.0.0-report... [sydtest-mutation-example] patching script interpreter paths in /nix/store/b1r6196adqjkknvdhr82ql3a4p1i75q4-sydtest-mutation-example-0.0.0.0-report Progress: 5 of 6 built