The time is now Sunday, January 17th, 2021 2:06:56am (/usr/bin/env DISPLAY=:1 PLT_PKG_BUILD_SERVICE=1 PLTUSERHOME=/home/root//user PLT_PKG_BUILD_SERVICE=1 CI=true PLTSTDERR=debug@pkg error PLT_INFO_ALLOW_VARS=;PLT_PKG_BUILD_SERVICE /usr/bin/xvfb-run -n 1 /bin/sh -c cd "/home/root/"/racket && bin/raco pkg install -u --auto herbie && bin/raco test --drdr --package herbie) Resolved "herbie" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "me@pavpanchekha.com") (checksum . "8a0c91c42c4373dff99b4358eddeaf97ed2ae634") (dependencies . (("base" #:version "7.0") ("math-lib") ("plot-lib") ("profile-lib") ("rackunit-lib") ("web-server-lib") ("egg-herbie-windows" #:version "1.4" #:platform "win32\\x86_64") ("egg-herbie-osx" #:version "1.4" #:platform "x86_64-macosx") ("egg-herbie-linux" #:version "1.4" #:platform "x86_64-linux") ("regraph" #:version "1.4") ("rival" #:version "1.4") ("fpbench" #:version "2.0") ("rackunit-lib"))) (description . "A tool for automatically improving the accuracy of floating point expressions") (modules . ((lib "herbie/sampling.rkt") (lib "herbie/timeline.rkt") (lib "herbie/syntax/type-check.rkt") (lib "herbie/float.rkt") (lib "herbie/web/history.rkt") (lib "herbie/web/make-report.rkt") (lib "herbie/syntax/test-rules.rkt") (lib "herbie/core/reduce.rkt") (lib "herbie/points.rkt") (lib "herbie/shell.rkt") (lib "herbie/mainloop.rkt") (lib "herbie/web/plot.rkt") (lib "herbie/core/regimes.rkt") (lib "herbie/core/alt-table.rkt") (lib "herbie/herbie.rkt") (lib "herbie/interface.rkt") (lib "herbie/errors.rkt") (lib "herbie/debug.rkt") (lib "herbie/config.rkt") (lib "herbie/improve.rkt") (lib "herbie/multi-command-line.rkt") (lib "herbie/profile.rkt") (lib "herbie/web/make-graph.rkt") (lib "herbie/web/traceback.rkt") (lib "herbie/syntax/rules.rkt") (lib "herbie/common.rkt") (lib "herbie/core/simplify.rkt") (lib "herbie/syntax/read.rkt") (lib "herbie/core/matcher.rkt") (lib "herbie/web/timeline.rkt") (lib "herbie/plugin.rkt") (lib "herbie/searchreals.rkt") (lib "herbie/core/localize.rkt") (lib "herbie/sandbox.rkt") (lib "herbie/syntax/types.rkt") (lib "herbie/syntax/syntax-check.rkt") (lib "herbie/web/pages.rkt") (lib "herbie/web/thread-pool.rkt") (lib "herbie/datafile.rkt") (lib "herbie/web/common.rkt") (lib "herbie/web/run.rkt") (lib "herbie/function-definitions.rkt") (lib "herbie/programs.rkt") (lib "herbie/core/taylor.rkt") (lib "herbie/alternative.rkt") (lib "herbie/syntax/syntax.rkt") (lib "herbie/core/periodicity.rkt") (lib "herbie/web/demo.rkt"))) (name . "herbie") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/herbie.zip") (tags . ("floating-point" "synthesis"))) 00: Resolved "regraph" via file:///home/root//catalogs/built/catalog 00: Resolved "rival" via file:///home/root//catalogs/built/catalog Resolved "fpbench" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "alex.sanchezstern@gmail.com me@pavpanchekha.com") (checksum . "644e7ad9462d0aab7b67282a6c3de13ebd997bbb") (dependencies . (("base" #:version "7.0") ("rackunit-lib"))) (description . "A pure-Racket equivalence graph") (modules . ((lib "regraph/ematch.rkt") (lib "regraph/infra/index.rkt") (lib "regraph/infra/precompute.rkt") (lib "regraph/extraction.rkt") (lib "regraph/main.rkt") (lib "regraph/egraph.rkt") (lib "regraph/infra/time-regraph.rkt") (lib "regraph/enode.rkt"))) (name . "regraph") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/regraph.zip") (tags . ("data-structures" "equality" "simplification"))) pkg: catalog response: #hash((author . "me@pavpanchekha.com") (checksum . "2230565c8a35755c70997cabd2c0cbc7fa739bfd") (dependencies . (("base" #:version "7.0") ("math-lib") ("rackunit-lib") ("biginterval") ("rackunit-lib"))) (description . "Interval analysis for real computation") (modules . ((lib "rival/infra/run-mathematica.rkt") (lib "rival/infra/run-mpfi.rkt") (lib "rival/main.rkt") (lib "rival/infra/report.rkt") (lib "rival/infra/format-mathematica.rkt") (lib "rival/infra/interval-evaluate.rkt"))) (name . "rival") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/rival.zip") (tags . ("analysis" "floating-point" "numerical"))) pkg: catalog response: #hash((author . "dthien@cs.washington.edu me@pavpanchekha.com") (checksum . "9c66b74151056a6f3e9875db29d240f9c2187e3f") (dependencies . (("base") ("math-lib") ("rackunit-lib"))) (description . "Tools for the FPBench numerical software standards (more info at http://fpbench.org/)") (modules . ((lib "fpbench/infra/test-core2js.rkt") (lib "fpbench/src/sampler.rkt") (lib "fpbench/evaluate.rkt") (lib "fpbench/transform.rkt") (lib "fpbench/src/core2cml.rkt") (lib "fpbench/src/core2tex.rkt") (lib "fpbench/infra/test-core2c.rkt") (lib "fpbench/src/core2js.rkt") (lib "fpbench/src/supported.rkt") (lib "fpbench/src/fpcore-visitor.rkt") (lib "fpbench/infra/test-core2cml.rkt") (lib "fpbench/src/canonicalizer.rkt") (lib "fpbench/infra/gen-expr.rkt") (lib "fpbench/infra/test-core2sollya.rkt") (lib "fpbench/infra/test-core2go.rkt") (lib "fpbench/infra/gen-tests.rkt") (lib "fpbench/src/common-subexpr-elim.rkt") (lib "fpbench/infra/test-core2scala.rkt") (lib "fpbench/main.rkt") (lib "fpbench/src/fpcore-reader.rkt") (lib "fpbench/src/core2fptaylor.rkt") (lib "fpbench/export.rkt") (lib "fpbench/src/compilers.rkt") (lib "fpbench/src/core2sollya.rkt") (lib "fpbench/infra/test-core2fptaylor.rkt") (lib "fpbench/src/common.rkt") (lib "fpbench/infra/filter.rkt") (lib "fpbench/src/fpcore-checker.rkt") (lib "fpbench/infra/test-core2wls.rkt") (lib "fpbench/toolserver.rkt") (lib "fpbench/src/tensor.rkt") (lib "fpbench/src/core2gappa.rkt") (lib "fpbench/src/functional.rkt") (lib "fpbench/src/fpcore-interpreter.rkt") (lib "fpbench/infra/gen-sanity.rkt") (lib "fpbench/src/core2smtlib2.rkt") (lib "fpbench/src/core2go.rkt") (lib "fpbench/infra/test-core2smtlib2.rkt") (lib "fpbench/src/fpcore-extra.rkt") (lib "fpbench/infra/bench-stats.rkt") (lib "fpbench/src/core2wls.rkt") (lib "fpbench/src/imperative.rkt") (lib "fpbench/infra/core2json.rkt") (lib "fpbench/src/core2c.rkt") (lib "fpbench/src/range-analysis.rkt") (lib "fpbench/src/core2scala.rkt") (lib "fpbench/infra/test-common.rkt"))) (name . "fpbench") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/fpbench.zip") (tags . ("floating-point" "numerical" "standards"))) Resolved "biginterval" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "oflatt@gmail.com") (checksum . "1b07023ff3aa6c4f0027dfdc86eb840f5d155997") (dependencies . ()) (description . "A racket interface to MPFI, the interval library based on MPFR. http://perso.ens-lyon.fr/nathalie.revol/software.html.\r\nYou should use the package `rival` instead of this.") (modules . ((lib "biginterval/main.rkt"))) (name . "biginterval") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/biginterval.zip") (tags . ())) pkg: creating single-collection link to # pkg: updating db with "herbie" to '#s((sc-pkg-info pkg-info 3) (catalog "herbie") "8a0c91c42c4373dff99b4358eddeaf97ed2ae634" #f "herbie") pkg: creating single-collection link to # pkg: updating db with "regraph" to '#s((sc-pkg-info pkg-info 3) (catalog "regraph") "644e7ad9462d0aab7b67282a6c3de13ebd997bbb" #t "regraph") pkg: creating single-collection link to # pkg: updating db with "rival" to '#s((sc-pkg-info pkg-info 3) (catalog "rival") "2230565c8a35755c70997cabd2c0cbc7fa739bfd" #t "rival") pkg: creating single-collection link to # pkg: updating db with "fpbench" to '#s((sc-pkg-info pkg-info 3) (catalog "fpbench") "9c66b74151056a6f3e9875db29d240f9c2187e3f" #t "fpbench") pkg: creating single-collection link to # pkg: updating db with "biginterval" to '#s((sc-pkg-info pkg-info 3) (catalog "biginterval") "1b07023ff3aa6c4f0027dfdc86eb840f5d155997" #t "biginterval") The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of herbie: regraph rival fpbench dependencies of rival: biginterval raco setup: version: 7.9 raco setup: platform: x86_64-linux-natipkg [3m] raco setup: target machine: racket raco setup: installation name: 7.9 raco setup: variants: 3m raco setup: main collects: /home/root/racket/collects raco setup: collects paths: raco setup: /home/root/user/.local/share/racket/7.9/collects raco setup: /home/root/racket/collects raco setup: main pkgs: /home/root/racket/share/pkgs raco setup: pkgs paths: raco setup: /home/root/racket/share/pkgs raco setup: /home/root//user/.local/share/racket/7.9/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/7.9/links.rktd raco setup: main docs: /home/root/racket/doc raco setup: --- updating info-domain tables --- [2:07:00] raco setup: updating: /home/root/user/.local/share/racket/7.9/share/info-cache.rktd raco setup: --- pre-installing collections --- [2:07:00] raco setup: --- installing foreign libraries --- [2:07:00] raco setup: --- installing shared files --- [2:07:00] raco setup: --- compiling collections --- [2:07:00] raco setup: making: /biginterval raco setup: making: /fpbench (fpbench) raco setup: making: /fpbench/benchmarks raco setup: making: /fpbench/infra raco setup: making: /fpbench/papers raco setup: making: /fpbench/papers/nsv16 raco setup: making: /fpbench/src raco setup: making: /fpbench/tests raco setup: making: /fpbench/tests/sanity raco setup: making: /fpbench/tests/scripts raco setup: making: /fpbench/tests/scripts/fpcores raco setup: making: /herbie raco setup: making: /herbie/core raco setup: making: /herbie/syntax raco setup: making: /herbie/web raco setup: making: /regraph raco setup: making: /regraph/infra raco setup: making: /rival raco setup: making: /rival/infra raco setup: --- creating launchers --- [2:07:01] raco setup: launcher: /home/root/user/.local/share/racket/7.9/bin/herbie raco setup: --- installing man pages --- [2:07:01] raco setup: --- building documentation --- [2:07:01] raco setup: --- installing collections --- [2:07:02] raco setup: --- post-installing collections --- [2:07:02] raco test: "/home/root//user/.local/share/racket/7.9/pkgs/herbie/alternative.rkt" raco test: (submod "/home/root//user/.local/share/racket/7.9/pkgs/herbie/common.rkt" test) raco test: "/home/root//user/.local/share/racket/7.9/pkgs/herbie/config.rkt" raco test: "/home/root//user/.local/share/racket/7.9/pkgs/herbie/core/alt-table.rkt" raco test: "/home/root//user/.local/share/racket/7.9/pkgs/herbie/core/localize.rkt" raco test: "/home/root//user/.local/share/racket/7.9/pkgs/herbie/core/matcher.rkt" raco test: "/home/root//user/.local/share/racket/7.9/pkgs/herbie/core/periodicity.rkt" raco test: "/home/root//user/.local/share/racket/7.9/pkgs/herbie/core/reduce.rkt" raco test: (submod "/home/root//user/.local/share/racket/7.9/pkgs/herbie/core/regimes.rkt" test) raco test: (submod "/home/root//user/.local/share/racket/7.9/pkgs/herbie/core/simplify.rkt" test) raco test: (submod "/home/root//user/.local/share/racket/7.9/pkgs/herbie/core/taylor.rkt" test) raco test: "/home/root//user/.local/share/racket/7.9/pkgs/herbie/datafile.rkt" raco test: "/home/root//user/.local/share/racket/7.9/pkgs/herbie/debug.rkt" raco test: "/home/root//user/.local/share/racket/7.9/pkgs/herbie/errors.rkt" raco test: (submod "/home/root//user/.local/share/racket/7.9/pkgs/herbie/float.rkt" test) raco test: "/home/root//user/.local/share/racket/7.9/pkgs/herbie/function-definitions.rkt" raco test: "/home/root//user/.local/share/racket/7.9/pkgs/herbie/herbie.rkt" raco test: "/home/root//user/.local/share/racket/7.9/pkgs/herbie/improve.rkt" raco test: "/home/root//user/.local/share/racket/7.9/pkgs/herbie/info.rkt" raco test: "/home/root//user/.local/share/racket/7.9/pkgs/herbie/interface.rkt" raco test: "/home/root//user/.local/share/racket/7.9/pkgs/herbie/mainloop.rkt" raco test: "/home/root//user/.local/share/racket/7.9/pkgs/herbie/multi-command-line.rkt" raco test: "/home/root//user/.local/share/racket/7.9/pkgs/herbie/plugin.rkt" raco test: "/home/root//user/.local/share/racket/7.9/pkgs/herbie/profile.rkt" raco test: (submod "/home/root//user/.local/share/racket/7.9/pkgs/herbie/programs.rkt" test) raco test: (submod "/home/root//user/.local/share/racket/7.9/pkgs/herbie/sampling.rkt" test) raco test: "/home/root//user/.local/share/racket/7.9/pkgs/herbie/sandbox.rkt" raco test: (submod "/home/root//user/.local/share/racket/7.9/pkgs/herbie/searchreals.rkt" test) raco test: "/home/root//user/.local/share/racket/7.9/pkgs/herbie/shell.rkt" raco test: "/home/root//user/.local/share/racket/7.9/pkgs/herbie/syntax/read.rkt" raco test: (submod "/home/root//user/.local/share/racket/7.9/pkgs/herbie/syntax/rules.rkt" test) raco test: "/home/root//user/.local/share/racket/7.9/pkgs/herbie/syntax/syntax-check.rkt" raco test: (submod "/home/root//user/.local/share/racket/7.9/pkgs/herbie/syntax/syntax.rkt" test) raco test: (submod "/home/root//user/.local/share/racket/7.9/pkgs/herbie/syntax/type-check.rkt" test) raco test: "/home/root//user/.local/share/racket/7.9/pkgs/herbie/syntax/types.rkt" raco test: "/home/root//user/.local/share/racket/7.9/pkgs/herbie/timeline.rkt" raco test: "/home/root//user/.local/share/racket/7.9/pkgs/herbie/web/common.rkt" raco test: "/home/root//user/.local/share/racket/7.9/pkgs/herbie/web/demo.rkt" raco test: "/home/root//user/.local/share/racket/7.9/pkgs/herbie/web/history.rkt" raco test: "/home/root//user/.local/share/racket/7.9/pkgs/herbie/web/make-graph.rkt" raco test: "/home/root//user/.local/share/racket/7.9/pkgs/herbie/web/make-report.rkt" raco test: "/home/root//user/.local/share/racket/7.9/pkgs/herbie/web/pages.rkt" raco test: "/home/root//user/.local/share/racket/7.9/pkgs/herbie/web/plot.rkt" raco test: "/home/root//user/.local/share/racket/7.9/pkgs/herbie/web/run.rkt" raco test: "/home/root//user/.local/share/racket/7.9/pkgs/herbie/web/thread-pool.rkt" raco test: (submod "/home/root//user/.local/share/racket/7.9/pkgs/herbie/web/timeline.rkt" test) raco test: "/home/root//user/.local/share/racket/7.9/pkgs/herbie/web/traceback.rkt" 214 /home/root//user/.local/share/racket/7.9/pkgs/herbie/core/simplify.rkt 42 /home/root//user/.local/share/racket/7.9/pkgs/herbie/sampling.rkt 12 /home/root//user/.local/share/racket/7.9/pkgs/herbie/syntax/syntax.rkt 11 /home/root//user/.local/share/racket/7.9/pkgs/herbie/common.rkt 10 /home/root//user/.local/share/racket/7.9/pkgs/herbie/syntax/type-check.rkt 7 /home/root//user/.local/share/racket/7.9/pkgs/herbie/core/regimes.rkt 6 /home/root//user/.local/share/racket/7.9/pkgs/herbie/float.rkt 5 /home/root//user/.local/share/racket/7.9/pkgs/herbie/programs.rkt 1 /home/root//user/.local/share/racket/7.9/pkgs/herbie/core/taylor.rkt 1 /home/root//user/.local/share/racket/7.9/pkgs/herbie/syntax/rules.rkt 0 /home/root//user/.local/share/racket/7.9/pkgs/herbie/alternative.rkt 0 /home/root//user/.local/share/racket/7.9/pkgs/herbie/config.rkt 0 /home/root//user/.local/share/racket/7.9/pkgs/herbie/core/alt-table.rkt 0 /home/root//user/.local/share/racket/7.9/pkgs/herbie/core/localize.rkt 0 /home/root//user/.local/share/racket/7.9/pkgs/herbie/core/matcher.rkt 0 /home/root//user/.local/share/racket/7.9/pkgs/herbie/core/periodicity.rkt 0 /home/root//user/.local/share/racket/7.9/pkgs/herbie/core/reduce.rkt 0 /home/root//user/.local/share/racket/7.9/pkgs/herbie/datafile.rkt 0 /home/root//user/.local/share/racket/7.9/pkgs/herbie/debug.rkt 0 /home/root//user/.local/share/racket/7.9/pkgs/herbie/errors.rkt 0 /home/root//user/.local/share/racket/7.9/pkgs/herbie/function-definitions.rkt 0 /home/root//user/.local/share/racket/7.9/pkgs/herbie/herbie.rkt 0 /home/root//user/.local/share/racket/7.9/pkgs/herbie/improve.rkt 0 /home/root//user/.local/share/racket/7.9/pkgs/herbie/info.rkt 0 /home/root//user/.local/share/racket/7.9/pkgs/herbie/interface.rkt 0 /home/root//user/.local/share/racket/7.9/pkgs/herbie/mainloop.rkt 0 /home/root//user/.local/share/racket/7.9/pkgs/herbie/multi-command-line.rkt 0 /home/root//user/.local/share/racket/7.9/pkgs/herbie/plugin.rkt 0 /home/root//user/.local/share/racket/7.9/pkgs/herbie/profile.rkt 0 /home/root//user/.local/share/racket/7.9/pkgs/herbie/sandbox.rkt 0 /home/root//user/.local/share/racket/7.9/pkgs/herbie/searchreals.rkt 0 /home/root//user/.local/share/racket/7.9/pkgs/herbie/shell.rkt 0 /home/root//user/.local/share/racket/7.9/pkgs/herbie/syntax/read.rkt 0 /home/root//user/.local/share/racket/7.9/pkgs/herbie/syntax/syntax-check.rkt 0 /home/root//user/.local/share/racket/7.9/pkgs/herbie/syntax/types.rkt 0 /home/root//user/.local/share/racket/7.9/pkgs/herbie/timeline.rkt 0 /home/root//user/.local/share/racket/7.9/pkgs/herbie/web/common.rkt 0 /home/root//user/.local/share/racket/7.9/pkgs/herbie/web/demo.rkt 0 /home/root//user/.local/share/racket/7.9/pkgs/herbie/web/history.rkt 0 /home/root//user/.local/share/racket/7.9/pkgs/herbie/web/make-graph.rkt 0 /home/root//user/.local/share/racket/7.9/pkgs/herbie/web/make-report.rkt 0 /home/root//user/.local/share/racket/7.9/pkgs/herbie/web/pages.rkt 0 /home/root//user/.local/share/racket/7.9/pkgs/herbie/web/plot.rkt 0 /home/root//user/.local/share/racket/7.9/pkgs/herbie/web/run.rkt 0 /home/root//user/.local/share/racket/7.9/pkgs/herbie/web/thread-pool.rkt 0 /home/root//user/.local/share/racket/7.9/pkgs/herbie/web/timeline.rkt 0 /home/root//user/.local/share/racket/7.9/pkgs/herbie/web/traceback.rkt 309 tests passed The time is now Sunday, January 17th, 2021 2:07:44am