The time is now Thursday, May 30th, 2019 6:59:56am /usr/bin/ssh -R 18333:localhost:18333 racket@192.168.56.107 '/usr/bin/env' 'DISPLAY=:1' 'PLT_PKG_BUILD_SERVICE=1' 'PLTUSERHOME=/home/racket/build-pkgs/user' 'PLT_PKG_BUILD_SERVICE=1' 'CI=true' 'PLT_INFO_ALLOW_VARS=;PLT_PKG_BUILD_SERVICE' '/bin/sh' '-c' 'cd "/home/racket/build-pkgs"/racket && bin/raco pkg install -u --auto termination && bin/raco test --drdr --package termination' Resolving "termination" via http://localhost:18333/built/catalog/ Downloading http://localhost:18333/built/pkgs/termination.zip 00: Resolving "bnf" via http://localhost:18333/built/catalog/ 01: Resolving "set-extras" via http://localhost:18333/built/catalog/ 02: Resolving "unreachable" via http://localhost:18333/built/catalog/ Resolving "traces" via http://localhost:18333/built/catalog/ Downloading http://localhost:18333/built/pkgs/bnf.zip Downloading http://localhost:18333/built/pkgs/set-extras.zip Downloading http://localhost:18333/built/pkgs/unreachable.zip Downloading http://localhost:18333/built/pkgs/traces.zip Resolving "typed-struct-props" via http://localhost:18333/built/catalog/ Downloading http://localhost:18333/built/pkgs/typed-struct-props.zip Resolving "type-expander" via http://localhost:18333/built/catalog/ Downloading http://localhost:18333/built/pkgs/type-expander.zip 02: Resolving "hyper-literate" via http://localhost:18333/built/catalog/ 01: Resolving "auto-syntax-e" via http://localhost:18333/built/catalog/ 00: Resolving "debug-scopes" via http://localhost:18333/built/catalog/ 03: Resolving "version-case" via http://localhost:18333/built/catalog/ 04: Resolving "scribble-enhanced" via http://localhost:18333/built/catalog/ Resolving "mutable-match-lambda" via http://localhost:18333/built/catalog/ Downloading http://localhost:18333/built/pkgs/hyper-literate.zip Downloading http://localhost:18333/built/pkgs/auto-syntax-e.zip Downloading http://localhost:18333/built/pkgs/debug-scopes.zip Downloading http://localhost:18333/built/pkgs/version-case.zip Downloading http://localhost:18333/built/pkgs/scribble-enhanced.zip Downloading http://localhost:18333/built/pkgs/mutable-match-lambda.zip 01: Resolving "sexp-diff" via http://localhost:18333/built/catalog/ 03: Resolving "tr-immutable" via http://localhost:18333/built/catalog/ Resolving "typed-map-lib" via http://localhost:18333/built/catalog/ Downloading http://localhost:18333/built/pkgs/sexp-diff.zip Downloading http://localhost:18333/built/pkgs/tr-immutable.zip Downloading http://localhost:18333/built/pkgs/typed-map-lib.zip 01: Resolving "pretty-format" via http://localhost:18333/built/catalog/ Resolving "reprovide-lang" via http://localhost:18333/built/catalog/ Downloading http://localhost:18333/built/pkgs/pretty-format.zip Downloading http://localhost:18333/built/pkgs/reprovide-lang.zip Resolving "kw-utils" via http://localhost:18333/built/catalog/ Downloading http://localhost:18333/built/pkgs/kw-utils.zip 01: Resolving "lang-file" via http://localhost:18333/built/catalog/ Resolving "syntax-macro-lang" via http://localhost:18333/built/catalog/ Downloading http://localhost:18333/built/pkgs/lang-file.zip Downloading http://localhost:18333/built/pkgs/syntax-macro-lang.zip 01: Resolving "sweet-exp-lib" via http://localhost:18333/built/catalog/ Resolving "rackjure" via http://localhost:18333/built/catalog/ Downloading http://localhost:18333/built/pkgs/sweet-exp-lib.zip Downloading http://localhost:18333/built/pkgs/rackjure.zip 01: Resolving "threading-lib" via http://localhost:18333/built/catalog/ Resolving "threading-doc" via http://localhost:18333/built/catalog/ Downloading http://localhost:18333/built/pkgs/threading-lib.zip Downloading http://localhost:18333/built/pkgs/threading-doc.zip 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: lang-file syntax-macro-lang dependencies of kw-utils: sweet-exp-lib rackjure dependencies of rackjure: threading-lib threading-doc raco setup: version: 7.3 raco setup: platform: x86_64-linux-natipkg [3m] raco setup: target machine: racket raco setup: installation name: 7.3 raco setup: variants: 3m raco setup: main collects: /home/racket/build-pkgs/racket/collects raco setup: collects paths: raco setup: /home/racket/build-pkgs/user/.racket/7.3/collects raco setup: /home/racket/build-pkgs/racket/collects raco setup: main pkgs: /home/racket/build-pkgs/racket/share/pkgs raco setup: pkgs paths: raco setup: /home/racket/build-pkgs/racket/share/pkgs raco setup: /home/racket/build-pkgs/user/.racket/7.3/pkgs raco setup: links files: raco setup: /home/racket/build-pkgs/racket/share/links.rktd raco setup: /home/racket/build-pkgs/user/.racket/7.3/links.rktd raco setup: main docs: /home/racket/build-pkgs/racket/doc raco setup: --- updating info-domain tables --- [7:00:04] raco setup: updating: /home/racket/build-pkgs/racket/share/info-cache.rktd raco setup: updating: /home/racket/build-pkgs/user/.racket/7.3/share/info-cache.rktd raco setup: --- pre-installing collections --- [7:00:04] raco setup: --- installing foreign libraries --- [7:00:04] raco setup: --- installing shared files --- [7:00:04] raco setup: --- compiling collections --- [7:00:04] 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/lang-file raco setup: making: /lang-file/lang-file/scribblings 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/reprovide raco setup: making: /reprovide-lang/reprovide/require-transformer raco setup: making: /reprovide-lang/reprovide/require-transformer/private 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:00:07] raco setup: --- installing man pages --- [7:00:07] raco setup: --- building documentation --- [7:00:07] 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: syncing: /lang-file/lang-file/doc/read-lang-file 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:00:18] raco setup: --- post-installing collections --- [7:00:18] raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/apply-with-termination.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/flattened-parameter.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/flow-analysis/analyze.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/flow-analysis/lang.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/flow-analysis/main.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/flow-analysis/parse.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/flow-analysis/utils.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/info.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/main.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/micro-benchmarks.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/runtime-utils.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/size-change-graph.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/syntax-utils.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/test.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/acl2-fig-2.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/acl2-fig-6.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/acl2-fig-7.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/benchmarks/cm/fact.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/benchmarks/cm/interp-fact.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/benchmarks/cm/interp-mergesort.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/benchmarks/cm/interp-sum.rkt" interp-sum.rkt: raco test: timeout after 90 seconds raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/benchmarks/cm/mergesort.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/benchmarks/cm/sum.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/benchmarks/common.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/benchmarks/imp/fact.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/benchmarks/imp/interp-fact.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/benchmarks/imp/interp-mergesort.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/benchmarks/imp/interp-sum.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/benchmarks/imp/mergesort.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/benchmarks/imp/sum.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/benchmarks/unchecked/fact.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/benchmarks/unchecked/interp-fact.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/benchmarks/unchecked/interp-mergesort.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/benchmarks/unchecked/interp-sum.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/benchmarks/unchecked/mergesort.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/benchmarks/unchecked/sum.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/acl2-fig-2.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/acl2-fig-6.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/acl2-fig-7.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/dderiv.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/deriv.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/destruct.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/div.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/ho-sct-ack.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/ho-sct-fg.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/ho-sct-fold.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/isabelle-bar.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/isabelle-f.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/isabelle-foo.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/isabelle-perm.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/isabelle-poly.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/lh-gcd.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/lh-map.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/lh-merge.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/lh-range.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/lh-tfact.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/nfa.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/scheme.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/sct-1.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/sct-2.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/sct-3.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/sct-4.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/sct-5.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/sct-6.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/dderiv.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/deriv.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/destruct.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/div.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/ho-sct-ack.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/ho-sct-fg.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/ho-sct-fold.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/isabelle-bar.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/isabelle-f.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/isabelle-foo.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/isabelle-perm.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/isabelle-poly.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/lh-gcd.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/lh-map.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/lh-merge.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/lh-range.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/lh-tfact.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/nfa.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/scheme.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/sct-1.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/sct-2.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/sct-3.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/sct-4.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/sct-5.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/sct-6.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/unsafe-apply-with-termination.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/unsafe.rkt" 8 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/test.rkt 4 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/acl2-fig-2.rkt 3 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/ho-sct-fold.rkt 2 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/acl2-fig-6.rkt 2 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/acl2-fig-7.rkt 2 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/sct-2.rkt 2 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/sct-6.rkt 1 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/dderiv.rkt 1 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/deriv.rkt 1 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/destruct.rkt 1 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/div.rkt 1 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/ho-sct-ack.rkt 1 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/ho-sct-fg.rkt 1 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/isabelle-bar.rkt 1 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/isabelle-f.rkt 1 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/isabelle-foo.rkt 1 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/isabelle-perm.rkt 1 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/isabelle-poly.rkt 1 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/lh-gcd.rkt 1 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/lh-map.rkt 1 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/lh-merge.rkt 1 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/lh-range.rkt 1 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/lh-tfact.rkt 1 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/nfa.rkt 1 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/scheme.rkt 1 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/sct-1.rkt 1 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/sct-3.rkt 1 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/sct-4.rkt 1 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/buggy-versions/sct-5.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/apply-with-termination.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/flattened-parameter.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/flow-analysis/analyze.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/flow-analysis/lang.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/flow-analysis/main.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/flow-analysis/parse.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/flow-analysis/utils.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/info.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/main.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/micro-benchmarks.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/runtime-utils.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/size-change-graph.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/syntax-utils.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/acl2-fig-2.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/acl2-fig-6.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/acl2-fig-7.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/benchmarks/cm/fact.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/benchmarks/cm/interp-fact.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/benchmarks/cm/interp-mergesort.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/benchmarks/cm/mergesort.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/benchmarks/cm/sum.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/benchmarks/common.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/benchmarks/imp/fact.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/benchmarks/imp/interp-fact.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/benchmarks/imp/interp-mergesort.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/benchmarks/imp/interp-sum.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/benchmarks/imp/mergesort.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/benchmarks/imp/sum.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/benchmarks/unchecked/fact.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/benchmarks/unchecked/interp-fact.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/benchmarks/unchecked/interp-mergesort.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/benchmarks/unchecked/interp-sum.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/benchmarks/unchecked/mergesort.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/benchmarks/unchecked/sum.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/dderiv.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/deriv.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/destruct.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/div.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/ho-sct-ack.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/ho-sct-fg.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/ho-sct-fold.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/isabelle-bar.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/isabelle-f.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/isabelle-foo.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/isabelle-perm.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/isabelle-poly.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/lh-gcd.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/lh-map.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/lh-merge.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/lh-range.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/lh-tfact.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/nfa.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/scheme.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/sct-1.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/sct-2.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/sct-3.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/sct-4.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/sct-5.rkt 1/46 test failures 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/sct-6.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/unsafe-apply-with-termination.rkt 0 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/unsafe.rkt 1 1 /home/racket/build-pkgs/user/.racket/7.3/pkgs/termination/tests/Dyn/benchmarks/cm/interp-sum.rkt The time is now Thursday, May 30th, 2019 7:07:13am