Diff of the two buildlogs: -- --- b1/build.log 2021-07-05 17:19:59.562144553 +0000 +++ b2/build.log 2021-07-05 17:38:42.428327190 +0000 @@ -1,6 +1,6 @@ I: pbuilder: network access will be disabled during build -I: Current time: Mon Jul 5 05:05:03 -12 2021 -I: pbuilder-time-stamp: 1625504703 +I: Current time: Mon Aug 8 13:43:05 +14 2022 +I: pbuilder-time-stamp: 1659915785 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/buster-reproducible-base.tgz] I: copying local configuration @@ -17,7 +17,7 @@ I: Extracting source gpgv: unknown type of key resource 'trustedkeys.kbx' gpgv: keyblock resource '/root/.gnupg/trustedkeys.kbx': General error -gpgv: Signature made Fri Aug 23 22:41:08 2019 -12 +gpgv: Signature made Sun Aug 25 00:41:08 2019 +14 gpgv: using RSA key EBF30A30A8D9C63BDA44C6945FB33F9359E9ED08 gpgv: issuer "anbe@debian.org" gpgv: Can't check signature: No public key @@ -39,136 +39,170 @@ dpkg-source: info: applying fix-build.patch I: using fakeroot in build. I: Installing the build-deps -I: user script /srv/workspace/pbuilder/48055/tmp/hooks/D02_print_environment starting +I: user script /srv/workspace/pbuilder/51593/tmp/hooks/D01_modify_environment starting +debug: Running on ionos15-amd64. +I: Changing host+domainname to test build reproducibility +I: Adding a custom variable just for the fun of it... +I: Changing /bin/sh to bash +Removing 'diversion of /bin/sh to /bin/sh.distrib by dash' +Adding 'diversion of /bin/sh to /bin/sh.distrib by bash' +Removing 'diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash' +Adding 'diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by bash' +I: Setting pbuilder2's login shell to /bin/bash +I: Setting pbuilder2's GECOS to second user,second room,second work-phone,second home-phone,second other +I: user script /srv/workspace/pbuilder/51593/tmp/hooks/D01_modify_environment finished +I: user script /srv/workspace/pbuilder/51593/tmp/hooks/D02_print_environment starting I: set - BUILDDIR='/build' - BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' - BUILDUSERNAME='pbuilder1' - BUILD_ARCH='amd64' - DEBIAN_FRONTEND='noninteractive' - DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=15' - DISTRIBUTION='' - HOME='/root' - HOST_ARCH='amd64' + BASH=/bin/sh + BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:hostcomplete:interactive_comments:progcomp:promptvars:sourcepath + BASH_ALIASES=() + BASH_ARGC=() + BASH_ARGV=() + BASH_CMDS=() + BASH_LINENO=([0]="12" [1]="0") + BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment") + BASH_VERSINFO=([0]="5" [1]="0" [2]="3" [3]="1" [4]="release" [5]="x86_64-pc-linux-gnu") + BASH_VERSION='5.0.3(1)-release' + BUILDDIR=/build + BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other' + BUILDUSERNAME=pbuilder2 + BUILD_ARCH=amd64 + DEBIAN_FRONTEND=noninteractive + DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=16' + DIRSTACK=() + DISTRIBUTION= + EUID=0 + FUNCNAME=([0]="Echo" [1]="main") + GROUPS=() + HOME=/root + HOSTNAME=i-capture-the-hostname + HOSTTYPE=x86_64 + HOST_ARCH=amd64 IFS=' ' - INVOCATION_ID='c6443c0d68674ce8a3d658aeed7f6fe8' - LANG='C' - LANGUAGE='en_US:en' - LC_ALL='C' - MAIL='/var/mail/root' - OPTIND='1' - PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games' - PBCURRENTCOMMANDLINEOPERATION='build' - PBUILDER_OPERATION='build' - PBUILDER_PKGDATADIR='/usr/share/pbuilder' - PBUILDER_PKGLIBDIR='/usr/lib/pbuilder' - PBUILDER_SYSCONFDIR='/etc' - PPID='48055' - PS1='# ' - PS2='> ' + INVOCATION_ID=50ac11f5eaa14f6289cbd99cd79a1bfa + LANG=C + LANGUAGE=et_EE:et + LC_ALL=C + MACHTYPE=x86_64-pc-linux-gnu + MAIL=/var/mail/root + OPTERR=1 + OPTIND=1 + OSTYPE=linux-gnu + PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path + PBCURRENTCOMMANDLINEOPERATION=build + PBUILDER_OPERATION=build + PBUILDER_PKGDATADIR=/usr/share/pbuilder + PBUILDER_PKGLIBDIR=/usr/lib/pbuilder + PBUILDER_SYSCONFDIR=/etc + PIPESTATUS=([0]="0") + POSIXLY_CORRECT=y + PPID=51593 PS4='+ ' - PWD='/' - SHELL='/bin/bash' - SHLVL='2' - SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/tmp.xlKxqdemAQ/pbuilderrc_oQFa --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/buster-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/tmp.xlKxqdemAQ/b1 --logfile b1/build.log z3_4.4.1-1~deb10u1.dsc' - SUDO_GID='110' - SUDO_UID='105' - SUDO_USER='jenkins' - TERM='unknown' - TZ='/usr/share/zoneinfo/Etc/GMT+12' - USER='root' - _='/usr/bin/systemd-run' - http_proxy='http://78.137.99.97:3128' + PWD=/ + SHELL=/bin/bash + SHELLOPTS=braceexpand:errexit:hashall:interactive-comments:posix + SHLVL=3 + SUDO_COMMAND='/usr/bin/timeout -k 24.1h 24h /usr/bin/ionice -c 3 /usr/bin/nice -n 11 /usr/bin/unshare --uts -- /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/tmp.xlKxqdemAQ/pbuilderrc_TDUU --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/buster-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/tmp.xlKxqdemAQ/b2 --logfile b2/build.log z3_4.4.1-1~deb10u1.dsc' + SUDO_GID=111 + SUDO_UID=106 + SUDO_USER=jenkins + TERM=unknown + TZ=/usr/share/zoneinfo/Etc/GMT-14 + UID=0 + USER=root + _='I: set' + http_proxy=http://85.184.249.68:3128 I: uname -a - Linux ionos1-amd64 4.19.0-17-amd64 #1 SMP Debian 4.19.194-2 (2021-06-21) x86_64 GNU/Linux + Linux i-capture-the-hostname 5.10.0-0.bpo.7-amd64 #1 SMP Debian 5.10.40-1~bpo10+1 (2021-06-04) x86_64 GNU/Linux I: ls -l /bin total 5116 - -rwxr-xr-x 1 root root 1168776 Apr 17 2019 bash - -rwxr-xr-x 3 root root 38984 Jul 10 2019 bunzip2 - -rwxr-xr-x 3 root root 38984 Jul 10 2019 bzcat - lrwxrwxrwx 1 root root 6 Jul 10 2019 bzcmp -> bzdiff - -rwxr-xr-x 1 root root 2227 Jul 10 2019 bzdiff - lrwxrwxrwx 1 root root 6 Jul 10 2019 bzegrep -> bzgrep - -rwxr-xr-x 1 root root 4877 Jun 24 2019 bzexe - lrwxrwxrwx 1 root root 6 Jul 10 2019 bzfgrep -> bzgrep - -rwxr-xr-x 1 root root 3641 Jul 10 2019 bzgrep - -rwxr-xr-x 3 root root 38984 Jul 10 2019 bzip2 - -rwxr-xr-x 1 root root 14328 Jul 10 2019 bzip2recover - lrwxrwxrwx 1 root root 6 Jul 10 2019 bzless -> bzmore - -rwxr-xr-x 1 root root 1297 Jul 10 2019 bzmore - -rwxr-xr-x 1 root root 43744 Feb 28 2019 cat - -rwxr-xr-x 1 root root 64320 Feb 28 2019 chgrp - -rwxr-xr-x 1 root root 64288 Feb 28 2019 chmod - -rwxr-xr-x 1 root root 72512 Feb 28 2019 chown - -rwxr-xr-x 1 root root 146880 Feb 28 2019 cp - -rwxr-xr-x 1 root root 121464 Jan 17 2019 dash - -rwxr-xr-x 1 root root 109408 Feb 28 2019 date - -rwxr-xr-x 1 root root 76712 Feb 28 2019 dd - -rwxr-xr-x 1 root root 93744 Feb 28 2019 df - -rwxr-xr-x 1 root root 138856 Feb 28 2019 dir - -rwxr-xr-x 1 root root 84288 Jan 9 2019 dmesg - lrwxrwxrwx 1 root root 8 Sep 26 2018 dnsdomainname -> hostname - lrwxrwxrwx 1 root root 8 Sep 26 2018 domainname -> hostname - -rwxr-xr-x 1 root root 39520 Feb 28 2019 echo - -rwxr-xr-x 1 root root 28 Jan 7 2019 egrep - -rwxr-xr-x 1 root root 35424 Feb 28 2019 false - -rwxr-xr-x 1 root root 28 Jan 7 2019 fgrep - -rwxr-xr-x 1 root root 68880 Jan 9 2019 findmnt - -rwsr-xr-x 1 root root 34896 Apr 22 2020 fusermount - -rwxr-xr-x 1 root root 198976 Jan 7 2019 grep - -rwxr-xr-x 2 root root 2345 Jan 5 2019 gunzip - -rwxr-xr-x 1 root root 6375 Jan 5 2019 gzexe - -rwxr-xr-x 1 root root 98048 Jan 5 2019 gzip - -rwxr-xr-x 1 root root 26696 Sep 26 2018 hostname - -rwxr-xr-x 1 root root 68552 Feb 28 2019 ln - -rwxr-xr-x 1 root root 56760 Jul 26 2018 login - -rwxr-xr-x 1 root root 138856 Feb 28 2019 ls - -rwxr-xr-x 1 root root 108624 Jan 9 2019 lsblk - -rwxr-xr-x 1 root root 89088 Feb 28 2019 mkdir - -rwxr-xr-x 1 root root 68544 Feb 28 2019 mknod - -rwxr-xr-x 1 root root 43808 Feb 28 2019 mktemp - -rwxr-xr-x 1 root root 43008 Jan 9 2019 more - -rwsr-xr-x 1 root root 51280 Jan 9 2019 mount - -rwxr-xr-x 1 root root 14408 Jan 9 2019 mountpoint - -rwxr-xr-x 1 root root 138728 Feb 28 2019 mv - lrwxrwxrwx 1 root root 8 Sep 26 2018 nisdomainname -> hostname - lrwxrwxrwx 1 root root 14 Feb 14 2019 pidof -> /sbin/killall5 - -rwxr-xr-x 1 root root 39616 Feb 28 2019 pwd - lrwxrwxrwx 1 root root 4 Apr 17 2019 rbash -> bash - -rwxr-xr-x 1 root root 47776 Feb 28 2019 readlink - -rwxr-xr-x 1 root root 68416 Feb 28 2019 rm - -rwxr-xr-x 1 root root 47776 Feb 28 2019 rmdir - -rwxr-xr-x 1 root root 23312 Jan 21 2019 run-parts - -rwxr-xr-x 1 root root 122224 Dec 22 2018 sed - lrwxrwxrwx 1 root root 4 Jun 20 20:24 sh -> dash - -rwxr-xr-x 1 root root 39552 Feb 28 2019 sleep - -rwxr-xr-x 1 root root 80672 Feb 28 2019 stty - -rwsr-xr-x 1 root root 63568 Jan 9 2019 su - -rwxr-xr-x 1 root root 35488 Feb 28 2019 sync - -rwxr-xr-x 1 root root 445560 Apr 23 2019 tar - -rwxr-xr-x 1 root root 14440 Jan 21 2019 tempfile - -rwxr-xr-x 1 root root 97152 Feb 28 2019 touch - -rwxr-xr-x 1 root root 35424 Feb 28 2019 true - -rwxr-xr-x 1 root root 14328 Apr 22 2020 ulockmgr_server - -rwsr-xr-x 1 root root 34888 Jan 9 2019 umount - -rwxr-xr-x 1 root root 39584 Feb 28 2019 uname - -rwxr-xr-x 2 root root 2345 Jan 5 2019 uncompress - -rwxr-xr-x 1 root root 138856 Feb 28 2019 vdir - -rwxr-xr-x 1 root root 34896 Jan 9 2019 wdctl - -rwxr-xr-x 1 root root 946 Jan 21 2019 which - lrwxrwxrwx 1 root root 8 Sep 26 2018 ypdomainname -> hostname - -rwxr-xr-x 1 root root 1983 Jan 5 2019 zcat - -rwxr-xr-x 1 root root 1677 Jan 5 2019 zcmp - -rwxr-xr-x 1 root root 5879 Jan 5 2019 zdiff - -rwxr-xr-x 1 root root 29 Jan 5 2019 zegrep - -rwxr-xr-x 1 root root 29 Jan 5 2019 zfgrep - -rwxr-xr-x 1 root root 2080 Jan 5 2019 zforce - -rwxr-xr-x 1 root root 7584 Jan 5 2019 zgrep - -rwxr-xr-x 1 root root 2205 Jan 5 2019 zless - -rwxr-xr-x 1 root root 1841 Jan 5 2019 zmore - -rwxr-xr-x 1 root root 4552 Jan 5 2019 znew -I: user script /srv/workspace/pbuilder/48055/tmp/hooks/D02_print_environment finished + -rwxr-xr-x 1 root root 1168776 Apr 18 2019 bash + -rwxr-xr-x 3 root root 38984 Jul 11 2019 bunzip2 + -rwxr-xr-x 3 root root 38984 Jul 11 2019 bzcat + lrwxrwxrwx 1 root root 6 Jul 11 2019 bzcmp -> bzdiff + -rwxr-xr-x 1 root root 2227 Jul 11 2019 bzdiff + lrwxrwxrwx 1 root root 6 Jul 11 2019 bzegrep -> bzgrep + -rwxr-xr-x 1 root root 4877 Jun 25 2019 bzexe + lrwxrwxrwx 1 root root 6 Jul 11 2019 bzfgrep -> bzgrep + -rwxr-xr-x 1 root root 3641 Jul 11 2019 bzgrep + -rwxr-xr-x 3 root root 38984 Jul 11 2019 bzip2 + -rwxr-xr-x 1 root root 14328 Jul 11 2019 bzip2recover + lrwxrwxrwx 1 root root 6 Jul 11 2019 bzless -> bzmore + -rwxr-xr-x 1 root root 1297 Jul 11 2019 bzmore + -rwxr-xr-x 1 root root 43744 Mar 1 2019 cat + -rwxr-xr-x 1 root root 64320 Mar 1 2019 chgrp + -rwxr-xr-x 1 root root 64288 Mar 1 2019 chmod + -rwxr-xr-x 1 root root 72512 Mar 1 2019 chown + -rwxr-xr-x 1 root root 146880 Mar 1 2019 cp + -rwxr-xr-x 1 root root 121464 Jan 18 2019 dash + -rwxr-xr-x 1 root root 109408 Mar 1 2019 date + -rwxr-xr-x 1 root root 76712 Mar 1 2019 dd + -rwxr-xr-x 1 root root 93744 Mar 1 2019 df + -rwxr-xr-x 1 root root 138856 Mar 1 2019 dir + -rwxr-xr-x 1 root root 84288 Jan 10 2019 dmesg + lrwxrwxrwx 1 root root 8 Sep 27 2018 dnsdomainname -> hostname + lrwxrwxrwx 1 root root 8 Sep 27 2018 domainname -> hostname + -rwxr-xr-x 1 root root 39520 Mar 1 2019 echo + -rwxr-xr-x 1 root root 28 Jan 8 2019 egrep + -rwxr-xr-x 1 root root 35424 Mar 1 2019 false + -rwxr-xr-x 1 root root 28 Jan 8 2019 fgrep + -rwxr-xr-x 1 root root 68880 Jan 10 2019 findmnt + -rwsr-xr-x 1 root root 34896 Apr 23 2020 fusermount + -rwxr-xr-x 1 root root 198976 Jan 8 2019 grep + -rwxr-xr-x 2 root root 2345 Jan 6 2019 gunzip + -rwxr-xr-x 1 root root 6375 Jan 6 2019 gzexe + -rwxr-xr-x 1 root root 98048 Jan 6 2019 gzip + -rwxr-xr-x 1 root root 26696 Sep 27 2018 hostname + -rwxr-xr-x 1 root root 68552 Mar 1 2019 ln + -rwxr-xr-x 1 root root 56760 Jul 27 2018 login + -rwxr-xr-x 1 root root 138856 Mar 1 2019 ls + -rwxr-xr-x 1 root root 108624 Jan 10 2019 lsblk + -rwxr-xr-x 1 root root 89088 Mar 1 2019 mkdir + -rwxr-xr-x 1 root root 68544 Mar 1 2019 mknod + -rwxr-xr-x 1 root root 43808 Mar 1 2019 mktemp + -rwxr-xr-x 1 root root 43008 Jan 10 2019 more + -rwsr-xr-x 1 root root 51280 Jan 10 2019 mount + -rwxr-xr-x 1 root root 14408 Jan 10 2019 mountpoint + -rwxr-xr-x 1 root root 138728 Mar 1 2019 mv + lrwxrwxrwx 1 root root 8 Sep 27 2018 nisdomainname -> hostname + lrwxrwxrwx 1 root root 14 Feb 15 2019 pidof -> /sbin/killall5 + -rwxr-xr-x 1 root root 39616 Mar 1 2019 pwd + lrwxrwxrwx 1 root root 4 Apr 18 2019 rbash -> bash + -rwxr-xr-x 1 root root 47776 Mar 1 2019 readlink + -rwxr-xr-x 1 root root 68416 Mar 1 2019 rm + -rwxr-xr-x 1 root root 47776 Mar 1 2019 rmdir + -rwxr-xr-x 1 root root 23312 Jan 22 2019 run-parts + -rwxr-xr-x 1 root root 122224 Dec 23 2018 sed + lrwxrwxrwx 1 root root 4 Aug 8 13:43 sh -> bash + lrwxrwxrwx 1 root root 4 Jul 25 04:47 sh.distrib -> dash + -rwxr-xr-x 1 root root 39552 Mar 1 2019 sleep + -rwxr-xr-x 1 root root 80672 Mar 1 2019 stty + -rwsr-xr-x 1 root root 63568 Jan 10 2019 su + -rwxr-xr-x 1 root root 35488 Mar 1 2019 sync + -rwxr-xr-x 1 root root 445560 Apr 24 2019 tar + -rwxr-xr-x 1 root root 14440 Jan 22 2019 tempfile + -rwxr-xr-x 1 root root 97152 Mar 1 2019 touch + -rwxr-xr-x 1 root root 35424 Mar 1 2019 true + -rwxr-xr-x 1 root root 14328 Apr 23 2020 ulockmgr_server + -rwsr-xr-x 1 root root 34888 Jan 10 2019 umount + -rwxr-xr-x 1 root root 39584 Mar 1 2019 uname + -rwxr-xr-x 2 root root 2345 Jan 6 2019 uncompress + -rwxr-xr-x 1 root root 138856 Mar 1 2019 vdir + -rwxr-xr-x 1 root root 34896 Jan 10 2019 wdctl + -rwxr-xr-x 1 root root 946 Jan 22 2019 which + lrwxrwxrwx 1 root root 8 Sep 27 2018 ypdomainname -> hostname + -rwxr-xr-x 1 root root 1983 Jan 6 2019 zcat + -rwxr-xr-x 1 root root 1677 Jan 6 2019 zcmp + -rwxr-xr-x 1 root root 5879 Jan 6 2019 zdiff + -rwxr-xr-x 1 root root 29 Jan 6 2019 zegrep + -rwxr-xr-x 1 root root 29 Jan 6 2019 zfgrep + -rwxr-xr-x 1 root root 2080 Jan 6 2019 zforce + -rwxr-xr-x 1 root root 7584 Jan 6 2019 zgrep + -rwxr-xr-x 1 root root 2205 Jan 6 2019 zless + -rwxr-xr-x 1 root root 1841 Jan 6 2019 zmore + -rwxr-xr-x 1 root root 4552 Jan 6 2019 znew +I: user script /srv/workspace/pbuilder/51593/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy @@ -600,7 +634,7 @@ Get: 376 http://deb.debian.org/debian buster/main amd64 ocaml-interp amd64 4.05.0-11 [3582 kB] Get: 377 http://deb.debian.org/debian buster/main amd64 ocaml-nox amd64 4.05.0-11 [27.6 MB] Get: 378 http://deb.debian.org/debian buster/main amd64 ocaml-compiler-libs amd64 4.05.0-11 [19.0 MB] -Fetched 439 MB in 6s (75.9 MB/s) +Fetched 439 MB in 10s (42.2 MB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libbsd0:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 19195 files and directories currently installed.) @@ -2338,7 +2372,7 @@ fakeroot is already the newest version (1.23-1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. I: Building the package -I: Running cd /build/z3-4.4.1/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b +I: Running cd /build/z3-4.4.1/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-buildpackage -us -uc -b dpkg-buildpackage: info: source package z3 dpkg-buildpackage: info: source version 4.4.1-1~deb10u1 dpkg-buildpackage: info: source distribution buster @@ -2670,7 +2704,7 @@ make[1]: Leaving directory '/build/z3-4.4.1' jh_linkjars -O--parallel dh_auto_build -O--parallel - make -j15 + make -j16 make[1]: Entering directory '/build/z3-4.4.1' make -C build all make[2]: Entering directory '/build/z3-4.4.1/build' @@ -2693,9 +2727,10 @@ src/util/page.cpp src/util/memory_manager.cpp src/util/cooperate.cpp -ocamlc -I api/ml -c api/ml/z3enums.mli src/util/approx_set.cpp +ocamlc -I api/ml -c api/ml/z3enums.mli src/api/api_commands.cpp +src/api/api_log.cpp src/util/util.cpp src/util/timer.cpp src/util/timeout.cpp @@ -2705,7 +2740,6 @@ ocamlc -I api/ml -c api/ml/z3native.mli ocamlc -a -o api/ml/z3enums.ml -o api/ml/z3enums.cma src/shell/z3_log_frontend.cpp -src/api/api_log.cpp src/util/mpn.cpp src/util/lbool.cpp src/util/hash.cpp @@ -2785,11 +2819,13 @@ src/api/dll/mem_initializer.cpp src/shell/dimacs_frontend.cpp src/opt/hitting_sets.cpp +src/muz/base/bind_variables.cpp src/smt/user_plugin/user_decl_plugin.cpp src/tactic/arith/linear_equation.cpp src/tactic/arith/bound_propagator.cpp src/parsers/util/simple_parser.cpp src/parsers/util/scanner.cpp +src/ast/used_vars.cpp src/ast/num_occurs.cpp src/ast/has_free_vars.cpp src/ast/for_each_ast.cpp @@ -2806,7 +2842,6 @@ src/math/hilbert/hilbert_basis.cpp src/util/inf_s_integer.cpp src/muz/rel/tbv.cpp -src/muz/base/bind_variables.cpp src/smt/uses_theory.cpp src/smt/smt_value_sort.cpp src/smt/smt_quantifier_stat.cpp @@ -2819,7 +2854,6 @@ src/math/subpaving/tactic/expr2subpaving.cpp src/parsers/util/cost_parser.cpp src/ast/rewriter/datatype_rewriter.cpp -src/ast/used_vars.cpp src/ast/seq_decl_plugin.cpp src/ast/reg_decl_plugins.cpp src/ast/pp.cpp @@ -2864,6 +2898,10 @@ src/interp/iz3mgr.cpp src/math/grobner/grobner.cpp src/parsers/util/pattern_validation.cpp +src/ast/substitution/unifier.cpp +src/ast/substitution/substitution_tree.cpp +src/ast/substitution/substitution.cpp +src/ast/substitution/matcher.cpp src/tactic/replace_proof_converter.cpp src/tactic/proof_converter.cpp src/tactic/equiv_proof_converter.cpp @@ -2927,6 +2965,7 @@ src/api/api_array.cpp src/api/api_arith.cpp src/api/api_algebraic.cpp +src/tactic/ufbv/ufbv_rewriter.cpp src/muz/rel/doc.cpp src/muz/base/dl_boogie_proof.cpp src/smt/fingerprints.cpp @@ -2938,10 +2977,6 @@ src/ast/simplifier/bit2int.cpp src/interp/iz3pp.cpp src/tactic/arith/bv2real_rewriter.cpp -src/ast/substitution/unifier.cpp -src/ast/substitution/substitution_tree.cpp -src/ast/substitution/substitution.cpp -src/ast/substitution/matcher.cpp src/model/model_smt2_pp.cpp src/model/model_implicant.cpp src/model/model_evaluator.cpp @@ -2954,8 +2989,8 @@ src/math/polynomial/sexpr2upolynomial.cpp src/math/polynomial/polynomial_factorization.cpp src/api/api_model.cpp +src/api/api_goal.cpp src/opt/pb_sls.cpp -src/tactic/ufbv/ufbv_rewriter.cpp src/qe/qe_arith.cpp src/qe/nlarith_util.cpp src/tactic/bv/bit_blaster_model_converter.cpp @@ -2972,7 +3007,6 @@ src/ast/simplifier/bv_elim.cpp src/ast/simplifier/array_simplifier_plugin.cpp src/interp/iz3proof.cpp -src/interp/iz3foci.cpp src/solver/check_sat_result.cpp src/tactic/aig/aig.cpp src/tactic/arith/probe_arith.cpp @@ -2991,7 +3025,6 @@ src/nlsat/nlsat_explain.cpp src/math/polynomial/upolynomial_factorization.cpp src/api/api_user_theory.cpp -src/api/api_goal.cpp src/opt/opt_pareto.cpp src/opt/mus.cpp src/opt/mss.cpp @@ -3015,6 +3048,7 @@ src/qe/qe_array_plugin.cpp src/qe/qe_arith_plugin.cpp src/smt/tactic/smt_tactic.cpp +src/smt/tactic/ctx_solver_simplify_tactic.cpp src/tactic/bv/max_bv_sharing_tactic.cpp src/tactic/bv/bv_size_reduction_tactic.cpp src/tactic/bv/bv1_blaster_tactic.cpp @@ -3031,6 +3065,7 @@ src/cmd_context/context_params.cpp src/interp/iz3proof_itp.cpp src/interp/iz3interp.cpp +src/interp/iz3foci.cpp src/interp/iz3checker.cpp src/interp/iz3base.cpp src/solver/tactic2solver.cpp @@ -3106,7 +3141,6 @@ src/qe/qe_cmd.cpp src/tactic/sls/sls_tactic.cpp src/tactic/sls/sls_engine.cpp -src/smt/tactic/ctx_solver_simplify_tactic.cpp src/ast/pattern/expr_pattern_match.cpp src/ast/macros/quasi_macros.cpp src/ast/macros/macro_manager.cpp @@ -3138,6 +3172,8 @@ src/shell/install_tactic.cpp src/shell/smtlib_frontend.cpp src/opt/optsmt.cpp +src/tactic/ufbv/quasi_macros_tactic.cpp +src/tactic/ufbv/macro_finder_tactic.cpp In file included from ../src/opt/optsmt.cpp:35: ../src/smt/theory_arith.h: In member function 'bool smt::theory_arith::has_var(expr*) const': ../src/smt/theory_arith.h:489:58: warning: invalid use of incomplete type 'class smt::context' @@ -3181,8 +3217,6 @@ ../src/smt/smt_kernel.h:43:11: note: forward declaration of 'class smt::context' class context; ^~~~~~~ -src/tactic/ufbv/quasi_macros_tactic.cpp -src/tactic/ufbv/macro_finder_tactic.cpp src/muz/pdr/pdr_util.cpp src/muz/pdr/pdr_manager.cpp src/tactic/sls/bvsls_opt_engine.cpp @@ -3194,7 +3228,6 @@ src/muz/pdr/pdr_closure.cpp src/smt/asserted_formulas.cpp src/opt/opt_solver.cpp -src/muz/fp/datalog_parser.cpp src/muz/ddnf/ddnf.cpp src/muz/bmc/dl_bmc_engine.cpp src/muz/tab/tab_context.cpp @@ -3265,6 +3298,7 @@ src/smt/dyn_ack.cpp src/smt/arith_eq_adapter.cpp src/opt/bcd2.cpp +src/muz/fp/datalog_parser.cpp src/muz/fp/horn_tactic.cpp src/muz/pdr/pdr_dl_interface.cpp src/muz/rel/dl_sparse_table.cpp @@ -3304,6 +3338,7 @@ src/muz/rel/aig_exporter.cpp src/smt/theory_arith.cpp src/shell/opt_frontend.cpp +src/api/api_datalog.cpp In file included from ../src/smt/theory_arith_def.h:22, from ../src/smt/theory_arith.cpp:20: ../src/smt/theory_arith.h: In member function 'bool smt::theory_arith::has_var(expr*) const': @@ -3359,7 +3394,6 @@ ../src/smt/smt_types.h:49:11: note: forward declaration of 'class smt::context' class context; ^~~~~~~ -src/api/api_datalog.cpp src/muz/fp/dl_cmds.cpp src/muz/rel/dl_sieve_relation.cpp src/muz/rel/dl_relation_manager.cpp @@ -3379,10 +3413,10 @@ "/usr/bin/javac" ../src/api/java/enumerations/*.java -d api/java/classes "/usr/bin/javac" -cp api/java/classes ../src/api/java/*.java -d api/java/classes Compilation succeeded - 1 warning(s) -ocamlmklib -o api/ml/z3ml -I api/ml -ldopt "-L. -lz3 -Wl,-z,relro -Wl,-z,now" api/ml/z3enums.ml api/ml/z3native.ml api/ml/z3.ml api/ml/z3native_stubs.o Note: Some input files use or override a deprecated API. Note: Recompile with -Xlint:deprecation for details. "/usr/bin/jar" cfm com.microsoft.z3.jar ../src/api/java/manifest -C api/java/classes . +ocamlmklib -o api/ml/z3ml -I api/ml -ldopt "-L. -lz3 -Wl,-z,relro -Wl,-z,now" api/ml/z3enums.ml api/ml/z3native.ml api/ml/z3.ml api/ml/z3native_stubs.o Z3 was successfully built. Z3Py scripts can already be executed in the 'build' directory. Z3Py scripts stored in arbitrary directories can be also executed if 'build' directory is added to the PYTHONPATH environment variable. @@ -3514,12 +3548,12 @@ resize 2000000000 Overflow encountered when expanding vector PASS -(test vector :time 3.01 :before-memory 0.00 :after-memory 0.02) +(test vector :time 1.59 :before-memory 0.00 :after-memory 0.02) resize 1000000000 resize 2000000000 Overflow encountered when expanding vector PASS -(test vector :time 3.03 :before-memory 0.02 :after-memory 0.02) +(test vector :time 1.53 :before-memory 0.02 :after-memory 0.02) PASS (test symbol_table :time 0.00 :before-memory 0.02 :after-memory 0.02) PASS @@ -3765,7 +3799,7 @@ 41 7 5 6 41 == 41 running rational_tester::tst1 -(multiplication with big rationals :time 3.69 :before-memory 0.39 :after-memory 49.90) +(multiplication with big rationals :time 3.60 :before-memory 0.39 :after-memory 49.90) (multiplication with floats: :time 0.00 :before-memory 49.90 :after-memory 49.90) Testing multiplication performace using small ints @@ -3777,7 +3811,7 @@ (multiplication with floats: :time 0.00 :before-memory 71.47 :after-memory 71.47) PASS -(test rational :time 4.67 :before-memory 0.11 :after-memory 3.38) +(test rational :time 4.56 :before-memory 0.11 :after-memory 3.38) sizeof(rational): 32 int64_max: 9223372036854775807, INT64_MAX: 9223372036854775807, int64_max.get_int64(): 9223372036854775807, int64_max.get_uint64(): 9223372036854775807 running tst6 @@ -3801,7 +3835,7 @@ 41 7 5 6 41 == 41 running rational_tester::tst1 -(multiplication with big rationals :time 3.83 :before-memory 3.75 :after-memory 49.98) +(multiplication with big rationals :time 3.74 :before-memory 3.75 :after-memory 49.98) (multiplication with floats: :time 0.00 :before-memory 49.98 :after-memory 49.98) Testing multiplication performace using small ints @@ -3809,11 +3843,11 @@ (multiplication with floats: :time 0.00 :before-memory 71.49 :after-memory 71.49) Testing multiplication performace using small rationals -(multiplication with rationals :time 0.25 :before-memory 71.49 :after-memory 71.49) +(multiplication with rationals :time 0.24 :before-memory 71.49 :after-memory 71.49) (multiplication with floats: :time 0.00 :before-memory 71.49 :after-memory 71.49) PASS -(test rational :time 4.85 :before-memory 3.38 :after-memory 3.41) +(test rational :time 4.69 :before-memory 3.38 :after-memory 3.41) PASS (test inf_rational :time 0.00 :before-memory 3.41 :after-memory 3.41) PASS @@ -3979,7 +4013,7 @@ 1111111111111111111111111111111111111111111111111111111111111111111111} -> 11111111111111111111111111111111111111111111111111111111111111111xx1 \ { 11111111111111111111111111111111111111111111111111111111111111111111} PASS -(test doc :time 5.14 :before-memory 3.41 :after-memory 3.50) +(test doc :time 4.88 :before-memory 3.41 :after-memory 3.50) xxxx \ {xxx0} xxx (or (and true (not (not true))) (and true (not (not false)))) true @@ -4025,7 +4059,7 @@ 1111111111111111111111111111111111111111111111111111111111111111111111} -> 11111111111111111111111111111111111111111111111111111111111111111xx1 \ { 11111111111111111111111111111111111111111111111111111111111111111111} PASS -(test doc :time 5.45 :before-memory 3.50 :after-memory 3.50) +(test doc :time 4.81 :before-memory 3.50 :after-memory 3.50) {xxx \ {0x1}} {xxx \ {0x0, 1x1}} {0xxx \ {00xx, 0101, 0111}} @@ -11547,7 +11581,7 @@ xxxxxx1xxxxxxxx0xx} PASS -(test udoc_relation :time 1.90 :before-memory 3.50 :after-memory 3.53) +(test udoc_relation :time 1.74 :before-memory 3.50 :after-memory 3.53) {xxx \ {0x1}} {xxx \ {0x0, 1x1}} {0xxx \ {00xx, 0101, 0111}} @@ -19069,7 +19103,7 @@ xxxxxx1xxxxxxxx0xx} PASS -(test udoc_relation :time 1.73 :before-memory 3.53 :after-memory 3.53) +(test udoc_relation :time 1.97 :before-memory 3.53 :after-memory 3.53) PASS (test string_buffer :time 0.00 :before-memory 3.53 :after-memory 3.53) PASS @@ -20585,7 +20619,7 @@ **************************************************************************************************** **************************************************************************************************** PASS -(test total_order :time 0.22 :before-memory 3.53 :after-memory 3.53) +(test total_order :time 0.21 :before-memory 3.53 :after-memory 3.53) **************************************************************************************************** 1 3 2 **************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************************** @@ -20595,7 +20629,7 @@ **************************************************************************************************** **************************************************************************************************** PASS -(test total_order :time 0.22 :before-memory 3.53 :after-memory 3.53) +(test total_order :time 0.21 :before-memory 3.53 :after-memory 3.53) PASS (test dl_table :time 0.00 :before-memory 3.53 :after-memory 3.53) PASS @@ -20619,15 +20653,15 @@ max. heap size: 3945.92 Mbytes max. heap size: 3945.92 Mbytes PASS -(test parray :time 0.07 :before-memory 3.53 :after-memory 3.53) +(test parray :time 0.06 :before-memory 3.53 :after-memory 3.53) max. heap size: 3945.92 Mbytes max. heap size: 3945.92 Mbytes PASS -(test parray :time 0.07 :before-memory 3.53 :after-memory 3.53) +(test parray :time 0.06 :before-memory 3.53 :after-memory 3.53) PASS -(test stack :time 0.30 :before-memory 3.53 :after-memory 3.50) +(test stack :time 0.25 :before-memory 3.53 :after-memory 3.50) PASS -(test stack :time 0.30 :before-memory 3.50 :after-memory 3.50) +(test stack :time 0.24 :before-memory 3.50 :after-memory 3.50) [\"hello\"\"world\" ] @@ -20696,7 +20730,7 @@ size: 7 7 size: 669 669 PASS -(test chashtable :time 0.05 :before-memory 3.50 :after-memory 3.50) +(test chashtable :time 0.04 :before-memory 3.50 :after-memory 3.50) 10 20 30 12 10 12 10 13 @@ -22156,7 +22190,7 @@ V: 3 x^2 - x - 3 D: 1 PASS -(test upolynomial :time 0.34 :before-memory 4.78 :after-memory 4.87) +(test upolynomial :time 0.28 :before-memory 4.78 :after-memory 4.87) Testing GCD @@ -22499,7 +22533,7 @@ r: 3 x - 2 expected: 3 x - 2 isolating roots of: x^70 - 6 x^65 - x^60 + 60 x^55 - 54 x^50 - 230 x^45 + 274 x^40 + 542 x^35 - 615 x^30 - 1120 x^25 + 1500 x^20 - 160 x^15 - 395 x^10 + 76 x^5 + 34 -(isolate time :time 0.00 :before-memory 4.88 :after-memory 4.98) +(isolate time :time 0.01 :before-memory 4.88 :after-memory 4.98) (sturm time :time 0.00 :before-memory 4.98 :after-memory 4.98) square free part: x^70 - 6 x^65 - x^60 + 60 x^55 - 54 x^50 - 230 x^45 + 274 x^40 + 542 x^35 - 615 x^30 - 1120 x^25 + 1500 x^20 - 160 x^15 - 395 x^10 + 76 x^5 + 34 (sqf time :time 0.00 :before-memory 4.98 :after-memory 4.98) @@ -22965,7 +22999,7 @@ V: 3 x^2 - x - 3 D: 1 PASS -(test upolynomial :time 0.29 :before-memory 4.87 :after-memory 4.87) +(test upolynomial :time 0.28 :before-memory 4.87 :after-memory 4.87) root: 2 root: (#^4 - 4, 2) -------------- @@ -23452,7 +23486,7 @@ 823515360433462125/2^60 < 5/7 < 411757680216731065/2^59 0.71428571428571428509? < 0.71428571428571428571? < 0.71428571428571428943? PASS -(test algebraic :time 0.50 :before-memory 4.87 :after-memory 4.80) +(test algebraic :time 0.48 :before-memory 4.87 :after-memory 4.80) root: 2 root: (#^4 - 4, 2) -------------- @@ -23939,7 +23973,7 @@ 823515360433462125/2^60 < 5/7 < 411757680216731065/2^59 0.71428571428571428509? < 0.71428571428571428571? < 0.71428571428571428943? PASS -(test algebraic :time 0.50 :before-memory 4.80 :after-memory 4.80) +(test algebraic :time 0.48 :before-memory 4.80 :after-memory 4.80) PASS (test polynomial_factorization :time 0.00 :before-memory 4.80 :after-memory 4.80) PASS @@ -26641,7 +26675,7 @@ s2: {(1, p2, 2), [2, p1, oo)} union(s1, s2): {(-oo, p1, 1], (1, p2, 2), [2, p1, oo)}* PASS -(test nlsat :time 0.03 :before-memory 4.80 :after-memory 4.79) +(test nlsat :time 0.02 :before-memory 4.80 :after-memory 4.79) 1) {(-oo, ~p1, -1.4142135623?), (1.4142135623?, ~p1, oo)} 2) {(-oo, ~p1, -1.4142135623?), (1.4142135623?, ~p1, oo)} ------------------ @@ -27509,15 +27543,15 @@ s2: {(1, p2, 2), [2, p1, oo)} union(s1, s2): {(-oo, p1, 1], (1, p2, 2), [2, p1, oo)}* PASS -(test nlsat :time 0.03 :before-memory 4.79 :after-memory 4.79) +(test nlsat :time 0.02 :before-memory 4.79 :after-memory 4.79) PASS (test ext_numeral :time 0.00 :before-memory 4.79 :after-memory 4.79) PASS (test ext_numeral :time 0.00 :before-memory 4.79 :after-memory 4.79) PASS -(test interval :time 0.57 :before-memory 4.79 :after-memory 4.79) +(test interval :time 0.53 :before-memory 4.79 :after-memory 4.79) PASS -(test interval :time 0.56 :before-memory 4.79 :after-memory 4.79) +(test interval :time 0.54 :before-memory 4.79 :after-memory 4.79) floor(11/3): 3 ceil(11/3): 4 floor(-11/3): -4 @@ -27556,10 +27590,10 @@ (test hwf :time 0.01 :before-memory 4.80 :after-memory 4.80) e float... PASS -(test trigo :time 0.24 :before-memory 4.80 :after-memory 4.80) +(test trigo :time 0.21 :before-memory 4.80 :after-memory 4.80) e float... PASS -(test trigo :time 0.24 :before-memory 4.80 :after-memory 4.80) +(test trigo :time 0.20 :before-memory 4.80 :after-memory 4.80) shr({0, 0}, 1) shl({0, 2}, 10) for sz = 1 @@ -27612,7 +27646,7 @@ shift by 1, k times self-shl PASS -(test bits :time 0.44 :before-memory 4.80 :after-memory 4.80) +(test bits :time 0.36 :before-memory 4.80 :after-memory 4.80) shr({0, 0}, 1) shl({0, 2}, 10) for sz = 1 @@ -27665,7 +27699,7 @@ shift by 1, k times self-shl PASS -(test bits :time 0.45 :before-memory 4.80 :after-memory 4.80) +(test bits :time 0.38 :before-memory 4.80 :after-memory 4.80) 36637340735244577447646647796940134554460176108377786095865669439633741578249/2^67 1066286953144141515008134528672675792897940150822331957049483591681/2^32 496528555240547989964547813251929261208484019535748268035/2 @@ -27845,7 +27879,7 @@ (- 2.0) (/ 6148914691236517205.0 (^ 2.0 64.0)) PASS -(test mpff :time 1.04 :before-memory 4.80 :after-memory 4.78) +(test mpff :time 1.02 :before-memory 4.80 :after-memory 4.78) 8000000000000000*2^-63 ffffffffffffffff*2^0 1/18446744073709551615 <= 9223372036854775809/2^127 @@ -27993,7 +28027,7 @@ (- 2.0) (/ 6148914691236517205.0 (^ 2.0 64.0)) PASS -(test mpff :time 0.96 :before-memory 4.78 :after-memory 4.78) +(test mpff :time 1.02 :before-memory 4.78 :after-memory 4.78) (define-fun q ((x!1 Int) (x!2 Int)) Bool false) (define-fun p ((x!1 Int) (x!2 Int)) Bool @@ -28483,9 +28517,9 @@ heap_trie.num_2_children: 74 heap_trie.num_inserts: 2280 heap_trie.num_nodes: 6118 -time: 0.126184 secs +time: 0.138887 secs PASS -(test hilbert_basis :time 0.13 :before-memory 4.78 :after-memory 4.80) +(test hilbert_basis :time 0.14 :before-memory 4.78 :after-memory 4.80) hilbert basis test hb.basis_size: 76 hb.index.num_insert: 76 @@ -28873,9 +28907,9 @@ heap_trie.num_2_children: 74 heap_trie.num_inserts: 2280 heap_trie.num_nodes: 6118 -time: 0.126026 secs +time: 0.154491 secs PASS -(test hilbert_basis :time 0.13 :before-memory 4.80 :after-memory 4.80) +(test hilbert_basis :time 0.16 :before-memory 4.80 :after-memory 4.80) find_le: 1 2 3 |-> 1 3 heap_trie.num_1_children: 4 heap_trie.num_2_children: 2 @@ -29150,7 +29184,7 @@ make[1]: Entering directory '/build/z3-4.4.1' mkdir -p debian/tmp/usr/lib/python2.7/dist-packages/ dh_auto_install - make -j15 install DESTDIR=/build/z3-4.4.1/debian/tmp AM_UPDATE_INFO_DIR=no + make -j16 install DESTDIR=/build/z3-4.4.1/debian/tmp AM_UPDATE_INFO_DIR=no make[2]: Entering directory '/build/z3-4.4.1' make -C build install make[3]: Entering directory '/build/z3-4.4.1/build' @@ -29223,26 +29257,26 @@ dh_installdeb -O--parallel dh_ocaml -O--parallel dh_gencontrol -O--parallel -dpkg-gencontrol: warning: Depends field of package libz3-cil: substitution variable ${shlibs:Depends} used, but is not defined dpkg-gencontrol: warning: Depends field of package python-z3: substitution variable ${shlibs:Depends} used, but is not defined +dpkg-gencontrol: warning: Depends field of package libz3-cil: substitution variable ${shlibs:Depends} used, but is not defined dpkg-gencontrol: warning: package python-z3: substitution variable ${python:Provides} unused, but is defined dpkg-gencontrol: warning: package python-z3: substitution variable ${python:Versions} unused, but is defined dpkg-gencontrol: warning: package libz3-ocaml-dev: substitution variable ${ocaml:Provides} unused, but is defined dpkg-gencontrol: warning: package libz3-ocaml-dev: substitution variable ${ocaml:Provides} unused, but is defined dh_md5sums -O--parallel dh_builddeb -O--parallel -dpkg-deb: building package 'libz3-4-dbgsym' in '../libz3-4-dbgsym_4.4.1-1~deb10u1_amd64.deb'. dpkg-deb: building package 'z3' in '../z3_4.4.1-1~deb10u1_amd64.deb'. dpkg-deb: building package 'z3-dbgsym' in '../z3-dbgsym_4.4.1-1~deb10u1_amd64.deb'. dpkg-deb: building package 'libz3-4' in '../libz3-4_4.4.1-1~deb10u1_amd64.deb'. +dpkg-deb: building package 'libz3-4-dbgsym' in '../libz3-4-dbgsym_4.4.1-1~deb10u1_amd64.deb'. +dpkg-deb: building package 'libz3-dev' in '../libz3-dev_4.4.1-1~deb10u1_amd64.deb'. dpkg-deb: building package 'libz3-ocaml-dev-dbgsym' in '../libz3-ocaml-dev-dbgsym_4.4.1-1~deb10u1_amd64.deb'. dpkg-deb: building package 'libz3-cil' in '../libz3-cil_4.4.1-1~deb10u1_amd64.deb'. -dpkg-deb: building package 'libz3-dev' in '../libz3-dev_4.4.1-1~deb10u1_amd64.deb'. +dpkg-deb: building package 'libz3-java' in '../libz3-java_4.4.1-1~deb10u1_amd64.deb'. dpkg-deb: building package 'libz3-jni-dbgsym' in '../libz3-jni-dbgsym_4.4.1-1~deb10u1_amd64.deb'. dpkg-deb: building package 'python-z3' in '../python-z3_4.4.1-1~deb10u1_amd64.deb'. dpkg-deb: building package 'libz3-ocaml-dev' in '../libz3-ocaml-dev_4.4.1-1~deb10u1_amd64.deb'. dpkg-deb: building package 'libz3-jni' in '../libz3-jni_4.4.1-1~deb10u1_amd64.deb'. -dpkg-deb: building package 'libz3-java' in '../libz3-java_4.4.1-1~deb10u1_amd64.deb'. dpkg-genbuildinfo --build=binary dpkg-genchanges --build=binary >../z3_4.4.1-1~deb10u1_amd64.changes dpkg-genchanges: warning: the current version (4.4.1-1~deb10u1) is earlier than the previous one (4.4.1-1) @@ -29250,12 +29284,14 @@ dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) I: copying local configuration +I: user script /srv/workspace/pbuilder/51593/tmp/hooks/B01_cleanup starting +I: user script /srv/workspace/pbuilder/51593/tmp/hooks/B01_cleanup finished I: unmounting dev/ptmx filesystem I: unmounting dev/pts filesystem I: unmounting dev/shm filesystem I: unmounting proc filesystem I: unmounting sys filesystem I: cleaning the build env -I: removing directory /srv/workspace/pbuilder/48055 and its subdirectories -I: Current time: Mon Jul 5 05:19:59 -12 2021 -I: pbuilder-time-stamp: 1625505599 +I: removing directory /srv/workspace/pbuilder/51593 and its subdirectories +I: Current time: Mon Aug 8 14:01:42 +14 2022 +I: pbuilder-time-stamp: 1659916902