The time is now Monday, June 16th, 2025 3:30:32am (/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: PLT_PKG_BUILD_SERVICE=1 /usr/bin/xvfb-run -n 1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 1 -u --auto syntax-spec-v3 && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 1 --timeout 180 --drdr --package syntax-spec-v3) Resolved "syntax-spec-v3" via file:///home/root//catalogs/built/catalog 00: Resolved "version-case" via file:///home/root//catalogs/built/catalog Resolved "syntax-classes-lib" via file:///home/root//catalogs/built/catalog The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of syntax-spec-v3: version-case syntax-classes-lib raco setup: version: 8.17.0.4 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 8.17.0.4 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.17.0.4/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.17.0.4/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.17.0.4/links.rktd raco setup: compiled-file roots: raco setup: /home/root//zo raco setup: same raco setup: --- updating info-domain tables --- [8:30:44] raco setup: updating: /home/root/user/.local/share/racket/8.17.0.4/share/info-cache.rktd raco setup: --- pre-installing collections --- [8:30:44] raco setup: --- installing foreign libraries --- [8:30:44] raco setup: --- installing shared files --- [8:30:44] raco setup: --- compiling collections --- [8:30:44] raco setup: making: /syntax/parse raco setup: making: /syntax/parse/experimental raco setup: making: /syntax/parse/lib raco setup: making: /syntax/parse/private raco setup: making: /syntax-classes-lib/syntax raco setup: making: /syntax-classes-lib/syntax/parse raco setup: making: /syntax-classes-lib/syntax/parse/class raco setup: in /syntax-classes-lib/syntax/parse/class raco setup: making: /syntax-spec-v3 (syntax-spec-v3) raco setup: in /syntax-spec-v3 raco setup: in /syntax-spec-v3/private/ee-lib raco setup: in /syntax-spec-v3/private/runtime raco setup: in /syntax-spec-v3/private/syntax raco setup: in /version-case raco setup: in /version-case/private raco setup: in /syntax-spec-v3/private/syntax/compile raco setup: in /syntax-spec-v3/scribblings raco setup: in /syntax-spec-v3/scribblings/reference raco setup: in /syntax-spec-v3/scribblings/tutorial raco setup: making: /syntax-spec-v3/private raco setup: making: /syntax-spec-v3/private/ee-lib raco setup: in /syntax-spec-v3/private/ee-lib raco setup: making: /syntax-spec-v3/private/ee-lib/test raco setup: in /syntax-spec-v3/private/ee-lib/test raco setup: making: /syntax-spec-v3/private/runtime raco setup: making: /syntax-spec-v3/private/syntax raco setup: making: /syntax-spec-v3/private/syntax/compile raco setup: making: /syntax-spec-v3/private/test raco setup: in /syntax-spec-v3/private/test raco setup: making: /syntax-spec-v3/scribblings raco setup: making: /syntax-spec-v3/scribblings/reference raco setup: making: /syntax-spec-v3/scribblings/tutorial raco setup: making: /syntax-spec-v3/tests raco setup: in /syntax-spec-v3/tests raco setup: making: /syntax-spec-v3/tests/basic-langs raco setup: in /syntax-spec-v3/tests/basic-langs raco setup: making: /syntax-spec-v3/tests/dsls raco setup: in /syntax-spec-v3/tests/dsls raco setup: making: /syntax-spec-v3/tests/dsls/cmdline raco setup: in /syntax-spec-v3/tests/dsls/cmdline raco setup: making: /syntax-spec-v3/tests/dsls/js raco setup: in /syntax-spec-v3/tests/dsls/js raco setup: making: /syntax-spec-v3/tests/dsls/matthews-findler raco setup: in /syntax-spec-v3/tests/dsls/matthews-findler raco setup: making: /syntax-spec-v3/tests/dsls/miniclass raco setup: in /syntax-spec-v3/tests/dsls/miniclass raco setup: making: /syntax-spec-v3/tests/dsls/minikanren-rs2e raco setup: in /syntax-spec-v3/tests/dsls/minikanren-rs2e raco setup: making: /syntax-spec-v3/tests/dsls/peg raco setup: in /syntax-spec-v3/tests/dsls/peg raco setup: in /syntax-spec-v3/tests/dsls/peg/private raco setup: making: /syntax-spec-v3/tests/dsls/peg/private raco setup: making: /syntax-spec-v3/tests/dsls/peg/private/test raco setup: in /syntax-spec-v3/tests/dsls/peg/private/test raco setup: making: /syntax-spec-v3/tests/dsls/peg/test raco setup: in /syntax-spec-v3/tests/dsls/peg/test raco setup: making: /syntax-spec-v3/tests/dsls/state-machine-oo raco setup: in /syntax-spec-v3/tests/dsls/state-machine-oo raco setup: making: /syntax-spec-v3/tests/dsls/statecharts raco setup: in /syntax-spec-v3/tests/dsls/statecharts raco setup: making: /syntax-spec-v3/tests/dsls/stlc-lang raco setup: in /syntax-spec-v3/tests/dsls/stlc-lang raco setup: making: /syntax-spec-v3/tests/dsls/tiny-hdl raco setup: in /syntax-spec-v3/tests/dsls/tiny-hdl raco setup: making: /syntax-spec-v3/tests/dsls/typed-peg raco setup: in /syntax-spec-v3/tests/dsls/typed-peg raco setup: in /syntax-spec-v3/tests/dsls/typed-peg/private raco setup: making: /syntax-spec-v3/tests/dsls/typed-peg/private raco setup: making: /version-case (version-case) raco setup: in /version-case raco setup: making: /version-case/private raco setup: --- creating launchers --- [8:31:38] raco setup: --- installing man pages --- [8:31:38] raco setup: --- building documentation --- [8:31:38] raco setup: running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: running: /racket-index/scribblings/main/user/release.scrbl raco setup: running: /racket-index/scribblings/main/user/search.scrbl raco setup: running: /racket-index/scribblings/main/user/start.scrbl raco setup: syncing: /syntax-spec-v3/doc/syntax-spec-v3 raco setup: syncing: /version-case/doc/version-case raco setup: rendering: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: rendering: /racket-index/scribblings/main/user/release.scrbl raco setup: rendering: /racket-index/scribblings/main/user/search.scrbl raco setup: rendering: /racket-index/scribblings/main/user/start.scrbl raco setup: --- installing collections --- [8:31:58] raco setup: --- post-installing collections --- [8:31:58] raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/info.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/main.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/ee-lib/binding.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/ee-lib/datum-map.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/ee-lib/define.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/ee-lib/errors.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/ee-lib/flip-intro-scope.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/ee-lib/lift-disappeareds.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/ee-lib/lift-trampoline.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/ee-lib/main.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/ee-lib/persistent-id-table.rkt") test) raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/ee-lib/syntax-category.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/ee-lib/syntax-datum.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/ee-lib/syntax-serializer.rkt") test) raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/ee-lib/test/same-binding.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/runtime/binding-operations.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/runtime/binding-spec.rkt") test) raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/runtime/compile.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/runtime/errors.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/runtime/syntax-classes.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/syntax/compile/binding-spec.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/syntax/compile/nonterminal-expander.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/syntax/compile/pattern-var-reflection.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/syntax/compile/syntax-spec.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/syntax/env-reps.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/syntax/interface.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/syntax/syntax-classes.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/test/rebind-pattern-vars.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/test/sequence.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/test/set-bang.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/test/simple-bspec.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/scribblings/common.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/scribblings/main.scrbl") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/scribblings/reference/compiling.scrbl") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/scribblings/reference/main.scrbl") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/scribblings/reference/specifying.scrbl") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/scribblings/reference/versions.scrbl") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/scribblings/tutorial/basic-tutorial.scrbl") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/scribblings/tutorial/main.scrbl") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/scribblings/tutorial/multipass-tutorial.scrbl") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/scribblings/tutorial/stlc-tutorial.scrbl") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/testing.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/basic-langs/bind-syntax.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/basic-langs/block.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/basic-langs/define-star.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/basic-langs/define.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/basic-langs/expr.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/basic-langs/mutual-recursion.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/basic-langs/racket-macro.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/basic-langs/racket-var.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/basic-langs/simple-match.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/binding-operations.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/colon-form.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/datum-matching.rkt") test) raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/definition-interface.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/baby-peg.rkt") test) raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/cmdline/cmdline.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/cmdline/example.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/cmdline/sugar.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/cmdline/tests.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/js/js.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/match.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/matthews-findler/lump-inferred.rkt") test) raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/matthews-findler/lump.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/matthews-findler/ml.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/miniclass/class.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/miniclass/test.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/minikanren-binding-space-compile.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/minikanren-binding-space.rkt") test) raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/minikanren-compile-defs-min.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/minikanren-compile-defs.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/minikanren-compile.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/minikanren-rs2e/example.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/minikanren-rs2e/mk.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/minikanren.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/multipass.rkt") test) raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/core.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/main.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/private/compile-alt-str.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/private/compile.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/private/forms.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/private/leftrec-check.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/private/runtime.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/private/test/case.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/binops.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/colon-bind-shorthand.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/core-basic-tokens.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/core-text.rkt") test) raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/define-in-let.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/define-peg-ast.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/figure-7.rkt") test) raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/leftrec-oopsla.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/leftrec.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/lift-error.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/many-until.rkt") test) raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/optimization.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/optional.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/raise-1.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/raise-2.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/return-example.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/sexpr.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/srcloc.rkt") test) raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/sugar.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/test-alt-str.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg2.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/qi-core.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/simply-typed-lambda-calculus.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/state-machine-for-tutorial.rkt") test) raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/state-machine-oo/state-machine-compiler.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/state-machine-oo/state-machine.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/statecharts/statecharts.rkt") test) raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/stlc-lang/main.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/stlc-lang/program.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/stlc-lang/test.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/stlc-on-typed-racket.rkt") test) raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/tiny-hdl/full-adder.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/tiny-hdl/half-adder.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/tiny-hdl/hdl.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/typed-peg/core.rkt") test) raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/typed-peg/private/compile.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/typed-peg/private/forms.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/typed-peg/private/runtime.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/errors.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/global-reference-compiler.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/group-ellipsis.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/multi-import.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/multi-nest.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/nest-use-site-scope.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/nonterminal-prop.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/props.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/racket-body.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/racket-references.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/reference-compiler-with-application.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/rewrite-hygiene.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/symbol-collections.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/variants.rkt") 55 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/errors.rkt 33 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/miniclass/test.rkt 27 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/simply-typed-lambda-calculus.rkt 26 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/statecharts/statecharts.rkt 25 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/baby-peg.rkt 25 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/cmdline/tests.rkt 15 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/binding-operations.rkt 14 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/match.rkt 14 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/multipass.rkt 13 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/runtime/binding-spec.rkt 13 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/matthews-findler/lump-inferred.rkt 12 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/minikanren-rs2e/example.rkt 11 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/optimization.rkt 10 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/ee-lib/syntax-serializer.rkt 10 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/test/set-bang.rkt 10 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/state-machine-for-tutorial.rkt 9 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/sexpr.rkt 9 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/racket-references.rkt 8 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/basic-langs/bind-syntax.rkt 7 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/core-basic-tokens.rkt 7 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/core-text.rkt 7 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/reference-compiler-with-application.rkt 6 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/basic-langs/block.rkt 5 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/binops.rkt 5 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/symbol-collections.rkt 4 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/test/rebind-pattern-vars.rkt 4 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/basic-langs/define.rkt 4 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/typed-peg/core.rkt 3 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/ee-lib/test/same-binding.rkt 3 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/basic-langs/expr.rkt 3 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/datum-matching.rkt 3 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/stlc-on-typed-racket.rkt 3 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/global-reference-compiler.rkt 3 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/multi-import.rkt 3 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/racket-body.rkt 2 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/ee-lib/persistent-id-table.rkt 2 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/test/sequence.rkt 2 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/test/simple-bspec.rkt 2 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/basic-langs/racket-macro.rkt 2 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/definition-interface.rkt 2 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/minikanren-binding-space-compile.rkt 2 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/minikanren-binding-space.rkt 2 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/minikanren.rkt 2 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/private/test/case.rkt 2 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/many-until.rkt 2 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/return-example.rkt 2 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/srcloc.rkt 2 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/qi-core.rkt 2 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/props.rkt 1 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/basic-langs/define-star.rkt 1 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/basic-langs/mutual-recursion.rkt 1 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/basic-langs/racket-var.rkt 1 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/basic-langs/simple-match.rkt 1 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/colon-form.rkt 1 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/minikanren-compile-defs-min.rkt 1 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/minikanren-compile-defs.rkt 1 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/minikanren-compile.rkt 1 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/colon-bind-shorthand.rkt 1 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/define-in-let.rkt 1 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/figure-7.rkt 1 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/leftrec-oopsla.rkt 1 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/leftrec.rkt 1 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/optional.rkt 1 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/raise-1.rkt 1 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/raise-2.rkt 1 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/sugar.rkt 1 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg.rkt 1 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg2.rkt 1 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/stlc-lang/test.rkt 1 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/multi-nest.rkt 1 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/nest-use-site-scope.rkt 1 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/nonterminal-prop.rkt 1 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/rewrite-hygiene.rkt 1 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/variants.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/info.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/main.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/ee-lib/binding.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/ee-lib/datum-map.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/ee-lib/define.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/ee-lib/errors.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/ee-lib/flip-intro-scope.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/ee-lib/lift-disappeareds.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/ee-lib/lift-trampoline.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/ee-lib/main.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/ee-lib/syntax-category.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/ee-lib/syntax-datum.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/runtime/binding-operations.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/runtime/compile.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/runtime/errors.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/runtime/syntax-classes.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/syntax/compile/binding-spec.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/syntax/compile/nonterminal-expander.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/syntax/compile/pattern-var-reflection.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/syntax/compile/syntax-spec.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/syntax/env-reps.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/syntax/interface.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/private/syntax/syntax-classes.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/scribblings/common.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/scribblings/main.scrbl 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/scribblings/reference/compiling.scrbl 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/scribblings/reference/main.scrbl 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/scribblings/reference/specifying.scrbl 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/scribblings/reference/versions.scrbl 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/scribblings/tutorial/basic-tutorial.scrbl 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/scribblings/tutorial/main.scrbl 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/scribblings/tutorial/multipass-tutorial.scrbl 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/scribblings/tutorial/stlc-tutorial.scrbl 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/testing.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/cmdline/cmdline.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/cmdline/example.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/cmdline/sugar.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/js/js.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/matthews-findler/lump.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/matthews-findler/ml.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/miniclass/class.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/minikanren-rs2e/mk.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/core.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/main.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/private/compile-alt-str.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/private/compile.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/private/forms.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/private/leftrec-check.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/private/runtime.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/define-peg-ast.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/lift-error.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/peg/test/test-alt-str.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/state-machine-oo/state-machine-compiler.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/state-machine-oo/state-machine.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/stlc-lang/main.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/stlc-lang/program.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/tiny-hdl/full-adder.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/tiny-hdl/half-adder.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/tiny-hdl/hdl.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/typed-peg/private/compile.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/typed-peg/private/forms.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/dsls/typed-peg/private/runtime.rkt 0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/syntax-spec-v3/tests/group-ellipsis.rkt 462 tests passed The time is now Monday, June 16th, 2025 3:38:30am