Diff of the two buildlogs:
--
--- b1/build.log 2025-02-26 13:02:19.062777379 +0000
+++ b2/build.log 2025-02-26 13:21:12.431644915 +0000
@@ -1,6 +1,6 @@
I: pbuilder: network access will be disabled during build
-I: Current time: Wed Feb 26 00:57:40 -12 2025
-I: pbuilder-time-stamp: 1740574660
+I: Current time: Wed Apr 1 09:25:29 +14 2026
+I: pbuilder-time-stamp: 1774985129
I: Building the build Environment
I: extracting base tarball [/var/cache/pbuilder/trixie-reproducible-base.tgz]
I: copying local configuration
@@ -24,52 +24,84 @@
dpkg-source: info: applying 0001-Fix-compilation-with-atdgen-2.16.patch
I: Not using root during the build.
I: Installing the build-deps
-I: user script /srv/workspace/pbuilder/3474240/tmp/hooks/D02_print_environment starting
+I: user script /srv/workspace/pbuilder/150545/tmp/hooks/D01_modify_environment starting
+debug: Running on codethink03-arm64.
+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 Mar 31 19: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/150545/tmp/hooks/D01_modify_environment finished
+I: user script /srv/workspace/pbuilder/150545/tmp/hooks/D02_print_environment starting
I: set
- BUILDDIR='/build/reproducible-path'
- BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other'
- BUILDUSERNAME='pbuilder1'
- BUILD_ARCH='arm64'
- DEBIAN_FRONTEND='noninteractive'
+ 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]="37" [3]="1" [4]="release" [5]="aarch64-unknown-linux-gnu")
+ BASH_VERSION='5.2.37(1)-release'
+ BUILDDIR=/build/reproducible-path
+ BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other'
+ BUILDUSERNAME=pbuilder2
+ BUILD_ARCH=arm64
+ DEBIAN_FRONTEND=noninteractive
DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=12 '
- DISTRIBUTION='trixie'
- HOME='/root'
- HOST_ARCH='arm64'
+ DIRSTACK=()
+ DISTRIBUTION=trixie
+ EUID=0
+ FUNCNAME=([0]="Echo" [1]="main")
+ GROUPS=()
+ HOME=/root
+ HOSTNAME=i-capture-the-hostname
+ HOSTTYPE=aarch64
+ HOST_ARCH=arm64
IFS='
'
- INVOCATION_ID='2968ed602cf045f18527c51c26ccd753'
- 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='3474240'
- PS1='# '
- PS2='> '
+ INVOCATION_ID=d9a80b291b034df49d4a294b26b95ce1
+ LANG=C
+ LANGUAGE=nl_BE:nl
+ LC_ALL=C
+ MACHTYPE=aarch64-unknown-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=150545
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.VKc8MBay/pbuilderrc_UMNd --distribution trixie --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/trixie-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.VKc8MBay/b1 --logfile b1/build.log elpi_2.0.7-1.dsc'
- SUDO_GID='109'
- SUDO_UID='104'
- SUDO_USER='jenkins'
- TERM='unknown'
- TZ='/usr/share/zoneinfo/Etc/GMT+12'
- USER='root'
- _='/usr/bin/systemd-run'
- http_proxy='http://192.168.101.4: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.VKc8MBay/pbuilderrc_cWJL --distribution trixie --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/trixie-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.VKc8MBay/b2 --logfile b2/build.log elpi_2.0.7-1.dsc'
+ SUDO_GID=109
+ SUDO_UID=104
+ SUDO_USER=jenkins
+ TERM=unknown
+ TZ=/usr/share/zoneinfo/Etc/GMT-14
+ UID=0
+ USER=root
+ _='I: set'
+ http_proxy=http://192.168.101.4:3128
I: uname -a
- Linux codethink04-arm64 6.1.0-31-cloud-arm64 #1 SMP Debian 6.1.128-1 (2025-02-07) aarch64 GNU/Linux
+ Linux i-capture-the-hostname 6.1.0-31-cloud-arm64 #1 SMP Debian 6.1.128-1 (2025-02-07) aarch64 GNU/Linux
I: ls -l /bin
- lrwxrwxrwx 1 root root 7 Nov 22 14:40 /bin -> usr/bin
-I: user script /srv/workspace/pbuilder/3474240/tmp/hooks/D02_print_environment finished
+ lrwxrwxrwx 1 root root 7 Nov 22 2024 /bin -> usr/bin
+I: user script /srv/workspace/pbuilder/150545/tmp/hooks/D02_print_environment finished
-> Attempting to satisfy build-dependencies
-> Creating pbuilder-satisfydepends-dummy package
Package: pbuilder-satisfydepends-dummy
@@ -340,7 +372,7 @@
Get: 195 http://deb.debian.org/debian trixie/main arm64 ocaml-dune arm64 3.17.2-1 [5587 kB]
Get: 196 http://deb.debian.org/debian trixie/main arm64 time arm64 1.9-0.2+b1 [48.1 kB]
Get: 197 http://deb.debian.org/debian trixie/main arm64 yojson-tools arm64 2.2.2-1+b1 [459 kB]
-Fetched 247 MB in 1s (166 MB/s)
+Fetched 247 MB in 6s (44.5 MB/s)
Preconfiguring packages ...
Selecting previously unselected package readline-common.
(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 ... 19914 files and directories currently installed.)
@@ -1152,7 +1184,11 @@
Building tag database...
-> Finished parsing the build-deps
I: Building the package
-I: Running cd /build/reproducible-path/elpi-2.0.7/ && 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_2.0.7-1_source.changes
+I: user script /srv/workspace/pbuilder/150545/tmp/hooks/A99_set_merged_usr starting
+Not re-configuring usrmerge for trixie
+I: user script /srv/workspace/pbuilder/150545/tmp/hooks/A99_set_merged_usr finished
+hostname: Name or service not known
+I: Running cd /build/reproducible-path/elpi-2.0.7/ && 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_2.0.7-1_source.changes
dpkg-buildpackage: info: source package elpi
dpkg-buildpackage: info: source version 2.0.7-1
dpkg-buildpackage: info: source distribution unstable
@@ -1197,7 +1233,7 @@
git tag -a v2.0.7 -m foo; \
fi
Initialized empty Git repository in /build/reproducible-path/elpi-2.0.7/.git/
-[main (root-commit) 4ed763d] foo
+[main (root-commit) 0bb73da] foo
1 file changed, 14 insertions(+)
create mode 100644 dune
make[1]: Leaving directory '/build/reproducible-path/elpi-2.0.7'
@@ -1230,7 +1266,7 @@
dune build @all
Warning: Cache directories could not be created: Permission denied; disabling
cache
-Hint: Make sure the directory /nonexistent/first-build/.cache/dune/db/temp
+Hint: Make sure the directory /nonexistent/second-build/.cache/dune/db/temp
can be created
File "_none_", line 1:
Alert ocaml_deprecated_auto_include:
@@ -1250,7 +1286,7 @@
dune runtest
Warning: Cache directories could not be created: Permission denied; disabling
cache
-Hint: Make sure the directory /nonexistent/first-build/.cache/dune/db/temp
+Hint: Make sure the directory /nonexistent/second-build/.cache/dune/db/temp
can be created
-> Running test 1 <-
@@ -1268,7 +1304,7 @@
Test remove 2
Test remove 3
Test remove 4
-build: bl=1.124148 l=0.835725
+build: bl=5.490070 l=4.099937
ulimit -s 11141120; OCAMLRUNPARAM=l=11141120 \
tests/test.exe \
--seed $RANDOM \
@@ -1284,210 +1320,212 @@
--runner /build/reproducible-path/elpi-2.0.7/_build/install/default/bin/elpi --runner /build/reproducible-path/elpi-2.0.7/_build/install/default/bin/elpi-trace-elaborator
------------------------------------------------------------------
Runners: /build/reproducible-path/elpi-2.0.7/_build/install/default/bin/elpi /build/reproducible-path/elpi-2.0.7/_build/install/default/bin/elpi-trace-elaborator
-Random seed: 26367
+Random seed: 4340
Timeout: 90.00 seconds
Fiber stack: 11141120
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.01 0.07 14.0M elpi
+RUNNING IO_COLON (IO_COLON token) elpi
OK IO_COLON 0.00 0.01 0.09 13.9M elpi
RUNNING accumulate_twice1 (double accumulate) elpi
OK accumulate_twice1 0.00 0.00 0.00 0.0M elpi
-RUNNING accumulate_twice2 (double accumulate) elpi
OK accumulate_twice2 0.00 0.01 0.00 0.0M elpi
-RUNNING ackermann (ackermann) elpi
OK ackermann 0.00 0.01 0.07 14.0M elpi
-RUNNING asclause (parsing of the .. as X clause) elpi
OK asclause 0.00 0.01 0.07 14.0M elpi
-RUNNING backtracking (backtracking variable assignment) elpi
OK backtracking 0.00 0.01 0.07 14.0M elpi
+RUNNING accumulate_twice2 (double accumulate) elpi
OK accumulate_twice2 0.00 0.00 0.00 0.0M elpi
+RUNNING ackermann (ackermann) elpi
OK ackermann 0.00 0.02 0.15 14.0M elpi
+RUNNING asclause (parsing of the .. as X clause) elpi
OK asclause 0.00 0.01 0.12 13.9M elpi
+RUNNING backtracking (backtracking variable assignment) elpi
OK backtracking 0.00 0.01 0.13 14.0M elpi
RUNNING bad_index (bad indexing directive) elpi
OK bad_index 0.00 0.00 0.00 0.0M elpi
-RUNNING beta (beta reduction) elpi
OK beta 0.00 0.01 0.06 13.9M elpi
+RUNNING beta (beta reduction) elpi
OK beta 0.00 0.00 0.09 13.9M elpi
RUNNING block (blocks are closed) elpi
OK block 0.00 0.00 0.00 0.0M elpi
-RUNNING bug-256 (move/unif) elpi
OK bug-256 0.00 0.01 0.07 14.0M elpi
-RUNNING bug19 (unif under binders) elpi
OK bug19 0.00 0.01 0.07 14.0M elpi
-RUNNING bug_226 (move/unif bug) elpi
OK bug_226 0.00 0.01 0.06 14.0M elpi
-RUNNING cbn (reduction) elpi
OK cbn 0.48 0.01 0.55 19.9M elpi
-RUNNING cbv (reduction) elpi
OK cbv 1.54 0.01 1.61 17.4M elpi
-RUNNING chr (constraints handling rules) elpi
OK chr 0.00 0.01 0.07 14.0M elpi
-RUNNING chr-scope (chr-relocation) elpi
OK chr-scope 0.00 0.01 0.07 14.0M elpi
-RUNNING chr-scope-change (chr-relocation) elpi
OK chr-scope-change 0.00 0.01 0.07 14.0M elpi
-RUNNING chr-scope-change-err (chr-relocation) elpi
OK chr-scope-change-err 0.00 0.01 0.00 0.0M elpi
-RUNNING chr_even_odd (CHR example at MLWS) elpi
OK chr_even_odd 0.01 0.01 0.07 14.0M elpi
-RUNNING chr_gcd (greatest common divisor in CHR) elpi
OK chr_gcd 0.00 0.01 0.07 14.0M elpi
-RUNNING chr_leq (chr transitive closure) elpi
OK chr_leq 0.00 0.01 0.07 14.2M elpi
-RUNNING chr_nokey (constraints keyed on _) elpi
OK chr_nokey 0.00 0.01 0.06 14.0M elpi
-RUNNING chr_nokey2 (constraints keyed on _) elpi
OK chr_nokey2 0.00 0.01 0.06 13.9M elpi
-RUNNING chr_sem (refined operational semantics) elpi
OK chr_sem 0.00 0.01 0.07 14.0M elpi
-RUNNING chr_ut (type checker with UT via CHR) elpi
OK chr_ut 0.00 0.01 0.06 14.0M elpi
-RUNNING chr_with_hypotheses (chr_with_hypotheses) elpi
OK chr_with_hypotheses 0.00 0.01 0.07 14.0M elpi
-RUNNING conj2 (parsing and evaluation of & (binary conj)) elpi
OK conj2 0.00 0.01 0.06 14.0M elpi
-RUNNING crypt (standard Prolog benchmark) elpi
OK crypt 6.22 0.01 6.30 49.7M elpi
-RUNNING cut1 (what else) elpi
OK cut1 0.00 0.01 0.07 14.0M elpi
-RUNNING cut2 (what else) elpi
OK cut2 0.00 0.01 0.06 14.0M elpi
-RUNNING cut3 (what else) elpi
OK cut3 0.00 0.01 0.07 14.0M elpi
-RUNNING cut4 (what else) elpi
OK cut4 0.00 0.01 0.07 14.0M elpi
-RUNNING cut5 (what else) elpi
OK cut5 0.00 0.01 0.06 14.0M elpi
-RUNNING cut6 (what else) elpi
OK cut6 0.00 0.01 0.07 14.0M elpi
-RUNNING deep_index (indexing deeper rules out) elpi
OK deep_index 0.00 0.01 0.06 14.0M elpi
-RUNNING discard (_) elpi
OK discard 0.00 0.01 0.06 14.0M elpi
-RUNNING dt (discrimination_tree indexing) elpi
OK dt 2.34 0.01 2.41 14.0M elpi
-RUNNING dt_bench (discrimination_tree on trees) elpi
OK dt_bench 2.90 0.01 2.96 16.4M elpi
-RUNNING dt_bug_272 (dt list truncation heuristic) elpi
OK dt_bug_272 0.04 0.01 0.11 14.0M elpi
-RUNNING dt_max_depths (discrimination_tree max_depth) elpi
OK dt_max_depths 0.00 0.01 0.07 14.0M elpi
-RUNNING dt_multiparam1 (discrimination_tree indexing multi argument) elpi
OK dt_multiparam1 0.73 0.01 0.80 19.0M elpi
-RUNNING dt_multiparam2 (discrimination_tree indexing multi with flexible) elpi
OK dt_multiparam2 0.73 0.01 0.80 19.0M elpi
-RUNNING dt_multiparam3 (discrimination_tree indexing multi with flexible in input mode) elpi
OK dt_multiparam3 0.00 0.01 0.00 0.0M elpi
-RUNNING dt_multivar (discrimination_tree indexing multi with flexible in input mode) elpi
OK dt_multivar 0.01 0.01 0.08 14.0M elpi
-RUNNING dt_off ((without) discrimination_tree indexing) elpi
OK dt_off 15.30 0.01 15.36 14.2M elpi
-RUNNING dt_order (discrimination_tree grafting) elpi
OK dt_order 0.00 0.01 0.06 14.0M elpi
-RUNNING dt_var (discrimination_tree indexing flex) elpi
OK dt_var 0.00 0.01 0.06 14.0M elpi
-RUNNING dt_var2 (discrimination_tree indexing flex) elpi
OK dt_var2 0.00 0.01 0.06 13.9M elpi
+RUNNING bug-256 (move/unif) elpi
OK bug-256 0.00 0.02 0.20 14.0M elpi
+RUNNING bug19 (unif under binders) elpi
OK bug19 0.00 0.03 0.14 14.0M elpi
+RUNNING bug_226 (move/unif bug) elpi
OK bug_226 0.00 0.01 0.16 13.9M elpi
+RUNNING cbn (reduction) elpi
OK cbn 2.10 0.01 2.25 20.1M elpi
+RUNNING cbv (reduction) elpi
OK cbv 6.70 0.01 6.86 17.4M elpi
+RUNNING chr (constraints handling rules) elpi
OK chr 0.01 0.02 0.19 14.0M elpi
+RUNNING chr-scope (chr-relocation) elpi
OK chr-scope 0.00 0.02 0.17 14.0M elpi
+RUNNING chr-scope-change (chr-relocation) elpi
OK chr-scope-change 0.00 0.01 0.20 14.0M elpi
+RUNNING chr-scope-change-err (chr-relocation) elpi
OK chr-scope-change-err 0.00 0.02 0.00 0.0M elpi
+RUNNING chr_even_odd (CHR example at MLWS) elpi
OK chr_even_odd 0.01 0.01 0.18 14.0M elpi
+RUNNING chr_gcd (greatest common divisor in CHR) elpi
OK chr_gcd 0.00 0.02 0.20 14.0M elpi
+RUNNING chr_leq (chr transitive closure) elpi
OK chr_leq 0.02 0.02 0.18 14.0M elpi
+RUNNING chr_nokey (constraints keyed on _) elpi
OK chr_nokey 0.00 0.01 0.16 13.9M elpi
+RUNNING chr_nokey2 (constraints keyed on _) elpi
OK chr_nokey2 0.00 0.03 0.19 13.9M elpi
+RUNNING chr_sem (refined operational semantics) elpi
OK chr_sem 0.00 0.02 0.14 14.0M elpi
+RUNNING chr_ut (type checker with UT via CHR) elpi
OK chr_ut 0.00 0.02 0.20 14.2M elpi
+RUNNING chr_with_hypotheses (chr_with_hypotheses) elpi
OK chr_with_hypotheses 0.00 0.01 0.12 14.2M elpi
+RUNNING conj2 (parsing and evaluation of & (binary conj)) elpi
OK conj2 0.00 0.00 0.11 13.9M elpi
+RUNNING crypt (standard Prolog benchmark) elpi
OK crypt 27.25 0.00 27.40 49.7M elpi
+RUNNING cut1 (what else) elpi
OK cut1 0.00 0.01 0.20 14.2M elpi
+RUNNING cut2 (what else) elpi
OK cut2 0.00 0.02 0.17 14.0M elpi
+RUNNING cut3 (what else) elpi
OK cut3 0.00 0.01 0.19 14.0M elpi
+RUNNING cut4 (what else) elpi
OK cut4 0.00 0.01 0.14 13.9M elpi
+RUNNING cut5 (what else) elpi
OK cut5 0.00 0.02 0.14 14.0M elpi
+RUNNING cut6 (what else) elpi
OK cut6 0.00 0.02 0.18 14.0M elpi
+RUNNING deep_index (indexing deeper rules out) elpi
OK deep_index 0.00 0.01 0.20 13.9M elpi
+RUNNING discard (_) elpi
OK discard 0.00 0.00 0.16 13.9M elpi
+RUNNING dt (discrimination_tree indexing) elpi
OK dt 9.30 0.02 9.50 14.0M elpi
+RUNNING dt_bench (discrimination_tree on trees) elpi
OK dt_bench 13.47 0.01 13.63 16.4M elpi
+RUNNING dt_bug_272 (dt list truncation heuristic) elpi
OK dt_bug_272 0.11 0.03 0.27 14.0M elpi
+RUNNING dt_max_depths (discrimination_tree max_depth) elpi
OK dt_max_depths 0.00 0.02 0.20 14.0M elpi
+RUNNING dt_multiparam1 (discrimination_tree indexing multi argument) elpi
OK dt_multiparam1 3.49 0.02 3.68 19.0M elpi
+RUNNING dt_multiparam2 (discrimination_tree indexing multi with flexible) elpi
OK dt_multiparam2 3.58 0.02 3.79 19.0M elpi
+RUNNING dt_multiparam3 (discrimination_tree indexing multi with flexible in input mode) elpi
OK dt_multiparam3 0.00 0.02 0.00 0.0M elpi
+RUNNING dt_multivar (discrimination_tree indexing multi with flexible in input mode) elpi
OK dt_multivar 0.02 0.02 0.14 14.0M elpi
+RUNNING dt_off ((without) discrimination_tree indexing) elpi
OK dt_off 84.75 0.01 84.89 14.1M elpi
+RUNNING dt_order (discrimination_tree grafting) elpi
OK dt_order 0.00 0.01 0.17 13.9M elpi
+RUNNING dt_var (discrimination_tree indexing flex) elpi
OK dt_var 0.00 0.02 0.19 14.0M elpi
+RUNNING dt_var2 (discrimination_tree indexing flex) elpi
OK dt_var2 0.00 0.02 0.18 14.2M elpi
RUNNING elpi_only_llam (full HO unif gives error) elpi
OK elpi_only_llam 0.00 0.01 0.00 0.0M elpi
-RUNNING eta (test eta for rigid terms) elpi
OK eta 0.00 0.01 0.07 14.0M elpi
-RUNNING eta_as (eta expansion of as clause) elpi
OK eta_as 0.00 0.01 0.07 14.0M elpi
-RUNNING eta_oc (eta expansion and occur check) elpi
OK eta_oc 0.00 0.01 0.06 14.1M elpi
-RUNNING fast_mu (standard Prolog benchmark) elpi
OK fast_mu 2.47 0.01 2.54 17.1M elpi
-RUNNING findall (stash across backtrack) elpi
OK findall 0.00 0.01 0.05 14.0M elpi
-RUNNING graft_before (grafting a clause before the clause of another predicate) elpi
OK graft_before 0.00 0.01 0.06 14.0M elpi
-RUNNING graft_before_same (grafting a clause before the clause of the same predicate) elpi
OK graft_before_same 0.00 0.01 0.06 14.0M elpi
-RUNNING graft_remove (remove a clase) elpi
OK graft_remove 0.00 0.01 0.06 14.0M elpi
+RUNNING eta (test eta for rigid terms) elpi
OK eta 0.00 0.02 0.19 14.0M elpi
+RUNNING eta_as (eta expansion of as clause) elpi
OK eta_as 0.00 0.02 0.15 14.0M elpi
+RUNNING eta_oc (eta expansion and occur check) elpi
OK eta_oc 0.02 0.01 0.18 14.0M elpi
+RUNNING fast_mu (standard Prolog benchmark) elpi
OK fast_mu 13.90 0.01 14.07 17.0M elpi
+RUNNING findall (stash across backtrack) elpi
OK findall 0.00 0.01 0.18 14.1M elpi
+RUNNING graft_before (grafting a clause before the clause of another predicate) elpi
OK graft_before 0.00 0.02 0.23 14.0M elpi
+RUNNING graft_before_same (grafting a clause before the clause of the same predicate) elpi
OK graft_before_same 0.00 0.03 0.19 14.0M elpi
+RUNNING graft_remove (remove a clase) elpi
OK graft_remove 0.00 0.02 0.17 14.0M elpi
RUNNING graft_replace_err (replacing a clase) elpi
OK graft_replace_err 0.00 0.00 0.00 0.0M elpi
-RUNNING graft_replace_ok (replacing a clase) elpi
OK graft_replace_ok 0.00 0.01 0.07 14.0M elpi
-RUNNING grundlagen (type checker for λδ) elpi
OK grundlagen 43.36 3.00 50.64 2852.2M elpi
-RUNNING hc_interp (Horn Clauses interpreter) elpi
OK hc_interp 0.00 0.00 0.03 14.0M elpi
-RUNNING hdclause (hdclause unification) elpi
OK hdclause 0.00 0.01 0.07 14.0M elpi
-RUNNING heap_discard (heapification of _) elpi
OK heap_discard 0.00 0.01 0.07 14.0M elpi
-RUNNING hilbert (hilbert) elpi
OK hilbert 0.00 0.01 0.07 14.0M elpi
-RUNNING hilbert2 (hilbert2) elpi
OK hilbert2 0.00 0.01 0.06 14.0M elpi
-RUNNING ho (HO predicates) elpi
OK ho 0.00 0.01 0.05 14.0M elpi
+RUNNING graft_replace_ok (replacing a clase) elpi
OK graft_replace_ok 0.00 0.02 0.18 13.9M elpi
+RUNNING grundlagen (type checker for λδ) elpi
TIMEOUT grundlagen (type checker for λδ) elpi
+RUNNING hc_interp (Horn Clauses interpreter) elpi
OK hc_interp 0.00 0.02 0.17 14.0M elpi
+RUNNING hdclause (hdclause unification) elpi
OK hdclause 0.00 0.02 0.15 14.0M elpi
+RUNNING heap_discard (heapification of _) elpi
OK heap_discard 0.00 0.00 0.15 13.9M elpi
+RUNNING hilbert (hilbert) elpi
OK hilbert 0.00 0.02 0.18 14.0M elpi
+RUNNING hilbert2 (hilbert2) elpi
OK hilbert2 0.00 0.01 0.16 14.0M elpi
+RUNNING ho (HO predicates) elpi
OK ho 0.00 0.02 0.19 13.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.01 0.08 14.1M elpi
-RUNNING hyp_uvar (uvar at the left of implication) elpi
OK hyp_uvar 0.00 0.01 0.07 14.0M elpi
-RUNNING ifdef (lexer ifdef) elpi
OK ifdef 0.00 0.01 0.07 14.0M elpi
-RUNNING impl (implication) elpi
OK impl 0.00 0.01 0.06 13.9M elpi
-RUNNING impl2 (implication) elpi
OK impl2 0.00 0.01 0.06 13.9M elpi
-RUNNING impl_order (implication and pair/list) elpi
OK impl_order 0.00 0.01 0.07 14.0M elpi
-RUNNING impl_prec (warning about A => B, C) elpi
OK impl_prec 0.00 0.01 0.07 14.0M elpi
-RUNNING impl_prec_silent (warning about A => B, C) elpi
OK impl_prec_silent 0.00 0.01 0.07 14.0M elpi
-RUNNING index2 (indexing the second argument) elpi
OK index2 2.57 0.01 2.64 14.0M elpi
-RUNNING is (calc) elpi
OK is 0.00 0.00 0.03 13.9M elpi
-RUNNING lambda3 (moving under lambdas) elpi
OK lambda3 0.48 0.00 0.51 16.5M elpi
-RUNNING lambda4 (simple type checker) elpi
OK lambda4 0.00 0.01 0.07 14.0M elpi
+RUNNING holp (HOL programming) elpi
OK holp 0.00 0.02 0.21 14.1M elpi
+RUNNING hyp_uvar (uvar at the left of implication) elpi
OK hyp_uvar 0.00 0.01 0.16 13.9M elpi
+RUNNING ifdef (lexer ifdef) elpi
OK ifdef 0.00 0.01 0.18 14.0M elpi
+RUNNING impl (implication) elpi
OK impl 0.00 0.02 0.20 13.9M elpi
+RUNNING impl2 (implication) elpi
OK impl2 0.00 0.01 0.16 13.9M elpi
+RUNNING impl_order (implication and pair/list) elpi
OK impl_order 0.00 0.01 0.19 14.0M elpi
+RUNNING impl_prec (warning about A => B, C) elpi
OK impl_prec 0.00 0.01 0.17 13.9M elpi
+RUNNING impl_prec_silent (warning about A => B, C) elpi
OK impl_prec_silent 0.00 0.02 0.19 13.9M elpi
+RUNNING index2 (indexing the second argument) elpi
OK index2 13.88 0.02 14.05 14.0M elpi
+RUNNING is (calc) elpi
OK is 0.00 0.00 0.14 13.9M elpi
+RUNNING lambda3 (moving under lambdas) elpi
OK lambda3 2.66 0.02 2.85 16.5M elpi
+RUNNING lambda4 (simple type checker) elpi
OK lambda4 0.00 0.01 0.17 13.9M elpi
RUNNING lambda5 (simple type checker) elpi
OK lambda5 0.00 0.00 0.00 0.0M elpi
RUNNING lambda6 (simple type checker) elpi
OK lambda6 0.00 0.00 0.00 0.0M elpi
-RUNNING lambda_arrow1 (simple type checker) elpi
OK lambda_arrow1 0.00 0.01 0.07 14.0M elpi
-RUNNING lambda_arrow2 (simple type checker) elpi
OK lambda_arrow2 0.00 0.01 0.07 14.0M elpi
-RUNNING lambdadelta (lambda delta tests) elpi
OK lambdadelta 0.01 0.01 0.09 14.2M elpi
-RUNNING linear (linear variable check) elpi
OK linear 0.00 0.01 0.07 14.0M elpi
-RUNNING list_as_conj (list is an nary conjunction) elpi
OK list_as_conj 0.00 0.01 0.07 14.0M elpi
-RUNNING list_comma (lists with spurious , in there) elpi
OK list_comma 0.00 0.01 0.07 14.0M elpi
-RUNNING llam (Miller pattern unification) elpi
OK llam 0.00 0.00 0.04 14.0M elpi
-RUNNING llamb0_exit1 (Outside the llamb0 fragment) elpi
OK llamb0_exit1 0.00 0.01 0.07 14.0M elpi
-RUNNING llamb0_exit2 (Outside the llamb0 fragment) elpi
OK llamb0_exit2 0.00 0.01 0.07 14.0M elpi
-RUNNING llamb0_exit3 (Outside the llamb0 fragment) elpi
OK llamb0_exit3 0.00 0.01 0.06 14.0M elpi
-RUNNING llamb0_exit4 (Outside the llamb0 fragment) elpi
OK llamb0_exit4 0.00 0.01 0.07 14.0M elpi
-RUNNING llamb0_exit5 (Outside the llamb0 fragment) elpi
OK llamb0_exit5 0.00 0.01 0.06 14.0M elpi
-RUNNING llamb0_exit6 (Outside the llamb0 fragment) elpi
OK llamb0_exit6 0.00 0.01 0.07 14.0M elpi
-RUNNING lyp (type checker for λΥP) elpi
OK lyp 10.14 1.11 17.59 720.9M elpi
-RUNNING map_builtin_list (stdlib map reference) elpi
OK map_builtin_list 16.88 0.01 16.94 17.7M elpi
-RUNNING map_defined_list (stdlib map reference) elpi
OK map_defined_list 19.38 0.00 19.41 18.4M elpi
-RUNNING map_ho (stdlib map HO) elpi
OK map_ho 0.00 0.01 0.07 14.0M elpi
-RUNNING map_rbtree (stdlib map) elpi
OK map_rbtree 3.80 0.01 3.87 17.6M elpi
+RUNNING lambda_arrow1 (simple type checker) elpi
OK lambda_arrow1 0.00 0.02 0.20 13.9M elpi
+RUNNING lambda_arrow2 (simple type checker) elpi
OK lambda_arrow2 0.00 0.02 0.21 14.1M elpi
+RUNNING lambdadelta (lambda delta tests) elpi
OK lambdadelta 0.00 0.03 0.26 14.2M elpi
+RUNNING linear (linear variable check) elpi
OK linear 0.00 0.01 0.19 13.9M elpi
+RUNNING list_as_conj (list is an nary conjunction) elpi
OK list_as_conj 0.00 0.02 0.16 13.9M elpi
+RUNNING list_comma (lists with spurious , in there) elpi
OK list_comma 0.00 0.01 0.11 13.9M elpi
+RUNNING llam (Miller pattern unification) elpi
OK llam 0.02 0.00 0.23 14.0M elpi
+RUNNING llamb0_exit1 (Outside the llamb0 fragment) elpi
OK llamb0_exit1 0.00 0.01 0.15 13.9M elpi
+RUNNING llamb0_exit2 (Outside the llamb0 fragment) elpi
OK llamb0_exit2 0.00 0.01 0.14 13.9M elpi
+RUNNING llamb0_exit3 (Outside the llamb0 fragment) elpi
OK llamb0_exit3 0.00 0.00 0.13 13.9M elpi
+RUNNING llamb0_exit4 (Outside the llamb0 fragment) elpi
OK llamb0_exit4 0.00 0.01 0.13 13.9M elpi
+RUNNING llamb0_exit5 (Outside the llamb0 fragment) elpi
OK llamb0_exit5 0.00 0.04 0.21 13.9M elpi
+RUNNING llamb0_exit6 (Outside the llamb0 fragment) elpi
OK llamb0_exit6 0.00 0.00 0.05 13.9M elpi
+RUNNING lyp (type checker for λΥP) elpi
OK lyp 45.69 5.33 81.97 721.0M elpi
+RUNNING map_builtin_list (stdlib map reference) elpi
OK map_builtin_list 86.29 0.04 86.51 17.6M elpi
+RUNNING map_defined_list (stdlib map reference) elpi
TIMEOUT map_defined_list (stdlib map reference) elpi
+RUNNING map_ho (stdlib map HO) elpi
OK map_ho 0.00 0.01 0.15 14.0M elpi
+RUNNING map_rbtree (stdlib map) elpi
OK map_rbtree 25.03 0.01 25.22 17.5M elpi
RUNNING mk_uv_meta (uvar surgery at the meta level) elpi
OK mk_uv_meta 0.00 0.00 0.03 14.0M elpi
-RUNNING mode_checking_fo (mode_checking_fo) elpi
OK mode_checking_fo 0.00 0.01 0.07 14.0M elpi
-RUNNING mode_checking_ho (mode_checking_ho) elpi
OK mode_checking_ho 0.00 0.01 0.07 14.0M elpi
-RUNNING mu (standard Prolog benchmark) elpi
OK mu 3.30 0.01 3.37 17.2M elpi
-RUNNING name (name builtin) elpi
OK name 0.00 0.01 0.07 14.0M elpi
+RUNNING mode_checking_fo (mode_checking_fo) elpi
OK mode_checking_fo 0.00 0.01 0.10 13.9M elpi
+RUNNING mode_checking_ho (mode_checking_ho) elpi
OK mode_checking_ho 0.00 0.01 0.09 14.0M elpi
+RUNNING mu (standard Prolog benchmark) elpi
OK mu 16.72 0.01 16.82 17.2M elpi
+RUNNING name (name builtin) elpi
OK name 0.00 0.02 0.17 14.0M 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.01 0.07 14.0M elpi
-RUNNING namespace00 (namespacing of predicates and constants) elpi
OK namespace00 0.00 0.01 0.07 14.0M elpi
-RUNNING namespace01 (namespacing of predicates and constants) elpi
OK namespace01 0.00 0.01 0.07 13.9M elpi
-RUNNING namespace02 (namespacing of predicates and constants) elpi
OK namespace02 0.00 0.01 0.07 14.0M elpi
-RUNNING namespace03 (namespacing of predicates and constants) elpi
OK namespace03 0.00 0.01 0.07 14.0M elpi
-RUNNING nil_cons (nil = []) elpi
OK nil_cons 0.00 0.01 0.06 14.2M elpi
-RUNNING notation (extensible syntax) elpi
OK notation 0.00 0.01 0.07 14.0M elpi
+RUNNING named_clauses02 (clause grafting using names) elpi
OK named_clauses02 0.00 0.01 0.16 13.9M elpi
+RUNNING namespace00 (namespacing of predicates and constants) elpi
OK namespace00 0.00 0.01 0.17 14.0M elpi
+RUNNING namespace01 (namespacing of predicates and constants) elpi
OK namespace01 0.00 0.01 0.16 13.9M elpi
+RUNNING namespace02 (namespacing of predicates and constants) elpi
OK namespace02 0.00 0.01 0.19 14.0M elpi
+RUNNING namespace03 (namespacing of predicates and constants) elpi
OK namespace03 0.00 0.01 0.16 14.0M elpi
+RUNNING nil_cons (nil = []) elpi
OK nil_cons 0.00 0.02 0.17 13.9M elpi
+RUNNING notation (extensible syntax) elpi
OK notation 0.00 0.02 0.18 14.0M elpi
RUNNING notation_error (infix declaration error) elpi
OK notation_error 0.00 0.00 0.00 0.0M elpi
RUNNING oc_eta (eta expansion and occur check) elpi
OK oc_eta 0.00 0.01 0.00 0.0M elpi
-RUNNING patternunif (Miller pattern unification) elpi
OK patternunif 0.00 0.01 0.06 14.1M elpi
-RUNNING patternunif2 (Miller pattern unification) elpi
OK patternunif2 0.00 0.01 0.06 14.1M elpi
-RUNNING pcf (type inference for PCF) elpi
OK pcf 0.00 0.01 0.10 14.3M elpi
-RUNNING pi (pi quantification) elpi
OK pi 0.00 0.01 0.06 14.0M elpi
-RUNNING pi3 (pi quantification) elpi
OK pi3 0.00 0.01 0.06 13.9M elpi
-RUNNING pi5 (pi quantification) elpi
OK pi5 0.00 0.01 0.06 14.0M elpi
-RUNNING pnf (some HO programming) elpi
OK pnf 0.00 0.01 0.07 14.0M elpi
-RUNNING polymorphic_variants (typechecker for polymorphic variants) elpi
OK polymorphic_variants 0.00 0.01 0.07 14.0M elpi
-RUNNING printer (printing infix) elpi
OK printer 0.00 0.01 0.06 14.0M elpi
-RUNNING progs (progs) elpi
OK progs 0.00 0.01 0.09 14.3M elpi
-RUNNING queens (standard Prolog benchmark) elpi
OK queens 2.74 0.01 2.82 131.2M elpi
-RUNNING random (random numbers) elpi
OK random 0.00 0.01 0.06 14.1M elpi
-RUNNING restriction (HO unification scope checking) elpi
OK restriction 0.00 0.01 0.00 0.0M elpi
-RUNNING restriction3 (HO unification scope checking) elpi
OK restriction3 0.00 0.01 0.07 14.0M elpi
-RUNNING restriction4 (HO unification scope checking) elpi
OK restriction4 0.00 0.01 0.06 14.0M elpi
-RUNNING restriction5 (HO unification scope checking) elpi
OK restriction5 0.00 0.01 0.07 13.9M elpi
-RUNNING restriction6 (HO unification scope checking) elpi
OK restriction6 0.00 0.01 0.06 14.0M elpi
-RUNNING rev (list reversal) elpi
OK rev 0.25 0.01 0.32 49.8M elpi
-RUNNING rev14 (list reversal) elpi
OK rev14 0.27 0.01 0.34 51.5M elpi
-RUNNING same_term (the == operator) elpi
OK same_term 0.00 0.01 0.06 14.1M elpi
-RUNNING self_assignment (Miller pattern unification) elpi
OK self_assignment 0.00 0.01 0.07 14.0M elpi
-RUNNING set (stdlib set) elpi
OK set 3.10 0.01 3.16 17.4M elpi
-RUNNING set_ho (stdlib set HO) elpi
OK set_ho 0.79 0.01 0.86 60.7M elpi
-RUNNING shorten (shortening names of a namespace) elpi
OK shorten 0.00 0.00 0.03 14.0M elpi
-RUNNING shorten-EOF (shortening names ends with the file) elpi
OK shorten-EOF 0.00 0.01 0.07 14.0M elpi
-RUNNING shorten_builtin (shortening a builtin) elpi
OK shorten_builtin 0.00 0.01 0.07 14.0M elpi
-RUNNING shorten_trie (shortening a trie of names) elpi
OK shorten_trie 0.00 0.01 0.07 14.0M elpi
-RUNNING spill_collision (spilling under 2 pi named the same) elpi
OK spill_collision 0.00 0.01 0.06 13.9M elpi
-RUNNING spill_pi (spilling under pi) elpi
OK spill_pi 0.00 0.01 0.07 14.0M elpi
-RUNNING spilling_and (spilling anonymous compound goal) elpi
OK spilling_and 0.00 0.01 0.06 14.0M elpi
-RUNNING spilling_impl (spilling implication) elpi
OK spilling_impl 0.00 0.01 0.07 14.0M elpi
-RUNNING spilling_in_list (spilling prem order) elpi
OK spilling_in_list 0.00 0.01 0.06 14.0M elpi
-RUNNING spilling_lam (spilling inside anonymous clause) elpi
OK spilling_lam 0.00 0.01 0.07 14.0M elpi
-RUNNING spilling_or (spilling prem order) elpi
OK spilling_or 0.00 0.01 0.07 13.9M elpi
-RUNNING trace-browser (trace generation) elpi
OK trace-browser 0.00 0.01 0.07 14.0M elpi
-RUNNING trace-browser-chr (trace generation) elpi
OK trace-browser-chr 0.01 0.01 0.07 14.3M elpi
-RUNNING trace-browser-cut (trace generation) elpi
OK trace-browser-cut 0.00 0.01 0.07 14.0M elpi
-RUNNING trace-browser-elab (trace elaboration) elpi-trace-elaborator
OK trace-browser-elab 0.00 0.00 0.01 6.9M 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.21 32.9M elpi-trace-elaborator
+RUNNING patternunif (Miller pattern unification) elpi
OK patternunif 0.00 0.01 0.16 13.9M elpi
+RUNNING patternunif2 (Miller pattern unification) elpi
OK patternunif2 0.00 0.02 0.13 14.1M elpi
+RUNNING pcf (type inference for PCF) elpi
OK pcf 0.00 0.03 0.22 14.3M elpi
+RUNNING pi (pi quantification) elpi
OK pi 0.00 0.01 0.17 13.9M elpi
+RUNNING pi3 (pi quantification) elpi
OK pi3 0.00 0.02 0.13 13.9M elpi
+RUNNING pi5 (pi quantification) elpi
OK pi5 0.00 0.02 0.17 14.0M elpi
+RUNNING pnf (some HO programming) elpi
OK pnf 0.00 0.01 0.16 14.0M elpi
+RUNNING polymorphic_variants (typechecker for polymorphic variants) elpi
OK polymorphic_variants 0.00 0.02 0.17 14.0M elpi
+RUNNING printer (printing infix) elpi
OK printer 0.00 0.01 0.17 13.9M elpi
+RUNNING progs (progs) elpi
OK progs 0.00 0.01 0.16 14.2M elpi
+RUNNING queens (standard Prolog benchmark) elpi
OK queens 14.38 0.01 14.65 131.0M elpi
+RUNNING random (random numbers) elpi
OK random 0.00 0.03 0.23 14.2M elpi
+RUNNING restriction (HO unification scope checking) elpi
OK restriction 0.00 0.02 0.00 0.0M elpi
+RUNNING restriction3 (HO unification scope checking) elpi
OK restriction3 0.02 0.03 0.25 14.0M elpi
+RUNNING restriction4 (HO unification scope checking) elpi
OK restriction4 0.00 0.00 0.16 13.9M elpi
+RUNNING restriction5 (HO unification scope checking) elpi
OK restriction5 0.00 0.02 0.21 13.9M elpi
+RUNNING restriction6 (HO unification scope checking) elpi
OK restriction6 0.00 0.02 0.19 13.9M elpi
+RUNNING rev (list reversal) elpi
OK rev 1.29 0.02 1.48 50.5M elpi
+RUNNING rev14 (list reversal) elpi
OK rev14 0.96 0.02 1.16 51.5M elpi
+RUNNING same_term (the == operator) elpi
OK same_term 0.00 0.02 0.19 13.9M elpi
+RUNNING self_assignment (Miller pattern unification) elpi
OK self_assignment 0.00 0.02 0.21 13.9M elpi
+RUNNING set (stdlib set) elpi
OK set 25.41 0.02 25.61 17.3M elpi
+RUNNING set_ho (stdlib set HO) elpi
OK set_ho 4.20 0.03 4.37 61.0M elpi
+RUNNING shorten (shortening names of a namespace) elpi
OK shorten 0.00 0.00 0.21 14.0M elpi
+RUNNING shorten-EOF (shortening names ends with the file) elpi
OK shorten-EOF 0.00 0.00 0.25 14.0M elpi
+RUNNING shorten_builtin (shortening a builtin) elpi
OK shorten_builtin 0.00 0.02 0.16 13.9M elpi
+RUNNING shorten_trie (shortening a trie of names) elpi
OK shorten_trie 0.00 0.02 0.19 14.2M elpi
+RUNNING spill_collision (spilling under 2 pi named the same) elpi
OK spill_collision 0.00 0.02 0.23 13.9M elpi
+RUNNING spill_pi (spilling under pi) elpi
OK spill_pi 0.02 0.02 0.20 14.2M elpi
+RUNNING spilling_and (spilling anonymous compound goal) elpi
OK spilling_and 0.00 0.02 0.24 14.0M elpi
+RUNNING spilling_impl (spilling implication) elpi
OK spilling_impl 0.00 0.02 0.21 14.0M elpi
+RUNNING spilling_in_list (spilling prem order) elpi
OK spilling_in_list 0.00 0.00 0.18 13.9M elpi
+RUNNING spilling_lam (spilling inside anonymous clause) elpi
OK spilling_lam 0.00 0.03 0.23 13.9M elpi
+RUNNING spilling_or (spilling prem order) elpi
OK spilling_or 0.00 0.02 0.19 13.9M elpi
+RUNNING trace-browser (trace generation) elpi
OK trace-browser 0.00 0.01 0.20 14.1M elpi
+RUNNING trace-browser-chr (trace generation) elpi
OK trace-browser-chr 0.03 0.02 0.22 14.0M elpi
+RUNNING trace-browser-cut (trace generation) elpi
OK trace-browser-cut 0.00 0.02 0.21 13.9M elpi
+RUNNING trace-browser-elab (trace elaboration) elpi-trace-elaborator
OK trace-browser-elab 0.00 0.00 0.04 7.0M 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.98 33.7M 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.9M 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.9M 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.01 0.07 13.9M elpi
-RUNNING trace-browser-w (trace generation) elpi
OK trace-browser-w 0.03 0.01 0.10 14.0M elpi
-RUNNING trace-browser-w-elab (trace elaboration) elpi-trace-elaborator
OK trace-browser-w-elab 0.00 0.00 0.04 7.5M elpi-trace-elaborator
-RUNNING trace-browser2 (trace generation) elpi
OK trace-browser2 0.00 0.01 0.07 14.0M 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 trace-browser3 (trace generation) elpi
OK trace-browser3 0.00 0.01 0.07 14.0M elpi
-RUNNING trace-browser3-elab (trace elaboration) elpi-trace-elaborator
OK trace-browser3-elab 0.00 0.00 0.00 6.1M elpi-trace-elaborator
-RUNNING trace-browser4 (trace generation) elpi
OK trace-browser4 0.00 0.01 0.07 14.0M elpi
-RUNNING trace-browser4-elab (trace elaboration) elpi-trace-elaborator
OK trace-browser4-elab 0.00 0.00 0.00 7.0M elpi-trace-elaborator
-RUNNING trailing_comment (trailing comment) elpi
OK trailing_comment 0.00 0.01 0.07 13.9M elpi
-RUNNING trie (discrimination_tree on trees) elpi
OK trie 0.00 0.01 0.07 14.2M elpi
-RUNNING typeabbrv1 (type abbreviations) elpi
OK typeabbrv1 0.00 0.01 0.07 14.0M elpi
+RUNNING trace-browser-elab-chr (trace elaboration) elpi-trace-elaborator
OK trace-browser-elab-chr 0.00 0.00 0.03 6.9M elpi-trace-elaborator
+RUNNING trace-browser-elab-cut (trace elaboration) elpi-trace-elaborator
OK trace-browser-elab-cut 0.00 0.00 0.03 6.9M elpi-trace-elaborator
+RUNNING trace-browser-elab-findall (trace elaboration) elpi-trace-elaborator
OK trace-browser-elab-findall 0.00 0.00 0.02 5.8M elpi-trace-elaborator
+RUNNING trace-browser-findall (trace generation) elpi
OK trace-browser-findall 0.00 0.02 0.19 13.9M elpi
+RUNNING trace-browser-w (trace generation) elpi
OK trace-browser-w 0.05 0.00 0.27 14.0M elpi
+RUNNING trace-browser-w-elab (trace elaboration) elpi-trace-elaborator
OK trace-browser-w-elab 0.00 0.00 0.07 7.5M elpi-trace-elaborator
+RUNNING trace-browser2 (trace generation) elpi
OK trace-browser2 0.00 0.01 0.15 13.9M elpi
+RUNNING trace-browser2-elab (trace elaboration) elpi-trace-elaborator
OK trace-browser2-elab 0.00 0.00 0.02 6.6M elpi-trace-elaborator
+RUNNING trace-browser3 (trace generation) elpi
OK trace-browser3 0.00 0.01 0.18 13.9M elpi
+RUNNING trace-browser3-elab (trace elaboration) elpi-trace-elaborator
OK trace-browser3-elab 0.00 0.00 0.01 6.1M elpi-trace-elaborator
+RUNNING trace-browser4 (trace generation) elpi
OK trace-browser4 0.00 0.01 0.14 13.9M elpi
+RUNNING trace-browser4-elab (trace elaboration) elpi-trace-elaborator
OK trace-browser4-elab 0.00 0.00 0.03 6.8M elpi-trace-elaborator
+RUNNING trailing_comment (trailing comment) elpi
OK trailing_comment 0.00 0.01 0.15 13.9M elpi
+RUNNING trie (discrimination_tree on trees) elpi
OK trie 0.00 0.00 0.15 14.0M elpi
+RUNNING typeabbrv1 (type abbreviations) elpi
OK typeabbrv1 0.00 0.02 0.21 13.9M elpi
RUNNING typeabbrv10 (type abbreviations and error messages) elpi
OK typeabbrv10 0.00 0.00 0.00 0.0M elpi
RUNNING typeabbrv11 (type abbreviations and error messages) elpi
OK typeabbrv11 0.00 0.00 0.00 0.0M elpi
RUNNING typeabbrv12 (type abbreviations and error messages) elpi
OK typeabbrv12 0.00 0.00 0.00 0.0M elpi
-RUNNING typeabbrv13 (type abbreviations) elpi
OK typeabbrv13 0.00 0.01 0.07 14.0M elpi
+RUNNING typeabbrv13 (type abbreviations) elpi
OK typeabbrv13 0.00 0.01 0.18 13.9M 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.01 0.06 14.0M elpi
-RUNNING typeabbrv4 (type abbreviations) elpi
OK typeabbrv4 0.00 0.01 0.07 14.0M elpi
+RUNNING typeabbrv3 (type abbreviations) elpi
OK typeabbrv3 0.00 0.00 0.14 13.9M elpi
+RUNNING typeabbrv4 (type abbreviations) elpi
OK typeabbrv4 0.00 0.01 0.11 13.9M 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.01 0.07 14.0M elpi
-RUNNING typeabbrv8 (type abbreviations) elpi
OK typeabbrv8 0.00 0.01 0.07 13.9M elpi
-RUNNING typeabbrv9 (type abbreviations) elpi
OK typeabbrv9 0.00 0.01 0.07 14.0M elpi
-RUNNING uminus (parsing and evaluation of unary minus) elpi
OK uminus 0.00 0.01 0.07 14.0M elpi
-RUNNING unix (unix APIs) elpi
OK unix 0.01 0.01 0.08 14.0M elpi
-RUNNING uvar_keyword (uvar kwd status at the meta level) elpi
OK uvar_keyword 0.00 0.01 0.07 14.0M elpi
-RUNNING var (var API) elpi
OK var 0.00 0.01 0.07 14.0M elpi
-RUNNING variadic_declare_constraints (declare_constraint takes keys of different types) elpi
OK variadic_declare_constraints 0.00 0.01 0.06 14.2M elpi
-RUNNING w (ELPI example at MLWS) elpi
OK w 0.00 0.01 0.07 14.0M elpi
+RUNNING typeabbrv7 (type abbreviations) elpi
OK typeabbrv7 0.00 0.01 0.12 13.9M elpi
+RUNNING typeabbrv8 (type abbreviations) elpi
OK typeabbrv8 0.00 0.00 0.12 13.9M elpi
+RUNNING typeabbrv9 (type abbreviations) elpi
OK typeabbrv9 0.00 0.01 0.11 13.9M elpi
+RUNNING uminus (parsing and evaluation of unary minus) elpi
OK uminus 0.00 0.01 0.10 13.9M elpi
+RUNNING unix (unix APIs) elpi
OK unix 0.07 0.01 0.21 14.0M elpi
+RUNNING uvar_keyword (uvar kwd status at the meta level) elpi
OK uvar_keyword 0.00 0.01 0.13 14.2M elpi
+RUNNING var (var API) elpi
OK var 0.00 0.00 0.13 14.0M elpi
+RUNNING variadic_declare_constraints (declare_constraint takes keys of different types) elpi
OK variadic_declare_constraints 0.00 0.01 0.12 14.2M elpi
+RUNNING w (ELPI example at MLWS) elpi
OK w 0.00 0.01 0.11 14.0M elpi
RUNNING zebra (standard Prolog benchmark) elpi
/usr/bin/lua5.1
/usr/bin/gnuplot
No entry for terminal type "unknown";
using dumb terminal settings.
-OK zebra 1.62 0.01 1.69 16.7M elpi
+OK zebra 5.30 0.01 5.45 16.7M elpi
------------------------------------------------------------------
Tests: 190
-Passed: 190
+Passed: 188
Failed: 0
+Timeout: 2
+Rerun timeout: make tests ONLY="'^\(grundlagen\|map_defined_list\)'"
make[2]: Leaving directory '/build/reproducible-path/elpi-2.0.7'
make[1]: Leaving directory '/build/reproducible-path/elpi-2.0.7'
create-stamp debian/debhelper-build-stamp
@@ -1545,12 +1583,12 @@
dpkg-gencontrol: warning: Depends field of package libelpi-ocaml: substitution variable ${shlibs:Depends} used, but is not defined
dh_md5sums -O--buildsystem=ocaml_dune
dh_builddeb -O--buildsystem=ocaml_dune
-dpkg-deb: building package 'libelpi-ocaml' in '../libelpi-ocaml_2.0.7-1_arm64.deb'.
-dpkg-deb: building package 'libelpi-ocaml-dbgsym' in '../libelpi-ocaml-dbgsym_2.0.7-1_arm64.deb'.
-dpkg-deb: building package 'libelpi-ocaml-dev' in '../libelpi-ocaml-dev_2.0.7-1_arm64.deb'.
-dpkg-deb: building package 'libelpi-ocaml-dev-dbgsym' in '../libelpi-ocaml-dev-dbgsym_2.0.7-1_arm64.deb'.
-dpkg-deb: building package 'elpi' in '../elpi_2.0.7-1_arm64.deb'.
dpkg-deb: building package 'elpi-dbgsym' in '../elpi-dbgsym_2.0.7-1_arm64.deb'.
+dpkg-deb: building package 'elpi' in '../elpi_2.0.7-1_arm64.deb'.
+dpkg-deb: building package 'libelpi-ocaml-dev-dbgsym' in '../libelpi-ocaml-dev-dbgsym_2.0.7-1_arm64.deb'.
+dpkg-deb: building package 'libelpi-ocaml-dev' in '../libelpi-ocaml-dev_2.0.7-1_arm64.deb'.
+dpkg-deb: building package 'libelpi-ocaml-dbgsym' in '../libelpi-ocaml-dbgsym_2.0.7-1_arm64.deb'.
+dpkg-deb: building package 'libelpi-ocaml' in '../libelpi-ocaml_2.0.7-1_arm64.deb'.
dpkg-genbuildinfo --build=binary -O../elpi_2.0.7-1_arm64.buildinfo
dpkg-genchanges --build=binary -O../elpi_2.0.7-1_arm64.changes
dpkg-genchanges: info: binary-only upload (no source code included)
@@ -1558,12 +1596,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/150545/tmp/hooks/B01_cleanup starting
+I: user script /srv/workspace/pbuilder/150545/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/3474240 and its subdirectories
-I: Current time: Wed Feb 26 01:02:18 -12 2025
-I: pbuilder-time-stamp: 1740574938
+I: removing directory /srv/workspace/pbuilder/150545 and its subdirectories
+I: Current time: Wed Apr 1 09:44:10 +14 2026
+I: pbuilder-time-stamp: 1774986250