build packages.x86_64-linux.genvalidity-mergeful

Reproduce this run
  1. 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
  2. 0.22 s
  3. 1.04 s Building genvalidity-mergeful-source
  4. 1.42 s [genvalidity-mergeful-source] Phase: setupCompilerEnvironmentPhase
  5. 1.42 s [genvalidity-mergeful-source] Build with /nix/store/6xdv0kj7ycq56l9sqip2hmxp237j78h4-ghc-9.10.3.
  6. 1.93 s [genvalidity-mergeful-source] Phase: unpackPhase
  7. 2.01 s [genvalidity-mergeful-source] unpacking source archive /nix/store/h694x53ms4i8ankyhwqcnn8dy7wjmyin-genvalidity-mergeful
  8. 2.03 s [genvalidity-mergeful-source] source root is genvalidity-mergeful
  9. 2.04 s [genvalidity-mergeful-source] Phase: patchPhase
  10. 2.04 s [genvalidity-mergeful-source] Phase: compileBuildDriverPhase
  11. 2.05 s [genvalidity-mergeful-source] setupCompileFlags: -package-db=/build/tmp.Chy61q448Y/setup-package.conf.d -threaded
  12. 2.10 s [genvalidity-mergeful-source] [1 of 2] Compiling Main ( /nix/store/4mdp8nhyfddh7bllbi7xszz7k9955n79-Setup.hs, /build/tmp.Chy61q448Y/Main.o )
  13. 2.16 s [genvalidity-mergeful-source] [2 of 2] Linking Setup
  14. 3.43 s [genvalidity-mergeful-source] Phase: updateAutotoolsGnuConfigScriptsPhase
  15. 3.44 s [genvalidity-mergeful-source] Phase: configurePhase
  16. 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
  17. 3.45 s [genvalidity-mergeful-source] Using Parsec parser
  18. 3.45 s [genvalidity-mergeful-source] Configuring genvalidity-mergeful-0.3.0.1...
  19. 4.41 s [genvalidity-mergeful-source] Dependency QuickCheck: using QuickCheck-2.15.0.1
  20. 4.41 s [genvalidity-mergeful-source] Dependency base <5: using base-4.20.2.0
  21. 4.41 s [genvalidity-mergeful-source] Dependency containers: using containers-0.7
  22. 4.41 s [genvalidity-mergeful-source] Dependency genvalidity >=1.0: using genvalidity-1.1.1.0
  23. 4.41 s [genvalidity-mergeful-source] Dependency genvalidity-containers: using genvalidity-containers-1.0.0.2
  24. 4.41 s [genvalidity-mergeful-source] Dependency genvalidity-time: using genvalidity-time-1.0.0.1
  25. 4.41 s [genvalidity-mergeful-source] Dependency mergeful: using mergeful-0.3.0.0
  26. 4.41 s [genvalidity-mergeful-source] Dependency QuickCheck: using QuickCheck-2.15.0.1
  27. 4.41 s [genvalidity-mergeful-source] Dependency autodocodec: using autodocodec-0.4.2.2
  28. 4.41 s [genvalidity-mergeful-source] Dependency autodocodec-yaml: using autodocodec-yaml-0.4.0.1
  29. 4.41 s [genvalidity-mergeful-source] Dependency base <5: using base-4.20.2.0
  30. 4.41 s [genvalidity-mergeful-source] Dependency containers: using containers-0.7
  31. 4.41 s [genvalidity-mergeful-source] Dependency genvalidity-mergeful: using genvalidity-mergeful-0.3.0.1
  32. 4.41 s [genvalidity-mergeful-source] Dependency genvalidity-sydtest: using genvalidity-sydtest-1.0.0.0
  33. 4.41 s [genvalidity-mergeful-source] Dependency genvalidity-sydtest-aeson: using genvalidity-sydtest-aeson-1.0.0.0
  34. 4.41 s [genvalidity-mergeful-source] Dependency genvalidity-uuid: using genvalidity-uuid-1.0.0.1
  35. 4.41 s [genvalidity-mergeful-source] Dependency mergeful: using mergeful-0.3.0.0
  36. 4.41 s [genvalidity-mergeful-source] Dependency mtl: using mtl-2.3.1
  37. 4.41 s [genvalidity-mergeful-source] Dependency pretty-show: using pretty-show-1.10
  38. 4.41 s [genvalidity-mergeful-source] Dependency random: using random-1.2.1.3
  39. 4.41 s [genvalidity-mergeful-source] Dependency safe-coloured-text: using safe-coloured-text-0.3.0.2
  40. 4.41 s [genvalidity-mergeful-source] Dependency sydtest: using sydtest-0.19.0.0
  41. 4.41 s [genvalidity-mergeful-source] Dependency time: using time-1.12.2
  42. 4.41 s [genvalidity-mergeful-source] Dependency uuid: using uuid-1.3.16
  43. 4.41 s [genvalidity-mergeful-source] Source component graph:
  44. 4.41 s [genvalidity-mergeful-source] component lib
  45. 4.41 s [genvalidity-mergeful-source] component test:mergeful-test dependency lib
  46. 4.41 s [genvalidity-mergeful-source] Configured component graph:
  47. 4.41 s [genvalidity-mergeful-source] component genvalidity-mergeful-0.3.0.1-AKecfL8G6EZI4Y0rZPWIBo
  48. 4.41 s [genvalidity-mergeful-source] include QuickCheck-2.15.0.1-4fOficSCSOZBNPbFkHc0Mm
  49. 4.41 s [genvalidity-mergeful-source] include base-4.20.2.0-143c
  50. 4.41 s [genvalidity-mergeful-source] include containers-0.7-6de3
  51. 4.41 s [genvalidity-mergeful-source] include genvalidity-1.1.1.0-3TYQuH5ptQi4PGhicwvjuo
  52. 4.41 s [genvalidity-mergeful-source] include genvalidity-containers-1.0.0.2-6e6lYgp06so1bvCO48jseg
  53. 4.41 s [genvalidity-mergeful-source] include genvalidity-time-1.0.0.1-KxhNtmfkUhb5wrLGI33hrj
  54. 4.41 s [genvalidity-mergeful-source] include mergeful-0.3.0.0-GsLNpjk5K5P1wx4miXhmo
  55. 4.41 s [genvalidity-mergeful-source] component genvalidity-mergeful-0.3.0.1-Kr4SKOWxgwZ57I1SOchoeX-mergeful-test
  56. 4.41 s [genvalidity-mergeful-source] include QuickCheck-2.15.0.1-4fOficSCSOZBNPbFkHc0Mm
  57. 4.42 s [genvalidity-mergeful-source] include autodocodec-0.4.2.2-3nZUv0GbVgZJcYfQUttz6J
  58. 4.42 s [genvalidity-mergeful-source] include autodocodec-yaml-0.4.0.1-FHhxesjoXYG88fDKfbrDiI
  59. 4.42 s [genvalidity-mergeful-source] include base-4.20.2.0-143c
  60. 4.42 s [genvalidity-mergeful-source] include containers-0.7-6de3
  61. 4.42 s [genvalidity-mergeful-source] include genvalidity-mergeful-0.3.0.1-AKecfL8G6EZI4Y0rZPWIBo
  62. 4.42 s [genvalidity-mergeful-source] include genvalidity-sydtest-1.0.0.0-Ia6389Lc9a7JYj40IFxRCk
  63. 4.42 s [genvalidity-mergeful-source] include genvalidity-sydtest-aeson-1.0.0.0-2276SHflAaJJdWuy363NWy
  64. 4.42 s [genvalidity-mergeful-source] include genvalidity-uuid-1.0.0.1-5JakGRRLN1r5selbNHT5Bd
  65. 4.42 s [genvalidity-mergeful-source] include mergeful-0.3.0.0-GsLNpjk5K5P1wx4miXhmo
  66. 4.42 s [genvalidity-mergeful-source] include mtl-2.3.1-9692
  67. 4.42 s [genvalidity-mergeful-source] include pretty-show-1.10-DTYM9nKLJNg2en4E90iKlv
  68. 4.42 s [genvalidity-mergeful-source] include random-1.2.1.3-JQFbb4Wq5My85rRMSTQUGB
  69. 4.42 s [genvalidity-mergeful-source] include safe-coloured-text-0.3.0.2-EuMQ1GltvkVICluEv4vLqd
  70. 4.42 s [genvalidity-mergeful-source] include sydtest-0.19.0.0-2NUnl2Flnln7o8oBccZoQl
  71. 4.42 s [genvalidity-mergeful-source] include time-1.12.2-979c
  72. 4.42 s [genvalidity-mergeful-source] include uuid-1.3.16-5e4xnHJbegtLOLTJGcm7Gl
  73. 4.42 s [genvalidity-mergeful-source] Linked component graph:
  74. 4.42 s [genvalidity-mergeful-source] unit genvalidity-mergeful-0.3.0.1-AKecfL8G6EZI4Y0rZPWIBo
  75. 4.42 s [genvalidity-mergeful-source] include QuickCheck-2.15.0.1-4fOficSCSOZBNPbFkHc0Mm
  76. 4.42 s [genvalidity-mergeful-source] include base-4.20.2.0-143c
  77. 4.42 s [genvalidity-mergeful-source] include containers-0.7-6de3
  78. 4.42 s [genvalidity-mergeful-source] include genvalidity-1.1.1.0-3TYQuH5ptQi4PGhicwvjuo
  79. 4.42 s [genvalidity-mergeful-source] include genvalidity-containers-1.0.0.2-6e6lYgp06so1bvCO48jseg
  80. 4.42 s [genvalidity-mergeful-source] include genvalidity-time-1.0.0.1-KxhNtmfkUhb5wrLGI33hrj
  81. 4.42 s [genvalidity-mergeful-source] include mergeful-0.3.0.0-GsLNpjk5K5P1wx4miXhmo
  82. 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
  83. 4.42 s [genvalidity-mergeful-source] unit genvalidity-mergeful-0.3.0.1-Kr4SKOWxgwZ57I1SOchoeX-mergeful-test
  84. 4.42 s [genvalidity-mergeful-source] include QuickCheck-2.15.0.1-4fOficSCSOZBNPbFkHc0Mm
  85. 4.42 s [genvalidity-mergeful-source] include autodocodec-0.4.2.2-3nZUv0GbVgZJcYfQUttz6J
  86. 4.42 s [genvalidity-mergeful-source] include autodocodec-yaml-0.4.0.1-FHhxesjoXYG88fDKfbrDiI
  87. 4.42 s [genvalidity-mergeful-source] include base-4.20.2.0-143c
  88. 4.42 s [genvalidity-mergeful-source] include containers-0.7-6de3
  89. 4.42 s [genvalidity-mergeful-source] include genvalidity-mergeful-0.3.0.1-AKecfL8G6EZI4Y0rZPWIBo
  90. 4.42 s [genvalidity-mergeful-source] include genvalidity-sydtest-1.0.0.0-Ia6389Lc9a7JYj40IFxRCk
  91. 4.42 s [genvalidity-mergeful-source] include genvalidity-sydtest-aeson-1.0.0.0-2276SHflAaJJdWuy363NWy
  92. 4.42 s [genvalidity-mergeful-source] include genvalidity-uuid-1.0.0.1-5JakGRRLN1r5selbNHT5Bd
  93. 4.42 s [genvalidity-mergeful-source] include mergeful-0.3.0.0-GsLNpjk5K5P1wx4miXhmo
  94. 4.42 s [genvalidity-mergeful-source] include mtl-2.3.1-9692
  95. 4.42 s [genvalidity-mergeful-source] include pretty-show-1.10-DTYM9nKLJNg2en4E90iKlv
  96. 4.42 s [genvalidity-mergeful-source] include random-1.2.1.3-JQFbb4Wq5My85rRMSTQUGB
  97. 4.42 s [genvalidity-mergeful-source] include safe-coloured-text-0.3.0.2-EuMQ1GltvkVICluEv4vLqd
  98. 4.42 s [genvalidity-mergeful-source] include sydtest-0.19.0.0-2NUnl2Flnln7o8oBccZoQl
  99. 4.42 s [genvalidity-mergeful-source] include time-1.12.2-979c
  100. 4.42 s [genvalidity-mergeful-source] include uuid-1.3.16-5e4xnHJbegtLOLTJGcm7Gl
  101. 4.42 s [genvalidity-mergeful-source] Ready component graph:
  102. 4.42 s [genvalidity-mergeful-source] definite genvalidity-mergeful-0.3.0.1-AKecfL8G6EZI4Y0rZPWIBo
  103. 4.42 s [genvalidity-mergeful-source] depends QuickCheck-2.15.0.1-4fOficSCSOZBNPbFkHc0Mm
  104. 4.42 s [genvalidity-mergeful-source] depends base-4.20.2.0-143c
  105. 4.42 s [genvalidity-mergeful-source] depends containers-0.7-6de3
  106. 4.42 s [genvalidity-mergeful-source] depends genvalidity-1.1.1.0-3TYQuH5ptQi4PGhicwvjuo
  107. 4.42 s [genvalidity-mergeful-source] depends genvalidity-containers-1.0.0.2-6e6lYgp06so1bvCO48jseg
  108. 4.42 s [genvalidity-mergeful-source] depends genvalidity-time-1.0.0.1-KxhNtmfkUhb5wrLGI33hrj
  109. 4.42 s [genvalidity-mergeful-source] depends mergeful-0.3.0.0-GsLNpjk5K5P1wx4miXhmo
  110. 4.42 s [genvalidity-mergeful-source] definite genvalidity-mergeful-0.3.0.1-Kr4SKOWxgwZ57I1SOchoeX-mergeful-test
  111. 4.42 s [genvalidity-mergeful-source] depends QuickCheck-2.15.0.1-4fOficSCSOZBNPbFkHc0Mm
  112. 4.42 s [genvalidity-mergeful-source] depends autodocodec-0.4.2.2-3nZUv0GbVgZJcYfQUttz6J
  113. 4.42 s [genvalidity-mergeful-source] depends autodocodec-yaml-0.4.0.1-FHhxesjoXYG88fDKfbrDiI
  114. 4.42 s [genvalidity-mergeful-source] depends base-4.20.2.0-143c
  115. 4.42 s [genvalidity-mergeful-source] depends containers-0.7-6de3
  116. 4.42 s [genvalidity-mergeful-source] depends genvalidity-mergeful-0.3.0.1-AKecfL8G6EZI4Y0rZPWIBo
  117. 4.42 s [genvalidity-mergeful-source] depends genvalidity-sydtest-1.0.0.0-Ia6389Lc9a7JYj40IFxRCk
  118. 4.42 s [genvalidity-mergeful-source] depends genvalidity-sydtest-aeson-1.0.0.0-2276SHflAaJJdWuy363NWy
  119. 4.42 s [genvalidity-mergeful-source] depends genvalidity-uuid-1.0.0.1-5JakGRRLN1r5selbNHT5Bd
  120. 4.42 s [genvalidity-mergeful-source] depends mergeful-0.3.0.0-GsLNpjk5K5P1wx4miXhmo
  121. 4.42 s [genvalidity-mergeful-source] depends mtl-2.3.1-9692
  122. 4.42 s [genvalidity-mergeful-source] depends pretty-show-1.10-DTYM9nKLJNg2en4E90iKlv
  123. 4.42 s [genvalidity-mergeful-source] depends random-1.2.1.3-JQFbb4Wq5My85rRMSTQUGB
  124. 4.42 s [genvalidity-mergeful-source] depends safe-coloured-text-0.3.0.2-EuMQ1GltvkVICluEv4vLqd
  125. 4.42 s [genvalidity-mergeful-source] depends sydtest-0.19.0.0-2NUnl2Flnln7o8oBccZoQl
  126. 4.42 s [genvalidity-mergeful-source] depends time-1.12.2-979c
  127. 4.42 s [genvalidity-mergeful-source] depends uuid-1.3.16-5e4xnHJbegtLOLTJGcm7Gl
  128. 4.42 s [genvalidity-mergeful-source] Using Cabal-3.12.1.0 compiled by ghc-9.10
  129. 4.42 s [genvalidity-mergeful-source] Using compiler: ghc-9.10.3
  130. 4.42 s [genvalidity-mergeful-source] Using install prefix:
  131. 4.42 s [genvalidity-mergeful-source] /nix/store/lrjrdz0bj96np9h7zfzjy0arbw8b68r4-genvalidity-mergeful-source-0.3.0.1
  132. 4.42 s [genvalidity-mergeful-source] Executables installed in:
  133. 4.42 s [genvalidity-mergeful-source] /nix/store/lrjrdz0bj96np9h7zfzjy0arbw8b68r4-genvalidity-mergeful-source-0.3.0.1/bin
  134. 4.42 s [genvalidity-mergeful-source] Libraries installed in:
  135. 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
  136. 4.42 s [genvalidity-mergeful-source] Dynamic Libraries installed in:
  137. 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
  138. 4.42 s [genvalidity-mergeful-source] Private executables installed in:
  139. 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
  140. 4.42 s [genvalidity-mergeful-source] Data files installed in:
  141. 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
  142. 4.42 s [genvalidity-mergeful-source] Documentation installed in: /share/doc/genvalidity-mergeful-0.3.0.1
  143. 4.42 s [genvalidity-mergeful-source] Configuration files installed in:
  144. 4.42 s [genvalidity-mergeful-source] /nix/store/lrjrdz0bj96np9h7zfzjy0arbw8b68r4-genvalidity-mergeful-source-0.3.0.1/etc
  145. 4.42 s [genvalidity-mergeful-source] No alex found
  146. 4.42 s [genvalidity-mergeful-source] Using ar found on system at:
  147. 4.42 s [genvalidity-mergeful-source] /nix/store/xwydcyvlsa3cvssk0y5llgdhlhjvmqdm-binutils-wrapper-2.44/bin/ar
  148. 4.42 s [genvalidity-mergeful-source] No c2hs found
  149. 4.42 s [genvalidity-mergeful-source] No cpphs found
  150. 4.42 s [genvalidity-mergeful-source] No doctest found
  151. 4.42 s [genvalidity-mergeful-source] Using gcc version 14.3.0 given by user at:
  152. 4.42 s [genvalidity-mergeful-source] /nix/store/vr15iyyykg9zai6fpgvhcgyw7gckl78w-gcc-wrapper-14.3.0/bin/gcc
  153. 4.42 s [genvalidity-mergeful-source] Using ghc version 9.10.3 found on system at:
  154. 4.42 s [genvalidity-mergeful-source] /nix/store/6xdv0kj7ycq56l9sqip2hmxp237j78h4-ghc-9.10.3/bin/ghc
  155. 4.42 s [genvalidity-mergeful-source] Using ghc-pkg version 9.10.3 found on system at:
  156. 4.42 s [genvalidity-mergeful-source] /nix/store/6xdv0kj7ycq56l9sqip2hmxp237j78h4-ghc-9.10.3/bin/ghc-pkg-9.10.3
  157. 4.42 s [genvalidity-mergeful-source] No ghcjs found
  158. 4.42 s [genvalidity-mergeful-source] No ghcjs-pkg found
  159. 4.42 s [genvalidity-mergeful-source] No greencard found
  160. 4.42 s [genvalidity-mergeful-source] Using haddock version 2.31.1 found on system at:
  161. 4.42 s [genvalidity-mergeful-source] /nix/store/6xdv0kj7ycq56l9sqip2hmxp237j78h4-ghc-9.10.3/bin/haddock-ghc-9.10.3
  162. 4.42 s [genvalidity-mergeful-source] No happy found
  163. 4.44 s [genvalidity-mergeful-source] Using haskell-suite found on system at: haskell-suite-dummy-location
  164. 4.44 s [genvalidity-mergeful-source] Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
  165. 4.44 s [genvalidity-mergeful-source] No hmake found
  166. 4.44 s [genvalidity-mergeful-source] Using hpc version 0.69 found on system at:
  167. 4.44 s [genvalidity-mergeful-source] /nix/store/6xdv0kj7ycq56l9sqip2hmxp237j78h4-ghc-9.10.3/bin/hpc-ghc-9.10.3
  168. 4.44 s [genvalidity-mergeful-source] Using hsc2hs version 0.68.10 found on system at:
  169. 4.44 s [genvalidity-mergeful-source] /nix/store/6xdv0kj7ycq56l9sqip2hmxp237j78h4-ghc-9.10.3/bin/hsc2hs-ghc-9.10.3
  170. 4.44 s [genvalidity-mergeful-source] Using hscolour version 1.25 found on system at:
  171. 4.44 s [genvalidity-mergeful-source] /nix/store/ghjgsc6v2ca3k4ykij4f2727lmbxba1w-hscolour-1.25/bin/HsColour
  172. 4.44 s [genvalidity-mergeful-source] No jhc found
  173. 4.44 s [genvalidity-mergeful-source] Using ld found on system at:
  174. 4.44 s [genvalidity-mergeful-source] /nix/store/vr15iyyykg9zai6fpgvhcgyw7gckl78w-gcc-wrapper-14.3.0/bin/ld
  175. 4.44 s [genvalidity-mergeful-source] No pkg-config found
  176. 4.44 s [genvalidity-mergeful-source] Using runghc version 9.10.3 found on system at:
  177. 4.44 s [genvalidity-mergeful-source] /nix/store/6xdv0kj7ycq56l9sqip2hmxp237j78h4-ghc-9.10.3/bin/runghc-9.10.3
  178. 4.44 s [genvalidity-mergeful-source] Using strip version 2.44 found on system at:
  179. 4.44 s [genvalidity-mergeful-source] /nix/store/vr15iyyykg9zai6fpgvhcgyw7gckl78w-gcc-wrapper-14.3.0/bin/strip
  180. 4.44 s [genvalidity-mergeful-source] Using tar found on system at:
  181. 4.44 s [genvalidity-mergeful-source] /nix/store/yi3c5karhx764ham5rfwk7iynr8mjf6q-gnutar-1.35/bin/tar
  182. 4.44 s [genvalidity-mergeful-source] No uhc found
  183. 5.95 s [genvalidity-mergeful-source] Phase: buildPhase
  184. 6.01 s [genvalidity-mergeful-source] Distribution quality warnings:
  185. 6.01 s [genvalidity-mergeful-source] [no-category] No 'category' field.
  186. 6.01 s [genvalidity-mergeful-source] [no-synopsis] No 'synopsis' field.
  187. 6.01 s [genvalidity-mergeful-source] [missing-upper-bounds] On library, these packages miss upper bounds:
  188. 6.01 s [genvalidity-mergeful-source] - QuickCheck
  189. 6.01 s [genvalidity-mergeful-source] - containers
  190. 6.01 s [genvalidity-mergeful-source] - genvalidity
  191. 6.01 s [genvalidity-mergeful-source] - genvalidity-containers
  192. 6.01 s [genvalidity-mergeful-source] - genvalidity-time
  193. 6.01 s [genvalidity-mergeful-source] - mergeful
  194. 6.01 s [genvalidity-mergeful-source] Please add them. There is more information at https://pvp.haskell.org/
  195. 6.01 s [genvalidity-mergeful-source] Building source dist for genvalidity-mergeful-0.3.0.1...
  196. 6.01 s [genvalidity-mergeful-source] Source tarball created: dist/genvalidity-mergeful-0.3.0.1.tar.gz
  197. 6.01 s [genvalidity-mergeful-source] Phase: checkPhase
  198. 6.01 s [genvalidity-mergeful-source] Phase: haddockPhase
  199. 6.01 s [genvalidity-mergeful-source] Phase: installPhase
  200. 6.01 s [genvalidity-mergeful-source] Phase: fixupPhase
  201. 6.13 s [post-build-hook] Uploading to the NixCI staging cache: /nix/store/lrjrdz0bj96np9h7zfzjy0arbw8b68r4-genvalidity-mergeful-source-0.3.0.1
  202. 6.19 s [post-build-hook] copying 1 paths...
  203. 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'...
  204. 6.76 s [post-build-hook] copying 1 paths...
  205. 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'...
  206. 6.98 s Progress: 1 of 3 built
  207. 7.03 s Building genvalidity-mergeful
  208. 7.46 s [genvalidity-mergeful] Phase: setupCompilerEnvironmentPhase
  209. 7.46 s [genvalidity-mergeful] Build with /nix/store/6xdv0kj7ycq56l9sqip2hmxp237j78h4-ghc-9.10.3.
  210. 8.00 s [genvalidity-mergeful] Phase: unpackPhase
  211. 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
  212. 8.01 s [genvalidity-mergeful] source root is genvalidity-mergeful-0.3.0.1
  213. 8.02 s [genvalidity-mergeful] setting SOURCE_DATE_EPOCH to timestamp 1780346964 of file "genvalidity-mergeful-0.3.0.1/test/Spec.hs"
  214. 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
  215. 8.02 s [genvalidity-mergeful] Phase: patchPhase
  216. 8.03 s [genvalidity-mergeful] Phase: compileBuildDriverPhase
  217. 8.04 s [genvalidity-mergeful] setupCompileFlags: -package-db=/build/tmp.wV2Xto7cEL/setup-package.conf.d -threaded
  218. 8.09 s [genvalidity-mergeful] [1 of 2] Compiling Main ( Setup.hs, /build/tmp.wV2Xto7cEL/Main.o )
  219. 8.14 s [genvalidity-mergeful] [2 of 2] Linking Setup
  220. 9.33 s [genvalidity-mergeful] Phase: updateAutotoolsGnuConfigScriptsPhase
  221. 9.35 s [genvalidity-mergeful] Phase: configurePhase
  222. 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
  223. 9.38 s [genvalidity-mergeful] Using Parsec parser
  224. 9.38 s [genvalidity-mergeful] Configuring genvalidity-mergeful-0.3.0.1...
  225. 10.16 s [genvalidity-mergeful] Dependency QuickCheck: using QuickCheck-2.15.0.1
  226. 10.16 s [genvalidity-mergeful] Dependency base <5: using base-4.20.2.0
  227. 10.16 s [genvalidity-mergeful] Dependency containers: using containers-0.7
  228. 10.16 s [genvalidity-mergeful] Dependency genvalidity >=1.0: using genvalidity-1.1.1.0
  229. 10.16 s [genvalidity-mergeful] Dependency genvalidity-containers: using genvalidity-containers-1.0.0.2
  230. 10.16 s [genvalidity-mergeful] Dependency genvalidity-time: using genvalidity-time-1.0.0.1
  231. 10.16 s [genvalidity-mergeful] Dependency mergeful: using mergeful-0.3.0.0
  232. 10.16 s [genvalidity-mergeful] Dependency QuickCheck: using QuickCheck-2.15.0.1
  233. 10.16 s [genvalidity-mergeful] Dependency autodocodec: using autodocodec-0.4.2.2
  234. 10.16 s [genvalidity-mergeful] Dependency autodocodec-yaml: using autodocodec-yaml-0.4.0.1
  235. 10.16 s [genvalidity-mergeful] Dependency base <5: using base-4.20.2.0
  236. 10.16 s [genvalidity-mergeful] Dependency containers: using containers-0.7
  237. 10.16 s [genvalidity-mergeful] Dependency genvalidity-mergeful: using genvalidity-mergeful-0.3.0.1
  238. 10.16 s [genvalidity-mergeful] Dependency genvalidity-sydtest: using genvalidity-sydtest-1.0.0.0
  239. 10.16 s [genvalidity-mergeful] Dependency genvalidity-sydtest-aeson: using genvalidity-sydtest-aeson-1.0.0.0
  240. 10.16 s [genvalidity-mergeful] Dependency genvalidity-uuid: using genvalidity-uuid-1.0.0.1
  241. 10.16 s [genvalidity-mergeful] Dependency mergeful: using mergeful-0.3.0.0
  242. 10.16 s [genvalidity-mergeful] Dependency mtl: using mtl-2.3.1
  243. 10.16 s [genvalidity-mergeful] Dependency pretty-show: using pretty-show-1.10
  244. 10.16 s [genvalidity-mergeful] Dependency random: using random-1.2.1.3
  245. 10.16 s [genvalidity-mergeful] Dependency safe-coloured-text: using safe-coloured-text-0.3.0.2
  246. 10.16 s [genvalidity-mergeful] Dependency sydtest: using sydtest-0.19.0.0
  247. 10.16 s [genvalidity-mergeful] Dependency time: using time-1.12.2
  248. 10.16 s [genvalidity-mergeful] Dependency uuid: using uuid-1.3.16
  249. 10.16 s [genvalidity-mergeful] Dependency base <5: using base-4.20.2.0
  250. 10.16 s [genvalidity-mergeful] Dependency criterion: using criterion-1.6.4.0
  251. 10.16 s [genvalidity-mergeful] Dependency genvalidity-criterion: using genvalidity-criterion-1.1.0.0
  252. 10.16 s [genvalidity-mergeful] Dependency genvalidity-mergeful: using genvalidity-mergeful-0.3.0.1
  253. 10.16 s [genvalidity-mergeful] Dependency mergeful: using mergeful-0.3.0.0
  254. 10.16 s [genvalidity-mergeful] Source component graph:
  255. 10.16 s [genvalidity-mergeful] component lib
  256. 10.16 s [genvalidity-mergeful] component test:mergeful-test dependency lib
  257. 10.16 s [genvalidity-mergeful] component bench:mergeful-bench dependency lib
  258. 10.16 s [genvalidity-mergeful] Configured component graph:
  259. 10.16 s [genvalidity-mergeful] component genvalidity-mergeful-0.3.0.1-1WoJkGEXZqU1dLYwlvkHZV
  260. 10.16 s [genvalidity-mergeful] include QuickCheck-2.15.0.1-4fOficSCSOZBNPbFkHc0Mm
  261. 10.16 s [genvalidity-mergeful] include base-4.20.2.0-143c
  262. 10.16 s [genvalidity-mergeful] include containers-0.7-6de3
  263. 10.16 s [genvalidity-mergeful] include genvalidity-1.1.1.0-3TYQuH5ptQi4PGhicwvjuo
  264. 10.16 s [genvalidity-mergeful] include genvalidity-containers-1.0.0.2-6e6lYgp06so1bvCO48jseg
  265. 10.16 s [genvalidity-mergeful] include genvalidity-time-1.0.0.1-KxhNtmfkUhb5wrLGI33hrj
  266. 10.16 s [genvalidity-mergeful] include mergeful-0.3.0.0-GsLNpjk5K5P1wx4miXhmo
  267. 10.16 s [genvalidity-mergeful] component genvalidity-mergeful-0.3.0.1-KKNV0injIb734H3qLiHTIw-mergeful-test
  268. 10.16 s [genvalidity-mergeful] include QuickCheck-2.15.0.1-4fOficSCSOZBNPbFkHc0Mm
  269. 10.16 s [genvalidity-mergeful] include autodocodec-0.4.2.2-3nZUv0GbVgZJcYfQUttz6J
  270. 10.16 s [genvalidity-mergeful] include autodocodec-yaml-0.4.0.1-FHhxesjoXYG88fDKfbrDiI
  271. 10.16 s [genvalidity-mergeful] include base-4.20.2.0-143c
  272. 10.16 s [genvalidity-mergeful] include containers-0.7-6de3
  273. 10.16 s [genvalidity-mergeful] include genvalidity-mergeful-0.3.0.1-1WoJkGEXZqU1dLYwlvkHZV
  274. 10.16 s [genvalidity-mergeful] include genvalidity-sydtest-1.0.0.0-Ia6389Lc9a7JYj40IFxRCk
  275. 10.16 s [genvalidity-mergeful] include genvalidity-sydtest-aeson-1.0.0.0-2276SHflAaJJdWuy363NWy
  276. 10.16 s [genvalidity-mergeful] include genvalidity-uuid-1.0.0.1-5JakGRRLN1r5selbNHT5Bd
  277. 10.16 s [genvalidity-mergeful] include mergeful-0.3.0.0-GsLNpjk5K5P1wx4miXhmo
  278. 10.16 s [genvalidity-mergeful] include mtl-2.3.1-9692
  279. 10.16 s [genvalidity-mergeful] include pretty-show-1.10-DTYM9nKLJNg2en4E90iKlv
  280. 10.16 s [genvalidity-mergeful] include random-1.2.1.3-JQFbb4Wq5My85rRMSTQUGB
  281. 10.16 s [genvalidity-mergeful] include safe-coloured-text-0.3.0.2-EuMQ1GltvkVICluEv4vLqd
  282. 10.16 s [genvalidity-mergeful] include sydtest-0.19.0.0-2NUnl2Flnln7o8oBccZoQl
  283. 10.16 s [genvalidity-mergeful] include time-1.12.2-979c
  284. 10.16 s [genvalidity-mergeful] include uuid-1.3.16-5e4xnHJbegtLOLTJGcm7Gl
  285. 10.16 s [genvalidity-mergeful] component genvalidity-mergeful-0.3.0.1-IdcvJAUbgdsG3B2jPL77WY-mergeful-bench
  286. 10.16 s [genvalidity-mergeful] include base-4.20.2.0-143c
  287. 10.16 s [genvalidity-mergeful] include criterion-1.6.4.0-4S5U1cQKmVY6PfXLI5OkIZ
  288. 10.16 s [genvalidity-mergeful] include genvalidity-criterion-1.1.0.0-7G5QHF6n4j1HevUTLUqjCu
  289. 10.16 s [genvalidity-mergeful] include genvalidity-mergeful-0.3.0.1-1WoJkGEXZqU1dLYwlvkHZV
  290. 10.16 s [genvalidity-mergeful] include mergeful-0.3.0.0-GsLNpjk5K5P1wx4miXhmo
  291. 10.16 s [genvalidity-mergeful] Linked component graph:
  292. 10.16 s [genvalidity-mergeful] unit genvalidity-mergeful-0.3.0.1-1WoJkGEXZqU1dLYwlvkHZV
  293. 10.16 s [genvalidity-mergeful] include QuickCheck-2.15.0.1-4fOficSCSOZBNPbFkHc0Mm
  294. 10.16 s [genvalidity-mergeful] include base-4.20.2.0-143c
  295. 10.16 s [genvalidity-mergeful] include containers-0.7-6de3
  296. 10.16 s [genvalidity-mergeful] include genvalidity-1.1.1.0-3TYQuH5ptQi4PGhicwvjuo
  297. 10.16 s [genvalidity-mergeful] include genvalidity-containers-1.0.0.2-6e6lYgp06so1bvCO48jseg
  298. 10.16 s [genvalidity-mergeful] include genvalidity-time-1.0.0.1-KxhNtmfkUhb5wrLGI33hrj
  299. 10.16 s [genvalidity-mergeful] include mergeful-0.3.0.0-GsLNpjk5K5P1wx4miXhmo
  300. 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
  301. 10.16 s [genvalidity-mergeful] unit genvalidity-mergeful-0.3.0.1-KKNV0injIb734H3qLiHTIw-mergeful-test
  302. 10.16 s [genvalidity-mergeful] include QuickCheck-2.15.0.1-4fOficSCSOZBNPbFkHc0Mm
  303. 10.16 s [genvalidity-mergeful] include autodocodec-0.4.2.2-3nZUv0GbVgZJcYfQUttz6J
  304. 10.16 s [genvalidity-mergeful] include autodocodec-yaml-0.4.0.1-FHhxesjoXYG88fDKfbrDiI
  305. 10.16 s [genvalidity-mergeful] include base-4.20.2.0-143c
  306. 10.16 s [genvalidity-mergeful] include containers-0.7-6de3
  307. 10.16 s [genvalidity-mergeful] include genvalidity-mergeful-0.3.0.1-1WoJkGEXZqU1dLYwlvkHZV
  308. 10.16 s [genvalidity-mergeful] include genvalidity-sydtest-1.0.0.0-Ia6389Lc9a7JYj40IFxRCk
  309. 10.17 s [genvalidity-mergeful] include genvalidity-sydtest-aeson-1.0.0.0-2276SHflAaJJdWuy363NWy
  310. 10.17 s [genvalidity-mergeful] include genvalidity-uuid-1.0.0.1-5JakGRRLN1r5selbNHT5Bd
  311. 10.17 s [genvalidity-mergeful] include mergeful-0.3.0.0-GsLNpjk5K5P1wx4miXhmo
  312. 10.17 s [genvalidity-mergeful] include mtl-2.3.1-9692
  313. 10.17 s [genvalidity-mergeful] include pretty-show-1.10-DTYM9nKLJNg2en4E90iKlv
  314. 10.17 s [genvalidity-mergeful] include random-1.2.1.3-JQFbb4Wq5My85rRMSTQUGB
  315. 10.17 s [genvalidity-mergeful] include safe-coloured-text-0.3.0.2-EuMQ1GltvkVICluEv4vLqd
  316. 10.17 s [genvalidity-mergeful] include sydtest-0.19.0.0-2NUnl2Flnln7o8oBccZoQl
  317. 10.17 s [genvalidity-mergeful] include time-1.12.2-979c
  318. 10.17 s [genvalidity-mergeful] include uuid-1.3.16-5e4xnHJbegtLOLTJGcm7Gl
  319. 10.17 s [genvalidity-mergeful] unit genvalidity-mergeful-0.3.0.1-IdcvJAUbgdsG3B2jPL77WY-mergeful-bench
  320. 10.17 s [genvalidity-mergeful] include base-4.20.2.0-143c
  321. 10.17 s [genvalidity-mergeful] include criterion-1.6.4.0-4S5U1cQKmVY6PfXLI5OkIZ
  322. 10.17 s [genvalidity-mergeful] include genvalidity-criterion-1.1.0.0-7G5QHF6n4j1HevUTLUqjCu
  323. 10.17 s [genvalidity-mergeful] include genvalidity-mergeful-0.3.0.1-1WoJkGEXZqU1dLYwlvkHZV
  324. 10.17 s [genvalidity-mergeful] include mergeful-0.3.0.0-GsLNpjk5K5P1wx4miXhmo
  325. 10.17 s [genvalidity-mergeful] Ready component graph:
  326. 10.17 s [genvalidity-mergeful] definite genvalidity-mergeful-0.3.0.1-1WoJkGEXZqU1dLYwlvkHZV
  327. 10.17 s [genvalidity-mergeful] depends QuickCheck-2.15.0.1-4fOficSCSOZBNPbFkHc0Mm
  328. 10.17 s [genvalidity-mergeful] depends base-4.20.2.0-143c
  329. 10.17 s [genvalidity-mergeful] depends containers-0.7-6de3
  330. 10.17 s [genvalidity-mergeful] depends genvalidity-1.1.1.0-3TYQuH5ptQi4PGhicwvjuo
  331. 10.17 s [genvalidity-mergeful] depends genvalidity-containers-1.0.0.2-6e6lYgp06so1bvCO48jseg
  332. 10.17 s [genvalidity-mergeful] depends genvalidity-time-1.0.0.1-KxhNtmfkUhb5wrLGI33hrj
  333. 10.17 s [genvalidity-mergeful] depends mergeful-0.3.0.0-GsLNpjk5K5P1wx4miXhmo
  334. 10.17 s [genvalidity-mergeful] definite genvalidity-mergeful-0.3.0.1-IdcvJAUbgdsG3B2jPL77WY-mergeful-bench
  335. 10.17 s [genvalidity-mergeful] depends base-4.20.2.0-143c
  336. 10.17 s [genvalidity-mergeful] depends criterion-1.6.4.0-4S5U1cQKmVY6PfXLI5OkIZ
  337. 10.17 s [genvalidity-mergeful] depends genvalidity-criterion-1.1.0.0-7G5QHF6n4j1HevUTLUqjCu
  338. 10.17 s [genvalidity-mergeful] depends genvalidity-mergeful-0.3.0.1-1WoJkGEXZqU1dLYwlvkHZV
  339. 10.17 s [genvalidity-mergeful] depends mergeful-0.3.0.0-GsLNpjk5K5P1wx4miXhmo
  340. 10.17 s [genvalidity-mergeful] definite genvalidity-mergeful-0.3.0.1-KKNV0injIb734H3qLiHTIw-mergeful-test
  341. 10.17 s [genvalidity-mergeful] depends QuickCheck-2.15.0.1-4fOficSCSOZBNPbFkHc0Mm
  342. 10.17 s [genvalidity-mergeful] depends autodocodec-0.4.2.2-3nZUv0GbVgZJcYfQUttz6J
  343. 10.17 s [genvalidity-mergeful] depends autodocodec-yaml-0.4.0.1-FHhxesjoXYG88fDKfbrDiI
  344. 10.17 s [genvalidity-mergeful] depends base-4.20.2.0-143c
  345. 10.17 s [genvalidity-mergeful] depends containers-0.7-6de3
  346. 10.17 s [genvalidity-mergeful] depends genvalidity-mergeful-0.3.0.1-1WoJkGEXZqU1dLYwlvkHZV
  347. 10.17 s [genvalidity-mergeful] depends genvalidity-sydtest-1.0.0.0-Ia6389Lc9a7JYj40IFxRCk
  348. 10.17 s [genvalidity-mergeful] depends genvalidity-sydtest-aeson-1.0.0.0-2276SHflAaJJdWuy363NWy
  349. 10.17 s [genvalidity-mergeful] depends genvalidity-uuid-1.0.0.1-5JakGRRLN1r5selbNHT5Bd
  350. 10.17 s [genvalidity-mergeful] depends mergeful-0.3.0.0-GsLNpjk5K5P1wx4miXhmo
  351. 10.17 s [genvalidity-mergeful] depends mtl-2.3.1-9692
  352. 10.17 s [genvalidity-mergeful] depends pretty-show-1.10-DTYM9nKLJNg2en4E90iKlv
  353. 10.17 s [genvalidity-mergeful] depends random-1.2.1.3-JQFbb4Wq5My85rRMSTQUGB
  354. 10.17 s [genvalidity-mergeful] depends safe-coloured-text-0.3.0.2-EuMQ1GltvkVICluEv4vLqd
  355. 10.17 s [genvalidity-mergeful] depends sydtest-0.19.0.0-2NUnl2Flnln7o8oBccZoQl
  356. 10.17 s [genvalidity-mergeful] depends time-1.12.2-979c
  357. 10.17 s [genvalidity-mergeful] depends uuid-1.3.16-5e4xnHJbegtLOLTJGcm7Gl
  358. 10.17 s [genvalidity-mergeful] Using Cabal-3.12.1.0 compiled by ghc-9.10
  359. 10.17 s [genvalidity-mergeful] Using compiler: ghc-9.10.3
  360. 10.17 s [genvalidity-mergeful] Using install prefix:
  361. 10.17 s [genvalidity-mergeful] /nix/store/5i80d6vvhgs5rllfm8hl53r1axmbys71-genvalidity-mergeful-0.3.0.1
  362. 10.17 s [genvalidity-mergeful] Executables installed in:
  363. 10.17 s [genvalidity-mergeful] /nix/store/5i80d6vvhgs5rllfm8hl53r1axmbys71-genvalidity-mergeful-0.3.0.1/bin
  364. 10.17 s [genvalidity-mergeful] Libraries installed in:
  365. 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
  366. 10.21 s [genvalidity-mergeful] Dynamic Libraries installed in:
  367. 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
  368. 10.21 s [genvalidity-mergeful] Private executables installed in:
  369. 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
  370. 10.21 s [genvalidity-mergeful] Data files installed in:
  371. 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
  372. 10.21 s [genvalidity-mergeful] Documentation installed in:
  373. 10.21 s [genvalidity-mergeful] /nix/store/9q0y6c3cfjmf8ngr16a2fdx6w23gq1fp-genvalidity-mergeful-0.3.0.1-doc/share/doc/genvalidity-mergeful-0.3.0.1
  374. 10.21 s [genvalidity-mergeful] Configuration files installed in:
  375. 10.21 s [genvalidity-mergeful] /nix/store/5i80d6vvhgs5rllfm8hl53r1axmbys71-genvalidity-mergeful-0.3.0.1/etc
  376. 10.21 s [genvalidity-mergeful] No alex found
  377. 10.21 s [genvalidity-mergeful] Using ar found on system at:
  378. 10.21 s [genvalidity-mergeful] /nix/store/xwydcyvlsa3cvssk0y5llgdhlhjvmqdm-binutils-wrapper-2.44/bin/ar
  379. 10.21 s [genvalidity-mergeful] No c2hs found
  380. 10.21 s [genvalidity-mergeful] No cpphs found
  381. 10.21 s [genvalidity-mergeful] No doctest found
  382. 10.21 s [genvalidity-mergeful] Using gcc version 14.3.0 given by user at:
  383. 10.21 s [genvalidity-mergeful] /nix/store/vr15iyyykg9zai6fpgvhcgyw7gckl78w-gcc-wrapper-14.3.0/bin/gcc
  384. 10.21 s [genvalidity-mergeful] Using ghc version 9.10.3 found on system at:
  385. 10.21 s [genvalidity-mergeful] /nix/store/6xdv0kj7ycq56l9sqip2hmxp237j78h4-ghc-9.10.3/bin/ghc
  386. 10.21 s [genvalidity-mergeful] Using ghc-pkg version 9.10.3 found on system at:
  387. 10.21 s [genvalidity-mergeful] /nix/store/6xdv0kj7ycq56l9sqip2hmxp237j78h4-ghc-9.10.3/bin/ghc-pkg-9.10.3
  388. 10.21 s [genvalidity-mergeful] No ghcjs found
  389. 10.21 s [genvalidity-mergeful] No ghcjs-pkg found
  390. 10.21 s [genvalidity-mergeful] No greencard found
  391. 10.21 s [genvalidity-mergeful] Using haddock version 2.31.1 found on system at:
  392. 10.21 s [genvalidity-mergeful] /nix/store/6xdv0kj7ycq56l9sqip2hmxp237j78h4-ghc-9.10.3/bin/haddock-ghc-9.10.3
  393. 10.21 s [genvalidity-mergeful] No happy found
  394. 10.21 s [genvalidity-mergeful] Using haskell-suite found on system at: haskell-suite-dummy-location
  395. 10.21 s [genvalidity-mergeful] Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
  396. 10.21 s [genvalidity-mergeful] No hmake found
  397. 10.21 s [genvalidity-mergeful] Using hpc version 0.69 found on system at:
  398. 10.21 s [genvalidity-mergeful] /nix/store/6xdv0kj7ycq56l9sqip2hmxp237j78h4-ghc-9.10.3/bin/hpc-ghc-9.10.3
  399. 10.21 s [genvalidity-mergeful] Using hsc2hs version 0.68.10 found on system at:
  400. 10.21 s [genvalidity-mergeful] /nix/store/6xdv0kj7ycq56l9sqip2hmxp237j78h4-ghc-9.10.3/bin/hsc2hs-ghc-9.10.3
  401. 10.21 s [genvalidity-mergeful] Using hscolour version 1.25 found on system at:
  402. 10.21 s [genvalidity-mergeful] /nix/store/ghjgsc6v2ca3k4ykij4f2727lmbxba1w-hscolour-1.25/bin/HsColour
  403. 10.21 s [genvalidity-mergeful] No jhc found
  404. 10.21 s [genvalidity-mergeful] Using ld found on system at:
  405. 10.21 s [genvalidity-mergeful] /nix/store/vr15iyyykg9zai6fpgvhcgyw7gckl78w-gcc-wrapper-14.3.0/bin/ld
  406. 10.21 s [genvalidity-mergeful] No pkg-config found
  407. 10.21 s [genvalidity-mergeful] Using runghc version 9.10.3 found on system at:
  408. 10.21 s [genvalidity-mergeful] /nix/store/6xdv0kj7ycq56l9sqip2hmxp237j78h4-ghc-9.10.3/bin/runghc-9.10.3
  409. 10.21 s [genvalidity-mergeful] Using strip version 2.44 found on system at:
  410. 10.21 s [genvalidity-mergeful] /nix/store/vr15iyyykg9zai6fpgvhcgyw7gckl78w-gcc-wrapper-14.3.0/bin/strip
  411. 10.21 s [genvalidity-mergeful] Using tar found on system at:
  412. 10.21 s [genvalidity-mergeful] /nix/store/yi3c5karhx764ham5rfwk7iynr8mjf6q-gnutar-1.35/bin/tar
  413. 10.21 s [genvalidity-mergeful] No uhc found
  414. 10.38 s [genvalidity-mergeful] Phase: buildPhase
  415. 10.46 s [genvalidity-mergeful] Preprocessing library for genvalidity-mergeful-0.3.0.1...
  416. 10.46 s [genvalidity-mergeful] Building library for genvalidity-mergeful-0.3.0.1...
  417. 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 )
  418. 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 )
  419. 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 )
  420. 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 )
  421. 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 )
  422. 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 )
  423. 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 )
  424. 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 )
  425. 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 )
  426. 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 )
  427. 13.47 s [genvalidity-mergeful] [5 of 6] Compiling Data.GenValidity.Mergeful ( src/Data/GenValidity/Mergeful.hs, dist/build/Data/GenValidity/Mergeful.p_o )
  428. 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 )
  429. 15.39 s [genvalidity-mergeful] Preprocessing benchmark 'mergeful-bench' for genvalidity-mergeful-0.3.0.1...
  430. 15.39 s [genvalidity-mergeful] Building benchmark 'mergeful-bench' for genvalidity-mergeful-0.3.0.1...
  431. 15.47 s [genvalidity-mergeful] [1 of 2] Compiling Main ( bench/Bench.hs, dist/build/mergeful-bench/mergeful-bench-tmp/Main.o )
  432. 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 )
  433. 15.89 s [genvalidity-mergeful] [3 of 3] Linking dist/build/mergeful-bench/mergeful-bench
  434. 16.91 s [genvalidity-mergeful] Preprocessing test suite 'mergeful-test' for genvalidity-mergeful-0.3.0.1...
  435. 16.94 s [genvalidity-mergeful] Building test suite 'mergeful-test' for genvalidity-mergeful-0.3.0.1...
  436. 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 )
  437. 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 )
  438. 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 )
  439. 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 )
  440. 19.64 s [genvalidity-mergeful] [5 of 6] Compiling Main ( test/Spec.hs, dist/build/mergeful-test/mergeful-test-tmp/Main.o )
  441. 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 )
  442. 20.04 s [genvalidity-mergeful] [7 of 7] Linking dist/build/mergeful-test/mergeful-test
  443. 24.76 s [genvalidity-mergeful] Phase: checkPhase
  444. 25.13 s [genvalidity-mergeful] Running 1 test suites...
  445. 25.13 s [genvalidity-mergeful] Test suite mergeful-test: RUNNING...
  446. 25.19 s [genvalidity-mergeful] Tests:
  447. 25.19 s [genvalidity-mergeful]
  448. 25.19 s [genvalidity-mergeful] Data.Mergeful.ValueSpec
  449. 25.19 s [genvalidity-mergeful] ValueSyncResponse
  450. 25.19 s [genvalidity-mergeful] JSON (ValueSyncResponse Word8) (valid)
  451. 25.19 s [genvalidity-mergeful] decode :: Data.ByteString.Lazy.ByteString -> Either String (ValueSyncResponse Word8)
  452. 25.19 s [genvalidity-mergeful] ensures that encode and decode are inverses for "valid (ValueSyncResponse Word8)"'s 13.52 ms
  453. 25.19 s [genvalidity-mergeful] passed for all of 100 inputs.
  454. 25.19 s [genvalidity-mergeful] encode :: (ValueSyncResponse Word8) -> Data.ByteString.Lazy.ByteString
  455. 25.19 s [genvalidity-mergeful] never fails to encode a "valid (ValueSyncResponse Word8)" 11.84 ms
  456. 25.19 s [genvalidity-mergeful] passed for all of 100 inputs.
  457. 25.19 s [genvalidity-mergeful] GenValid (ValueSyncResponse Word8)
  458. 25.19 s [genvalidity-mergeful] genValid :: Gen (ValueSyncResponse Word8)
  459. 25.19 s [genvalidity-mergeful] only generates valid '(ValueSyncResponse Word8)'s 1.73 ms
  460. 25.19 s [genvalidity-mergeful] passed for all of 100 inputs.
  461. 25.19 s [genvalidity-mergeful] outputs the same schema as before for (ValueSyncResponse Word8) 1.76 ms
  462. 25.19 s [genvalidity-mergeful] processServerValueSync
  463. 25.19 s [genvalidity-mergeful] Server changes
  464. 25.19 s [genvalidity-mergeful] tells the client that there is a modified item at the server side 3.16 ms
  465. 25.19 s [genvalidity-mergeful] passed for all of 100 inputs.
  466. 25.19 s [genvalidity-mergeful] Conflicts
  467. 25.19 s [genvalidity-mergeful] notices a conflict if the client and server are trying to sync different items 4.21 ms
  468. 25.19 s [genvalidity-mergeful] passed for all of 100 inputs.
  469. 25.19 s [genvalidity-mergeful] Client changes
  470. 25.19 s [genvalidity-mergeful] changes the item that the client tells the server to change 1.83 ms
  471. 25.19 s [genvalidity-mergeful] passed for all of 100 inputs.
  472. 25.19 s [genvalidity-mergeful] produces valid responses and stores 1.76 ms
  473. 25.19 s [genvalidity-mergeful] passed for all of 100 inputs.
  474. 25.19 s [genvalidity-mergeful] makes no changes if the sync request reflects the state of the server 1.79 ms
  475. 25.19 s [genvalidity-mergeful] passed for all of 100 inputs.
  476. 25.19 s [genvalidity-mergeful] syncing
  477. 25.19 s [genvalidity-mergeful] succesfully syncs a modification across to a second client 2.28 ms
  478. 25.19 s [genvalidity-mergeful] passed for all of 100 inputs.
  479. 25.19 s [genvalidity-mergeful] is idempotent with one client 1.94 ms
  480. 25.19 s [genvalidity-mergeful] passed for all of 100 inputs.
  481. 25.19 s [genvalidity-mergeful] mergeValueSyncResponseIgnoreProblems
  482. 25.19 s [genvalidity-mergeful] produces valid client stores 1.64 ms
  483. 25.19 s [genvalidity-mergeful] passed for all of 100 inputs.
  484. 25.19 s [genvalidity-mergeful] makeValueSyncRequest
  485. 25.19 s [genvalidity-mergeful] produces valid requests 1.69 ms
  486. 25.19 s [genvalidity-mergeful] passed for all of 100 inputs.
  487. 25.19 s [genvalidity-mergeful] ClientValue
  488. 25.19 s [genvalidity-mergeful] outputs the same schema as before for (ClientValue Word8) 1.75 ms
  489. 25.19 s [genvalidity-mergeful] JSON (ClientValue Word8) (valid)
  490. 25.19 s [genvalidity-mergeful] decode :: Data.ByteString.Lazy.ByteString -> Either String (ClientValue Word8)
  491. 25.19 s [genvalidity-mergeful] ensures that encode and decode are inverses for "valid (ClientValue Word8)"'s 9.27 ms
  492. 25.19 s [genvalidity-mergeful] passed for all of 100 inputs.
  493. 25.19 s [genvalidity-mergeful] encode :: (ClientValue Word8) -> Data.ByteString.Lazy.ByteString
  494. 25.19 s [genvalidity-mergeful] never fails to encode a "valid (ClientValue Word8)" 12.28 ms
  495. 25.19 s [genvalidity-mergeful] passed for all of 100 inputs.
  496. 25.19 s [genvalidity-mergeful] GenValid (ClientValue Word8)
  497. 25.19 s [genvalidity-mergeful] genValid :: Gen (ClientValue Word8)
  498. 25.19 s [genvalidity-mergeful] only generates valid '(ClientValue Word8)'s 1.71 ms
  499. 25.19 s [genvalidity-mergeful] passed for all of 100 inputs.
  500. 25.19 s [genvalidity-mergeful] ServerValue
  501. 25.19 s [genvalidity-mergeful] outputs the same schema as before for (ServerValue Word8) 2.50 ms
  502. 25.19 s [genvalidity-mergeful] JSON (ServerValue Word8) (valid)
  503. 25.19 s [genvalidity-mergeful] decode :: Data.ByteString.Lazy.ByteString -> Either String (ServerValue Word8)
  504. 25.19 s [genvalidity-mergeful] ensures that encode and decode are inverses for "valid (ServerValue Word8)"'s 12.30 ms
  505. 25.19 s [genvalidity-mergeful] passed for all of 100 inputs.
  506. 25.19 s [genvalidity-mergeful] encode :: (ServerValue Word8) -> Data.ByteString.Lazy.ByteString
  507. 25.19 s [genvalidity-mergeful] never fails to encode a "valid (ServerValue Word8)" 40.68 ms
  508. 25.19 s [genvalidity-mergeful] passed for all of 100 inputs.
  509. 25.19 s [genvalidity-mergeful] GenValid (ServerValue Word8)
  510. 25.19 s [genvalidity-mergeful] genValid :: Gen (ServerValue Word8)
  511. 25.19 s [genvalidity-mergeful] only generates valid '(ServerValue Word8)'s 2.35 ms
  512. 25.19 s [genvalidity-mergeful] passed for all of 100 inputs.
  513. 25.19 s [genvalidity-mergeful] ValueSyncRequest
  514. 25.19 s [genvalidity-mergeful] outputs the same schema as before for (ValueSyncRequest Word8) 20.74 ms
  515. 25.19 s [genvalidity-mergeful] GenValid (ValueSyncRequest Word8)
  516. 25.19 s [genvalidity-mergeful] genValid :: Gen (ValueSyncRequest Word8)
  517. 25.19 s [genvalidity-mergeful] only generates valid '(ValueSyncRequest Word8)'s 2.53 ms
  518. 25.19 s [genvalidity-mergeful] passed for all of 100 inputs.
  519. 25.19 s [genvalidity-mergeful] JSON (ValueSyncRequest Word8) (valid)
  520. 25.19 s [genvalidity-mergeful] encode :: (ValueSyncRequest Word8) -> Data.ByteString.Lazy.ByteString
  521. 25.19 s [genvalidity-mergeful] never fails to encode a "valid (ValueSyncRequest Word8)" 13.04 ms
  522. 25.19 s [genvalidity-mergeful] passed for all of 100 inputs.
  523. 25.19 s [genvalidity-mergeful] decode :: Data.ByteString.Lazy.ByteString -> Either String (ValueSyncRequest Word8)
  524. 25.19 s [genvalidity-mergeful] ensures that encode and decode are inverses for "valid (ValueSyncRequest Word8)"'s 11.76 ms
  525. 25.19 s [genvalidity-mergeful] passed for all of 100 inputs.
  526. 25.19 s [genvalidity-mergeful] mergeValueSyncResponseRaw
  527. 25.19 s [genvalidity-mergeful] produces valid client stores 3.35 ms
  528. 25.19 s [genvalidity-mergeful] passed for all of 100 inputs.
  529. 25.19 s [genvalidity-mergeful] Data.Mergeful.TimedSpec
  530. 25.19 s [genvalidity-mergeful] JSON ServerTime (valid)
  531. 25.19 s [genvalidity-mergeful] decode :: Data.ByteString.Lazy.ByteString -> Either String ServerTime
  532. 25.19 s [genvalidity-mergeful] ensures that encode and decode are inverses for "valid ServerTime"'s 11.77 ms
  533. 25.19 s [genvalidity-mergeful] passed for all of 100 inputs.
  534. 25.19 s [genvalidity-mergeful] encode :: ServerTime -> Data.ByteString.Lazy.ByteString
  535. 25.19 s [genvalidity-mergeful] never fails to encode a "valid ServerTime" 9.68 ms
  536. 25.19 s [genvalidity-mergeful] passed for all of 100 inputs.
  537. 25.19 s [genvalidity-mergeful] initialServerTime
  538. 25.19 s [genvalidity-mergeful] is valid 0.00 ms
  539. 25.19 s [genvalidity-mergeful] GenValid ServerTime
  540. 25.19 s [genvalidity-mergeful] genValid :: Gen ServerTime
  541. 25.19 s [genvalidity-mergeful] only generates valid 'ServerTime's 1.21 ms
  542. 25.19 s [genvalidity-mergeful] passed for all of 100 inputs.
  543. 25.19 s [genvalidity-mergeful] JSON (Timed Int) (valid)
  544. 25.19 s [genvalidity-mergeful] decode :: Data.ByteString.Lazy.ByteString -> Either String (Timed Int)
  545. 25.19 s [genvalidity-mergeful] ensures that encode and decode are inverses for "valid (Timed Int)"'s 9.91 ms
  546. 25.19 s [genvalidity-mergeful] passed for all of 100 inputs.
  547. 25.19 s [genvalidity-mergeful] encode :: (Timed Int) -> Data.ByteString.Lazy.ByteString
  548. 25.19 s [genvalidity-mergeful] never fails to encode a "valid (Timed Int)" 9.97 ms
  549. 25.19 s [genvalidity-mergeful] passed for all of 100 inputs.
  550. 25.83 s [genvalidity-mergeful] GenValid (Timed Int)
  551. 25.83 s [genvalidity-mergeful] genValid :: Gen (Timed Int)
  552. 25.83 s [genvalidity-mergeful] only generates valid '(Timed Int)'s 1.30 ms
  553. 25.83 s [genvalidity-mergeful] passed for all of 100 inputs.
  554. 25.83 s [genvalidity-mergeful] Data.Mergeful.ItemSpec
  555. 25.83 s [genvalidity-mergeful] ItemSyncResponse
  556. 25.83 s [genvalidity-mergeful] outputs the same schema as before for (ItemSyncResponse Word8) 1.92 ms
  557. 25.83 s [genvalidity-mergeful] JSON (ItemSyncResponse Word8) (valid)
  558. 25.83 s [genvalidity-mergeful] encode :: (ItemSyncResponse Word8) -> Data.ByteString.Lazy.ByteString
  559. 25.83 s [genvalidity-mergeful] never fails to encode a "valid (ItemSyncResponse Word8)" 10.11 ms
  560. 25.83 s [genvalidity-mergeful] passed for all of 100 inputs.
  561. 25.83 s [genvalidity-mergeful] decode :: Data.ByteString.Lazy.ByteString -> Either String (ItemSyncResponse Word8)
  562. 25.83 s [genvalidity-mergeful] ensures that encode and decode are inverses for "valid (ItemSyncResponse Word8)"'s 10.32 ms
  563. 25.83 s [genvalidity-mergeful] passed for all of 100 inputs.
  564. 25.83 s [genvalidity-mergeful] GenValid (ItemSyncResponse Word8)
  565. 25.83 s [genvalidity-mergeful] genValid :: Gen (ItemSyncResponse Word8)
  566. 25.83 s [genvalidity-mergeful] only generates valid '(ItemSyncResponse Word8)'s 1.01 ms
  567. 25.83 s [genvalidity-mergeful] passed for all of 100 inputs.
  568. 25.83 s [genvalidity-mergeful] makeItemSyncRequest
  569. 25.83 s [genvalidity-mergeful] produces valid requests 1.18 ms
  570. 25.83 s [genvalidity-mergeful] passed for all of 100 inputs.
  571. 25.83 s [genvalidity-mergeful] ClientItem
  572. 25.83 s [genvalidity-mergeful] JSON (ClientItem Word8) (valid)
  573. 25.83 s [genvalidity-mergeful] decode :: Data.ByteString.Lazy.ByteString -> Either String (ClientItem Word8)
  574. 25.83 s [genvalidity-mergeful] ensures that encode and decode are inverses for "valid (ClientItem Word8)"'s 10.50 ms
  575. 25.83 s [genvalidity-mergeful] passed for all of 100 inputs.
  576. 25.83 s [genvalidity-mergeful] encode :: (ClientItem Word8) -> Data.ByteString.Lazy.ByteString
  577. 25.83 s [genvalidity-mergeful] never fails to encode a "valid (ClientItem Word8)" 9.73 ms
  578. 25.83 s [genvalidity-mergeful] passed for all of 100 inputs.
  579. 25.83 s [genvalidity-mergeful] GenValid (ClientItem Word8)
  580. 25.83 s [genvalidity-mergeful] genValid :: Gen (ClientItem Word8)
  581. 25.83 s [genvalidity-mergeful] only generates valid '(ClientItem Word8)'s 0.87 ms
  582. 25.83 s [genvalidity-mergeful] passed for all of 100 inputs.
  583. 25.83 s [genvalidity-mergeful] outputs the same schema as before for (ClientItem Word8) 1.09 ms
  584. 25.83 s [genvalidity-mergeful] mergeItemSyncResponseUsingCRDT
  585. 25.83 s [genvalidity-mergeful] produces valid client stores 1.13 ms
  586. 25.83 s [genvalidity-mergeful] passed for all of 100 inputs.
  587. 25.83 s [genvalidity-mergeful] syncing
  588. 25.83 s [genvalidity-mergeful] fromServer
  589. 25.83 s [genvalidity-mergeful] succesfully syncs a modification across to a second client 2.60 ms
  590. 25.83 s [genvalidity-mergeful] passed for all of 100 inputs.
  591. 25.83 s [genvalidity-mergeful] succesfully syncs an addition across to a second client 0.76 ms
  592. 25.83 s [genvalidity-mergeful] passed for all of 100 inputs.
  593. 25.83 s [genvalidity-mergeful] is idempotent with one client 2.09 ms
  594. 25.83 s [genvalidity-mergeful] passed for all of 100 inputs.
  595. 25.83 s [genvalidity-mergeful] is returns an empty response on the second sync with no modifications 2.19 ms
  596. 25.83 s [genvalidity-mergeful] passed for all of 100 inputs.
  597. 25.83 s [genvalidity-mergeful] succesfully syncs a deletion across to a second client 2.15 ms
  598. 25.83 s [genvalidity-mergeful] passed for all of 100 inputs.
  599. 25.83 s [genvalidity-mergeful] does not run into a conflict if two clients both try to sync a deletion 1.94 ms
  600. 25.83 s [genvalidity-mergeful] passed for all of 100 inputs.
  601. 25.83 s [genvalidity-mergeful] it always possible to add an item from scratch 0.84 ms
  602. 25.83 s [genvalidity-mergeful] passed for all of 100 inputs.
  603. 25.83 s [genvalidity-mergeful] fromClient
  604. 25.83 s [genvalidity-mergeful] succesfully syncs a modification across to a second client 2.24 ms
  605. 25.83 s [genvalidity-mergeful] passed for all of 100 inputs.
  606. 25.83 s [genvalidity-mergeful] does not hold
  607. 25.83 s [genvalidity-mergeful] is returns an empty response on the second sync with no modifications
  608. 25.83 s [genvalidity-mergeful] succesfully syncs a deletion across to a second client 1.88 ms
  609. 25.83 s [genvalidity-mergeful] passed for all of 100 inputs.
  610. 25.83 s [genvalidity-mergeful] succesfully syncs an addition across to a second client 1.24 ms
  611. 25.83 s [genvalidity-mergeful] passed for all of 100 inputs.
  612. 25.83 s [genvalidity-mergeful] is idempotent with one client 1.84 ms
  613. 25.83 s [genvalidity-mergeful] passed for all of 100 inputs.
  614. 25.83 s [genvalidity-mergeful] it always possible to add an item from scratch 1.02 ms
  615. 25.83 s [genvalidity-mergeful] passed for all of 100 inputs.
  616. 25.83 s [genvalidity-mergeful] does not run into a conflict if two clients both try to sync a deletion 1.80 ms
  617. 25.83 s [genvalidity-mergeful] passed for all of 100 inputs.
  618. 25.83 s [genvalidity-mergeful] gadt
  619. 25.83 s [genvalidity-mergeful] is returns an empty response on the second sync with no modifications 3.50 ms
  620. 25.83 s [genvalidity-mergeful] passed for all of 100 inputs.
  621. 25.83 s [genvalidity-mergeful] succesfully syncs an addition across to a second client 0.62 ms
  622. 25.83 s [genvalidity-mergeful] passed for all of 100 inputs.
  623. 25.83 s [genvalidity-mergeful] it always possible to add an item from scratch 0.69 ms
  624. 25.83 s [genvalidity-mergeful] passed for all of 100 inputs.
  625. 25.83 s [genvalidity-mergeful] succesfully syncs a deletion across to a second client 1.44 ms
  626. 25.83 s [genvalidity-mergeful] passed for all of 100 inputs.
  627. 25.83 s [genvalidity-mergeful] does not run into a conflict if two clients both try to sync a deletion 3.29 ms
  628. 25.83 s [genvalidity-mergeful] passed for all of 100 inputs.
  629. 25.83 s [genvalidity-mergeful] succesfully syncs a modification across to a second client 3.54 ms
  630. 25.83 s [genvalidity-mergeful] passed for all of 100 inputs.
  631. 25.83 s [genvalidity-mergeful] is idempotent with one client 3.20 ms
  632. 25.83 s [genvalidity-mergeful] passed for all of 100 inputs.
  633. 25.83 s [genvalidity-mergeful] ItemSyncRequest
  634. 25.83 s [genvalidity-mergeful] GenValid (ItemSyncRequest Word8)
  635. 26.42 s [genvalidity-mergeful] genValid :: Gen (ItemSyncRequest Word8)
  636. 26.42 s [genvalidity-mergeful] only generates valid '(ItemSyncRequest Word8)'s 1.09 ms
  637. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  638. 26.42 s [genvalidity-mergeful] outputs the same schema as before for (ItemSyncRequest Word8) 3.03 ms
  639. 26.42 s [genvalidity-mergeful] JSON (ItemSyncRequest Word8) (valid)
  640. 26.42 s [genvalidity-mergeful] encode :: (ItemSyncRequest Word8) -> Data.ByteString.Lazy.ByteString
  641. 26.42 s [genvalidity-mergeful] never fails to encode a "valid (ItemSyncRequest Word8)" 6.92 ms
  642. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  643. 26.42 s [genvalidity-mergeful] decode :: Data.ByteString.Lazy.ByteString -> Either String (ItemSyncRequest Word8)
  644. 26.42 s [genvalidity-mergeful] ensures that encode and decode are inverses for "valid (ItemSyncRequest Word8)"'s 7.14 ms
  645. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  646. 26.42 s [genvalidity-mergeful] mergeItemSyncResponseFromServer
  647. 26.42 s [genvalidity-mergeful] produces valid client stores 2.79 ms
  648. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  649. 26.42 s [genvalidity-mergeful] ServerItem
  650. 26.42 s [genvalidity-mergeful] JSON (ServerItem Word8) (valid)
  651. 26.42 s [genvalidity-mergeful] encode :: (ServerItem Word8) -> Data.ByteString.Lazy.ByteString
  652. 26.42 s [genvalidity-mergeful] never fails to encode a "valid (ServerItem Word8)" 10.39 ms
  653. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  654. 26.42 s [genvalidity-mergeful] decode :: Data.ByteString.Lazy.ByteString -> Either String (ServerItem Word8)
  655. 26.42 s [genvalidity-mergeful] ensures that encode and decode are inverses for "valid (ServerItem Word8)"'s 5.63 ms
  656. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  657. 26.42 s [genvalidity-mergeful] GenValid (ServerItem Word8)
  658. 26.42 s [genvalidity-mergeful] genValid :: Gen (ServerItem Word8)
  659. 26.42 s [genvalidity-mergeful] only generates valid '(ServerItem Word8)'s 2.20 ms
  660. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  661. 26.42 s [genvalidity-mergeful] outputs the same schema as before for (ServerItem Word8) 0.47 ms
  662. 26.42 s [genvalidity-mergeful] mergeItemSyncResponseFromClient
  663. 26.42 s [genvalidity-mergeful] produces valid client stores 0.53 ms
  664. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  665. 26.42 s [genvalidity-mergeful] mergeItemSyncResponseRaw
  666. 26.42 s [genvalidity-mergeful] produces valid client stores 0.47 ms
  667. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  668. 26.42 s [genvalidity-mergeful] processServerItemSync
  669. 26.42 s [genvalidity-mergeful] Conflicts
  670. 26.42 s [genvalidity-mergeful] notices a conflict if the client and server are trying to sync different items 1.08 ms
  671. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  672. 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
  673. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  674. 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
  675. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  676. 26.42 s [genvalidity-mergeful] produces valid responses and stores 0.56 ms
  677. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  678. 26.42 s [genvalidity-mergeful] makes no changes if the sync request reflects the state of the empty server 0.01 ms
  679. 26.42 s [genvalidity-mergeful] makes no changes if the sync request reflects the state of the full server 0.75 ms
  680. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  681. 26.42 s [genvalidity-mergeful] Server changes
  682. 26.42 s [genvalidity-mergeful] tells the client that there is a modified item at the server side 1.03 ms
  683. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  684. 26.42 s [genvalidity-mergeful] tells the client that there is a new item at the server side 0.57 ms
  685. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  686. 26.42 s [genvalidity-mergeful] tells the client that there is a deleted item at the server side 0.43 ms
  687. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  688. 26.42 s [genvalidity-mergeful] Client changes
  689. 26.42 s [genvalidity-mergeful] changes the item that the client tells the server to change 0.62 ms
  690. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  691. 26.42 s [genvalidity-mergeful] adds the item that the client tells the server to add 0.16 ms
  692. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  693. 26.42 s [genvalidity-mergeful] deletes the item that the client tells the server to delete 0.40 ms
  694. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  695. 26.42 s [genvalidity-mergeful] Data.Mergeful.CollectionSpec
  696. 26.42 s [genvalidity-mergeful] mergeAddedItems
  697. 26.42 s [genvalidity-mergeful] produces valid results 6.77 ms
  698. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  699. 26.42 s [genvalidity-mergeful] markItemDeletedInClientStore
  700. 26.42 s [genvalidity-mergeful] makes the client store one smaller 10.34 ms
  701. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  702. 26.42 s [genvalidity-mergeful] produces valid stores 8.56 ms
  703. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  704. 26.42 s [genvalidity-mergeful] ensures that the added item is in fact not in the result 12.41 ms
  705. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  706. 26.42 s [genvalidity-mergeful] Syncing with mergeSyncResponseFromClient
  707. 26.42 s [genvalidity-mergeful] does not lose data after a conflict occurs 3.49 ms
  708. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  709. 26.42 s [genvalidity-mergeful] Single client
  710. 26.42 s [genvalidity-mergeful] Multi-item
  711. 26.42 s [genvalidity-mergeful] is idempotent with one client 669.27 ms
  712. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  713. 26.42 s [genvalidity-mergeful] succesfully downloads everything from the server for an empty client 11.16 ms
  714. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  715. 26.42 s [genvalidity-mergeful] succesfully uploads everything to the server for an empty server 14.32 ms
  716. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  717. 26.42 s [genvalidity-mergeful] mergeClientDeletedConflicts
  718. 26.42 s [genvalidity-mergeful] produces valid results 11.90 ms
  719. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  720. 26.42 s [genvalidity-mergeful] Multiple clients
  721. 26.42 s [genvalidity-mergeful] Single-item
  722. 26.42 s [genvalidity-mergeful] successfully syncs a modification accross to a second client 12.46 ms
  723. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  724. 26.42 s [genvalidity-mergeful] successfully syncs an addition accross to a second client 5.50 ms
  725. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  726. 26.42 s [genvalidity-mergeful] does not run into a conflict if two clients both try to sync a deletion 5.74 ms
  727. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  728. 26.42 s [genvalidity-mergeful] succesfully syncs a deletion across to a second client 8.50 ms
  729. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  730. 26.42 s [genvalidity-mergeful] Multiple items
  731. 26.42 s [genvalidity-mergeful] successfully syncs additions accross to a second client 19.85 ms
  732. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  733. 26.42 s [genvalidity-mergeful] does not run into a conflict if two clients both try to sync a deletion 25.00 ms
  734. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  735. 26.42 s [genvalidity-mergeful] succesfully syncs deletions across to a second client 18.23 ms
  736. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  737. 26.42 s [genvalidity-mergeful] mergeSyncedButChangedConflicts
  738. 26.42 s [genvalidity-mergeful] produces valid results 7.91 ms
  739. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  740. 26.42 s [genvalidity-mergeful] mergeServerDeletedConflicts
  741. 26.42 s [genvalidity-mergeful] produces valid results 11.98 ms
  742. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  743. 26.42 s [genvalidity-mergeful] does not hold
  744. 26.42 s [genvalidity-mergeful] is returns an empty response on the second sync with no modifications
  745. 26.42 s [genvalidity-mergeful] does not diverge after a conflict occurs
  746. 26.42 s [genvalidity-mergeful] mergeDeletedItems
  747. 26.42 s [genvalidity-mergeful] produces valid results 5.17 ms
  748. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  749. 26.42 s [genvalidity-mergeful] There must not be id conflicts
  750. 26.42 s [genvalidity-mergeful] mergeSyncResponseFromServer
  751. 26.42 s [genvalidity-mergeful] produces valid requests
  752. 26.42 s [genvalidity-mergeful] mergeSyncResponseUsingCRDT
  753. 26.42 s [genvalidity-mergeful] produces valid requests
  754. 26.42 s [genvalidity-mergeful] mergeSyncResponseFromClient
  755. 26.42 s [genvalidity-mergeful] produces valid requests
  756. 26.42 s [genvalidity-mergeful] mergeSyncedButChangedItems
  757. 26.42 s [genvalidity-mergeful] produces valid results 10.28 ms
  758. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  759. 26.42 s [genvalidity-mergeful] ClientAddition
  760. 26.42 s [genvalidity-mergeful] JSON (ClientAddition Word8) (valid)
  761. 26.42 s [genvalidity-mergeful] encode :: (ClientAddition Word8) -> Data.ByteString.Lazy.ByteString
  762. 26.42 s [genvalidity-mergeful] never fails to encode a "valid (ClientAddition Word8)" 4.25 ms
  763. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  764. 26.42 s [genvalidity-mergeful] decode :: Data.ByteString.Lazy.ByteString -> Either String (ClientAddition Word8)
  765. 26.42 s [genvalidity-mergeful] ensures that encode and decode are inverses for "valid (ClientAddition Word8)"'s 4.69 ms
  766. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  767. 26.42 s [genvalidity-mergeful] outputs the same schema as before for (ClientAddition Word8) 0.31 ms
  768. 26.42 s [genvalidity-mergeful] GenValid (ClientAddition Word8)
  769. 26.42 s [genvalidity-mergeful] genValid :: Gen (ClientAddition Word8)
  770. 26.42 s [genvalidity-mergeful] only generates valid '(ClientAddition Word8)'s 3.34 ms
  771. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  772. 26.42 s [genvalidity-mergeful] processServerSync
  773. 26.42 s [genvalidity-mergeful] produces valid tuples of a response and a store 19.94 ms
  774. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  775. 26.42 s [genvalidity-mergeful] initialSyncRequest
  776. 26.42 s [genvalidity-mergeful] is valid 0.01 ms
  777. 26.42 s [genvalidity-mergeful] ClientId
  778. 26.42 s [genvalidity-mergeful] GenValid ClientId
  779. 26.42 s [genvalidity-mergeful] genValid :: Gen ClientId
  780. 26.42 s [genvalidity-mergeful] only generates valid 'ClientId's 0.54 ms
  781. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  782. 26.42 s [genvalidity-mergeful] JSON ClientId (valid)
  783. 26.42 s [genvalidity-mergeful] encode :: ClientId -> Data.ByteString.Lazy.ByteString
  784. 26.42 s [genvalidity-mergeful] never fails to encode a "valid ClientId" 4.41 ms
  785. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  786. 26.42 s [genvalidity-mergeful] decode :: Data.ByteString.Lazy.ByteString -> Either String ClientId
  787. 26.42 s [genvalidity-mergeful] ensures that encode and decode are inverses for "valid ClientId"'s 3.80 ms
  788. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  789. 26.42 s [genvalidity-mergeful] outputs the same schema as before for ClientId 0.85 ms
  790. 26.42 s [genvalidity-mergeful] makeSyncRequest
  791. 26.42 s [genvalidity-mergeful] produces valid requests 12.33 ms
  792. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  793. 26.42 s [genvalidity-mergeful] ServerStore
  794. 26.42 s [genvalidity-mergeful] JSON (ServerStore Word8 Word8) (valid)
  795. 26.42 s [genvalidity-mergeful] decode :: Data.ByteString.Lazy.ByteString -> Either String (ServerStore Word8 Word8)
  796. 26.42 s [genvalidity-mergeful] ensures that encode and decode are inverses for "valid (ServerStore Word8 Word8)"'s 22.92 ms
  797. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  798. 26.42 s [genvalidity-mergeful] encode :: (ServerStore Word8 Word8) -> Data.ByteString.Lazy.ByteString
  799. 26.42 s [genvalidity-mergeful] never fails to encode a "valid (ServerStore Word8 Word8)" 13.21 ms
  800. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  801. 26.42 s [genvalidity-mergeful] GenValid (ServerStore Word8 Word8)
  802. 26.42 s [genvalidity-mergeful] genValid :: Gen (ServerStore Word8 Word8)
  803. 26.42 s [genvalidity-mergeful] only generates valid '(ServerStore Word8 Word8)'s 9.92 ms
  804. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  805. 26.42 s [genvalidity-mergeful] outputs the same schema as before for (ServerStore Word8 Word8) 0.21 ms
  806. 26.42 s [genvalidity-mergeful] initialServerStore
  807. 26.42 s [genvalidity-mergeful] is valid 0.01 ms
  808. 26.42 s [genvalidity-mergeful] SyncResponse
  809. 26.42 s [genvalidity-mergeful] JSON (SyncResponse ClientId Word8 Word8) (valid)
  810. 26.42 s [genvalidity-mergeful] encode :: (SyncResponse ClientId Word8 Word8) -> Data.ByteString.Lazy.ByteString
  811. 26.42 s [genvalidity-mergeful] never fails to encode a "valid (SyncResponse ClientId Word8 Word8)" 661.81 ms
  812. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  813. 26.42 s [genvalidity-mergeful] decode :: Data.ByteString.Lazy.ByteString -> Either String (SyncResponse ClientId Word8 Word8)
  814. 26.42 s [genvalidity-mergeful] ensures that encode and decode are inverses for "valid (SyncResponse ClientId Word8 Word8)"'s 671.50 ms
  815. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  816. 26.42 s [genvalidity-mergeful] outputs the same schema as before for (SyncResponse ClientId Word8 Word8) 1.62 ms
  817. 26.42 s [genvalidity-mergeful] GenValid (SyncResponse ClientId Word8 Word8)
  818. 26.42 s [genvalidity-mergeful] genValid :: Gen (SyncResponse ClientId Word8 Word8)
  819. 26.42 s [genvalidity-mergeful] only generates valid '(SyncResponse ClientId Word8 Word8)'s 656.98 ms
  820. 26.42 s [genvalidity-mergeful] passed for all of 100 inputs.
  821. 26.42 s [genvalidity-mergeful] SyncRequest
  822. 26.42 s [genvalidity-mergeful] GenValid (SyncRequest ClientId Word8 Word8)
  823. 26.43 s [genvalidity-mergeful] genValid :: Gen (SyncRequest ClientId Word8 Word8)
  824. 26.43 s [genvalidity-mergeful] only generates valid '(SyncRequest ClientId Word8 Word8)'s 14.01 ms
  825. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  826. 26.43 s [genvalidity-mergeful] JSON (SyncRequest ClientId Word8 Word8) (valid)
  827. 26.43 s [genvalidity-mergeful] decode :: Data.ByteString.Lazy.ByteString -> Either String (SyncRequest ClientId Word8 Word8)
  828. 26.43 s [genvalidity-mergeful] ensures that encode and decode are inverses for "valid (SyncRequest ClientId Word8 Word8)"'s 23.38 ms
  829. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  830. 26.43 s [genvalidity-mergeful] encode :: (SyncRequest ClientId Word8 Word8) -> Data.ByteString.Lazy.ByteString
  831. 26.43 s [genvalidity-mergeful] never fails to encode a "valid (SyncRequest ClientId Word8 Word8)" 15.23 ms
  832. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  833. 26.43 s [genvalidity-mergeful] outputs the same schema as before for (SyncRequest ClientId Word8 Word8) 1.07 ms
  834. 26.43 s [genvalidity-mergeful] changeItemInClientStore
  835. 26.43 s [genvalidity-mergeful] ensures that the changed item is in fact in the result 12.48 ms
  836. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  837. 26.43 s [genvalidity-mergeful] produces valid stores 6.96 ms
  838. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  839. 26.43 s [genvalidity-mergeful] doesn't change the size of the client store 11.49 ms
  840. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  841. 26.43 s [genvalidity-mergeful] initialClientStore
  842. 26.43 s [genvalidity-mergeful] is valid 0.01 ms
  843. 26.43 s [genvalidity-mergeful] ClientStore
  844. 26.43 s [genvalidity-mergeful] GenValid (ClientStore ClientId Word8 Word8)
  845. 26.43 s [genvalidity-mergeful] genValid :: Gen (ClientStore ClientId Word8 Word8)
  846. 26.43 s [genvalidity-mergeful] only generates valid '(ClientStore ClientId Word8 Word8)'s 14.49 ms
  847. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  848. 26.43 s [genvalidity-mergeful] JSON (ClientStore ClientId Word8 Word8) (valid)
  849. 26.43 s [genvalidity-mergeful] decode :: Data.ByteString.Lazy.ByteString -> Either String (ClientStore ClientId Word8 Word8)
  850. 26.43 s [genvalidity-mergeful] ensures that encode and decode are inverses for "valid (ClientStore ClientId Word8 Word8)"'s 667.38 ms
  851. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  852. 26.43 s [genvalidity-mergeful] encode :: (ClientStore ClientId Word8 Word8) -> Data.ByteString.Lazy.ByteString
  853. 26.43 s [genvalidity-mergeful] never fails to encode a "valid (ClientStore ClientId Word8 Word8)" 14.27 ms
  854. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  855. 26.43 s [genvalidity-mergeful] outputs the same schema as before for (ClientStore ClientId Word8 Word8) 9.83 ms
  856. 26.43 s [genvalidity-mergeful] deleteItemFromClientStore
  857. 26.43 s [genvalidity-mergeful] produces valid stores 7.11 ms
  858. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  859. 26.43 s [genvalidity-mergeful] makes the client store one smaller 11.19 ms
  860. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  861. 26.43 s [genvalidity-mergeful] emptySyncResponse
  862. 26.43 s [genvalidity-mergeful] is valid 0.01 ms
  863. 26.43 s [genvalidity-mergeful] Syncing with mergeSyncResponseFromServer
  864. 26.43 s [genvalidity-mergeful] Multiple clients
  865. 26.43 s [genvalidity-mergeful] Multiple items
  866. 26.43 s [genvalidity-mergeful] does not run into a conflict if two clients both try to sync a deletion 18.85 ms
  867. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  868. 26.43 s [genvalidity-mergeful] succesfully syncs deletions across to a second client 16.36 ms
  869. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  870. 26.43 s [genvalidity-mergeful] successfully syncs additions accross to a second client 652.99 ms
  871. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  872. 26.43 s [genvalidity-mergeful] Single-item
  873. 26.43 s [genvalidity-mergeful] does not run into a conflict if two clients both try to sync a deletion 5.56 ms
  874. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  875. 26.43 s [genvalidity-mergeful] succesfully syncs a deletion across to a second client 5.09 ms
  876. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  877. 26.43 s [genvalidity-mergeful] successfully syncs an addition accross to a second client 7.19 ms
  878. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  879. 26.43 s [genvalidity-mergeful] successfully syncs a modification accross to a second client 4.69 ms
  880. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  881. 26.43 s [genvalidity-mergeful] mergeClientDeletedConflicts
  882. 26.43 s [genvalidity-mergeful] produces valid results 6.54 ms
  883. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  884. 26.43 s [genvalidity-mergeful] mergeSyncResponseFromServer
  885. 26.43 s [genvalidity-mergeful] only differs from mergeSyncResponseFromClient on conflicts 667.48 ms
  886. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  887. 26.43 s [genvalidity-mergeful] is returns an empty response on the second sync with no modifications 662.03 ms
  888. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  889. 26.43 s [genvalidity-mergeful] Single client
  890. 26.43 s [genvalidity-mergeful] Multi-item
  891. 26.43 s [genvalidity-mergeful] succesfully uploads everything to the server for an empty server 12.53 ms
  892. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  893. 26.43 s [genvalidity-mergeful] is idempotent with one client 653.26 ms
  894. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  895. 26.43 s [genvalidity-mergeful] succesfully downloads everything from the server for an empty client 11.71 ms
  896. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  897. 26.43 s [genvalidity-mergeful] mergeServerDeletedConflicts
  898. 26.43 s [genvalidity-mergeful] produces valid results 7.43 ms
  899. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  900. 26.43 s [genvalidity-mergeful] mergeSyncedButChangedConflicts
  901. 26.43 s [genvalidity-mergeful] produces valid results 3.86 ms
  902. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  903. 26.43 s [genvalidity-mergeful] does not diverge after a conflict occurs 8.46 ms
  904. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  905. 26.43 s [genvalidity-mergeful] does not hold
  906. 26.43 s [genvalidity-mergeful] does not lose data after a conflict occurs
  907. 26.43 s [genvalidity-mergeful] addItemToClientStore
  908. 26.43 s [genvalidity-mergeful] ensures that the added item is in fact in the result 10.43 ms
  909. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  910. 26.43 s [genvalidity-mergeful] produces valid stores 9.98 ms
  911. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  912. 26.43 s [genvalidity-mergeful] makes the client store one bigger 8.57 ms
  913. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  914. 26.43 s [genvalidity-mergeful] Syncing with mergeSyncResponseUsingStrategy with a GCounter
  915. 26.43 s [genvalidity-mergeful] mergeServerDeletedConflicts
  916. 26.43 s [genvalidity-mergeful] produces valid results 7.19 ms
  917. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  918. 26.43 s [genvalidity-mergeful] does not diverge after a conflict occurs 8.64 ms
  919. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  920. 26.43 s [genvalidity-mergeful] Multiple clients
  921. 26.43 s [genvalidity-mergeful] Single-item
  922. 26.43 s [genvalidity-mergeful] does not run into a conflict if two clients both try to sync a deletion 5.76 ms
  923. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  924. 26.43 s [genvalidity-mergeful] successfully syncs a modification accross to a second client 5.74 ms
  925. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  926. 26.43 s [genvalidity-mergeful] successfully syncs an addition accross to a second client 3.31 ms
  927. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  928. 26.43 s [genvalidity-mergeful] succesfully syncs a deletion across to a second client 4.58 ms
  929. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  930. 26.43 s [genvalidity-mergeful] Multiple items
  931. 26.43 s [genvalidity-mergeful] successfully syncs additions accross to a second client 644.00 ms
  932. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  933. 26.43 s [genvalidity-mergeful] does not run into a conflict if two clients both try to sync a deletion 641.82 ms
  934. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  935. 26.43 s [genvalidity-mergeful] succesfully syncs deletions across to a second client 640.38 ms
  936. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  937. 26.43 s [genvalidity-mergeful] Single client
  938. 26.43 s [genvalidity-mergeful] Multi-item
  939. 26.43 s [genvalidity-mergeful] succesfully downloads everything from the server for an empty client 637.67 ms
  940. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  941. 26.43 s [genvalidity-mergeful] is idempotent with one client 649.08 ms
  942. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  943. 26.43 s [genvalidity-mergeful] succesfully uploads everything to the server for an empty server 639.91 ms
  944. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  945. 26.43 s [genvalidity-mergeful] does not lose data after a conflict occurs 632.65 ms
  946. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  947. 26.43 s [genvalidity-mergeful] mergeSyncedButChangedConflicts
  948. 26.43 s [genvalidity-mergeful] produces valid results 2.67 ms
  949. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  950. 26.43 s [genvalidity-mergeful] mergeSyncResponseFromServer
  951. 26.43 s [genvalidity-mergeful] only differs from mergeSyncResponseFromClient on conflicts 669.57 ms
  952. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  953. 26.43 s [genvalidity-mergeful] is returns an empty response on the second sync with no modifications 655.97 ms
  954. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  955. 26.43 s [genvalidity-mergeful] mergeSyncResponseFromServer
  956. 26.43 s [genvalidity-mergeful] only differs from mergeSyncResponseFromClient on conflicts 662.82 ms
  957. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  958. 26.43 s [genvalidity-mergeful] mergeClientDeletedConflicts
  959. 26.43 s [genvalidity-mergeful] produces valid results 633.46 ms
  960. 26.43 s [genvalidity-mergeful] passed for all of 100 inputs.
  961. 26.43 s [genvalidity-mergeful]
  962. 26.43 s [genvalidity-mergeful]
  963. 26.43 s [genvalidity-mergeful] Examples: 15820
  964. 26.43 s [genvalidity-mergeful] Passed: 178
  965. 26.43 s [genvalidity-mergeful] Failed: 0
  966. 26.43 s [genvalidity-mergeful] Pending: 7
  967. 26.43 s [genvalidity-mergeful] Sum of test runtimes: 14.06 seconds
  968. 26.43 s [genvalidity-mergeful] Test suite took: 0.71 seconds
  969. 26.43 s [genvalidity-mergeful]
  970. 26.43 s [genvalidity-mergeful] Test suite mergeful-test: PASS
  971. 26.43 s [genvalidity-mergeful] Test suite logged to: dist/test/genvalidity-mergeful-0.3.0.1-mergeful-test.log
  972. 26.43 s [genvalidity-mergeful] 1 of 1 test suites (1 of 1 test cases) passed.
  973. 26.43 s [genvalidity-mergeful] Phase: haddockPhase
  974. 26.57 s [genvalidity-mergeful] Preprocessing library for genvalidity-mergeful-0.3.0.1...
  975. 26.57 s [genvalidity-mergeful] Running Haddock on library for genvalidity-mergeful-0.3.0.1...
  976. 26.57 s [genvalidity-mergeful] Warning: The documentation for the following packages are not installed. No
  977. 26.57 s [genvalidity-mergeful] links will be generated to these packages: vector-0.13.2.0
  978. 26.79 s [genvalidity-mergeful] [1 of 6] Compiling Data.GenValidity.Mergeful.Timed ( src/Data/GenValidity/Mergeful/Timed.hs, nothing )
  979. 26.88 s [genvalidity-mergeful] [2 of 6] Compiling Data.GenValidity.Mergeful.Item ( src/Data/GenValidity/Mergeful/Item.hs, nothing )
  980. 26.90 s [genvalidity-mergeful] [3 of 6] Compiling Data.GenValidity.Mergeful.Collection ( src/Data/GenValidity/Mergeful/Collection.hs, nothing )
  981. 26.95 s [genvalidity-mergeful] [4 of 6] Compiling Data.GenValidity.Mergeful.Value ( src/Data/GenValidity/Mergeful/Value.hs, nothing )
  982. 26.96 s [genvalidity-mergeful] [5 of 6] Compiling Data.GenValidity.Mergeful ( src/Data/GenValidity/Mergeful.hs, nothing )
  983. 26.96 s [genvalidity-mergeful] [6 of 6] Compiling Paths_genvalidity_mergeful ( dist/build/autogen/Paths_genvalidity_mergeful.hs, nothing )
  984. 26.97 s [genvalidity-mergeful] Haddock coverage:
  985. 26.97 s [genvalidity-mergeful] 0% ( 0 / 1) in 'Data.GenValidity.Mergeful.Timed'
  986. 26.97 s [genvalidity-mergeful] Missing documentation for:
  987. 26.97 s [genvalidity-mergeful] Module header
  988. 26.97 s [genvalidity-mergeful] 0% ( 0 / 1) in 'Data.GenValidity.Mergeful.Item'
  989. 26.97 s [genvalidity-mergeful] Missing documentation for:
  990. 26.97 s [genvalidity-mergeful] Module header
  991. 26.97 s [genvalidity-mergeful] 0% ( 0 / 3) in 'Data.GenValidity.Mergeful.Collection'
  992. 26.97 s [genvalidity-mergeful] Missing documentation for:
  993. 26.97 s [genvalidity-mergeful] Module header
  994. 26.97 s [genvalidity-mergeful] splitSet (src/Data/GenValidity/Mergeful/Collection.hs:96)
  995. 26.97 s [genvalidity-mergeful] mapWithIds (src/Data/GenValidity/Mergeful/Collection.hs:104)
  996. 26.97 s [genvalidity-mergeful] 0% ( 0 / 1) in 'Data.GenValidity.Mergeful.Value'
  997. 26.97 s [genvalidity-mergeful] Missing documentation for:
  998. 26.97 s [genvalidity-mergeful] Module header
  999. 26.97 s [genvalidity-mergeful] 0% ( 0 / 1) in 'Data.GenValidity.Mergeful'
  1000. 26.97 s [genvalidity-mergeful] Missing documentation for:
  1001. 26.97 s [genvalidity-mergeful] Module header
  1002. 31.48 s [genvalidity-mergeful] Documentation created: dist/doc/html/genvalidity-mergeful/,
  1003. 31.64 s [genvalidity-mergeful] dist/doc/html/genvalidity-mergeful/genvalidity-mergeful.txt
  1004. 31.64 s [genvalidity-mergeful] Preprocessing benchmark 'mergeful-bench' for genvalidity-mergeful-0.3.0.1...
  1005. 31.64 s [genvalidity-mergeful] Preprocessing test suite 'mergeful-test' for genvalidity-mergeful-0.3.0.1...
  1006. 31.64 s [genvalidity-mergeful] Phase: installPhase
  1007. 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
  1008. 32.08 s [genvalidity-mergeful] Phase: fixupPhase
  1009. 32.09 s [genvalidity-mergeful] shrinking RPATHs of ELF executables and libraries in /nix/store/5i80d6vvhgs5rllfm8hl53r1axmbys71-genvalidity-mergeful-0.3.0.1
  1010. 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
  1011. 32.12 s [genvalidity-mergeful] checking for references to /build/ in /nix/store/5i80d6vvhgs5rllfm8hl53r1axmbys71-genvalidity-mergeful-0.3.0.1...
  1012. 32.15 s [genvalidity-mergeful] patching script interpreter paths in /nix/store/5i80d6vvhgs5rllfm8hl53r1axmbys71-genvalidity-mergeful-0.3.0.1
  1013. 32.15 s [genvalidity-mergeful] stripping (with command strip and flags -S -p) in /nix/store/5i80d6vvhgs5rllfm8hl53r1axmbys71-genvalidity-mergeful-0.3.0.1/lib
  1014. 32.20 s [genvalidity-mergeful] shrinking RPATHs of ELF executables and libraries in /nix/store/9q0y6c3cfjmf8ngr16a2fdx6w23gq1fp-genvalidity-mergeful-0.3.0.1-doc
  1015. 32.21 s [genvalidity-mergeful] checking for references to /build/ in /nix/store/9q0y6c3cfjmf8ngr16a2fdx6w23gq1fp-genvalidity-mergeful-0.3.0.1-doc...
  1016. 32.22 s [genvalidity-mergeful] patching script interpreter paths in /nix/store/9q0y6c3cfjmf8ngr16a2fdx6w23gq1fp-genvalidity-mergeful-0.3.0.1-doc
  1017. 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
  1018. 32.52 s [post-build-hook] copying 2 paths...
  1019. 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'...
  1020. 32.76 s [post-build-hook] copying path '/nix/store/5i80d6vvhgs5rllfm8hl53r1axmbys71-genvalidity-mergeful-0.3.0.1' to 'https://cache.staging.nix-ci.com'...
  1021. 33.69 s [post-build-hook] copying 1 paths...
  1022. 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'...
  1023. 33.95 s Progress: 2 of 3 built