==> Building on chandelure ==> Checking for remote environment... ==> Syncing package to remote host... sending incremental file list created directory packages/haskell-what4 ./ .SRCINFO 1,985 100% 0.00kB/s 0:00:00 1,985 100% 0.00kB/s 0:00:00 (xfr#1, to-chk=2/4) PKGBUILD 2,888 100% 2.75MB/s 0:00:00 2,888 100% 2.75MB/s 0:00:00 (xfr#2, to-chk=1/4) haskell-what4-1.4-5.log 370 100% 361.33kB/s 0:00:00 370 100% 361.33kB/s 0:00:00 (xfr#3, to-chk=0/4) sent 2,337 bytes received 121 bytes 1,638.67 bytes/sec total size is 5,070 speedup is 2.06 ==> Patching arch to riscv64... ==> Running extra-riscv64-build -- -d /home/felix/packages/riscv64-pkg-cache:/var/cache/pacman/pkg -l root1 on remote host... [?25l:: Synchronizing package databases... core downloading... extra downloading... :: Starting full system upgrade... there is nothing to do [?25h==> Building in chroot for [extra] (riscv64)... ==> Synchronizing chroot copy [/var/lib/archbuild/extra-riscv64/root] -> [root1]...done ==> Making package: haskell-what4 1.4-5 (Fri Oct 20 04:12:34 2023) ==> Retrieving sources...  -> Downloading what4-1.4.tar.gz... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- 0:00:02 --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- 0:00:03 --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- 0:00:03 --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- 0:00:04 --:--:-- 0 100 44795 0 44795 0 0 9145 0 --:--:-- 0:00:04 --:--:-- 88702 100 383k 0 383k 0 0 57975 0 --:--:-- 0:00:06 --:--:-- 161k 100 399k 0 399k 0 0 59363 0 --:--:-- 0:00:06 --:--:-- 159k 100 410k 0 410k 0 0 60375 0 --:--:-- 0:00:06 --:--:-- 160k ==> Validating source files with sha512sums... what4-1.4.tar.gz ... Passed ==> Making package: haskell-what4 1.4-5 (Fri Oct 20 04:19:42 2023) ==> Checking runtime dependencies... ==> Installing missing dependencies... [?25lresolving dependencies... looking for conflicting packages... Package (80) New Version Net Change Download Size extra/haskell-adjunctions 4.4.2-61.1 1.27 MiB 0.18 MiB extra/haskell-assoc 1.0.2-200.3 0.07 MiB 0.02 MiB extra/haskell-base-compat 0.12.2-1 0.33 MiB 0.08 MiB extra/haskell-base-orphans 0.8.7-64.1 0.32 MiB 0.07 MiB extra/haskell-bitwise 1.0.0.1-177 0.69 MiB 0.12 MiB extra/haskell-call-stack 0.4.0-154.1 0.06 MiB 0.02 MiB extra/haskell-case-insensitive 1.2.1.0-188 0.16 MiB 0.04 MiB extra/haskell-comonad 5.0.8-195.3 0.62 MiB 0.11 MiB extra/haskell-constraints 0.13.4-34 1.63 MiB 0.21 MiB extra/haskell-contravariant 1.5.5-3 0.45 MiB 0.06 MiB extra/haskell-data-array-byte 0.1.0.1-25.1 0.13 MiB 0.03 MiB extra/haskell-distributive 0.6.2.1-194 0.26 MiB 0.04 MiB extra/haskell-foldable1-classes-compat 0.1-11.3 0.57 MiB 0.08 MiB extra/haskell-free 5.1.10-37.1 4.23 MiB 0.61 MiB extra/haskell-ghc-bignum-orphans 0.1.1-1 0.01 MiB 0.01 MiB extra/haskell-gitrev 1.3.1-31 0.09 MiB 0.02 MiB extra/haskell-indexed-traversable 0.1.3-3.2 0.81 MiB 0.12 MiB extra/haskell-indexed-traversable-instances 0.1.1.2-11.1 0.09 MiB 0.02 MiB extra/haskell-integer-logarithms 1.0.3.1-6 0.12 MiB 0.03 MiB extra/haskell-invariant 0.6.2-9.1 1.09 MiB 0.17 MiB extra/haskell-kan-extensions 5.2.5-72.1 1.18 MiB 0.19 MiB extra/haskell-network 3.1.4.0-5 1.70 MiB 0.33 MiB extra/haskell-onetuple 0.3.1-60 0.02 MiB 0.01 MiB extra/haskell-parallel 3.2.2.0-17 0.24 MiB 0.04 MiB extra/haskell-parser-combinators 1.3.0-4 0.29 MiB 0.06 MiB extra/haskell-primitive 0.7.4.0-81.1 1.82 MiB 0.27 MiB extra/haskell-profunctors 5.6.2-140.1 2.31 MiB 0.30 MiB extra/haskell-random 1.2.1.1-123.2 1.71 MiB 0.24 MiB extra/haskell-reflection 2.1.7-9 1.31 MiB 0.22 MiB extra/haskell-safe-exceptions 0.1.7.4-6 0.18 MiB 0.04 MiB extra/haskell-semigroupoids 5.3.7-109.1 2.84 MiB 0.39 MiB extra/haskell-splitmix 0.1.0.4-146.1 0.18 MiB 0.04 MiB extra/haskell-statevar 1.2.2-2 0.08 MiB 0.02 MiB extra/haskell-strict 0.4.0.1-174.3 1.07 MiB 0.18 MiB extra/haskell-tagged 0.8.8-1 0.32 MiB 0.06 MiB extra/haskell-these 1.1.1.1-201.3 0.61 MiB 0.10 MiB extra/haskell-transformers-base 0.4.6-87 0.14 MiB 0.02 MiB extra/haskell-transformers-compat 0.7.2-1 0.83 MiB 0.13 MiB extra/haskell-type-equality 1-12 0.01 MiB 0.01 MiB extra/haskell-unbounded-delays 0.1.1.1-6.1 0.04 MiB 0.02 MiB extra/haskell-unliftio-core 0.2.1.0-1 0.08 MiB 0.02 MiB extra/haskell-vector-stream 0.1.0.0-1.1 0.51 MiB 0.08 MiB extra/haskell-void 0.7.3-188 0.01 MiB 0.01 MiB extra/haskell-zlib 0.6.3.0-45 0.82 MiB 0.15 MiB extra/haskell-zlib-bindings 0.1.1.5-143 0.18 MiB 0.04 MiB extra/libbf 2020.01.19-1 0.11 MiB 0.06 MiB extra/numactl 2.0.16-1 0.19 MiB 0.08 MiB extra/ghc-libs 9.0.2-3 137.63 MiB extra/haskell-async 2.2.4-175.1 0.31 MiB 0.06 MiB extra/haskell-attoparsec 0.14.4-59 2.62 MiB 0.41 MiB extra/haskell-bifunctors 5.6-11.3 3.08 MiB 0.44 MiB extra/haskell-bimap 0.5.0-43 0.19 MiB 0.04 MiB extra/haskell-boundedchan 1.0.3.0-2 0.07 MiB 0.02 MiB extra/haskell-bv-sized 1.0.5-43.1 0.82 MiB 0.14 MiB extra/haskell-concurrent-extra 0.7.0.12-35 0.32 MiB 0.06 MiB extra/haskell-config-value 0.8.3-1 1.85 MiB 0.31 MiB extra/haskell-deriving-compat 0.6.5-6 2.20 MiB 0.39 MiB extra/haskell-fingertree 0.1.5.0-54 1.20 MiB 0.19 MiB extra/haskell-hashable 1.4.3.0-4.2 0.62 MiB 0.11 MiB extra/haskell-hashtables 1.3.1-23 1.01 MiB 0.17 MiB extra/haskell-io-streams 1.5.2.2-35 1.13 MiB 0.20 MiB extra/haskell-lens 5.2.3-8.1 11.26 MiB 1.50 MiB extra/haskell-libbf 0.6.5.1-28 0.52 MiB 0.10 MiB extra/haskell-megaparsec 9.3.1-8 2.87 MiB 0.45 MiB extra/haskell-ordered-containers 0.2.3-1 0.70 MiB 0.13 MiB extra/haskell-panic 0.4.0.1-24 0.06 MiB 0.02 MiB extra/haskell-parameterized-utils 2.1.7.0-9.1 4.15 MiB 0.66 MiB extra/haskell-prettyprinter 1.7.1-132.1 1.41 MiB 0.23 MiB extra/haskell-s-cargot 0.1.5.0-11 1.42 MiB 0.25 MiB extra/haskell-scientific 0.3.7.0-98 0.56 MiB 0.12 MiB extra/haskell-temporary 1.3-540.3 0.06 MiB 0.02 MiB extra/haskell-th-abstraction 0.4.5.0-1 1.01 MiB 0.18 MiB extra/haskell-th-lift 0.8.4-1 0.21 MiB 0.05 MiB extra/haskell-th-lift-instances 0.1.20-32 0.29 MiB 0.05 MiB extra/haskell-unliftio 0.2.24.0-10 1.29 MiB 0.22 MiB extra/haskell-unordered-containers 0.2.19.1-75 1.58 MiB 0.25 MiB extra/haskell-utf8-string 1.0.2-135 0.37 MiB 0.08 MiB extra/haskell-vector 0.13.0.0-57.2 9.74 MiB extra/haskell-versions 5.0.5-10 1.23 MiB 0.20 MiB extra/haskell-zenc 0.1.2-138 0.04 MiB 0.01 MiB Total Download Size: 12.22 MiB Total Installed Size: 223.64 MiB :: Proceed with installation? [Y/n] :: Retrieving packages... haskell-lens-5.2.3-8.1-riscv64 downloading... haskell-parameterized-utils-2.1.7.0-9.1-riscv64 downloading... haskell-free-5.1.10-37.1-riscv64 downloading... haskell-megaparsec-9.3.1-8-riscv64 downloading... haskell-bifunctors-5.6-11.3-riscv64 downloading... haskell-attoparsec-0.14.4-59-riscv64 downloading... haskell-deriving-compat-0.6.5-6-riscv64 downloading... haskell-semigroupoids-5.3.7-109.1-riscv64 downloading... haskell-network-3.1.4.0-5-riscv64 downloading... haskell-config-value-0.8.3-1-riscv64 downloading... haskell-profunctors-5.6.2-140.1-riscv64 downloading... haskell-primitive-0.7.4.0-81.1-riscv64 downloading... haskell-unordered-containers-0.2.19.1-75-riscv64 downloading... haskell-s-cargot-0.1.5.0-11-riscv64 downloading... haskell-random-1.2.1.1-123.2-riscv64 downloading... haskell-prettyprinter-1.7.1-132.1-riscv64 downloading... haskell-unliftio-0.2.24.0-10-riscv64 downloading... haskell-reflection-2.1.7-9-riscv64 downloading... haskell-constraints-0.13.4-34-riscv64 downloading... haskell-versions-5.0.5-10-riscv64 downloading... haskell-io-streams-1.5.2.2-35-riscv64 downloading... haskell-fingertree-0.1.5.0-54-riscv64 downloading... haskell-kan-extensions-5.2.5-72.1-riscv64 downloading... haskell-strict-0.4.0.1-174.3-riscv64 downloading... haskell-adjunctions-4.4.2-61.1-riscv64 downloading... haskell-th-abstraction-0.4.5.0-1-riscv64 downloading... haskell-invariant-0.6.2-9.1-riscv64 downloading... haskell-hashtables-1.3.1-23-riscv64 downloading... haskell-zlib-0.6.3.0-45-riscv64 downloading... haskell-bv-sized-1.0.5-43.1-riscv64 downloading... haskell-ordered-containers-0.2.3-1-riscv64 downloading... haskell-transformers-compat-0.7.2-1-riscv64 downloading... haskell-scientific-0.3.7.0-98-riscv64 downloading... haskell-indexed-traversable-0.1.3-3.2-riscv64 downloading... haskell-bitwise-1.0.0.1-177-riscv64 downloading... haskell-hashable-1.4.3.0-4.2-riscv64 downloading... haskell-comonad-5.0.8-195.3-riscv64 downloading... haskell-these-1.1.1.1-201.3-riscv64 downloading... haskell-libbf-0.6.5.1-28-riscv64 downloading... haskell-foldable1-classes-compat-0.1-11.3-riscv64 downloading... haskell-vector-stream-0.1.0.0-1.1-riscv64 downloading... haskell-utf8-string-1.0.2-135-riscv64 downloading... haskell-base-compat-0.12.2-1-riscv64 downloading... numactl-2.0.16-1-riscv64 downloading... haskell-base-orphans-0.8.7-64.1-riscv64 downloading... haskell-contravariant-1.5.5-3-riscv64 downloading... libbf-2020.01.19-1-riscv64 downloading... haskell-tagged-0.8.8-1-riscv64 downloading... haskell-concurrent-extra-0.7.0.12-35-riscv64 downloading... haskell-parser-combinators-1.3.0-4-riscv64 downloading... haskell-async-2.2.4-175.1-riscv64 downloading... haskell-th-lift-instances-0.1.20-32-riscv64 downloading... haskell-th-lift-0.8.4-1-riscv64 downloading... haskell-parallel-3.2.2.0-17-riscv64 downloading... haskell-bimap-0.5.0-43-riscv64 downloading... haskell-splitmix-0.1.0.4-146.1-riscv64 downloading... haskell-zlib-bindings-0.1.1.5-143-riscv64 downloading... haskell-distributive-0.6.2.1-194-riscv64 downloading... haskell-safe-exceptions-0.1.7.4-6-riscv64 downloading... haskell-case-insensitive-1.2.1.0-188-riscv64 downloading... haskell-data-array-byte-0.1.0.1-25.1-riscv64 downloading... haskell-integer-logarithms-1.0.3.1-6-riscv64 downloading... haskell-indexed-traversable-instances-0.1.1.2-11.1-riscv64 downloading... haskell-transformers-base-0.4.6-87-riscv64 downloading... haskell-gitrev-1.3.1-31-riscv64 downloading... haskell-statevar-1.2.2-2-riscv64 downloading... haskell-temporary-1.3-540.3-riscv64 downloading... haskell-unliftio-core-0.2.1.0-1-riscv64 downloading... haskell-panic-0.4.0.1-24-riscv64 downloading... haskell-boundedchan-1.0.3.0-2-riscv64 downloading... haskell-assoc-1.0.2-200.3-riscv64 downloading... haskell-call-stack-0.4.0-154.1-riscv64 downloading... haskell-unbounded-delays-0.1.1.1-6.1-riscv64 downloading... haskell-zenc-0.1.2-138-riscv64 downloading... haskell-onetuple-0.3.1-60-riscv64 downloading... haskell-void-0.7.3-188-riscv64 downloading... haskell-type-equality-1-12-riscv64 downloading... haskell-ghc-bignum-orphans-0.1.1-1-riscv64 downloading... checking keyring... checking package integrity... loading package files... checking for file conflicts... :: Processing package changes... installing numactl... installing ghc-libs... installing haskell-base-orphans... installing haskell-data-array-byte... installing haskell-ghc-bignum-orphans... installing haskell-hashable... installing haskell-async... installing haskell-integer-logarithms... installing haskell-primitive... installing haskell-scientific... installing haskell-attoparsec... installing haskell-bimap... installing haskell-tagged... installing haskell-distributive... installing haskell-foldable1-classes-compat... installing haskell-indexed-traversable... installing haskell-transformers-compat... installing haskell-comonad... installing haskell-th-abstraction... installing haskell-bifunctors... installing haskell-boundedchan... installing haskell-bitwise... installing haskell-base-compat... installing haskell-gitrev... installing haskell-panic... installing haskell-type-equality... installing haskell-constraints... installing haskell-vector-stream... installing haskell-vector... installing haskell-hashtables... installing haskell-assoc... installing haskell-call-stack... installing haskell-statevar... installing haskell-contravariant... installing haskell-profunctors... installing haskell-unordered-containers... installing haskell-semigroupoids... installing haskell-transformers-base... installing haskell-free... installing haskell-onetuple... installing haskell-indexed-traversable-instances... installing haskell-void... installing haskell-adjunctions... installing haskell-invariant... installing haskell-kan-extensions... installing haskell-parallel... installing haskell-reflection... installing haskell-these... installing haskell-strict... installing haskell-lens... installing haskell-parameterized-utils... installing haskell-splitmix... installing haskell-random... installing haskell-th-lift... installing haskell-bv-sized... installing haskell-unbounded-delays... installing haskell-concurrent-extra... installing haskell-config-value... installing haskell-deriving-compat... installing haskell-fingertree... installing haskell-network... installing haskell-zlib... installing haskell-zlib-bindings... installing haskell-io-streams... installing libbf... installing haskell-libbf... installing haskell-case-insensitive... installing haskell-parser-combinators... installing haskell-megaparsec... installing haskell-ordered-containers... installing haskell-prettyprinter... installing haskell-s-cargot... installing haskell-temporary... installing haskell-th-lift-instances... installing haskell-safe-exceptions... installing haskell-unliftio-core... installing haskell-unliftio... installing haskell-utf8-string... installing haskell-versions... installing haskell-zenc... :: Running post-transaction hooks... (1/1) Registering Haskell modules... [?25h==> Checking buildtime dependencies... ==> Installing missing dependencies... [?25lresolving dependencies... looking for conflicting packages... Package (46) New Version Net Change Download Size extra/cln 1.3.6-4 2.23 MiB 0.92 MiB extra/cudd 3.0.0-1 0.69 MiB 0.32 MiB extra/haskell-ansi-terminal 0.11.4-36.1 0.88 MiB 0.15 MiB extra/haskell-ansi-wl-pprint 0.6.9-388.1 0.28 MiB 0.06 MiB extra/haskell-barbies 2.0.4.0-22 2.05 MiB 0.28 MiB extra/haskell-blaze-builder 0.4.2.3-1 0.52 MiB 0.08 MiB extra/haskell-colour 2.3.6-180.1 0.86 MiB 0.16 MiB extra/haskell-concurrent-output 1.10.18-8 0.54 MiB 0.12 MiB extra/haskell-erf 2.0.0.0-24 0.06 MiB 0.02 MiB extra/haskell-filemanip 0.3.6.3-114.1 0.34 MiB 0.07 MiB extra/haskell-kvitable 1.0.2.1-21.1 0.46 MiB 0.11 MiB extra/haskell-lexer 1.1.1-1 1.10 MiB 0.16 MiB extra/haskell-lifted-async 0.10.2.4-19 0.42 MiB 0.07 MiB extra/haskell-lifted-base 0.2.3.12-252 0.18 MiB 0.04 MiB extra/haskell-logict 0.7.1.0-216.1 0.30 MiB 0.06 MiB extra/haskell-lucid 2.11.20230408-15.1 0.90 MiB 0.16 MiB extra/haskell-microlens 0.4.13.1-1 0.31 MiB 0.06 MiB extra/haskell-mmorph 1.2.0-5 0.22 MiB 0.04 MiB extra/haskell-monad-control 1.0.3.1-87 0.18 MiB 0.03 MiB extra/haskell-optparse-applicative 0.17.0.0-59.1 1.46 MiB 0.27 MiB extra/haskell-pretty-show 1.10-14 0.72 MiB 0.16 MiB extra/haskell-prettyprinter-ansi-terminal 1.1.3-135.1 0.31 MiB 0.06 MiB extra/haskell-resourcet 1.2.6-36 0.47 MiB 0.09 MiB extra/haskell-terminal-size 0.3.4-1 0.17 MiB 0.04 MiB extra/haskell-unix-compat 0.7-11.1 0.03 MiB 0.01 MiB extra/haskell-wl-pprint-annotated 0.1.0.1-225 0.64 MiB 0.09 MiB extra/libantlr3c 3.5.3-1 0.34 MiB 0.09 MiB core/libedit 20230828_3.1-1 0.24 MiB 0.11 MiB extra/libpoly 0.1.11-1 3.96 MiB 0.63 MiB extra/llvm14 14.0.6-3 75.46 MiB 13.71 MiB extra/llvm14-libs 14.0.6-3 92.60 MiB 26.44 MiB extra/cvc4 1.8-3 15.07 MiB 5.09 MiB extra/ghc 9.0.2-3 191.34 MiB 31.47 MiB extra/haskell-hedgehog 1.1.2-71 4.65 MiB 0.81 MiB extra/haskell-lumberjack 1.0.3.0-9.1 0.31 MiB 0.07 MiB extra/haskell-quickcheck 2.14.3-22.2 3.43 MiB extra/haskell-tasty 1.4.3-37.1 1.53 MiB 0.29 MiB extra/haskell-tasty-checklist 1.0.6.0-16.1 0.25 MiB 0.06 MiB extra/haskell-tasty-expected-failure 0.12.3-310.1 0.06 MiB 0.02 MiB extra/haskell-tasty-hedgehog 1.3.1.0-71.1 0.20 MiB 0.04 MiB extra/haskell-tasty-hunit 0.10.0.3-450.2 0.13 MiB 0.03 MiB extra/haskell-tasty-quickcheck 0.10.2-289.3 0.15 MiB 0.04 MiB extra/haskell-tasty-sugar 2.1.0.0-13.1 0.64 MiB 0.14 MiB extra/uusi 0.4.3.0-8.1 0.37 MiB 0.08 MiB extra/yices 2.6.4-1 7.32 MiB 1.43 MiB extra/z3 4.12.2-1 27.72 MiB 8.20 MiB Total Download Size: 92.37 MiB Total Installed Size: 442.08 MiB :: Proceed with installation? [Y/n] :: Retrieving packages... ghc-9.0.2-3-riscv64 downloading... llvm14-libs-14.0.6-3-riscv64 downloading... llvm14-14.0.6-3-riscv64 downloading... z3-4.12.2-1-riscv64 downloading... cvc4-1.8-3-riscv64 downloading... yices-2.6.4-1-riscv64 downloading... cln-1.3.6-4-riscv64 downloading... haskell-hedgehog-1.1.2-71-riscv64 downloading... libpoly-0.1.11-1-riscv64 downloading... cudd-3.0.0-1-riscv64 downloading... haskell-tasty-1.4.3-37.1-riscv64 downloading... haskell-barbies-2.0.4.0-22-riscv64 downloading... haskell-optparse-applicative-0.17.0.0-59.1-riscv64 downloading... haskell-colour-2.3.6-180.1-riscv64 downloading... haskell-lexer-1.1.1-1-riscv64 downloading... haskell-lucid-2.11.20230408-15.1-riscv64 downloading... haskell-pretty-show-1.10-14-riscv64 downloading... haskell-ansi-terminal-0.11.4-36.1-riscv64 downloading... haskell-tasty-sugar-2.1.0.0-13.1-riscv64 downloading... haskell-concurrent-output-1.10.18-8-riscv64 downloading... haskell-kvitable-1.0.2.1-21.1-riscv64 downloading... libedit-20230828_3.1-1-riscv64 downloading... haskell-wl-pprint-annotated-0.1.0.1-225-riscv64 downloading... libantlr3c-3.5.3-1-riscv64 downloading... haskell-resourcet-1.2.6-36-riscv64 downloading... uusi-0.4.3.0-8.1-riscv64 downloading... haskell-blaze-builder-0.4.2.3-1-riscv64 downloading... haskell-filemanip-0.3.6.3-114.1-riscv64 downloading... haskell-lifted-async-0.10.2.4-19-riscv64 downloading... haskell-lumberjack-1.0.3.0-9.1-riscv64 downloading... haskell-prettyprinter-ansi-terminal-1.1.3-135.1-riscv64 downloading... haskell-tasty-checklist-1.0.6.0-16.1-riscv64 downloading... haskell-microlens-0.4.13.1-1-riscv64 downloading... haskell-logict-0.7.1.0-216.1-riscv64 downloading... haskell-ansi-wl-pprint-0.6.9-388.1-riscv64 downloading... haskell-tasty-hedgehog-1.3.1.0-71.1-riscv64 downloading... haskell-terminal-size-0.3.4-1-riscv64 downloading... haskell-lifted-base-0.2.3.12-252-riscv64 downloading... haskell-tasty-quickcheck-0.10.2-289.3-riscv64 downloading... haskell-mmorph-1.2.0-5-riscv64 downloading... haskell-tasty-hunit-0.10.0.3-450.2-riscv64 downloading... haskell-monad-control-1.0.3.1-87-riscv64 downloading... haskell-tasty-expected-failure-0.12.3-310.1-riscv64 downloading... haskell-erf-2.0.0.0-24-riscv64 downloading... haskell-unix-compat-0.7-11.1-riscv64 downloading... checking keyring... checking package integrity... loading package files... checking for file conflicts... :: Processing package changes... installing libedit... installing llvm14-libs... installing llvm14... installing ghc... installing uusi... installing haskell-colour... installing haskell-ansi-terminal... installing haskell-barbies... installing haskell-terminal-size... installing haskell-concurrent-output... installing haskell-erf... installing haskell-monad-control... installing haskell-lifted-base... installing haskell-lifted-async... installing haskell-mmorph... installing haskell-lexer... installing haskell-pretty-show... installing haskell-resourcet... installing haskell-wl-pprint-annotated... installing haskell-hedgehog... installing haskell-prettyprinter-ansi-terminal... installing haskell-lumberjack... installing haskell-quickcheck... installing haskell-ansi-wl-pprint... installing haskell-optparse-applicative... installing haskell-tasty... installing haskell-tasty-checklist... installing haskell-tasty-expected-failure... installing haskell-tasty-hedgehog... installing haskell-tasty-hunit... installing haskell-tasty-quickcheck... installing haskell-unix-compat... installing haskell-filemanip... installing haskell-blaze-builder... installing haskell-lucid... installing haskell-microlens... installing haskell-kvitable... installing haskell-logict... installing haskell-tasty-sugar... installing libantlr3c... installing cln... installing cvc4... Optional dependencies for cvc4 readline: for an improved interaction support [installed] installing cudd... installing libpoly... installing yices... installing z3... :: Running post-transaction hooks... (1/2) Registering Haskell modules... (2/2) Updating the info directory file... [?25h==> Retrieving sources...  -> Found what4-1.4.tar.gz ==> WARNING: Skipping all source file integrity checks. ==> Extracting sources...  -> Extracting what4-1.4.tar.gz with bsdtar ==> Starting prepare()... Write file: /build/haskell-what4/src/what4-1.4/Setup.hs Pending action(s): SetVersion["tasty-sugar", >=0] Parsing cabal file from what4.cabal... Write file: what4.cabal ==> Starting build()... Configuring what4-1.4... Preprocessing library for what4-1.4.. Building library for what4-1.4.. [ 1 of 87] Compiling Test.Verification ( src/Test/Verification.hs, dist/build/Test/Verification.dyn_o ) [ 2 of 87] Compiling What4.BaseTypes ( src/What4/BaseTypes.hs, dist/build/What4/BaseTypes.dyn_o ) [ 3 of 87] Compiling What4.FloatMode ( src/What4/FloatMode.hs, dist/build/What4/FloatMode.dyn_o ) [ 4 of 87] Compiling What4.FunctionName ( src/What4/FunctionName.hs, dist/build/What4/FunctionName.dyn_o ) [ 5 of 87] Compiling What4.IndexLit ( src/What4/IndexLit.hs, dist/build/What4/IndexLit.dyn_o ) [ 6 of 87] Compiling What4.Panic ( src/What4/Panic.hs, dist/build/What4/Panic.dyn_o ) [ 7 of 87] Compiling What4.ProblemFeatures ( src/What4/ProblemFeatures.hs, dist/build/What4/ProblemFeatures.dyn_o ) [ 8 of 87] Compiling What4.ProgramLoc ( src/What4/ProgramLoc.hs, dist/build/What4/ProgramLoc.dyn_o ) [ 9 of 87] Compiling What4.Protocol.PolyRoot ( src/What4/Protocol/PolyRoot.hs, dist/build/What4/Protocol/PolyRoot.dyn_o ) [10 of 87] Compiling What4.Protocol.ReadDecimal ( src/What4/Protocol/ReadDecimal.hs, dist/build/What4/Protocol/ReadDecimal.dyn_o ) [11 of 87] Compiling What4.Protocol.SExp ( src/What4/Protocol/SExp.hs, dist/build/What4/Protocol/SExp.dyn_o ) [12 of 87] Compiling What4.Protocol.SMTLib2.Parse ( src/What4/Protocol/SMTLib2/Parse.hs, dist/build/What4/Protocol/SMTLib2/Parse.dyn_o ) [13 of 87] Compiling What4.Protocol.SMTLib2.Syntax ( src/What4/Protocol/SMTLib2/Syntax.hs, dist/build/What4/Protocol/SMTLib2/Syntax.dyn_o ) [14 of 87] Compiling What4.SatResult ( src/What4/SatResult.hs, dist/build/What4/SatResult.dyn_o ) [15 of 87] Compiling What4.SemiRing ( src/What4/SemiRing.hs, dist/build/What4/SemiRing.dyn_o ) [16 of 87] Compiling What4.Serialize.Log ( src/What4/Serialize/Log.hs, dist/build/What4/Serialize/Log.dyn_o ) [17 of 87] Compiling What4.Serialize.SETokens ( src/What4/Serialize/SETokens.hs, dist/build/What4/Serialize/SETokens.dyn_o ) [18 of 87] Compiling What4.Serialize.FastSExpr ( src/What4/Serialize/FastSExpr.hs, dist/build/What4/Serialize/FastSExpr.dyn_o ) [19 of 87] Compiling What4.SpecialFunctions ( src/What4/SpecialFunctions.hs, dist/build/What4/SpecialFunctions.dyn_o ) [20 of 87] Compiling What4.Symbol ( src/What4/Symbol.hs, dist/build/What4/Symbol.dyn_o ) [21 of 87] Compiling What4.Utils.AnnotatedMap ( src/What4/Utils/AnnotatedMap.hs, dist/build/What4/Utils/AnnotatedMap.dyn_o ) [22 of 87] Compiling What4.Utils.Arithmetic ( src/What4/Utils/Arithmetic.hs, dist/build/What4/Utils/Arithmetic.dyn_o ) [23 of 87] Compiling What4.Utils.BVDomain.Arith ( src/What4/Utils/BVDomain/Arith.hs, dist/build/What4/Utils/BVDomain/Arith.dyn_o ) [24 of 87] Compiling What4.Utils.BVDomain.Bitwise ( src/What4/Utils/BVDomain/Bitwise.hs, dist/build/What4/Utils/BVDomain/Bitwise.dyn_o ) [25 of 87] Compiling What4.Utils.BVDomain.XOR ( src/What4/Utils/BVDomain/XOR.hs, dist/build/What4/Utils/BVDomain/XOR.dyn_o ) [26 of 87] Compiling What4.Utils.BVDomain ( src/What4/Utils/BVDomain.hs, dist/build/What4/Utils/BVDomain.dyn_o ) [27 of 87] Compiling What4.Utils.Complex ( src/What4/Utils/Complex.hs, dist/build/What4/Utils/Complex.dyn_o ) [28 of 87] Compiling What4.Utils.Endian ( src/What4/Utils/Endian.hs, dist/build/What4/Utils/Endian.dyn_o ) [29 of 87] Compiling What4.Utils.Environment ( src/What4/Utils/Environment.hs, dist/build/What4/Utils/Environment.dyn_o ) [30 of 87] Compiling What4.Utils.FloatHelpers ( src/What4/Utils/FloatHelpers.hs, dist/build/What4/Utils/FloatHelpers.dyn_o ) [31 of 87] Compiling What4.Utils.HandleReader ( src/What4/Utils/HandleReader.hs, dist/build/What4/Utils/HandleReader.dyn_o ) [32 of 87] Compiling What4.Utils.IncrHash ( src/What4/Utils/IncrHash.hs, dist/build/What4/Utils/IncrHash.dyn_o ) [33 of 87] Compiling What4.Expr.BoolMap ( src/What4/Expr/BoolMap.hs, dist/build/What4/Expr/BoolMap.dyn_o ) [34 of 87] Compiling What4.Utils.LeqMap ( src/What4/Utils/LeqMap.hs, dist/build/What4/Utils/LeqMap.dyn_o ) [35 of 87] Compiling What4.Utils.MonadST ( src/What4/Utils/MonadST.hs, dist/build/What4/Utils/MonadST.dyn_o ) [36 of 87] Compiling What4.Utils.OnlyIntRepr ( src/What4/Utils/OnlyIntRepr.hs, dist/build/What4/Utils/OnlyIntRepr.dyn_o ) [37 of 87] Compiling What4.Utils.Streams ( src/What4/Utils/Streams.hs, dist/build/What4/Utils/Streams.dyn_o ) [38 of 87] Compiling What4.Utils.Versions ( src/What4/Utils/Versions.hs, dist/build/What4/Utils/Versions.dyn_o ) [39 of 87] Compiling What4.Utils.Word16String ( src/What4/Utils/Word16String.hs, dist/build/What4/Utils/Word16String.dyn_o ) [40 of 87] Compiling What4.Utils.StringLiteral ( src/What4/Utils/StringLiteral.hs, dist/build/What4/Utils/StringLiteral.dyn_o ) [41 of 87] Compiling What4.Utils.AbstractDomains ( src/What4/Utils/AbstractDomains.hs, dist/build/What4/Utils/AbstractDomains.dyn_o ) [42 of 87] Compiling What4.Expr.WeightedSum ( src/What4/Expr/WeightedSum.hs, dist/build/What4/Expr/WeightedSum.dyn_o ) [43 of 87] Compiling What4.Expr.ArrayUpdateMap ( src/What4/Expr/ArrayUpdateMap.hs, dist/build/What4/Expr/ArrayUpdateMap.dyn_o ) [44 of 87] Compiling What4.Concrete ( src/What4/Concrete.hs, dist/build/What4/Concrete.dyn_o ) [45 of 87] Compiling What4.Config ( src/What4/Config.hs, dist/build/What4/Config.dyn_o ) [46 of 87] Compiling What4.Utils.Process ( src/What4/Utils/Process.hs, dist/build/What4/Utils/Process.dyn_o ) [47 of 87] Compiling What4.Interface ( src/What4/Interface.hs, dist/build/What4/Interface.dyn_o ) [48 of 87] Compiling What4.Utils.Serialize ( src/What4/Utils/Serialize.hs, dist/build/What4/Utils/Serialize.dyn_o ) [49 of 87] Compiling What4.SWord ( src/What4/SWord.hs, dist/build/What4/SWord.dyn_o ) [50 of 87] Compiling What4.SFloat ( src/What4/SFloat.hs, dist/build/What4/SFloat.dyn_o ) [51 of 87] Compiling What4.Partial ( src/What4/Partial.hs, dist/build/What4/Partial.dyn_o ) [52 of 87] Compiling What4.LabeledPred ( src/What4/LabeledPred.hs, dist/build/What4/LabeledPred.dyn_o ) [53 of 87] Compiling What4.InterpretedFloatingPoint ( src/What4/InterpretedFloatingPoint.hs, dist/build/What4/InterpretedFloatingPoint.dyn_o ) [54 of 87] Compiling What4.Expr.UnaryBV ( src/What4/Expr/UnaryBV.hs, dist/build/What4/Expr/UnaryBV.dyn_o ) [55 of 87] Compiling What4.Expr.StringSeq ( src/What4/Expr/StringSeq.hs, dist/build/What4/Expr/StringSeq.dyn_o ) [56 of 87] Compiling What4.Expr.MATLAB ( src/What4/Expr/MATLAB.hs, dist/build/What4/Expr/MATLAB.dyn_o ) [57 of 87] Compiling What4.Expr.App ( src/What4/Expr/App.hs, dist/build/What4/Expr/App.dyn_o ) [58 of 87] Compiling What4.Expr.AppTheory ( src/What4/Expr/AppTheory.hs, dist/build/What4/Expr/AppTheory.dyn_o ) [59 of 87] Compiling What4.Expr.VarIdentification ( src/What4/Expr/VarIdentification.hs, dist/build/What4/Expr/VarIdentification.dyn_o ) [60 of 87] Compiling What4.Expr.Allocator ( src/What4/Expr/Allocator.hs, dist/build/What4/Expr/Allocator.dyn_o ) [61 of 87] Compiling What4.Expr.Builder ( src/What4/Expr/Builder.hs, dist/build/What4/Expr/Builder.dyn_o ) [62 of 87] Compiling What4.Protocol.VerilogWriter.AST ( src/What4/Protocol/VerilogWriter/AST.hs, dist/build/What4/Protocol/VerilogWriter/AST.dyn_o ) [63 of 87] Compiling What4.Protocol.VerilogWriter.Backend ( src/What4/Protocol/VerilogWriter/Backend.hs, dist/build/What4/Protocol/VerilogWriter/Backend.dyn_o ) [64 of 87] Compiling What4.Protocol.VerilogWriter.ABCVerilog ( src/What4/Protocol/VerilogWriter/ABCVerilog.hs, dist/build/What4/Protocol/VerilogWriter/ABCVerilog.dyn_o ) [65 of 87] Compiling What4.Protocol.VerilogWriter ( src/What4/Protocol/VerilogWriter.hs, dist/build/What4/Protocol/VerilogWriter.dyn_o ) [66 of 87] Compiling What4.Expr.Simplify ( src/What4/Expr/Simplify.hs, dist/build/What4/Expr/Simplify.dyn_o ) [67 of 87] Compiling What4.Expr.GroundEval ( src/What4/Expr/GroundEval.hs, dist/build/What4/Expr/GroundEval.dyn_o ) [68 of 87] Compiling What4.Solver.Adapter ( src/What4/Solver/Adapter.hs, dist/build/What4/Solver/Adapter.dyn_o ) [69 of 87] Compiling What4.Protocol.SMTWriter ( src/What4/Protocol/SMTWriter.hs, dist/build/What4/Protocol/SMTWriter.dyn_o ) [70 of 87] Compiling What4.Protocol.SMTLib2.Response ( src/What4/Protocol/SMTLib2/Response.hs, dist/build/What4/Protocol/SMTLib2/Response.dyn_o ) [71 of 87] Compiling What4.Expr ( src/What4/Expr.hs, dist/build/What4/Expr.dyn_o ) [72 of 87] Compiling What4.Serialize.Printer ( src/What4/Serialize/Printer.hs, dist/build/What4/Serialize/Printer.dyn_o ) [73 of 87] Compiling What4.Serialize.Parser ( src/What4/Serialize/Parser.hs, dist/build/What4/Serialize/Parser.dyn_o ) [74 of 87] Compiling What4.Serialize.Normalize ( src/What4/Serialize/Normalize.hs, dist/build/What4/Serialize/Normalize.dyn_o ) [75 of 87] Compiling What4.Protocol.Online ( src/What4/Protocol/Online.hs, dist/build/What4/Protocol/Online.dyn_o ) [76 of 87] Compiling What4.Utils.ResolveBounds.BV ( src/What4/Utils/ResolveBounds/BV.hs, dist/build/What4/Utils/ResolveBounds/BV.dyn_o ) [77 of 87] Compiling What4.Protocol.SMTLib2 ( src/What4/Protocol/SMTLib2.hs, dist/build/What4/Protocol/SMTLib2.dyn_o ) [78 of 87] Compiling What4.Solver.Z3 ( src/What4/Solver/Z3.hs, dist/build/What4/Solver/Z3.dyn_o ) [79 of 87] Compiling What4.Solver.Yices ( src/What4/Solver/Yices.hs, dist/build/What4/Solver/Yices.dyn_o ) [80 of 87] Compiling What4.Solver.STP ( src/What4/Solver/STP.hs, dist/build/What4/Solver/STP.dyn_o ) [81 of 87] Compiling What4.Solver.ExternalABC ( src/What4/Solver/ExternalABC.hs, dist/build/What4/Solver/ExternalABC.dyn_o ) [82 of 87] Compiling What4.Solver.DReal ( src/What4/Solver/DReal.hs, dist/build/What4/Solver/DReal.dyn_o ) [83 of 87] Compiling What4.Solver.CVC5 ( src/What4/Solver/CVC5.hs, dist/build/What4/Solver/CVC5.dyn_o ) [84 of 87] Compiling What4.Solver.CVC4 ( src/What4/Solver/CVC4.hs, dist/build/What4/Solver/CVC4.dyn_o ) [85 of 87] Compiling What4.Solver.Boolector ( src/What4/Solver/Boolector.hs, dist/build/What4/Solver/Boolector.dyn_o ) [86 of 87] Compiling What4.Solver ( src/What4/Solver.hs, dist/build/What4/Solver.dyn_o ) [87 of 87] Compiling What4.WordMap ( src/What4/WordMap.hs, dist/build/What4/WordMap.dyn_o ) Preprocessing executable 'quickstart' for what4-1.4.. Building executable 'quickstart' for what4-1.4.. [1 of 1] Compiling Main ( doc/QuickStart.hs, dist/build/quickstart/quickstart-tmp/Main.dyn_o ) Linking dist/build/quickstart/quickstart ... Preprocessing test suite 'bvdomain_tests_hh' for what4-1.4.. Building test suite 'bvdomain_tests_hh' for what4-1.4.. [1 of 3] Compiling Test.Tasty.Hedgehog.Alt ( test/hedgehog/Test/Tasty/Hedgehog/Alt.hs, dist/build/bvdomain_tests_hh/bvdomain_tests_hh-tmp/Test/Tasty/Hedgehog/Alt.dyn_o ) [2 of 3] Compiling VerifyBindings ( test/HH/VerifyBindings.hs, dist/build/bvdomain_tests_hh/bvdomain_tests_hh-tmp/VerifyBindings.dyn_o ) [3 of 3] Compiling Main ( test/BVDomTests.hs, dist/build/bvdomain_tests_hh/bvdomain_tests_hh-tmp/Main.dyn_o ) Linking dist/build/bvdomain_tests_hh/bvdomain_tests_hh ... Preprocessing test suite 'abduct' for what4-1.4.. Building test suite 'abduct' for what4-1.4.. [1 of 1] Compiling Main ( test/Abduct.hs, dist/build/abduct/abduct-tmp/Main.dyn_o ) Linking dist/build/abduct/abduct ... Preprocessing test suite 'bvdomain_tests' for what4-1.4.. Building test suite 'bvdomain_tests' for what4-1.4.. [1 of 2] Compiling VerifyBindings ( test/QC/VerifyBindings.hs, dist/build/bvdomain_tests/bvdomain_tests-tmp/VerifyBindings.dyn_o ) [2 of 2] Compiling Main ( test/BVDomTests.hs, dist/build/bvdomain_tests/bvdomain_tests-tmp/Main.dyn_o ) Linking dist/build/bvdomain_tests/bvdomain_tests ... Preprocessing test suite 'solver_parsing_tests' for what4-1.4.. Building test suite 'solver_parsing_tests' for what4-1.4.. [1 of 1] Compiling Main ( test/SolverParserTest.hs, dist/build/solver_parsing_tests/solver_parsing_tests-tmp/Main.dyn_o ) Linking dist/build/solver_parsing_tests/solver_parsing_tests ... Preprocessing test suite 'config-test' for what4-1.4.. Building test suite 'config-test' for what4-1.4.. [1 of 1] Compiling Main ( test/ConfigTest.hs, dist/build/config-test/config-test-tmp/Main.dyn_o ) Linking dist/build/config-test/config-test ... Preprocessing test suite 'what4-serialize-tests' for what4-1.4.. Building test suite 'what4-serialize-tests' for what4-1.4.. [1 of 3] Compiling SerializeTestUtils ( test/SerializeTestUtils.hs, dist/build/what4-serialize-tests/what4-serialize-tests-tmp/SerializeTestUtils.dyn_o ) [2 of 3] Compiling SymFnTests ( test/SymFnTests.hs, dist/build/what4-serialize-tests/what4-serialize-tests-tmp/SymFnTests.dyn_o ) [3 of 3] Compiling Main ( test/SerializeTests.hs, dist/build/what4-serialize-tests/what4-serialize-tests-tmp/Main.dyn_o ) Linking dist/build/what4-serialize-tests/what4-serialize-tests ... Preprocessing test suite 'expr-builder-smtlib2' for what4-1.4.. Building test suite 'expr-builder-smtlib2' for what4-1.4.. [1 of 3] Compiling ProbeSolvers ( test/ProbeSolvers.hs, dist/build/expr-builder-smtlib2/expr-builder-smtlib2-tmp/ProbeSolvers.dyn_o ) [2 of 3] Compiling Test.Tasty.Hedgehog.Alt ( test/hedgehog/Test/Tasty/Hedgehog/Alt.hs, dist/build/expr-builder-smtlib2/expr-builder-smtlib2-tmp/Test/Tasty/Hedgehog/Alt.dyn_o ) [3 of 3] Compiling Main ( test/ExprBuilderSMTLib2.hs, dist/build/expr-builder-smtlib2/expr-builder-smtlib2-tmp/Main.dyn_o ) Linking dist/build/expr-builder-smtlib2/expr-builder-smtlib2 ... Preprocessing test suite 'invariant-synthesis' for what4-1.4.. Building test suite 'invariant-synthesis' for what4-1.4.. [1 of 2] Compiling ProbeSolvers ( test/ProbeSolvers.hs, dist/build/invariant-synthesis/invariant-synthesis-tmp/ProbeSolvers.dyn_o ) [2 of 2] Compiling Main ( test/InvariantSynthesis.hs, dist/build/invariant-synthesis/invariant-synthesis-tmp/Main.dyn_o ) Linking dist/build/invariant-synthesis/invariant-synthesis ... Preprocessing test suite 'template_tests' for what4-1.4.. Building test suite 'template_tests' for what4-1.4.. [1 of 2] Compiling Main ( test/TestTemplate.hs, dist/build/template_tests/template_tests-tmp/Main.dyn_o ) [2 of 2] Compiling Test.Tasty.Hedgehog.Alt ( test/hedgehog/Test/Tasty/Hedgehog/Alt.hs, dist/build/template_tests/template_tests-tmp/Test/Tasty/Hedgehog/Alt.dyn_o ) Linking dist/build/template_tests/template_tests ... Preprocessing test suite 'iteexprs_tests' for what4-1.4.. Building test suite 'iteexprs_tests' for what4-1.4.. [1 of 3] Compiling GenWhat4Expr ( test/GenWhat4Expr.hs, dist/build/iteexprs_tests/iteexprs_tests-tmp/GenWhat4Expr.dyn_o ) [2 of 3] Compiling Test.Tasty.Hedgehog.Alt ( test/hedgehog/Test/Tasty/Hedgehog/Alt.hs, dist/build/iteexprs_tests/iteexprs_tests-tmp/Test/Tasty/Hedgehog/Alt.dyn_o ) [3 of 3] Compiling Main ( test/IteExprs.hs, dist/build/iteexprs_tests/iteexprs_tests-tmp/Main.dyn_o ) Linking dist/build/iteexprs_tests/iteexprs_tests ... Preprocessing test suite 'exprs_tests' for what4-1.4.. Building test suite 'exprs_tests' for what4-1.4.. [1 of 3] Compiling GenWhat4Expr ( test/GenWhat4Expr.hs, dist/build/exprs_tests/exprs_tests-tmp/GenWhat4Expr.dyn_o ) [2 of 3] Compiling Test.Tasty.Hedgehog.Alt ( test/hedgehog/Test/Tasty/Hedgehog/Alt.hs, dist/build/exprs_tests/exprs_tests-tmp/Test/Tasty/Hedgehog/Alt.dyn_o ) [3 of 3] Compiling Main ( test/ExprsTest.hs, dist/build/exprs_tests/exprs_tests-tmp/Main.dyn_o ) Linking dist/build/exprs_tests/exprs_tests ... Unregistering what4-1.4... ==> Starting check()... Running 11 test suites... Test suite bvdomain_tests_hh: RUNNING... Bitvector Domain Arith Domain correct_any: OK (8.14s) ✓ correct_any passed 5000 tests. correct_ubounds: OK (9.38s) ✓ correct_ubounds passed 5000 tests. correct_sbounds: OK (9.23s) ✓ correct_sbounds passed 5000 tests. correct_singleton: OK (7.91s) ✓ correct_singleton passed 5000 tests. correct_overlap: OK (31.66s) ✓ correct_overlap passed 5000 tests. correct_union: OK (17.09s) ✓ correct_union passed 5000 tests. correct_zero_ext: OK (11.39s) ✓ correct_zero_ext passed 5000 tests. correct_sign_ext: OK (11.84s) ✓ correct_sign_ext passed 5000 tests. correct_concat: OK (16.88s) ✓ correct_concat passed 5000 tests. correct_shrink: OK (12.08s) ✓ correct_shrink passed 5000 tests. correct_trunc: OK (12.44s) ✓ correct_trunc passed 5000 tests. correct_select: OK (16.06s) ✓ correct_select passed 5000 tests. correct_add: OK (14.22s) ✓ correct_add passed 5000 tests. correct_neg: OK (9.59s) ✓ correct_neg passed 5000 tests. correct_not: OK (9.79s) ✓ correct_not passed 5000 tests. correct_mul: OK (14.13s) ✓ correct_mul passed 5000 tests. correct_scale: OK (11.44s) ✓ correct_scale passed 5000 tests. correct_scale_eq: OK (9.89s) ✓ correct_scale_eq passed 5000 tests. correct_udiv: OK (19.84s) ✓ correct_udiv passed 5000 tests. correct_urem: OK (19.40s) ✓ correct_urem passed 5000 tests. correct_sdiv: OK (19.32s) ✓ correct_sdiv passed 5000 tests. correct_sdivRange: OK (360.48s) ✓ correct_sdivRange passed 5000 tests. correct_srem: OK (18.17s) ✓ correct_srem passed 5000 tests. correct_shl: OK (13.29s) ✓ correct_shl passed 5000 tests. correct_lshr: OK (13.86s) ✓ correct_lshr passed 5000 tests. correct_ashr: OK (14.01s) ✓ correct_ashr passed 5000 tests. correct_eq: OK (13.74s) ✓ correct_eq passed 5000 tests. correct_ult: OK (13.03s) ✓ correct_ult passed 5000 tests. correct_slt: OK (13.69s) ✓ correct_slt passed 5000 tests. correct_unknowns: OK (10.09s) ✓ correct_unknowns passed 5000 tests. correct_bitbounds: OK (9.17s) ✓ correct_bitbounds passed 5000 tests. Bitwise Domain correct_any: OK (6.07s) ✓ correct_any passed 5000 tests. correct_singleton: OK (7.83s) ✓ correct_singleton passed 5000 tests. correct_overlap: OK (46.51s) ✓ correct_overlap passed 5000 tests. correct_union1: OK (12.39s) ✓ correct_union1 passed 5000 tests. correct_union2: OK (12.41s) ✓ correct_union2 passed 5000 tests. correct_intersection: OK (47.43s) ✓ correct_intersection passed 5000 tests. correct_zero_ext: OK (10.96s) ✓ correct_zero_ext passed 5000 tests. correct_sign_ext: OK (11.34s) ✓ correct_sign_ext passed 5000 tests. correct_concat: OK (16.00s) ✓ correct_concat passed 5000 tests. correct_shrink: OK (11.93s) ✓ correct_shrink passed 5000 tests. correct_trunc: OK (12.32s) ✓ correct_trunc passed 5000 tests. correct_select: OK (14.69s) ✓ correct_select passed 5000 tests. correct_shl: OK (10.60s) ✓ correct_shl passed 5000 tests. correct_lshr: OK (10.85s) ✓ correct_lshr passed 5000 tests. correct_ashr: OK (10.85s) ✓ correct_ashr passed 5000 tests. correct_rol: OK (10.82s) ✓ correct_rol passed 5000 tests. correct_ror: OK (10.93s) ✓ correct_ror passed 5000 tests. correct_eq: OK (12.94s) ✓ correct_eq passed 5000 tests. correct_not: OK (9.17s) ✓ correct_not passed 5000 tests. correct_and: OK (13.52s) ✓ correct_and passed 5000 tests. correct_or: OK (13.98s) ✓ correct_or passed 5000 tests. correct_xor: OK (13.50s) ✓ correct_xor passed 5000 tests. correct_testBit: OK (10.87s) ✓ correct_testBit passed 5000 tests. XOR Domain correct_singleton: OK (8.11s) ✓ correct_singleton passed 5000 tests. correct_xor: OK (13.97s) ✓ correct_xor passed 5000 tests. correct_and: OK (14.05s) ✓ correct_and passed 5000 tests. correct_and_scalar: OK (11.29s) ✓ correct_and_scalar passed 5000 tests. correct_bitbounds: OK (8.66s) ✓ correct_bitbounds passed 5000 tests. Overall Domain singleton/union size: OK (68.53s) ✓ singleton/union size passed 5000 tests. correct_bra1: OK (11.32s) ✓ correct_bra1 passed 5000 tests. correct_bra2: OK (27.18s) ✓ correct_bra2 passed 5000 tests. correct_brb1: OK (30.09s) ✓ correct_brb1 passed 5000 tests. correct_brb2: OK (40.37s) ✓ correct_brb2 passed 5000 tests. correct_any: OK (6.30s) ✓ correct_any passed 5000 tests. correct_ubounds: OK (10.48s) ✓ correct_ubounds passed 5000 tests. correct_sbounds: OK (10.69s) ✓ correct_sbounds passed 5000 tests. correct_singleton: OK (7.63s) ✓ correct_singleton passed 5000 tests. correct_overlap: OK (51.04s) ✓ correct_overlap passed 5000 tests. precise_overlap: OK (21.19s) ✓ precise_overlap passed 5000 tests. correct_union: OK (26.71s) ✓ correct_union passed 5000 tests. correct_zero_ext: OK (12.68s) ✓ correct_zero_ext passed 5000 tests. correct_sign_ext: OK (13.24s) ✓ correct_sign_ext passed 5000 tests. correct_concat: OK (19.05s) ✓ correct_concat passed 5000 tests. correct_select: OK (16.52s) ✓ correct_select passed 5000 tests. correct_add: OK (17.32s) ✓ correct_add passed 5000 tests. correct_neg: OK (11.34s) ✓ correct_neg passed 5000 tests. correct_scale: OK (12.75s) ✓ correct_scale passed 5000 tests. correct_mul: OK (17.16s) ✓ correct_mul passed 5000 tests. correct_udiv: OK (22.15s) ✓ correct_udiv passed 5000 tests. correct_urem: OK (22.97s) ✓ correct_urem passed 5000 tests. correct_sdiv: OK (22.97s) ✓ correct_sdiv passed 5000 tests. correct_srem: OK (24.09s) ✓ correct_srem passed 5000 tests. correct_shl: OK (16.87s) ✓ correct_shl passed 5000 tests. correct_lshr: OK (16.36s) ✓ correct_lshr passed 5000 tests. correct_ashr: OK (16.43s) ✓ correct_ashr passed 5000 tests. correct_rol: OK (17.36s) ✓ correct_rol passed 5000 tests. correct_ror: OK (17.28s) ✓ correct_ror passed 5000 tests. correct_eq: OK (15.85s) ✓ correct_eq passed 5000 tests. correct_ult: OK (16.36s) ✓ correct_ult passed 5000 tests. correct_slt: OK (16.43s) ✓ correct_slt passed 5000 tests. correct_not: OK (10.67s) ✓ correct_not passed 5000 tests. correct_and: OK (16.36s) ✓ correct_and passed 5000 tests. correct_or: OK (16.51s) ✓ correct_or passed 5000 tests. correct_xor: OK (16.50s) ✓ correct_xor passed 5000 tests. correct_testBit: OK (12.17s) ✓ correct_testBit passed 5000 tests. correct_popcnt: OK (10.77s) ✓ correct_popcnt passed 5000 tests. correct_clz: OK (10.83s) ✓ correct_clz passed 5000 tests. correct_ctz: OK (11.07s) ✓ correct_ctz passed 5000 tests. Transfer correct_arithToBitwise: OK (9.25s) ✓ correct_arithToBitwise passed 5000 tests. correct_bitwiseToArith: OK (9.26s) ✓ correct_bitwiseToArith passed 5000 tests. correct_bitwiseToXorDomain: OK (9.22s) ✓ correct_bitwiseToXorDomain passed 5000 tests. correct_arithToXorDomain: OK (9.15s) ✓ correct_arithToXorDomain passed 5000 tests. correct_xorToBitwiseDomain: OK (9.34s) ✓ correct_xorToBitwiseDomain passed 5000 tests. correct_asXorDomain: OK (11.15s) ✓ correct_asXorDomain passed 5000 tests. correct_fromXorDomain: OK (9.68s) ✓ correct_fromXorDomain passed 5000 tests. All 106 tests passed (1995.06s) Test suite bvdomain_tests_hh: PASS Test suite logged to: dist/test/what4-1.4-bvdomain_tests_hh.log Test suite abduct: RUNNING... Tests testing SAT query for abduction: FAIL Exception: user error (Could not find: cvc5) Use -p '/testing SAT query for abduction/' to rerun this test only. getting 3 abducts using cvc5 offline: FAIL Exception: cvc5: createProcess: posix_spawnp: does not exist (No such file or directory) Use -p '/getting 3 abducts using cvc5 offline/' to rerun this test only. getting 3 abducts using cvc5 online: FAIL Exception: user error (Could not find: cvc5) Use -p '/getting 3 abducts using cvc5 online/' to rerun this test only. 3 out of 3 tests failed (1.32s) Test suite abduct: FAIL Test suite logged to: dist/test/what4-1.4-abduct.log Test suite bvdomain_tests: RUNNING... Bitvector Domain Arith Domain correct_any: OK (1.28s) +++ OK, passed 5000 tests. correct_ubounds: OK (2.35s) +++ OK, passed 5000 tests. correct_sbounds: OK (2.42s) +++ OK, passed 5000 tests. correct_singleton: OK (1.55s) +++ OK, passed 5000 tests. correct_overlap: OK (8.42s) +++ OK, passed 5000 tests; 13818 discarded. correct_union: OK (3.68s) +++ OK, passed 5000 tests; 1549 discarded. correct_zero_ext: OK (2.55s) +++ OK, passed 5000 tests. correct_sign_ext: OK (3.07s) +++ OK, passed 5000 tests. correct_concat: OK (4.48s) +++ OK, passed 5000 tests. correct_shrink: OK (2.91s) +++ OK, passed 5000 tests. correct_trunc: OK (3.11s) +++ OK, passed 5000 tests. correct_select: OK (3.85s) +++ OK, passed 5000 tests. correct_add: OK (3.07s) +++ OK, passed 5000 tests. correct_neg: OK (1.98s) +++ OK, passed 5000 tests. correct_not: OK (2.18s) +++ OK, passed 5000 tests. correct_mul: OK (3.69s) +++ OK, passed 5000 tests. correct_scale: OK (2.85s) +++ OK, passed 5000 tests. correct_scale_eq: OK (2.64s) +++ OK, passed 5000 tests. correct_udiv: OK (4.11s) +++ OK, passed 5000 tests; 195 discarded. correct_urem: OK (4.53s) +++ OK, passed 5000 tests; 166 discarded. correct_sdiv: OK (4.75s) +++ OK, passed 5000 tests; 186 discarded. correct_sdivRange: OK (50.61s) +++ OK, passed 5000 tests; 148127 discarded. correct_srem: OK (4.60s) +++ OK, passed 5000 tests; 195 discarded. correct_shl: OK (3.72s) +++ OK, passed 5000 tests. correct_lshr: OK (3.78s) +++ OK, passed 5000 tests. correct_ashr: OK (3.70s) +++ OK, passed 5000 tests. correct_eq: OK (3.13s) +++ OK, passed 5000 tests. correct_ult: OK (3.13s) +++ OK, passed 5000 tests. correct_slt: OK (3.47s) +++ OK, passed 5000 tests. correct_unknowns: OK (3.94s) +++ OK, passed 5000 tests. correct_bitbounds: OK (2.25s) +++ OK, passed 5000 tests. Bitwise Domain correct_any: OK (1.44s) +++ OK, passed 5000 tests. correct_singleton: OK (1.62s) +++ OK, passed 5000 tests. correct_overlap: OK (193.14s) +++ OK, passed 5000 tests; 422676 discarded. correct_union1: OK (3.27s) +++ OK, passed 5000 tests. correct_union2: OK (3.34s) +++ OK, passed 5000 tests. correct_intersection: OK (196.21s) +++ OK, passed 5000 tests; 437724 discarded. correct_zero_ext: OK (3.06s) +++ OK, passed 5000 tests. correct_sign_ext: OK (2.91s) +++ OK, passed 5000 tests. correct_concat: OK (4.67s) +++ OK, passed 5000 tests. correct_shrink: OK (3.92s) +++ OK, passed 5000 tests. correct_trunc: OK (3.68s) +++ OK, passed 5000 tests. correct_select: OK (4.65s) +++ OK, passed 5000 tests. correct_shl: OK (3.10s) +++ OK, passed 5000 tests. correct_lshr: OK (2.71s) +++ OK, passed 5000 tests. correct_ashr: OK (2.98s) +++ OK, passed 5000 tests. correct_rol: OK (3.31s) +++ OK, passed 5000 tests. correct_ror: OK (3.29s) +++ OK, passed 5000 tests. correct_eq: OK (3.66s) +++ OK, passed 5000 tests. correct_not: OK (2.46s) +++ OK, passed 5000 tests. correct_and: OK (3.93s) +++ OK, passed 5000 tests. correct_or: OK (3.94s) +++ OK, passed 5000 tests. correct_xor: OK (4.15s) +++ OK, passed 5000 tests. correct_testBit: OK (2.67s) +++ OK, passed 5000 tests. XOR Domain correct_singleton: OK (1.51s) +++ OK, passed 5000 tests. correct_xor: OK (4.21s) +++ OK, passed 5000 tests. correct_and: OK (4.34s) +++ OK, passed 5000 tests. correct_and_scalar: OK (2.94s) +++ OK, passed 5000 tests. correct_bitbounds: OK (1.92s) +++ OK, passed 5000 tests. Overall Domain singleton/union size: OK (91.97s) +++ OK, passed 5000 tests. correct_bra1: OK (3.06s) +++ OK, passed 5000 tests; 4815 discarded. correct_bra2: OK (43.37s) +++ OK, passed 5000 tests; 120622 discarded. correct_brb1: OK (66.36s) +++ OK, passed 5000 tests; 202154 discarded. correct_brb2: OK (161.41s) +++ OK, passed 5000 tests; 438499 discarded. correct_any: OK (1.20s) +++ OK, passed 5000 tests. correct_ubounds: OK (2.62s) +++ OK, passed 5000 tests. correct_sbounds: OK (3.01s) +++ OK, passed 5000 tests. correct_singleton: OK (1.32s) +++ OK, passed 5000 tests. correct_overlap: OK (28.91s) +++ OK, passed 5000 tests; 54518 discarded. precise_overlap: OK (5.33s) +++ OK, passed 5000 tests; 3966 discarded. correct_union: OK (7.04s) +++ OK, passed 5000 tests; 5201 discarded. correct_zero_ext: OK (2.70s) +++ OK, passed 5000 tests. correct_sign_ext: OK (3.18s) +++ OK, passed 5000 tests. correct_concat: OK (5.31s) +++ OK, passed 5000 tests. correct_select: OK (4.74s) +++ OK, passed 5000 tests. correct_add: OK (4.51s) +++ OK, passed 5000 tests. correct_neg: OK (2.67s) +++ OK, passed 5000 tests. correct_scale: OK (3.30s) +++ OK, passed 5000 tests. correct_mul: OK (4.95s) +++ OK, passed 5000 tests. correct_udiv: OK (4.63s) +++ OK, passed 5000 tests; 143 discarded. correct_urem: OK (4.81s) +++ OK, passed 5000 tests; 136 discarded. correct_sdiv: OK (5.08s) +++ OK, passed 5000 tests; 162 discarded. correct_srem: OK (5.34s) +++ OK, passed 5000 tests; 139 discarded. correct_shl: OK (4.90s) +++ OK, passed 5000 tests. correct_lshr: OK (4.29s) +++ OK, passed 5000 tests. correct_ashr: OK (5.06s) +++ OK, passed 5000 tests. correct_rol: OK (5.23s) +++ OK, passed 5000 tests. correct_ror: OK (5.93s) +++ OK, passed 5000 tests. correct_eq: OK (4.06s) +++ OK, passed 5000 tests. correct_ult: OK (4.29s) +++ OK, passed 5000 tests. correct_slt: OK (4.40s) +++ OK, passed 5000 tests. correct_not: OK (2.55s) +++ OK, passed 5000 tests. correct_and: OK (4.66s) +++ OK, passed 5000 tests. correct_or: OK (4.16s) +++ OK, passed 5000 tests. correct_xor: OK (4.49s) +++ OK, passed 5000 tests. correct_testBit: OK (3.11s) +++ OK, passed 5000 tests. correct_popcnt: OK (2.54s) +++ OK, passed 5000 tests. correct_clz: OK (3.24s) +++ OK, passed 5000 tests. correct_ctz: OK (3.09s) +++ OK, passed 5000 tests. Transfer correct_arithToBitwise: OK (2.32s) +++ OK, passed 5000 tests. correct_bitwiseToArith: OK (2.34s) +++ OK, passed 5000 tests. correct_bitwiseToXorDomain: OK (2.23s) +++ OK, passed 5000 tests. correct_arithToXorDomain: OK (2.14s) +++ OK, passed 5000 tests. correct_xorToBitwiseDomain: OK (2.83s) +++ OK, passed 5000 tests. correct_asXorDomain: OK (2.58s) +++ OK, passed 5000 tests. correct_fromXorDomain: OK (2.36s) +++ OK, passed 5000 tests. All 106 tests passed (1176.01s) Test suite bvdomain_tests: PASS Test suite logged to: dist/test/what4-1.4-bvdomain_tests.log Test suite solver_parsing_tests: RUNNING... solver response tests err-behav-continue.rsp lenient err-behav-continue.rsp #1: OK (0.28s) strict err-behav-continue.rsp #1: OK (0.04s) err-behav-unrec.rsp lenient err-behav-unrec.rsp #1: OK (0.15s) strict err-behav-unrec.rsp #1: OK error_bad.rsp lenient error_bad.rsp #1: OK (0.04s) strict error_bad.rsp #1: OK (0.02s) minisat_verbose_success.rsp lenient minisat_verbose_success.rsp #1: OK (0.02s) strict minisat_verbose_success.rsp #1: OK (0.04s) name.rsp lenient name.rsp #1: OK strict name.rsp #1: OK rsnunk-bad.rsp lenient rsnunk-bad.rsp #1: OK (0.06s) strict rsnunk-bad.rsp #1: OK (0.06s) rsnunk-incomplete.rsp lenient rsnunk-incomplete.rsp #1: OK (0.03s) strict rsnunk-incomplete.rsp #1: OK (0.02s) rsnunk-memout.rsp lenient rsnunk-memout.rsp #1: OK (0.02s) strict rsnunk-memout.rsp #1: OK (0.07s) rsnunk-sexp.rsp lenient rsnunk-sexp.rsp #1: OK (0.05s) strict rsnunk-sexp.rsp #1: OK (0.01s) sat.rsp lenient sat.rsp #1: OK strict sat.rsp #1: OK success.rsp lenient success.rsp #1: OK (0.04s) strict success.rsp #1: OK (0.04s) unknown.rsp lenient unknown.rsp #1: OK (0.04s) strict unknown.rsp #1: OK unsat.rsp lenient unsat.rsp #1: OK strict unsat.rsp #1: OK unsupported.rsp lenient unsupported.rsp #1: OK strict unsupported.rsp #1: OK (0.02s) version.rsp lenient version.rsp #1: OK (0.09s) strict version.rsp #1: OK All 30 tests passed (1.92s) Test suite solver_parsing_tests: PASS Test suite logged to: dist/test/what4-1.4-solver_parsing_tests.log Test suite config-test: RUNNING... ConfigTests Set and get create multiple options: OK (0.12s) create conflicting options: OK (0.13s) create conflicting options at different levels: OK create duplicate unicode options: OK (0.03s) get unset value, no default: OK (0.06s) get unset string opt get unset integer opt get unset bool opt get unset value, with default: OK (0.14s) get unset default string opt get unset default integer opt (0.02s) get unset default bool opt get set value, with default: OK set string opt set bool opt set integer opt get string opt get integer opt get bool opt set invalid values: OK (0.26s) initial defaults set string opt invalidly (0.11s) set integer opt invalidly (0.01s) set real opt invalidly (0.07s) get and set option values by name: OK (0.09s) getting with a Some OptionSetter requires type verification setting using special setting functions verify set values cannot set values with wrong types (0.02s) get multiple values at once: OK (0.23s) set string opt set bool opt set alt int opt get main config values (0.17s) get all config values (0.02s) get specific config value get unknown config value Deprecated Configs deprecation removal (case #1): OK deprecation rename (case #2): OK (0.22s) deprecation rename (case #2), wrong order: OK (0.01s) deprecation rename and re-typed (case #3): OK (0.02s) deprecation, multiple replacements (case #4): OK deprecation, multiple + removed/split (case #4,(#1,#3)): OK (0.04s) Config help builtin-only config help: OK (0.04s) three item (1 deprecated) config help: OK (0.08s) all help (0.04s) sub help (0.01s) specific help specific sub help All 18 tests passed (1.85s) Test suite config-test: PASS Test suite logged to: dist/test/what4-1.4-config-test.log Test suite what4-serialize-tests: RUNNING... Writing logs to /tmp/brittle/log3062-0.txt What4 SymFns same argument type: OK (2.49s) ✓ same argument type passed 1 test. different argument types: OK (0.96s) ✓ different argument types passed 1 test. no arguments: OK (0.72s) ✓ no arguments passed 1 test. two inner arguments: OK (0.72s) ✓ two inner arguments passed 1 test. argument passthrough: OK (0.71s) ✓ argument passthrough passed 1 test. negative ints: OK (0.63s) ✓ negative ints passed 1 test. float lit: OK (0.71s) ✓ float lit passed 1 test. simple struct: OK (0.57s) ✓ simple struct passed 1 test. struct field access: OK (0.48s) ✓ struct field access passed 1 test. array update: OK (0.84s) ✓ array update passed 1 test. integer to bitvector: OK (0.76s) ✓ integer to bitvector passed 1 test. float negate: OK (0.33s) ✓ float negate passed 1 test. float abs: OK (0.57s) ✓ float abs passed 1 test. same argument type: OK (0.60s) ✓ same argument type passed 1 test. different argument types: OK (0.62s) ✓ different argument types passed 1 test. no arguments: OK (0.65s) ✓ no arguments passed 1 test. two inner arguments: OK (0.56s) ✓ two inner arguments passed 1 test. argument passthrough: OK (0.65s) ✓ argument passthrough passed 1 test. negative ints: OK (0.52s) ✓ negative ints passed 1 test. float lit: OK (0.58s) ✓ float lit passed 1 test. simple struct: OK (0.62s) ✓ simple struct passed 1 test. struct field access: OK (0.57s) ✓ struct field access passed 1 test. array update: OK (0.66s) ✓ array update passed 1 test. integer to bitvector: OK (0.54s) ✓ integer to bitvector passed 1 test. float negate: OK (0.75s) ✓ float negate passed 1 test. float abs: OK (0.75s) ✓ float abs passed 1 test. All 26 tests passed (19.25s) Test suite what4-serialize-tests: PASS Test suite logged to: dist/test/what4-1.4-what4-serialize-tests.log Test suite expr-builder-smtlib2: RUNNING... SOLVER SELF-REPORTED VERSIONS:: Solver cvc4 -> This is CVC4 version 1.8 Solver cvc5 not found; skipping (would fail with CI_TEST_LEVEL=1) Solver yices -> Yices 2.6.4 Solver z3 -> Z3 version 4.12.2 - 64 bit - build hashcode e417f7d78509b2d0c9ebc911fee7632e6ef546b6 Tests Float interpreted as real: OK (0.58s) Float uninterpreted: FAIL (1.22s) test/ExprBuilderSMTLib2.hs:208: expected: "SomePred let uninterpreted_float_lt = ??\n uninterpreted_float_add = ??\n -- :1:0\n v2 = apply uninterpreted_float_add 0 cx@0:bv 0x30000000:[32]\n -- :1:0\n v3 = apply uninterpreted_float_add 4 v2 v2\n in exists ?y@4:bv (apply uninterpreted_float_lt v3 ?y@4:bv)" but got: "SomePred let uninterpreted_float_lt = ??\n uninterpreted_float_add = ??\n -- :1:0\n v2 = apply uninterpreted_float_add 0 cx@0:bv 0x40000000:[32]\n -- :1:0\n v3 = apply uninterpreted_float_add 4 v2 v2\n in exists ?y@4:bv (apply uninterpreted_float_lt v3 ?y@4:bv)" Use -p '/Float uninterpreted/' to rerun this test only. Float interpreted as IEEE float: OK (2.94s) float binary simplification: OK (0.08s) real float binary simplification: OK (0.09s) float cast simplification: OK float cast no simplification: OK (0.01s) select shl simplification: OK (0.04s) select lshr simplification: OK (0.04s) bv or-shl-zext -> concat simplification: OK (0.02s) bv domain arith scale: OK (0.04s) test bvSwap: OK (0.03s) test bvBitreverse: OK test unsafeSetAbstractValue1: OK (0.02s) test unsafeSetAbstractValue2: OK (0.04s) CVC4 0-tuple: IGNORED This test stalls the solver for some reason; line-buffering issue? CVC4 1-tuple: OK (4.85s) CVC4 pair: OK (3.00s) CVC4 forall binder: OK (2.33s) CVC4 string1: OK (2.95s) CVC4 string2: OK (3.74s) CVC4 string3: OK (10.46s) CVC4 string4: OK (9.43s) CVC4 string5: OK (3.52s) CVC4 string6: OK (2.22s) CVC4 string7: OK (58.13s) CVC4 binder tuple1: OK (2.03s) CVC4 binder tuple2: OK (2.03s) CVC4 rounding: OK (5.52s) CVC4 multidim array: OK (2.34s) CVC4 #182 test case: OK (2.25s) CVC4 0-tuple: IGNORED cvc5 not present CVC4 1-tuple: IGNORED cvc5 not present CVC4 pair: IGNORED (0.01s) cvc5 not present CVC4 forall binder: IGNORED cvc5 not present CVC4 string1: IGNORED cvc5 not present CVC4 string2: IGNORED cvc5 not present CVC4 string3: IGNORED cvc5 not present CVC4 string4: IGNORED cvc5 not present CVC4 string5: IGNORED cvc5 not present CVC4 string6: IGNORED (0.01s) cvc5 not present CVC4 string7: IGNORED (0.01s) cvc5 not present CVC4 binder tuple1: IGNORED (0.02s) cvc5 not present CVC4 binder tuple2: IGNORED (0.02s) cvc5 not present CVC4 rounding: IGNORED (0.02s) cvc5 not present CVC4 multidim array: IGNORED (0.02s) cvc5 not present CVC4 #182 test case: IGNORED (0.01s) cvc5 not present test resolveSymBV (exponential search): OK (164.15s) ✓ test resolveSymBV (exponential search) passed 100 tests. test resolveSymBV (binary search): OK (150.07s) ✓ test resolveSymBV (binary search) passed 100 tests. Yices 0-tuple: OK (0.98s) Yices 1-tuple: OK (1.03s) Yices pair: OK (0.86s) Yices rounding: OK (1.73s) Yices #182 test case: OK (0.93s) uninterpreted function scope: OK (5.55s) rotate test1: OK (3.07s) rotate test2: OK (2.99s) rotate test3: OK (2.72s) boundvarasfree: OK (2.68s) solver info queries test get solver version: OK (0.84s) test get solver name: OK (0.79s) test solver version bounds: OK (0.75s) Unsat float formula: Test suite expr-builder-smtlib2: FAIL Test suite logged to: dist/test/what4-1.4-expr-builder-smtlib2.log Test suite invariant-synthesis: RUNNING... SOLVER SELF-REPORTED VERSIONS:: Solver cvc5 not found; skipping (would fail with CI_TEST_LEVEL=1) Solver z3 -> Z3 version 4.12.2 - 64 bit - build hashcode e417f7d78509b2d0c9ebc911fee7632e6ef546b6 Tests int cvc5 test: FAIL Exception: user error (Could not find: cvc5) Use -p '/int cvc5 test/' to rerun this test only. int z3 test: OK (10.61s) bv cvc5 test: FAIL Exception: user error (Could not find: cvc5) Use -p '/bv cvc5 test/' to rerun this test only. 2 out of 3 tests failed (11.84s) Test suite invariant-synthesis: FAIL Test suite logged to: dist/test/what4-1.4-invariant-synthesis.log Test suite template_tests: RUNNING... ^C^C^CTest suite template_tests: FAIL Test suite logged to: dist/test/what4-1.4-template_tests.log Test suite iteexprs_tests: RUNNING... Ite Expressions Typed pred true concrete Bool pred true: OK (0.88s) concrete Integer pred true: OK (0.05s) concrete BV pred true: OK (0.02s) concrete Struct pred true: OK concrete Array pred true: OK Typed pred false concrete Bool pred false: OK (0.02s) concrete Integer pred false: OK (0.02s) concrete BV pred false: OK (0.02s) concrete Struct pred false: OK concrete Array pred false: OK (0.02s) ConcretePredNegation Typed not true concrete Bool not true: OK (0.02s) concrete Integer not true: OK concrete BV not true: OK concrete Struct not true: OK (0.02s) concrete Array not true: OK (0.02s) Typed not false concrete Bool not false: OK concrete Integer not false: OK concrete BV not false: OK concrete Struct not false: OK concrete Array not false: OK (0.02s) Typed not not true concrete Bool not not true: OK (0.02s) concrete Integer not not true: OK concrete BV not not true: OK (0.02s) concrete Struct not not true: OK (0.01s) concrete Array not not true: OK Typed not not false concrete Bool not not false: OK concrete Integer not not false: OK concrete BV not not false: OK concrete Struct not not false: OK (0.01s) concrete Array not not false: OK ConcretePredAnd Typed and true true concrete Bool and true true: OK concrete Integer and true true: OK (0.02s) concrete BV and true true: OK concrete Struct and true true: OK concrete Array and true true: OK (0.03s) Typed and true false concrete Bool and true false: OK concrete Integer and true false: OK concrete BV and true false: OK concrete Struct and true false: OK (0.01s) concrete Array and true false: OK Typed and false true concrete Bool and false true: OK concrete Integer and false true: OK concrete BV and false true: OK concrete Struct and false true: OK concrete Array and false true: OK Typed and false false concrete Bool and false false: OK concrete Integer and false false: OK (0.02s) concrete BV and false false: OK (0.01s) concrete Struct and false false: OK concrete Array and false false: OK (0.01s) Typed and true (not true) concrete Bool and true (not true): OK concrete Integer and true (not true): OK concrete BV and true (not true): OK concrete Struct and true (not true): OK concrete Array and true (not true): OK (0.02s) Typed and (not false) true concrete Bool and (not false) true: OK (0.01s) concrete Integer and (not false) true: OK concrete BV and (not false) true: OK concrete Struct and (not false) true: OK (0.01s) concrete Array and (not false) true: OK Typed not (and false true) concrete Bool not (and false true): OK concrete Integer not (and false true): OK (0.01s) concrete BV not (and false true): OK concrete Struct not (and false true): OK (0.01s) concrete Array not (and false true): OK ConcretePredOr Typed or true true concrete Bool or true true: OK concrete Integer or true true: OK (0.02s) concrete BV or true true: OK concrete Struct or true true: OK concrete Array or true true: OK Typed or true false concrete Bool or true false: OK (0.01s) concrete Integer or true false: OK concrete BV or true false: OK (0.01s) concrete Struct or true false: OK concrete Array or true false: OK Typed or false true concrete Bool or false true: OK concrete Integer or false true: OK (0.02s) concrete BV or false true: OK (0.02s) concrete Struct or false true: OK concrete Array or false true: OK Typed or false false concrete Bool or false false: OK concrete Integer or false false: OK (0.02s) concrete BV or false false: OK (0.02s) concrete Struct or false false: OK (0.02s) concrete Array or false false: OK (0.01s) Typed or true (not true) concrete Bool or true (not true): OK (0.03s) concrete Integer or true (not true): OK (0.02s) concrete BV or true (not true): OK (0.02s) concrete Struct or true (not true): OK (0.01s) concrete Array or true (not true): OK (0.02s) Typed or (not false) false concrete Bool or (not false) false: OK concrete Integer or (not false) false: OK (0.01s) concrete BV or (not false) false: OK (0.02s) concrete Struct or (not false) false: OK concrete Array or (not false) false: OK Typed not (or false false) concrete Bool not (or false false): OK (0.02s) concrete Integer not (or false false): OK concrete BV not (or false false): OK concrete Struct not (or false false): OK concrete Array not (or false false): OK ConcreteEqPred Typed equal trues concrete Bool equal trues: OK concrete Integer equal trues: OK concrete BV equal trues: OK concrete Struct equal trues: OK (0.01s) concrete Array equal trues: OK Typed equal falses concrete Bool equal falses: OK (0.02s) concrete Integer equal falses: OK concrete BV equal falses: OK concrete Struct equal falses: OK (0.02s) concrete Array equal falses: OK Typed not equal concrete Bool not equal: OK (0.02s) concrete Integer not equal: OK concrete BV not equal: OK concrete Struct not equal: OK (0.02s) concrete Array not equal: OK Typed eq right neg concrete Bool eq right neg: OK concrete Integer eq right neg: OK concrete BV eq right neg: OK (0.01s) concrete Struct eq right neg: OK concrete Array eq right neg: OK (0.02s) Typed eq left neq concrete Bool eq left neq: OK concrete Integer eq left neq: OK (0.02s) concrete BV eq left neq: OK (0.01s) concrete Struct eq left neq: OK concrete Array eq left neq: OK Typed not (eq false true) concrete Bool not (eq false true): OK concrete Integer not (eq false true): OK concrete BV not (eq false true): OK concrete Struct not (eq false true): OK concrete Array not (eq false true): OK ConcreteXORPred Typed xor trues concrete Bool xor trues: OK concrete Integer xor trues: OK (0.02s) concrete BV xor trues: OK concrete Struct xor trues: OK concrete Array xor trues: OK (0.02s) Typed xor falses concrete Bool xor falses: OK concrete Integer xor falses: OK concrete BV xor falses: OK concrete Struct xor falses: OK concrete Array xor falses: OK Typed xor t f concrete Bool xor t f: OK (0.02s) concrete Integer xor t f: OK (0.02s) concrete BV xor t f: OK concrete Struct xor t f: OK (0.02s) concrete Array xor t f: OK (0.02s) Typed xor right neg concrete Bool xor right neg: OK concrete Integer xor right neg: OK concrete BV xor right neg: OK concrete Struct xor right neg: OK concrete Array xor right neg: OK Typed xor left neq concrete Bool xor left neq: OK (0.02s) concrete Integer xor left neq: OK (0.02s) concrete BV xor left neq: OK (0.01s) concrete Struct xor left neq: OK concrete Array xor left neq: OK (0.02s) Typed not (xor f t) concrete Bool not (xor f t): OK (0.02s) concrete Integer not (xor f t): OK concrete BV not (xor f t): OK (0.04s) concrete Struct not (xor f t): OK concrete Array not (xor f t): OK (0.03s) generated concrete predicates bool mux: OK (140.16s) ✓ bool mux passed 500 tests. and cases 6% █▏·················· ✓ 2% or cases 62% ████████████▍······· ✓ 2% eq cases 7% █▍·················· ✓ 2% xor cases 48% █████████▌·········· ✓ 2% not cases 46% █████████▏·········· ✓ 2% intEq cases 6% █▏·················· ✓ 2% intLe cases 7% █▎·················· ✓ 2% intLt cases 5% █··················· ✓ 2% intAdd cases 9% █▋·················· ✓ 2% intSub cases 9% █▉·················· ✓ 2% intMul cases 9% █▋·················· ✓ 2% intDiv cases 10% █▉·················· ✓ 2% intMod cases 10% █▉·················· ✓ 2% intIte cases 10% █▉·················· ✓ 2% bvCount... cases 61% ████████████········ ✓ 2% int mux: OK (135.23s) ✓ int mux passed 500 tests. and cases 5% █··················· ✓ 2% or cases 60% ███████████▉········ ✓ 2% eq cases 6% █··················· ✓ 2% xor cases 44% ████████▊··········· ✓ 2% not cases 45% █████████··········· ✓ 2% intEq cases 6% █▏·················· ✓ 2% intLe cases 6% █··················· ✓ 2% intLt cases 5% █··················· ✓ 2% intAdd cases 9% █▊·················· ✓ 2% intSub cases 10% ██·················· ✓ 2% intMul cases 9% █▊·················· ✓ 2% intDiv cases 9% █▊·················· ✓ 2% intMod cases 11% ██·················· ✓ 2% intIte cases 9% █▊·················· ✓ 2% bvCount... cases 66% █████████████▎······ ✓ 2% bv16 mux: OK (163.47s) ✓ bv16 mux passed 500 tests. and cases 6% █▏·················· ✓ 2% or cases 63% ████████████▌······· ✓ 2% eq cases 5% ▉··················· ✓ 2% xor cases 46% █████████▏·········· ✓ 2% not cases 45% ████████▉··········· ✓ 2% intEq cases 6% █▏·················· ✓ 2% intLe cases 5% █··················· ✓ 2% intLt cases 7% █▍·················· ✓ 2% intAdd cases 11% ██·················· ✓ 2% intSub cases 11% ██▏················· ✓ 2% intMul cases 11% ██▏················· ✓ 2% intDiv cases 11% ██▏················· ✓ 2% intMod cases 11% ██▎················· ✓ 2% intIte cases 12% ██▍················· ✓ 2% bvCount... cases 63% ████████████▋······· ✓ 2% struct mux: OK (111.97s) ✓ struct mux passed 500 tests. and cases 5% ▉··················· ✓ 2% or cases 58% ███████████▋········ ✓ 2% eq cases 5% █··················· ✓ 2% xor cases 40% ████████············ ✓ 2% not cases 45% ████████▉··········· ✓ 2% intEq cases 5% █··················· ✓ 2% intLe cases 6% █▎·················· ✓ 2% intLt cases 5% █··················· ✓ 2% intAdd cases 8% █▌·················· ✓ 2% intSub cases 8% █▋·················· ✓ 2% intMul cases 8% █▌·················· ✓ 2% intDiv cases 8% █▌·················· ✓ 2% intMod cases 8% █▋·················· ✓ 2% intIte cases 8% █▋·················· ✓ 2% bvCount... cases 61% ████████████▎······· ✓ 2% array mux: OK (87.93s) ✓ array mux passed 500 tests. and cases 5% █··················· ✓ 2% or cases 60% ████████████········ ✓ 2% eq cases 5% █··················· ✓ 2% xor cases 43% ████████▌··········· ✓ 2% not cases 44% ████████▊··········· ✓ 2% intEq cases 4% ▉··················· ✓ 2% intLe cases 8% █▌·················· ✓ 2% intLt cases 6% █▏·················· ✓ 2% intAdd cases 10% █▉·················· ✓ 2% intSub cases 11% ██·················· ✓ 2% intMul cases 9% █▉·················· ✓ 2% intDiv cases 10% ██·················· ✓ 2% intMod cases 11% ██·················· ✓ 2% intIte cases 11% ██·················· ✓ 2% bvCount... cases 63% ████████████▌······· ✓ 2% All 165 tests passed (642.31s) Test suite iteexprs_tests: PASS Test suite logged to: dist/test/what4-1.4-iteexprs_tests.log Test suite exprs_tests: RUNNING... What4 Expressions d <- intDiv sym x y; m <- intMod sym x y ===> y * d + m == x and 0 <= m < y: OK (1.39s) ✓ d <- intDiv sym x y; m <- intMod sym x y ===> y * d + m == x and 0 <= m < y passed 100 tests. bvIsNeg -1.32 bvIsNeg.32: OK (0.03s) -1 bvIsNeg.32: OK (0.02s) 0xffffffff bvIsNeg.32: OK 0x80000000 bvIsNeg.32: OK (0.02s) 0x7fffffff !bvIsNeg.32: OK 0 !bvIsNeg.32: OK (0.02s) bvIsNeg.32: OK (0.41s) ✓ bvIsNeg.32 passed 100 tests. !bvIsNeg.32: OK (0.31s) ✓ !bvIsNeg.32 passed 100 tests. int operators n * m == m * n: OK (0.37s) ✓ n * m == m * n passed 100 tests. |n| >= 0: OK (0.24s) ✓ |n| >= 0 passed 100 tests. integer division and mod y * (div x y) + (mod x y) == x: OK (0.25s) ✓ y * (div x y) + (mod x y) == x passed 100 tests. mod x y == mod x (- y) == mod x (abs y): OK (0.34s) ✓ mod x y == mod x (- y) == mod x (abs y) passed 100 tests. div x (-y) == -(div x y): OK (0.28s) ✓ div x (-y) == -(div x y) passed 100 tests. int min/max (j <= c && c <= i) -> intMax j i == intMax i j == i: OK (0.25s) ✓ (j <= c && c <= i) -> intMax j i == intMax i j == i passed 100 tests. (lo_i <= i && lo_j <= j) -> (max lo_j lo_j) <= intMax i j: OK (0.28s) ✓ (lo_i <= i && lo_j <= j) -> (max lo_j lo_j) <= intMax i j passed 100 tests. (i <= c && c <= j) -> intMin j i == intMin i j == i: OK (0.24s) ✓ (i <= c && c <= j) -> intMin j i == intMin i j == i passed 100 tests. (i <= hi_i && j <= hi_j) -> intMin i j <= (min hi_j hi_j): OK (0.28s) ✓ (i <= hi_i && j <= hi_j) -> intMin i j <= (min hi_j hi_j) passed 100 tests. stringEmpty: OK (0.09s) ✓ stringEmpty passed 100 tests. injective conversion realToInteger: OK (0.16s) ✓ realToInteger passed 100 tests. bvToInteger: OK (0.25s) ✓ bvToInteger passed 100 tests. sbvToInteger: OK (0.28s) ✓ sbvToInteger passed 100 tests. predToBV: OK (0.17s) ✓ predToBV passed 100 tests. integerToBV bvToInteger (integerToBv x w) == mod x (2^w): OK (0.22s) ✓ bvToInteger (integerToBv x w) == mod x (2^w) passed 100 tests. bvToInteger (integerToBV x w) == x when 0 <= x < 2^w: OK (0.29s) ✓ bvToInteger (integerToBV x w) == x when 0 <= x < 2^w passed 100 tests. sbvToInteger (integerToBV x w) == mod (x + 2^(w-1)) (2^w) - 2^(w-1): OK (0.36s) ✓ sbvToInteger (integerToBV x w) == mod (x + 2^(w-1)) (2^w) - 2^(w-1) passed 100 tests. sbvToInteger (integerToBV x w) == x when -2^(w-1) <= x < 2^(w-1): OK (0.23s) ✓ sbvToInteger (integerToBV x w) == x when -2^(w-1) <= x < 2^(w-1) passed 100 tests. integerToBV (bvToInteger y) w == y when y is a SymBV sym w: OK (0.18s) ✓ integerToBV (bvToInteger y) w == y when y is a SymBV sym w passed 100 tests. integerToBV (sbvToInteger y) w == y when y is a SymBV sym w: OK (0.18s) ✓ integerToBV (sbvToInteger y) w == y when y is a SymBV sym w passed 100 tests. All 29 tests passed (7.41s) Test suite exprs_tests: PASS Test suite logged to: dist/test/what4-1.4-exprs_tests.log 7 of 11 test suites (7 of 11 test cases) passed. ==> ERROR: Aborted by user! Exiting... ==> ERROR: Build failed, check /var/lib/archbuild/extra-riscv64/root1/build receiving incremental file list haskell-what4-1.4-5-riscv64-build.log haskell-what4-1.4-5-riscv64-check.log haskell-what4-1.4-5-riscv64-prepare.log sent 81 bytes received 10,195 bytes 2,936.00 bytes/sec total size is 68,298 speedup is 6.65