The time is now Wednesday, July 2nd, 2025 12:15:39pm (/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 trace-contract && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 1 --timeout 180 --drdr --package trace-contract) Resolved "trace-contract" via file:///home/root//catalogs/built/catalog 00: Resolved "logic-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "automata-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "contract-etc-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "graph-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "redex-etc" via file:///home/root//catalogs/built/catalog 00: Resolved "stream-etc" via file:///home/root//catalogs/built/catalog 01: Resolved "trace-contract-lib" via file:///home/root//catalogs/built/catalog Resolved "chk-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "mischief" via file:///home/root//catalogs/built/catalog 01: Resolved "syntax-classes-lib" via file:///home/root//catalogs/built/catalog Resolved "syntax-spec-v3" via file:///home/root//catalogs/built/catalog Resolved "version-case" via file:///home/root//catalogs/built/catalog Resolved "gen-queue-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "latex-utils" via file:///home/root//catalogs/built/catalog 01: Resolved "unstable-redex" via file:///home/root//catalogs/built/catalog Resolved "private-in" via file:///home/root//catalogs/built/catalog Resolved "seq-no-order" via file:///home/root//catalogs/built/catalog Resolved "threading-doc" via file:///home/root//catalogs/built/catalog Resolved "threading-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "meta" via file:///home/root//catalogs/built/catalog Resolved "ee-lib" via file:///home/root//catalogs/built/catalog The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of trace-contract: logic-lib automata-lib contract-etc-lib graph-lib redex-etc stream-etc trace-contract-lib chk-lib dependencies of logic-lib: mischief syntax-classes-lib syntax-spec-v3 dependencies of syntax-spec-v3: version-case dependencies of graph-lib: gen-queue-lib dependencies of redex-etc: latex-utils unstable-redex private-in dependencies of latex-utils: seq-no-order dependencies of stream-etc: threading-doc dependencies of threading-doc: threading-lib dependencies of trace-contract-lib: meta ee-lib raco setup: version: 8.17.0.6 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.6 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.6/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.6/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.17.0.6/links.rktd raco setup: compiled-file roots: raco setup: /home/root//zo raco setup: same raco setup: --- updating info-domain tables --- [17:15:50] raco setup: updating: /home/root/user/.local/share/racket/8.17.0.6/share/info-cache.rktd raco setup: --- pre-installing collections --- [17:15:50] raco setup: --- installing foreign libraries --- [17:15:50] raco setup: --- installing shared files --- [17:15:50] raco setup: --- compiling collections --- [17:15:50] 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: /automata-lib raco setup: in /automata-lib raco setup: making: /chk-lib/chk raco setup: in /chk-lib/chk raco setup: making: /contract-etc-lib raco setup: in /contract-etc-lib raco setup: making: /ee-lib (ee-lib) raco setup: in /ee-lib raco setup: in /ee-lib/private raco setup: in /ee-lib/scribblings raco setup: making: /ee-lib/private raco setup: in /ee-lib/private raco setup: making: /ee-lib/scribblings raco setup: making: /ee-lib/test raco setup: in /ee-lib/test raco setup: making: /ee-lib/test/suspend raco setup: in /ee-lib/test/suspend raco setup: making: /gen-queue-lib/data raco setup: in /gen-queue-lib/data raco setup: in /gen-queue-lib/data/gen-queue raco setup: making: /gen-queue-lib/data/gen-queue raco setup: in /gen-queue-lib/data/gen-queue raco setup: making: /graph-lib/graph raco setup: in /graph-lib/graph raco setup: making: /latex-utils raco setup: in /latex-utils raco setup: in /latex-utils/scribble raco setup: in /latex-utils/scribble/private raco setup: in /latex-utils/scribblings raco setup: in /seq-no-order/seq-no-order raco setup: making: /latex-utils/scribble raco setup: in /latex-utils/scribble raco setup: making: /latex-utils/scribble/private raco setup: making: /latex-utils/scribble/tex raco setup: making: /latex-utils/scribblings raco setup: making: /logic-lib (logic) raco setup: in /logic-lib raco setup: in /syntax-classes-lib/syntax/parse/class 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 /logic-lib/private/pltl raco setup: in /logic-lib/private/qea raco setup: in /logic-lib/private/sl raco setup: making: /logic-lib/private raco setup: making: /logic-lib/private/pltl raco setup: making: /logic-lib/private/qea raco setup: in /logic-lib/private/qea raco setup: making: /logic-lib/private/sl raco setup: making: /meta raco setup: in /meta raco setup: in /meta/scribblings raco setup: making: /meta/scribblings raco setup: making: /mischief/debug raco setup: in /mischief/debug raco setup: in /mischief/mischief raco setup: in /mischief/mischief/stylish raco setup: in /mischief/no-debug raco setup: in /mischief/mischief/lang raco setup: making: /mischief/debug/mischief raco setup: making: /mischief/debug/mischief/lang raco setup: in /mischief/debug/mischief/lang raco setup: making: /mischief/debug/racket raco setup: in /mischief/debug/racket raco setup: making: /mischief/debug/racket/base raco setup: making: /mischief/debug/racket/base/lang raco setup: in /mischief/debug/racket/base/lang raco setup: making: /mischief/debug/racket/lang raco setup: in /mischief/debug/racket/lang raco setup: making: /mischief/mischief raco setup: in /mischief/mischief raco setup: in /mischief/mischief/scribblings raco setup: in /mischief/no-debug raco setup: making: /mischief/mischief/lang raco setup: in /mischief/mischief/lang raco setup: making: /mischief/mischief/private raco setup: in /mischief/mischief/private raco setup: making: /mischief/mischief/props raco setup: making: /mischief/mischief/props/lang raco setup: in /mischief/mischief/props/lang raco setup: making: /mischief/mischief/scribblings raco setup: making: /mischief/mischief/stylish raco setup: making: /mischief/mischief/tests raco setup: in /mischief/mischief/tests raco setup: making: /mischief/no-debug raco setup: in /mischief/no-debug raco setup: making: /mischief/no-debug/mischief raco setup: making: /mischief/no-debug/mischief/lang raco setup: in /mischief/no-debug/mischief/lang raco setup: making: /mischief/no-debug/racket raco setup: in /mischief/no-debug/racket raco setup: making: /mischief/no-debug/racket/base raco setup: making: /mischief/no-debug/racket/base/lang raco setup: in /mischief/no-debug/racket/base/lang raco setup: making: /mischief/no-debug/racket/lang raco setup: in /mischief/no-debug/racket/lang raco setup: making: /private-in raco setup: in /private-in raco setup: in /private-in/test raco setup: in /private-in/scribblings raco setup: making: /private-in/scribblings raco setup: making: /redex-etc raco setup: in /redex-etc raco setup: in /redex-etc/private raco setup: in /redex-etc/test raco setup: in /redex-etc/scribblings raco setup: in /unstable-redex/gui raco setup: making: /redex-etc/language raco setup: in /redex-etc/language raco setup: in /redex-etc/language/private raco setup: making: /redex-etc/language/lang raco setup: in /redex-etc/language/lang raco setup: making: /redex-etc/language/private raco setup: making: /redex-etc/private raco setup: making: /redex-etc/scribblings raco setup: making: /seq-no-order/seq-no-order raco setup: in /seq-no-order/seq-no-order raco setup: in /seq-no-order/seq-no-order/docs raco setup: making: /seq-no-order/seq-no-order/docs raco setup: making: /stream-etc raco setup: in /stream-etc raco setup: in /stream-etc/scribblings raco setup: making: /stream-etc/scribblings 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: making: /syntax-spec-v3 (syntax-spec-v3) raco setup: in /syntax-spec-v3 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: /threading-doc/scribblings raco setup: in /threading-doc/scribblings raco setup: in /threading-lib/threading raco setup: in /threading-lib/threading/private raco setup: making: /threading-lib/threading raco setup: making: /threading-lib/threading/private raco setup: making: /trace-contract (trace-contract) raco setup: in /trace-contract raco setup: in /trace-contract/scribblings raco setup: in /trace-contract-lib raco setup: in /trace-contract-lib/private raco setup: making: /trace-contract-lib (trace-contract) raco setup: in /trace-contract-lib raco setup: making: /trace-contract-lib/private raco setup: making: /trace-contract/example raco setup: in /trace-contract/example raco setup: in /trace-contract/example/util raco setup: making: /trace-contract/example/support raco setup: making: /trace-contract/example/util raco setup: making: /trace-contract/model raco setup: in /trace-contract/model raco setup: making: /trace-contract/scribblings raco setup: making: /trace-contract/test raco setup: in /trace-contract/test raco setup: making: /unstable-redex raco setup: in /unstable-redex raco setup: in /unstable-redex/gui raco setup: making: /unstable-redex/gui raco setup: making: /version-case (version-case) raco setup: in /version-case raco setup: making: /version-case/private raco setup: --- creating launchers --- [17:16:55] raco setup: --- installing man pages --- [17:16:55] raco setup: --- building documentation --- [17:16:55] raco setup: syncing: /ee-lib/doc/ee-lib raco setup: running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: syncing: /meta/doc/meta raco setup: syncing: /mischief/mischief/doc/mischief raco setup: syncing: /private-in/doc/private-in raco setup: syncing: /redex-etc/doc/redex-etc raco setup: running: /racket-index/scribblings/main/user/release.scrbl raco setup: running: /racket-index/scribblings/main/user/search.scrbl raco setup: syncing: /seq-no-order/seq-no-order/doc/seq-no-order raco setup: running: /racket-index/scribblings/main/user/start.scrbl raco setup: syncing: /stream-etc/doc/stream-etc raco setup: syncing: /syntax-spec-v3/doc/syntax-spec-v3 raco setup: syncing: /threading-doc/scribblings/doc/threading raco setup: syncing: /trace-contract/doc/trace-contract raco setup: syncing: /unstable-redex/doc/unstable-redex raco setup: syncing: /latex-utils/doc/utils 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 --- [17:17:09] raco setup: --- post-installing collections --- [17:17:09] raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/all.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/bank-oo.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/bank.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/combine.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/concurrent.rkt") test) raco test: (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/draw.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/explain.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/factory-shared.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/factory.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/files.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/fold.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/free.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/global-fold.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/has-next.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/increase.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/increment.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/indy-ignore.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/injective.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/listener.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/lock.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/logic.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/merge.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/monotone.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/multi-blame.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/mutable-key.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/nested.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/partial-order.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/reset.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/shared.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/step.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/string.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/suspect.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/take5.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/util/red-black-tree.rkt") test) raco test: (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/util/test.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/info.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/model/compiler.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/model/semantics.rkt") raco test: (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/model/syntax.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/model/test.rkt") test) raco test: (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/scribblings/trace-contract.scrbl") raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/test/attribute-contract.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/test/decl.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/test/trace-contract-macro.rkt") test) raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/test/util.rkt") test) 78 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/util/red-black-tree.rkt 59 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/model/test.rkt 16 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/monotone.rkt 14 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/partial-order.rkt 11 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/files.rkt 11 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/listener.rkt 11 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/reset.rkt 10 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/has-next.rkt 10 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/test/trace-contract-macro.rkt 9 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/free.rkt 9 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/injective.rkt 9 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/test/attribute-contract.rkt 5 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/bank-oo.rkt 5 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/bank.rkt 5 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/logic.rkt 5 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/shared.rkt 4 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/all.rkt 4 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/combine.rkt 4 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/factory.rkt 4 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/suspect.rkt 4 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/take5.rkt 4 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/test/util.rkt 3 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/factory-shared.rkt 3 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/fold.rkt 3 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/global-fold.rkt 3 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/increase.rkt 3 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/increment.rkt 3 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/lock.rkt 3 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/multi-blame.rkt 3 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/mutable-key.rkt 3 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/nested.rkt 3 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/string.rkt 2 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/explain.rkt 2 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/merge.rkt 2 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/step.rkt 1 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/concurrent.rkt 1 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/indy-ignore.rkt 1 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/test/decl.rkt 0 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/draw.rkt 0 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/example/util/test.rkt 0 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/info.rkt 0 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/model/compiler.rkt 0 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/model/semantics.rkt 0 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/model/syntax.rkt 0 /home/root//user/.local/share/racket/8.17.0.6/pkgs/trace-contract/scribblings/trace-contract.scrbl 330 tests passed The time is now Wednesday, July 2nd, 2025 12:20:01pm