Diff of the two buildlogs: -- --- b1/build.log 2023-06-05 14:25:44.393827399 +0000 +++ b2/build.log 2023-06-05 14:32:45.475375858 +0000 @@ -1,6 +1,6 @@ I: pbuilder: network access will be disabled during build -I: Current time: Sun Jul 7 08:38:18 -12 2024 -I: pbuilder-time-stamp: 1720384698 +I: Current time: Tue Jun 6 04:25:45 +14 2023 +I: pbuilder-time-stamp: 1685975146 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/bookworm-reproducible-base.tgz] I: copying local configuration @@ -16,7 +16,7 @@ I: copying [./elpi_1.16.8.orig.tar.gz] I: copying [./elpi_1.16.8-1.debian.tar.xz] I: Extracting source -gpgv: Signature made Tue Dec 6 19:22:40 2022 -12 +gpgv: Signature made Wed Dec 7 21:22:40 2022 +14 gpgv: using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551 gpgv: issuer "jpuydt@debian.org" gpgv: Can't check signature: No public key @@ -28,135 +28,167 @@ dpkg-source: info: applying longer_timeout.patch I: Not using root during the build. I: Installing the build-deps -I: user script /srv/workspace/pbuilder/2224058/tmp/hooks/D02_print_environment starting +I: user script /srv/workspace/pbuilder/2638076/tmp/hooks/D01_modify_environment starting +debug: Running on ionos11-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 +'/bin/sh' -> '/bin/bash' +lrwxrwxrwx 1 root root 9 Jun 6 04:25 /bin/sh -> /bin/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/2638076/tmp/hooks/D01_modify_environment finished +I: user script /srv/workspace/pbuilder/2638076/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=16 ' - DISTRIBUTION='bookworm' - HOME='/root' - HOST_ARCH='amd64' + BASH=/bin/sh + BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:globskipdots:hostcomplete:interactive_comments:patsub_replacement:progcomp:promptvars:sourcepath + BASH_ALIASES=() + BASH_ARGC=() + BASH_ARGV=() + BASH_CMDS=() + BASH_LINENO=([0]="12" [1]="0") + BASH_LOADABLES_PATH=/usr/local/lib/bash:/usr/lib/bash:/opt/local/lib/bash:/usr/pkg/lib/bash:/opt/pkg/lib/bash:. + BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment") + BASH_VERSINFO=([0]="5" [1]="2" [2]="15" [3]="1" [4]="release" [5]="x86_64-pc-linux-gnu") + BASH_VERSION='5.2.15(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=15 ' + DIRSTACK=() + DISTRIBUTION=bookworm + EUID=0 + FUNCNAME=([0]="Echo" [1]="main") + GROUPS=() + HOME=/root + HOSTNAME=i-capture-the-hostname + HOSTTYPE=x86_64 + HOST_ARCH=amd64 IFS=' ' - INVOCATION_ID='43f11365c860488b9a0e8a151f7ad81f' - 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='2224058' - PS1='# ' - PS2='> ' + INVOCATION_ID=07979eddff8d44c5bd471d49edebeebc + 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=2638076 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/r-b-build.WntZ2ORP/pbuilderrc_OQMu --distribution bookworm --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/bookworm-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.WntZ2ORP/b1 --logfile b1/build.log elpi_1.16.8-1.dsc' - SUDO_GID='111' - SUDO_UID='106' - SUDO_USER='jenkins' - TERM='unknown' - TZ='/usr/share/zoneinfo/Etc/GMT+12' - USER='root' - _='/usr/bin/systemd-run' - http_proxy='http://85.184.249.68: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/r-b-build.WntZ2ORP/pbuilderrc_6hOW --distribution bookworm --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/bookworm-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.WntZ2ORP/b2 --logfile b2/build.log --extrapackages usrmerge elpi_1.16.8-1.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://78.137.99.97:3128 I: uname -a - Linux ionos15-amd64 6.1.0-0.deb11.7-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.20-2~bpo11+1 (2023-04-23) x86_64 GNU/Linux + Linux i-capture-the-hostname 5.10.0-23-amd64 #1 SMP Debian 5.10.179-1 (2023-05-12) x86_64 GNU/Linux I: ls -l /bin total 5632 - -rwxr-xr-x 1 root root 1265648 Apr 23 2023 bash - -rwxr-xr-x 3 root root 39224 Sep 18 2022 bunzip2 - -rwxr-xr-x 3 root root 39224 Sep 18 2022 bzcat - lrwxrwxrwx 1 root root 6 Sep 18 2022 bzcmp -> bzdiff - -rwxr-xr-x 1 root root 2225 Sep 18 2022 bzdiff - lrwxrwxrwx 1 root root 6 Sep 18 2022 bzegrep -> bzgrep - -rwxr-xr-x 1 root root 4893 Nov 27 2021 bzexe - lrwxrwxrwx 1 root root 6 Sep 18 2022 bzfgrep -> bzgrep - -rwxr-xr-x 1 root root 3775 Sep 18 2022 bzgrep - -rwxr-xr-x 3 root root 39224 Sep 18 2022 bzip2 - -rwxr-xr-x 1 root root 14568 Sep 18 2022 bzip2recover - lrwxrwxrwx 1 root root 6 Sep 18 2022 bzless -> bzmore - -rwxr-xr-x 1 root root 1297 Sep 18 2022 bzmore - -rwxr-xr-x 1 root root 44016 Sep 20 2022 cat - -rwxr-xr-x 1 root root 68656 Sep 20 2022 chgrp - -rwxr-xr-x 1 root root 64496 Sep 20 2022 chmod - -rwxr-xr-x 1 root root 72752 Sep 20 2022 chown - -rwxr-xr-x 1 root root 151152 Sep 20 2022 cp - -rwxr-xr-x 1 root root 125640 Jan 5 2023 dash - -rwxr-xr-x 1 root root 121904 Sep 20 2022 date - -rwxr-xr-x 1 root root 89240 Sep 20 2022 dd - -rwxr-xr-x 1 root root 102200 Sep 20 2022 df - -rwxr-xr-x 1 root root 151344 Sep 20 2022 dir - -rwxr-xr-x 1 root root 88656 Mar 22 2023 dmesg - lrwxrwxrwx 1 root root 8 Dec 19 2022 dnsdomainname -> hostname - lrwxrwxrwx 1 root root 8 Dec 19 2022 domainname -> hostname - -rwxr-xr-x 1 root root 43856 Sep 20 2022 echo - -rwxr-xr-x 1 root root 41 Jan 24 2023 egrep - -rwxr-xr-x 1 root root 35664 Sep 20 2022 false - -rwxr-xr-x 1 root root 41 Jan 24 2023 fgrep - -rwxr-xr-x 1 root root 85600 Mar 22 2023 findmnt - -rwsr-xr-x 1 root root 35128 Mar 22 2023 fusermount - -rwxr-xr-x 1 root root 203152 Jan 24 2023 grep - -rwxr-xr-x 2 root root 2346 Apr 9 2022 gunzip - -rwxr-xr-x 1 root root 6447 Apr 9 2022 gzexe - -rwxr-xr-x 1 root root 98136 Apr 9 2022 gzip - -rwxr-xr-x 1 root root 22680 Dec 19 2022 hostname - -rwxr-xr-x 1 root root 72824 Sep 20 2022 ln - -rwxr-xr-x 1 root root 53024 Mar 23 2023 login - -rwxr-xr-x 1 root root 151344 Sep 20 2022 ls - -rwxr-xr-x 1 root root 207168 Mar 22 2023 lsblk - -rwxr-xr-x 1 root root 97552 Sep 20 2022 mkdir - -rwxr-xr-x 1 root root 72912 Sep 20 2022 mknod - -rwxr-xr-x 1 root root 43952 Sep 20 2022 mktemp - -rwxr-xr-x 1 root root 59712 Mar 22 2023 more - -rwsr-xr-x 1 root root 59704 Mar 22 2023 mount - -rwxr-xr-x 1 root root 18744 Mar 22 2023 mountpoint - -rwxr-xr-x 1 root root 142968 Sep 20 2022 mv - lrwxrwxrwx 1 root root 8 Dec 19 2022 nisdomainname -> hostname - lrwxrwxrwx 1 root root 14 Apr 2 2023 pidof -> /sbin/killall5 - -rwxr-xr-x 1 root root 43952 Sep 20 2022 pwd - lrwxrwxrwx 1 root root 4 Apr 23 2023 rbash -> bash - -rwxr-xr-x 1 root root 52112 Sep 20 2022 readlink - -rwxr-xr-x 1 root root 72752 Sep 20 2022 rm - -rwxr-xr-x 1 root root 56240 Sep 20 2022 rmdir - -rwxr-xr-x 1 root root 27560 Nov 2 2022 run-parts - -rwxr-xr-x 1 root root 126424 Jan 5 2023 sed - lrwxrwxrwx 1 root root 4 Jan 5 2023 sh -> dash - -rwxr-xr-x 1 root root 43888 Sep 20 2022 sleep - -rwxr-xr-x 1 root root 85008 Sep 20 2022 stty - -rwsr-xr-x 1 root root 72000 Mar 22 2023 su - -rwxr-xr-x 1 root root 39824 Sep 20 2022 sync - -rwxr-xr-x 1 root root 531984 Apr 6 2023 tar - -rwxr-xr-x 1 root root 14520 Nov 2 2022 tempfile - -rwxr-xr-x 1 root root 109616 Sep 20 2022 touch - -rwxr-xr-x 1 root root 35664 Sep 20 2022 true - -rwxr-xr-x 1 root root 14568 Mar 22 2023 ulockmgr_server - -rwsr-xr-x 1 root root 35128 Mar 22 2023 umount - -rwxr-xr-x 1 root root 43888 Sep 20 2022 uname - -rwxr-xr-x 2 root root 2346 Apr 9 2022 uncompress - -rwxr-xr-x 1 root root 151344 Sep 20 2022 vdir - -rwxr-xr-x 1 root root 72024 Mar 22 2023 wdctl - lrwxrwxrwx 1 root root 8 Dec 19 2022 ypdomainname -> hostname - -rwxr-xr-x 1 root root 1984 Apr 9 2022 zcat - -rwxr-xr-x 1 root root 1678 Apr 9 2022 zcmp - -rwxr-xr-x 1 root root 6460 Apr 9 2022 zdiff - -rwxr-xr-x 1 root root 29 Apr 9 2022 zegrep - -rwxr-xr-x 1 root root 29 Apr 9 2022 zfgrep - -rwxr-xr-x 1 root root 2081 Apr 9 2022 zforce - -rwxr-xr-x 1 root root 8103 Apr 9 2022 zgrep - -rwxr-xr-x 1 root root 2206 Apr 9 2022 zless - -rwxr-xr-x 1 root root 1842 Apr 9 2022 zmore - -rwxr-xr-x 1 root root 4577 Apr 9 2022 znew -I: user script /srv/workspace/pbuilder/2224058/tmp/hooks/D02_print_environment finished + -rwxr-xr-x 1 root root 1265648 Apr 24 11:23 bash + -rwxr-xr-x 3 root root 39224 Sep 19 2022 bunzip2 + -rwxr-xr-x 3 root root 39224 Sep 19 2022 bzcat + lrwxrwxrwx 1 root root 6 Sep 19 2022 bzcmp -> bzdiff + -rwxr-xr-x 1 root root 2225 Sep 19 2022 bzdiff + lrwxrwxrwx 1 root root 6 Sep 19 2022 bzegrep -> bzgrep + -rwxr-xr-x 1 root root 4893 Nov 28 2021 bzexe + lrwxrwxrwx 1 root root 6 Sep 19 2022 bzfgrep -> bzgrep + -rwxr-xr-x 1 root root 3775 Sep 19 2022 bzgrep + -rwxr-xr-x 3 root root 39224 Sep 19 2022 bzip2 + -rwxr-xr-x 1 root root 14568 Sep 19 2022 bzip2recover + lrwxrwxrwx 1 root root 6 Sep 19 2022 bzless -> bzmore + -rwxr-xr-x 1 root root 1297 Sep 19 2022 bzmore + -rwxr-xr-x 1 root root 44016 Sep 21 2022 cat + -rwxr-xr-x 1 root root 68656 Sep 21 2022 chgrp + -rwxr-xr-x 1 root root 64496 Sep 21 2022 chmod + -rwxr-xr-x 1 root root 72752 Sep 21 2022 chown + -rwxr-xr-x 1 root root 151152 Sep 21 2022 cp + -rwxr-xr-x 1 root root 125640 Jan 6 03:20 dash + -rwxr-xr-x 1 root root 121904 Sep 21 2022 date + -rwxr-xr-x 1 root root 89240 Sep 21 2022 dd + -rwxr-xr-x 1 root root 102200 Sep 21 2022 df + -rwxr-xr-x 1 root root 151344 Sep 21 2022 dir + -rwxr-xr-x 1 root root 88656 Mar 24 00:02 dmesg + lrwxrwxrwx 1 root root 8 Dec 20 03:33 dnsdomainname -> hostname + lrwxrwxrwx 1 root root 8 Dec 20 03:33 domainname -> hostname + -rwxr-xr-x 1 root root 43856 Sep 21 2022 echo + -rwxr-xr-x 1 root root 41 Jan 25 04:43 egrep + -rwxr-xr-x 1 root root 35664 Sep 21 2022 false + -rwxr-xr-x 1 root root 41 Jan 25 04:43 fgrep + -rwxr-xr-x 1 root root 85600 Mar 24 00:02 findmnt + -rwsr-xr-x 1 root root 35128 Mar 23 22:35 fusermount + -rwxr-xr-x 1 root root 203152 Jan 25 04:43 grep + -rwxr-xr-x 2 root root 2346 Apr 10 2022 gunzip + -rwxr-xr-x 1 root root 6447 Apr 10 2022 gzexe + -rwxr-xr-x 1 root root 98136 Apr 10 2022 gzip + -rwxr-xr-x 1 root root 22680 Dec 20 03:33 hostname + -rwxr-xr-x 1 root root 72824 Sep 21 2022 ln + -rwxr-xr-x 1 root root 53024 Mar 24 02:40 login + -rwxr-xr-x 1 root root 151344 Sep 21 2022 ls + -rwxr-xr-x 1 root root 207168 Mar 24 00:02 lsblk + -rwxr-xr-x 1 root root 97552 Sep 21 2022 mkdir + -rwxr-xr-x 1 root root 72912 Sep 21 2022 mknod + -rwxr-xr-x 1 root root 43952 Sep 21 2022 mktemp + -rwxr-xr-x 1 root root 59712 Mar 24 00:02 more + -rwsr-xr-x 1 root root 59704 Mar 24 00:02 mount + -rwxr-xr-x 1 root root 18744 Mar 24 00:02 mountpoint + -rwxr-xr-x 1 root root 142968 Sep 21 2022 mv + lrwxrwxrwx 1 root root 8 Dec 20 03:33 nisdomainname -> hostname + lrwxrwxrwx 1 root root 14 Apr 3 20:25 pidof -> /sbin/killall5 + -rwxr-xr-x 1 root root 43952 Sep 21 2022 pwd + lrwxrwxrwx 1 root root 4 Apr 24 11:23 rbash -> bash + -rwxr-xr-x 1 root root 52112 Sep 21 2022 readlink + -rwxr-xr-x 1 root root 72752 Sep 21 2022 rm + -rwxr-xr-x 1 root root 56240 Sep 21 2022 rmdir + -rwxr-xr-x 1 root root 27560 Nov 3 2022 run-parts + -rwxr-xr-x 1 root root 126424 Jan 6 09:55 sed + lrwxrwxrwx 1 root root 9 Jun 6 04:25 sh -> /bin/bash + -rwxr-xr-x 1 root root 43888 Sep 21 2022 sleep + -rwxr-xr-x 1 root root 85008 Sep 21 2022 stty + -rwsr-xr-x 1 root root 72000 Mar 24 00:02 su + -rwxr-xr-x 1 root root 39824 Sep 21 2022 sync + -rwxr-xr-x 1 root root 531984 Apr 7 04:25 tar + -rwxr-xr-x 1 root root 14520 Nov 3 2022 tempfile + -rwxr-xr-x 1 root root 109616 Sep 21 2022 touch + -rwxr-xr-x 1 root root 35664 Sep 21 2022 true + -rwxr-xr-x 1 root root 14568 Mar 23 22:35 ulockmgr_server + -rwsr-xr-x 1 root root 35128 Mar 24 00:02 umount + -rwxr-xr-x 1 root root 43888 Sep 21 2022 uname + -rwxr-xr-x 2 root root 2346 Apr 10 2022 uncompress + -rwxr-xr-x 1 root root 151344 Sep 21 2022 vdir + -rwxr-xr-x 1 root root 72024 Mar 24 00:02 wdctl + lrwxrwxrwx 1 root root 8 Dec 20 03:33 ypdomainname -> hostname + -rwxr-xr-x 1 root root 1984 Apr 10 2022 zcat + -rwxr-xr-x 1 root root 1678 Apr 10 2022 zcmp + -rwxr-xr-x 1 root root 6460 Apr 10 2022 zdiff + -rwxr-xr-x 1 root root 29 Apr 10 2022 zegrep + -rwxr-xr-x 1 root root 29 Apr 10 2022 zfgrep + -rwxr-xr-x 1 root root 2081 Apr 10 2022 zforce + -rwxr-xr-x 1 root root 8103 Apr 10 2022 zgrep + -rwxr-xr-x 1 root root 2206 Apr 10 2022 zless + -rwxr-xr-x 1 root root 1842 Apr 10 2022 zmore + -rwxr-xr-x 1 root root 4577 Apr 10 2022 znew +I: user script /srv/workspace/pbuilder/2638076/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy @@ -472,7 +504,7 @@ Get: 248 http://deb.debian.org/debian bookworm/main amd64 menhir amd64 20220210+ds-2 [1142 kB] Get: 249 http://deb.debian.org/debian bookworm/main amd64 ocaml-dune amd64 2.9.3-1 [2239 kB] Get: 250 http://deb.debian.org/debian bookworm/main amd64 time amd64 1.9-0.2 [50.8 kB] -Fetched 263 MB in 3s (90.5 MB/s) +Fetched 263 MB in 4s (63.2 MB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libargon2-1: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 ... 19591 files and directories currently installed.) @@ -1504,8 +1536,19 @@ Writing extended state information... Building tag database... -> Finished parsing the build-deps +Reading package lists... +Building dependency tree... +Reading state information... +usrmerge is already the newest version (35). +0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. I: Building the package -I: Running cd /build/elpi-1.16.8/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-genchanges -S > ../elpi_1.16.8-1_source.changes +I: user script /srv/workspace/pbuilder/2638076/tmp/hooks/A99_set_merged_usr starting +Re-configuring usrmerge... +removed '/etc/unsupported-skip-usrmerge-conversion' +The system has been successfully converted. +I: user script /srv/workspace/pbuilder/2638076/tmp/hooks/A99_set_merged_usr finished +hostname: Name or service not known +I: Running cd /build/elpi-1.16.8/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-genchanges -S > ../elpi_1.16.8-1_source.changes dpkg-buildpackage: info: source package elpi dpkg-buildpackage: info: source version 1.16.8-1 dpkg-buildpackage: info: source distribution unstable @@ -1515,7 +1558,7 @@ debian/rules clean dh clean --with ocaml dh_auto_clean - make -j16 clean + make -j15 clean make[1]: Entering directory '/build/elpi-1.16.8' rm -rf _build rm -rf docs/build @@ -1560,7 +1603,7 @@ --runner dune --runner /build/elpi-1.16.8/_build/install/default/bin/elpi --runner /build/elpi-1.16.8/_build/install/default/bin/elpi-trace-elaborator ------------------------------------------------------------------ Runners: dune /build/elpi-1.16.8/_build/install/default/bin/elpi /build/elpi-1.16.8/_build/install/default/bin/elpi-trace-elaborator -Random seed: 5406 +Random seed: 14333 Timeout: 1200.00 seconds Fiber stack: 0 @@ -1568,7 +1611,7 @@ ------------------------------------------------------------------ ------------------------------------------------------------------ Runners: dune /build/elpi-1.16.8/_build/install/default/bin/elpi /build/elpi-1.16.8/_build/install/default/bin/elpi-trace-elaborator -Random seed: 5406 +Random seed: 14333 Timeout: 1200.00 seconds Fiber stack: 0 @@ -1576,7 +1619,7 @@ ------------------------------------------------------------------ ------------------------------------------------------------------ Runners: dune /build/elpi-1.16.8/_build/install/default/bin/elpi /build/elpi-1.16.8/_build/install/default/bin/elpi-trace-elaborator -Random seed: 5406 +Random seed: 14333 Timeout: 1200.00 seconds Fiber stack: 0 @@ -1584,7 +1627,7 @@ ------------------------------------------------------------------ ------------------------------------------------------------------ Runners: dune /build/elpi-1.16.8/_build/install/default/bin/elpi /build/elpi-1.16.8/_build/install/default/bin/elpi-trace-elaborator -Random seed: 5406 +Random seed: 14333 Timeout: 1200.00 seconds Fiber stack: 0 @@ -1592,7 +1635,7 @@ ------------------------------------------------------------------ ------------------------------------------------------------------ Runners: dune /build/elpi-1.16.8/_build/install/default/bin/elpi /build/elpi-1.16.8/_build/install/default/bin/elpi-trace-elaborator -Random seed: 5406 +Random seed: 14333 Timeout: 1200.00 seconds Fiber stack: 0 @@ -1600,7 +1643,7 @@ ------------------------------------------------------------------ ------------------------------------------------------------------ Runners: dune /build/elpi-1.16.8/_build/install/default/bin/elpi /build/elpi-1.16.8/_build/install/default/bin/elpi-trace-elaborator -Random seed: 5406 +Random seed: 14333 Timeout: 1200.00 seconds Fiber stack: 0 @@ -1608,7 +1651,7 @@ ------------------------------------------------------------------ ------------------------------------------------------------------ Runners: dune /build/elpi-1.16.8/_build/install/default/bin/elpi /build/elpi-1.16.8/_build/install/default/bin/elpi-trace-elaborator -Random seed: 5406 +Random seed: 14333 Timeout: 1200.00 seconds Fiber stack: 0 @@ -1616,161 +1659,161 @@ ------------------------------------------------------------------ ------------------------------------------------------------------ Runners: dune /build/elpi-1.16.8/_build/install/default/bin/elpi /build/elpi-1.16.8/_build/install/default/bin/elpi-trace-elaborator -Random seed: 5406 +Random seed: 14333 Timeout: 1200.00 seconds Fiber stack: 0 status test time typchk wall mem runner ------------------------------------------------------------------ RUNNING CHR_no_clique (CHR rule on a non constraint) elpi OK CHR_no_clique 0.00 0.00 0.00 0.0M elpi -RUNNING IO_COLON (IO_COLON token) elpi OK IO_COLON 0.00 0.20 0.25 15.2M elpi -RUNNING accumulate_twice1 (double accumulate) elpi OK accumulate_twice1 0.00 0.19 0.00 0.0M elpi -RUNNING accumulate_twice2 (double accumulate) elpi OK accumulate_twice2 0.00 0.20 0.00 0.0M elpi -RUNNING ackermann (ackermann) elpi OK ackermann 0.00 0.27 0.33 15.1M elpi -RUNNING asclause (parsing of the .. as X clause) elpi OK asclause 0.00 0.23 0.27 15.1M elpi -RUNNING backtracking (backtracking variable assignment) elpi OK backtracking 0.00 0.27 0.32 15.2M elpi -RUNNING beta (beta reduction) elpi OK beta 0.00 0.26 0.32 15.2M elpi +RUNNING IO_COLON (IO_COLON token) elpi OK IO_COLON 0.00 0.24 0.29 15.2M elpi +RUNNING accumulate_twice1 (double accumulate) elpi OK accumulate_twice1 0.00 0.17 0.00 0.0M elpi +RUNNING accumulate_twice2 (double accumulate) elpi OK accumulate_twice2 0.00 0.19 0.00 0.0M elpi +RUNNING ackermann (ackermann) elpi OK ackermann 0.00 0.31 0.37 15.0M elpi +RUNNING asclause (parsing of the .. as X clause) elpi OK asclause 0.00 0.29 0.36 15.0M elpi +RUNNING backtracking (backtracking variable assignment) elpi OK backtracking 0.00 0.34 0.40 15.2M elpi +RUNNING beta (beta reduction) elpi OK beta 0.00 0.19 0.23 15.3M elpi RUNNING block (blocks are closed) elpi OK block 0.00 0.00 0.00 0.0M elpi -RUNNING bug19 (unif under binders) elpi OK bug19 0.00 0.22 0.26 15.1M elpi -RUNNING cbn (reduction) elpi OK cbn 0.69 0.24 0.97 17.5M elpi -RUNNING cbv (reduction) elpi OK cbv 3.50 0.27 3.82 15.1M elpi -RUNNING chr (constraints handling rules) elpi OK chr 0.00 0.20 0.25 15.2M elpi -RUNNING chr_even_odd (CHR example at MLWS) elpi OK chr_even_odd 0.01 0.00 0.06 11.4M elpi -RUNNING chr_gcd (greatest common divisor in CHR) elpi OK chr_gcd 0.00 0.23 0.28 15.1M elpi -RUNNING chr_leq (chr transitive closure) elpi OK chr_leq 0.00 0.24 0.30 15.1M elpi -RUNNING chr_nokey (constraints keyed on _) elpi OK chr_nokey 0.00 0.20 0.24 15.1M elpi -RUNNING chr_nokey2 (constraints keyed on _) elpi OK chr_nokey2 0.00 0.21 0.26 15.1M elpi -RUNNING chr_sem (refined operational semantics) elpi OK chr_sem 0.00 0.24 0.29 16.9M elpi -RUNNING chr_ut (type checker with UT via CHR) elpi OK chr_ut 0.00 0.34 0.39 15.1M elpi -RUNNING conj2 (parsing and evaluation of & (binary conj)) elpi OK conj2 0.00 0.26 0.30 15.1M elpi -RUNNING crypt (standard Prolog benchmark) elpi OK crypt 10.83 0.30 11.22 45.2M elpi -RUNNING cut1 (what else) elpi OK cut1 0.00 0.32 0.37 15.2M elpi -RUNNING cut2 (what else) elpi OK cut2 0.00 0.26 0.30 15.2M elpi -RUNNING cut3 (what else) elpi OK cut3 0.00 0.25 0.31 15.2M elpi -RUNNING cut4 (what else) elpi OK cut4 0.00 0.21 0.27 15.2M elpi -RUNNING cut5 (what else) elpi OK cut5 0.00 0.31 0.36 14.4M elpi -RUNNING cut6 (what else) elpi OK cut6 0.00 0.26 0.31 15.1M elpi -RUNNING deep_index (indexing deeper rules out) elpi OK deep_index 0.00 0.22 0.26 15.1M elpi -RUNNING discard (_) elpi OK discard 0.00 0.24 0.29 15.2M elpi -RUNNING elpi-checker (type checking the type checker) elpi OK elpi-checker 0.00 0.45 0.51 18.3M elpi -RUNNING elpi2html (type checking elpi2html) elpi OK elpi2html 0.00 0.24 0.30 17.8M elpi -RUNNING elpi_only_llam (full HO unif gives error) elpi OK elpi_only_llam 0.00 0.23 0.00 0.0M elpi -RUNNING eta (test eta for rigid terms) elpi OK eta 0.00 0.26 0.31 15.1M elpi -RUNNING eta_as (eta expansion of as clause) elpi OK eta_as 0.00 0.00 0.05 11.4M elpi -RUNNING fast_mu (standard Prolog benchmark) elpi OK fast_mu 4.36 0.27 4.69 17.2M elpi -RUNNING findall (stash across backtrack) elpi OK findall 0.00 0.31 0.36 15.1M elpi -RUNNING grundlagen (type checker for λδ) elpi OK grundlagen 91.04 25.57 122.98 2333.8M elpi -RUNNING hc_interp (Horn Clauses interpreter) elpi OK hc_interp 0.00 0.34 0.41 15.1M elpi -RUNNING hdclause (hdclause unification) elpi OK hdclause 0.00 0.00 0.07 11.3M elpi -RUNNING heap_discard (heapification of _) elpi OK heap_discard 0.00 0.23 0.31 15.1M elpi -RUNNING hilbert (hilbert) elpi OK hilbert 0.00 0.27 0.34 17.1M elpi -RUNNING hilbert2 (hilbert2) elpi OK hilbert2 0.00 0.26 0.34 16.9M elpi -RUNNING ho (HO predicates) elpi OK ho 0.00 0.26 0.31 15.1M elpi +RUNNING bug19 (unif under binders) elpi OK bug19 0.00 0.19 0.22 16.9M elpi +RUNNING cbn (reduction) elpi OK cbn 1.04 0.23 1.31 17.3M elpi +RUNNING cbv (reduction) elpi OK cbv 4.07 0.32 4.45 15.3M elpi +RUNNING chr (constraints handling rules) elpi OK chr 0.00 0.19 0.23 15.3M elpi +RUNNING chr_even_odd (CHR example at MLWS) elpi OK chr_even_odd 0.00 0.00 0.04 11.4M elpi +RUNNING chr_gcd (greatest common divisor in CHR) elpi OK chr_gcd 0.00 0.19 0.23 15.4M elpi +RUNNING chr_leq (chr transitive closure) elpi OK chr_leq 0.00 0.21 0.25 14.4M elpi +RUNNING chr_nokey (constraints keyed on _) elpi OK chr_nokey 0.00 0.24 0.30 15.2M elpi +RUNNING chr_nokey2 (constraints keyed on _) elpi OK chr_nokey2 0.00 0.27 0.33 15.1M elpi +RUNNING chr_sem (refined operational semantics) elpi OK chr_sem 0.00 0.28 0.34 15.2M elpi +RUNNING chr_ut (type checker with UT via CHR) elpi OK chr_ut 0.00 0.27 0.33 16.9M elpi +RUNNING conj2 (parsing and evaluation of & (binary conj)) elpi OK conj2 0.00 0.17 0.20 15.1M elpi +RUNNING crypt (standard Prolog benchmark) elpi OK crypt 10.28 0.25 10.60 44.3M elpi +RUNNING cut1 (what else) elpi OK cut1 0.00 0.32 0.36 15.4M elpi +RUNNING cut2 (what else) elpi OK cut2 0.00 0.36 0.42 15.0M elpi +RUNNING cut3 (what else) elpi OK cut3 0.00 0.30 0.36 15.0M elpi +RUNNING cut4 (what else) elpi OK cut4 0.00 0.25 0.31 15.3M elpi +RUNNING cut5 (what else) elpi OK cut5 0.00 0.26 0.32 16.1M elpi +RUNNING cut6 (what else) elpi OK cut6 0.00 0.23 0.26 15.0M elpi +RUNNING deep_index (indexing deeper rules out) elpi OK deep_index 0.00 0.19 0.23 15.2M elpi +RUNNING discard (_) elpi OK discard 0.00 0.19 0.23 15.3M elpi +RUNNING elpi-checker (type checking the type checker) elpi OK elpi-checker 0.00 0.38 0.43 18.4M elpi +RUNNING elpi2html (type checking elpi2html) elpi OK elpi2html 0.00 0.26 0.31 17.7M elpi +RUNNING elpi_only_llam (full HO unif gives error) elpi OK elpi_only_llam 0.00 0.24 0.00 0.0M elpi +RUNNING eta (test eta for rigid terms) elpi OK eta 0.00 0.24 0.28 15.3M elpi +RUNNING eta_as (eta expansion of as clause) elpi OK eta_as 0.00 0.00 0.04 11.3M elpi +RUNNING fast_mu (standard Prolog benchmark) elpi OK fast_mu 3.19 0.21 3.45 17.1M elpi +RUNNING findall (stash across backtrack) elpi OK findall 0.00 0.24 0.28 15.3M elpi +RUNNING grundlagen (type checker for λδ) elpi OK grundlagen 65.11 22.53 92.31 2335.3M elpi +RUNNING hc_interp (Horn Clauses interpreter) elpi OK hc_interp 0.00 0.27 0.31 16.8M elpi +RUNNING hdclause (hdclause unification) elpi OK hdclause 0.00 0.00 0.04 11.3M elpi +RUNNING heap_discard (heapification of _) elpi OK heap_discard 0.00 0.23 0.27 15.3M elpi +RUNNING hilbert (hilbert) elpi OK hilbert 0.00 0.21 0.27 17.0M elpi +RUNNING hilbert2 (hilbert2) elpi OK hilbert2 0.00 0.22 0.27 17.1M elpi +RUNNING ho (HO predicates) elpi OK ho 0.00 0.21 0.25 16.9M elpi RUNNING hollight (hollight implementation) elpi OK hollight 0.00 0.00 0.00 0.0M elpi -RUNNING holp (HOL programming) elpi OK holp 0.00 0.47 0.53 16.7M elpi -RUNNING hyp_uvar (uvar at the left of implication) elpi OK hyp_uvar 0.00 0.22 0.28 15.1M elpi -RUNNING impl (implication) elpi OK impl 0.00 0.31 0.38 15.1M elpi -RUNNING impl2 (implication) elpi OK impl2 0.00 0.30 0.37 15.1M elpi -RUNNING impl_order (implication and pair/list) elpi OK impl_order 0.00 0.26 0.33 15.1M elpi -RUNNING index2 (indexing the second argument) elpi OK index2 5.53 0.33 5.94 15.4M elpi -RUNNING lambda3 (moving under lambdas) elpi OK lambda3 0.91 0.33 1.30 15.2M elpi -RUNNING lambda_arrow1 (simple type checker) elpi OK lambda_arrow1 0.00 0.28 0.33 15.1M elpi -RUNNING lambda_arrow2 (simple type checker) elpi OK lambda_arrow2 0.00 0.29 0.35 15.1M elpi -RUNNING lambdadelta (lambda delta tests) elpi OK lambdadelta 0.00 0.40 0.46 17.0M elpi -RUNNING list_as_conj (list is an nary conjunction) elpi OK list_as_conj 0.00 0.19 0.24 15.2M elpi -RUNNING list_comma (lists with spurious , in there) elpi OK list_comma 0.00 0.18 0.24 15.1M elpi -RUNNING llam (Miller pattern unification) elpi OK llam 0.00 0.34 0.38 17.2M elpi -RUNNING llamb0_exit1 (Outside the llamb0 fragment) elpi OK llamb0_exit1 0.00 0.20 0.24 15.2M elpi -RUNNING llamb0_exit2 (Outside the llamb0 fragment) elpi OK llamb0_exit2 0.00 0.20 0.26 16.9M elpi -RUNNING llamb0_exit3 (Outside the llamb0 fragment) elpi OK llamb0_exit3 0.00 0.22 0.27 17.0M elpi -RUNNING llamb0_exit4 (Outside the llamb0 fragment) elpi OK llamb0_exit4 0.00 0.22 0.27 15.2M elpi -RUNNING llamb0_exit5 (Outside the llamb0 fragment) elpi OK llamb0_exit5 0.00 0.20 0.25 15.1M elpi -RUNNING llamb0_exit6 (Outside the llamb0 fragment) elpi OK llamb0_exit6 0.00 0.24 0.31 15.2M elpi -RUNNING lyp (type checker for λΥP) elpi OK lyp 68.03 37.40 126.15 591.1M elpi -RUNNING map (builtin list) (stdlib map reference) elpi OK map (builtin list) 44.81 0.76 45.73 15.1M elpi -RUNNING map (defined list) (stdlib map reference) elpi OK map (defined list) 44.96 0.33 45.43 15.2M elpi -RUNNING map (rbtree) (stdlib map) elpi OK map (rbtree) 10.49 0.28 10.88 15.1M elpi -RUNNING mu (standard Prolog benchmark) elpi OK mu 4.94 0.22 5.21 17.0M elpi -RUNNING name (name builtin) elpi OK name 0.00 0.00 0.10 11.4M elpi +RUNNING holp (HOL programming) elpi OK holp 0.00 0.32 0.37 16.9M elpi +RUNNING hyp_uvar (uvar at the left of implication) elpi OK hyp_uvar 0.00 0.18 0.22 15.1M elpi +RUNNING impl (implication) elpi OK impl 0.00 0.21 0.25 15.1M elpi +RUNNING impl2 (implication) elpi OK impl2 0.00 0.25 0.30 15.3M elpi +RUNNING impl_order (implication and pair/list) elpi OK impl_order 0.00 0.23 0.28 15.1M elpi +RUNNING index2 (indexing the second argument) elpi OK index2 7.61 0.27 7.94 15.3M elpi +RUNNING lambda3 (moving under lambdas) elpi OK lambda3 2.00 0.78 2.91 15.0M elpi +RUNNING lambda_arrow1 (simple type checker) elpi OK lambda_arrow1 0.00 0.64 0.76 15.1M elpi +RUNNING lambda_arrow2 (simple type checker) elpi OK lambda_arrow2 0.00 0.57 0.69 15.3M elpi +RUNNING lambdadelta (lambda delta tests) elpi OK lambdadelta 0.00 0.80 0.94 17.2M elpi +RUNNING list_as_conj (list is an nary conjunction) elpi OK list_as_conj 0.00 0.49 0.61 15.4M elpi +RUNNING list_comma (lists with spurious , in there) elpi OK list_comma 0.00 0.50 0.60 15.3M elpi +RUNNING llam (Miller pattern unification) elpi OK llam 0.01 0.76 0.89 17.8M elpi +RUNNING llamb0_exit1 (Outside the llamb0 fragment) elpi OK llamb0_exit1 0.00 0.54 0.65 15.3M elpi +RUNNING llamb0_exit2 (Outside the llamb0 fragment) elpi OK llamb0_exit2 0.00 0.54 0.66 15.2M elpi +RUNNING llamb0_exit3 (Outside the llamb0 fragment) elpi OK llamb0_exit3 0.00 0.53 0.66 16.9M elpi +RUNNING llamb0_exit4 (Outside the llamb0 fragment) elpi OK llamb0_exit4 0.00 0.55 0.66 15.1M elpi +RUNNING llamb0_exit5 (Outside the llamb0 fragment) elpi OK llamb0_exit5 0.00 0.55 0.68 15.0M elpi +RUNNING llamb0_exit6 (Outside the llamb0 fragment) elpi OK llamb0_exit6 0.00 0.48 0.59 15.1M elpi +RUNNING lyp (type checker for λΥP) elpi OK lyp 16.20 26.85 70.14 592.2M elpi +RUNNING map (builtin list) (stdlib map reference) elpi OK map (builtin list) 20.05 0.17 20.26 15.3M elpi +RUNNING map (defined list) (stdlib map reference) elpi OK map (defined list) 23.89 0.17 24.11 15.2M elpi +RUNNING map (rbtree) (stdlib map) elpi OK map (rbtree) 5.51 0.20 5.75 15.3M elpi +RUNNING mu (standard Prolog benchmark) elpi OK mu 4.48 0.17 4.69 17.2M elpi +RUNNING name (name builtin) elpi OK name 0.00 0.00 0.04 11.2M elpi RUNNING named_clauses00 (clause grafting using names) elpi OK named_clauses00 0.00 0.00 0.00 0.0M elpi RUNNING named_clauses01 (clause grafting using names) elpi OK named_clauses01 0.00 0.00 0.00 0.0M elpi -RUNNING named_clauses02 (clause grafting using names) elpi OK named_clauses02 0.00 0.38 0.43 15.2M elpi -RUNNING namespace00 (namespacing of predicates and constants) elpi OK namespace00 0.00 0.30 0.37 15.1M elpi -RUNNING namespace01 (namespacing of predicates and constants) elpi OK namespace01 0.00 0.33 0.43 15.2M elpi -RUNNING namespace02 (namespacing of predicates and constants) elpi OK namespace02 0.00 0.28 0.35 17.0M elpi -RUNNING namespace03 (namespacing of predicates and constants) elpi OK namespace03 0.00 0.50 0.62 15.2M elpi -RUNNING ndprover (Natural deduction prover) elpi OK ndprover 0.00 0.31 0.42 18.0M elpi -RUNNING nil_cons (nil = []) elpi OK nil_cons 0.00 0.23 0.28 15.1M elpi -RUNNING notation (extensible syntax) elpi OK notation 0.00 0.44 0.49 15.1M elpi +RUNNING named_clauses02 (clause grafting using names) elpi OK named_clauses02 0.00 0.18 0.21 15.0M elpi +RUNNING namespace00 (namespacing of predicates and constants) elpi OK namespace00 0.00 0.17 0.21 15.3M elpi +RUNNING namespace01 (namespacing of predicates and constants) elpi OK namespace01 0.00 0.18 0.22 16.9M elpi +RUNNING namespace02 (namespacing of predicates and constants) elpi OK namespace02 0.00 0.21 0.25 17.0M elpi +RUNNING namespace03 (namespacing of predicates and constants) elpi OK namespace03 0.00 0.23 0.27 15.1M elpi +RUNNING ndprover (Natural deduction prover) elpi OK ndprover 0.00 0.25 0.31 18.1M elpi +RUNNING nil_cons (nil = []) elpi OK nil_cons 0.00 0.16 0.19 15.2M elpi +RUNNING notation (extensible syntax) elpi OK notation 0.00 0.24 0.28 14.2M elpi RUNNING notation_error (infix declaration error) elpi OK notation_error 0.00 0.00 0.00 0.0M elpi -RUNNING patternunif (Miller pattern unification) elpi OK patternunif 0.00 0.46 0.58 15.2M elpi -RUNNING patternunif2 (Miller pattern unification) elpi OK patternunif2 0.00 0.45 0.58 15.2M elpi -RUNNING pcf (type inference for PCF) elpi OK pcf 0.01 0.73 0.90 18.4M elpi -RUNNING pi (pi quantification) elpi OK pi 0.00 0.56 0.68 15.1M elpi -RUNNING pi3 (pi quantification) elpi OK pi3 0.00 0.39 0.46 15.1M elpi -RUNNING pi5 (pi quantification) elpi OK pi5 0.00 0.42 0.58 16.7M elpi -RUNNING pnf (some HO programming) elpi OK pnf 0.00 0.48 0.57 17.2M elpi -RUNNING polymorphic_variants (typechecker for polymorphic variants) elpi OK polymorphic_variants 0.00 0.58 0.74 17.7M elpi -RUNNING printer (printing infix) elpi OK printer 0.00 0.00 0.08 11.3M elpi -RUNNING progs (progs) elpi OK progs 0.00 0.55 0.67 18.3M elpi -RUNNING queens (standard Prolog benchmark) elpi OK queens 6.45 0.40 6.92 128.1M elpi -RUNNING quote_syntax (quote_syntax API) elpi OK quote_syntax 0.14 0.27 0.48 15.2M elpi -RUNNING random (random numbers) elpi OK random 0.00 0.25 0.33 15.2M elpi -RUNNING restriction (HO unification scope checking) elpi OK restriction 0.00 0.35 0.00 0.0M elpi -RUNNING restriction3 (HO unification scope checking) elpi OK restriction3 0.00 0.34 0.48 15.2M elpi -RUNNING restriction4 (HO unification scope checking) elpi OK restriction4 0.00 0.48 0.59 15.2M elpi -RUNNING restriction5 (HO unification scope checking) elpi OK restriction5 0.00 0.22 0.30 15.2M elpi -RUNNING restriction6 (HO unification scope checking) elpi OK restriction6 0.00 0.31 0.45 15.2M elpi -RUNNING rev (list reversal) elpi OK rev 0.72 0.60 1.45 43.3M elpi -RUNNING rev14 (list reversal) elpi OK rev14 0.67 0.48 1.27 43.0M elpi -RUNNING same_term (the == operator) elpi OK same_term 0.00 0.34 0.43 15.2M elpi -RUNNING self_assignment (Miller pattern unification) elpi OK self_assignment 0.00 0.37 0.44 15.2M elpi -RUNNING sepcomp1 (simple separate compilation) dune OK sepcomp1 0.77 0.00 0.77 21.9M dune -RUNNING sepcomp2 (simple separate compilation) dune OK sepcomp2 0.70 0.00 0.70 21.7M dune +RUNNING patternunif (Miller pattern unification) elpi OK patternunif 0.00 0.20 0.24 15.2M elpi +RUNNING patternunif2 (Miller pattern unification) elpi OK patternunif2 0.00 0.18 0.22 15.3M elpi +RUNNING pcf (type inference for PCF) elpi OK pcf 0.00 0.30 0.36 18.2M elpi +RUNNING pi (pi quantification) elpi OK pi 0.00 0.20 0.23 15.1M elpi +RUNNING pi3 (pi quantification) elpi OK pi3 0.00 0.23 0.27 15.3M elpi +RUNNING pi5 (pi quantification) elpi OK pi5 0.00 0.21 0.25 16.8M elpi +RUNNING pnf (some HO programming) elpi OK pnf 0.00 0.23 0.28 17.8M elpi +RUNNING polymorphic_variants (typechecker for polymorphic variants) elpi OK polymorphic_variants 0.00 0.32 0.36 17.9M elpi +RUNNING printer (printing infix) elpi OK printer 0.00 0.00 0.04 11.3M elpi +RUNNING progs (progs) elpi OK progs 0.00 0.32 0.37 18.2M elpi +RUNNING queens (standard Prolog benchmark) elpi OK queens 4.39 0.26 4.70 127.5M elpi +RUNNING quote_syntax (quote_syntax API) elpi OK quote_syntax 0.03 0.16 0.22 15.4M elpi +RUNNING random (random numbers) elpi OK random 0.00 0.21 0.25 15.3M elpi +RUNNING restriction (HO unification scope checking) elpi OK restriction 0.00 0.18 0.00 0.0M elpi +RUNNING restriction3 (HO unification scope checking) elpi OK restriction3 0.00 0.19 0.23 15.3M elpi +RUNNING restriction4 (HO unification scope checking) elpi OK restriction4 0.00 0.19 0.23 15.3M elpi +RUNNING restriction5 (HO unification scope checking) elpi OK restriction5 0.00 0.18 0.22 15.2M elpi +RUNNING restriction6 (HO unification scope checking) elpi OK restriction6 0.00 0.19 0.23 15.3M elpi +RUNNING rev (list reversal) elpi OK rev 0.38 0.30 0.73 43.3M elpi +RUNNING rev14 (list reversal) elpi OK rev14 0.32 0.25 0.60 42.9M elpi +RUNNING same_term (the == operator) elpi OK same_term 0.00 0.20 0.24 15.2M elpi +RUNNING self_assignment (Miller pattern unification) elpi OK self_assignment 0.00 0.17 0.20 15.3M elpi +RUNNING sepcomp1 (simple separate compilation) dune OK sepcomp1 0.35 0.00 0.35 21.9M dune +RUNNING sepcomp2 (simple separate compilation) dune OK sepcomp2 0.34 0.00 0.34 21.8M dune RUNNING sepcomp3 (separate compilation double naming) dune OK sepcomp3 0.00 0.00 0.00 0.0M dune RUNNING sepcomp4 (separate compilation double naming) dune OK sepcomp4 0.00 0.00 0.00 0.0M dune -RUNNING sepcomp5 (separate compilation different processes (step 1)) dune OK sepcomp5 0.36 0.00 0.36 21.9M dune -RUNNING sepcomp6 (separate compilation different processes (step 2)) dune OK sepcomp6 0.36 0.00 0.36 22.0M dune -RUNNING sepcomp_perf (separate compilation perf) dune OK sepcomp_perf 4.87 0.00 4.87 290.1M dune -RUNNING set (stdlib set) elpi OK set 7.65 0.37 8.13 15.2M elpi -RUNNING shorten (shortening names of a namespace) elpi OK shorten 0.00 0.28 0.38 15.2M elpi -RUNNING shorten-EOF (shortening names ends with the file) elpi OK shorten-EOF 0.00 0.37 0.48 16.9M elpi -RUNNING shorten_builtin (shortening a builtin) elpi OK shorten_builtin 0.00 0.31 0.38 15.1M elpi -RUNNING shorten_trie (shortening a trie of names) elpi OK shorten_trie 0.00 0.36 0.47 15.1M elpi -RUNNING spilling_and (spilling anonymous compound goal) elpi OK spilling_and 0.00 0.26 0.36 15.2M elpi -RUNNING spilling_impl (spilling implication) elpi OK spilling_impl 0.00 0.27 0.32 15.2M elpi -RUNNING spilling_lam (spilling inside anonymous clause) elpi OK spilling_lam 0.00 0.29 0.39 15.1M elpi -RUNNING trace-browser (trace generation) elpi OK trace-browser 0.00 0.00 0.13 11.4M elpi -RUNNING trace-browser-chr (trace generation) elpi OK trace-browser-chr 0.01 0.00 0.17 11.4M elpi -RUNNING trace-browser-cut (trace generation) elpi OK trace-browser-cut 0.00 0.00 0.09 11.4M elpi -RUNNING trace-browser-elab (trace elaboration) elpi-trace-elaborator OK trace-browser-elab 0.00 0.00 0.01 6.5M elpi-trace-elaborator -RUNNING trace-browser-elab-broken1 (recoverable broken trace elaboration) elpi-trace-elaborator OK trace-browser-elab-broken1 0.00 0.00 0.37 40.4M elpi-trace-elaborator +RUNNING sepcomp5 (separate compilation different processes (step 1)) dune OK sepcomp5 0.21 0.00 0.21 21.6M dune +RUNNING sepcomp6 (separate compilation different processes (step 2)) dune OK sepcomp6 0.19 0.00 0.19 21.8M dune +RUNNING sepcomp_perf (separate compilation perf) dune OK sepcomp_perf 3.71 0.00 3.71 288.0M dune +RUNNING set (stdlib set) elpi OK set 4.68 0.18 4.90 15.3M elpi +RUNNING shorten (shortening names of a namespace) elpi OK shorten 0.00 0.23 0.28 15.3M elpi +RUNNING shorten-EOF (shortening names ends with the file) elpi OK shorten-EOF 0.00 0.20 0.24 16.9M elpi +RUNNING shorten_builtin (shortening a builtin) elpi OK shorten_builtin 0.00 0.17 0.21 15.4M elpi +RUNNING shorten_trie (shortening a trie of names) elpi OK shorten_trie 0.00 0.22 0.26 15.1M elpi +RUNNING spilling_and (spilling anonymous compound goal) elpi OK spilling_and 0.00 0.17 0.21 15.0M elpi +RUNNING spilling_impl (spilling implication) elpi OK spilling_impl 0.00 0.18 0.22 15.1M elpi +RUNNING spilling_lam (spilling inside anonymous clause) elpi OK spilling_lam 0.00 0.18 0.22 15.2M elpi +RUNNING trace-browser (trace generation) elpi OK trace-browser 0.00 0.00 0.05 11.5M elpi +RUNNING trace-browser-chr (trace generation) elpi OK trace-browser-chr 0.00 0.00 0.04 11.4M elpi +RUNNING trace-browser-cut (trace generation) elpi OK trace-browser-cut 0.00 0.00 0.04 11.4M elpi +RUNNING trace-browser-elab (trace elaboration) elpi-trace-elaborator OK trace-browser-elab 0.00 0.00 0.00 6.4M elpi-trace-elaborator +RUNNING trace-browser-elab-broken1 (recoverable broken trace elaboration) elpi-trace-elaborator OK trace-browser-elab-broken1 0.00 0.00 0.24 39.2M elpi-trace-elaborator RUNNING trace-browser-elab-broken2 (fatal broken trace elaboration) elpi-trace-elaborator OK trace-browser-elab-broken2 0.00 0.00 0.00 0.0M elpi-trace-elaborator -RUNNING trace-browser-elab-chr (trace elaboration) elpi-trace-elaborator OK trace-browser-elab-chr 0.00 0.00 0.01 6.6M elpi-trace-elaborator -RUNNING trace-browser-elab-cut (trace elaboration) elpi-trace-elaborator OK trace-browser-elab-cut 0.00 0.00 0.01 6.5M elpi-trace-elaborator -RUNNING trace-browser-elab-findall (trace elaboration) elpi-trace-elaborator OK trace-browser-elab-findall 0.00 0.00 0.01 5.8M elpi-trace-elaborator -RUNNING trace-browser-findall (trace generation) elpi OK trace-browser-findall 0.00 0.00 0.06 11.4M elpi -RUNNING trace-browser2 (trace generation) elpi OK trace-browser2 0.00 0.00 0.12 11.4M elpi -RUNNING trace-browser2-elab (trace elaboration) elpi-trace-elaborator OK trace-browser2-elab 0.00 0.00 0.01 5.0M elpi-trace-elaborator -RUNNING trailing_comment (trailing comment) elpi OK trailing_comment 0.00 0.47 0.60 15.2M elpi -RUNNING typeabbrv1 (type abbreviations) elpi OK typeabbrv1 0.00 0.45 0.58 15.1M elpi -RUNNING typeabbrv10 (type abbreviations and error messages) elpi OK typeabbrv10 0.00 0.34 0.00 0.0M elpi -RUNNING typeabbrv11 (type abbreviations and error messages) elpi OK typeabbrv11 0.00 0.35 0.00 0.0M elpi -RUNNING typeabbrv12 (type abbreviations and error messages) elpi OK typeabbrv12 0.00 0.26 0.00 0.0M elpi +RUNNING trace-browser-elab-chr (trace elaboration) elpi-trace-elaborator OK trace-browser-elab-chr 0.00 0.00 0.00 6.5M elpi-trace-elaborator +RUNNING trace-browser-elab-cut (trace elaboration) elpi-trace-elaborator OK trace-browser-elab-cut 0.00 0.00 0.00 6.4M elpi-trace-elaborator +RUNNING trace-browser-elab-findall (trace elaboration) elpi-trace-elaborator OK trace-browser-elab-findall 0.00 0.00 0.00 5.8M elpi-trace-elaborator +RUNNING trace-browser-findall (trace generation) elpi OK trace-browser-findall 0.00 0.00 0.04 11.4M elpi +RUNNING trace-browser2 (trace generation) elpi OK trace-browser2 0.00 0.00 0.04 11.4M elpi +RUNNING trace-browser2-elab (trace elaboration) elpi-trace-elaborator OK trace-browser2-elab 0.00 0.00 0.00 5.0M elpi-trace-elaborator +RUNNING trailing_comment (trailing comment) elpi OK trailing_comment 0.00 0.18 0.21 15.4M elpi +RUNNING typeabbrv1 (type abbreviations) elpi OK typeabbrv1 0.00 0.15 0.19 15.3M elpi +RUNNING typeabbrv10 (type abbreviations and error messages) elpi OK typeabbrv10 0.00 0.15 0.00 0.0M elpi +RUNNING typeabbrv11 (type abbreviations and error messages) elpi OK typeabbrv11 0.00 0.15 0.00 0.0M elpi +RUNNING typeabbrv12 (type abbreviations and error messages) elpi OK typeabbrv12 0.00 0.15 0.00 0.0M elpi RUNNING typeabbrv2 (type abbreviations) elpi OK typeabbrv2 0.00 0.00 0.00 0.0M elpi -RUNNING typeabbrv3 (type abbreviations) elpi OK typeabbrv3 0.00 0.25 0.30 15.1M elpi -RUNNING typeabbrv4 (type abbreviations) elpi OK typeabbrv4 0.00 0.41 0.47 15.1M elpi +RUNNING typeabbrv3 (type abbreviations) elpi OK typeabbrv3 0.00 0.15 0.19 15.4M elpi +RUNNING typeabbrv4 (type abbreviations) elpi OK typeabbrv4 0.00 0.19 0.22 15.4M elpi RUNNING typeabbrv5 (type abbreviations) elpi OK typeabbrv5 0.00 0.00 0.00 0.0M elpi RUNNING typeabbrv6 (type abbreviations) elpi OK typeabbrv6 0.00 0.00 0.00 0.0M elpi -RUNNING typeabbrv7 (type abbreviations) elpi OK typeabbrv7 0.00 0.41 0.53 15.1M elpi -RUNNING typeabbrv8 (type abbreviations) elpi OK typeabbrv8 0.00 0.34 0.43 15.2M elpi -RUNNING typeabbrv9 (type abbreviations) elpi OK typeabbrv9 0.00 0.32 0.42 15.2M elpi -RUNNING uminus (parsing and evaluation of unary minus) elpi OK uminus 0.00 0.36 0.47 15.1M elpi -RUNNING uvar_keyword (uvar kwd status at the meta level) elpi OK uvar_keyword 0.00 0.39 0.50 15.1M elpi -RUNNING var (var API) elpi OK var 0.00 0.35 0.47 15.2M elpi -RUNNING variadic_declare_constraints (declare_constraint takes keys of different types) elpi OK variadic_declare_constraints 0.00 0.27 0.34 15.2M elpi -RUNNING w (ELPI example at MLWS) elpi OK w 0.00 0.70 0.85 17.3M elpi -RUNNING zebra (standard Prolog benchmark) elpi OK zebra 2.37 0.63 3.15 18.5M elpi +RUNNING typeabbrv7 (type abbreviations) elpi OK typeabbrv7 0.00 0.15 0.19 15.2M elpi +RUNNING typeabbrv8 (type abbreviations) elpi OK typeabbrv8 0.00 0.17 0.20 15.4M elpi +RUNNING typeabbrv9 (type abbreviations) elpi OK typeabbrv9 0.00 0.18 0.22 15.2M elpi +RUNNING uminus (parsing and evaluation of unary minus) elpi OK uminus 0.00 0.16 0.20 15.3M elpi +RUNNING uvar_keyword (uvar kwd status at the meta level) elpi OK uvar_keyword 0.00 0.25 0.30 15.4M elpi +RUNNING var (var API) elpi OK var 0.00 0.18 0.22 15.4M elpi +RUNNING variadic_declare_constraints (declare_constraint takes keys of different types) elpi OK variadic_declare_constraints 0.00 0.22 0.27 15.3M elpi +RUNNING w (ELPI example at MLWS) elpi OK w 0.00 0.29 0.34 17.1M elpi +RUNNING zebra (standard Prolog benchmark) elpi OK zebra 1.93 0.30 2.27 18.5M elpi ------------------------------------------------------------------ Tests: 149 Passed: 149 @@ -1997,37 +2040,37 @@ dh_shlibdeps -a dh_installdeb dh_ocaml -W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Misc +W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Profile W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Clflags -W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Outcometree W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Parsetree -W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Path -W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Asttypes +W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Longident W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Identifiable -W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Type_immediacy -W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Primitive -W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Types -W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Build_path_prefix_map -W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Profile +W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Warnings +W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Subst W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Env -W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Longident -W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Load_path +W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Build_path_prefix_map +W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Types +W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Primitive +W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Type_immediacy +W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Misc +W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Asttypes +W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Outcometree W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Location -W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Subst -W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Compmisc W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Ident W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Cmi_format -W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Warnings +W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Compmisc +W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Load_path +W: libelpi-ocaml-dev/libelpi-ocaml v1.16.8-1 doesn't resolve dependency on unit Path dh_gencontrol dpkg-gencontrol: warning: Depends field of package libelpi-ocaml: substitution variable ${shlibs:Depends} used, but is not defined dpkg-gencontrol: warning: Depends field of package libelpi-ocaml: substitution variable ${shlibs:Depends} used, but is not defined dh_md5sums dh_builddeb dpkg-deb: building package 'libelpi-ocaml' in '../libelpi-ocaml_1.16.8-1_amd64.deb'. -dpkg-deb: building package 'libelpi-ocaml-dev-dbgsym' in '../libelpi-ocaml-dev-dbgsym_1.16.8-1_amd64.deb'. -dpkg-deb: building package 'libelpi-ocaml-dev' in '../libelpi-ocaml-dev_1.16.8-1_amd64.deb'. dpkg-deb: building package 'libelpi-ocaml-dbgsym' in '../libelpi-ocaml-dbgsym_1.16.8-1_amd64.deb'. +dpkg-deb: building package 'libelpi-ocaml-dev' in '../libelpi-ocaml-dev_1.16.8-1_amd64.deb'. dpkg-deb: building package 'elpi' in '../elpi_1.16.8-1_amd64.deb'. +dpkg-deb: building package 'libelpi-ocaml-dev-dbgsym' in '../libelpi-ocaml-dev-dbgsym_1.16.8-1_amd64.deb'. dpkg-deb: building package 'elpi-dbgsym' in '../elpi-dbgsym_1.16.8-1_amd64.deb'. dpkg-genbuildinfo --build=binary -O../elpi_1.16.8-1_amd64.buildinfo dpkg-genchanges --build=binary -O../elpi_1.16.8-1_amd64.changes @@ -2036,12 +2079,14 @@ dpkg-buildpackage: info: binary-only upload (no source included) dpkg-genchanges: info: including full source code in upload I: copying local configuration +I: user script /srv/workspace/pbuilder/2638076/tmp/hooks/B01_cleanup starting +I: user script /srv/workspace/pbuilder/2638076/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/2224058 and its subdirectories -I: Current time: Sun Jul 7 08:48:56 -12 2024 -I: pbuilder-time-stamp: 1720385336 +I: removing directory /srv/workspace/pbuilder/2638076 and its subdirectories +I: Current time: Tue Jun 6 04:32:45 +14 2023 +I: pbuilder-time-stamp: 1685975565