build packages.x86_64-linux.genvalidity-mergeful
0.19 s
$ /nix/store/vzx1mi9c0xfadmsm9dhd83d005cb1qs9-coreutils-9.8/bin/timeout --kill-after=15s 7200s /nix/store/86n4l5yri6hys3zk2mwy2azcv9prqb8j-nix-2.31.4/bin/nix --extra-experimental-features nix-command --extra-experimental-features flakes --log-format internal-json build --no-link git+https://github.com/NorfairKing/mergeful?ref=master&rev=e9276fa9ffc3c8af4faa2f52d740ff3f63697ea8#packages.x86_64-linux.genvalidity-mergeful --print-build-logs
0.22 s
1.04 s
Building genvalidity-mergeful-source
1.42 s
[genvalidity-mergeful-source] Phase: setupCompilerEnvironmentPhase
1.42 s
[genvalidity-mergeful-source] Build with /nix/store/6xdv0kj7ycq56l9sqip2hmxp237j78h4-ghc-9.10.3.
1.93 s
[genvalidity-mergeful-source] Phase: unpackPhase
2.01 s
[genvalidity-mergeful-source] unpacking source archive /nix/store/h694x53ms4i8ankyhwqcnn8dy7wjmyin-genvalidity-mergeful
2.03 s
[genvalidity-mergeful-source] source root is genvalidity-mergeful
2.04 s
[genvalidity-mergeful-source] Phase: patchPhase
2.04 s
[genvalidity-mergeful-source] Phase: compileBuildDriverPhase
2.05 s
[genvalidity-mergeful-source] setupCompileFlags: -package-db=/build/tmp.Chy61q448Y/setup-package.conf.d -threaded
2.10 s
[genvalidity-mergeful-source] [1 of 2] Compiling Main ( /nix/store/4mdp8nhyfddh7bllbi7xszz7k9955n79-Setup.hs, /build/tmp.Chy61q448Y/Main.o )
2.16 s
[genvalidity-mergeful-source] [2 of 2] Linking Setup
3.43 s
[genvalidity-mergeful-source] Phase: updateAutotoolsGnuConfigScriptsPhase
3.44 s
[genvalidity-mergeful-source] Phase: configurePhase
3.44 s
[genvalidity-mergeful-source] configureFlags: --verbose --prefix=/nix/store/lrjrdz0bj96np9h7zfzjy0arbw8b68r4-genvalidity-mergeful-source-0.3.0.1 --libdir=$prefix/lib/$compiler/lib --libsubdir=$abi/$libname --docdir=/share/doc/genvalidity-mergeful-0.3.0.1 --with-gcc=gcc --package-db=/build/tmp.Chy61q448Y/package.conf.d --ghc-option=-j16 --ghc-option=+RTS --ghc-option=-A64M --ghc-option=-RTS --enable-library-profiling --profiling-detail=exported-functions --disable-profiling --enable-shared --disable-coverage --enable-static --disable-executable-dynamic --enable-tests --disable-benchmarks --enable-library-vanilla --disable-library-for-ghci --enable-split-sections --enable-library-stripping --enable-executable-stripping --ghc-option=-haddock --ghc-option=-Wall --ghc-option=-Werror --extra-lib-dirs=/nix/store/yijhn548p2589pkybgvbhll09bqsxy0q-ncurses-6.5/lib --extra-lib-dirs=/nix/store/b9p0zpa93hwvh4d0r1rmgc2500yx2ldn-libffi-3.5.2/lib --extra-lib-dirs=/nix/store/1nqqjacc6dnj61jlpgz5hk9zdjbfidbr-elfutils-0.194/lib --extra-lib-dirs=/nix/store/54jkwsavi3fdciqfyjmbilq0jhvv4jga-gmp-with-cxx-6.3.0/lib --extra-lib-dirs=/nix/store/gdni20c8009xdz8gms6yn1r2hfhmk1jk-numactl-2.0.18/lib
3.45 s
[genvalidity-mergeful-source] Using Parsec parser
3.45 s
[genvalidity-mergeful-source] Configuring genvalidity-mergeful-0.3.0.1...
4.41 s
[genvalidity-mergeful-source] Dependency QuickCheck: using QuickCheck-2.15.0.1
4.41 s
[genvalidity-mergeful-source] Dependency base <5: using base-4.20.2.0
4.41 s
[genvalidity-mergeful-source] Dependency containers: using containers-0.7
4.41 s
[genvalidity-mergeful-source] Dependency genvalidity >=1.0: using genvalidity-1.1.1.0
4.41 s
[genvalidity-mergeful-source] Dependency genvalidity-containers: using genvalidity-containers-1.0.0.2
4.41 s
[genvalidity-mergeful-source] Dependency genvalidity-time: using genvalidity-time-1.0.0.1
4.41 s
[genvalidity-mergeful-source] Dependency mergeful: using mergeful-0.3.0.0
4.41 s
[genvalidity-mergeful-source] Dependency QuickCheck: using QuickCheck-2.15.0.1
4.41 s
[genvalidity-mergeful-source] Dependency autodocodec: using autodocodec-0.4.2.2
4.41 s
[genvalidity-mergeful-source] Dependency autodocodec-yaml: using autodocodec-yaml-0.4.0.1
4.41 s
[genvalidity-mergeful-source] Dependency base <5: using base-4.20.2.0
4.41 s
[genvalidity-mergeful-source] Dependency containers: using containers-0.7
4.41 s
[genvalidity-mergeful-source] Dependency genvalidity-mergeful: using genvalidity-mergeful-0.3.0.1
4.41 s
[genvalidity-mergeful-source] Dependency genvalidity-sydtest: using genvalidity-sydtest-1.0.0.0
4.41 s
[genvalidity-mergeful-source] Dependency genvalidity-sydtest-aeson: using genvalidity-sydtest-aeson-1.0.0.0
4.41 s
[genvalidity-mergeful-source] Dependency genvalidity-uuid: using genvalidity-uuid-1.0.0.1
4.41 s
[genvalidity-mergeful-source] Dependency mergeful: using mergeful-0.3.0.0
4.41 s
[genvalidity-mergeful-source] Dependency mtl: using mtl-2.3.1
4.41 s
[genvalidity-mergeful-source] Dependency pretty-show: using pretty-show-1.10
4.41 s
[genvalidity-mergeful-source] Dependency random: using random-1.2.1.3
4.41 s
[genvalidity-mergeful-source] Dependency safe-coloured-text: using safe-coloured-text-0.3.0.2
4.41 s
[genvalidity-mergeful-source] Dependency sydtest: using sydtest-0.19.0.0
4.41 s
[genvalidity-mergeful-source] Dependency time: using time-1.12.2
4.41 s
[genvalidity-mergeful-source] Dependency uuid: using uuid-1.3.16
4.41 s
[genvalidity-mergeful-source] Source component graph:
4.41 s
[genvalidity-mergeful-source] component lib
4.41 s
[genvalidity-mergeful-source] component test:mergeful-test dependency lib
4.41 s
[genvalidity-mergeful-source] Configured component graph:
4.41 s
[genvalidity-mergeful-source] component genvalidity-mergeful-0.3.0.1-AKecfL8G6EZI4Y0rZPWIBo
4.41 s
[genvalidity-mergeful-source] include QuickCheck-2.15.0.1-4fOficSCSOZBNPbFkHc0Mm
4.41 s
[genvalidity-mergeful-source] include base-4.20.2.0-143c
4.41 s
[genvalidity-mergeful-source] include containers-0.7-6de3
4.41 s
[genvalidity-mergeful-source] include genvalidity-1.1.1.0-3TYQuH5ptQi4PGhicwvjuo
4.41 s
[genvalidity-mergeful-source] include genvalidity-containers-1.0.0.2-6e6lYgp06so1bvCO48jseg
4.41 s
[genvalidity-mergeful-source] include genvalidity-time-1.0.0.1-KxhNtmfkUhb5wrLGI33hrj
4.41 s
[genvalidity-mergeful-source] include mergeful-0.3.0.0-GsLNpjk5K5P1wx4miXhmo
4.41 s
[genvalidity-mergeful-source] component genvalidity-mergeful-0.3.0.1-Kr4SKOWxgwZ57I1SOchoeX-mergeful-test
4.41 s
[genvalidity-mergeful-source] include QuickCheck-2.15.0.1-4fOficSCSOZBNPbFkHc0Mm
4.42 s
[genvalidity-mergeful-source] include autodocodec-0.4.2.2-3nZUv0GbVgZJcYfQUttz6J
4.42 s
[genvalidity-mergeful-source] include autodocodec-yaml-0.4.0.1-FHhxesjoXYG88fDKfbrDiI
4.42 s
[genvalidity-mergeful-source] include base-4.20.2.0-143c
4.42 s
[genvalidity-mergeful-source] include containers-0.7-6de3
4.42 s
[genvalidity-mergeful-source] include genvalidity-mergeful-0.3.0.1-AKecfL8G6EZI4Y0rZPWIBo
4.42 s
[genvalidity-mergeful-source] include genvalidity-sydtest-1.0.0.0-Ia6389Lc9a7JYj40IFxRCk
4.42 s
[genvalidity-mergeful-source] include genvalidity-sydtest-aeson-1.0.0.0-2276SHflAaJJdWuy363NWy
4.42 s
[genvalidity-mergeful-source] include genvalidity-uuid-1.0.0.1-5JakGRRLN1r5selbNHT5Bd
4.42 s
[genvalidity-mergeful-source] include mergeful-0.3.0.0-GsLNpjk5K5P1wx4miXhmo
4.42 s
[genvalidity-mergeful-source] include mtl-2.3.1-9692
4.42 s
[genvalidity-mergeful-source] include pretty-show-1.10-DTYM9nKLJNg2en4E90iKlv
4.42 s
[genvalidity-mergeful-source] include random-1.2.1.3-JQFbb4Wq5My85rRMSTQUGB
4.42 s
[genvalidity-mergeful-source] include safe-coloured-text-0.3.0.2-EuMQ1GltvkVICluEv4vLqd
4.42 s
[genvalidity-mergeful-source] include sydtest-0.19.0.0-2NUnl2Flnln7o8oBccZoQl
4.42 s
[genvalidity-mergeful-source] include time-1.12.2-979c
4.42 s
[genvalidity-mergeful-source] include uuid-1.3.16-5e4xnHJbegtLOLTJGcm7Gl
4.42 s
[genvalidity-mergeful-source] Linked component graph:
4.42 s
[genvalidity-mergeful-source] unit genvalidity-mergeful-0.3.0.1-AKecfL8G6EZI4Y0rZPWIBo
4.42 s
[genvalidity-mergeful-source] include QuickCheck-2.15.0.1-4fOficSCSOZBNPbFkHc0Mm
4.42 s
[genvalidity-mergeful-source] include base-4.20.2.0-143c
4.42 s
[genvalidity-mergeful-source] include containers-0.7-6de3
4.42 s
[genvalidity-mergeful-source] include genvalidity-1.1.1.0-3TYQuH5ptQi4PGhicwvjuo
4.42 s
[genvalidity-mergeful-source] include genvalidity-containers-1.0.0.2-6e6lYgp06so1bvCO48jseg
4.42 s
[genvalidity-mergeful-source] include genvalidity-time-1.0.0.1-KxhNtmfkUhb5wrLGI33hrj
4.42 s
[genvalidity-mergeful-source] include mergeful-0.3.0.0-GsLNpjk5K5P1wx4miXhmo
4.42 s
[genvalidity-mergeful-source] Data.GenValidity.Mergeful=genvalidity-mergeful-0.3.0.1-AKecfL8G6EZI4Y0rZPWIBo:Data.GenValidity.Mergeful,Data.GenValidity.Mergeful.Collection=genvalidity-mergeful-0.3.0.1-AKecfL8G6EZI4Y0rZPWIBo:Data.GenValidity.Mergeful.Collection,Data.GenValidity.Mergeful.Item=genvalidity-mergeful-0.3.0.1-AKecfL8G6EZI4Y0rZPWIBo:Data.GenValidity.Mergeful.Item,Data.GenValidity.Mergeful.Timed=genvalidity-mergeful-0.3.0.1-AKecfL8G6EZI4Y0rZPWIBo:Data.GenValidity.Mergeful.Timed,Data.GenValidity.Mergeful.Value=genvalidity-mergeful-0.3.0.1-AKecfL8G6EZI4Y0rZPWIBo:Data.GenValidity.Mergeful.Value
4.42 s
[genvalidity-mergeful-source] unit genvalidity-mergeful-0.3.0.1-Kr4SKOWxgwZ57I1SOchoeX-mergeful-test
4.42 s
[genvalidity-mergeful-source] include QuickCheck-2.15.0.1-4fOficSCSOZBNPbFkHc0Mm
4.42 s
[genvalidity-mergeful-source] include autodocodec-0.4.2.2-3nZUv0GbVgZJcYfQUttz6J
4.42 s
[genvalidity-mergeful-source] include autodocodec-yaml-0.4.0.1-FHhxesjoXYG88fDKfbrDiI
4.42 s
[genvalidity-mergeful-source] include base-4.20.2.0-143c
4.42 s
[genvalidity-mergeful-source] include containers-0.7-6de3
4.42 s
[genvalidity-mergeful-source] include genvalidity-mergeful-0.3.0.1-AKecfL8G6EZI4Y0rZPWIBo
4.42 s
[genvalidity-mergeful-source] include genvalidity-sydtest-1.0.0.0-Ia6389Lc9a7JYj40IFxRCk
4.42 s
[genvalidity-mergeful-source] include genvalidity-sydtest-aeson-1.0.0.0-2276SHflAaJJdWuy363NWy
4.42 s
[genvalidity-mergeful-source] include genvalidity-uuid-1.0.0.1-5JakGRRLN1r5selbNHT5Bd
4.42 s
[genvalidity-mergeful-source] include mergeful-0.3.0.0-GsLNpjk5K5P1wx4miXhmo
4.42 s
[genvalidity-mergeful-source] include mtl-2.3.1-9692
4.42 s
[genvalidity-mergeful-source] include pretty-show-1.10-DTYM9nKLJNg2en4E90iKlv
4.42 s
[genvalidity-mergeful-source] include random-1.2.1.3-JQFbb4Wq5My85rRMSTQUGB
4.42 s
[genvalidity-mergeful-source] include safe-coloured-text-0.3.0.2-EuMQ1GltvkVICluEv4vLqd
4.42 s
[genvalidity-mergeful-source] include sydtest-0.19.0.0-2NUnl2Flnln7o8oBccZoQl
4.42 s
[genvalidity-mergeful-source] include time-1.12.2-979c
4.42 s
[genvalidity-mergeful-source] include uuid-1.3.16-5e4xnHJbegtLOLTJGcm7Gl
4.42 s
[genvalidity-mergeful-source] Ready component graph:
4.42 s
[genvalidity-mergeful-source] definite genvalidity-mergeful-0.3.0.1-AKecfL8G6EZI4Y0rZPWIBo
4.42 s
[genvalidity-mergeful-source] depends QuickCheck-2.15.0.1-4fOficSCSOZBNPbFkHc0Mm
4.42 s
[genvalidity-mergeful-source] depends base-4.20.2.0-143c
4.42 s
[genvalidity-mergeful-source] depends containers-0.7-6de3
4.42 s
[genvalidity-mergeful-source] depends genvalidity-1.1.1.0-3TYQuH5ptQi4PGhicwvjuo
4.42 s
[genvalidity-mergeful-source] depends genvalidity-containers-1.0.0.2-6e6lYgp06so1bvCO48jseg
4.42 s
[genvalidity-mergeful-source] depends genvalidity-time-1.0.0.1-KxhNtmfkUhb5wrLGI33hrj
4.42 s
[genvalidity-mergeful-source] depends mergeful-0.3.0.0-GsLNpjk5K5P1wx4miXhmo
4.42 s
[genvalidity-mergeful-source] definite genvalidity-mergeful-0.3.0.1-Kr4SKOWxgwZ57I1SOchoeX-mergeful-test
4.42 s
[genvalidity-mergeful-source] depends QuickCheck-2.15.0.1-4fOficSCSOZBNPbFkHc0Mm
4.42 s
[genvalidity-mergeful-source] depends autodocodec-0.4.2.2-3nZUv0GbVgZJcYfQUttz6J
4.42 s
[genvalidity-mergeful-source] depends autodocodec-yaml-0.4.0.1-FHhxesjoXYG88fDKfbrDiI
4.42 s
[genvalidity-mergeful-source] depends base-4.20.2.0-143c
4.42 s
[genvalidity-mergeful-source] depends containers-0.7-6de3
4.42 s
[genvalidity-mergeful-source] depends genvalidity-mergeful-0.3.0.1-AKecfL8G6EZI4Y0rZPWIBo
4.42 s
[genvalidity-mergeful-source] depends genvalidity-sydtest-1.0.0.0-Ia6389Lc9a7JYj40IFxRCk
4.42 s
[genvalidity-mergeful-source] depends genvalidity-sydtest-aeson-1.0.0.0-2276SHflAaJJdWuy363NWy
4.42 s
[genvalidity-mergeful-source] depends genvalidity-uuid-1.0.0.1-5JakGRRLN1r5selbNHT5Bd
4.42 s
[genvalidity-mergeful-source] depends mergeful-0.3.0.0-GsLNpjk5K5P1wx4miXhmo
4.42 s
[genvalidity-mergeful-source] depends mtl-2.3.1-9692
4.42 s
[genvalidity-mergeful-source] depends pretty-show-1.10-DTYM9nKLJNg2en4E90iKlv
4.42 s
[genvalidity-mergeful-source] depends random-1.2.1.3-JQFbb4Wq5My85rRMSTQUGB
4.42 s
[genvalidity-mergeful-source] depends safe-coloured-text-0.3.0.2-EuMQ1GltvkVICluEv4vLqd
4.42 s
[genvalidity-mergeful-source] depends sydtest-0.19.0.0-2NUnl2Flnln7o8oBccZoQl
4.42 s
[genvalidity-mergeful-source] depends time-1.12.2-979c
4.42 s
[genvalidity-mergeful-source] depends uuid-1.3.16-5e4xnHJbegtLOLTJGcm7Gl
4.42 s
[genvalidity-mergeful-source] Using Cabal-3.12.1.0 compiled by ghc-9.10
4.42 s
[genvalidity-mergeful-source] Using compiler: ghc-9.10.3
4.42 s
[genvalidity-mergeful-source] Using install prefix:
4.42 s
[genvalidity-mergeful-source] /nix/store/lrjrdz0bj96np9h7zfzjy0arbw8b68r4-genvalidity-mergeful-source-0.3.0.1
4.42 s
[genvalidity-mergeful-source] Executables installed in:
4.42 s
[genvalidity-mergeful-source] /nix/store/lrjrdz0bj96np9h7zfzjy0arbw8b68r4-genvalidity-mergeful-source-0.3.0.1/bin
4.42 s
[genvalidity-mergeful-source] Libraries installed in:
4.42 s
[genvalidity-mergeful-source] /nix/store/lrjrdz0bj96np9h7zfzjy0arbw8b68r4-genvalidity-mergeful-source-0.3.0.1/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-b976/genvalidity-mergeful-0.3.0.1-AKecfL8G6EZI4Y0rZPWIBo
4.42 s
[genvalidity-mergeful-source] Dynamic Libraries installed in:
4.42 s
[genvalidity-mergeful-source] /nix/store/lrjrdz0bj96np9h7zfzjy0arbw8b68r4-genvalidity-mergeful-source-0.3.0.1/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-b976
4.42 s
[genvalidity-mergeful-source] Private executables installed in:
4.42 s
[genvalidity-mergeful-source] /nix/store/lrjrdz0bj96np9h7zfzjy0arbw8b68r4-genvalidity-mergeful-source-0.3.0.1/libexec/x86_64-linux-ghc-9.10.3-b976/genvalidity-mergeful-0.3.0.1
4.42 s
[genvalidity-mergeful-source] Data files installed in:
4.42 s
[genvalidity-mergeful-source] /nix/store/lrjrdz0bj96np9h7zfzjy0arbw8b68r4-genvalidity-mergeful-source-0.3.0.1/share/x86_64-linux-ghc-9.10.3-b976/genvalidity-mergeful-0.3.0.1
4.42 s
[genvalidity-mergeful-source] Documentation installed in: /share/doc/genvalidity-mergeful-0.3.0.1
4.42 s
[genvalidity-mergeful-source] Configuration files installed in:
4.42 s
[genvalidity-mergeful-source] /nix/store/lrjrdz0bj96np9h7zfzjy0arbw8b68r4-genvalidity-mergeful-source-0.3.0.1/etc
4.42 s
[genvalidity-mergeful-source] No alex found
4.42 s
[genvalidity-mergeful-source] Using ar found on system at:
4.42 s
[genvalidity-mergeful-source] /nix/store/xwydcyvlsa3cvssk0y5llgdhlhjvmqdm-binutils-wrapper-2.44/bin/ar
4.42 s
[genvalidity-mergeful-source] No c2hs found
4.42 s
[genvalidity-mergeful-source] No cpphs found
4.42 s
[genvalidity-mergeful-source] No doctest found
4.42 s
[genvalidity-mergeful-source] Using gcc version 14.3.0 given by user at:
4.42 s
[genvalidity-mergeful-source] /nix/store/vr15iyyykg9zai6fpgvhcgyw7gckl78w-gcc-wrapper-14.3.0/bin/gcc
4.42 s
[genvalidity-mergeful-source] Using ghc version 9.10.3 found on system at:
4.42 s
[genvalidity-mergeful-source] /nix/store/6xdv0kj7ycq56l9sqip2hmxp237j78h4-ghc-9.10.3/bin/ghc
4.42 s
[genvalidity-mergeful-source] Using ghc-pkg version 9.10.3 found on system at:
4.42 s
[genvalidity-mergeful-source] /nix/store/6xdv0kj7ycq56l9sqip2hmxp237j78h4-ghc-9.10.3/bin/ghc-pkg-9.10.3
4.42 s
[genvalidity-mergeful-source] No ghcjs found
4.42 s
[genvalidity-mergeful-source] No ghcjs-pkg found
4.42 s
[genvalidity-mergeful-source] No greencard found
4.42 s
[genvalidity-mergeful-source] Using haddock version 2.31.1 found on system at:
4.42 s
[genvalidity-mergeful-source] /nix/store/6xdv0kj7ycq56l9sqip2hmxp237j78h4-ghc-9.10.3/bin/haddock-ghc-9.10.3
4.42 s
[genvalidity-mergeful-source] No happy found
4.44 s
[genvalidity-mergeful-source] Using haskell-suite found on system at: haskell-suite-dummy-location
4.44 s
[genvalidity-mergeful-source] Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
4.44 s
[genvalidity-mergeful-source] No hmake found
4.44 s
[genvalidity-mergeful-source] Using hpc version 0.69 found on system at:
4.44 s
[genvalidity-mergeful-source] /nix/store/6xdv0kj7ycq56l9sqip2hmxp237j78h4-ghc-9.10.3/bin/hpc-ghc-9.10.3
4.44 s
[genvalidity-mergeful-source] Using hsc2hs version 0.68.10 found on system at:
4.44 s
[genvalidity-mergeful-source] /nix/store/6xdv0kj7ycq56l9sqip2hmxp237j78h4-ghc-9.10.3/bin/hsc2hs-ghc-9.10.3
4.44 s
[genvalidity-mergeful-source] Using hscolour version 1.25 found on system at:
4.44 s
[genvalidity-mergeful-source] /nix/store/ghjgsc6v2ca3k4ykij4f2727lmbxba1w-hscolour-1.25/bin/HsColour
4.44 s
[genvalidity-mergeful-source] No jhc found
4.44 s
[genvalidity-mergeful-source] Using ld found on system at:
4.44 s
[genvalidity-mergeful-source] /nix/store/vr15iyyykg9zai6fpgvhcgyw7gckl78w-gcc-wrapper-14.3.0/bin/ld
4.44 s
[genvalidity-mergeful-source] No pkg-config found
4.44 s
[genvalidity-mergeful-source] Using runghc version 9.10.3 found on system at:
4.44 s
[genvalidity-mergeful-source] /nix/store/6xdv0kj7ycq56l9sqip2hmxp237j78h4-ghc-9.10.3/bin/runghc-9.10.3
4.44 s
[genvalidity-mergeful-source] Using strip version 2.44 found on system at:
4.44 s
[genvalidity-mergeful-source] /nix/store/vr15iyyykg9zai6fpgvhcgyw7gckl78w-gcc-wrapper-14.3.0/bin/strip
4.44 s
[genvalidity-mergeful-source] Using tar found on system at:
4.44 s
[genvalidity-mergeful-source] /nix/store/yi3c5karhx764ham5rfwk7iynr8mjf6q-gnutar-1.35/bin/tar
4.44 s
[genvalidity-mergeful-source] No uhc found
5.95 s
[genvalidity-mergeful-source] Phase: buildPhase
6.01 s
[genvalidity-mergeful-source] Distribution quality warnings:
6.01 s
[genvalidity-mergeful-source] [no-category] No 'category' field.
6.01 s
[genvalidity-mergeful-source] [no-synopsis] No 'synopsis' field.
6.01 s
[genvalidity-mergeful-source] [missing-upper-bounds] On library, these packages miss upper bounds:
6.01 s
[genvalidity-mergeful-source] - QuickCheck
6.01 s
[genvalidity-mergeful-source] - containers
6.01 s
[genvalidity-mergeful-source] - genvalidity
6.01 s
[genvalidity-mergeful-source] - genvalidity-containers
6.01 s
[genvalidity-mergeful-source] - genvalidity-time
6.01 s
[genvalidity-mergeful-source] - mergeful
6.01 s
[genvalidity-mergeful-source] Please add them. There is more information at https://pvp.haskell.org/
6.01 s
[genvalidity-mergeful-source] Building source dist for genvalidity-mergeful-0.3.0.1...
6.01 s
[genvalidity-mergeful-source] Source tarball created: dist/genvalidity-mergeful-0.3.0.1.tar.gz
6.01 s
[genvalidity-mergeful-source] Phase: checkPhase
6.01 s
[genvalidity-mergeful-source] Phase: haddockPhase
6.01 s
[genvalidity-mergeful-source] Phase: installPhase
6.01 s
[genvalidity-mergeful-source] Phase: fixupPhase
6.13 s
[post-build-hook] Uploading to the NixCI staging cache: /nix/store/lrjrdz0bj96np9h7zfzjy0arbw8b68r4-genvalidity-mergeful-source-0.3.0.1
6.19 s
[post-build-hook] copying 1 paths...
6.19 s
[post-build-hook] copying path '/nix/store/lrjrdz0bj96np9h7zfzjy0arbw8b68r4-genvalidity-mergeful-source-0.3.0.1' to 'https://cache.staging.nix-ci.com'...
6.76 s
[post-build-hook] copying 1 paths...
6.76 s
[post-build-hook] copying path '/nix/store/apdcwxjcpbacipckf8ivplf3xqxlg8q6-genvalidity-mergeful-source-0.3.0.1.drv' to 'https://cache.staging.nix-ci.com'...
6.98 s
Progress: 1 of 3 built
7.03 s
Building genvalidity-mergeful
7.46 s
[genvalidity-mergeful] Phase: setupCompilerEnvironmentPhase
7.46 s
[genvalidity-mergeful] Build with /nix/store/6xdv0kj7ycq56l9sqip2hmxp237j78h4-ghc-9.10.3.
8.00 s
[genvalidity-mergeful] Phase: unpackPhase
8.00 s
[genvalidity-mergeful] unpacking source archive /nix/store/lrjrdz0bj96np9h7zfzjy0arbw8b68r4-genvalidity-mergeful-source-0.3.0.1/genvalidity-mergeful-0.3.0.1.tar.gz
8.01 s
[genvalidity-mergeful] source root is genvalidity-mergeful-0.3.0.1
8.02 s
[genvalidity-mergeful] setting SOURCE_DATE_EPOCH to timestamp 1780346964 of file "genvalidity-mergeful-0.3.0.1/test/Spec.hs"
8.02 s
[genvalidity-mergeful] warning: file "genvalidity-mergeful-0.3.0.1/test/Spec.hs" may be generated; SOURCE_DATE_EPOCH may be non-deterministic
8.02 s
[genvalidity-mergeful] Phase: patchPhase
8.03 s
[genvalidity-mergeful] Phase: compileBuildDriverPhase
8.04 s
[genvalidity-mergeful] setupCompileFlags: -package-db=/build/tmp.wV2Xto7cEL/setup-package.conf.d -threaded
8.09 s
[genvalidity-mergeful] [1 of 2] Compiling Main ( Setup.hs, /build/tmp.wV2Xto7cEL/Main.o )
8.14 s
[genvalidity-mergeful] [2 of 2] Linking Setup
9.33 s
[genvalidity-mergeful] Phase: updateAutotoolsGnuConfigScriptsPhase
9.35 s
[genvalidity-mergeful] Phase: configurePhase
9.37 s
[genvalidity-mergeful] configureFlags: --verbose --prefix=/nix/store/5i80d6vvhgs5rllfm8hl53r1axmbys71-genvalidity-mergeful-0.3.0.1 --libdir=$prefix/lib/$compiler/lib --libsubdir=$abi/$libname --docdir=/nix/store/9q0y6c3cfjmf8ngr16a2fdx6w23gq1fp-genvalidity-mergeful-0.3.0.1-doc/share/doc/genvalidity-mergeful-0.3.0.1 --with-gcc=gcc --package-db=/build/tmp.wV2Xto7cEL/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-option=-Wall --ghc-option=-Werror --extra-lib-dirs=/nix/store/yijhn548p2589pkybgvbhll09bqsxy0q-ncurses-6.5/lib --extra-lib-dirs=/nix/store/b9p0zpa93hwvh4d0r1rmgc2500yx2ldn-libffi-3.5.2/lib --extra-lib-dirs=/nix/store/1nqqjacc6dnj61jlpgz5hk9zdjbfidbr-elfutils-0.194/lib --extra-lib-dirs=/nix/store/54jkwsavi3fdciqfyjmbilq0jhvv4jga-gmp-with-cxx-6.3.0/lib --extra-lib-dirs=/nix/store/gdni20c8009xdz8gms6yn1r2hfhmk1jk-numactl-2.0.18/lib
9.38 s
[genvalidity-mergeful] Using Parsec parser
9.38 s
[genvalidity-mergeful] Configuring genvalidity-mergeful-0.3.0.1...
10.16 s
[genvalidity-mergeful] Dependency QuickCheck: using QuickCheck-2.15.0.1
10.16 s
[genvalidity-mergeful] Dependency base <5: using base-4.20.2.0
10.16 s
[genvalidity-mergeful] Dependency containers: using containers-0.7
10.16 s
[genvalidity-mergeful] Dependency genvalidity >=1.0: using genvalidity-1.1.1.0
10.16 s
[genvalidity-mergeful] Dependency genvalidity-containers: using genvalidity-containers-1.0.0.2
10.16 s
[genvalidity-mergeful] Dependency genvalidity-time: using genvalidity-time-1.0.0.1
10.16 s
[genvalidity-mergeful] Dependency mergeful: using mergeful-0.3.0.0
10.16 s
[genvalidity-mergeful] Dependency QuickCheck: using QuickCheck-2.15.0.1
10.16 s
[genvalidity-mergeful] Dependency autodocodec: using autodocodec-0.4.2.2
10.16 s
[genvalidity-mergeful] Dependency autodocodec-yaml: using autodocodec-yaml-0.4.0.1
10.16 s
[genvalidity-mergeful] Dependency base <5: using base-4.20.2.0
10.16 s
[genvalidity-mergeful] Dependency containers: using containers-0.7
10.16 s
[genvalidity-mergeful] Dependency genvalidity-mergeful: using genvalidity-mergeful-0.3.0.1
10.16 s
[genvalidity-mergeful] Dependency genvalidity-sydtest: using genvalidity-sydtest-1.0.0.0
10.16 s
[genvalidity-mergeful] Dependency genvalidity-sydtest-aeson: using genvalidity-sydtest-aeson-1.0.0.0
10.16 s
[genvalidity-mergeful] Dependency genvalidity-uuid: using genvalidity-uuid-1.0.0.1
10.16 s
[genvalidity-mergeful] Dependency mergeful: using mergeful-0.3.0.0
10.16 s
[genvalidity-mergeful] Dependency mtl: using mtl-2.3.1
10.16 s
[genvalidity-mergeful] Dependency pretty-show: using pretty-show-1.10
10.16 s
[genvalidity-mergeful] Dependency random: using random-1.2.1.3
10.16 s
[genvalidity-mergeful] Dependency safe-coloured-text: using safe-coloured-text-0.3.0.2
10.16 s
[genvalidity-mergeful] Dependency sydtest: using sydtest-0.19.0.0
10.16 s
[genvalidity-mergeful] Dependency time: using time-1.12.2
10.16 s
[genvalidity-mergeful] Dependency uuid: using uuid-1.3.16
10.16 s
[genvalidity-mergeful] Dependency base <5: using base-4.20.2.0
10.16 s
[genvalidity-mergeful] Dependency criterion: using criterion-1.6.4.0
10.16 s
[genvalidity-mergeful] Dependency genvalidity-criterion: using genvalidity-criterion-1.1.0.0
10.16 s
[genvalidity-mergeful] Dependency genvalidity-mergeful: using genvalidity-mergeful-0.3.0.1
10.16 s
[genvalidity-mergeful] Dependency mergeful: using mergeful-0.3.0.0
10.16 s
[genvalidity-mergeful] Source component graph:
10.16 s
[genvalidity-mergeful] component lib
10.16 s
[genvalidity-mergeful] component test:mergeful-test dependency lib
10.16 s
[genvalidity-mergeful] component bench:mergeful-bench dependency lib
10.16 s
[genvalidity-mergeful] Configured component graph:
10.16 s
[genvalidity-mergeful] component genvalidity-mergeful-0.3.0.1-1WoJkGEXZqU1dLYwlvkHZV
10.16 s
[genvalidity-mergeful] include QuickCheck-2.15.0.1-4fOficSCSOZBNPbFkHc0Mm
10.16 s
[genvalidity-mergeful] include base-4.20.2.0-143c
10.16 s
[genvalidity-mergeful] include containers-0.7-6de3
10.16 s
[genvalidity-mergeful] include genvalidity-1.1.1.0-3TYQuH5ptQi4PGhicwvjuo
10.16 s
[genvalidity-mergeful] include genvalidity-containers-1.0.0.2-6e6lYgp06so1bvCO48jseg
10.16 s
[genvalidity-mergeful] include genvalidity-time-1.0.0.1-KxhNtmfkUhb5wrLGI33hrj
10.16 s
[genvalidity-mergeful] include mergeful-0.3.0.0-GsLNpjk5K5P1wx4miXhmo
10.16 s
[genvalidity-mergeful] component genvalidity-mergeful-0.3.0.1-KKNV0injIb734H3qLiHTIw-mergeful-test
10.16 s
[genvalidity-mergeful] include QuickCheck-2.15.0.1-4fOficSCSOZBNPbFkHc0Mm
10.16 s
[genvalidity-mergeful] include autodocodec-0.4.2.2-3nZUv0GbVgZJcYfQUttz6J
10.16 s
[genvalidity-mergeful] include autodocodec-yaml-0.4.0.1-FHhxesjoXYG88fDKfbrDiI
10.16 s
[genvalidity-mergeful] include base-4.20.2.0-143c
10.16 s
[genvalidity-mergeful] include containers-0.7-6de3
10.16 s
[genvalidity-mergeful] include genvalidity-mergeful-0.3.0.1-1WoJkGEXZqU1dLYwlvkHZV
10.16 s
[genvalidity-mergeful] include genvalidity-sydtest-1.0.0.0-Ia6389Lc9a7JYj40IFxRCk
10.16 s
[genvalidity-mergeful] include genvalidity-sydtest-aeson-1.0.0.0-2276SHflAaJJdWuy363NWy
10.16 s
[genvalidity-mergeful] include genvalidity-uuid-1.0.0.1-5JakGRRLN1r5selbNHT5Bd
10.16 s
[genvalidity-mergeful] include mergeful-0.3.0.0-GsLNpjk5K5P1wx4miXhmo
10.16 s
[genvalidity-mergeful] include mtl-2.3.1-9692
10.16 s
[genvalidity-mergeful] include pretty-show-1.10-DTYM9nKLJNg2en4E90iKlv
10.16 s
[genvalidity-mergeful] include random-1.2.1.3-JQFbb4Wq5My85rRMSTQUGB
10.16 s
[genvalidity-mergeful] include safe-coloured-text-0.3.0.2-EuMQ1GltvkVICluEv4vLqd
10.16 s
[genvalidity-mergeful] include sydtest-0.19.0.0-2NUnl2Flnln7o8oBccZoQl
10.16 s
[genvalidity-mergeful] include time-1.12.2-979c
10.16 s
[genvalidity-mergeful] include uuid-1.3.16-5e4xnHJbegtLOLTJGcm7Gl
10.16 s
[genvalidity-mergeful] component genvalidity-mergeful-0.3.0.1-IdcvJAUbgdsG3B2jPL77WY-mergeful-bench
10.16 s
[genvalidity-mergeful] include base-4.20.2.0-143c
10.16 s
[genvalidity-mergeful] include criterion-1.6.4.0-4S5U1cQKmVY6PfXLI5OkIZ
10.16 s
[genvalidity-mergeful] include genvalidity-criterion-1.1.0.0-7G5QHF6n4j1HevUTLUqjCu
10.16 s
[genvalidity-mergeful] include genvalidity-mergeful-0.3.0.1-1WoJkGEXZqU1dLYwlvkHZV
10.16 s
[genvalidity-mergeful] include mergeful-0.3.0.0-GsLNpjk5K5P1wx4miXhmo
10.16 s
[genvalidity-mergeful] Linked component graph:
10.16 s
[genvalidity-mergeful] unit genvalidity-mergeful-0.3.0.1-1WoJkGEXZqU1dLYwlvkHZV
10.16 s
[genvalidity-mergeful] include QuickCheck-2.15.0.1-4fOficSCSOZBNPbFkHc0Mm
10.16 s
[genvalidity-mergeful] include base-4.20.2.0-143c
10.16 s
[genvalidity-mergeful] include containers-0.7-6de3
10.16 s
[genvalidity-mergeful] include genvalidity-1.1.1.0-3TYQuH5ptQi4PGhicwvjuo
10.16 s
[genvalidity-mergeful] include genvalidity-containers-1.0.0.2-6e6lYgp06so1bvCO48jseg
10.16 s
[genvalidity-mergeful] include genvalidity-time-1.0.0.1-KxhNtmfkUhb5wrLGI33hrj
10.16 s
[genvalidity-mergeful] include mergeful-0.3.0.0-GsLNpjk5K5P1wx4miXhmo
10.16 s
[genvalidity-mergeful] Data.GenValidity.Mergeful=genvalidity-mergeful-0.3.0.1-1WoJkGEXZqU1dLYwlvkHZV:Data.GenValidity.Mergeful,Data.GenValidity.Mergeful.Collection=genvalidity-mergeful-0.3.0.1-1WoJkGEXZqU1dLYwlvkHZV:Data.GenValidity.Mergeful.Collection,Data.GenValidity.Mergeful.Item=genvalidity-mergeful-0.3.0.1-1WoJkGEXZqU1dLYwlvkHZV:Data.GenValidity.Mergeful.Item,Data.GenValidity.Mergeful.Timed=genvalidity-mergeful-0.3.0.1-1WoJkGEXZqU1dLYwlvkHZV:Data.GenValidity.Mergeful.Timed,Data.GenValidity.Mergeful.Value=genvalidity-mergeful-0.3.0.1-1WoJkGEXZqU1dLYwlvkHZV:Data.GenValidity.Mergeful.Value
10.16 s
[genvalidity-mergeful] unit genvalidity-mergeful-0.3.0.1-KKNV0injIb734H3qLiHTIw-mergeful-test
10.16 s
[genvalidity-mergeful] include QuickCheck-2.15.0.1-4fOficSCSOZBNPbFkHc0Mm
10.16 s
[genvalidity-mergeful] include autodocodec-0.4.2.2-3nZUv0GbVgZJcYfQUttz6J
10.16 s
[genvalidity-mergeful] include autodocodec-yaml-0.4.0.1-FHhxesjoXYG88fDKfbrDiI
10.16 s
[genvalidity-mergeful] include base-4.20.2.0-143c
10.16 s
[genvalidity-mergeful] include containers-0.7-6de3
10.16 s
[genvalidity-mergeful] include genvalidity-mergeful-0.3.0.1-1WoJkGEXZqU1dLYwlvkHZV
10.16 s
[genvalidity-mergeful] include genvalidity-sydtest-1.0.0.0-Ia6389Lc9a7JYj40IFxRCk
10.17 s
[genvalidity-mergeful] include genvalidity-sydtest-aeson-1.0.0.0-2276SHflAaJJdWuy363NWy
10.17 s
[genvalidity-mergeful] include genvalidity-uuid-1.0.0.1-5JakGRRLN1r5selbNHT5Bd
10.17 s
[genvalidity-mergeful] include mergeful-0.3.0.0-GsLNpjk5K5P1wx4miXhmo
10.17 s
[genvalidity-mergeful] include mtl-2.3.1-9692
10.17 s
[genvalidity-mergeful] include pretty-show-1.10-DTYM9nKLJNg2en4E90iKlv
10.17 s
[genvalidity-mergeful] include random-1.2.1.3-JQFbb4Wq5My85rRMSTQUGB
10.17 s
[genvalidity-mergeful] include safe-coloured-text-0.3.0.2-EuMQ1GltvkVICluEv4vLqd
10.17 s
[genvalidity-mergeful] include sydtest-0.19.0.0-2NUnl2Flnln7o8oBccZoQl
10.17 s
[genvalidity-mergeful] include time-1.12.2-979c
10.17 s
[genvalidity-mergeful] include uuid-1.3.16-5e4xnHJbegtLOLTJGcm7Gl
10.17 s
[genvalidity-mergeful] unit genvalidity-mergeful-0.3.0.1-IdcvJAUbgdsG3B2jPL77WY-mergeful-bench
10.17 s
[genvalidity-mergeful] include base-4.20.2.0-143c
10.17 s
[genvalidity-mergeful] include criterion-1.6.4.0-4S5U1cQKmVY6PfXLI5OkIZ
10.17 s
[genvalidity-mergeful] include genvalidity-criterion-1.1.0.0-7G5QHF6n4j1HevUTLUqjCu
10.17 s
[genvalidity-mergeful] include genvalidity-mergeful-0.3.0.1-1WoJkGEXZqU1dLYwlvkHZV
10.17 s
[genvalidity-mergeful] include mergeful-0.3.0.0-GsLNpjk5K5P1wx4miXhmo
10.17 s
[genvalidity-mergeful] Ready component graph:
10.17 s
[genvalidity-mergeful] definite genvalidity-mergeful-0.3.0.1-1WoJkGEXZqU1dLYwlvkHZV
10.17 s
[genvalidity-mergeful] depends QuickCheck-2.15.0.1-4fOficSCSOZBNPbFkHc0Mm
10.17 s
[genvalidity-mergeful] depends base-4.20.2.0-143c
10.17 s
[genvalidity-mergeful] depends containers-0.7-6de3
10.17 s
[genvalidity-mergeful] depends genvalidity-1.1.1.0-3TYQuH5ptQi4PGhicwvjuo
10.17 s
[genvalidity-mergeful] depends genvalidity-containers-1.0.0.2-6e6lYgp06so1bvCO48jseg
10.17 s
[genvalidity-mergeful] depends genvalidity-time-1.0.0.1-KxhNtmfkUhb5wrLGI33hrj
10.17 s
[genvalidity-mergeful] depends mergeful-0.3.0.0-GsLNpjk5K5P1wx4miXhmo
10.17 s
[genvalidity-mergeful] definite genvalidity-mergeful-0.3.0.1-IdcvJAUbgdsG3B2jPL77WY-mergeful-bench
10.17 s
[genvalidity-mergeful] depends base-4.20.2.0-143c
10.17 s
[genvalidity-mergeful] depends criterion-1.6.4.0-4S5U1cQKmVY6PfXLI5OkIZ
10.17 s
[genvalidity-mergeful] depends genvalidity-criterion-1.1.0.0-7G5QHF6n4j1HevUTLUqjCu
10.17 s
[genvalidity-mergeful] depends genvalidity-mergeful-0.3.0.1-1WoJkGEXZqU1dLYwlvkHZV
10.17 s
[genvalidity-mergeful] depends mergeful-0.3.0.0-GsLNpjk5K5P1wx4miXhmo
10.17 s
[genvalidity-mergeful] definite genvalidity-mergeful-0.3.0.1-KKNV0injIb734H3qLiHTIw-mergeful-test
10.17 s
[genvalidity-mergeful] depends QuickCheck-2.15.0.1-4fOficSCSOZBNPbFkHc0Mm
10.17 s
[genvalidity-mergeful] depends autodocodec-0.4.2.2-3nZUv0GbVgZJcYfQUttz6J
10.17 s
[genvalidity-mergeful] depends autodocodec-yaml-0.4.0.1-FHhxesjoXYG88fDKfbrDiI
10.17 s
[genvalidity-mergeful] depends base-4.20.2.0-143c
10.17 s
[genvalidity-mergeful] depends containers-0.7-6de3
10.17 s
[genvalidity-mergeful] depends genvalidity-mergeful-0.3.0.1-1WoJkGEXZqU1dLYwlvkHZV
10.17 s
[genvalidity-mergeful] depends genvalidity-sydtest-1.0.0.0-Ia6389Lc9a7JYj40IFxRCk
10.17 s
[genvalidity-mergeful] depends genvalidity-sydtest-aeson-1.0.0.0-2276SHflAaJJdWuy363NWy
10.17 s
[genvalidity-mergeful] depends genvalidity-uuid-1.0.0.1-5JakGRRLN1r5selbNHT5Bd
10.17 s
[genvalidity-mergeful] depends mergeful-0.3.0.0-GsLNpjk5K5P1wx4miXhmo
10.17 s
[genvalidity-mergeful] depends mtl-2.3.1-9692
10.17 s
[genvalidity-mergeful] depends pretty-show-1.10-DTYM9nKLJNg2en4E90iKlv
10.17 s
[genvalidity-mergeful] depends random-1.2.1.3-JQFbb4Wq5My85rRMSTQUGB
10.17 s
[genvalidity-mergeful] depends safe-coloured-text-0.3.0.2-EuMQ1GltvkVICluEv4vLqd
10.17 s
[genvalidity-mergeful] depends sydtest-0.19.0.0-2NUnl2Flnln7o8oBccZoQl
10.17 s
[genvalidity-mergeful] depends time-1.12.2-979c
10.17 s
[genvalidity-mergeful] depends uuid-1.3.16-5e4xnHJbegtLOLTJGcm7Gl
10.17 s
[genvalidity-mergeful] Using Cabal-3.12.1.0 compiled by ghc-9.10
10.17 s
[genvalidity-mergeful] Using compiler: ghc-9.10.3
10.17 s
[genvalidity-mergeful] Using install prefix:
10.17 s
[genvalidity-mergeful] /nix/store/5i80d6vvhgs5rllfm8hl53r1axmbys71-genvalidity-mergeful-0.3.0.1
10.17 s
[genvalidity-mergeful] Executables installed in:
10.17 s
[genvalidity-mergeful] /nix/store/5i80d6vvhgs5rllfm8hl53r1axmbys71-genvalidity-mergeful-0.3.0.1/bin
10.17 s
[genvalidity-mergeful] Libraries installed in:
10.17 s
[genvalidity-mergeful] /nix/store/5i80d6vvhgs5rllfm8hl53r1axmbys71-genvalidity-mergeful-0.3.0.1/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-b976/genvalidity-mergeful-0.3.0.1-1WoJkGEXZqU1dLYwlvkHZV
10.21 s
[genvalidity-mergeful] Dynamic Libraries installed in:
10.21 s
[genvalidity-mergeful] /nix/store/5i80d6vvhgs5rllfm8hl53r1axmbys71-genvalidity-mergeful-0.3.0.1/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-b976
10.21 s
[genvalidity-mergeful] Private executables installed in:
10.21 s
[genvalidity-mergeful] /nix/store/5i80d6vvhgs5rllfm8hl53r1axmbys71-genvalidity-mergeful-0.3.0.1/libexec/x86_64-linux-ghc-9.10.3-b976/genvalidity-mergeful-0.3.0.1
10.21 s
[genvalidity-mergeful] Data files installed in:
10.21 s
[genvalidity-mergeful] /nix/store/5i80d6vvhgs5rllfm8hl53r1axmbys71-genvalidity-mergeful-0.3.0.1/share/x86_64-linux-ghc-9.10.3-b976/genvalidity-mergeful-0.3.0.1
10.21 s
[genvalidity-mergeful] Documentation installed in:
10.21 s
[genvalidity-mergeful] /nix/store/9q0y6c3cfjmf8ngr16a2fdx6w23gq1fp-genvalidity-mergeful-0.3.0.1-doc/share/doc/genvalidity-mergeful-0.3.0.1
10.21 s
[genvalidity-mergeful] Configuration files installed in:
10.21 s
[genvalidity-mergeful] /nix/store/5i80d6vvhgs5rllfm8hl53r1axmbys71-genvalidity-mergeful-0.3.0.1/etc
10.21 s
[genvalidity-mergeful] No alex found
10.21 s
[genvalidity-mergeful] Using ar found on system at:
10.21 s
[genvalidity-mergeful] /nix/store/xwydcyvlsa3cvssk0y5llgdhlhjvmqdm-binutils-wrapper-2.44/bin/ar
10.21 s
[genvalidity-mergeful] No c2hs found
10.21 s
[genvalidity-mergeful] No cpphs found
10.21 s
[genvalidity-mergeful] No doctest found
10.21 s
[genvalidity-mergeful] Using gcc version 14.3.0 given by user at:
10.21 s
[genvalidity-mergeful] /nix/store/vr15iyyykg9zai6fpgvhcgyw7gckl78w-gcc-wrapper-14.3.0/bin/gcc
10.21 s
[genvalidity-mergeful] Using ghc version 9.10.3 found on system at:
10.21 s
[genvalidity-mergeful] /nix/store/6xdv0kj7ycq56l9sqip2hmxp237j78h4-ghc-9.10.3/bin/ghc
10.21 s
[genvalidity-mergeful] Using ghc-pkg version 9.10.3 found on system at:
10.21 s
[genvalidity-mergeful] /nix/store/6xdv0kj7ycq56l9sqip2hmxp237j78h4-ghc-9.10.3/bin/ghc-pkg-9.10.3
10.21 s
[genvalidity-mergeful] No ghcjs found
10.21 s
[genvalidity-mergeful] No ghcjs-pkg found
10.21 s
[genvalidity-mergeful] No greencard found
10.21 s
[genvalidity-mergeful] Using haddock version 2.31.1 found on system at:
10.21 s
[genvalidity-mergeful] /nix/store/6xdv0kj7ycq56l9sqip2hmxp237j78h4-ghc-9.10.3/bin/haddock-ghc-9.10.3
10.21 s
[genvalidity-mergeful] No happy found
10.21 s
[genvalidity-mergeful] Using haskell-suite found on system at: haskell-suite-dummy-location
10.21 s
[genvalidity-mergeful] Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
10.21 s
[genvalidity-mergeful] No hmake found
10.21 s
[genvalidity-mergeful] Using hpc version 0.69 found on system at:
10.21 s
[genvalidity-mergeful] /nix/store/6xdv0kj7ycq56l9sqip2hmxp237j78h4-ghc-9.10.3/bin/hpc-ghc-9.10.3
10.21 s
[genvalidity-mergeful] Using hsc2hs version 0.68.10 found on system at:
10.21 s
[genvalidity-mergeful] /nix/store/6xdv0kj7ycq56l9sqip2hmxp237j78h4-ghc-9.10.3/bin/hsc2hs-ghc-9.10.3
10.21 s
[genvalidity-mergeful] Using hscolour version 1.25 found on system at:
10.21 s
[genvalidity-mergeful] /nix/store/ghjgsc6v2ca3k4ykij4f2727lmbxba1w-hscolour-1.25/bin/HsColour
10.21 s
[genvalidity-mergeful] No jhc found
10.21 s
[genvalidity-mergeful] Using ld found on system at:
10.21 s
[genvalidity-mergeful] /nix/store/vr15iyyykg9zai6fpgvhcgyw7gckl78w-gcc-wrapper-14.3.0/bin/ld
10.21 s
[genvalidity-mergeful] No pkg-config found
10.21 s
[genvalidity-mergeful] Using runghc version 9.10.3 found on system at:
10.21 s
[genvalidity-mergeful] /nix/store/6xdv0kj7ycq56l9sqip2hmxp237j78h4-ghc-9.10.3/bin/runghc-9.10.3
10.21 s
[genvalidity-mergeful] Using strip version 2.44 found on system at:
10.21 s
[genvalidity-mergeful] /nix/store/vr15iyyykg9zai6fpgvhcgyw7gckl78w-gcc-wrapper-14.3.0/bin/strip
10.21 s
[genvalidity-mergeful] Using tar found on system at:
10.21 s
[genvalidity-mergeful] /nix/store/yi3c5karhx764ham5rfwk7iynr8mjf6q-gnutar-1.35/bin/tar
10.21 s
[genvalidity-mergeful] No uhc found
10.38 s
[genvalidity-mergeful] Phase: buildPhase
10.46 s
[genvalidity-mergeful] Preprocessing library for genvalidity-mergeful-0.3.0.1...
10.46 s
[genvalidity-mergeful] Building library for genvalidity-mergeful-0.3.0.1...
10.55 s
[genvalidity-mergeful] [1 of 6] Compiling Data.GenValidity.Mergeful.Timed ( src/Data/GenValidity/Mergeful/Timed.hs, dist/build/Data/GenValidity/Mergeful/Timed.o, dist/build/Data/GenValidity/Mergeful/Timed.dyn_o )
10.68 s
[genvalidity-mergeful] [2 of 6] Compiling Data.GenValidity.Mergeful.Item ( src/Data/GenValidity/Mergeful/Item.hs, dist/build/Data/GenValidity/Mergeful/Item.o, dist/build/Data/GenValidity/Mergeful/Item.dyn_o )
11.33 s
[genvalidity-mergeful] [3 of 6] Compiling Data.GenValidity.Mergeful.Collection ( src/Data/GenValidity/Mergeful/Collection.hs, dist/build/Data/GenValidity/Mergeful/Collection.o, dist/build/Data/GenValidity/Mergeful/Collection.dyn_o )
11.81 s
[genvalidity-mergeful] [4 of 6] Compiling Data.GenValidity.Mergeful.Value ( src/Data/GenValidity/Mergeful/Value.hs, dist/build/Data/GenValidity/Mergeful/Value.o, dist/build/Data/GenValidity/Mergeful/Value.dyn_o )
11.81 s
[genvalidity-mergeful] [5 of 6] Compiling Data.GenValidity.Mergeful ( src/Data/GenValidity/Mergeful.hs, dist/build/Data/GenValidity/Mergeful.o, dist/build/Data/GenValidity/Mergeful.dyn_o )
11.83 s
[genvalidity-mergeful] [6 of 6] Compiling Paths_genvalidity_mergeful ( dist/build/autogen/Paths_genvalidity_mergeful.hs, dist/build/Paths_genvalidity_mergeful.o, dist/build/Paths_genvalidity_mergeful.dyn_o )
12.03 s
[genvalidity-mergeful] [1 of 6] Compiling Data.GenValidity.Mergeful.Timed ( src/Data/GenValidity/Mergeful/Timed.hs, dist/build/Data/GenValidity/Mergeful/Timed.p_o )
12.22 s
[genvalidity-mergeful] [2 of 6] Compiling Data.GenValidity.Mergeful.Item ( src/Data/GenValidity/Mergeful/Item.hs, dist/build/Data/GenValidity/Mergeful/Item.p_o )
12.89 s
[genvalidity-mergeful] [3 of 6] Compiling Data.GenValidity.Mergeful.Collection ( src/Data/GenValidity/Mergeful/Collection.hs, dist/build/Data/GenValidity/Mergeful/Collection.p_o )
13.47 s
[genvalidity-mergeful] [4 of 6] Compiling Data.GenValidity.Mergeful.Value ( src/Data/GenValidity/Mergeful/Value.hs, dist/build/Data/GenValidity/Mergeful/Value.p_o )
13.47 s
[genvalidity-mergeful] [5 of 6] Compiling Data.GenValidity.Mergeful ( src/Data/GenValidity/Mergeful.hs, dist/build/Data/GenValidity/Mergeful.p_o )
13.57 s
[genvalidity-mergeful] [6 of 6] Compiling Paths_genvalidity_mergeful ( dist/build/autogen/Paths_genvalidity_mergeful.hs, dist/build/Paths_genvalidity_mergeful.p_o )
15.39 s
[genvalidity-mergeful] Preprocessing benchmark 'mergeful-bench' for genvalidity-mergeful-0.3.0.1...
15.39 s
[genvalidity-mergeful] Building benchmark 'mergeful-bench' for genvalidity-mergeful-0.3.0.1...
15.47 s
[genvalidity-mergeful] [1 of 2] Compiling Main ( bench/Bench.hs, dist/build/mergeful-bench/mergeful-bench-tmp/Main.o )
15.73 s
[genvalidity-mergeful] [2 of 2] Compiling Paths_genvalidity_mergeful ( dist/build/mergeful-bench/autogen/Paths_genvalidity_mergeful.hs, dist/build/mergeful-bench/mergeful-bench-tmp/Paths_genvalidity_mergeful.o )
15.89 s
[genvalidity-mergeful] [3 of 3] Linking dist/build/mergeful-bench/mergeful-bench
16.91 s
[genvalidity-mergeful] Preprocessing test suite 'mergeful-test' for genvalidity-mergeful-0.3.0.1...
16.94 s
[genvalidity-mergeful] Building test suite 'mergeful-test' for genvalidity-mergeful-0.3.0.1...
17.04 s
[genvalidity-mergeful] [1 of 6] Compiling Data.Mergeful.CollectionSpec ( test/Data/Mergeful/CollectionSpec.hs, dist/build/mergeful-test/mergeful-test-tmp/Data/Mergeful/CollectionSpec.o )
19.64 s
[genvalidity-mergeful] [2 of 6] Compiling Data.Mergeful.ItemSpec ( test/Data/Mergeful/ItemSpec.hs, dist/build/mergeful-test/mergeful-test-tmp/Data/Mergeful/ItemSpec.o )
19.64 s
[genvalidity-mergeful] [3 of 6] Compiling Data.Mergeful.TimedSpec ( test/Data/Mergeful/TimedSpec.hs, dist/build/mergeful-test/mergeful-test-tmp/Data/Mergeful/TimedSpec.o )
19.64 s
[genvalidity-mergeful] [4 of 6] Compiling Data.Mergeful.ValueSpec ( test/Data/Mergeful/ValueSpec.hs, dist/build/mergeful-test/mergeful-test-tmp/Data/Mergeful/ValueSpec.o )
19.64 s
[genvalidity-mergeful] [5 of 6] Compiling Main ( test/Spec.hs, dist/build/mergeful-test/mergeful-test-tmp/Main.o )
19.68 s
[genvalidity-mergeful] [6 of 6] Compiling Paths_genvalidity_mergeful ( dist/build/mergeful-test/autogen/Paths_genvalidity_mergeful.hs, dist/build/mergeful-test/mergeful-test-tmp/Paths_genvalidity_mergeful.o )
20.04 s
[genvalidity-mergeful] [7 of 7] Linking dist/build/mergeful-test/mergeful-test
24.76 s
[genvalidity-mergeful] Phase: checkPhase
25.13 s
[genvalidity-mergeful] Running 1 test suites...
25.13 s
[genvalidity-mergeful] Test suite mergeful-test: RUNNING...
25.19 s
[genvalidity-mergeful] Tests:
25.19 s
[genvalidity-mergeful]
25.19 s
[genvalidity-mergeful] Data.Mergeful.ValueSpec
25.19 s
[genvalidity-mergeful] ValueSyncResponse
25.19 s
[genvalidity-mergeful] JSON (ValueSyncResponse Word8) (valid)
25.19 s
[genvalidity-mergeful] decode :: Data.ByteString.Lazy.ByteString -> Either String (ValueSyncResponse Word8)
25.19 s
[genvalidity-mergeful] ✓ ensures that encode and decode are inverses for "valid (ValueSyncResponse Word8)"'s 13.52 ms
25.19 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.19 s
[genvalidity-mergeful] encode :: (ValueSyncResponse Word8) -> Data.ByteString.Lazy.ByteString
25.19 s
[genvalidity-mergeful] ✓ never fails to encode a "valid (ValueSyncResponse Word8)" 11.84 ms
25.19 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.19 s
[genvalidity-mergeful] GenValid (ValueSyncResponse Word8)
25.19 s
[genvalidity-mergeful] genValid :: Gen (ValueSyncResponse Word8)
25.19 s
[genvalidity-mergeful] ✓ only generates valid '(ValueSyncResponse Word8)'s 1.73 ms
25.19 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.19 s
[genvalidity-mergeful] ✓ outputs the same schema as before for (ValueSyncResponse Word8) 1.76 ms
25.19 s
[genvalidity-mergeful] processServerValueSync
25.19 s
[genvalidity-mergeful] Server changes
25.19 s
[genvalidity-mergeful] ✓ tells the client that there is a modified item at the server side 3.16 ms
25.19 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.19 s
[genvalidity-mergeful] Conflicts
25.19 s
[genvalidity-mergeful] ✓ notices a conflict if the client and server are trying to sync different items 4.21 ms
25.19 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.19 s
[genvalidity-mergeful] Client changes
25.19 s
[genvalidity-mergeful] ✓ changes the item that the client tells the server to change 1.83 ms
25.19 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.19 s
[genvalidity-mergeful] ✓ produces valid responses and stores 1.76 ms
25.19 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.19 s
[genvalidity-mergeful] ✓ makes no changes if the sync request reflects the state of the server 1.79 ms
25.19 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.19 s
[genvalidity-mergeful] syncing
25.19 s
[genvalidity-mergeful] ✓ succesfully syncs a modification across to a second client 2.28 ms
25.19 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.19 s
[genvalidity-mergeful] ✓ is idempotent with one client 1.94 ms
25.19 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.19 s
[genvalidity-mergeful] mergeValueSyncResponseIgnoreProblems
25.19 s
[genvalidity-mergeful] ✓ produces valid client stores 1.64 ms
25.19 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.19 s
[genvalidity-mergeful] makeValueSyncRequest
25.19 s
[genvalidity-mergeful] ✓ produces valid requests 1.69 ms
25.19 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.19 s
[genvalidity-mergeful] ClientValue
25.19 s
[genvalidity-mergeful] ✓ outputs the same schema as before for (ClientValue Word8) 1.75 ms
25.19 s
[genvalidity-mergeful] JSON (ClientValue Word8) (valid)
25.19 s
[genvalidity-mergeful] decode :: Data.ByteString.Lazy.ByteString -> Either String (ClientValue Word8)
25.19 s
[genvalidity-mergeful] ✓ ensures that encode and decode are inverses for "valid (ClientValue Word8)"'s 9.27 ms
25.19 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.19 s
[genvalidity-mergeful] encode :: (ClientValue Word8) -> Data.ByteString.Lazy.ByteString
25.19 s
[genvalidity-mergeful] ✓ never fails to encode a "valid (ClientValue Word8)" 12.28 ms
25.19 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.19 s
[genvalidity-mergeful] GenValid (ClientValue Word8)
25.19 s
[genvalidity-mergeful] genValid :: Gen (ClientValue Word8)
25.19 s
[genvalidity-mergeful] ✓ only generates valid '(ClientValue Word8)'s 1.71 ms
25.19 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.19 s
[genvalidity-mergeful] ServerValue
25.19 s
[genvalidity-mergeful] ✓ outputs the same schema as before for (ServerValue Word8) 2.50 ms
25.19 s
[genvalidity-mergeful] JSON (ServerValue Word8) (valid)
25.19 s
[genvalidity-mergeful] decode :: Data.ByteString.Lazy.ByteString -> Either String (ServerValue Word8)
25.19 s
[genvalidity-mergeful] ✓ ensures that encode and decode are inverses for "valid (ServerValue Word8)"'s 12.30 ms
25.19 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.19 s
[genvalidity-mergeful] encode :: (ServerValue Word8) -> Data.ByteString.Lazy.ByteString
25.19 s
[genvalidity-mergeful] ✓ never fails to encode a "valid (ServerValue Word8)" 40.68 ms
25.19 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.19 s
[genvalidity-mergeful] GenValid (ServerValue Word8)
25.19 s
[genvalidity-mergeful] genValid :: Gen (ServerValue Word8)
25.19 s
[genvalidity-mergeful] ✓ only generates valid '(ServerValue Word8)'s 2.35 ms
25.19 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.19 s
[genvalidity-mergeful] ValueSyncRequest
25.19 s
[genvalidity-mergeful] ✓ outputs the same schema as before for (ValueSyncRequest Word8) 20.74 ms
25.19 s
[genvalidity-mergeful] GenValid (ValueSyncRequest Word8)
25.19 s
[genvalidity-mergeful] genValid :: Gen (ValueSyncRequest Word8)
25.19 s
[genvalidity-mergeful] ✓ only generates valid '(ValueSyncRequest Word8)'s 2.53 ms
25.19 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.19 s
[genvalidity-mergeful] JSON (ValueSyncRequest Word8) (valid)
25.19 s
[genvalidity-mergeful] encode :: (ValueSyncRequest Word8) -> Data.ByteString.Lazy.ByteString
25.19 s
[genvalidity-mergeful] ✓ never fails to encode a "valid (ValueSyncRequest Word8)" 13.04 ms
25.19 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.19 s
[genvalidity-mergeful] decode :: Data.ByteString.Lazy.ByteString -> Either String (ValueSyncRequest Word8)
25.19 s
[genvalidity-mergeful] ✓ ensures that encode and decode are inverses for "valid (ValueSyncRequest Word8)"'s 11.76 ms
25.19 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.19 s
[genvalidity-mergeful] mergeValueSyncResponseRaw
25.19 s
[genvalidity-mergeful] ✓ produces valid client stores 3.35 ms
25.19 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.19 s
[genvalidity-mergeful] Data.Mergeful.TimedSpec
25.19 s
[genvalidity-mergeful] JSON ServerTime (valid)
25.19 s
[genvalidity-mergeful] decode :: Data.ByteString.Lazy.ByteString -> Either String ServerTime
25.19 s
[genvalidity-mergeful] ✓ ensures that encode and decode are inverses for "valid ServerTime"'s 11.77 ms
25.19 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.19 s
[genvalidity-mergeful] encode :: ServerTime -> Data.ByteString.Lazy.ByteString
25.19 s
[genvalidity-mergeful] ✓ never fails to encode a "valid ServerTime" 9.68 ms
25.19 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.19 s
[genvalidity-mergeful] initialServerTime
25.19 s
[genvalidity-mergeful] ✓ is valid 0.00 ms
25.19 s
[genvalidity-mergeful] GenValid ServerTime
25.19 s
[genvalidity-mergeful] genValid :: Gen ServerTime
25.19 s
[genvalidity-mergeful] ✓ only generates valid 'ServerTime's 1.21 ms
25.19 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.19 s
[genvalidity-mergeful] JSON (Timed Int) (valid)
25.19 s
[genvalidity-mergeful] decode :: Data.ByteString.Lazy.ByteString -> Either String (Timed Int)
25.19 s
[genvalidity-mergeful] ✓ ensures that encode and decode are inverses for "valid (Timed Int)"'s 9.91 ms
25.19 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.19 s
[genvalidity-mergeful] encode :: (Timed Int) -> Data.ByteString.Lazy.ByteString
25.19 s
[genvalidity-mergeful] ✓ never fails to encode a "valid (Timed Int)" 9.97 ms
25.19 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.83 s
[genvalidity-mergeful] GenValid (Timed Int)
25.83 s
[genvalidity-mergeful] genValid :: Gen (Timed Int)
25.83 s
[genvalidity-mergeful] ✓ only generates valid '(Timed Int)'s 1.30 ms
25.83 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.83 s
[genvalidity-mergeful] Data.Mergeful.ItemSpec
25.83 s
[genvalidity-mergeful] ItemSyncResponse
25.83 s
[genvalidity-mergeful] ✓ outputs the same schema as before for (ItemSyncResponse Word8) 1.92 ms
25.83 s
[genvalidity-mergeful] JSON (ItemSyncResponse Word8) (valid)
25.83 s
[genvalidity-mergeful] encode :: (ItemSyncResponse Word8) -> Data.ByteString.Lazy.ByteString
25.83 s
[genvalidity-mergeful] ✓ never fails to encode a "valid (ItemSyncResponse Word8)" 10.11 ms
25.83 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.83 s
[genvalidity-mergeful] decode :: Data.ByteString.Lazy.ByteString -> Either String (ItemSyncResponse Word8)
25.83 s
[genvalidity-mergeful] ✓ ensures that encode and decode are inverses for "valid (ItemSyncResponse Word8)"'s 10.32 ms
25.83 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.83 s
[genvalidity-mergeful] GenValid (ItemSyncResponse Word8)
25.83 s
[genvalidity-mergeful] genValid :: Gen (ItemSyncResponse Word8)
25.83 s
[genvalidity-mergeful] ✓ only generates valid '(ItemSyncResponse Word8)'s 1.01 ms
25.83 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.83 s
[genvalidity-mergeful] makeItemSyncRequest
25.83 s
[genvalidity-mergeful] ✓ produces valid requests 1.18 ms
25.83 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.83 s
[genvalidity-mergeful] ClientItem
25.83 s
[genvalidity-mergeful] JSON (ClientItem Word8) (valid)
25.83 s
[genvalidity-mergeful] decode :: Data.ByteString.Lazy.ByteString -> Either String (ClientItem Word8)
25.83 s
[genvalidity-mergeful] ✓ ensures that encode and decode are inverses for "valid (ClientItem Word8)"'s 10.50 ms
25.83 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.83 s
[genvalidity-mergeful] encode :: (ClientItem Word8) -> Data.ByteString.Lazy.ByteString
25.83 s
[genvalidity-mergeful] ✓ never fails to encode a "valid (ClientItem Word8)" 9.73 ms
25.83 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.83 s
[genvalidity-mergeful] GenValid (ClientItem Word8)
25.83 s
[genvalidity-mergeful] genValid :: Gen (ClientItem Word8)
25.83 s
[genvalidity-mergeful] ✓ only generates valid '(ClientItem Word8)'s 0.87 ms
25.83 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.83 s
[genvalidity-mergeful] ✓ outputs the same schema as before for (ClientItem Word8) 1.09 ms
25.83 s
[genvalidity-mergeful] mergeItemSyncResponseUsingCRDT
25.83 s
[genvalidity-mergeful] ✓ produces valid client stores 1.13 ms
25.83 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.83 s
[genvalidity-mergeful] syncing
25.83 s
[genvalidity-mergeful] fromServer
25.83 s
[genvalidity-mergeful] ✓ succesfully syncs a modification across to a second client 2.60 ms
25.83 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.83 s
[genvalidity-mergeful] ✓ succesfully syncs an addition across to a second client 0.76 ms
25.83 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.83 s
[genvalidity-mergeful] ✓ is idempotent with one client 2.09 ms
25.83 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.83 s
[genvalidity-mergeful] ✓ is returns an empty response on the second sync with no modifications 2.19 ms
25.83 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.83 s
[genvalidity-mergeful] ✓ succesfully syncs a deletion across to a second client 2.15 ms
25.83 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.83 s
[genvalidity-mergeful] ✓ does not run into a conflict if two clients both try to sync a deletion 1.94 ms
25.83 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.83 s
[genvalidity-mergeful] ✓ it always possible to add an item from scratch 0.84 ms
25.83 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.83 s
[genvalidity-mergeful] fromClient
25.83 s
[genvalidity-mergeful] ✓ succesfully syncs a modification across to a second client 2.24 ms
25.83 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.83 s
[genvalidity-mergeful] does not hold
25.83 s
[genvalidity-mergeful] is returns an empty response on the second sync with no modifications
25.83 s
[genvalidity-mergeful] ✓ succesfully syncs a deletion across to a second client 1.88 ms
25.83 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.83 s
[genvalidity-mergeful] ✓ succesfully syncs an addition across to a second client 1.24 ms
25.83 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.83 s
[genvalidity-mergeful] ✓ is idempotent with one client 1.84 ms
25.83 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.83 s
[genvalidity-mergeful] ✓ it always possible to add an item from scratch 1.02 ms
25.83 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.83 s
[genvalidity-mergeful] ✓ does not run into a conflict if two clients both try to sync a deletion 1.80 ms
25.83 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.83 s
[genvalidity-mergeful] gadt
25.83 s
[genvalidity-mergeful] ✓ is returns an empty response on the second sync with no modifications 3.50 ms
25.83 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.83 s
[genvalidity-mergeful] ✓ succesfully syncs an addition across to a second client 0.62 ms
25.83 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.83 s
[genvalidity-mergeful] ✓ it always possible to add an item from scratch 0.69 ms
25.83 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.83 s
[genvalidity-mergeful] ✓ succesfully syncs a deletion across to a second client 1.44 ms
25.83 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.83 s
[genvalidity-mergeful] ✓ does not run into a conflict if two clients both try to sync a deletion 3.29 ms
25.83 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.83 s
[genvalidity-mergeful] ✓ succesfully syncs a modification across to a second client 3.54 ms
25.83 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.83 s
[genvalidity-mergeful] ✓ is idempotent with one client 3.20 ms
25.83 s
[genvalidity-mergeful] passed for all of 100 inputs.
25.83 s
[genvalidity-mergeful] ItemSyncRequest
25.83 s
[genvalidity-mergeful] GenValid (ItemSyncRequest Word8)
26.42 s
[genvalidity-mergeful] genValid :: Gen (ItemSyncRequest Word8)
26.42 s
[genvalidity-mergeful] ✓ only generates valid '(ItemSyncRequest Word8)'s 1.09 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] ✓ outputs the same schema as before for (ItemSyncRequest Word8) 3.03 ms
26.42 s
[genvalidity-mergeful] JSON (ItemSyncRequest Word8) (valid)
26.42 s
[genvalidity-mergeful] encode :: (ItemSyncRequest Word8) -> Data.ByteString.Lazy.ByteString
26.42 s
[genvalidity-mergeful] ✓ never fails to encode a "valid (ItemSyncRequest Word8)" 6.92 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] decode :: Data.ByteString.Lazy.ByteString -> Either String (ItemSyncRequest Word8)
26.42 s
[genvalidity-mergeful] ✓ ensures that encode and decode are inverses for "valid (ItemSyncRequest Word8)"'s 7.14 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] mergeItemSyncResponseFromServer
26.42 s
[genvalidity-mergeful] ✓ produces valid client stores 2.79 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] ServerItem
26.42 s
[genvalidity-mergeful] JSON (ServerItem Word8) (valid)
26.42 s
[genvalidity-mergeful] encode :: (ServerItem Word8) -> Data.ByteString.Lazy.ByteString
26.42 s
[genvalidity-mergeful] ✓ never fails to encode a "valid (ServerItem Word8)" 10.39 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] decode :: Data.ByteString.Lazy.ByteString -> Either String (ServerItem Word8)
26.42 s
[genvalidity-mergeful] ✓ ensures that encode and decode are inverses for "valid (ServerItem Word8)"'s 5.63 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] GenValid (ServerItem Word8)
26.42 s
[genvalidity-mergeful] genValid :: Gen (ServerItem Word8)
26.42 s
[genvalidity-mergeful] ✓ only generates valid '(ServerItem Word8)'s 2.20 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] ✓ outputs the same schema as before for (ServerItem Word8) 0.47 ms
26.42 s
[genvalidity-mergeful] mergeItemSyncResponseFromClient
26.42 s
[genvalidity-mergeful] ✓ produces valid client stores 0.53 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] mergeItemSyncResponseRaw
26.42 s
[genvalidity-mergeful] ✓ produces valid client stores 0.47 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] processServerItemSync
26.42 s
[genvalidity-mergeful] Conflicts
26.42 s
[genvalidity-mergeful] ✓ notices a conflict if the client and server are trying to sync different items 1.08 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] ✓ notices a server-deleted-conflict if the client has a modified item and server has no item 0.62 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] ✓ notices a server-deleted-conflict if the client has a deleted item and server has a modified item 1.06 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] ✓ produces valid responses and stores 0.56 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] ✓ makes no changes if the sync request reflects the state of the empty server 0.01 ms
26.42 s
[genvalidity-mergeful] ✓ makes no changes if the sync request reflects the state of the full server 0.75 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] Server changes
26.42 s
[genvalidity-mergeful] ✓ tells the client that there is a modified item at the server side 1.03 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] ✓ tells the client that there is a new item at the server side 0.57 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] ✓ tells the client that there is a deleted item at the server side 0.43 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] Client changes
26.42 s
[genvalidity-mergeful] ✓ changes the item that the client tells the server to change 0.62 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] ✓ adds the item that the client tells the server to add 0.16 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] ✓ deletes the item that the client tells the server to delete 0.40 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] Data.Mergeful.CollectionSpec
26.42 s
[genvalidity-mergeful] mergeAddedItems
26.42 s
[genvalidity-mergeful] ✓ produces valid results 6.77 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] markItemDeletedInClientStore
26.42 s
[genvalidity-mergeful] ✓ makes the client store one smaller 10.34 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] ✓ produces valid stores 8.56 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] ✓ ensures that the added item is in fact not in the result 12.41 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] Syncing with mergeSyncResponseFromClient
26.42 s
[genvalidity-mergeful] ✓ does not lose data after a conflict occurs 3.49 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] Single client
26.42 s
[genvalidity-mergeful] Multi-item
26.42 s
[genvalidity-mergeful] ✓ is idempotent with one client 669.27 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] ✓ succesfully downloads everything from the server for an empty client 11.16 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] ✓ succesfully uploads everything to the server for an empty server 14.32 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] mergeClientDeletedConflicts
26.42 s
[genvalidity-mergeful] ✓ produces valid results 11.90 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] Multiple clients
26.42 s
[genvalidity-mergeful] Single-item
26.42 s
[genvalidity-mergeful] ✓ successfully syncs a modification accross to a second client 12.46 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] ✓ successfully syncs an addition accross to a second client 5.50 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] ✓ does not run into a conflict if two clients both try to sync a deletion 5.74 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] ✓ succesfully syncs a deletion across to a second client 8.50 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] Multiple items
26.42 s
[genvalidity-mergeful] ✓ successfully syncs additions accross to a second client 19.85 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] ✓ does not run into a conflict if two clients both try to sync a deletion 25.00 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] ✓ succesfully syncs deletions across to a second client 18.23 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] mergeSyncedButChangedConflicts
26.42 s
[genvalidity-mergeful] ✓ produces valid results 7.91 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] mergeServerDeletedConflicts
26.42 s
[genvalidity-mergeful] ✓ produces valid results 11.98 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] does not hold
26.42 s
[genvalidity-mergeful] is returns an empty response on the second sync with no modifications
26.42 s
[genvalidity-mergeful] does not diverge after a conflict occurs
26.42 s
[genvalidity-mergeful] mergeDeletedItems
26.42 s
[genvalidity-mergeful] ✓ produces valid results 5.17 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] There must not be id conflicts
26.42 s
[genvalidity-mergeful] mergeSyncResponseFromServer
26.42 s
[genvalidity-mergeful] produces valid requests
26.42 s
[genvalidity-mergeful] mergeSyncResponseUsingCRDT
26.42 s
[genvalidity-mergeful] produces valid requests
26.42 s
[genvalidity-mergeful] mergeSyncResponseFromClient
26.42 s
[genvalidity-mergeful] produces valid requests
26.42 s
[genvalidity-mergeful] mergeSyncedButChangedItems
26.42 s
[genvalidity-mergeful] ✓ produces valid results 10.28 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] ClientAddition
26.42 s
[genvalidity-mergeful] JSON (ClientAddition Word8) (valid)
26.42 s
[genvalidity-mergeful] encode :: (ClientAddition Word8) -> Data.ByteString.Lazy.ByteString
26.42 s
[genvalidity-mergeful] ✓ never fails to encode a "valid (ClientAddition Word8)" 4.25 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] decode :: Data.ByteString.Lazy.ByteString -> Either String (ClientAddition Word8)
26.42 s
[genvalidity-mergeful] ✓ ensures that encode and decode are inverses for "valid (ClientAddition Word8)"'s 4.69 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] ✓ outputs the same schema as before for (ClientAddition Word8) 0.31 ms
26.42 s
[genvalidity-mergeful] GenValid (ClientAddition Word8)
26.42 s
[genvalidity-mergeful] genValid :: Gen (ClientAddition Word8)
26.42 s
[genvalidity-mergeful] ✓ only generates valid '(ClientAddition Word8)'s 3.34 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] processServerSync
26.42 s
[genvalidity-mergeful] ✓ produces valid tuples of a response and a store 19.94 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] initialSyncRequest
26.42 s
[genvalidity-mergeful] ✓ is valid 0.01 ms
26.42 s
[genvalidity-mergeful] ClientId
26.42 s
[genvalidity-mergeful] GenValid ClientId
26.42 s
[genvalidity-mergeful] genValid :: Gen ClientId
26.42 s
[genvalidity-mergeful] ✓ only generates valid 'ClientId's 0.54 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] JSON ClientId (valid)
26.42 s
[genvalidity-mergeful] encode :: ClientId -> Data.ByteString.Lazy.ByteString
26.42 s
[genvalidity-mergeful] ✓ never fails to encode a "valid ClientId" 4.41 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] decode :: Data.ByteString.Lazy.ByteString -> Either String ClientId
26.42 s
[genvalidity-mergeful] ✓ ensures that encode and decode are inverses for "valid ClientId"'s 3.80 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] ✓ outputs the same schema as before for ClientId 0.85 ms
26.42 s
[genvalidity-mergeful] makeSyncRequest
26.42 s
[genvalidity-mergeful] ✓ produces valid requests 12.33 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] ServerStore
26.42 s
[genvalidity-mergeful] JSON (ServerStore Word8 Word8) (valid)
26.42 s
[genvalidity-mergeful] decode :: Data.ByteString.Lazy.ByteString -> Either String (ServerStore Word8 Word8)
26.42 s
[genvalidity-mergeful] ✓ ensures that encode and decode are inverses for "valid (ServerStore Word8 Word8)"'s 22.92 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] encode :: (ServerStore Word8 Word8) -> Data.ByteString.Lazy.ByteString
26.42 s
[genvalidity-mergeful] ✓ never fails to encode a "valid (ServerStore Word8 Word8)" 13.21 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] GenValid (ServerStore Word8 Word8)
26.42 s
[genvalidity-mergeful] genValid :: Gen (ServerStore Word8 Word8)
26.42 s
[genvalidity-mergeful] ✓ only generates valid '(ServerStore Word8 Word8)'s 9.92 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] ✓ outputs the same schema as before for (ServerStore Word8 Word8) 0.21 ms
26.42 s
[genvalidity-mergeful] initialServerStore
26.42 s
[genvalidity-mergeful] ✓ is valid 0.01 ms
26.42 s
[genvalidity-mergeful] SyncResponse
26.42 s
[genvalidity-mergeful] JSON (SyncResponse ClientId Word8 Word8) (valid)
26.42 s
[genvalidity-mergeful] encode :: (SyncResponse ClientId Word8 Word8) -> Data.ByteString.Lazy.ByteString
26.42 s
[genvalidity-mergeful] ✓ never fails to encode a "valid (SyncResponse ClientId Word8 Word8)" 661.81 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] decode :: Data.ByteString.Lazy.ByteString -> Either String (SyncResponse ClientId Word8 Word8)
26.42 s
[genvalidity-mergeful] ✓ ensures that encode and decode are inverses for "valid (SyncResponse ClientId Word8 Word8)"'s 671.50 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] ✓ outputs the same schema as before for (SyncResponse ClientId Word8 Word8) 1.62 ms
26.42 s
[genvalidity-mergeful] GenValid (SyncResponse ClientId Word8 Word8)
26.42 s
[genvalidity-mergeful] genValid :: Gen (SyncResponse ClientId Word8 Word8)
26.42 s
[genvalidity-mergeful] ✓ only generates valid '(SyncResponse ClientId Word8 Word8)'s 656.98 ms
26.42 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.42 s
[genvalidity-mergeful] SyncRequest
26.42 s
[genvalidity-mergeful] GenValid (SyncRequest ClientId Word8 Word8)
26.43 s
[genvalidity-mergeful] genValid :: Gen (SyncRequest ClientId Word8 Word8)
26.43 s
[genvalidity-mergeful] ✓ only generates valid '(SyncRequest ClientId Word8 Word8)'s 14.01 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] JSON (SyncRequest ClientId Word8 Word8) (valid)
26.43 s
[genvalidity-mergeful] decode :: Data.ByteString.Lazy.ByteString -> Either String (SyncRequest ClientId Word8 Word8)
26.43 s
[genvalidity-mergeful] ✓ ensures that encode and decode are inverses for "valid (SyncRequest ClientId Word8 Word8)"'s 23.38 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] encode :: (SyncRequest ClientId Word8 Word8) -> Data.ByteString.Lazy.ByteString
26.43 s
[genvalidity-mergeful] ✓ never fails to encode a "valid (SyncRequest ClientId Word8 Word8)" 15.23 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] ✓ outputs the same schema as before for (SyncRequest ClientId Word8 Word8) 1.07 ms
26.43 s
[genvalidity-mergeful] changeItemInClientStore
26.43 s
[genvalidity-mergeful] ✓ ensures that the changed item is in fact in the result 12.48 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] ✓ produces valid stores 6.96 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] ✓ doesn't change the size of the client store 11.49 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] initialClientStore
26.43 s
[genvalidity-mergeful] ✓ is valid 0.01 ms
26.43 s
[genvalidity-mergeful] ClientStore
26.43 s
[genvalidity-mergeful] GenValid (ClientStore ClientId Word8 Word8)
26.43 s
[genvalidity-mergeful] genValid :: Gen (ClientStore ClientId Word8 Word8)
26.43 s
[genvalidity-mergeful] ✓ only generates valid '(ClientStore ClientId Word8 Word8)'s 14.49 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] JSON (ClientStore ClientId Word8 Word8) (valid)
26.43 s
[genvalidity-mergeful] decode :: Data.ByteString.Lazy.ByteString -> Either String (ClientStore ClientId Word8 Word8)
26.43 s
[genvalidity-mergeful] ✓ ensures that encode and decode are inverses for "valid (ClientStore ClientId Word8 Word8)"'s 667.38 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] encode :: (ClientStore ClientId Word8 Word8) -> Data.ByteString.Lazy.ByteString
26.43 s
[genvalidity-mergeful] ✓ never fails to encode a "valid (ClientStore ClientId Word8 Word8)" 14.27 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] ✓ outputs the same schema as before for (ClientStore ClientId Word8 Word8) 9.83 ms
26.43 s
[genvalidity-mergeful] deleteItemFromClientStore
26.43 s
[genvalidity-mergeful] ✓ produces valid stores 7.11 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] ✓ makes the client store one smaller 11.19 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] emptySyncResponse
26.43 s
[genvalidity-mergeful] ✓ is valid 0.01 ms
26.43 s
[genvalidity-mergeful] Syncing with mergeSyncResponseFromServer
26.43 s
[genvalidity-mergeful] Multiple clients
26.43 s
[genvalidity-mergeful] Multiple items
26.43 s
[genvalidity-mergeful] ✓ does not run into a conflict if two clients both try to sync a deletion 18.85 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] ✓ succesfully syncs deletions across to a second client 16.36 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] ✓ successfully syncs additions accross to a second client 652.99 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] Single-item
26.43 s
[genvalidity-mergeful] ✓ does not run into a conflict if two clients both try to sync a deletion 5.56 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] ✓ succesfully syncs a deletion across to a second client 5.09 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] ✓ successfully syncs an addition accross to a second client 7.19 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] ✓ successfully syncs a modification accross to a second client 4.69 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] mergeClientDeletedConflicts
26.43 s
[genvalidity-mergeful] ✓ produces valid results 6.54 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] mergeSyncResponseFromServer
26.43 s
[genvalidity-mergeful] ✓ only differs from mergeSyncResponseFromClient on conflicts 667.48 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] ✓ is returns an empty response on the second sync with no modifications 662.03 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] Single client
26.43 s
[genvalidity-mergeful] Multi-item
26.43 s
[genvalidity-mergeful] ✓ succesfully uploads everything to the server for an empty server 12.53 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] ✓ is idempotent with one client 653.26 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] ✓ succesfully downloads everything from the server for an empty client 11.71 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] mergeServerDeletedConflicts
26.43 s
[genvalidity-mergeful] ✓ produces valid results 7.43 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] mergeSyncedButChangedConflicts
26.43 s
[genvalidity-mergeful] ✓ produces valid results 3.86 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] ✓ does not diverge after a conflict occurs 8.46 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] does not hold
26.43 s
[genvalidity-mergeful] does not lose data after a conflict occurs
26.43 s
[genvalidity-mergeful] addItemToClientStore
26.43 s
[genvalidity-mergeful] ✓ ensures that the added item is in fact in the result 10.43 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] ✓ produces valid stores 9.98 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] ✓ makes the client store one bigger 8.57 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] Syncing with mergeSyncResponseUsingStrategy with a GCounter
26.43 s
[genvalidity-mergeful] mergeServerDeletedConflicts
26.43 s
[genvalidity-mergeful] ✓ produces valid results 7.19 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] ✓ does not diverge after a conflict occurs 8.64 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] Multiple clients
26.43 s
[genvalidity-mergeful] Single-item
26.43 s
[genvalidity-mergeful] ✓ does not run into a conflict if two clients both try to sync a deletion 5.76 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] ✓ successfully syncs a modification accross to a second client 5.74 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] ✓ successfully syncs an addition accross to a second client 3.31 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] ✓ succesfully syncs a deletion across to a second client 4.58 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] Multiple items
26.43 s
[genvalidity-mergeful] ✓ successfully syncs additions accross to a second client 644.00 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] ✓ does not run into a conflict if two clients both try to sync a deletion 641.82 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] ✓ succesfully syncs deletions across to a second client 640.38 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] Single client
26.43 s
[genvalidity-mergeful] Multi-item
26.43 s
[genvalidity-mergeful] ✓ succesfully downloads everything from the server for an empty client 637.67 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] ✓ is idempotent with one client 649.08 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] ✓ succesfully uploads everything to the server for an empty server 639.91 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] ✓ does not lose data after a conflict occurs 632.65 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] mergeSyncedButChangedConflicts
26.43 s
[genvalidity-mergeful] ✓ produces valid results 2.67 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] mergeSyncResponseFromServer
26.43 s
[genvalidity-mergeful] ✓ only differs from mergeSyncResponseFromClient on conflicts 669.57 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] ✓ is returns an empty response on the second sync with no modifications 655.97 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] mergeSyncResponseFromServer
26.43 s
[genvalidity-mergeful] ✓ only differs from mergeSyncResponseFromClient on conflicts 662.82 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful] mergeClientDeletedConflicts
26.43 s
[genvalidity-mergeful] ✓ produces valid results 633.46 ms
26.43 s
[genvalidity-mergeful] passed for all of 100 inputs.
26.43 s
[genvalidity-mergeful]
26.43 s
[genvalidity-mergeful]
26.43 s
[genvalidity-mergeful] Examples: 15820
26.43 s
[genvalidity-mergeful] Passed: 178
26.43 s
[genvalidity-mergeful] Failed: 0
26.43 s
[genvalidity-mergeful] Pending: 7
26.43 s
[genvalidity-mergeful] Sum of test runtimes: 14.06 seconds
26.43 s
[genvalidity-mergeful] Test suite took: 0.71 seconds
26.43 s
[genvalidity-mergeful]
26.43 s
[genvalidity-mergeful] Test suite mergeful-test: PASS
26.43 s
[genvalidity-mergeful] Test suite logged to: dist/test/genvalidity-mergeful-0.3.0.1-mergeful-test.log
26.43 s
[genvalidity-mergeful] 1 of 1 test suites (1 of 1 test cases) passed.
26.43 s
[genvalidity-mergeful] Phase: haddockPhase
26.57 s
[genvalidity-mergeful] Preprocessing library for genvalidity-mergeful-0.3.0.1...
26.57 s
[genvalidity-mergeful] Running Haddock on library for genvalidity-mergeful-0.3.0.1...
26.57 s
[genvalidity-mergeful] Warning: The documentation for the following packages are not installed. No
26.57 s
[genvalidity-mergeful] links will be generated to these packages: vector-0.13.2.0
26.79 s
[genvalidity-mergeful] [1 of 6] Compiling Data.GenValidity.Mergeful.Timed ( src/Data/GenValidity/Mergeful/Timed.hs, nothing )
26.88 s
[genvalidity-mergeful] [2 of 6] Compiling Data.GenValidity.Mergeful.Item ( src/Data/GenValidity/Mergeful/Item.hs, nothing )
26.90 s
[genvalidity-mergeful] [3 of 6] Compiling Data.GenValidity.Mergeful.Collection ( src/Data/GenValidity/Mergeful/Collection.hs, nothing )
26.95 s
[genvalidity-mergeful] [4 of 6] Compiling Data.GenValidity.Mergeful.Value ( src/Data/GenValidity/Mergeful/Value.hs, nothing )
26.96 s
[genvalidity-mergeful] [5 of 6] Compiling Data.GenValidity.Mergeful ( src/Data/GenValidity/Mergeful.hs, nothing )
26.96 s
[genvalidity-mergeful] [6 of 6] Compiling Paths_genvalidity_mergeful ( dist/build/autogen/Paths_genvalidity_mergeful.hs, nothing )
26.97 s
[genvalidity-mergeful] Haddock coverage:
26.97 s
[genvalidity-mergeful] 0% ( 0 / 1) in 'Data.GenValidity.Mergeful.Timed'
26.97 s
[genvalidity-mergeful] Missing documentation for:
26.97 s
[genvalidity-mergeful] Module header
26.97 s
[genvalidity-mergeful] 0% ( 0 / 1) in 'Data.GenValidity.Mergeful.Item'
26.97 s
[genvalidity-mergeful] Missing documentation for:
26.97 s
[genvalidity-mergeful] Module header
26.97 s
[genvalidity-mergeful] 0% ( 0 / 3) in 'Data.GenValidity.Mergeful.Collection'
26.97 s
[genvalidity-mergeful] Missing documentation for:
26.97 s
[genvalidity-mergeful] Module header
26.97 s
[genvalidity-mergeful] splitSet (src/Data/GenValidity/Mergeful/Collection.hs:96)
26.97 s
[genvalidity-mergeful] mapWithIds (src/Data/GenValidity/Mergeful/Collection.hs:104)
26.97 s
[genvalidity-mergeful] 0% ( 0 / 1) in 'Data.GenValidity.Mergeful.Value'
26.97 s
[genvalidity-mergeful] Missing documentation for:
26.97 s
[genvalidity-mergeful] Module header
26.97 s
[genvalidity-mergeful] 0% ( 0 / 1) in 'Data.GenValidity.Mergeful'
26.97 s
[genvalidity-mergeful] Missing documentation for:
26.97 s
[genvalidity-mergeful] Module header
31.48 s
[genvalidity-mergeful] Documentation created: dist/doc/html/genvalidity-mergeful/,
31.64 s
[genvalidity-mergeful] dist/doc/html/genvalidity-mergeful/genvalidity-mergeful.txt
31.64 s
[genvalidity-mergeful] Preprocessing benchmark 'mergeful-bench' for genvalidity-mergeful-0.3.0.1...
31.64 s
[genvalidity-mergeful] Preprocessing test suite 'mergeful-test' for genvalidity-mergeful-0.3.0.1...
31.64 s
[genvalidity-mergeful] Phase: installPhase
31.66 s
[genvalidity-mergeful] Installing library in /nix/store/5i80d6vvhgs5rllfm8hl53r1axmbys71-genvalidity-mergeful-0.3.0.1/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-b976/genvalidity-mergeful-0.3.0.1-1WoJkGEXZqU1dLYwlvkHZV
32.08 s
[genvalidity-mergeful] Phase: fixupPhase
32.09 s
[genvalidity-mergeful] shrinking RPATHs of ELF executables and libraries in /nix/store/5i80d6vvhgs5rllfm8hl53r1axmbys71-genvalidity-mergeful-0.3.0.1
32.10 s
[genvalidity-mergeful] shrinking /nix/store/5i80d6vvhgs5rllfm8hl53r1axmbys71-genvalidity-mergeful-0.3.0.1/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-b976/libHSgenvalidity-mergeful-0.3.0.1-1WoJkGEXZqU1dLYwlvkHZV-ghc9.10.3.so
32.12 s
[genvalidity-mergeful] checking for references to /build/ in /nix/store/5i80d6vvhgs5rllfm8hl53r1axmbys71-genvalidity-mergeful-0.3.0.1...
32.15 s
[genvalidity-mergeful] patching script interpreter paths in /nix/store/5i80d6vvhgs5rllfm8hl53r1axmbys71-genvalidity-mergeful-0.3.0.1
32.15 s
[genvalidity-mergeful] stripping (with command strip and flags -S -p) in /nix/store/5i80d6vvhgs5rllfm8hl53r1axmbys71-genvalidity-mergeful-0.3.0.1/lib
32.20 s
[genvalidity-mergeful] shrinking RPATHs of ELF executables and libraries in /nix/store/9q0y6c3cfjmf8ngr16a2fdx6w23gq1fp-genvalidity-mergeful-0.3.0.1-doc
32.21 s
[genvalidity-mergeful] checking for references to /build/ in /nix/store/9q0y6c3cfjmf8ngr16a2fdx6w23gq1fp-genvalidity-mergeful-0.3.0.1-doc...
32.22 s
[genvalidity-mergeful] patching script interpreter paths in /nix/store/9q0y6c3cfjmf8ngr16a2fdx6w23gq1fp-genvalidity-mergeful-0.3.0.1-doc
32.27 s
[post-build-hook] Uploading to the NixCI staging cache: /nix/store/5i80d6vvhgs5rllfm8hl53r1axmbys71-genvalidity-mergeful-0.3.0.1 /nix/store/9q0y6c3cfjmf8ngr16a2fdx6w23gq1fp-genvalidity-mergeful-0.3.0.1-doc
32.52 s
[post-build-hook] copying 2 paths...
32.52 s
[post-build-hook] copying path '/nix/store/9q0y6c3cfjmf8ngr16a2fdx6w23gq1fp-genvalidity-mergeful-0.3.0.1-doc' to 'https://cache.staging.nix-ci.com'...
32.76 s
[post-build-hook] copying path '/nix/store/5i80d6vvhgs5rllfm8hl53r1axmbys71-genvalidity-mergeful-0.3.0.1' to 'https://cache.staging.nix-ci.com'...
33.69 s
[post-build-hook] copying 1 paths...
33.69 s
[post-build-hook] copying path '/nix/store/z64zybqxcg6mjxd41038a9xaxfz6qrii-genvalidity-mergeful-0.3.0.1.drv' to 'https://cache.staging.nix-ci.com'...
33.95 s
Progress: 2 of 3 built