For information about the package build service, see https://pkg-build.racket-lang.org/about.html The time is now Mon, 23 Feb 2026 10:27:01 +0000 (/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: /usr/bin/xvfb-run --auto-servernum -n 1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 2 -u --auto termination && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 2 --drdr --package termination) Resolved "termination" via file:///home/root//catalogs/built/catalog 00: Resolved "bnf" via file:///home/root//catalogs/built/catalog 00: Resolved "set-extras" via file:///home/root//catalogs/built/catalog 01: Resolved "unreachable" via file:///home/root//catalogs/built/catalog Resolved "traces" via file:///home/root//catalogs/built/catalog Resolved "typed-struct-props" via file:///home/root//catalogs/built/catalog Resolved "type-expander" via file:///home/root//catalogs/built/catalog 01: Resolved "hyper-literate" via file:///home/root//catalogs/built/catalog 01: Resolved "auto-syntax-e" via file:///home/root//catalogs/built/catalog 00: Resolved "debug-scopes" via file:///home/root//catalogs/built/catalog 00: Resolved "version-case" via file:///home/root//catalogs/built/catalog 01: Resolved "scribble-enhanced" via file:///home/root//catalogs/built/catalog Resolved "mutable-match-lambda" via file:///home/root//catalogs/built/catalog 01: Resolved "sexp-diff" via file:///home/root//catalogs/built/catalog 01: Resolved "tr-immutable" via file:///home/root//catalogs/built/catalog Resolved "typed-map-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "sexp-diff-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "sexp-diff-doc" via file:///home/root//catalogs/built/catalog Resolved "sexp-diff-test" via file:///home/root//catalogs/built/catalog 01: Resolved "pretty-format" via file:///home/root//catalogs/built/catalog Resolved "reprovide-lang" via file:///home/root//catalogs/built/catalog Resolved "reprovide-lang-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "lang-file-lib" via file:///home/root//catalogs/built/catalog Resolved "syntax-macro-lang" via file:///home/root//catalogs/built/catalog Resolved "kw-utils" via file:///home/root//catalogs/built/catalog 01: Resolved "sweet-exp-lib" via file:///home/root//catalogs/built/catalog Resolved "rackjure" via file:///home/root//catalogs/built/catalog 01: Resolved "threading-lib" via file:///home/root//catalogs/built/catalog Resolved "threading-doc" via file:///home/root//catalogs/built/catalog The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of termination: bnf set-extras unreachable traces dependencies of bnf: typed-struct-props dependencies of typed-struct-props: type-expander dependencies of type-expander: hyper-literate auto-syntax-e debug-scopes version-case scribble-enhanced mutable-match-lambda dependencies of hyper-literate: sexp-diff tr-immutable typed-map-lib dependencies of sexp-diff: sexp-diff-lib sexp-diff-doc sexp-diff-test dependencies of debug-scopes: pretty-format reprovide-lang dependencies of reprovide-lang: reprovide-lang-lib dependencies of reprovide-lang-lib: lang-file-lib syntax-macro-lang dependencies of mutable-match-lambda: kw-utils dependencies of kw-utils: sweet-exp-lib rackjure dependencies of rackjure: threading-lib threading-doc raco setup: version: 9.1 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 9.1 raco setup: variants: cs raco setup: main collects: /home/root/racket/collects/ raco setup: collects paths: raco setup: /home/root/user/.local/share/racket/9.1/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/9.1/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/9.1/links.rktd raco setup: compiled-file roots: raco setup: /home/root//zo raco setup: same raco setup: --- updating info-domain tables --- [10:27:05] raco setup: updating: /home/root/user/.local/share/racket/9.1/share/info-cache.rktd raco setup: --- pre-installing collections --- [10:27:05] raco setup: --- installing foreign libraries --- [10:27:05] raco setup: --- installing shared files --- [10:27:05] raco setup: --- compiling collections --- [10:27:05] raco setup: --- parallel build using 2 jobs --- [10:27:05] raco setup: 1 making: /auto-syntax-e raco setup: 0 making: /bnf raco setup: 1 making: /auto-syntax-e/test raco setup: 1 making: /debug-scopes raco setup: 1 making: /debug-scopes/named-scopes raco setup: 1 making: /debug-scopes/test raco setup: 1 making: /hyper-literate raco setup: 1 making: /hyper-literate/comments raco setup: 0 making: /kw-utils/kw-utils raco setup: 1 making: /hyper-literate/lang raco setup: 1 making: /hyper-literate/private raco setup: 1 making: /hyper-literate/scribblings raco setup: 1 making: /hyper-literate/test raco setup: 1 making: /hyper-literate/test/comments raco setup: 1 making: /lang-file-lib/lang-file raco setup: 1 making: /lang-file-lib/lang-file/test raco setup: 1 making: /mutable-match-lambda/mutable-match-lambda raco setup: 1 making: /pretty-format/pretty-format raco setup: 1 making: /pretty-format/typed raco setup: 1 making: /rackjure/rackjure (rackjure) raco setup: 0 making: /kw-utils/kw-utils/arity+keywords raco setup: 0 making: /kw-utils/kw-utils/kw-hash raco setup: 0 making: /reprovide-lang-lib/reprovide raco setup: 0 making: /reprovide-lang-lib/reprovide/require-transformer raco setup: 0 making: /reprovide-lang-lib/reprovide/require-transformer/private raco setup: 0 making: /reprovide-lang/reprovide raco setup: 0 making: /reprovide-lang/reprovide/test raco setup: 0 making: /reprovide-lang/reprovide/test/example-directory raco setup: 0 making: /reprovide-lang/reprovide/test/other-subdir raco setup: 0 making: /scribble-enhanced raco setup: 0 making: /scribble-enhanced/scribblings raco setup: 0 making: /set-extras raco setup: 0 making: /sexp-diff-doc raco setup: 0 making: /sexp-diff-doc/sexp-diff raco setup: 0 making: /sexp-diff-lib/sexp-diff raco setup: 0 making: /sexp-diff-test/sexp-diff/tests raco setup: 0 making: /sweet-exp-lib/sweet-exp raco setup: 0 making: /sweet-exp-lib/sweet-exp/modern raco setup: 0 making: /sweet-exp-lib/sweet-exp/racket raco setup: 0 making: /syntax-macro-lang/syntax raco setup: 0 making: /syntax-macro-lang/tests/syntax/macro-lang raco setup: 1 making: /rackjure/rackjure/base/lang raco setup: 1 making: /rackjure/rackjure/lang raco setup: 0 making: /termination raco setup: 1 making: /threading-doc/scribblings raco setup: 1 making: /threading-lib/threading raco setup: 1 making: /threading-lib/threading/private raco setup: 1 making: /tr-immutable raco setup: 1 making: /tr-immutable/private raco setup: 1 making: /tr-immutable/test raco setup: 1 making: /tr-immutable/typed-syntax raco setup: 1 making: /traces raco setup: 0 making: /termination/flow-analysis raco setup: 0 making: /termination/tests/Dyn raco setup: 1 making: /type-expander raco setup: 0 making: /termination/tests/Dyn/benchmarks raco setup: 0 making: /termination/tests/Dyn/benchmarks/cm raco setup: 0 making: /termination/tests/Dyn/benchmarks/imp raco setup: 0 making: /termination/tests/Dyn/benchmarks/unchecked raco setup: 0 making: /termination/tests/Dyn/buggy-versions raco setup: 1 making: /type-expander/base/lang raco setup: 1 making: /type-expander/lang raco setup: 1 making: /type-expander/lang/lang raco setup: 1 making: /type-expander/test raco setup: 0 making: /typed-map-lib/typed-map raco setup: 0 making: /typed-struct-props raco setup: 0 making: /typed-struct-props/test raco setup: 1 making: /unreachable raco setup: 1 making: /version-case (version-case) raco setup: 1 making: /version-case/private raco setup: --- creating launchers --- [10:27:22] raco setup: --- installing man pages --- [10:27:22] raco setup: --- building documentation --- [10:27:22] raco setup: syncing: /auto-syntax-e/doc/auto-syntax-e raco setup: syncing: /debug-scopes/doc/debug-scopes raco setup: syncing: /hyper-literate/doc/hyper-literate raco setup: syncing: /kw-utils/kw-utils/doc/kw-utils raco setup: syncing: /mutable-match-lambda/mutable-match-lambda/doc/mutable-match-lambda raco setup: syncing: /pretty-format/pretty-format/doc/pretty-format raco setup: syncing: /rackjure/rackjure/doc/rackjure raco setup: syncing: /reprovide-lang/reprovide/doc/reprovide raco setup: syncing: /scribble-enhanced/doc/scribble-enhanced raco setup: syncing: /scribble-enhanced/doc/scribble-enhanced-example.lp2 raco setup: syncing: /scribble-enhanced/doc/scribble-enhanced-template.lp2 raco setup: syncing: /sexp-diff-doc/sexp-diff/doc/sexp-diff raco setup: syncing: /hyper-literate/doc/test.hl raco setup: syncing: /hyper-literate/doc/test2.hl raco setup: syncing: /threading-doc/scribblings/doc/threading raco setup: syncing: /tr-immutable/doc/tr-immutable raco setup: syncing: /type-expander/doc/type-expander raco setup: syncing: /type-expander/doc/type-expander-implementation raco setup: syncing: /typed-struct-props/doc/typed-struct-props raco setup: syncing: /version-case/doc/version-case raco setup: 0 running: /racket-index/scribblings/main/user/family.scrbl raco setup: 0 running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 1 running: /racket-index/scribblings/main/user/release.scrbl raco setup: 1 running: /racket-index/scribblings/main/user/search.scrbl raco setup: 1 running: /racket-index/scribblings/main/user/start.scrbl raco setup: 1 rendering: /racket-index/scribblings/main/user/family.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 1 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 --- [10:27:32] raco setup: --- post-installing collections --- [10:27:32] raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/apply-with-termination.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/flattened-parameter.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/flow-analysis/analyze.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/flow-analysis/lang.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/flow-analysis/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/flow-analysis/parse.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/flow-analysis/utils.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/info.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/micro-benchmarks.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/runtime-utils.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/size-change-graph.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/syntax-utils.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/test.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/acl2-fig-2.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/acl2-fig-6.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/acl2-fig-7.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/benchmarks/cm/fact.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/benchmarks/cm/interp-fact.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/benchmarks/cm/interp-mergesort.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/benchmarks/cm/interp-sum.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/benchmarks/cm/mergesort.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/benchmarks/cm/sum.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/benchmarks/common.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/benchmarks/imp/fact.rkt") interp-sum.rkt: racket test: timeout after 90 seconds raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/benchmarks/imp/interp-fact.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/benchmarks/imp/interp-mergesort.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/benchmarks/imp/interp-sum.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/benchmarks/imp/mergesort.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/benchmarks/imp/sum.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/benchmarks/unchecked/fact.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/benchmarks/unchecked/interp-fact.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/benchmarks/unchecked/interp-mergesort.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/benchmarks/unchecked/interp-sum.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/benchmarks/unchecked/mergesort.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/benchmarks/unchecked/sum.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/acl2-fig-2.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/acl2-fig-6.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/acl2-fig-7.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/dderiv.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/deriv.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/destruct.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/div.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/ho-sct-ack.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/ho-sct-fg.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/ho-sct-fold.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/isabelle-bar.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/isabelle-f.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/isabelle-foo.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/isabelle-perm.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/isabelle-poly.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/lh-gcd.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/lh-map.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/lh-merge.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/lh-range.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/lh-tfact.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/nfa.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/scheme.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/sct-1.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/sct-2.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/sct-3.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/sct-4.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/sct-5.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/sct-6.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/dderiv.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/deriv.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/destruct.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/div.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/ho-sct-ack.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/ho-sct-fg.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/ho-sct-fold.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/isabelle-bar.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/isabelle-f.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/isabelle-foo.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/isabelle-perm.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/isabelle-poly.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/lh-gcd.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/lh-map.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/lh-merge.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/lh-range.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/lh-tfact.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/nfa.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/scheme.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/sct-1.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/sct-2.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/sct-3.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/sct-4.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/sct-5.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/sct-6.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/unsafe-apply-with-termination.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/termination/unsafe.rkt") 8 /home/root//user/.local/share/racket/9.1/pkgs/termination/test.rkt 4 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/acl2-fig-2.rkt 3 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/ho-sct-fold.rkt 2 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/acl2-fig-6.rkt 2 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/acl2-fig-7.rkt 2 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/sct-2.rkt 2 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/sct-6.rkt 1 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/dderiv.rkt 1 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/deriv.rkt 1 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/destruct.rkt 1 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/div.rkt 1 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/ho-sct-ack.rkt 1 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/ho-sct-fg.rkt 1 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/isabelle-bar.rkt 1 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/isabelle-f.rkt 1 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/isabelle-foo.rkt 1 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/isabelle-perm.rkt 1 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/isabelle-poly.rkt 1 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/lh-gcd.rkt 1 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/lh-map.rkt 1 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/lh-merge.rkt 1 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/lh-range.rkt 1 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/lh-tfact.rkt 1 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/nfa.rkt 1 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/scheme.rkt 1 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/sct-1.rkt 1 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/sct-3.rkt 1 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/sct-4.rkt 1 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/buggy-versions/sct-5.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/apply-with-termination.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/flattened-parameter.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/flow-analysis/analyze.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/flow-analysis/lang.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/flow-analysis/main.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/flow-analysis/parse.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/flow-analysis/utils.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/info.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/main.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/micro-benchmarks.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/runtime-utils.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/size-change-graph.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/syntax-utils.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/acl2-fig-2.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/acl2-fig-6.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/acl2-fig-7.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/benchmarks/cm/fact.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/benchmarks/cm/interp-fact.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/benchmarks/cm/interp-mergesort.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/benchmarks/cm/mergesort.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/benchmarks/cm/sum.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/benchmarks/common.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/benchmarks/imp/fact.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/benchmarks/imp/interp-fact.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/benchmarks/imp/interp-mergesort.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/benchmarks/imp/interp-sum.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/benchmarks/imp/mergesort.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/benchmarks/imp/sum.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/benchmarks/unchecked/fact.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/benchmarks/unchecked/interp-fact.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/benchmarks/unchecked/interp-mergesort.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/benchmarks/unchecked/interp-sum.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/benchmarks/unchecked/mergesort.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/benchmarks/unchecked/sum.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/dderiv.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/deriv.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/destruct.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/div.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/ho-sct-ack.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/ho-sct-fg.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/ho-sct-fold.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/isabelle-bar.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/isabelle-f.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/isabelle-foo.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/isabelle-perm.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/isabelle-poly.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/lh-gcd.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/lh-map.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/lh-merge.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/lh-range.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/lh-tfact.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/nfa.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/scheme.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/sct-1.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/sct-2.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/sct-3.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/sct-4.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/sct-5.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/sct-6.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/unsafe-apply-with-termination.rkt1/46 test failures 0 /home/root//user/.local/share/racket/9.1/pkgs/termination/unsafe.rkt 1 1 /home/root//user/.local/share/racket/9.1/pkgs/termination/tests/Dyn/benchmarks/cm/interp-sum.rkt The time is now Mon, 23 Feb 2026 10:29:57 +0000