The time is now Thursday, December 12th, 2024 12:21:06am (/usr/bin/env PLTUSERHOME=/home/root//user PLT_PKG_BUILD_SERVICE=1 CI=true PLT_INFO_ALLOW_VARS=;PLT_PKG_BUILD_SERVICE PLTCOMPILEDROOTS=/home/root//zo: DISPLAY=:1 DISPLAY=:1 PLTSTDOUT=debug@pkg info@GC:major /usr/bin/xvfb-run -n 1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 2 -u --auto fpbench && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 2 --drdr --package fpbench) Resolved "fpbench" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "me@pavpanchekha.com bsaiki@cs.washington.edu") (checksum . "2884be11983784532db232ebee2e64af9415b407") (dependencies . (("base") ("math-lib") ("generic-flonum") ("rackunit-lib"))) (description . "Tools for the FPBench numerical software standards (more info at http://fpbench.org/)") (modules . ((lib "fpbench/src/fpcore-extra.rkt") (lib "fpbench/infra/test-core2matlab.rkt") (lib "fpbench/src/core2js.rkt") (lib "fpbench/src/core2ocaml.rkt") (lib "fpbench/infra/gen-expr.rkt") (lib "fpbench/toolserver.rkt") (lib "fpbench/src/core2python.rkt") (lib "fpbench/infra/test-common.rkt") (lib "fpbench/infra/test-core2js.rkt") (lib "fpbench/src/sampler.rkt") (lib "fpbench/src/core2matlab.rkt") (lib "fpbench/infra/test-core2go.rkt") (lib "fpbench/export.rkt") (lib "fpbench/src/supported.rkt") (lib "fpbench/infra/gen-tests.rkt") (lib "fpbench/infra/test-core2vivado.rkt") (lib "fpbench/src/fpcore-checker.rkt") (lib "fpbench/src/multi-command-line.rkt") (lib "fpbench/infra/test-core2python.rkt") (lib "fpbench/src/range-analysis.rkt") (lib "fpbench/src/core2julia.rkt") (lib "fpbench/src/fpcore-reader.rkt") (lib "fpbench/src/core2haskell.rkt") (lib "fpbench/infra/test-core2java.rkt") (lib "fpbench/src/core2vivado.rkt") (lib "fpbench/src/canonicalizer.rkt") (lib "fpbench/src/core2smtlib2.rkt") (lib "fpbench/fpbench.rkt") (lib "fpbench/src/core2go.rkt") (lib "fpbench/src/ml-canonicalizer.rkt") (lib "fpbench/src/core2gappa.rkt") (lib "fpbench/src/common-subexpr-elim.rkt") (lib "fpbench/src/core2rust.rkt") (lib "fpbench/infra/test-core2ocaml.rkt") (lib "fpbench/src/core2sollya.rkt") (lib "fpbench/src/imperative.rkt") (lib "fpbench/src/core2java.rkt") (lib "fpbench/infra/test-core2fptaylor.rkt") (lib "fpbench/src/lisp.rkt") (lib "fpbench/src/core2fortran03.rkt") (lib "fpbench/infra/test-core2sollya.rkt") (lib "fpbench/src/core2tex.rkt") (lib "fpbench/src/core2scala.rkt") (lib "fpbench/infra/bench-stats.rkt") (lib "fpbench/infra/gen-sanity.rkt") (lib "fpbench/infra/test-core2fortran03.rkt") (lib "fpbench/src/compilers.rkt") (lib "fpbench/src/evaluator.rkt") (lib "fpbench/src/common.rkt") (lib "fpbench/evaluate.rkt") (lib "fpbench/src/core2c.rkt") (lib "fpbench/infra/core2json.rkt") (lib "fpbench/infra/test-core2c.rkt") (lib "fpbench/src/core2fptaylor.rkt") (lib "fpbench/infra/test-core2haskell.rkt") (lib "fpbench/infra/test-core2smtlib2.rkt") (lib "fpbench/src/ml.rkt") (lib "fpbench/src/core2wls.rkt") (lib "fpbench/src/core2h.rkt") (lib "fpbench/transform.rkt") (lib "fpbench/infra/test-core2julia.rkt") (lib "fpbench/infra/test-core2rust.rkt") (lib "fpbench/src/fpcore-interpreter.rkt") (lib "fpbench/src/core2cakeml.rkt") (lib "fpbench/infra/test-core2cakeml.rkt") (lib "fpbench/main.rkt") (lib "fpbench/src/fpcore-visitor.rkt") (lib "fpbench/infra/test-core2wls.rkt") (lib "fpbench/infra/filter.rkt") (lib "fpbench/src/tensor.rkt") (lib "fpbench/infra/test-core2scala.rkt"))) (name . "fpbench") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/fpbench.zip") (tags . ("floating-point" "numerical" "standards"))) Resolved "generic-flonum" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "me@pavpanchekha.com bksaiki@gmail.com") (checksum . "7363a49cf4fc3114d6e38c45f67eb8d9b390aa3a") (dependencies . (("math-lib") ("base") ("scribble-lib") ("rackunit-lib") ("racket-doc") ("math-doc"))) (description . "Alternative MPFR interface for emulating IEEE-754 floating-point numbers") (modules . ((lib "generic-flonum/private/mpfr.rkt") (lib "generic-flonum/private/ffi.rkt") (lib "generic-flonum/scribblings/generic-flonum.scrbl") (lib "generic-flonum/main.rkt") (lib "generic-flonum/tests/test.rkt") (lib "generic-flonum/private/gfl-interface.rkt") (lib "generic-flonum/private/gfl-consts.rkt") (lib "generic-flonum/private/gfl.rkt"))) (name . "generic-flonum") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/generic-flonum.zip") (tags . ("floating-point" "math"))) pkg: creating single-collection link to # pkg: updating db with "generic-flonum" to '#s((sc-pkg-info pkg-info 3) (catalog "generic-flonum") "7363a49cf4fc3114d6e38c45f67eb8d9b390aa3a" #t "generic-flonum") pkg: creating single-collection link to # pkg: updating db with "fpbench" to '#s((sc-pkg-info pkg-info 3) (catalog "fpbench") "2884be11983784532db232ebee2e64af9415b407" #f "fpbench") The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of fpbench: generic-flonum raco setup: version: 8.15 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 8.15 raco setup: variants: cs raco setup: main collects: /home/root/racket/collects/ raco setup: collects paths: raco setup: /home/root/user/.local/share/racket/8.15/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/8.15/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.15/links.rktd raco setup: compiled-file roots: raco setup: /home/root//zo raco setup: same raco setup: main docs: /home/root/racket/doc raco setup: --- updating info-domain tables --- [0:21:08] raco setup: updating: /home/root/user/.local/share/racket/8.15/share/info-cache.rktd raco setup: --- pre-installing collections --- [0:21:08] raco setup: --- installing foreign libraries --- [0:21:08] raco setup: --- installing shared files --- [0:21:08] raco setup: --- compiling collections --- [0:21:08] raco setup: --- parallel build using 2 jobs --- [0:21:08] raco setup: 1 making: /fpbench (fpbench) raco setup: 0 making: /generic-flonum (generic-flonum) raco setup: 0 making: /generic-flonum/private raco setup: 0 making: /generic-flonum/tests raco setup: 1 making: /fpbench/src raco setup: --- creating launchers --- [0:21:13] raco setup: launcher: /home/root/user/.local/share/racket/8.15/bin/fpbench raco setup: --- installing man pages --- [0:21:13] raco setup: --- building documentation --- [0:21:13] raco setup: syncing: /generic-flonum/doc/generic-flonum raco setup: 0 running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 0 running: /racket-index/scribblings/main/user/release.scrbl raco setup: 0 running: /racket-index/scribblings/main/user/search.scrbl raco setup: 0 running: /racket-index/scribblings/main/user/start.scrbl raco setup: 1 rendering: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/release.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/search.scrbl raco setup: 1 rendering: /racket-index/scribblings/main/user/start.scrbl raco setup: --- installing collections --- [0:21:18] raco setup: --- post-installing collections --- [0:21:18] GC: 0:atexit peak 329,894K(+136,241K); alloc 10,839,841K; major 5; minor 556; 2710ms raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/evaluate.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/export.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/fpbench.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/info.rkt") raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/bench-stats.rkt") test) raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/core2json.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/filter.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/gen-expr.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/gen-sanity.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/gen-tests.rkt") raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/test-common.rkt") test) raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/test-core2c.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/test-core2cakeml.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/test-core2fortran03.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/test-core2fptaylor.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/test-core2go.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/test-core2haskell.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/test-core2java.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/test-core2js.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/test-core2julia.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/test-core2matlab.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/test-core2ocaml.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/test-core2python.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/test-core2rust.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/test-core2scala.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/test-core2smtlib2.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/test-core2sollya.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/test-core2vivado.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/test-core2wls.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/canonicalizer.rkt") raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/common-subexpr-elim.rkt") test) raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/common.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/compilers.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2c.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2cakeml.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2fortran03.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2fptaylor.rkt") raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2gappa.rkt") test) raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2go.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2h.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2haskell.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2java.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2js.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2julia.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2matlab.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2ocaml.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2python.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2rust.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2scala.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2smtlib2.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2sollya.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2tex.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2vivado.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2wls.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/evaluator.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/fpcore-checker.rkt") raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/fpcore-extra.rkt") test) raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/fpcore-interpreter.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/fpcore-reader.rkt") raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/fpcore-visitor.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/imperative.rkt") test) raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/lisp.rkt") raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/ml-canonicalizer.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/ml.rkt") test) raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/multi-command-line.rkt") raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/range-analysis.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/sampler.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/supported.rkt") test) raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/tensor.rkt") raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/toolserver.rkt") test) raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/fpbench/transform.rkt") 69 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/range-analysis.rkt 31 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/fpcore-extra.rkt 30 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/common-subexpr-elim.rkt 18 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/sampler.rkt 17 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/fpcore-visitor.rkt 5 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/ml-canonicalizer.rkt 3 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/supported.rkt 3 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/toolserver.rkt 1 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/bench-stats.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/evaluate.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/export.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/fpbench.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/info.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/core2json.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/filter.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/gen-expr.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/gen-sanity.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/gen-tests.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/test-common.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/test-core2c.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/test-core2cakeml.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/test-core2fortran03.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/test-core2fptaylor.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/test-core2go.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/test-core2haskell.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/test-core2java.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/test-core2js.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/test-core2julia.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/test-core2matlab.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/test-core2ocaml.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/test-core2python.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/test-core2rust.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/test-core2scala.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/test-core2smtlib2.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/test-core2sollya.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/test-core2vivado.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/infra/test-core2wls.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/main.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/canonicalizer.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/common.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/compilers.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2c.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2cakeml.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2fortran03.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2fptaylor.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2gappa.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2go.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2h.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2haskell.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2java.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2js.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2julia.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2matlab.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2ocaml.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2python.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2rust.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2scala.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2smtlib2.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2sollya.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2tex.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2vivado.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/core2wls.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/evaluator.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/fpcore-checker.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/fpcore-interpreter.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/fpcore-reader.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/imperative.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/lisp.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/ml.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/multi-command-line.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/src/tensor.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/fpbench/transform.rkt 177 tests passed GC: 0:atexit peak 98,311K(+38,184K); alloc 626,766K; major 1; minor 74; 197ms The time is now Thursday, December 12th, 2024 12:21:37am