For information about the package build service, see https://pkg-build.racket-lang.org/about.html The time is now Sat, 14 Mar 2026 13:11:38 +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 forge && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 2 --drdr --package forge) Resolved "forge" via file:///home/root//catalogs/built/catalog 00: Resolved "syntax-classes" via file:///home/root//catalogs/built/catalog 00: Resolved "br-parser-tools-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "brag-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "beautiful-racket" via file:///home/root//catalogs/built/catalog 00: Resolved "crypto-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "mischief" via file:///home/root//catalogs/built/catalog 01: Resolved "pretty-format" via file:///home/root//catalogs/built/catalog 01: Resolved "predicates" via file:///home/root//catalogs/built/catalog 00: Resolved "basedir" via file:///home/root//catalogs/built/catalog 00: Resolved "request" via file:///home/root//catalogs/built/catalog 01: Resolved "sha" via file:///home/root//catalogs/built/catalog 01: Resolved "http-easy" via file:///home/root//catalogs/built/catalog Resolved "base64-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "syntax-classes-lib" via file:///home/root//catalogs/built/catalog Resolved "syntax-classes-doc" via file:///home/root//catalogs/built/catalog 01: Resolved "beautiful-racket-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "beautiful-racket-demo" via file:///home/root//catalogs/built/catalog Resolved "br-parser-tools-doc" via file:///home/root//catalogs/built/catalog 01: Resolved "beautiful-racket-macro" via file:///home/root//catalogs/built/catalog 01: Resolved "sugar" via file:///home/root//catalogs/built/catalog Resolved "debug" via file:///home/root//catalogs/built/catalog Resolved "brag" via file:///home/root//catalogs/built/catalog 01: Resolved "asn1-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "binaryio-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "gmp-lib" via file:///home/root//catalogs/built/catalog Resolved "scramble-lib" via file:///home/root//catalogs/built/catalog Resolved "fancy-app" via file:///home/root//catalogs/built/catalog Resolved "http-easy-lib" via file:///home/root//catalogs/built/catalog Resolved "resource-pool-lib" via file:///home/root//catalogs/built/catalog Resolved "actor-lib" via file:///home/root//catalogs/built/catalog The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of forge: syntax-classes br-parser-tools-lib brag-lib beautiful-racket crypto-lib mischief pretty-format predicates basedir request sha http-easy base64-lib dependencies of syntax-classes: syntax-classes-lib syntax-classes-doc dependencies of beautiful-racket: beautiful-racket-lib beautiful-racket-demo br-parser-tools-doc dependencies of beautiful-racket-lib: beautiful-racket-macro sugar debug dependencies of beautiful-racket-demo: brag dependencies of crypto-lib: asn1-lib binaryio-lib gmp-lib scramble-lib dependencies of request: fancy-app dependencies of http-easy: http-easy-lib dependencies of http-easy-lib: resource-pool-lib dependencies of resource-pool-lib: actor-lib 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 --- [13:11:49] raco setup: updating: /home/root/user/.local/share/racket/9.1/share/info-cache.rktd raco setup: --- pre-installing collections --- [13:11:49] raco setup: --- installing foreign libraries --- [13:11:49] raco setup: --- installing shared files --- [13:11:49] raco setup: --- compiling collections --- [13:11:49] raco setup: --- parallel build using 2 jobs --- [13:11:50] raco setup: 1 making: /actor-lib raco setup: 0 making: /asn1-lib (asn1) raco setup: 1 making: /base64-lib (base64) raco setup: 1 making: /basedir raco setup: 0 making: /asn1-lib/private raco setup: 0 making: /asn1-lib/util raco setup: 1 making: /beautiful-racket-demo/algebra-demo raco setup: 0 making: /beautiful-racket-demo/atomic-taco-demo raco setup: 0 making: /beautiful-racket-demo/basic-demo raco setup: 1 making: /beautiful-racket-demo/basic-demo-2 raco setup: 0 making: /beautiful-racket-demo/basic-demo-2a raco setup: 0 making: /beautiful-racket-demo/basic-demo-3 raco setup: 1 making: /beautiful-racket-demo/bf-demo raco setup: 1 making: /beautiful-racket-demo/conjunction-demo raco setup: 1 making: /beautiful-racket-demo/dyadic-demo raco setup: 1 making: /beautiful-racket-demo/expand-only-demo raco setup: 1 making: /beautiful-racket-demo/funstacker-demo raco setup: 1 making: /beautiful-racket-demo/injunction-demo raco setup: 1 making: /beautiful-racket-demo/javascriptlike-demo raco setup: 1 making: /beautiful-racket-demo/jsonic-demo raco setup: 1 making: /beautiful-racket-demo/jsonic-demo-2 raco setup: 1 making: /beautiful-racket-demo/jsonic-demo-3 raco setup: 0 making: /beautiful-racket-demo/mirror-demo raco setup: 0 making: /beautiful-racket-demo/numberstring-demo raco setup: 0 making: /beautiful-racket-demo/passthrough-demo raco setup: 1 making: /beautiful-racket-demo/pl-checklist-demo raco setup: 0 making: /beautiful-racket-demo/pl-checklist-lang-maker raco setup: 0 making: /beautiful-racket-demo/precalc-demo raco setup: 1 making: /beautiful-racket-demo/pythonesque-demo raco setup: 0 making: /beautiful-racket-demo/quantum-taco-demo raco setup: 0 making: /beautiful-racket-demo/read-only-demo raco setup: 1 making: /beautiful-racket-demo/regexcellent-demo raco setup: 0 making: /beautiful-racket-demo/scriptish-demo raco setup: 1 making: /beautiful-racket-demo/stacker-demo raco setup: 1 making: /beautiful-racket-demo/stackerizer-demo raco setup: 1 making: /beautiful-racket-demo/taco-compiler-demo raco setup: 1 making: /beautiful-racket-demo/taco-decompiler-demo raco setup: 0 making: /beautiful-racket-demo/taco-victory-demo raco setup: 1 making: /beautiful-racket-demo/tacogram-demo raco setup: 0 making: /beautiful-racket-demo/tacopocalypse-demo raco setup: 0 making: /beautiful-racket-demo/tacopocalypse-prep raco setup: 1 making: /beautiful-racket-demo/wires-demo raco setup: 0 making: /beautiful-racket-demo/xmlish-demo raco setup: 0 making: /beautiful-racket-lib/br raco setup: 1 making: /beautiful-racket-macro/br raco setup: 1 making: /beautiful-racket-macro/br/private raco setup: 1 making: /beautiful-racket/br raco setup: 0 making: /binaryio-lib (binaryio) raco setup: 1 making: /br-parser-tools-doc/br-parser-tools raco setup: 1 making: /br-parser-tools-lib/br-parser-tools raco setup: 1 making: /br-parser-tools-lib/br-parser-tools/examples raco setup: 0 making: /binaryio-lib/private raco setup: 0 making: /binaryio-lib/unchecked raco setup: 0 making: /brag-lib/brag raco setup: 0 making: /brag-lib/brag/codegen raco setup: 0 making: /brag-lib/brag/private raco setup: 1 making: /br-parser-tools-lib/br-parser-tools/private-lex raco setup: 1 making: /br-parser-tools-lib/br-parser-tools/private-yacc raco setup: 1 making: /brag/brag raco setup: 0 making: /brag-lib/brag/rules raco setup: 0 making: /crypto-lib (crypto) raco setup: 1 making: /debug/debug raco setup: 1 making: /debug/debug/lang raco setup: 1 making: /debug/debug/no-output/lang raco setup: 1 making: /debug/debug/private raco setup: 1 making: /debug/debug/report raco setup: 1 making: /debug/debug/test raco setup: 1 making: /debug/typed/debug raco setup: 1 making: /debug/typed/debug/report raco setup: 1 making: /debug/typed/debug/test raco setup: 1 making: /fancy-app raco setup: 1 making: /forge raco setup: 0 making: /crypto-lib/private/argon2 raco setup: 0 making: /crypto-lib/private/b2 raco setup: 0 making: /crypto-lib/private/common raco setup: 0 making: /crypto-lib/private/decaf raco setup: 0 making: /crypto-lib/private/gcrypt raco setup: 0 making: /crypto-lib/private/libcrypto raco setup: 0 making: /crypto-lib/private/nettle raco setup: 0 making: /crypto-lib/private/rkt raco setup: 0 making: /crypto-lib/private/sodium raco setup: 0 making: /crypto-lib/util raco setup: 0 making: /gmp-lib (gmp) raco setup: 0 making: /gmp-lib/private raco setup: 0 making: /http-easy raco setup: 0 making: /http-easy-lib raco setup: 0 making: /http-easy-lib/http-easy raco setup: 0 making: /http-easy-lib/http-easy/private raco setup: 0 making: /mischief/debug raco setup: 0 making: /mischief/debug/mischief/lang raco setup: 0 making: /mischief/debug/racket raco setup: 0 making: /mischief/debug/racket/base/lang raco setup: 0 making: /mischief/debug/racket/lang raco setup: 0 making: /mischief/mischief raco setup: 0 making: /mischief/mischief/lang raco setup: 0 making: /mischief/mischief/private raco setup: 0 making: /mischief/mischief/props/lang raco setup: 0 making: /mischief/mischief/stylish raco setup: 0 making: /mischief/mischief/tests raco setup: 0 making: /mischief/no-debug raco setup: 0 making: /mischief/no-debug/mischief/lang raco setup: 0 making: /mischief/no-debug/racket raco setup: 0 making: /mischief/no-debug/racket/base/lang raco setup: 0 making: /mischief/no-debug/racket/lang raco setup: 0 making: /predicates/predicates (predicates) raco setup: 0 making: /pretty-format/pretty-format raco setup: 0 making: /pretty-format/typed raco setup: 0 making: /request/request (request) raco setup: 0 making: /request/request/doc-utils raco setup: 0 making: /request/request/private raco setup: 0 making: /resource-pool-lib raco setup: 0 making: /resource-pool-lib/private raco setup: 0 making: /scramble-lib (scramble) raco setup: 1 making: /forge/bsl/lang raco setup: 1 making: /forge/core raco setup: 1 making: /forge/core/lang raco setup: 1 making: /forge/decode-wheat-lang raco setup: 1 making: /forge/decode-wheat-lang/lang raco setup: 1 making: /forge/demo raco setup: 1 making: /forge/domains/abac raco setup: 0 making: /scramble-lib/net raco setup: 0 making: /scramble-lib/private raco setup: 0 making: /sha/sha raco setup: 0 making: /sugar/sugar raco setup: 1 making: /forge/domains/abac/lang raco setup: 1 making: /forge/domains/crypto raco setup: 0 making: /sugar/sugar/coerce raco setup: 0 making: /sugar/sugar/private raco setup: 0 making: /sugar/sugar/unstable raco setup: 1 making: /forge/domains/crypto/lang raco setup: 1 making: /forge/froglet/lang raco setup: 1 making: /forge/lang raco setup: 1 making: /forge/lang/alloy-syntax raco setup: 0 making: /syntax-classes-doc/scribblings raco setup: 0 making: /syntax-classes-lib/syntax/parse/class raco setup: 1 making: /forge/pardinus-cli/server raco setup: 1 making: /forge/racket-rfc6455 raco setup: 1 making: /forge/racket-rfc6455/net raco setup: 1 making: /forge/racket-rfc6455/net/rfc6455 raco setup: 1 making: /forge/racket-rfc6455/net/rfc6455/examples raco setup: 1 making: /forge/racket-rfc6455/net/rfc6455/hybi00 raco setup: 1 making: /forge/racket-rfc6455/net/rfc6455/private raco setup: 1 making: /forge/racket-rfc6455/net/rfc6455/rfc6455 raco setup: 1 making: /forge/server raco setup: 1 making: /forge/solver-specific raco setup: 1 making: /forge/temporal/lang raco setup: 1 making: /forge/types raco setup: 1 making: /forge/utils raco setup: --- creating launchers --- [13:12:30] raco setup: --- installing man pages --- [13:12:30] raco setup: --- building documentation --- [13:12:30] raco setup: syncing: /basedir/doc/basedir raco setup: syncing: /beautiful-racket/br/doc/br raco setup: syncing: /br-parser-tools-doc/br-parser-tools/doc/br-parser-tools raco setup: syncing: /brag/brag/doc/brag raco setup: syncing: /debug/debug/doc/debug raco setup: syncing: /fancy-app/doc/fancy-app raco setup: syncing: /http-easy/doc/http-easy raco setup: syncing: /mischief/mischief/doc/mischief raco setup: syncing: /predicates/predicates/doc/predicates raco setup: syncing: /pretty-format/pretty-format/doc/pretty-format raco setup: syncing: /request/request/doc/request raco setup: syncing: /sha/sha/doc/sha raco setup: syncing: /sugar/sugar/doc/sugar raco setup: syncing: /syntax-classes-doc/scribblings/doc/syntax-classes raco setup: 0 running: /racket-index/scribblings/main/user/family.scrbl raco setup: 1 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: WARNING: duplicate tag: (index-entry (mod-path "debug")) raco setup: in: /home/root/user/.local/share/racket/9.1/pkgs/debug/debug/scribblings/debug.scrbl raco setup: in: /home/root/user/.local/share/racket/9.1/pkgs/mischief/mischief/scribblings/mischief.scrbl raco setup: WARNING: duplicate tag: (mod-path "debug") raco setup: in: /home/root/user/.local/share/racket/9.1/pkgs/debug/debug/scribblings/debug.scrbl raco setup: in: /home/root/user/.local/share/racket/9.1/pkgs/mischief/mischief/scribblings/mischief.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 --- [13:12:41] raco setup: --- post-installing collections --- [13:12:41] raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/breaks.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/bsl/lang/reader.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/choose-lang-specific.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/core/lang/reader.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/core/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/decode-wheat-lang/encode-wheat.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/decode-wheat-lang/lang/reader.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/decode-wheat-lang/util.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/demo/life.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/domains/crypto/expander.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/domains/crypto/lang/reader.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/domains/crypto/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/evaluator.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/froglet/lang/bsl-lang-specific-checks.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/froglet/lang/reader.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/info.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/lang/alloy-syntax/colorer.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/lang/alloy-syntax/indenter.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/lang/alloy-syntax/lexer.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/lang/alloy-syntax/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/lang/alloy-syntax/parser.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/lang/alloy-syntax/syntax-class.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/lang/alloy-syntax/tokenizer.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/lang/ast.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/lang/bounds.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/lang/deparse.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/lang/expander.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/lang/lang-specific-checks.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/lang/reader.rkt") raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/last-checker.rkt") test) raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/library/util/sequences.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/library/util/temporal.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/racket-rfc6455/info.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/racket-rfc6455/net/rfc6455/client.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/racket-rfc6455/net/rfc6455/conn-api.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/racket-rfc6455/net/rfc6455/dispatcher.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/racket-rfc6455/net/rfc6455/examples/cat.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/racket-rfc6455/net/rfc6455/examples/client.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/racket-rfc6455/net/rfc6455/examples/echo-server.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/racket-rfc6455/net/rfc6455/examples/test-server.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/racket-rfc6455/net/rfc6455/examples/test-service-mapper.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/racket-rfc6455/net/rfc6455/examples/time-client-with-sync.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/racket-rfc6455/net/rfc6455/examples/time-client-with-threads.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/racket-rfc6455/net/rfc6455/examples/time-server.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/racket-rfc6455/net/rfc6455/http.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/racket-rfc6455/net/rfc6455/hybi00/client.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/racket-rfc6455/net/rfc6455/hybi00/conn.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/racket-rfc6455/net/rfc6455/hybi00/dispatcher.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/racket-rfc6455/net/rfc6455/hybi00/handshake.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/racket-rfc6455/net/rfc6455/private/connection-manager.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/racket-rfc6455/net/rfc6455/rfc6455/client.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/racket-rfc6455/net/rfc6455/rfc6455/conn.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/racket-rfc6455/net/rfc6455/rfc6455/dispatcher.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/racket-rfc6455/net/rfc6455/rfc6455/frame.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/racket-rfc6455/net/rfc6455/rfc6455/handshake.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/racket-rfc6455/net/rfc6455/server.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/racket-rfc6455/net/rfc6455/service-mapper.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/racket-rfc6455/net/rfc6455/timeout.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/racket-rfc6455/net/rfc6455/url.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/racket-rfc6455/net/rfc6455.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/send-to-solver.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/server/eval-model.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/server/forgeserver.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/server/modelToXML.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/server/serve-sterling-static.rkt") raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/shared.rkt") test) raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/sigs-functional.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/sigs-structs.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/sigs.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/solver-specific/cvc5-server.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/solver-specific/cvc5-tor.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/solver-specific/pardinus-cores.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/solver-specific/pardinus.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/solver-specific/server-common.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/solver-specific/smtlib-shared.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/solver-specific/to-smtlib-tor.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/solver-specific/translate-from-kodkod-cli.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/solver-specific/translate-to-kodkod-cli.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/temporal/lang/reader.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/temporal/lang/temporal-lang-specific-checks.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/tests/evaluator.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/forge/tests/forge/eval-model/div-by-zero-test.rkt") evaluator.rkt: racket test: #<