The time is now Sunday, June 15th, 2025 9:18:54pm
(/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 redex-test && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 1 --timeout 180 --drdr --package redex-test)
Resolved "redex-test" via file:///home/root//catalogs/archive/catalog
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 ---                    [2:19:03]
raco setup: --- pre-installing collections ---                     [2:19:03]
raco setup: --- installing foreign libraries ---                   [2:19:03]
raco setup: --- installing shared files ---                        [2:19:03]
raco setup: --- compiling collections ---                          [2:19:03]
raco setup: making: <pkgs>/redex-test/redex
raco setup: making: <pkgs>/redex-test/redex/tests
raco setup:  in <pkgs>/redex-test/redex/tests
raco setup:  in <pkgs>/redex-test/redex/tests/private
raco setup: making: <pkgs>/redex-test/redex/tests/bmps-macosx
raco setup: making: <pkgs>/redex-test/redex/tests/bmps-unix
raco setup: making: <pkgs>/redex-test/redex/tests/private
raco setup: making: <pkgs>/redex-test/redex/tests/run-err-tests
raco setup: making: <pkgs>/redex-test/redex/tests/sewpr
raco setup:  in <pkgs>/redex-test/redex/tests/sewpr
raco setup: making: <pkgs>/redex-test/redex/tests/sewpr/basics
raco setup:  in <pkgs>/redex-test/redex/tests/sewpr/basics
raco setup: making: <pkgs>/redex-test/redex/tests/sewpr/ck
raco setup:  in <pkgs>/redex-test/redex/tests/sewpr/ck
raco setup:  in <pkgs>/redex-test/redex/tests/sewpr/iswim
raco setup: making: <pkgs>/redex-test/redex/tests/sewpr/cont
raco setup:  in <pkgs>/redex-test/redex/tests/sewpr/cont
raco setup: making: <pkgs>/redex-test/redex/tests/sewpr/extend
raco setup:  in <pkgs>/redex-test/redex/tests/sewpr/extend
raco setup: making: <pkgs>/redex-test/redex/tests/sewpr/iswim
raco setup:  in <pkgs>/redex-test/redex/tests/sewpr/iswim
raco setup: making: <pkgs>/redex-test/redex/tests/sewpr/types
raco setup:  in <pkgs>/redex-test/redex/tests/sewpr/types
raco setup: making: <pkgs>/redex-test/redex/tests/sewpr/typeset
raco setup:  in <pkgs>/redex-test/redex/tests/sewpr/typeset
raco setup: making: <pkgs>/redex-test/redex/tests/sewpr/underspec
raco setup:  in <pkgs>/redex-test/redex/tests/sewpr/underspec
raco setup: making: <pkgs>/redex-test/redex/tests/syn-err-tests
raco setup: --- creating launchers ---                             [2:19:50]
raco setup: --- installing man pages ---                           [2:19:50]
raco setup: --- building documentation ---                         [2:19:50]
raco setup: --- installing collections ---                         [2:19:51]
raco setup: --- post-installing collections ---                    [2:19:51]
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/info.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/ambiguous-test.rkt")
raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/binding-forms-test.rkt") test)
raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/binding-performance-test.rkt") test)
binding-performance-test.rkt: racket test: timeout after 400 seconds
raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/bitmap-test.rkt") test)
raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/check-syntax-test.rkt") test)
raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/color-test.rkt") test)
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/convert-test.rkt")
raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/core-layout-test.rkt") test)
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/dq-test.rkt")
raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/enum-test.rkt") test)
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/err-loc-test.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/gen-test.rkt")
raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/hole-test.rkt") test)
raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/keyword-macros-test.rkt") test)
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/lw-test.rkt")
raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/matcher-test.rkt") test)
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/mf-apply-test.rkt")
raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/pict-test.rkt") test)
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/private/bitmap-test-util.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/private/lw-test-util.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/private/test-util.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/rewrite-side-condition-test.rkt")
raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/rg-test.rkt") test)
raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/run-tests.rkt") test)
run-tests.rkt: racket test: #<<non-empty stderr
WARNING: unknown file 2841b7a4-c073-47e4-8cf5-7237f2fbe319-le64.cache-7
verify-face: unknown face: "DejaVu Sans"
  errortrace...:
  context...:
   /home/root/user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/private/bitmap-test-util.rkt:72:0: set-fonts/call
   /home/root/user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/private/bitmap-test-util.rkt:36:0: test/proc
   body of "/home/root/user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/bitmap-test.rkt"
   /home/root/user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/run-tests.rkt:121:0
   body of "/home/root/user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/run-tests.rkt"
   body of (submod "/home/root/user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/run-tests.rkt" test)
   /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2
   body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process)
   body of top-level

