The time is now Saturday, January 11th, 2025 9:55:35pm (/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: DISPLAY=:1 DISPLAY=:1 PLTSTDOUT=debug@pkg info@GC:major /usr/bin/xvfb-run -n 1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 2 -u --auto trace-contract && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 2 --drdr --package trace-contract) Resolved "trace-contract" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "camoy@ccs.neu.edu") (checksum . "868fa2f14f71aafcf9739e2f81e4b40a84cccb00") (dependencies . (("automata-lib") ("contract-etc-lib") ("data-lib") ("graph-lib") ("redex-etc") ("redex-lib") ("redex-pict-lib") ("stream-etc") ("base") ("trace-contract-lib") ("rackunit-lib") ("chk-lib") ("racket-doc") ("sandbox-lib") ("scribble-lib"))) (description . "") (modules . ((lib "trace-contract/example/factory-shared.rkt") (lib "trace-contract/example/shared.rkt") (lib "trace-contract/example/free.rkt") (lib "trace-contract/example/nested.rkt") (lib "trace-contract/example/increment.rkt") (lib "trace-contract/example/bank.rkt") (lib "trace-contract/model/compiler.rkt") (lib "trace-contract/example/indy-ignore.rkt") (lib "trace-contract/example/factory.rkt") (lib "trace-contract/example/suspect.rkt") (lib "trace-contract/test/trace-contract-macro.rkt") (lib "trace-contract/example/util/test.rkt") (lib "trace-contract/test/util.rkt") (lib "trace-contract/test/decl.rkt") (lib "trace-contract/example/monotone.rkt") (lib "trace-contract/model/syntax.rkt") (lib "trace-contract/example/step.rkt") (lib "trace-contract/example/combine.rkt") (lib "trace-contract/example/fold.rkt") (lib "trace-contract/example/merge.rkt") (lib "trace-contract/example/partial-order.rkt") (lib "trace-contract/example/explain.rkt") (lib "trace-contract/example/global-fold.rkt") (lib "trace-contract/example/bank-oo.rkt") (lib "trace-contract/example/string.rkt") (lib "trace-contract/test/attribute-contract.rkt") (lib "trace-contract/example/reset.rkt") (lib "trace-contract/example/increase.rkt") (lib "trace-contract/example/injective.rkt") (lib "trace-contract/example/lock.rkt") (lib "trace-contract/example/util/red-black-tree.rkt") (lib "trace-contract/example/mutable-key.rkt") (lib "trace-contract/model/semantics.rkt") (lib "trace-contract/example/all.rkt") (lib "trace-contract/example/concurrent.rkt") (lib "trace-contract/example/has-next.rkt") (lib "trace-contract/example/multi-blame.rkt") (lib "trace-contract/example/files.rkt") (lib "trace-contract/example/take5.rkt") (lib "trace-contract/model/test.rkt") (lib "trace-contract/scribblings/trace-contract.scrbl") (lib "trace-contract/example/draw.rkt"))) (name . "trace-contract") (ring . 2) (source . "file:///home/root/catalogs/built/pkgs/trace-contract.zip") (tags . ())) 00: Resolved "automata-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "contract-etc-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "graph-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "redex-etc" via file:///home/root//catalogs/built/catalog 00: Resolved "stream-etc" via file:///home/root//catalogs/built/catalog 00: Resolved "trace-contract-lib" via file:///home/root//catalogs/built/catalog Resolved "chk-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "jay.mccarthy@gmail.com") (checksum . "42e3d66ce36bab53487df512d1a5a86782d4a136") (dependencies . (("base" #:version "6.2.900.6"))) (description . "a library for defining efficient automata using match patterns") (modules . ((lib "automata/nfa.rkt") (lib "automata/re-help.rkt") (lib "automata/nfa-star.rkt") (lib "automata/re.rkt") (lib "automata/machine.rkt") (lib "automata/nfa-ep.rkt") (lib "automata/re-ext.rkt") (lib "automata/re-compile.rkt") (lib "automata/dfa.rkt"))) (name . "automata-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/automata-lib.zip") (tags . ("automata" "match" "regex"))) pkg: catalog response: #hash((author . "camoy@ccs.neu.edu") (checksum . "b04b649fc9fe435a5f1b7ba1535772b070271b9d") (dependencies . (("base") ("option-contract-lib") ("rackunit-lib"))) (description . "") (modules . ((lib "contract-etc/main.rkt") (lib "contract-etc/annotate.rkt"))) (name . "contract-etc-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/contract-etc-lib.zip") (tags . ())) pkg: catalog response: #hash((author . "stchang@racket-lang.org") (checksum . "8ac99d7b6be6fcbdc6a767684ede72b33d55529f") (dependencies . (("base" #:version "6.0") ("gen-queue-lib") ("data-lib") ("math-lib"))) (description . "main graph package") (modules . ((lib "graph/graph-fns-spantree.rkt") (lib "graph/graph-property.rkt") (lib "graph/graph-fns-minspantree.rkt") (lib "graph/graph-fns-graphviz.rkt") (lib "graph/graph-fns-coloring.rkt") (lib "graph/graph-fns-maxflow.rkt") (lib "graph/hash-utils.rkt") (lib "graph/graph-matrix.rkt") (lib "graph/graph-fns-basic.rkt") (lib "graph/graph-fns-allpairs-shortestpaths.rkt") (lib "graph/main.rkt") (lib "graph/graph-weighted.rkt") (lib "graph/utils.rkt") (lib "graph/adjlist-utils.rkt") (lib "graph/gen-graph.rkt") (lib "graph/graph-unweighted.rkt") (lib "graph/graph-fns-singlesource-shortestpaths.rkt"))) (name . "graph-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/graph-lib.zip") (tags . ("data" "graph"))) pkg: catalog response: #hash((author . "camoy@ccs.neu.edu") (checksum . "50c43a0e72f3590c06606e4cf4af93bcfe725b40") (dependencies . (("typed-racket-lib") ("latex-utils") ("redex-pict-lib") ("unstable-redex") ("base") ("redex-lib") ("private-in") ("draw-lib") ("pict-lib") ("redex-doc") ("chk-lib") ("racket-doc") ("scribble-lib") ("pict-doc"))) (description . "Miscellanea for Redex.") (modules . ((lib "redex-etc/private/metas.rkt") (lib "redex-etc/main.rkt") (lib "redex-etc/language/private/parameter.rkt") (lib "redex-etc/language/private/render.rkt") (lib "redex-etc/language/lang/reader.rkt") (lib "redex-etc/language/private/util.rkt") (lib "redex-etc/test/common.rkt") (lib "redex-etc/scribblings/redex-etc.scrbl") (lib "redex-etc/language/main.rkt") (lib "redex-etc/language/private/plstx.rkt") (lib "redex-etc/private/macros.rkt") (lib "redex-etc/private/require-typed-primitives.rkt") (lib "redex-etc/private/functions.rkt"))) (name . "redex-etc") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/redex-etc.zip") (tags . ("redex"))) pkg: catalog response: #hash((author . "camoy@ccs.neu.edu") (checksum . "52b5cdbbe440a9b177085641e770f4111804734c") (dependencies . (("base") ("chk-lib") ("sandbox-lib") ("threading-doc") ("scribble-lib") ("racket-doc") ("rackunit-lib"))) (description . "Miscellaneous stream operations.") (modules . ((lib "stream-etc/main.rkt") (lib "stream-etc/scribblings/stream-etc.scrbl"))) (name . "stream-etc") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/stream-etc.zip") (tags . ("stream"))) pkg: catalog response: #hash((author . "camoy@ccs.neu.edu") (checksum . "830f11b0aa99492feeacd6451dade25c5f93be7b") (dependencies . (("meta") ("base") ("ee-lib") ("chk-lib"))) (description . "") (modules . ((lib "trace-contract/private/full-clause.rkt") (lib "trace-contract/main.rkt") (lib "trace-contract/private/subclause.rkt") (lib "trace-contract/private/decl.rkt") (lib "trace-contract/private/attribute-contract.rkt") (lib "trace-contract/private/trace-contract.rkt") (lib "trace-contract/private/track-clause.rkt") (lib "trace-contract/private/util.rkt") (lib "trace-contract/private/fail.rkt") (lib "trace-contract/private/collector-transformer.rkt") (lib "trace-contract/private/collector-contract.rkt") (lib "trace-contract/private/logger.rkt") (lib "trace-contract/private/clause.rkt") (lib "trace-contract/private/trace-contract-macro.rkt") (lib "trace-contract/private/checker.rkt"))) (name . "trace-contract-lib") (ring . 2) (source . "file:///home/root/catalogs/built/pkgs/trace-contract-lib.zip") (tags . ())) pkg: catalog response: #hash((author . "jay.mccarthy@gmail.com") (checksum . "1e1af5c6d92a3dfb65c8e18a846a0be6491121f6") (dependencies . (("testing-util-lib") ("base"))) (description . "a minimal tester") (modules . ((lib "chk/main.rkt"))) (name . "chk-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/chk-lib.zip") (tags . ("testing"))) Resolved "gen-queue-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "stchang@racket-lang.org") (checksum . "1ee1b963e8f0c6327e9dbdfc2f172d1c1b1fe3f2") (dependencies . (("base" #:version "6.0") ("data-lib"))) (description . "Generic interface for some queues. Used by graph-lib") (modules . ((lib "data/gen-queue/gen-queue.rkt") (lib "data/gen-queue/priority.rkt") (lib "data/gen-queue.rkt") (lib "data/gen-queue/fifo.rkt"))) (name . "gen-queue-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/gen-queue-lib.zip") (tags . ("data" "graph" "queue"))) 00: Resolved "latex-utils" via file:///home/root//catalogs/built/catalog 00: Resolved "unstable-redex" via file:///home/root//catalogs/built/catalog Resolved "private-in" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "matias@fortlogic.net") (checksum . "d32ca68d78893fa81dd773b0d2d5ca1ae99c8f6f") (dependencies . (("base") ("scheme-lib") ("scribble-lib") ("seq-no-order") ("at-exp-lib") ("racket-doc") ("scribble-doc"))) (description . "Some utilities for generating LaTeX markup of various descriptions.") (modules . ((lib "latex-utils/scribblings/utils.scrbl") (lib "latex-utils/scribble/private/syntax.rkt") (lib "latex-utils/scribble/private/math.rkt") (lib "latex-utils/scribble/homework.rkt") (lib "latex-utils/scribble/private/utils.rkt") (lib "latex-utils/scribble.rkt") (lib "latex-utils/scribble/private/theorem.rkt") (lib "latex-utils/scribble/math.rkt") (lib "latex-utils/scribble/references.rkt") (lib "latex-utils/scribble/utils.rkt") (lib "latex-utils/scribble/theorem.rkt") (lib "latex-utils/scribble/private/unmap.rkt") (lib "latex-utils/scribble/unmap.rkt"))) (name . "latex-utils") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/latex-utils.zip") (tags . ("LaTeX" "scribble"))) pkg: catalog response: #hash((author . "ryanc@racket-lang.org") (checksum . "94cb8d21fe7302deea94314e1505178467da5efb") (dependencies . (("base") ("pict-lib") ("redex-lib") ("redex-pict-lib") ("scribble-lib") ("pict-doc") ("redex-doc") ("racket-doc"))) (description . "Experimental libraries for typesetting PLT Redex models") (modules . ((lib "unstable/gui/redex.rkt") (lib "unstable/gui/unstable-redex.scrbl"))) (name . "unstable-redex") (ring . 0) (source . "file:///home/root/catalogs/built/pkgs/unstable-redex.zip") (tags . ("unstable"))) pkg: catalog response: #hash((author . "camoy@ccs.neu.edu") (checksum . "10a4bd0a4ab2331e8678656973aba99f38d5df5e") (dependencies . (("base") ("chk-lib") ("rackunit-doc") ("scribble-lib") ("racket-doc") ("rackunit-lib"))) (description . "Require private bindings.") (modules . ((lib "private-in/test/mod.rkt") (lib "private-in/scribblings/private-in.scrbl") (lib "private-in/main.rkt"))) (name . "private-in") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/private-in.zip") (tags . ("require"))) Resolved "seq-no-order" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "alexander@knauth.org") (checksum . "3c6853065c7832d6e8b35bbe757bfe7d357e0ff6") (dependencies . (("base" #:version "6.1.1") ("rackunit-lib") ("scribble-lib") ("racket-doc"))) (description . "~seq-no-order and ~no-order as pattern-expanders that work with syntax/parse.") (modules . ((lib "seq-no-order/main.rkt") (lib "seq-no-order/groups-no-order.rkt") (lib "seq-no-order/seq-no-order.rkt") (lib "seq-no-order/docs/seq-no-order.scrbl"))) (name . "seq-no-order") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/seq-no-order.zip") (tags . ("syntax-parse"))) Resolved "threading-doc" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "70629392945d7f810846fcc78d0b14c005a16115") (dependencies . (("base") ("racket-doc") ("scribble-lib") ("threading-lib" #:version "2.0"))) (description . "documentation (no implementation) for “threading”") (modules . ((lib "scribblings/threading.scrbl"))) (name . "threading-doc") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/threading-doc.zip") (tags . ())) Resolved "threading-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "18809e344c7e18a1b128a1c0e7f82d0596aaa3e8") (dependencies . (("base" #:version "6.3"))) (description . "implementation (no documentation) for “threading”") (modules . ((lib "threading/main.rkt") (lib "threading/private/extra.rkt") (lib "threading/private/base.rkt") (lib "threading/private/cond.rkt"))) (name . "threading-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/threading-lib.zip") (tags . ())) 00: Resolved "meta" via file:///home/root//catalogs/built/catalog Resolved "ee-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "camoy@ccs.neu.edu") (checksum . "2519edbd72063896f82618cfac310068fceaa69f") (dependencies . (("base") ("chk-lib") ("racket-doc") ("scribble-lib"))) (description . "Associate metadata with values.") (modules . ((lib "meta/main.rkt") (lib "meta/scribblings/meta.scrbl"))) (name . "meta") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/meta.zip") (tags . ("metadata"))) pkg: catalog response: #hash((author . "michael.ballantyne@gmail.com") (checksum . "19817c983b70c8765a7895d1136cf59135b7b920") (dependencies . (("base" #:version "8.2.0.7") ("rackunit-lib") ("racket-doc") ("scribble-lib") ("drracket"))) (description . "Utilities for defining embedded macro expanders") (modules . ((lib "ee-lib/test/suspend/suspend-test.rkt") (lib "ee-lib/test/js.rkt") (lib "ee-lib/main.rkt") (lib "ee-lib/define.rkt") (lib "ee-lib/private/lift-trampoline.rkt") (lib "ee-lib/syntax-category.rkt") (lib "ee-lib/private/flip-intro-scope.rkt") (lib "ee-lib/test/splicing.rkt") (lib "ee-lib/private/datum-map.rkt") (lib "ee-lib/persistent-id-table.rkt") (lib "ee-lib/test/same-binding.rkt") (lib "ee-lib/private/binding.rkt") (lib "ee-lib/scribblings/ee-lib.scrbl") (lib "ee-lib/test/jstest.rkt") (lib "ee-lib/test/phone-numbers-ee-lib.rkt") (lib "ee-lib/test/phone-numbers-basic.rkt") (lib "ee-lib/private/lift-disappeareds.rkt") (lib "ee-lib/private/syntax-serializer.rkt") (lib "ee-lib/errors.rkt") (lib "ee-lib/test/suspend/suspend.rkt") (lib "ee-lib/private/syntax-datum.rkt"))) (name . "ee-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/ee-lib.zip") (tags . ())) pkg: creating single-collection link to # pkg: updating db with "meta" to '#s((sc-pkg-info pkg-info 3) (catalog "meta") "2519edbd72063896f82618cfac310068fceaa69f" #t "meta") pkg: creating single-collection link to # pkg: updating db with "ee-lib" to '#s((sc-pkg-info pkg-info 3) (catalog "ee-lib") "19817c983b70c8765a7895d1136cf59135b7b920" #t "ee-lib") pkg: creating link to # pkg: updating db with "chk-lib" to '#s(pkg-info (catalog "chk-lib") "1e1af5c6d92a3dfb65c8e18a846a0be6491121f6" #t) pkg: creating single-collection link to # pkg: updating db with "trace-contract" to '#s((sc-pkg-info pkg-info 3) (catalog "trace-contract") "868fa2f14f71aafcf9739e2f81e4b40a84cccb00" #f "trace-contract") pkg: creating single-collection link to # pkg: updating db with "automata-lib" to '#s((sc-pkg-info pkg-info 3) (catalog "automata-lib") "42e3d66ce36bab53487df512d1a5a86782d4a136" #t "automata") pkg: creating single-collection link to # pkg: updating db with "contract-etc-lib" to '#s((sc-pkg-info pkg-info 3) (catalog "contract-etc-lib") "b04b649fc9fe435a5f1b7ba1535772b070271b9d" #t "contract-etc") pkg: creating link to # pkg: updating db with "graph-lib" to '#s(pkg-info (catalog "graph-lib") "8ac99d7b6be6fcbdc6a767684ede72b33d55529f" #t) pkg: creating link to # pkg: updating db with "gen-queue-lib" to '#s(pkg-info (catalog "gen-queue-lib") "1ee1b963e8f0c6327e9dbdfc2f172d1c1b1fe3f2" #t) pkg: creating single-collection link to # pkg: updating db with "redex-etc" to '#s((sc-pkg-info pkg-info 3) (catalog "redex-etc") "50c43a0e72f3590c06606e4cf4af93bcfe725b40" #t "redex-etc") pkg: creating single-collection link to # pkg: updating db with "latex-utils" to '#s((sc-pkg-info pkg-info 3) (catalog "latex-utils") "d32ca68d78893fa81dd773b0d2d5ca1ae99c8f6f" #t "latex-utils") pkg: creating link to # pkg: updating db with "seq-no-order" to '#s(pkg-info (catalog "seq-no-order") "3c6853065c7832d6e8b35bbe757bfe7d357e0ff6" #t) pkg: creating single-collection link to # pkg: updating db with "unstable-redex" to '#s((sc-pkg-info pkg-info 3) (catalog "unstable-redex") "94cb8d21fe7302deea94314e1505178467da5efb" #t "unstable") pkg: creating single-collection link to # pkg: updating db with "private-in" to '#s((sc-pkg-info pkg-info 3) (catalog "private-in") "10a4bd0a4ab2331e8678656973aba99f38d5df5e" #t "private-in") pkg: creating single-collection link to # pkg: updating db with "stream-etc" to '#s((sc-pkg-info pkg-info 3) (catalog "stream-etc") "52b5cdbbe440a9b177085641e770f4111804734c" #t "stream-etc") pkg: creating link to # pkg: updating db with "threading-doc" to '#s(pkg-info (catalog "threading-doc") "70629392945d7f810846fcc78d0b14c005a16115" #t) pkg: creating link to # pkg: updating db with "threading-lib" to '#s(pkg-info (catalog "threading-lib") "18809e344c7e18a1b128a1c0e7f82d0596aaa3e8" #t) pkg: creating single-collection link to # pkg: updating db with "trace-contract-lib" to '#s((sc-pkg-info pkg-info 3) (catalog "trace-contract-lib") "830f11b0aa99492feeacd6451dade25c5f93be7b" #t "trace-contract") The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of trace-contract: automata-lib contract-etc-lib graph-lib redex-etc stream-etc trace-contract-lib chk-lib 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.15 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 8.15 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.15/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.15/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.15/links.rktd raco setup: compiled-file roots: raco setup: /home/root//zo raco setup: same raco setup: main docs: /home/root/racket/doc raco setup: --- updating info-domain tables --- [21:55:38] raco setup: updating: /home/root/user/.local/share/racket/8.15/share/info-cache.rktd raco setup: --- pre-installing collections --- [21:55:38] raco setup: --- installing foreign libraries --- [21:55:38] raco setup: --- installing shared files --- [21:55:38] raco setup: --- compiling collections --- [21:55:38] raco setup: --- parallel build using 2 jobs --- [21:55:38] raco setup: 1 making: /automata-lib raco setup: 0 making: /chk-lib/chk raco setup: 0 making: /contract-etc-lib raco setup: 1 making: /ee-lib (ee-lib) raco setup: 0 making: /gen-queue-lib/data raco setup: 0 making: /gen-queue-lib/data/gen-queue raco setup: 0 making: /graph-lib/graph raco setup: 1 making: /ee-lib/private raco setup: 1 making: /ee-lib/test raco setup: 1 making: /ee-lib/test/suspend raco setup: 1 making: /latex-utils raco setup: 0 making: /meta raco setup: 1 making: /latex-utils/scribble raco setup: 1 making: /latex-utils/scribble/private raco setup: 1 making: /private-in raco setup: 1 making: /redex-etc raco setup: 0 making: /seq-no-order/seq-no-order raco setup: 0 making: /stream-etc raco setup: 0 making: /threading-doc/scribblings raco setup: 0 making: /threading-lib/threading raco setup: 0 making: /threading-lib/threading/private raco setup: 0 making: /trace-contract (trace-contract) raco setup: 0 making: /trace-contract/example raco setup: 1 making: /redex-etc/language raco setup: 1 making: /redex-etc/language/lang raco setup: 1 making: /redex-etc/language/private raco setup: 1 making: /redex-etc/private raco setup: 1 making: /trace-contract-lib (trace-contract) raco setup: 1 making: /trace-contract-lib/private raco setup: 1 making: /unstable-redex raco setup: 1 making: /unstable-redex/gui raco setup: 0 making: /trace-contract/example/util raco setup: 0 making: /trace-contract/model raco setup: 0 making: /trace-contract/test raco setup: --- creating launchers --- [21:55:44] raco setup: --- installing man pages --- [21:55:44] raco setup: --- building documentation --- [21:55:44] raco setup: syncing: /ee-lib/doc/ee-lib raco setup: syncing: /meta/doc/meta raco setup: syncing: /private-in/doc/private-in raco setup: syncing: /redex-etc/doc/redex-etc raco setup: syncing: /seq-no-order/seq-no-order/doc/seq-no-order raco setup: syncing: /stream-etc/doc/stream-etc 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: 0 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: 1 rendering: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 0 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 --- [21:55:50] raco setup: --- post-installing collections --- [21:55:50] GC: 0:atexit peak 284,015K(+157,344K); alloc 13,464,343K; major 6; minor 701; 3340ms raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/all.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/bank-oo.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/bank.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/combine.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/concurrent.rkt") test) raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/draw.rkt") raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/explain.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/factory-shared.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/factory.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/files.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/fold.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/free.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/global-fold.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/has-next.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/increase.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/increment.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/indy-ignore.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/injective.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/lock.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/merge.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/monotone.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/multi-blame.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/mutable-key.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/nested.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/partial-order.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/reset.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/shared.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/step.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/string.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/suspect.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/take5.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/util/red-black-tree.rkt") test) raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/util/test.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/info.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/model/compiler.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/model/semantics.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/model/syntax.rkt") raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/model/test.rkt") test) raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/scribblings/trace-contract.scrbl") raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/test/attribute-contract.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/test/decl.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/test/trace-contract-macro.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/trace-contract/test/util.rkt") test) 78 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/util/red-black-tree.rkt 59 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/model/test.rkt 16 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/monotone.rkt 14 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/partial-order.rkt 11 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/files.rkt 11 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/reset.rkt 10 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/has-next.rkt 10 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/test/trace-contract-macro.rkt 9 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/free.rkt 9 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/injective.rkt 9 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/test/attribute-contract.rkt 5 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/bank-oo.rkt 5 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/bank.rkt 5 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/shared.rkt 4 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/all.rkt 4 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/combine.rkt 4 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/factory.rkt 4 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/suspect.rkt 4 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/take5.rkt 4 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/test/util.rkt 3 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/factory-shared.rkt 3 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/fold.rkt 3 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/global-fold.rkt 3 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/increase.rkt 3 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/increment.rkt 3 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/lock.rkt 3 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/multi-blame.rkt 3 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/mutable-key.rkt 3 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/nested.rkt 3 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/string.rkt 2 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/explain.rkt 2 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/merge.rkt 2 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/step.rkt 1 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/concurrent.rkt 1 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/indy-ignore.rkt 1 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/test/decl.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/draw.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/example/util/test.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/info.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/model/compiler.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/model/semantics.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/model/syntax.rkt 0 /home/root//user/.local/share/racket/8.15/pkgs/trace-contract/scribblings/trace-contract.scrbl 314 tests passed GC: 0:atexit peak 98,327K(+38,168K); alloc 415,692K; major 1; minor 49; 163ms The time is now Saturday, January 11th, 2025 9:56:43pm