Diff of the two buildlogs: -- --- b1/build.log 2025-09-12 02:47:44.210393507 +0000 +++ b2/build.log 2025-09-12 02:54:21.470810630 +0000 @@ -1,6 +1,7 @@ +W: cgroups are not available on the host, not using them. I: pbuilder: network access will be disabled during build -I: Current time: Thu Sep 11 14:42:21 -12 2025 -I: pbuilder-time-stamp: 1757644941 +I: Current time: Thu Oct 15 23:10:46 +14 2026 +I: pbuilder-time-stamp: 1792055446 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/unstable-reproducible-base.tgz] I: copying local configuration @@ -25,53 +26,84 @@ dpkg-source: info: applying 0002-Fix-compilation-with-ppxlib-0.36.0.patch I: Not using root during the build. I: Installing the build-deps -I: user script /srv/workspace/pbuilder/3700223/tmp/hooks/D02_print_environment starting +I: user script /srv/workspace/pbuilder/2602173/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 Oct 15 09:11 /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/2602173/tmp/hooks/D01_modify_environment finished +I: user script /srv/workspace/pbuilder/2602173/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]="3" [2]="3" [3]="1" [4]="release" [5]="aarch64-unknown-linux-gnu") + BASH_VERSION='5.3.3(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='unstable' - HOME='/root' - HOST_ARCH='arm64' + DIRSTACK=() + DISTRIBUTION=unstable + EUID=0 + FUNCNAME=([0]="Echo" [1]="main") + GROUPS=() + HOME=/root + HOSTNAME=i-capture-the-hostname + HOSTTYPE=aarch64 + HOST_ARCH=arm64 IFS=' ' - INVOCATION_ID='a24fc240867042d5b16de92596d487ff' - 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='3700223' - PS1='# ' - PS2='> ' + 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=2602173 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.sZJNiysw/pbuilderrc_d53O --distribution unstable --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/unstable-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.sZJNiysw/b1 --logfile b1/build.log elpi_2.0.7-2.dsc' - SUDO_GID='109' - SUDO_HOME='/var/lib/jenkins' - 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.sZJNiysw/pbuilderrc_7guf --distribution unstable --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/unstable-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.sZJNiysw/b2 --logfile b2/build.log elpi_2.0.7-2.dsc' + SUDO_GID=109 + SUDO_HOME=/var/lib/jenkins + 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.12.43+deb13-cloud-arm64 #1 SMP Debian 6.12.43-1 (2025-08-27) aarch64 GNU/Linux + Linux i-capture-the-hostname 6.12.43+deb13-cloud-arm64 #1 SMP Debian 6.12.43-1 (2025-08-27) aarch64 GNU/Linux I: ls -l /bin - lrwxrwxrwx 1 root root 7 Aug 10 12:30 /bin -> usr/bin -I: user script /srv/workspace/pbuilder/3700223/tmp/hooks/D02_print_environment finished + lrwxrwxrwx 1 root root 7 Aug 10 2025 /bin -> usr/bin +I: user script /srv/workspace/pbuilder/2602173/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy @@ -362,7 +394,7 @@ Get: 215 http://deb.debian.org/debian unstable/main arm64 ocaml-dune arm64 3.20.2-3 [5696 kB] Get: 216 http://deb.debian.org/debian unstable/main arm64 time arm64 1.9-0.2+b1 [48.1 kB] Get: 217 http://deb.debian.org/debian unstable/main arm64 yojson-tools arm64 2.2.2-1+b2 [457 kB] -Fetched 248 MB in 1s (166 MB/s) +Fetched 248 MB in 1s (230 MB/s) Preconfiguring packages ... Selecting previously unselected package libexpat1:arm64. (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 ... 20020 files and directories currently installed.) @@ -1254,7 +1286,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-2_source.changes +I: user script /srv/workspace/pbuilder/2602173/tmp/hooks/A99_set_merged_usr starting +Not re-configuring usrmerge for unstable +I: user script /srv/workspace/pbuilder/2602173/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-2_source.changes dpkg-buildpackage: info: source package elpi dpkg-buildpackage: info: source version 2.0.7-2 dpkg-buildpackage: info: source distribution unstable @@ -1299,7 +1335,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) ebe7924] foo +[main (root-commit) 5fce86e] foo 1 file changed, 14 insertions(+) create mode 100644 dune make[1]: Leaving directory '/build/reproducible-path/elpi-2.0.7' @@ -1332,7 +1368,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: @@ -1352,7 +1388,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 <- @@ -1370,7 +1406,7 @@ Test remove 2 Test remove 3 Test remove 4 -build: bl=2.572885 l=1.773754 +build: bl=3.722557 l=1.027792 ulimit -s 11141120; OCAMLRUNPARAM=l=11141120 \ tests/test.exe \ --seed $RANDOM \ @@ -1386,286 +1422,287 @@ --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: 17240 +Random seed: 653 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 13.7M elpi +RUNNING IO_COLON (IO_COLON token) elpi OK IO_COLON 0.00 0.00 0.05 13.8M 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.08 13.9M elpi -RUNNING asclause (parsing of the .. as X clause) elpi OK asclause 0.00 0.01 0.07 13.9M elpi -RUNNING backtracking (backtracking variable assignment) elpi OK backtracking 0.00 0.00 0.07 13.9M elpi +RUNNING ackermann (ackermann) elpi OK ackermann 0.00 0.00 0.05 13.8M elpi +RUNNING asclause (parsing of the .. as X clause) elpi OK asclause 0.00 0.01 0.05 13.8M elpi +RUNNING backtracking (backtracking variable assignment) elpi OK backtracking 0.00 0.02 0.12 13.8M 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.07 13.7M elpi +RUNNING beta (beta reduction) elpi OK beta 0.00 0.01 0.14 13.8M 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.12 13.8M elpi -RUNNING bug19 (unif under binders) elpi OK bug19 0.00 0.01 0.12 14.0M elpi -RUNNING bug_226 (move/unif bug) elpi OK bug_226 0.00 0.01 0.09 13.9M elpi -RUNNING cbn (reduction) elpi OK cbn 1.16 0.01 1.23 19.6M elpi -RUNNING cbv (reduction) elpi OK cbv 3.70 0.01 3.78 17.2M elpi -RUNNING chr (constraints handling rules) elpi OK chr 0.01 0.00 0.08 13.9M elpi -RUNNING chr-scope (chr-relocation) elpi OK chr-scope 0.00 0.00 0.08 13.8M elpi -RUNNING chr-scope-change (chr-relocation) elpi OK chr-scope-change 0.00 0.01 0.09 13.9M elpi +RUNNING bug-256 (move/unif) elpi OK bug-256 0.00 0.01 0.04 13.8M elpi +RUNNING bug19 (unif under binders) elpi OK bug19 0.00 0.01 0.11 13.6M elpi +RUNNING bug_226 (move/unif bug) elpi OK bug_226 0.00 0.01 0.04 13.8M elpi +RUNNING cbn (reduction) elpi OK cbn 0.66 0.01 0.73 19.9M elpi +RUNNING cbv (reduction) elpi OK cbv 1.74 0.00 1.79 17.1M elpi +RUNNING chr (constraints handling rules) elpi OK chr 0.00 0.00 0.04 13.8M elpi +RUNNING chr-scope (chr-relocation) elpi OK chr-scope 0.00 0.00 0.07 13.7M elpi +RUNNING chr-scope-change (chr-relocation) elpi OK chr-scope-change 0.00 0.00 0.04 13.8M elpi RUNNING chr-scope-change-err (chr-relocation) elpi OK chr-scope-change-err 0.00 0.00 0.00 0.0M elpi -RUNNING chr_even_odd (CHR example at MLWS) elpi OK chr_even_odd 0.01 0.01 0.08 13.9M elpi -RUNNING chr_gcd (greatest common divisor in CHR) elpi OK chr_gcd 0.00 0.00 0.07 13.9M elpi -RUNNING chr_leq (chr transitive closure) elpi OK chr_leq 0.00 0.00 0.11 13.9M elpi -RUNNING chr_nokey (constraints keyed on _) elpi OK chr_nokey 0.00 0.01 0.08 13.9M elpi -RUNNING chr_nokey2 (constraints keyed on _) elpi OK chr_nokey2 0.00 0.00 0.04 14.1M elpi -RUNNING chr_sem (refined operational semantics) elpi OK chr_sem 0.00 0.01 0.07 13.9M elpi -RUNNING chr_ut (type checker with UT via CHR) elpi OK chr_ut 0.00 0.01 0.07 13.9M elpi -RUNNING chr_with_hypotheses (chr_with_hypotheses) elpi OK chr_with_hypotheses 0.00 0.01 0.08 14.1M elpi -RUNNING conj2 (parsing and evaluation of & (binary conj)) elpi OK conj2 0.00 0.01 0.07 13.9M elpi -RUNNING crypt (standard Prolog benchmark) elpi OK crypt 14.38 0.00 14.44 49.6M elpi -RUNNING cut1 (what else) elpi OK cut1 0.00 0.01 0.07 13.9M elpi -RUNNING cut2 (what else) elpi OK cut2 0.00 0.01 0.07 13.9M elpi -RUNNING cut3 (what else) elpi OK cut3 0.00 0.00 0.06 14.1M elpi -RUNNING cut4 (what else) elpi OK cut4 0.00 0.01 0.06 13.9M elpi -RUNNING cut5 (what else) elpi OK cut5 0.00 0.01 0.06 13.9M elpi -RUNNING cut6 (what else) elpi OK cut6 0.00 0.00 0.07 13.8M elpi -RUNNING deep_index (indexing deeper rules out) elpi OK deep_index 0.00 0.01 0.07 14.0M elpi -RUNNING discard (_) elpi OK discard 0.00 0.01 0.07 13.8M elpi -RUNNING dt (discrimination_tree indexing) elpi OK dt 4.94 0.01 5.02 13.9M elpi -RUNNING dt_bench (discrimination_tree on trees) elpi OK dt_bench 5.17 0.00 5.22 16.2M elpi -RUNNING dt_bug_272 (dt list truncation heuristic) elpi OK dt_bug_272 0.05 0.01 0.11 13.9M elpi -RUNNING dt_max_depths (discrimination_tree max_depth) elpi OK dt_max_depths 0.00 0.01 0.07 13.9M elpi -RUNNING dt_multiparam1 (discrimination_tree indexing multi argument) elpi OK dt_multiparam1 1.21 0.01 1.28 19.1M elpi -RUNNING dt_multiparam2 (discrimination_tree indexing multi with flexible) elpi OK dt_multiparam2 1.19 0.01 1.26 19.1M 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 13.9M elpi -RUNNING dt_off ((without) discrimination_tree indexing) elpi OK dt_off 26.82 0.01 26.87 13.9M elpi -RUNNING dt_order (discrimination_tree grafting) elpi OK dt_order 0.00 0.00 0.06 13.9M elpi -RUNNING dt_var (discrimination_tree indexing flex) elpi OK dt_var 0.00 0.00 0.06 13.8M elpi -RUNNING dt_var2 (discrimination_tree indexing flex) elpi OK dt_var2 0.00 0.00 0.06 14.1M elpi +RUNNING chr_even_odd (CHR example at MLWS) elpi OK chr_even_odd 0.00 0.01 0.05 13.8M elpi +RUNNING chr_gcd (greatest common divisor in CHR) elpi OK chr_gcd 0.00 0.00 0.05 13.8M elpi +RUNNING chr_leq (chr transitive closure) elpi OK chr_leq 0.00 0.00 0.06 13.7M elpi +RUNNING chr_nokey (constraints keyed on _) elpi OK chr_nokey 0.00 0.01 0.06 13.8M elpi +RUNNING chr_nokey2 (constraints keyed on _) elpi OK chr_nokey2 0.00 0.01 0.07 13.8M elpi +RUNNING chr_sem (refined operational semantics) elpi OK chr_sem 0.00 0.01 0.09 13.8M elpi +RUNNING chr_ut (type checker with UT via CHR) elpi OK chr_ut 0.00 0.01 0.09 13.9M elpi +RUNNING chr_with_hypotheses (chr_with_hypotheses) elpi OK chr_with_hypotheses 0.00 0.01 0.06 13.9M elpi +RUNNING conj2 (parsing and evaluation of & (binary conj)) elpi OK conj2 0.00 0.01 0.11 13.8M elpi +RUNNING crypt (standard Prolog benchmark) elpi OK crypt 7.23 0.00 7.27 49.0M elpi +RUNNING cut1 (what else) elpi OK cut1 0.00 0.00 0.03 13.9M elpi +RUNNING cut2 (what else) elpi OK cut2 0.00 0.01 0.05 13.8M elpi +RUNNING cut3 (what else) elpi OK cut3 0.00 0.00 0.06 13.8M elpi +RUNNING cut4 (what else) elpi OK cut4 0.00 0.00 0.04 13.8M elpi +RUNNING cut5 (what else) elpi OK cut5 0.00 0.02 0.08 13.8M elpi +RUNNING cut6 (what else) elpi OK cut6 0.00 0.00 0.04 13.8M elpi +RUNNING deep_index (indexing deeper rules out) elpi OK deep_index 0.00 0.01 0.12 13.7M elpi +RUNNING discard (_) elpi OK discard 0.00 0.00 0.05 13.8M elpi +RUNNING dt (discrimination_tree indexing) elpi OK dt 3.37 0.01 3.42 13.8M elpi +RUNNING dt_bench (discrimination_tree on trees) elpi OK dt_bench 3.47 0.01 3.51 16.0M elpi +RUNNING dt_bug_272 (dt list truncation heuristic) elpi OK dt_bug_272 0.04 0.01 0.18 13.8M elpi +RUNNING dt_max_depths (discrimination_tree max_depth) elpi OK dt_max_depths 0.00 0.00 0.04 13.8M elpi +RUNNING dt_multiparam1 (discrimination_tree indexing multi argument) elpi OK dt_multiparam1 1.11 0.01 1.21 18.9M elpi +RUNNING dt_multiparam2 (discrimination_tree indexing multi with flexible) elpi OK dt_multiparam2 0.89 0.01 0.96 18.9M elpi +RUNNING dt_multiparam3 (discrimination_tree indexing multi with flexible in input mode) elpi OK dt_multiparam3 0.00 0.00 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.07 13.8M elpi +RUNNING dt_off ((without) discrimination_tree indexing) elpi OK dt_off 21.05 0.01 21.12 13.7M elpi +RUNNING dt_order (discrimination_tree grafting) elpi OK dt_order 0.00 0.00 0.04 13.9M elpi +RUNNING dt_var (discrimination_tree indexing flex) elpi OK dt_var 0.00 0.01 0.07 13.8M elpi +RUNNING dt_var2 (discrimination_tree indexing flex) elpi OK dt_var2 0.00 0.00 0.12 13.8M 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 13.9M elpi -RUNNING eta_as (eta expansion of as clause) elpi OK eta_as 0.00 0.00 0.06 14.1M elpi -RUNNING eta_oc (eta expansion and occur check) elpi OK eta_oc 0.00 0.01 0.06 13.9M elpi -RUNNING fast_mu (standard Prolog benchmark) elpi OK fast_mu 2.71 0.00 2.76 16.7M elpi -RUNNING findall (stash across backtrack) elpi OK findall 0.00 0.00 0.03 13.9M elpi -RUNNING graft_before (grafting a clause before the clause of another predicate) elpi OK graft_before 0.00 0.00 0.03 13.9M 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 13.9M elpi -RUNNING graft_remove (remove a clase) elpi OK graft_remove 0.00 0.01 0.06 13.9M elpi +RUNNING eta (test eta for rigid terms) elpi OK eta 0.00 0.01 0.09 13.7M elpi +RUNNING eta_as (eta expansion of as clause) elpi OK eta_as 0.00 0.01 0.10 13.8M elpi +RUNNING eta_oc (eta expansion and occur check) elpi OK eta_oc 0.00 0.00 0.06 13.9M elpi +RUNNING fast_mu (standard Prolog benchmark) elpi OK fast_mu 3.31 0.00 3.39 16.9M elpi +RUNNING findall (stash across backtrack) elpi OK findall 0.00 0.00 0.05 13.8M elpi +RUNNING graft_before (grafting a clause before the clause of another predicate) elpi OK graft_before 0.00 0.01 0.10 13.8M 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.07 13.9M elpi +RUNNING graft_remove (remove a clase) elpi OK graft_remove 0.00 0.02 0.08 13.8M 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.00 0.03 13.9M elpi -RUNNING grundlagen (type checker for λδ) elpi OK grundlagen 39.30 2.90 46.47 2852.0M elpi -RUNNING hc_interp (Horn Clauses interpreter) elpi OK hc_interp 0.00 0.00 0.03 13.9M elpi -RUNNING hdclause (hdclause unification) elpi OK hdclause 0.00 0.00 0.03 13.9M elpi -RUNNING heap_discard (heapification of _) elpi OK heap_discard 0.00 0.00 0.03 13.9M elpi -RUNNING hilbert (hilbert) elpi OK hilbert 0.00 0.00 0.03 13.9M elpi -RUNNING hilbert2 (hilbert2) elpi OK hilbert2 0.00 0.00 0.03 13.9M elpi -RUNNING ho (HO predicates) elpi OK ho 0.00 0.00 0.03 13.9M elpi +RUNNING graft_replace_ok (replacing a clase) elpi OK graft_replace_ok 0.00 0.00 0.08 13.8M elpi +RUNNING grundlagen (type checker for λδ) elpi KO grundlagen (type checker for λδ) elpi +RUNNING hc_interp (Horn Clauses interpreter) elpi OK hc_interp 0.00 0.00 0.04 13.8M elpi +RUNNING hdclause (hdclause unification) elpi OK hdclause 0.00 0.00 0.04 13.9M elpi +RUNNING heap_discard (heapification of _) elpi OK heap_discard 0.00 0.00 0.04 13.8M elpi +RUNNING hilbert (hilbert) elpi OK hilbert 0.00 0.00 0.09 13.6M elpi +RUNNING hilbert2 (hilbert2) elpi OK hilbert2 0.00 0.00 0.04 13.8M elpi +RUNNING ho (HO predicates) elpi OK ho 0.00 0.00 0.07 13.8M 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.00 0.03 14.2M elpi -RUNNING hyp_uvar (uvar at the left of implication) elpi OK hyp_uvar 0.00 0.00 0.03 13.9M elpi -RUNNING ifdef (lexer ifdef) elpi OK ifdef 0.00 0.00 0.03 13.9M elpi -RUNNING impl (implication) elpi OK impl 0.00 0.00 0.03 13.9M elpi -RUNNING impl2 (implication) elpi OK impl2 0.00 0.00 0.03 13.9M elpi -RUNNING impl_order (implication and pair/list) elpi OK impl_order 0.00 0.00 0.03 13.9M elpi -RUNNING impl_prec (warning about A => B, C) elpi OK impl_prec 0.00 0.00 0.03 13.9M elpi -RUNNING impl_prec_silent (warning about A => B, C) elpi OK impl_prec_silent 0.00 0.00 0.03 13.9M elpi -RUNNING index2 (indexing the second argument) elpi OK index2 2.71 0.00 2.74 13.9M elpi -RUNNING is (calc) elpi OK is 0.00 0.00 0.05 14.2M elpi -RUNNING lambda3 (moving under lambdas) elpi OK lambda3 0.49 0.00 0.52 16.6M elpi -RUNNING lambda4 (simple type checker) elpi OK lambda4 0.00 0.00 0.03 13.9M elpi +RUNNING holp (HOL programming) elpi OK holp 0.00 0.00 0.06 13.9M elpi +RUNNING hyp_uvar (uvar at the left of implication) elpi OK hyp_uvar 0.00 0.00 0.04 13.7M elpi +RUNNING ifdef (lexer ifdef) elpi OK ifdef 0.00 0.00 0.05 13.8M elpi +RUNNING impl (implication) elpi OK impl 0.00 0.00 0.06 13.8M elpi +RUNNING impl2 (implication) elpi OK impl2 0.00 0.00 0.06 13.7M elpi +RUNNING impl_order (implication and pair/list) elpi OK impl_order 0.00 0.00 0.05 13.8M elpi +RUNNING impl_prec (warning about A => B, C) elpi OK impl_prec 0.00 0.00 0.04 13.8M elpi +RUNNING impl_prec_silent (warning about A => B, C) elpi OK impl_prec_silent 0.00 0.03 0.13 13.8M elpi +RUNNING index2 (indexing the second argument) elpi OK index2 4.09 0.01 4.14 13.8M elpi +RUNNING is (calc) elpi OK is 0.00 0.00 0.03 13.8M elpi +RUNNING lambda3 (moving under lambdas) elpi OK lambda3 0.55 0.01 0.64 16.2M elpi +RUNNING lambda4 (simple type checker) elpi OK lambda4 0.00 0.01 0.05 13.8M 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.00 0.03 13.9M elpi -RUNNING lambda_arrow2 (simple type checker) elpi OK lambda_arrow2 0.00 0.00 0.03 13.9M elpi -RUNNING lambdadelta (lambda delta tests) elpi OK lambdadelta 0.00 0.00 0.03 14.2M elpi -RUNNING linear (linear variable check) elpi OK linear 0.00 0.00 0.03 13.9M elpi -RUNNING list_as_conj (list is an nary conjunction) elpi OK list_as_conj 0.00 0.00 0.03 13.9M elpi -RUNNING list_comma (lists with spurious , in there) elpi OK list_comma 0.00 0.00 0.03 13.9M elpi -RUNNING llam (Miller pattern unification) elpi OK llam 0.00 0.01 0.06 14.1M elpi -RUNNING llamb0_exit1 (Outside the llamb0 fragment) elpi OK llamb0_exit1 0.00 0.00 0.03 13.9M elpi -RUNNING llamb0_exit2 (Outside the llamb0 fragment) elpi OK llamb0_exit2 0.00 0.00 0.03 13.9M elpi -RUNNING llamb0_exit3 (Outside the llamb0 fragment) elpi OK llamb0_exit3 0.00 0.00 0.03 13.9M elpi -RUNNING llamb0_exit4 (Outside the llamb0 fragment) elpi OK llamb0_exit4 0.00 0.00 0.03 13.9M elpi -RUNNING llamb0_exit5 (Outside the llamb0 fragment) elpi OK llamb0_exit5 0.00 0.00 0.03 13.9M elpi -RUNNING llamb0_exit6 (Outside the llamb0 fragment) elpi OK llamb0_exit6 0.00 0.00 0.03 13.9M elpi -RUNNING lyp (type checker for λΥP) elpi OK lyp 10.96 1.04 17.93 720.7M elpi -RUNNING map_builtin_list (stdlib map reference) elpi OK map_builtin_list 16.70 0.01 16.77 17.8M elpi -RUNNING map_defined_list (stdlib map reference) elpi OK map_defined_list 21.36 0.01 21.40 18.2M elpi -RUNNING map_ho (stdlib map HO) elpi OK map_ho 0.00 0.00 0.03 13.9M elpi -RUNNING map_rbtree (stdlib map) elpi OK map_rbtree 3.82 0.00 3.85 17.6M elpi -RUNNING mk_uv_meta (uvar surgery at the meta level) elpi OK mk_uv_meta 0.00 0.01 0.07 13.9M elpi -RUNNING mode_checking_fo (mode_checking_fo) elpi OK mode_checking_fo 0.00 0.00 0.03 13.9M elpi -RUNNING mode_checking_ho (mode_checking_ho) elpi OK mode_checking_ho 0.00 0.00 0.03 13.9M elpi -RUNNING mu (standard Prolog benchmark) elpi OK mu 3.25 0.00 3.28 17.3M elpi -RUNNING name (name builtin) elpi OK name 0.00 0.01 0.05 13.9M elpi +RUNNING lambda_arrow1 (simple type checker) elpi OK lambda_arrow1 0.00 0.00 0.04 13.8M elpi +RUNNING lambda_arrow2 (simple type checker) elpi OK lambda_arrow2 0.00 0.00 0.04 13.8M elpi +RUNNING lambdadelta (lambda delta tests) elpi OK lambdadelta 0.00 0.01 0.06 14.1M elpi +RUNNING linear (linear variable check) elpi OK linear 0.00 0.00 0.05 13.8M elpi +RUNNING list_as_conj (list is an nary conjunction) elpi OK list_as_conj 0.00 0.00 0.04 13.8M elpi +RUNNING list_comma (lists with spurious , in there) elpi OK list_comma 0.00 0.01 0.05 13.8M elpi +RUNNING llam (Miller pattern unification) elpi OK llam 0.00 0.00 0.05 13.8M elpi +RUNNING llamb0_exit1 (Outside the llamb0 fragment) elpi OK llamb0_exit1 0.00 0.00 0.04 13.8M elpi +RUNNING llamb0_exit2 (Outside the llamb0 fragment) elpi OK llamb0_exit2 0.00 0.00 0.05 13.7M elpi +RUNNING llamb0_exit3 (Outside the llamb0 fragment) elpi OK llamb0_exit3 0.00 0.01 0.06 13.8M elpi +RUNNING llamb0_exit4 (Outside the llamb0 fragment) elpi OK llamb0_exit4 0.00 0.01 0.06 13.8M elpi +RUNNING llamb0_exit5 (Outside the llamb0 fragment) elpi OK llamb0_exit5 0.00 0.01 0.04 13.8M elpi +RUNNING llamb0_exit6 (Outside the llamb0 fragment) elpi OK llamb0_exit6 0.00 0.00 0.07 13.8M elpi +RUNNING lyp (type checker for λΥP) elpi OK lyp 10.64 1.20 19.06 720.4M elpi +RUNNING map_builtin_list (stdlib map reference) elpi OK map_builtin_list 17.54 0.00 17.58 18.1M elpi +RUNNING map_defined_list (stdlib map reference) elpi OK map_defined_list 18.75 0.00 18.79 18.6M elpi +RUNNING map_ho (stdlib map HO) elpi OK map_ho 0.00 0.01 0.07 13.8M elpi +RUNNING map_rbtree (stdlib map) elpi OK map_rbtree 3.70 0.01 3.76 17.6M elpi +RUNNING mk_uv_meta (uvar surgery at the meta level) elpi OK mk_uv_meta 0.00 0.01 0.06 13.8M elpi +RUNNING mode_checking_fo (mode_checking_fo) elpi OK mode_checking_fo 0.00 0.01 0.06 13.8M elpi +RUNNING mode_checking_ho (mode_checking_ho) elpi OK mode_checking_ho 0.00 0.01 0.07 13.9M elpi +RUNNING mu (standard Prolog benchmark) elpi OK mu 3.22 0.00 3.26 17.1M elpi +RUNNING name (name builtin) elpi OK name 0.00 0.01 0.07 13.8M 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.00 0.03 13.9M elpi -RUNNING namespace00 (namespacing of predicates and constants) elpi OK namespace00 0.00 0.00 0.03 14.0M elpi -RUNNING namespace01 (namespacing of predicates and constants) elpi OK namespace01 0.00 0.01 0.05 14.0M elpi -RUNNING namespace02 (namespacing of predicates and constants) elpi OK namespace02 0.00 0.01 0.06 14.0M elpi -RUNNING namespace03 (namespacing of predicates and constants) elpi OK namespace03 0.00 0.00 0.04 14.0M elpi -RUNNING nil_cons (nil = []) elpi OK nil_cons 0.00 0.00 0.03 13.9M elpi -RUNNING notation (extensible syntax) elpi OK notation 0.00 0.00 0.05 13.9M elpi +RUNNING named_clauses02 (clause grafting using names) elpi OK named_clauses02 0.00 0.01 0.05 13.8M elpi +RUNNING namespace00 (namespacing of predicates and constants) elpi OK namespace00 0.00 0.01 0.07 13.8M elpi +RUNNING namespace01 (namespacing of predicates and constants) elpi OK namespace01 0.00 0.00 0.03 13.8M elpi +RUNNING namespace02 (namespacing of predicates and constants) elpi OK namespace02 0.00 0.01 0.07 13.8M elpi +RUNNING namespace03 (namespacing of predicates and constants) elpi OK namespace03 0.00 0.01 0.06 13.8M elpi +RUNNING nil_cons (nil = []) elpi OK nil_cons 0.00 0.01 0.06 13.8M elpi +RUNNING notation (extensible syntax) elpi OK notation 0.00 0.01 0.07 13.8M 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.00 0.03 13.9M elpi -RUNNING patternunif2 (Miller pattern unification) elpi OK patternunif2 0.00 0.01 0.05 13.9M elpi -RUNNING pcf (type inference for PCF) elpi OK pcf 0.00 0.01 0.06 14.3M elpi -RUNNING pi (pi quantification) elpi OK pi 0.00 0.01 0.06 13.9M elpi -RUNNING pi3 (pi quantification) elpi OK pi3 0.00 0.00 0.04 13.9M elpi -RUNNING pi5 (pi quantification) elpi OK pi5 0.00 0.01 0.04 13.9M elpi -RUNNING pnf (some HO programming) elpi OK pnf 0.00 0.01 0.06 13.9M elpi -RUNNING polymorphic_variants (typechecker for polymorphic variants) elpi OK polymorphic_variants 0.00 0.00 0.03 13.9M elpi -RUNNING printer (printing infix) elpi OK printer 0.00 0.00 0.03 13.9M elpi -RUNNING progs (progs) elpi OK progs 0.00 0.01 0.07 14.1M elpi -RUNNING queens (standard Prolog benchmark) elpi OK queens 2.63 0.01 2.71 131.0M elpi -RUNNING random (random numbers) elpi OK random 0.00 0.01 0.06 13.9M elpi +RUNNING patternunif (Miller pattern unification) elpi OK patternunif 0.00 0.00 0.04 13.8M elpi +RUNNING patternunif2 (Miller pattern unification) elpi OK patternunif2 0.00 0.01 0.06 13.8M elpi +RUNNING pcf (type inference for PCF) elpi OK pcf 0.00 0.01 0.10 14.2M elpi +RUNNING pi (pi quantification) elpi OK pi 0.00 0.01 0.05 13.8M elpi +RUNNING pi3 (pi quantification) elpi OK pi3 0.00 0.00 0.03 13.8M elpi +RUNNING pi5 (pi quantification) elpi OK pi5 0.00 0.01 0.04 13.8M elpi +RUNNING pnf (some HO programming) elpi OK pnf 0.00 0.00 0.03 13.8M elpi +RUNNING polymorphic_variants (typechecker for polymorphic variants) elpi OK polymorphic_variants 0.00 0.00 0.03 13.8M elpi +RUNNING printer (printing infix) elpi OK printer 0.00 0.01 0.06 13.8M elpi +RUNNING progs (progs) elpi OK progs 0.00 0.01 0.05 14.1M elpi +RUNNING queens (standard Prolog benchmark) elpi OK queens 2.69 0.01 2.76 130.8M elpi +RUNNING random (random numbers) elpi OK random 0.00 0.00 0.03 13.8M elpi RUNNING restriction (HO unification scope checking) elpi OK restriction 0.00 0.00 0.00 0.0M elpi -RUNNING restriction3 (HO unification scope checking) elpi OK restriction3 0.00 0.00 0.03 14.0M elpi -RUNNING restriction4 (HO unification scope checking) elpi OK restriction4 0.00 0.00 0.03 13.9M 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.00 0.03 13.9M elpi -RUNNING rev (list reversal) elpi OK rev 0.22 0.00 0.26 49.6M elpi -RUNNING rev14 (list reversal) elpi OK rev14 0.22 0.01 0.28 49.4M elpi -RUNNING same_term (the == operator) elpi OK same_term 0.00 0.01 0.06 13.9M elpi -RUNNING self_assignment (Miller pattern unification) elpi OK self_assignment 0.00 0.01 0.06 13.9M elpi -RUNNING set (stdlib set) elpi OK set 3.00 0.00 3.03 17.2M elpi -RUNNING set_ho (stdlib set HO) elpi OK set_ho 0.77 0.01 0.81 60.9M elpi -RUNNING shorten (shortening names of a namespace) elpi OK shorten 0.00 0.01 0.06 13.9M elpi -RUNNING shorten-EOF (shortening names ends with the file) elpi OK shorten-EOF 0.00 0.01 0.05 13.9M elpi -RUNNING shorten_builtin (shortening a builtin) elpi OK shorten_builtin 0.00 0.01 0.04 13.9M elpi -RUNNING shorten_trie (shortening a trie of names) elpi OK shorten_trie 0.00 0.00 0.03 13.9M 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.00 0.04 13.9M elpi -RUNNING spilling_and (spilling anonymous compound goal) elpi OK spilling_and 0.00 0.01 0.04 13.9M elpi -RUNNING spilling_impl (spilling implication) elpi OK spilling_impl 0.00 0.00 0.04 13.9M elpi -RUNNING spilling_in_list (spilling prem order) elpi OK spilling_in_list 0.00 0.00 0.05 13.9M elpi -RUNNING spilling_lam (spilling inside anonymous clause) elpi OK spilling_lam 0.00 0.00 0.03 13.9M elpi -RUNNING spilling_or (spilling prem order) elpi OK spilling_or 0.00 0.00 0.04 13.9M elpi -RUNNING trace-browser (trace generation) elpi OK trace-browser 0.00 0.00 0.04 13.9M elpi -RUNNING trace-browser-chr (trace generation) elpi OK trace-browser-chr 0.00 0.00 0.04 13.9M elpi -RUNNING trace-browser-cut (trace generation) elpi OK trace-browser-cut 0.00 0.01 0.05 13.9M elpi -RUNNING trace-browser-elab (trace elaboration) elpi-trace-elaborator OK trace-browser-elab 0.00 0.00 0.00 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.17 33.6M elpi-trace-elaborator +RUNNING restriction3 (HO unification scope checking) elpi OK restriction3 0.00 0.00 0.03 13.8M elpi +RUNNING restriction4 (HO unification scope checking) elpi OK restriction4 0.00 0.01 0.06 13.8M elpi +RUNNING restriction5 (HO unification scope checking) elpi OK restriction5 0.00 0.00 0.03 13.8M elpi +RUNNING restriction6 (HO unification scope checking) elpi OK restriction6 0.00 0.00 0.04 13.8M elpi +RUNNING rev (list reversal) elpi OK rev 0.24 0.01 0.31 49.7M elpi +RUNNING rev14 (list reversal) elpi OK rev14 0.22 0.00 0.25 50.1M elpi +RUNNING same_term (the == operator) elpi OK same_term 0.00 0.00 0.03 13.8M elpi +RUNNING self_assignment (Miller pattern unification) elpi OK self_assignment 0.00 0.00 0.03 13.8M elpi +RUNNING set (stdlib set) elpi OK set 3.05 0.00 3.09 17.2M elpi +RUNNING set_ho (stdlib set HO) elpi OK set_ho 0.73 0.00 0.77 61.3M elpi +RUNNING shorten (shortening names of a namespace) elpi OK shorten 0.00 0.00 0.03 13.8M elpi +RUNNING shorten-EOF (shortening names ends with the file) elpi OK shorten-EOF 0.00 0.01 0.06 13.8M elpi +RUNNING shorten_builtin (shortening a builtin) elpi OK shorten_builtin 0.00 0.00 0.02 13.8M elpi +RUNNING shorten_trie (shortening a trie of names) elpi OK shorten_trie 0.00 0.00 0.03 13.8M elpi +RUNNING spill_collision (spilling under 2 pi named the same) elpi OK spill_collision 0.00 0.01 0.05 13.8M elpi +RUNNING spill_pi (spilling under pi) elpi OK spill_pi 0.00 0.00 0.03 13.8M elpi +RUNNING spilling_and (spilling anonymous compound goal) elpi OK spilling_and 0.00 0.00 0.03 13.8M elpi +RUNNING spilling_impl (spilling implication) elpi OK spilling_impl 0.00 0.01 0.04 13.8M elpi +RUNNING spilling_in_list (spilling prem order) elpi OK spilling_in_list 0.00 0.00 0.03 13.8M elpi +RUNNING spilling_lam (spilling inside anonymous clause) elpi OK spilling_lam 0.00 0.00 0.03 13.8M elpi +RUNNING spilling_or (spilling prem order) elpi OK spilling_or 0.00 0.00 0.04 13.8M elpi +RUNNING trace-browser (trace generation) elpi OK trace-browser 0.00 0.00 0.03 13.8M elpi +RUNNING trace-browser-chr (trace generation) elpi OK trace-browser-chr 0.00 0.00 0.03 13.8M elpi +RUNNING trace-browser-cut (trace generation) elpi OK trace-browser-cut 0.00 0.00 0.04 13.8M elpi +RUNNING trace-browser-elab (trace elaboration) elpi-trace-elaborator OK trace-browser-elab 0.00 0.00 0.01 6.8M 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.0M 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 7.0M elpi-trace-elaborator -RUNNING trace-browser-elab-cut (trace elaboration) elpi-trace-elaborator OK trace-browser-elab-cut 0.00 0.00 0.00 7.0M elpi-trace-elaborator -RUNNING trace-browser-elab-findall (trace elaboration) elpi-trace-elaborator OK trace-browser-elab-findall 0.00 0.00 0.00 6.3M elpi-trace-elaborator -RUNNING trace-browser-findall (trace generation) elpi OK trace-browser-findall 0.00 0.00 0.03 13.9M elpi -RUNNING trace-browser-w (trace generation) elpi OK trace-browser-w 0.03 0.01 0.09 13.9M elpi -RUNNING trace-browser-w-elab (trace elaboration) elpi-trace-elaborator OK trace-browser-w-elab 0.00 0.00 0.01 7.6M elpi-trace-elaborator -RUNNING trace-browser2 (trace generation) elpi OK trace-browser2 0.00 0.01 0.06 13.9M elpi -RUNNING trace-browser2-elab (trace elaboration) elpi-trace-elaborator OK trace-browser2-elab 0.00 0.00 0.00 6.3M elpi-trace-elaborator -RUNNING trace-browser3 (trace generation) elpi OK trace-browser3 0.00 0.01 0.06 13.9M elpi -RUNNING trace-browser3-elab (trace elaboration) elpi-trace-elaborator OK trace-browser3-elab 0.00 0.00 0.00 6.3M elpi-trace-elaborator -RUNNING trace-browser4 (trace generation) elpi OK trace-browser4 0.00 0.01 0.05 13.9M 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.06 13.9M elpi -RUNNING trie (discrimination_tree on trees) elpi OK trie 0.00 0.01 0.07 13.9M elpi -RUNNING typeabbrv1 (type abbreviations) elpi OK typeabbrv1 0.00 0.01 0.06 13.9M elpi +RUNNING trace-browser-elab-chr (trace elaboration) elpi-trace-elaborator OK trace-browser-elab-chr 0.00 0.00 0.00 6.8M 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.8M elpi-trace-elaborator +RUNNING trace-browser-elab-findall (trace elaboration) elpi-trace-elaborator OK trace-browser-elab-findall 0.00 0.00 0.00 6.2M elpi-trace-elaborator +RUNNING trace-browser-findall (trace generation) elpi OK trace-browser-findall 0.00 0.00 0.03 13.8M elpi +RUNNING trace-browser-w (trace generation) elpi OK trace-browser-w 0.03 0.01 0.09 13.8M elpi +RUNNING trace-browser-w-elab (trace elaboration) elpi-trace-elaborator OK trace-browser-w-elab 0.00 0.00 0.04 7.4M elpi-trace-elaborator +RUNNING trace-browser2 (trace generation) elpi OK trace-browser2 0.00 0.01 0.05 13.8M elpi +RUNNING trace-browser2-elab (trace elaboration) elpi-trace-elaborator OK trace-browser2-elab 0.00 0.00 0.00 6.2M elpi-trace-elaborator +RUNNING trace-browser3 (trace generation) elpi OK trace-browser3 0.00 0.00 0.04 13.8M elpi +RUNNING trace-browser3-elab (trace elaboration) elpi-trace-elaborator OK trace-browser3-elab 0.00 0.00 0.00 6.2M elpi-trace-elaborator +RUNNING trace-browser4 (trace generation) elpi OK trace-browser4 0.00 0.01 0.05 13.8M elpi +RUNNING trace-browser4-elab (trace elaboration) elpi-trace-elaborator OK trace-browser4-elab 0.00 0.00 0.00 6.8M elpi-trace-elaborator +RUNNING trailing_comment (trailing comment) elpi OK trailing_comment 0.00 0.00 0.04 13.7M elpi +RUNNING trie (discrimination_tree on trees) elpi OK trie 0.00 0.01 0.04 13.8M elpi +RUNNING typeabbrv1 (type abbreviations) elpi OK typeabbrv1 0.00 0.01 0.06 13.8M 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 13.9M elpi +RUNNING typeabbrv13 (type abbreviations) elpi OK typeabbrv13 0.00 0.00 0.03 13.8M 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 13.9M elpi -RUNNING typeabbrv4 (type abbreviations) elpi OK typeabbrv4 0.00 0.00 0.03 13.9M elpi +RUNNING typeabbrv3 (type abbreviations) elpi OK typeabbrv3 0.00 0.00 0.03 13.8M elpi +RUNNING typeabbrv4 (type abbreviations) elpi OK typeabbrv4 0.00 0.00 0.04 13.8M 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.06 13.9M elpi -RUNNING typeabbrv8 (type abbreviations) elpi OK typeabbrv8 0.00 0.01 0.05 13.9M elpi -RUNNING typeabbrv9 (type abbreviations) elpi OK typeabbrv9 0.00 0.01 0.06 13.9M elpi -RUNNING uminus (parsing and evaluation of unary minus) elpi OK uminus 0.00 0.01 0.05 13.9M elpi -RUNNING unix (unix APIs) elpi OK unix 0.01 0.01 0.08 13.9M elpi -RUNNING uvar_keyword (uvar kwd status at the meta level) elpi OK uvar_keyword 0.00 0.01 0.07 13.9M elpi -RUNNING var (var API) elpi OK var 0.00 0.01 0.06 13.9M elpi -RUNNING variadic_declare_constraints (declare_constraint takes keys of different types) elpi OK variadic_declare_constraints 0.00 0.01 0.06 13.9M elpi -RUNNING w (ELPI example at MLWS) elpi OK w 0.00 0.01 0.06 13.9M elpi +RUNNING typeabbrv7 (type abbreviations) elpi OK typeabbrv7 0.00 0.00 0.03 13.8M elpi +RUNNING typeabbrv8 (type abbreviations) elpi OK typeabbrv8 0.00 0.00 0.03 13.8M elpi +RUNNING typeabbrv9 (type abbreviations) elpi OK typeabbrv9 0.00 0.00 0.03 13.8M elpi +RUNNING uminus (parsing and evaluation of unary minus) elpi OK uminus 0.00 0.00 0.03 13.8M elpi +RUNNING unix (unix APIs) elpi OK unix 0.01 0.00 0.04 13.8M elpi +RUNNING uvar_keyword (uvar kwd status at the meta level) elpi OK uvar_keyword 0.00 0.01 0.06 13.8M elpi +RUNNING var (var API) elpi OK var 0.00 0.01 0.05 13.8M elpi +RUNNING variadic_declare_constraints (declare_constraint takes keys of different types) elpi OK variadic_declare_constraints 0.00 0.00 0.04 13.8M elpi +RUNNING w (ELPI example at MLWS) elpi OK w 0.00 0.01 0.07 13.8M 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.51 0.01 1.55 16.8M elpi +OK zebra 1.55 0.01 1.62 16.6M elpi ------------------------------------------------------------------ Tests: 190 -Passed: 190 -Failed: 0 +Passed: 189 +Failed: 1 +Rerun failed: make tests ONLY="'^\(grundlagen\)'" +------------------------------------------------------------------ +Log of the first failure: _log/elpi+grundlagen.log +------------------------------------------------------------------ +executable: /build/reproducible-path/elpi-2.0.7/_build/install/default/bin/elpi +args: -test -I /build/reproducible-path/elpi-2.0.7/_build/install/default/bin/../lib/elpi/ -I /build/reproducible-path/elpi-2.0.7/tests/sources/ helena_elpi/ld3_engine.elpi + +Parsing time: 1.966 +Warning: File "/build/reproducible-path/elpi-2.0.7/tests/sources/helena_elpi/helena.elpi", line 115, column 12, characters 4211-4212: +L is linear: name it _L (discard) or L_ (fresh variable) +Warning: File "/build/reproducible-path/elpi-2.0.7/tests/sources/helena_elpi/helena.elpi", line 119, column 14, characters 4350-4351: +T is linear: name it _T (discard) or T_ (fresh variable) +Warning: File "/build/reproducible-path/elpi-2.0.7/tests/sources/helena_elpi/helena.elpi", line 122, column 12, characters 4396-4397: +U is linear: name it _U (discard) or U_ (fresh variable) +Warning: File "/build/reproducible-path/elpi-2.0.7/tests/sources/helena_elpi/helena.elpi", line 228, column 9, characters 8392-8394: +T1 is linear: name it _T1 (discard) or T1_ (fresh variable) +Warning: File "/build/reproducible-path/elpi-2.0.7/tests/sources/helena_elpi/helena.elpi", line 234, column 15, characters 8614-8616: +M1 is linear: name it _M1 (discard) or M1_ (fresh variable) +Warning: File "/build/reproducible-path/elpi-2.0.7/tests/sources/helena_elpi/helena.elpi", line 234, column 9, characters 8608-8610: +T1 is linear: name it _T1 (discard) or T1_ (fresh variable) +Warning: File "/build/reproducible-path/elpi-2.0.7/tests/sources/helena_elpi/helena.elpi", line 237, column 16, characters 8703-8705: +M1 is linear: name it _M1 (discard) or M1_ (fresh variable) +Warning: File "/build/reproducible-path/elpi-2.0.7/tests/sources/helena_elpi/helena.elpi", line 237, column 23, characters 8710-8711: +N is linear: name it _N (discard) or N_ (fresh variable) +Warning: File "/build/reproducible-path/elpi-2.0.7/tests/sources/helena_elpi/helena.elpi", line 237, column 25, characters 8712-8713: +U is linear: name it _U (discard) or U_ (fresh variable) +Warning: File "/build/reproducible-path/elpi-2.0.7/tests/sources/helena_elpi/helena.elpi", line 240, column 21, characters 8814-8815: +M is linear: name it _M (discard) or M_ (fresh variable) +Warning: File "/build/reproducible-path/elpi-2.0.7/tests/sources/helena_elpi/helena.elpi", line 240, column 27, characters 8820-8822: +M2 is linear: name it _M2 (discard) or M2_ (fresh variable) +Warning: File "/build/reproducible-path/elpi-2.0.7/tests/sources/helena_elpi/helena.elpi", line 240, column 19, characters 8812-8813: +T is linear: name it _T (discard) or T_ (fresh variable) +Warning: File "/build/reproducible-path/elpi-2.0.7/tests/sources/helena_elpi/helena.elpi", line 240, column 33, characters 8826-8828: +T2 is linear: name it _T2 (discard) or T2_ (fresh variable) +Warning: File "/build/reproducible-path/elpi-2.0.7/tests/sources/helena_elpi/helena.elpi", line 253, column 12, characters 9237-9238: +L is linear: name it _L (discard) or L_ (fresh variable) +Warning: File "/build/reproducible-path/elpi-2.0.7/tests/sources/helena_elpi/helena.elpi", line 253, column 25, characters 9250-9251: +M is linear: name it _M (discard) or M_ (fresh variable) +Warning: File "/build/reproducible-path/elpi-2.0.7/tests/sources/helena_elpi/helena.elpi", line 253, column 16, characters 9241-9242: +U is linear: name it _U (discard) or U_ (fresh variable) +Warning: File "/build/reproducible-path/elpi-2.0.7/tests/sources/helena_elpi/helena.elpi", line 266, column 10, characters 9747-9748: +N is linear: name it _N (discard) or N_ (fresh variable) +Warning: File "/build/reproducible-path/elpi-2.0.7/tests/sources/helena_elpi/helena.elpi", line 275, column 10, characters 9987-9988: +L is linear: name it _L (discard) or L_ (fresh variable) +Warning: File "/build/reproducible-path/elpi-2.0.7/tests/sources/helena_elpi/helena.elpi", line 297, column 12, characters 10830-10831: +C is linear: name it _C (discard) or C_ (fresh variable) +Warning: File "/build/reproducible-path/elpi-2.0.7/tests/sources/helena_elpi/helena.elpi", line 304, column 12, characters 11080-11081: +C is linear: name it _C (discard) or C_ (fresh variable) +Warning: File "/build/reproducible-path/elpi-2.0.7/tests/sources/helena_elpi/helena.elpi", line 311, column 29, characters 11377-11378: +C is linear: name it _C (discard) or C_ (fresh variable) +Warning: File "/build/reproducible-path/elpi-2.0.7/tests/sources/helena_elpi/helena.elpi", line 320, column 29, characters 11708-11709: +C is linear: name it _C (discard) or C_ (fresh variable) + +Compilation time: 4.981 + +Typechecking time: 3.268 +------------------------------------------------------------------ +End log of the first failure: _log/elpi+grundlagen.log +------------------------------------------------------------------ +make[2]: *** [Makefile:87: tests] Error 1 make[2]: Leaving directory '/build/reproducible-path/elpi-2.0.7' +make[1]: *** [debian/rules:25: override_dh_auto_test] Error 2 make[1]: Leaving directory '/build/reproducible-path/elpi-2.0.7' - create-stamp debian/debhelper-build-stamp - dh_testroot -O--buildsystem=ocaml_dune - dh_prep -O--buildsystem=ocaml_dune - dh_auto_install -O--buildsystem=ocaml_dune - dune install --destdir=debian/tmp --prefix=/usr --libdir=/usr/lib/aarch64-linux-gnu/ocaml/5.3.0 elpi - debian/rules execute_after_dh_auto_install -make[1]: Entering directory '/build/reproducible-path/elpi-2.0.7' -# drop excess LICENSE files -rm -f debian/tmp/usr/doc/elpi/LICENSE -# don't declare the documentation files as part of the package -find debian/tmp -name dune-package | xargs sed -i -e "s|(doc[^()]*([^()]*))||g" -find debian/tmp -name dune-package | xargs sed -i -e "s|(doc[^()]*)||g" -# we detect what to ship -find debian/tmp -regextype posix-awk \ - -regex '.*\.(cma|cmxs)$' \ - >> debian/libelpi-ocaml.install -find debian/tmp -regextype posix-awk \ - -regex '.*\.(a|cmi|cmo|cmt|cmti|cmx|cmxa|ml|mli|o])$' \ - >> debian/libelpi-ocaml-dev.install -make[1]: Leaving directory '/build/reproducible-path/elpi-2.0.7' - dh_install -O--buildsystem=ocaml_dune - dh_ocamldoc -O--buildsystem=ocaml_dune - dh_installdocs -O--buildsystem=ocaml_dune - dh_installchangelogs -O--buildsystem=ocaml_dune - dh_installman -O--buildsystem=ocaml_dune - dh_installsystemduser -O--buildsystem=ocaml_dune - dh_perl -O--buildsystem=ocaml_dune - dh_link -O--buildsystem=ocaml_dune - dh_strip_nondeterminism -O--buildsystem=ocaml_dune - dh_compress -O--buildsystem=ocaml_dune - dh_fixperms -O--buildsystem=ocaml_dune - dh_missing -O--buildsystem=ocaml_dune - dh_dwz -a -O--buildsystem=ocaml_dune -dwz: debian/libelpi-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/lexer_config/elpi_lexer_config.cmxs: DWARF compression not beneficial - old size 1533 new size 1533 -dwz: debian/libelpi-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/trace/ppx/trace_ppx.cmxs: DWARF compression not beneficial - old size 3000 new size 3000 -dwz: debian/libelpi-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/trace/runtime/trace_ppx_runtime.cmxs: DWARF compression not beneficial - old size 4790 new size 4790 -dwz: debian/libelpi-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/elpi/util/elpi_util.cmxs: DWARF compression not beneficial - old size 9478 new size 9478 - dh_strip -a -O--buildsystem=ocaml_dune - dh_makeshlibs -a -O--buildsystem=ocaml_dune - dh_shlibdeps -a -O--buildsystem=ocaml_dune -dpkg-shlibdeps: warning: diversions involved - output may be incorrect - diversion by libc6 from: /lib/ld-linux-aarch64.so.1 -dpkg-shlibdeps: warning: diversions involved - output may be incorrect - diversion by libc6 to: /lib/ld-linux-aarch64.so.1.usr-is-merged -dpkg-shlibdeps: warning: diversions involved - output may be incorrect - diversion by libc6 from: /lib/ld-linux-aarch64.so.1 -dpkg-shlibdeps: warning: diversions involved - output may be incorrect - diversion by libc6 to: /lib/ld-linux-aarch64.so.1.usr-is-merged - dh_installdeb -O--buildsystem=ocaml_dune - dh_ocaml -O--buildsystem=ocaml_dune - dh_gencontrol -O--buildsystem=ocaml_dune -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 -O--buildsystem=ocaml_dune - dh_builddeb -O--buildsystem=ocaml_dune -dpkg-deb: building package 'libelpi-ocaml-dbgsym' in '../libelpi-ocaml-dbgsym_2.0.7-2_arm64.deb'. -dpkg-deb: building package 'libelpi-ocaml' in '../libelpi-ocaml_2.0.7-2_arm64.deb'. -dpkg-deb: building package 'libelpi-ocaml-dev' in '../libelpi-ocaml-dev_2.0.7-2_arm64.deb'. -dpkg-deb: building package 'libelpi-ocaml-dev-dbgsym' in '../libelpi-ocaml-dev-dbgsym_2.0.7-2_arm64.deb'. -dpkg-deb: building package 'elpi-dbgsym' in '../elpi-dbgsym_2.0.7-2_arm64.deb'. -dpkg-deb: building package 'elpi' in '../elpi_2.0.7-2_arm64.deb'. - dpkg-genbuildinfo --build=binary -O../elpi_2.0.7-2_arm64.buildinfo - dpkg-genchanges --build=binary -O../elpi_2.0.7-2_arm64.changes -dpkg-genchanges: info: binary-only upload (no source code included) - dpkg-source --after-build . -dpkg-buildpackage: info: binary-only upload (no source included) -dpkg-genchanges: info: not including original source code in upload +make: *** [debian/rules:8: binary] Error 2 +dpkg-buildpackage: error: debian/rules binary subprocess returned exit status 2 I: copying local configuration +E: Failed autobuilding of package +I: user script /srv/workspace/pbuilder/2602173/tmp/hooks/C01_cleanup starting +debug output: disk usage on i-capture-the-hostname at Thu Oct 15 09:17:19 UTC 2026 +Filesystem Size Used Avail Use% Mounted on +tmpfs 16G 0 16G 0% /dev/shm + +I: user script /srv/workspace/pbuilder/2602173/tmp/hooks/C01_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/3700223 and its subdirectories -I: Current time: Thu Sep 11 14:47:43 -12 2025 -I: pbuilder-time-stamp: 1757645263 +I: removing directory /srv/workspace/pbuilder/2602173 and its subdirectories