The time is now Tuesday, May 5th, 2020 7:31:07am (/usr/bin/env DISPLAY=:1 PLT_PKG_BUILD_SERVICE=1 PLTUSERHOME=/home/root//user PLT_PKG_BUILD_SERVICE=1 CI=true PLTSTDERR=debug@pkg error PLT_INFO_ALLOW_VARS=;PLT_PKG_BUILD_SERVICE /usr/bin/xvfb-run -n 1 /bin/sh -c cd "/home/root/"/racket && bin/raco pkg install -u --auto termination && bin/raco test --drdr --package termination) Resolved "termination" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "pcn@cs.umd.edu") (checksum . "f55440b69c1483764fcbf49fbc426996d308b5f4") (dependencies . (("profile-lib") ("r5rs-lib") ("rackunit-lib") ("base") ("typed-racket-lib") ("typed-racket-more") ("bnf") ("set-extras") ("unreachable") ("traces"))) (description . "Dynamic enforcement of size-change termination") (modules . ((lib "termination/tests/Dyn/acl2-fig-2.rkt") (lib "termination/tests/Dyn/isabelle-foo.rkt") (lib "termination/tests/Dyn/benchmarks/cm/interp-fact.rkt") (lib "termination/tests/Dyn/isabelle-f.rkt") (lib "termination/tests/Dyn/benchmarks/cm/mergesort.rkt") (lib "termination/tests/Dyn/destruct.rkt") (lib "termination/size-change-graph.rkt") (lib "termination/tests/Dyn/benchmarks/cm/fact.rkt") (lib "termination/tests/Dyn/buggy-versions/sct-5.rkt") (lib "termination/tests/Dyn/buggy-versions/sct-6.rkt") (lib "termination/tests/Dyn/sct-1.rkt") (lib "termination/flow-analysis/analyze.rkt") (lib "termination/tests/Dyn/buggy-versions/lh-gcd.rkt") (lib "termination/tests/Dyn/ho-sct-fg.rkt") (lib "termination/tests/Dyn/benchmarks/unchecked/sum.rkt") (lib "termination/tests/Dyn/buggy-versions/sct-1.rkt") (lib "termination/tests/Dyn/dderiv.rkt") (lib "termination/micro-benchmarks.rkt") (lib "termination/unsafe.rkt") (lib "termination/tests/Dyn/buggy-versions/sct-2.rkt") (lib "termination/tests/Dyn/benchmarks/imp/fact.rkt") (lib "termination/tests/Dyn/benchmarks/imp/interp-sum.rkt") (lib "termination/syntax-utils.rkt") (lib "termination/tests/Dyn/benchmarks/cm/interp-sum.rkt") (lib "termination/tests/Dyn/nfa.rkt") (lib "termination/tests/Dyn/buggy-versions/sct-4.rkt") (lib "termination/tests/Dyn/ho-sct-fold.rkt") (lib "termination/tests/Dyn/isabelle-perm.rkt") (lib "termination/tests/Dyn/benchmarks/imp/mergesort.rkt") (lib "termination/tests/Dyn/benchmarks/unchecked/interp-fact.rkt") (lib "termination/tests/Dyn/scheme.rkt") (lib "termination/tests/Dyn/buggy-versions/destruct.rkt") (lib "termination/tests/Dyn/benchmarks/imp/sum.rkt") (lib "termination/tests/Dyn/buggy-versions/ho-sct-fg.rkt") (lib "termination/tests/Dyn/benchmarks/unchecked/mergesort.rkt") (lib "termination/tests/Dyn/benchmarks/unchecked/interp-mergesort.rkt") (lib "termination/tests/Dyn/buggy-versions/div.rkt") (lib "termination/tests/Dyn/buggy-versions/acl2-fig-6.rkt") (lib "termination/tests/Dyn/lh-tfact.rkt") (lib "termination/tests/Dyn/lh-range.rkt") (lib "termination/tests/Dyn/benchmarks/imp/interp-fact.rkt") (lib "termination/tests/Dyn/buggy-versions/lh-range.rkt") (lib "termination/tests/Dyn/buggy-versions/acl2-fig-7.rkt") (lib "termination/flow-analysis/lang.rkt") (lib "termination/flow-analysis/main.rkt") (lib "termination/tests/Dyn/buggy-versions/acl2-fig-2.rkt") (lib "termination/tests/Dyn/buggy-versions/isabelle-foo.rkt") (lib "termination/flattened-parameter.rkt") (lib "termination/tests/Dyn/benchmarks/cm/interp-mergesort.rkt") (lib "termination/tests/Dyn/div.rkt") (lib "termination/apply-with-termination.rkt") (lib "termination/tests/Dyn/sct-5.rkt") (lib "termination/tests/Dyn/buggy-versions/dderiv.rkt") (lib "termination/tests/Dyn/lh-merge.rkt") (lib "termination/tests/Dyn/buggy-versions/ho-sct-fold.rkt") (lib "termination/tests/Dyn/buggy-versions/lh-merge.rkt") (lib "termination/main.rkt") (lib "termination/tests/Dyn/buggy-versions/ho-sct-ack.rkt") (lib "termination/tests/Dyn/deriv.rkt") (lib "termination/tests/Dyn/benchmarks/unchecked/fact.rkt") (lib "termination/tests/Dyn/lh-map.rkt") (lib "termination/tests/Dyn/buggy-versions/isabelle-perm.rkt") (lib "termination/runtime-utils.rkt") (lib "termination/tests/Dyn/buggy-versions/isabelle-f.rkt") (lib "termination/tests/Dyn/benchmarks/common.rkt") (lib "termination/flow-analysis/utils.rkt") (lib "termination/tests/Dyn/sct-6.rkt") (lib "termination/tests/Dyn/buggy-versions/scheme.rkt") (lib "termination/tests/Dyn/sct-4.rkt") (lib "termination/tests/Dyn/buggy-versions/lh-tfact.rkt") (lib "termination/test.rkt") (lib "termination/tests/Dyn/sct-2.rkt") (lib "termination/tests/Dyn/buggy-versions/deriv.rkt") (lib "termination/tests/Dyn/benchmarks/imp/interp-mergesort.rkt") (lib "termination/tests/Dyn/benchmarks/cm/sum.rkt") (lib "termination/tests/Dyn/sct-3.rkt") (lib "termination/tests/Dyn/buggy-versions/nfa.rkt") (lib "termination/tests/Dyn/buggy-versions/lh-map.rkt") (lib "termination/flow-analysis/parse.rkt") (lib "termination/tests/Dyn/isabelle-bar.rkt") (lib "termination/tests/Dyn/benchmarks/unchecked/interp-sum.rkt") (lib "termination/tests/Dyn/acl2-fig-7.rkt") (lib "termination/tests/Dyn/isabelle-poly.rkt") (lib "termination/tests/Dyn/ho-sct-ack.rkt") (lib "termination/tests/Dyn/lh-gcd.rkt") (lib "termination/tests/Dyn/acl2-fig-6.rkt") (lib "termination/unsafe-apply-with-termination.rkt") (lib "termination/tests/Dyn/buggy-versions/sct-3.rkt") (lib "termination/tests/Dyn/buggy-versions/isabelle-poly.rkt") (lib "termination/tests/Dyn/buggy-versions/isabelle-bar.rkt"))) (name . "termination") (ring . 2) (source . "file:///home/root/catalogs/built/pkgs/termination.zip") (tags . ("contracts" "termination"))) 00: Resolved "bnf" via file:///home/root//catalogs/built/catalog 00: Resolved "set-extras" via file:///home/root//catalogs/built/catalog 01: Resolved "unreachable" via file:///home/root//catalogs/built/catalog Resolved "traces" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "pcn@cs.umd.edu") (checksum . "4ead471c87aa0b7a6209170035857ac2eecb1095") (dependencies . (("base") ("typed-racket-lib") ("typed-racket-more") ("typed-struct-props"))) (description . "Concise Typed Racket syntax for declaring recursive data in BNF") (modules . ((lib "bnf/tests.rkt") (lib "bnf/main.rkt"))) (name . "bnf") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/bnf.zip") (tags . ("bnf" "data" "grammar" "typed-racket"))) pkg: catalog response: #hash((author . "pcn@cs.umd.edu") (checksum . "217932ac2f64a1f5a32b5f112c36c0ee17b0aea2") (dependencies . (("base") ("typed-racket-lib") ("typed-racket-more"))) (description . "Some conveniences for set, including fancy unicode aliases and more comprehension forms") (modules . ((lib "set-extras/main.rkt") (lib "set-extras/tests.rkt"))) (name . "set-extras") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/set-extras.zip") (tags . ("set" "typed-racket" "unicode"))) pkg: catalog response: #hash((author . "pcn@cs.umd.edu") (checksum . "30827e502344bf73d54ddfc6e790508ae0ca97cc") (dependencies . (("base"))) (description . "Utilities for expressing supposedly unreachable code") (modules . ((lib "unreachable/test.rkt") (lib "unreachable/main.rkt"))) (name . "unreachable") (ring . 2) (source . "file:///home/root/catalogs/built/pkgs/unreachable.zip") (tags . ("absurd" "case" "cond" "dead-code" "unreachable"))) pkg: catalog response: #hash((author . "pcn@cs.umd.edu") (checksum . "c6ef1cf2437f65f91e44f25c0ade72f7d6f9bed9") (dependencies . (("base") ("typed-racket-lib") ("typed-racket-more") ("redex-gui-lib"))) (description . "Tracing utilities for functions and hash-tables, similar to `traces` from `redex`") (modules . ((lib "traces/main.rkt") (lib "traces/typed.rkt") (lib "traces/test.rkt"))) (name . "traces") (ring . 2) (source . "file:///home/root/catalogs/built/pkgs/traces.zip") (tags . ("debugging" "graph" "traces"))) Resolved "typed-struct-props" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "georges.duperon@gmail.com") (checksum . "4f13ed4bc47e41e88f9c55d464da8649f488cfc0") (dependencies . (("base") ("rackunit-lib") ("typed-racket-lib") ("typed-racket-more") ("type-expander") ("scribble-lib") ("racket-doc") ("typed-racket-doc"))) (description . "Some struct type properties in Typed/Racket, in a more type-safe way.\r\n\r\nThe API should hopefully stay backward-compatible when Typed/Racket officially supports (or rejects) structure type properties.") (modules . ((lib "typed-struct-props/test/test-after.rkt") (lib "typed-struct-props/scribblings/typed-struct-props.scrbl") (lib "typed-struct-props/test/test-none.rkt") (lib "typed-struct-props/test/test-write+equal+hash-poly.rkt") (lib "typed-struct-props/test/test-write.rkt") (lib "typed-struct-props/test/test-parent.rkt") (lib "typed-struct-props/test/test-child.rkt") (lib "typed-struct-props/test/test-write+equal+hash.rkt") (lib "typed-struct-props/test/test-equal+hash.rkt") (lib "typed-struct-props/test/test-equal+hash-poly.rkt") (lib "typed-struct-props/test/test-none-poly.rkt") (lib "typed-struct-props/test/test-write-poly.rkt") (lib "typed-struct-props/main.rkt") (lib "typed-struct-props/test/test-poly.rkt"))) (name . "typed-struct-props") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/typed-struct-props.zip") (tags . ("structs" "typed-racket"))) Resolved "type-expander" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "georges.duperon@gmail.com") (checksum . "2a0af2dec61ee86b305313ea14220d9e990eb99b") (dependencies . (("base") ("rackunit-lib") ("scribble-lib") ("typed-racket-lib") ("typed-racket-more") ("hyper-literate") ("auto-syntax-e") ("debug-scopes") ("version-case") ("scribble-lib") ("racket-doc") ("typed-racket-more") ("typed-racket-doc") ("scribble-enhanced") ("mutable-match-lambda"))) (description . "Type expanders for typed/racket, which work like match expanders for match") (modules . ((lib "type-expander/test/readme.rkt") (lib "type-expander/test/base-lang-test-1.rkt") (lib "type-expander/base.rkt") (lib "type-expander/scribblings/type-expander.scrbl") (lib "type-expander/test/base-lang-test-2.rkt") (lib "type-expander/utils.rkt") (lib "type-expander/test/lang-test-2.rkt") (lib "type-expander/test/base-lang-test-3.rkt") (lib "type-expander/dbg.rkt") (lib "type-expander/test/lang-test-1.rkt") (lib "type-expander/contracts-to-types.rkt") (lib "type-expander/expander.rkt") (lib "type-expander/main.rkt") (lib "type-expander/lang/lang/reader.rkt") (lib "type-expander/identifiers.rkt") (lib "type-expander/lang.rkt") (lib "type-expander/scribblings/contracts-to-types.scrbl") (lib "type-expander/parameterize-lexical-context.rkt") (lib "type-expander/test/lang-test-3.rkt") (lib "type-expander/scribblings/type-expander-implementation.scrbl") (lib "type-expander/lang/reader.rkt") (lib "type-expander/test/test-contracts-to-types.rkt") (lib "type-expander/base/lang/reader.rkt") (lib "type-expander/scribblings/deprecated-colon.scrbl") (lib "type-expander/more-expanders.hl.rkt") (lib "type-expander/type-expander.hl.rkt") (lib "type-expander/test/type-expander-test.rkt") (lib "type-expander/lang/main.rkt"))) (name . "type-expander") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/type-expander.zip") (tags . ("typed-racket"))) 00: Resolved "hyper-literate" via file:///home/root//catalogs/built/catalog 00: Resolved "auto-syntax-e" via file:///home/root//catalogs/built/catalog 01: Resolved "debug-scopes" via file:///home/root//catalogs/built/catalog 02: Resolved "version-case" via file:///home/root//catalogs/built/catalog 01: Resolved "scribble-enhanced" via file:///home/root//catalogs/built/catalog Resolved "mutable-match-lambda" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "georges.duperon@gmail.com") (checksum . "a4c68f9b86c17673d801cbb94d7507e4e330b7cb") (dependencies . (("base") ("rackunit-lib") ("at-exp-lib") ("scheme-lib") ("scribble-lib") ("typed-racket-lib") ("typed-racket-more") ("typed-racket-doc") ("scribble-enhanced") ("sexp-diff") ("tr-immutable") ("typed-map-lib") ("debug-scopes") ("syntax-color-lib") ("scribble-lib") ("racket-doc") ("rackunit-doc") ("scribble-doc") ("rackunit-doc"))) (description . "Some tools which help build hyper-literate programs. For now, this only contains a few changes from scribble/lp2, including support for typed/racket literate programs.") (modules . ((lib "hyper-literate/scribblings/diff1-example.hl.rkt") (lib "hyper-literate/comments/syntax-properties.rkt") (lib "hyper-literate/comments/restore-comments.rkt") (lib "hyper-literate/lang/reader.rkt") (lib "hyper-literate/main.rkt") (lib "hyper-literate/test/comments/annotate-syntax-typed.rkt") (lib "hyper-literate/comments/hide-comments.rkt") (lib "hyper-literate/test/comments/test-comments-round-trip.rkt") (lib "hyper-literate/test/comments/same-syntax.rkt") (lib "hyper-literate/private/common.rkt") (lib "hyper-literate/comments/hide-comments-typed.rkt") (lib "hyper-literate/private/chunks-toc-prefix.rkt") (lib "hyper-literate/comments/restore-comments-typed.rkt") (lib "hyper-literate/test/test-chunks-order.rkt") (lib "hyper-literate/lang/first-line-utils.rkt") (lib "hyper-literate/comments/syntax-properties-typed.rkt") (lib "hyper-literate/diff1.rkt") (lib "hyper-literate/test/test.hl.rkt") (lib "hyper-literate/private/lp.rkt") (lib "hyper-literate/scribblings/hyper-literate.scrbl") (lib "hyper-literate/lang.rkt") (lib "hyper-literate/private/no-auto-require.rkt") (lib "hyper-literate/test/comments/same-syntax-typed.rkt") (lib "hyper-literate/spoiler1.rkt") (lib "hyper-literate/test/test-doc.rkt") (lib "hyper-literate/comment-reader.rkt") (lib "hyper-literate/test/test2.hl.rkt") (lib "hyper-literate/test/comments/annotate-syntax.rkt") (lib "hyper-literate/restore-comments.rkt") (lib "hyper-literate/lang/meta-first-line.rkt"))) (name . "hyper-literate") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/hyper-literate.zip") (tags . ("documentation" "lang" "language" "literate-programming"))) pkg: catalog response: #hash((author . "georges.duperon@gmail.com") (checksum . "92547a975f4ccdd4c2f7c7e95a4c86c131fd198a") (dependencies . (("base") ("rackunit-lib") ("scribble-lib") ("racket-doc"))) (description . "For syntax pattern variables: instead of raising an error, x is roughly equivalent to (syntax->datum #'x).") (modules . ((lib "auto-syntax-e/test/test-meta.rkt") (lib "auto-syntax-e/scribblings/auto-syntax-e.scrbl") (lib "auto-syntax-e/utils.rkt") (lib "auto-syntax-e/main.rkt") (lib "auto-syntax-e/test/test-auto-syntax-e.rkt"))) (name . "auto-syntax-e") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/auto-syntax-e.zip") (tags . ("syntax"))) pkg: catalog response: #hash((author . "georges.duperon@gmail.com") (checksum . "816b1d1b81d0a0a4418385db76c851975628ec73") (dependencies . (("base") ("pretty-format") ("rackunit-lib") ("reprovide-lang") ("scribble-lib") ("racket-doc") ("scribble-enhanced"))) (description . "Some utilities which help debugging scope-related issues for unhygienic macros") (modules . ((lib "debug-scopes/test/named-scopes-test-def.rkt") (lib "debug-scopes/superscripts.rkt") (lib "debug-scopes/named-scopes/override.rkt") (lib "debug-scopes/named-scopes-sli-parameter.rkt") (lib "debug-scopes/scribblings/debug-scopes.scrbl") (lib "debug-scopes/test/named-scopes-test-use.rkt") (lib "debug-scopes/named-scopes/exptime.rkt") (lib "debug-scopes/main.rkt") (lib "debug-scopes/named-scopes/dummy-lang.rkt") (lib "debug-scopes/named-scopes.rkt"))) (name . "debug-scopes") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/debug-scopes.zip") (tags . ("debug" "debugging" "scopes" "syntax"))) pkg: catalog response: #hash((author . "samth@racket-lang.org dyoo@hashcollision.org") (checksum . "003ef618406351856677e32a5d256a5e40dcb4f5") (dependencies . (("base") ("compatibility-lib") ("drracket-plugin-lib") ("gui-lib") ("scheme-lib") ("srfi-lib") ("srfi-lite-lib") ("racket-doc") ("scribble-lib"))) (description . "Conditional behavior based on the version of Racket") (modules . ((lib "version-case/test-version-case.rkt") (lib "version-case/private/new-version-case.rkt") (lib "version-case/version-misc.rkt") (lib "version-case/main.rkt") (lib "version-case/private/old-version-case.rkt") (lib "version-case/version-case.scrbl") (lib "version-case/version-case.rkt"))) (name . "version-case") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/version-case.zip") (tags . ())) pkg: catalog response: #hash((author . "georges.duperon@gmail.com") (checksum . "f5b8c060b1802ee27ab2ac6af62c20c033358368") (dependencies . (("base") ("rackunit-lib") ("scribble-lib") ("scheme-lib") ("compatibility-lib") ("slideshow-lib") ("typed-racket-lib") ("reprovide-lang") ("mutable-match-lambda") ("scribble-lib") ("racket-doc") ("at-exp-lib") ("typed-racket-more") ("typed-racket-doc") ("scribble-doc"))) (description . "Temporary package, will eventually be merged into the scribble-math and hyper-literate packages. Do not use.") (modules . ((lib "scribble-enhanced/with-manual.rkt") (lib "scribble-enhanced/main.rkt") (lib "scribble-enhanced/forkmeongithub.rkt") (lib "scribble-enhanced/scribblings/scribble-enhanced-template.lp2.rkt") (lib "scribble-enhanced/math.rkt") (lib "scribble-enhanced/racket.rkt") (lib "scribble-enhanced/doc.rkt") (lib "scribble-enhanced/scribblings/scribble-enhanced.scrbl") (lib "scribble-enhanced/manual-form.rkt") (lib "scribble-enhanced/manual-scheme.rkt") (lib "scribble-enhanced/unicode-chars.sty.rkt") (lib "scribble-enhanced/scribblings/scribble-enhanced-example.lp2.rkt"))) (name . "scribble-enhanced") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/scribble-enhanced.zip") (tags . ("deprecated"))) pkg: catalog response: #hash((author . "alexander@knauth.org") (checksum . "3802e9754a0cd650ad88e8404b2be49271de5949") (dependencies . (("base") ("kw-utils") ("rackunit-lib") ("at-exp-lib") ("scribble-lib") ("sandbox-lib") ("racket-doc"))) (description . "") (modules . ((lib "mutable-match-lambda/let-inferred-name.rkt") (lib "mutable-match-lambda/mutable-match-lambda-procedure.rkt") (lib "mutable-match-lambda/prop-object-name.rkt") (lib "mutable-match-lambda/docs/mutable-match-lambda.scrbl") (lib "mutable-match-lambda/communication.rkt") (lib "mutable-match-lambda/make-clause-proc.rkt") (lib "mutable-match-lambda/syntax-to-string.rkt") (lib "mutable-match-lambda/main.rkt"))) (name . "mutable-match-lambda") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/mutable-match-lambda.zip") (tags . ("deprecated"))) 02: Resolved "sexp-diff" via file:///home/root//catalogs/built/catalog 02: Resolved "tr-immutable" via file:///home/root//catalogs/built/catalog Resolved "typed-map-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "stamourv@racket-lang.org") (checksum . "d8d18f9f37ba797c4da5d01c3f0220cb22ab8469") (dependencies . (("base") ("scribble-lib") ("rackunit-lib"))) (description . "Diffs s-expressions based on Levenshtein-like edit distance.") (modules . ((lib "sexp-diff/main.rkt") (lib "sexp-diff/sexp-diff.scrbl"))) (name . "sexp-diff") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/sexp-diff.zip") (tags . ())) pkg: catalog response: #hash((author . "georges.duperon@gmail.com") (checksum . "c02cd30fbfefcd75cf702abf399f8314005f13b9") (dependencies . (("base") ("rackunit-lib") ("typed-racket-lib") ("typed-racket-more") ("typed-map-lib") ("scribble-lib") ("racket-doc") ("typed-racket-doc"))) (description . "Helpers to write macros using typed/racket at phase 1. Heavily unstable, WIP, experimental, not documented yet. I'm currently dogfooding this to work out the best strategy.") (modules . ((lib "tr-immutable/typed-syntax/typed-pairof-predicate.rkt") (lib "tr-immutable/typed-syntax/typed-syntax-predicate.rkt") (lib "tr-immutable/typed-syntax/typed-syntax-convert2.rkt") (lib "tr-immutable/typed-syntax.rkt") (lib "tr-immutable/typed-syntax/typed-prefab-declarations.rkt") (lib "tr-immutable/private/unsafe.rkt") (lib "tr-immutable/test/test-vector.rkt") (lib "tr-immutable/typed-syntax/typed-syntax-convert.rkt") (lib "tr-immutable/scribblings/tr-immutable.scrbl") (lib "tr-immutable/main.rkt"))) (name . "tr-immutable") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/tr-immutable.zip") (tags . ("experimental" "syntax" "typed-racket" "unstable"))) pkg: catalog response: #hash((author . "georges.duperon@gmail.com") (checksum . "ad6f20fcb9718fcc1a5d483eb3e5dd9848ffb717") (dependencies . (("base") ("typed-racket-lib"))) (description . "Implementation of typed-map") (modules . ((lib "typed-map/main.rkt"))) (name . "typed-map-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/typed-map-lib.zip") (tags . ("typed-map"))) 02: Resolved "pretty-format" via file:///home/root//catalogs/built/catalog Resolved "reprovide-lang" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "alexander@knauth.org") (checksum . "02f38a7872259cf7b5e6cebfd73d80f6c15ac4b0") (dependencies . (("base" #:version "6.0.0.4") ("typed-racket-lib") ("rackunit-lib") ("scribble-lib") ("racket-doc"))) (description . "Pretty versions of printf, format, etc. that print according to format strings") (modules . ((lib "typed/pretty-format.rkt") (lib "pretty-format/main.rkt") (lib "pretty-format/scribblings/pretty-format.scrbl"))) (name . "pretty-format") (ring . 2) (source . "file:///home/root/catalogs/built/pkgs/pretty-format.zip") (tags . ("io" "printing"))) pkg: catalog response: #hash((author . "alexander@knauth.org") (checksum . "08063e589d4e73b44632104a96c212b4cdd0aa97") (dependencies . (("base") ("reprovide-lang-lib") ("rackunit-lib") ("scribble-lib") ("racket-doc"))) (description . "a #lang for reproviding modules") (modules . ((lib "reprovide/test/test-combine-in-except.rkt") (lib "reprovide/test/use-glob-in.rkt") (lib "reprovide/test/example-directory/c.rkt") (lib "reprovide/test/test.rkt") (lib "reprovide/test/use.rkt") (lib "reprovide/test/use-combine-in-except.rkt") (lib "reprovide/test/other-subdir/indirect-glob-in.rkt") (lib "reprovide/test/example-directory/b.rkt") (lib "reprovide/test/example-directory/a.rkt") (lib "reprovide/scribblings/reprovide.scrbl"))) (name . "reprovide-lang") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/reprovide-lang.zip") (tags . ("provide" "require"))) Resolved "kw-utils" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "alexander@knauth.org") (checksum . "9432497baf845fd2df6302dc5e82d963f9ebbbd1") (dependencies . (("base") ("sweet-exp-lib") ("rackunit-lib") ("scribble-lib") ("racket-doc") ("rackjure"))) (description . "misc kw utils") (modules . ((lib "kw-utils/kw-map.rkt") (lib "kw-utils/kw-hash-lambda.rkt") (lib "kw-utils/docs/mapper.scrbl") (lib "kw-utils/partial.rkt") (lib "kw-utils/docs/arity+keywords.scrbl") (lib "kw-utils/docs/kw-lists-lambda.scrbl") (lib "kw-utils/kw-apply.rkt") (lib "kw-utils/keyword-app.rkt") (lib "kw-utils/docs/keyword-lambda.scrbl") (lib "kw-utils/keyword-apply-sort.rkt") (lib "kw-utils/docs/kw-hash.scrbl") (lib "kw-utils/arity+keywords/syntax.rkt") (lib "kw-utils/docs/kw-utils.scrbl") (lib "kw-utils/docs/keyword-apply-sort.scrbl") (lib "kw-utils/kw-hash.rkt") (lib "kw-utils/mapper.rkt") (lib "kw-utils/arity+keywords.rkt") (lib "kw-utils/keyword-lambda.rkt") (lib "kw-utils/kw-lists-lambda.rkt") (lib "kw-utils/kw-hash/contract.rkt") (lib "kw-utils/docs/partial.scrbl") (lib "kw-utils/docs/kw-map.scrbl"))) (name . "kw-utils") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/kw-utils.zip") (tags . ("keywords"))) Resolved "reprovide-lang-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "alexander@knauth.org") (checksum . "e413fc72a578cc5dba08f654e9e8556842090407") (dependencies . (("base") ("lang-file-lib") ("syntax-macro-lang"))) (description . "a #lang for reproviding modules") (modules . ((lib "reprovide/reprovide.rkt") (lib "reprovide/require-transformer/private/this-expression-source-file.rkt") (lib "reprovide/require-transformer/combine-in-except.rkt") (lib "reprovide/main.rkt") (lib "reprovide/require-transformer/directory-in.rkt") (lib "reprovide/require-transformer/glob-in.rkt"))) (name . "reprovide-lang-lib") (ring . 2) (source . "file:///home/root/catalogs/built/pkgs/reprovide-lang-lib.zip") (tags . ("provide" "require"))) 02: Resolved "sweet-exp-lib" via file:///home/root//catalogs/built/catalog Resolved "rackjure" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "alexander@knauth.org asumu@ccs.neu.edu") (checksum . "70828d5762b28dc5bca51a2a7073028e6dd52cb6") (dependencies . (("base"))) (description . "Implementation part of sweet-exp") (modules . ((lib "sweet-exp/main.rkt") (lib "sweet-exp/util.rkt") (lib "sweet-exp/sugar.rkt") (lib "sweet-exp/racket/init.rkt") (lib "sweet-exp/modern/process-curly.rkt") (lib "sweet-exp/modern.rkt") (lib "sweet-exp/read-sig.rkt") (lib "sweet-exp/sweet.rkt") (lib "sweet-exp/indent.rkt"))) (name . "sweet-exp-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/sweet-exp-lib.zip") (tags . ("syntax"))) pkg: catalog response: #hash((author . "racket@greghendershott.com") (checksum . "79d72348da3453bc8f6b31291002ae2759e25e24") (dependencies . (("base" #:version "6.3") ("rackunit-lib") ("threading-lib" #:version "1.1") ("rackunit-lib") ("racket-doc") ("sandbox-lib") ("scribble-lib") ("threading-doc"))) (description . "Some Clojure-inspired idioms.") (modules . ((lib "rackjure/main.rkt") (lib "rackjure/lambda-reader.rkt") (lib "rackjure/egal.rkt") (lib "rackjure/conditionals.rkt") (lib "rackjure/base.rkt") (lib "rackjure/test.rkt") (lib "rackjure/threading.rkt") (lib "rackjure/app.rkt") (lib "rackjure/rackjure.scrbl") (lib "rackjure/utils.rkt") (lib "rackjure/lang/reader.rkt") (lib "rackjure/dict.rkt") (lib "rackjure/lang/language-info.rkt") (lib "rackjure/base/lang/reader.rkt") (lib "rackjure/bench.rkt") (lib "rackjure/check-expansion.rkt") (lib "rackjure/str.rkt") (lib "rackjure/rackjure.rkt") (lib "rackjure/lang/runtime-config.rkt") (lib "rackjure/alist.rkt"))) (name . "rackjure") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/rackjure.zip") (tags . ("language"))) 02: Resolved "lang-file-lib" via file:///home/root//catalogs/built/catalog Resolved "syntax-macro-lang" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "alexander@knauth.org") (checksum . "410055658e3d29e0202fab85e3f2d67117f767ec") (dependencies . (("base") ("rackunit-lib"))) (description . "Functions for dealing with #lang files") (modules . ((lib "lang-file/read-lang-file.rkt"))) (name . "lang-file-lib") (ring . 2) (source . "file:///home/root/catalogs/built/pkgs/lang-file-lib.zip") (tags . ("file" "lang"))) pkg: catalog response: #hash((author . "alexander@knauth.org") (checksum . "c78218392dc8d6d1565514ddee6ee0f645d95a8e") (dependencies . (("base"))) (description . "experimental racket module language for creating languages, inspired by syntax-lang") (modules . ((lib "syntax/macro-lang.rkt") (lib "tests/syntax/macro-lang/the-lang.rkt") (lib "tests/syntax/macro-lang/test.rkt"))) (name . "syntax-macro-lang") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/syntax-macro-lang.zip") (tags . ("lang" "syntax"))) 02: Resolved "threading-lib" via file:///home/root//catalogs/built/catalog Resolved "threading-doc" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "ab45e7d2d70f5728ea8fac10939cb9c3dbe07bcc") (dependencies . (("base" #:version "6.3"))) (description . "implementation (no documentation) for “threading”") (modules . ((lib "threading/main.rkt"))) (name . "threading-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/threading-lib.zip") (tags . ())) pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "4320fd245a0e25f1d4a543f6db24bc39dac60fbc") (dependencies . (("base") ("racket-doc") ("scribble-lib") ("threading-lib"))) (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 . ())) pkg: creating single-collection link to # pkg: updating db with "termination" to '#s((sc-pkg-info pkg-info 3) (catalog "termination") "f55440b69c1483764fcbf49fbc426996d308b5f4" #f "termination") pkg: creating single-collection link to # pkg: updating db with "bnf" to '#s((sc-pkg-info pkg-info 3) (catalog "bnf") "4ead471c87aa0b7a6209170035857ac2eecb1095" #t "bnf") pkg: creating single-collection link to # pkg: updating db with "set-extras" to '#s((sc-pkg-info pkg-info 3) (catalog "set-extras") "217932ac2f64a1f5a32b5f112c36c0ee17b0aea2" #t "set-extras") pkg: creating single-collection link to # pkg: updating db with "unreachable" to '#s((sc-pkg-info pkg-info 3) (catalog "unreachable") "30827e502344bf73d54ddfc6e790508ae0ca97cc" #t "unreachable") pkg: creating single-collection link to # pkg: updating db with "traces" to '#s((sc-pkg-info pkg-info 3) (catalog "traces") "c6ef1cf2437f65f91e44f25c0ade72f7d6f9bed9" #t "traces") pkg: creating single-collection link to # pkg: updating db with "typed-struct-props" to '#s((sc-pkg-info pkg-info 3) (catalog "typed-struct-props") "4f13ed4bc47e41e88f9c55d464da8649f488cfc0" #t "typed-struct-props") pkg: creating single-collection link to # pkg: updating db with "type-expander" to '#s((sc-pkg-info pkg-info 3) (catalog "type-expander") "2a0af2dec61ee86b305313ea14220d9e990eb99b" #t "type-expander") pkg: creating single-collection link to # pkg: updating db with "hyper-literate" to '#s((sc-pkg-info pkg-info 3) (catalog "hyper-literate") "a4c68f9b86c17673d801cbb94d7507e4e330b7cb" #t "hyper-literate") pkg: creating single-collection link to # pkg: updating db with "auto-syntax-e" to '#s((sc-pkg-info pkg-info 3) (catalog "auto-syntax-e") "92547a975f4ccdd4c2f7c7e95a4c86c131fd198a" #t "auto-syntax-e") pkg: creating single-collection link to # pkg: updating db with "debug-scopes" to '#s((sc-pkg-info pkg-info 3) (catalog "debug-scopes") "816b1d1b81d0a0a4418385db76c851975628ec73" #t "debug-scopes") pkg: creating single-collection link to # pkg: updating db with "version-case" to '#s((sc-pkg-info pkg-info 3) (catalog "version-case") "003ef618406351856677e32a5d256a5e40dcb4f5" #t "version-case") pkg: creating single-collection link to # pkg: updating db with "scribble-enhanced" to '#s((sc-pkg-info pkg-info 3) (catalog "scribble-enhanced") "f5b8c060b1802ee27ab2ac6af62c20c033358368" #t "scribble-enhanced") pkg: creating link to # pkg: updating db with "mutable-match-lambda" to '#s(pkg-info (catalog "mutable-match-lambda") "3802e9754a0cd650ad88e8404b2be49271de5949" #t) pkg: creating link to # pkg: updating db with "sexp-diff" to '#s(pkg-info (catalog "sexp-diff") "d8d18f9f37ba797c4da5d01c3f0220cb22ab8469" #t) pkg: creating single-collection link to # pkg: updating db with "tr-immutable" to '#s((sc-pkg-info pkg-info 3) (catalog "tr-immutable") "c02cd30fbfefcd75cf702abf399f8314005f13b9" #t "tr-immutable") pkg: creating link to # pkg: updating db with "typed-map-lib" to '#s(pkg-info (catalog "typed-map-lib") "ad6f20fcb9718fcc1a5d483eb3e5dd9848ffb717" #t) pkg: creating link to # pkg: updating db with "pretty-format" to '#s(pkg-info (catalog "pretty-format") "02f38a7872259cf7b5e6cebfd73d80f6c15ac4b0" #t) pkg: creating link to # pkg: updating db with "reprovide-lang" to '#s(pkg-info (catalog "reprovide-lang") "08063e589d4e73b44632104a96c212b4cdd0aa97" #t) pkg: creating link to # pkg: updating db with "kw-utils" to '#s(pkg-info (catalog "kw-utils") "9432497baf845fd2df6302dc5e82d963f9ebbbd1" #t) pkg: creating link to # pkg: updating db with "reprovide-lang-lib" to '#s(pkg-info (catalog "reprovide-lang-lib") "e413fc72a578cc5dba08f654e9e8556842090407" #t) pkg: creating link to # pkg: updating db with "sweet-exp-lib" to '#s(pkg-info (catalog "sweet-exp-lib") "70828d5762b28dc5bca51a2a7073028e6dd52cb6" #t) pkg: creating link to # pkg: updating db with "rackjure" to '#s(pkg-info (catalog "rackjure") "79d72348da3453bc8f6b31291002ae2759e25e24" #t) pkg: creating link to # pkg: updating db with "lang-file-lib" to '#s(pkg-info (catalog "lang-file-lib") "410055658e3d29e0202fab85e3f2d67117f767ec" #t) pkg: creating link to # pkg: updating db with "syntax-macro-lang" to '#s(pkg-info (catalog "syntax-macro-lang") "c78218392dc8d6d1565514ddee6ee0f645d95a8e" #t) pkg: creating link to # pkg: updating db with "threading-lib" to '#s(pkg-info (catalog "threading-lib") "ab45e7d2d70f5728ea8fac10939cb9c3dbe07bcc" #t) pkg: creating link to # pkg: updating db with "threading-doc" to '#s(pkg-info (catalog "threading-doc") "4320fd245a0e25f1d4a543f6db24bc39dac60fbc" #t) The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of termination: bnf set-extras unreachable traces dependencies of bnf: typed-struct-props dependencies of typed-struct-props: type-expander dependencies of type-expander: hyper-literate auto-syntax-e debug-scopes version-case scribble-enhanced mutable-match-lambda dependencies of hyper-literate: sexp-diff tr-immutable typed-map-lib dependencies of debug-scopes: pretty-format reprovide-lang dependencies of mutable-match-lambda: kw-utils dependencies of reprovide-lang: reprovide-lang-lib dependencies of kw-utils: sweet-exp-lib rackjure dependencies of reprovide-lang-lib: lang-file-lib syntax-macro-lang dependencies of rackjure: threading-lib threading-doc raco setup: version: 7.7 raco setup: platform: x86_64-linux-natipkg [3m] raco setup: target machine: racket raco setup: installation name: 7.7 raco setup: variants: 3m raco setup: main collects: /home/root/racket/collects raco setup: collects paths: raco setup: /home/root/user/.racket/7.7/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/.racket/7.7/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.racket/7.7/links.rktd raco setup: main docs: /home/root/racket/doc raco setup: --- updating info-domain tables --- [7:31:38] raco setup: updating: /home/root/racket/share/info-cache.rktd raco setup: updating: /home/root/user/.racket/7.7/share/info-cache.rktd raco setup: --- pre-installing collections --- [7:31:38] raco setup: --- installing foreign libraries --- [7:31:38] raco setup: --- installing shared files --- [7:31:38] raco setup: --- compiling collections --- [7:31:38] raco setup: making: /auto-syntax-e raco setup: making: /auto-syntax-e/scribblings raco setup: making: /auto-syntax-e/test raco setup: making: /bnf raco setup: making: /debug-scopes raco setup: making: /debug-scopes/named-scopes raco setup: making: /debug-scopes/scribblings raco setup: making: /debug-scopes/test raco setup: making: /hyper-literate raco setup: making: /hyper-literate/comments raco setup: making: /hyper-literate/lang raco setup: making: /hyper-literate/private raco setup: making: /hyper-literate/scribblings raco setup: making: /hyper-literate/test raco setup: making: /hyper-literate/test/comments raco setup: making: /kw-utils/kw-utils raco setup: making: /kw-utils/kw-utils/arity+keywords raco setup: making: /kw-utils/kw-utils/docs raco setup: making: /kw-utils/kw-utils/kw-hash raco setup: making: /lang-file-lib/lang-file raco setup: making: /mutable-match-lambda/mutable-match-lambda raco setup: making: /mutable-match-lambda/mutable-match-lambda/docs raco setup: making: /pretty-format/pretty-format raco setup: making: /pretty-format/pretty-format/scribblings raco setup: making: /pretty-format/typed raco setup: making: /racket-test/tests/syntax raco setup: making: /racket-test/tests/syntax/contract raco setup: making: /racket-test/tests/syntax/tests raco setup: making: /rackjure/rackjure (rackjure) raco setup: making: /rackjure/rackjure/base raco setup: making: /rackjure/rackjure/base/lang raco setup: making: /rackjure/rackjure/lang raco setup: making: /reprovide-lang-lib/reprovide raco setup: making: /reprovide-lang-lib/reprovide/require-transformer raco setup: making: /reprovide-lang-lib/reprovide/require-transformer/private raco setup: making: /reprovide-lang/reprovide raco setup: making: /reprovide-lang/reprovide/scribblings raco setup: making: /reprovide-lang/reprovide/test raco setup: making: /reprovide-lang/reprovide/test/example-directory raco setup: making: /reprovide-lang/reprovide/test/other-subdir raco setup: making: /scribble-enhanced raco setup: making: /scribble-enhanced/scribblings raco setup: making: /set-extras raco setup: making: /sexp-diff/sexp-diff raco setup: making: /sweet-exp-lib/sweet-exp raco setup: making: /sweet-exp-lib/sweet-exp/modern raco setup: making: /sweet-exp-lib/sweet-exp/racket raco setup: making: /syntax-macro-lang/syntax raco setup: making: /syntax-macro-lang/tests raco setup: making: /syntax-macro-lang/tests/syntax raco setup: making: /syntax-macro-lang/tests/syntax/macro-lang raco setup: making: /termination raco setup: making: /termination/flow-analysis raco setup: making: /termination/tests raco setup: making: /termination/tests/ACL2 raco setup: making: /termination/tests/Dyn raco setup: making: /termination/tests/Dyn/benchmarks raco setup: making: /termination/tests/Dyn/benchmarks/cm raco setup: making: /termination/tests/Dyn/benchmarks/imp raco setup: making: /termination/tests/Dyn/benchmarks/unchecked raco setup: making: /termination/tests/Dyn/buggy-versions raco setup: making: /termination/tests/Isabelle raco setup: making: /termination/tests/LH raco setup: making: /threading-doc/scribblings raco setup: making: /threading-lib/threading raco setup: making: /tr-immutable raco setup: making: /tr-immutable/private raco setup: making: /tr-immutable/scribblings raco setup: making: /tr-immutable/test raco setup: making: /tr-immutable/typed-syntax raco setup: making: /traces raco setup: making: /type-expander raco setup: making: /type-expander/base raco setup: making: /type-expander/base/lang raco setup: making: /type-expander/lang raco setup: making: /type-expander/lang/lang raco setup: making: /type-expander/licenses raco setup: making: /type-expander/scribblings raco setup: making: /type-expander/test raco setup: making: /typed-map-lib/typed-map raco setup: making: /typed-struct-props raco setup: making: /typed-struct-props/scribblings raco setup: making: /typed-struct-props/test raco setup: making: /unreachable raco setup: making: /version-case (version-case) raco setup: making: /version-case/private raco setup: --- creating launchers --- [7:31:44] raco setup: --- installing man pages --- [7:31:44] raco setup: --- building documentation --- [7:31:44] raco setup: syncing: /auto-syntax-e/doc/auto-syntax-e raco setup: syncing: /debug-scopes/doc/debug-scopes raco setup: syncing: /hyper-literate/doc/hyper-literate raco setup: syncing: /kw-utils/kw-utils/doc/kw-utils raco setup: running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: syncing: /mutable-match-lambda/mutable-match-lambda/doc/mutable-match-lambda raco setup: syncing: /pretty-format/pretty-format/doc/pretty-format raco setup: syncing: /rackjure/rackjure/doc/rackjure raco setup: running: /racket-index/scribblings/main/user/release.scrbl raco setup: syncing: /reprovide-lang/reprovide/doc/reprovide raco setup: syncing: /scribble-enhanced/doc/scribble-enhanced raco setup: syncing: /scribble-enhanced/doc/scribble-enhanced-example.lp2 raco setup: syncing: /scribble-enhanced/doc/scribble-enhanced-template.lp2 raco setup: running: /racket-index/scribblings/main/user/search.scrbl raco setup: syncing: /sexp-diff/sexp-diff/doc/sexp-diff raco setup: running: /racket-index/scribblings/main/user/start.scrbl raco setup: syncing: /hyper-literate/doc/test.hl raco setup: syncing: /hyper-literate/doc/test2.hl raco setup: syncing: /threading-doc/scribblings/doc/threading raco setup: syncing: /tr-immutable/doc/tr-immutable raco setup: syncing: /type-expander/doc/type-expander raco setup: syncing: /type-expander/doc/type-expander-implementation raco setup: syncing: /typed-struct-props/doc/typed-struct-props 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 --- [7:32:21] raco setup: --- post-installing collections --- [7:32:21] raco test: "/home/root//user/.racket/7.7/pkgs/termination/apply-with-termination.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/flattened-parameter.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/flow-analysis/analyze.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/flow-analysis/lang.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/flow-analysis/main.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/flow-analysis/parse.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/flow-analysis/utils.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/info.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/main.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/micro-benchmarks.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/runtime-utils.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/size-change-graph.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/syntax-utils.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/test.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/acl2-fig-2.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/acl2-fig-6.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/acl2-fig-7.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/benchmarks/cm/fact.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/benchmarks/cm/interp-fact.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/benchmarks/cm/interp-mergesort.rkt" interp-mergesort.rkt: raco test: timeout after 90 seconds raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/benchmarks/cm/interp-sum.rkt" interp-sum.rkt: raco test: timeout after 90 seconds raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/benchmarks/cm/mergesort.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/benchmarks/cm/sum.rkt" sum.rkt: raco test: timeout after 90 seconds raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/benchmarks/common.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/benchmarks/imp/fact.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/benchmarks/imp/interp-fact.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/benchmarks/imp/interp-mergesort.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/benchmarks/imp/interp-sum.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/benchmarks/imp/mergesort.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/benchmarks/imp/sum.rkt" sum.rkt: raco test: timeout after 90 seconds raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/benchmarks/unchecked/fact.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/benchmarks/unchecked/interp-fact.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/benchmarks/unchecked/interp-mergesort.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/benchmarks/unchecked/interp-sum.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/benchmarks/unchecked/mergesort.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/benchmarks/unchecked/sum.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/acl2-fig-2.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/acl2-fig-6.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/acl2-fig-7.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/dderiv.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/deriv.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/destruct.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/div.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/ho-sct-ack.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/ho-sct-fg.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/ho-sct-fold.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/isabelle-bar.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/isabelle-f.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/isabelle-foo.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/isabelle-perm.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/isabelle-poly.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/lh-gcd.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/lh-map.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/lh-merge.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/lh-range.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/lh-tfact.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/nfa.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/scheme.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/sct-1.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/sct-2.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/sct-3.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/sct-4.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/sct-5.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/sct-6.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/dderiv.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/deriv.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/destruct.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/div.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/ho-sct-ack.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/ho-sct-fg.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/ho-sct-fold.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/isabelle-bar.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/isabelle-f.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/isabelle-foo.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/isabelle-perm.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/isabelle-poly.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/lh-gcd.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/lh-map.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/lh-merge.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/lh-range.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/lh-tfact.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/nfa.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/scheme.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/sct-1.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/sct-2.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/sct-3.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/sct-4.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/sct-5.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/sct-6.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/unsafe-apply-with-termination.rkt" raco test: "/home/root//user/.racket/7.7/pkgs/termination/unsafe.rkt" 8 /home/root//user/.racket/7.7/pkgs/termination/test.rkt 4 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/acl2-fig-2.rkt 3 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/ho-sct-fold.rkt 2 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/acl2-fig-6.rkt 2 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/acl2-fig-7.rkt 2 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/sct-2.rkt 2 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/sct-6.rkt 1 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/dderiv.rkt 1 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/deriv.rkt 1 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/destruct.rkt 1 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/div.rkt 1 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/ho-sct-ack.rkt 1 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/ho-sct-fg.rkt 1 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/isabelle-bar.rkt 1 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/isabelle-f.rkt 1 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/isabelle-foo.rkt 1 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/isabelle-perm.rkt 1 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/isabelle-poly.rkt 1 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/lh-gcd.rkt 1 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/lh-map.rkt 1 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/lh-merge.rkt 1 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/lh-range.rkt 1 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/lh-tfact.rkt 1 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/nfa.rkt 1 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/scheme.rkt 1 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/sct-1.rkt 1 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/sct-3.rkt 1 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/sct-4.rkt 1 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/buggy-versions/sct-5.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/apply-with-termination.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/flattened-parameter.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/flow-analysis/analyze.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/flow-analysis/lang.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/flow-analysis/main.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/flow-analysis/parse.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/flow-analysis/utils.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/info.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/main.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/micro-benchmarks.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/runtime-utils.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/size-change-graph.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/syntax-utils.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/acl2-fig-2.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/acl2-fig-6.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/acl2-fig-7.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/benchmarks/cm/fact.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/benchmarks/cm/interp-fact.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/benchmarks/cm/mergesort.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/benchmarks/common.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/benchmarks/imp/fact.rkt 4/49 test failures 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/benchmarks/imp/interp-fact.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/benchmarks/imp/interp-mergesort.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/benchmarks/imp/interp-sum.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/benchmarks/imp/mergesort.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/benchmarks/unchecked/fact.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/benchmarks/unchecked/interp-fact.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/benchmarks/unchecked/interp-mergesort.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/benchmarks/unchecked/interp-sum.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/benchmarks/unchecked/mergesort.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/benchmarks/unchecked/sum.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/dderiv.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/deriv.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/destruct.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/div.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/ho-sct-ack.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/ho-sct-fg.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/ho-sct-fold.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/isabelle-bar.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/isabelle-f.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/isabelle-foo.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/isabelle-perm.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/isabelle-poly.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/lh-gcd.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/lh-map.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/lh-merge.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/lh-range.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/lh-tfact.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/nfa.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/scheme.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/sct-1.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/sct-2.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/sct-3.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/sct-4.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/sct-5.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/sct-6.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/unsafe-apply-with-termination.rkt 0 /home/root//user/.racket/7.7/pkgs/termination/unsafe.rkt 1 1 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/benchmarks/cm/interp-mergesort.rkt 1 1 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/benchmarks/cm/interp-sum.rkt 1 1 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/benchmarks/cm/sum.rkt 1 1 /home/root//user/.racket/7.7/pkgs/termination/tests/Dyn/benchmarks/imp/sum.rkt The time is now Tuesday, May 5th, 2020 7:45:43am