For information about the package build service, see https://pkg-build.racket-lang.org/about.html The time is now Mon, 23 Feb 2026 06:11:59 +0000 (/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: /usr/bin/xvfb-run --auto-servernum -n 1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 2 -u --auto gtp-checkup && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 2 --drdr --package gtp-checkup) Resolved "gtp-checkup" via file:///home/root//catalogs/built/catalog 00: Resolved "basedir" via file:///home/root//catalogs/built/catalog 00: Resolved "gregor" via file:///home/root//catalogs/built/catalog 01: Resolved "gtp-util" via file:///home/root//catalogs/built/catalog 01: Resolved "memoize" via file:///home/root//catalogs/built/catalog 00: Resolved "require-typed-check" via file:///home/root//catalogs/built/catalog Resolved "pict-abbrevs" via file:///home/root//catalogs/built/catalog 00: Resolved "gregor-lib" via file:///home/root//catalogs/built/catalog Resolved "gregor-doc" via file:///home/root//catalogs/built/catalog 00: Resolved "memoize-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "tzinfo" via file:///home/root//catalogs/built/catalog 01: Resolved "cldr-core" via file:///home/root//catalogs/built/catalog 01: Resolved "cldr-bcp47" via file:///home/root//catalogs/built/catalog 00: Resolved "cldr-numbers-modern" via file:///home/root//catalogs/built/catalog 00: Resolved "cldr-dates-modern" via file:///home/root//catalogs/built/catalog Resolved "cldr-localenames-modern" via file:///home/root//catalogs/built/catalog Resolved "rackunit-abbrevs" via file:///home/root//catalogs/built/catalog 00: Resolved "memoize-doc" via file:///home/root//catalogs/built/catalog Resolved "memoize-test" via file:///home/root//catalogs/built/catalog 00: Resolved "lang-file" via file:///home/root//catalogs/built/catalog Resolved "ppict" via file:///home/root//catalogs/built/catalog Resolved "lang-file-lib" via file:///home/root//catalogs/built/catalog The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of gtp-checkup: basedir gregor gtp-util memoize require-typed-check pict-abbrevs dependencies of gregor: gregor-lib gregor-doc dependencies of gregor-lib: memoize-lib tzinfo cldr-core cldr-bcp47 cldr-numbers-modern cldr-dates-modern cldr-localenames-modern dependencies of gtp-util: rackunit-abbrevs dependencies of memoize: memoize-doc memoize-test dependencies of pict-abbrevs: lang-file ppict dependencies of lang-file: lang-file-lib raco setup: version: 9.1 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 9.1 raco setup: variants: cs raco setup: main collects: /home/root/racket/collects/ raco setup: collects paths: raco setup: /home/root/user/.local/share/racket/9.1/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/9.1/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/9.1/links.rktd raco setup: compiled-file roots: raco setup: /home/root//zo raco setup: same raco setup: --- updating info-domain tables --- [6:12:07] raco setup: updating: /home/root/user/.local/share/racket/9.1/share/info-cache.rktd raco setup: --- pre-installing collections --- [6:12:07] raco setup: --- installing foreign libraries --- [6:12:07] raco setup: --- installing shared files --- [6:12:07] raco setup: --- compiling collections --- [6:12:07] raco setup: --- parallel build using 2 jobs --- [6:12:07] raco setup: 1 making: /basedir raco setup: 0 making: /cldr-bcp47/cldr/bcp47 raco setup: 0 making: /cldr-core/cldr raco setup: 1 making: /cldr-dates-modern/cldr raco setup: 1 making: /cldr-localenames-modern/cldr raco setup: 0 making: /cldr-numbers-modern/cldr raco setup: 0 making: /gregor-doc/gregor raco setup: 1 making: /gregor-lib/gregor raco setup: 1 making: /gregor-lib/gregor/private raco setup: 1 making: /gregor-lib/gregor/private/core raco setup: 1 making: /gregor-lib/gregor/private/pattern raco setup: 1 making: /gregor-lib/gregor/private/pattern/ast raco setup: 1 making: /gregor-lib/gregor/private/pattern/l10n raco setup: 1 making: /gtp-checkup raco setup: 0 making: /gtp-util raco setup: 0 making: /lang-file-lib/lang-file raco setup: 0 making: /lang-file-lib/lang-file/test raco setup: 0 making: /lang-file/lang-file raco setup: 0 making: /memoize-lib/memoize raco setup: 0 making: /memoize-test/memoize/private raco setup: 0 making: /pict-abbrevs raco setup: 1 making: /gtp-checkup/data raco setup: 1 making: /gtp-checkup/private raco setup: 1 making: /gtp-checkup/scribblings raco setup: 1 making: /ppict raco setup: 1 making: /ppict/private raco setup: 1 making: /rackunit-abbrevs raco setup: 1 making: /rackunit-abbrevs/private raco setup: 0 making: /pict-abbrevs/private raco setup: 1 making: /require-typed-check raco setup: 0 making: /tzinfo/tzinfo (TZInfo) raco setup: 0 making: /tzinfo/tzinfo/private raco setup: 0 making: /tzinfo/tzinfo/private/os raco setup: 0 making: /tzinfo/tzinfo/test raco setup: 1 making: /require-typed-check/test/basic raco setup: 1 making: /require-typed-check/test/fsm raco setup: 1 making: /require-typed-check/test/opaque raco setup: --- creating launchers --- [6:12:20] raco setup: --- installing man pages --- [6:12:20] raco setup: --- building documentation --- [6:12:20] raco setup: syncing: /basedir/doc/basedir raco setup: syncing: /cldr-bcp47/cldr/bcp47/doc/cldr-bcp47-timezone raco setup: syncing: /cldr-core/cldr/doc/cldr-core raco setup: syncing: /cldr-dates-modern/cldr/doc/cldr-dates-modern raco setup: syncing: /cldr-localenames-modern/cldr/doc/cldr-localenames-modern raco setup: syncing: /cldr-numbers-modern/cldr/doc/cldr-numbers-modern raco setup: syncing: /gregor-doc/gregor/doc/gregor raco setup: syncing: /gtp-checkup/doc/gtp-checkup raco setup: syncing: /gtp-util/doc/gtp-util raco setup: syncing: /pict-abbrevs/doc/pict-abbrevs raco setup: syncing: /ppict/doc/ppict raco setup: syncing: /rackunit-abbrevs/doc/rackunit-abbrevs raco setup: syncing: /lang-file/lang-file/doc/read-lang-file raco setup: syncing: /require-typed-check/doc/require-typed-check raco setup: syncing: /tzinfo/tzinfo/doc/tzinfo raco setup: 0 running: /racket-index/scribblings/main/user/family.scrbl 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/family.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 1 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 --- [6:12:30] raco setup: --- post-installing collections --- [6:12:30] raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/acquire/base/types.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/acquire/base/untyped.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/acquire/typed/admin.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/acquire/typed/auxiliaries.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/acquire/typed/basics.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/acquire/typed/benchmark-util.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/acquire/typed/board-adapted.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/acquire/typed/board.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/acquire/typed/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/acquire/typed/player.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/acquire/typed/state-adapted.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/acquire/typed/state.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/acquire/typed/strategy.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/acquire/typed/tree-adapted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/acquire/typed/tree.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/admin.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/auxiliaries.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/basics.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/benchmark-util.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/board-adapted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/board.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/player.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/state-adapted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/state.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/strategy.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/tree-adapted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/tree.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/acquire/untyped/admin.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/acquire/untyped/auxiliaries.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/acquire/untyped/basics.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/acquire/untyped/board.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/acquire/untyped/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/acquire/untyped/player.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/acquire/untyped/state.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/acquire/untyped/strategy.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/acquire/untyped/tree.rkt") main.rkt: racket test: timeout after 90 seconds raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/dungeon/base/cell-types.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/dungeon/base/un-types.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/dungeon/typed/cell.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/dungeon/typed/grid.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/dungeon/typed/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/dungeon/typed/message-queue.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/dungeon/typed/utils.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/dungeon/typed-worst-case/cell.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/dungeon/typed-worst-case/grid.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/dungeon/typed-worst-case/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/dungeon/typed-worst-case/message-queue.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/dungeon/typed-worst-case/utils.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/dungeon/untyped/cell.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/dungeon/untyped/grid.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/dungeon/untyped/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/dungeon/untyped/message-queue.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/dungeon/untyped/utils.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/forth/base/command-types.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/forth/base/make-history.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/forth/base/untyped.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/forth/typed/command.rkt") /home/root/user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/forth/typed/eval.rkt:41:38: Type Checker: type mismatch expected: (Listof (Instance Command%)) given: (U Env False) in: e location...: /home/root/user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/forth/typed/eval.rkt:41:38 context...: /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:141:18 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:130:0: report-all-errors /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:481:0: type-check .../private/parse-interp.rkt:646:50 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:115:12 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:22:4 /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:428:27 /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:430:0: call-with-summary /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:503:19 /home/root/user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/forth/typed/eval.rkt:56:14: Type Checker: type mismatch expected: Env given: (U Env False) in: e location...: /home/root/user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/forth/typed/eval.rkt:56:14 context...: /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:141:18 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:130:0: report-all-errors /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:481:0: type-check .../private/parse-interp.rkt:646:50 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:115:12 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:22:4 /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:428:27 /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:430:0: call-with-summary /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:503:19 /home/root/user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/forth/typed/eval.rkt:41:38: Type Checker: type mismatch expected: (Listof (Instance Command%)) given: (U Env False) in: e location...: /home/root/user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/forth/typed/eval.rkt:41:38 context...: /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:141:18 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:130:0: report-all-errors /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:481:0: type-check .../private/parse-interp.rkt:646:50 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:115:12 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:22:4 /home/root/user/.local/share/racket/9.1/pkgs/require-typed-check/private/typed-lib-cache.rkt:31:10 /home/root/racket/collects/racket/private/more-scheme.rkt:377:2: hash-ref! .../private/parse-interp.rkt:646:50 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:71:0: tc-setup /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:22:4 /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:428:27 /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:430:0: call-with-summary /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:503:19 /home/root/user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/forth/typed/eval.rkt:56:14: Type Checker: type mismatch expected: Env given: (U Env False) in: e location...: /home/root/user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/forth/typed/eval.rkt:56:14 context...: /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:141:18 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:130:0: report-all-errors /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:481:0: type-check .../private/parse-interp.rkt:646:50 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:115:12 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:22:4 /home/root/user/.local/share/racket/9.1/pkgs/require-typed-check/private/typed-lib-cache.rkt:31:10 /home/root/racket/collects/racket/private/more-scheme.rkt:377:2: hash-ref! .../private/parse-interp.rkt:646:50 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:71:0: tc-setup /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:22:4 /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:428:27 /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:430:0: call-with-summary /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:503:19 raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/forth/typed/stack.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/forth/typed-worst-case/command.rkt") /home/root/user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/forth/typed-worst-case/eval.rkt:40:38: Type Checker: type mismatch expected: (Listof (Instance Command%)) given: (U Env False) in: e location...: /home/root/user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/forth/typed-worst-case/eval.rkt:40:38 context...: /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:141:18 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:130:0: report-all-errors /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:481:0: type-check .../private/parse-interp.rkt:646:50 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:115:12 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:22:4 /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:428:27 /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:430:0: call-with-summary /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:503:19 /home/root/user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/forth/typed-worst-case/eval.rkt:55:14: Type Checker: type mismatch expected: Env given: (U Env False) in: e location...: /home/root/user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/forth/typed-worst-case/eval.rkt:55:14 context...: /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:141:18 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:130:0: report-all-errors /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:481:0: type-check .../private/parse-interp.rkt:646:50 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:115:12 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:22:4 /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:428:27 /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:430:0: call-with-summary /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:503:19 /home/root/user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/forth/typed-worst-case/eval.rkt:40:38: Type Checker: type mismatch expected: (Listof (Instance Command%)) given: (U Env False) in: e location...: /home/root/user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/forth/typed-worst-case/eval.rkt:40:38 context...: /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:141:18 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:130:0: report-all-errors /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:481:0: type-check .../private/parse-interp.rkt:646:50 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:115:12 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:22:4 /home/root/racket/collects/racket/require-transform.rkt:268:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:506:5 /home/root/racket/collects/racket/require-transform.rkt:268:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:287:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:258:2 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:71:0: tc-setup /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:22:4 /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:428:27 /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:430:0: call-with-summary /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:503:19 /home/root/user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/forth/typed-worst-case/eval.rkt:55:14: Type Checker: type mismatch expected: Env given: (U Env False) in: e location...: /home/root/user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/forth/typed-worst-case/eval.rkt:55:14 context...: /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:141:18 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:130:0: report-all-errors /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:481:0: type-check .../private/parse-interp.rkt:646:50 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:115:12 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:22:4 /home/root/racket/collects/racket/require-transform.rkt:268:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:506:5 /home/root/racket/collects/racket/require-transform.rkt:268:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:287:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:258:2 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:71:0: tc-setup /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:22:4 /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:428:27 /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:430:0: call-with-summary /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:503:19 raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/forth/typed-worst-case/stack.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/forth/untyped/command.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/forth/untyped/eval.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/forth/untyped/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/forth/untyped/stack.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/fsm/base/untyped.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/fsm/typed/automata-adapted.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/fsm/typed/automata.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/fsm/typed/benchmark-util.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/fsm/typed/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/fsm/typed/population.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/fsm/typed/utilities.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/fsm/typed-worst-case/automata-adapted.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/fsm/typed-worst-case/automata.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/fsm/typed-worst-case/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/fsm/typed-worst-case/population.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/fsm/typed-worst-case/utilities.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/fsm/untyped/automata.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/fsm/untyped/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/fsm/untyped/population.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/fsm/untyped/utilities.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/fsmoo/base/untyped.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/fsmoo/typed/automata-adapted.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/fsmoo/typed/automata.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/fsmoo/typed/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/fsmoo/typed/population-adapted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/fsmoo/typed/population.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/fsmoo/typed/utilities.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/fsmoo/typed-worst-case/automata-adapted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/fsmoo/typed-worst-case/automata.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/fsmoo/typed-worst-case/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/fsmoo/typed-worst-case/population-adapted.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/fsmoo/typed-worst-case/population.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/fsmoo/typed-worst-case/utilities.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/fsmoo/untyped/automata.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/fsmoo/untyped/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/fsmoo/untyped/population.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/fsmoo/untyped/utilities.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/base/cldr/core.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/base/cldr/file.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/base/cldr/likely-subtags.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/base/cldr/scribblings/cldr-core.scrbl") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/base/types.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/private/generics.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/private/os/env.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/private/os/unix.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/private/os/windows-registry.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/private/os/windows.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/private/structs.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/private/tabfile-parser.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/private/tzfile-parser.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/private/zoneinfo-search.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/private/zoneinfo.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/scribblings/tzinfo.scrbl") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/source.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/test/zoneinfo.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/zoneinfo.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/base/untyped.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/typed/clock.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/typed/core-adapter.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/typed/core-structs.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/typed/date.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/typed/datetime.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/typed/difference.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/typed/gregor-adapter.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/typed/gregor-structs.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/typed/hmsn.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/typed/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/typed/moment-base.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/typed/moment.rkt") main.rkt: racket test: timeout after 90 seconds raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/typed/offset-resolvers.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/typed/time.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/typed/tzinfo-adapter.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/typed/ymd.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/clock.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/core-adapter.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/core-structs.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/date.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/datetime.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/difference.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/gregor-adapter.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/gregor-structs.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/hmsn.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/moment-base.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/moment.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/offset-resolvers.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/time.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/tzinfo-adapter.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/ymd.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/untyped/clock.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/untyped/core-structs.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/untyped/date.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/untyped/datetime.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/untyped/difference.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/untyped/gregor-structs.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/untyped/hmsn.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/untyped/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/untyped/moment-base.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/untyped/moment.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/untyped/offset-resolvers.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/untyped/time.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/gregor/untyped/ymd.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/base/bytevectors-6-typed.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/base/math/array.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/array-broadcast.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/array-comprehension.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/array-sequence.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/array-struct.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/array-syntax.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/array-transform.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/for-each.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/mutable-array.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/typed-array-sequence.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/typed-array-struct.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/typed-array-transform.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/typed-mutable-array.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/typed-utils.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/utils.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/base/base-constants.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/base/base-random.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/exception.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/inline-sort.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/parameters.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/syntax-utils.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/unsafe.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/utils.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/base/typedefs.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/base/untyped.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/typed/bit-ports.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/typed/exif.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/typed/huffman.rkt") raco test: 1 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/typed/jfif.rkt") test) raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/typed/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/typed-worst-case/bit-ports.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/typed-worst-case/exif.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/typed-worst-case/huffman.rkt") raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/typed-worst-case/jfif.rkt") test) raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/typed-worst-case/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/untyped/bit-ports.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/untyped/exif.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/untyped/huffman.rkt") raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/untyped/jfif.rkt") test) raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/jpeg/untyped/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/kcfa/typed/ai.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/kcfa/typed/benv-adapted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/kcfa/typed/benv.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/kcfa/typed/denotable-adapted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/kcfa/typed/denotable.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/kcfa/typed/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/kcfa/typed/structs-adapted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/kcfa/typed/structs.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/kcfa/typed/time-adapted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/kcfa/typed/time.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/kcfa/typed/ui.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/kcfa/typed-worst-case/ai.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/kcfa/typed-worst-case/benv-adapted.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/kcfa/typed-worst-case/benv.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/kcfa/typed-worst-case/denotable-adapted.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/kcfa/typed-worst-case/denotable.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/kcfa/typed-worst-case/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/kcfa/typed-worst-case/structs-adapted.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/kcfa/typed-worst-case/structs.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/kcfa/typed-worst-case/time-adapted.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/kcfa/typed-worst-case/time.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/kcfa/typed-worst-case/ui.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/kcfa/untyped/ai.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/kcfa/untyped/benv.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/kcfa/untyped/denotable.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/kcfa/untyped/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/kcfa/untyped/structs.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/kcfa/untyped/time.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/kcfa/untyped/ui.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/lnm/base/untyped.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/lnm/typed/bitstring.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/lnm/typed/lnm-plot.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/lnm/typed/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/lnm/typed/modulegraph-adapted.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/lnm/typed/modulegraph.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/lnm/typed/pict-adapted.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/lnm/typed/spreadsheet.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/lnm/typed/summary-adapted.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/lnm/typed/summary.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/lnm/typed-worst-case/bitstring.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/lnm/typed-worst-case/lnm-plot.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/lnm/typed-worst-case/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/lnm/typed-worst-case/modulegraph-adapted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/lnm/typed-worst-case/modulegraph.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/lnm/typed-worst-case/pict-adapted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/lnm/typed-worst-case/spreadsheet.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/lnm/typed-worst-case/summary-adapted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/lnm/typed-worst-case/summary.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/lnm/untyped/bitstring.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/lnm/untyped/lnm-plot.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/lnm/untyped/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/lnm/untyped/modulegraph.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/lnm/untyped/spreadsheet.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/lnm/untyped/summary.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/adjlist-utils.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/gen-graph.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/graph-fns-allpairs-shortestpaths.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/graph-fns-basic.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/graph-fns-coloring.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/graph-fns-graphviz.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/graph-fns-maxflow.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/graph-fns-minspantree.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/graph-fns-singlesource-shortestpaths.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/graph-matrix.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/graph-property.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/graph-unweighted.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/graph-weighted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/hash-utils.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/utils.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/mbta/base/graph/queue/fifo.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/mbta/base/graph/queue/gen-queue.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/mbta/base/graph/queue/priority.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/mbta/base/my-graph.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/mbta/base/t-graph-types.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/mbta/base/t-view-types.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/mbta/base/untyped.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/mbta/typed/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/mbta/typed/run-t.rkt") run-t.rkt: racket test: #< This warning will become an error in a future release. in: the 1st argument of a part of the or/c of (or/c struct-predicate-procedure?/c (-> Any boolean?)) contract from: (interface for graph?) blaming: /gtp-checkup/benchmarks/mbta/base/t-graph-types.rkt (assuming the contract is correct) at: /gtp-checkup/benchmarks/mbta/base/t-graph-types.rkt:16:56 non-empty stderr raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/mbta/typed/t-graph.rkt") main.rkt: racket test: #< This warning will become an error in a future release. in: the 1st argument of a part of the or/c of (or/c struct-predicate-procedure?/c (-> Any boolean?)) contract from: (interface for graph?) blaming: /gtp-checkup/benchmarks/mbta/base/t-graph-types.rkt (assuming the contract is correct) at: /gtp-checkup/benchmarks/mbta/base/t-graph-types.rkt:16:56 non-empty stderr raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/mbta/typed/t-view.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/mbta/typed-worst-case/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/mbta/typed-worst-case/run-t.rkt") main.rkt: racket test: #< This warning will become an error in a future release. in: the 1st argument of a part of the or/c of (or/c struct-predicate-procedure?/c (-> Any boolean?)) contract from: (interface for graph?) blaming: /gtp-checkup/benchmarks/mbta/base/t-graph-types.rkt (assuming the contract is correct) at: /gtp-checkup/benchmarks/mbta/base/t-graph-types.rkt:16:56 non-empty stderr raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/mbta/typed-worst-case/t-graph.rkt") run-t.rkt: racket test: #< This warning will become an error in a future release. in: the 1st argument of a part of the or/c of (or/c struct-predicate-procedure?/c (-> Any boolean?)) contract from: (interface for graph?) blaming: /gtp-checkup/benchmarks/mbta/base/t-graph-types.rkt (assuming the contract is correct) at: /gtp-checkup/benchmarks/mbta/base/t-graph-types.rkt:16:56 non-empty stderr raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/mbta/typed-worst-case/t-view.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/mbta/untyped/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/mbta/untyped/run-t.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/mbta/untyped/t-graph.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/mbta/untyped/t-view.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/morsecode/base/untyped.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/morsecode/typed/levenshtein.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/morsecode/typed/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/morsecode/typed/morse-code-strings.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/morsecode/typed/morse-code-table.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/morsecode/typed-worst-case/levenshtein.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/morsecode/typed-worst-case/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/morsecode/typed-worst-case/morse-code-strings.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/morsecode/typed-worst-case/morse-code-table.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/morsecode/untyped/levenshtein.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/morsecode/untyped/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/morsecode/untyped/morse-code-strings.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/morsecode/untyped/morse-code-table.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/base/core-types.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/base/core.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/base/csp/constraint.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/base/csp/csp.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/base/csp/domain.rkt") raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/base/csp/helper.rkt") test) raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/base/csp/problem.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/base/csp/solver.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/base/csp/variable.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/base/quad-types.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/base/quad.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/base/untyped.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/typed/hyphenate.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/typed/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/typed/measure.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/typed/ocm-struct-adapted.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/typed/ocm-struct.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/typed/ocm.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/typed/penalty-struct-adapted.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/typed/penalty-struct.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/typed/quad-main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/typed/quads.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/typed/quick-sample.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/typed/render.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/typed/sugar-list.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/typed/utils.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/typed/world.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/typed/wrap.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/typed-worst-case/hyphenate.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/typed-worst-case/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/typed-worst-case/measure.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/typed-worst-case/ocm-struct-adapted.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/typed-worst-case/ocm-struct.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/typed-worst-case/ocm.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/typed-worst-case/penalty-struct-adapted.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/typed-worst-case/penalty-struct.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/typed-worst-case/quad-main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/typed-worst-case/quads.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/typed-worst-case/quick-sample.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/typed-worst-case/render.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/typed-worst-case/sugar-list.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/typed-worst-case/utils.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/typed-worst-case/world.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/typed-worst-case/wrap.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/untyped/hyphenate.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/untyped/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/untyped/measure.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/untyped/ocm-struct.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/untyped/ocm.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/untyped/penalty-struct.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/untyped/quad-main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/untyped/quads.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/untyped/quick-sample.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/untyped/render.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/untyped/sugar-list.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/untyped/utils.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/untyped/world.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadT/untyped/wrap.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/base/core-types.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/base/core.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/base/csp/constraint.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/base/csp/csp.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/base/csp/domain.rkt") raco test: 1 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/base/csp/helper.rkt") test) raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/base/csp/problem.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/base/csp/solver.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/base/csp/variable.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/base/quad-types.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/base/untyped.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/typed/hyphenate.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/typed/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/typed/measure.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/typed/ocm-struct-adapted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/typed/ocm-struct.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/typed/ocm.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/typed/penalty-struct-adapted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/typed/penalty-struct.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/typed/quad-main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/typed/quads.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/typed/quick-sample.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/typed/render.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/typed/sugar-list.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/typed/utils.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/typed/world.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/typed/wrap.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/typed-worst-case/hyphenate.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/typed-worst-case/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/typed-worst-case/measure.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/typed-worst-case/ocm-struct-adapted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/typed-worst-case/ocm-struct.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/typed-worst-case/ocm.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/typed-worst-case/penalty-struct-adapted.rkt") main.rkt: racket test: #< (Listof Index) (Listof Integer)) for add-no-hyphen-zone, previous was (-> (Listof Index) (Listof Integer)) in: add-no-hyphen-zone location...: hyphenate.rkt:5130:5 context...: /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/utils/tc-utils.rkt:130:0: report-all-errors /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt:481:0: type-check .../private/parse-interp.rkt:646:50 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:115:12 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:22:4 /home/root/racket/collects/racket/require-transform.rkt:268:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:506:5 /home/root/racket/collects/racket/require-transform.rkt:268:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:287:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:258:2 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:71:0: tc-setup /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:22:4 /home/root/racket/collects/racket/require-transform.rkt:268:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:506:5 /home/root/racket/collects/racket/require-transform.rkt:268:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:287:21: try-next ... non-empty stderr raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/typed-worst-case/penalty-struct.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/typed-worst-case/quad-main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/typed-worst-case/quads.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/typed-worst-case/quick-sample.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/typed-worst-case/render.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/typed-worst-case/sugar-list.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/typed-worst-case/utils.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/typed-worst-case/world.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/typed-worst-case/wrap.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/untyped/hyphenate.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/untyped/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/untyped/measure.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/untyped/ocm-struct.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/untyped/ocm.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/untyped/penalty-struct.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/untyped/quad-main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/untyped/quads.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/untyped/quick-sample.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/untyped/render.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/untyped/sugar-list.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/untyped/utils.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/untyped/world.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/quadU/untyped/wrap.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/sieve/typed/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/sieve/typed/streams.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/sieve/typed-worst-case/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/sieve/typed-worst-case/streams.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/sieve/untyped/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/sieve/untyped/streams.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/snake/typed/collide.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/snake/typed/const.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/snake/typed/cut-tail.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/snake/typed/data-adaptor.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/snake/typed/data.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/snake/typed/handlers.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/snake/typed/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/snake/typed/motion-help.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/snake/typed/motion.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/snake/typed-worst-case/collide.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/snake/typed-worst-case/const.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/snake/typed-worst-case/cut-tail.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/snake/typed-worst-case/data-adaptor.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/snake/typed-worst-case/data.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/snake/typed-worst-case/handlers.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/snake/typed-worst-case/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/snake/typed-worst-case/motion-help.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/snake/typed-worst-case/motion.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/snake/untyped/collide.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/snake/untyped/const.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/snake/untyped/cut-tail.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/snake/untyped/data.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/snake/untyped/handlers.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/snake/untyped/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/snake/untyped/motion-help.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/snake/untyped/motion.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/suffixtree/base/untyped.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/suffixtree/typed/data.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/suffixtree/typed/label.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/suffixtree/typed/lcs.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/suffixtree/typed/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/suffixtree/typed/structs.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/suffixtree/typed/typed-data.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/suffixtree/typed/ukkonen.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/suffixtree/typed-worst-case/data.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/suffixtree/typed-worst-case/label.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/suffixtree/typed-worst-case/lcs.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/suffixtree/typed-worst-case/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/suffixtree/typed-worst-case/structs.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/suffixtree/typed-worst-case/typed-data.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/suffixtree/typed-worst-case/ukkonen.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/suffixtree/untyped/data.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/suffixtree/untyped/label.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/suffixtree/untyped/lcs.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/suffixtree/untyped/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/suffixtree/untyped/structs.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/suffixtree/untyped/ukkonen.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/synth/base/untyped.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/synth/typed/array-broadcast.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/synth/typed/array-struct.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/synth/typed/array-transform.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/synth/typed/array-utils.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/synth/typed/data.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/synth/typed/drum.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/synth/typed/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/synth/typed/mixer.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/synth/typed/sequencer.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/synth/typed/synth.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/synth/typed/typed-data.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/synth/typed-worst-case/array-broadcast.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/synth/typed-worst-case/array-struct.rkt") main.rkt: racket test: timeout after 90 seconds raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/synth/typed-worst-case/array-transform.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/synth/typed-worst-case/array-utils.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/synth/typed-worst-case/data.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/synth/typed-worst-case/drum.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/synth/typed-worst-case/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/synth/typed-worst-case/mixer.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/synth/typed-worst-case/sequencer.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/synth/typed-worst-case/synth.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/synth/typed-worst-case/typed-data.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/synth/untyped/array-broadcast.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/synth/untyped/array-struct.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/synth/untyped/array-transform.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/synth/untyped/array-utils.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/synth/untyped/data.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/synth/untyped/drum.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/synth/untyped/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/synth/untyped/mixer.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/synth/untyped/sequencer.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/synth/untyped/synth.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/take5/base/untyped.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/take5/typed/basics-types.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/take5/typed/basics.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/take5/typed/card-adapted.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/take5/typed/card-pool-types.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/take5/typed/card-pool.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/take5/typed/card.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/take5/typed/dealer-types.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/take5/typed/dealer.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/take5/typed/deck-types.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/take5/typed/deck.rkt") raco test: 1 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/take5/typed/main.rkt") test) raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/take5/typed/player-types.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/take5/typed/player.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/take5/typed/stack-types.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/take5/typed/stack.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/take5/typed-worst-case/basics-types.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/take5/typed-worst-case/basics.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/take5/typed-worst-case/card-adapted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/take5/typed-worst-case/card-pool-types.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/take5/typed-worst-case/card-pool.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/take5/typed-worst-case/card.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/take5/typed-worst-case/dealer-types.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/take5/typed-worst-case/dealer.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/take5/typed-worst-case/deck-types.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/take5/typed-worst-case/deck.rkt") raco test: 1 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/take5/typed-worst-case/main.rkt") test) raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/take5/typed-worst-case/player-types.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/take5/typed-worst-case/player.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/take5/typed-worst-case/stack-types.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/take5/typed-worst-case/stack.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/take5/untyped/basics.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/take5/untyped/card-pool.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/take5/untyped/card.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/take5/untyped/dealer.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/take5/untyped/deck.rkt") raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/gtp-checkup/benchmarks/take5/untyped/main.rkt") test) main.rkt: racket test: #<