non-empty stderr
raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/ryr-test.rkt") test)
ryr-test.rkt: racket test: #<<non-empty stderr
tcp-connect: host not found
  hostname: users.cs.northwestern.edu
  port number: 443
  system error: Temporary failure in name resolution; gai_err=-3
  context...:
   /home/root/racket/collects/openssl/mzssl.rkt:1736:0: do-ssl-connect
   /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3
   /home/root/racket/collects/net/http-client.rkt:67:0: http-conn-open!
   /home/root/racket/collects/net/http-client.rkt:282:0: http-conn-open
   /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3
   /home/root/racket/collects/net/url.rkt:201:0: http://getpost-impure-port
   /home/root/racket/collects/net/url.rkt:271:0: getpost-pure-port
   /home/root/racket/collects/net/url.rkt:376:4: call/input-url
   body of "/home/root/user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/ryr-test.rkt"
   /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2
   body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process)
   body of top-level

non-empty stderr
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/basics/bool-any.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/basics/bool-complete.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/basics/bool-ex.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/basics/bool-standard.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/basics/test.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/basics/traces.rkt")
raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/ck/ck-ex.rkt") test)
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/ck/ck.rkt")
raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/ck/iswim-test.rkt") test)
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/ck/iswim-test2.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/ck/test.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/ck/traces.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/cont/cont.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/cont/test.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/cont/traces.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/extend/eiswim-test.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/extend/eiswim.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/extend/test.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/extend/traces.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/iswim/iswim-2.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/iswim/iswim-ex.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/iswim/iswim.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/iswim/test-2.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/iswim/test.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/iswim/traces.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/space-snip.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/traces-colors.rkt")
raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/types/1-ex.rkt") test)
raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/types/1.rkt") test)
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/types/test.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/types/traces.rkt")
raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/types/types-ex.rkt") test)
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/types/types-exn-ex.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/types/types-exn.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/types/types.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/typeset/iswim-language-pict.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/typeset/typeset-advanced.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/typeset/typeset-basic.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/typeset/typeset-lw.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/underspec/oo-ex.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/underspec/oo.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/underspec/test.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/underspec/traces.rkt")
raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/stepper-test.rkt") test)
raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/term-test.rkt") test)
raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/test-docs-complete.rkt") test)
raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/tl-judgment-form.rkt") test)
raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/tl-language.rkt") test)
raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/tl-metafunctions.rkt") test)
raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/tl-reduction-relation.rkt") test)
raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/tl-relation.rkt") test)
raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/tl-test.rkt") test)
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/tut-subst-test.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/unify-tests.rkt")
  357 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/unify-tests.rkt
   92 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/binding-forms-test.rkt
   45 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/ambiguous-test.rkt
   38 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/rewrite-side-condition-test.rkt
   38 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/extend/test.rkt
   36 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/dq-test.rkt
   32 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/types/test.rkt
   29 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/basics/test.rkt
   29 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/iswim/test-2.rkt
   28 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/iswim/test.rkt
   24 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/ck/test.rkt
   23 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/tut-subst-test.rkt
   18 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/mf-apply-test.rkt
   10 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/underspec/test.rkt
    8 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/cont/test.rkt
    3 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/convert-test.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/info.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/bitmap-test.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/check-syntax-test.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/color-test.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/core-layout-test.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/enum-test.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/err-loc-test.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/gen-test.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/hole-test.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/keyword-macros-test.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/lw-test.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/matcher-test.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/pict-test.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/private/bitmap-test-util.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/private/lw-test-util.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/private/test-util.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/rg-test.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/basics/bool-any.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/basics/bool-complete.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/basics/bool-ex.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/basics/bool-standard.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/basics/traces.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/ck/ck-ex.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/ck/ck.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/ck/iswim-test.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/ck/iswim-test2.rkt3/813 test failures

    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/ck/traces.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/cont/cont.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/cont/traces.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/extend/eiswim-test.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/extend/eiswim.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/extend/traces.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/iswim/iswim-2.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/iswim/iswim-ex.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/iswim/iswim.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/iswim/traces.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/space-snip.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/traces-colors.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/types/1-ex.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/types/1.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/types/traces.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/types/types-ex.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/types/types-exn-ex.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/types/types-exn.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/types/types.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/typeset/iswim-language-pict.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/typeset/typeset-advanced.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/typeset/typeset-basic.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/typeset/typeset-lw.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/underspec/oo-ex.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/underspec/oo.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/sewpr/underspec/traces.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/stepper-test.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/term-test.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/test-docs-complete.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/tl-judgment-form.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/tl-language.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/tl-metafunctions.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/tl-reduction-relation.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/tl-relation.rkt
    0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/tl-test.rkt
1   1 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/binding-performance-test.rkt
1   1 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/run-tests.rkt
1   1 /home/root//user/.local/share/racket/8.17.0.4/pkgs/redex-test/redex/tests/ryr-test.rkt
The time is now Sunday, June 15th, 2025 9:38:48pm