The time is now Wednesday, March 13th, 2024 1:10:39am (/usr/bin/env DISPLAY=:1 PLT_PKG_BUILD_SERVICE=1 PLTUSERHOME=/home/root//user PLT_PKG_BUILD_SERVICE=1 CI=true PLTSTDERR=debug@pkg error PLT_INFO_ALLOW_VARS=;PLT_PKG_BUILD_SERVICE PLTCOMPILEDROOTS=/home/root//zo: /usr/bin/xvfb-run -n 1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 2 -u --auto 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 pkg: catalog response: #hash((author . "types@ccs.neu.edu") (checksum . "e031867380fe5b25960e2f3a859c177706c3f794") (dependencies . (("base") ("basedir") ("data-lib") ("draw-lib") ("gregor") ("gtp-util") ("math-lib") ("memoize") ("pict-lib") ("plot-lib") ("rackunit-lib") ("require-typed-check") ("sandbox-lib") ("typed-racket-lib") ("typed-racket-more") ("zo-lib") ("scribble-lib") ("racket-doc") ("rackunit-lib") ("typed-racket-doc") ("pict-abbrevs"))) (description . "Test correctness of typed/untyped interaction.") (modules . ((lib "gtp-checkup/benchmarks/morsecode/untyped/main.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/graph/graph-unweighted.rkt") (lib "gtp-checkup/benchmarks/fsm/untyped/utilities.rkt") (lib "gtp-checkup/benchmarks/acquire/typed-worst-case/strategy.rkt") (lib "gtp-checkup/benchmarks/quadT/base/core.rkt") (lib "gtp-checkup/scribblings/plot.rkt") (lib "gtp-checkup/benchmarks/tetris/typed/data.rkt") (lib "gtp-checkup/benchmarks/lnm/untyped/summary.rkt") (lib "gtp-checkup/benchmarks/gregor/base/cldr/file.rkt") (lib "gtp-checkup/benchmarks/fsmoo/untyped/population.rkt") (lib "gtp-checkup/benchmarks/acquire/typed-worst-case/tree-adapted.rkt") (lib "gtp-checkup/benchmarks/take5/base/untyped.rkt") (lib "gtp-checkup/benchmarks/fsm/typed/automata-adapted.rkt") (lib "gtp-checkup/benchmarks/zordoz/typed/zo-find.rkt") (lib "gtp-checkup/benchmarks/mbta/typed-worst-case/run-t.rkt") (lib "gtp-checkup/benchmarks/snake/typed/handlers.rkt") (lib "gtp-checkup/benchmarks/fsmoo/typed/utilities.rkt") (lib "gtp-checkup/benchmarks/gregor/typed/core-adapter.rkt") (lib "gtp-checkup/benchmarks/synth/typed/synth.rkt") (lib "gtp-checkup/benchmarks/forth/untyped/stack.rkt") (lib "gtp-checkup/benchmarks/take5/typed-worst-case/deck.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/parameters.rkt") (lib "gtp-checkup/benchmarks/zordoz/untyped/zo-transition.rkt") (lib "gtp-checkup/benchmarks/quadU/untyped/quads.rkt") (lib "gtp-checkup/benchmarks/gregor/typed-worst-case/offset-resolvers.rkt") (lib "gtp-checkup/benchmarks/gregor/untyped/date.rkt") (lib "gtp-checkup/benchmarks/gregor/typed-worst-case/clock.rkt") (lib "gtp-checkup/benchmarks/fsm/typed/benchmark-util.rkt") (lib "gtp-checkup/benchmarks/take5/typed-worst-case/card.rkt") (lib "gtp-checkup/benchmarks/quadU/typed/sugar-list.rkt") (lib "gtp-checkup/benchmarks/quadT/typed/sugar-list.rkt") (lib "gtp-checkup/benchmarks/tetris/typed/world.rkt") (lib "gtp-checkup/benchmarks/sieve/untyped/streams.rkt") (lib "gtp-checkup/benchmarks/gregor/typed/datetime.rkt") (lib "gtp-checkup/benchmarks/synth/typed/array-struct.rkt") (lib "gtp-checkup/benchmarks/quadT/untyped/wrap.rkt") (lib "gtp-checkup/benchmarks/dungeon/typed-worst-case/cell.rkt") (lib "gtp-checkup/benchmarks/mbta/base/t-graph-types.rkt") (lib "gtp-checkup/benchmarks/fsm/untyped/main.rkt") (lib "gtp-checkup/benchmarks/zordoz/typed/zo-transition.rkt") (lib "gtp-checkup/benchmarks/gregor/typed-worst-case/time.rkt") (lib "gtp-checkup/benchmarks/synth/typed/typed-data.rkt") (lib "gtp-checkup/benchmarks/quadU/base/csp/helper.rkt") (lib "gtp-checkup/benchmarks/quadT/base/csp/helper.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed/ui.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed/ai.rkt") (lib "gtp-checkup/benchmarks/suffixtree/typed/main.rkt") (lib "gtp-checkup/benchmarks/synth/untyped/main.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/graph/graph-property.rkt") (lib "gtp-checkup/benchmarks/morsecode/typed/morse-code-strings.rkt") (lib "gtp-checkup/benchmarks/forth/untyped/eval.rkt") (lib "gtp-checkup/benchmarks/gregor/base/tzinfo/private/structs.rkt") (lib "gtp-checkup/benchmarks/suffixtree/typed-worst-case/lcs.rkt") (lib "gtp-checkup/benchmarks/gregor/untyped/datetime.rkt") (lib "gtp-checkup/benchmarks/take5/typed-worst-case/stack-types.rkt") (lib "gtp-checkup/benchmarks/snake/untyped/const.rkt") (lib "gtp-checkup/benchmarks/dungeon/typed/message-queue.rkt") (lib "gtp-checkup/benchmarks/take5/typed-worst-case/player.rkt") (lib "gtp-checkup/benchmarks/lnm/untyped/main.rkt") (lib "gtp-checkup/benchmarks/jpeg/typed-worst-case/bit-ports.rkt") (lib "gtp-checkup/benchmarks/fsmoo/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/mbta/untyped/t-graph.rkt") (lib "gtp-checkup/benchmarks/snake/typed-worst-case/cut-tail.rkt") (lib "gtp-checkup/benchmarks/lnm/typed/modulegraph.rkt") (lib "gtp-checkup/benchmarks/quadU/untyped/wrap.rkt") (lib "gtp-checkup/benchmarks/mbta/typed/main.rkt") (lib "gtp-checkup/benchmarks/forth/typed/eval.rkt") (lib "gtp-checkup/benchmarks/zordoz/base/untyped.rkt") (lib "gtp-checkup/benchmarks/gregor/typed/moment.rkt") (lib "gtp-checkup/benchmarks/take5/untyped/main.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/array.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/graph/graph-fns-allpairs-shortestpaths.rkt") (lib "gtp-checkup/benchmarks/dungeon/typed-worst-case/utils.rkt") (lib "gtp-checkup/benchmarks/kcfa/untyped/benv.rkt") (lib "gtp-checkup/benchmarks/synth/typed-worst-case/typed-data.rkt") (lib "gtp-checkup/benchmarks/gregor/untyped/moment.rkt") (lib "gtp-checkup/benchmarks/lnm/untyped/bitstring.rkt") (lib "gtp-checkup/benchmarks/take5/typed/stack.rkt") (lib "gtp-checkup/benchmarks/fsm/typed/utilities.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/array/typed-array-sequence.rkt") (lib "gtp-checkup/benchmarks/fsm/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/fsmoo/typed/population-adapted.rkt") (lib "gtp-checkup/data/definition.rkt") (lib "gtp-checkup/benchmarks/gregor/base/tzinfo/scribblings/tzinfo.scrbl") (lib "gtp-checkup/benchmarks/quadT/typed/ocm.rkt") (lib "gtp-checkup/benchmarks/lnm/untyped/spreadsheet.rkt") (lib "gtp-checkup/benchmarks/synth/untyped/sequencer.rkt") (lib "gtp-checkup/benchmarks/synth/typed/sequencer.rkt") (lib "gtp-checkup/benchmarks/zombie/base/untyped.rkt") (lib "gtp-checkup/benchmarks/quadT/typed/quads.rkt") (lib "gtp-checkup/benchmarks/lnm/typed/pict-adapted.rkt") (lib "gtp-checkup/benchmarks/take5/untyped/basics.rkt") (lib "gtp-checkup/benchmarks/mbta/typed/t-graph.rkt") (lib "gtp-checkup/benchmarks/kcfa/untyped/time.rkt") (lib "gtp-checkup/benchmarks/gregor/base/types.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/queue/gen-queue.rkt") (lib "gtp-checkup/benchmarks/quadU/typed-worst-case/measure.rkt") (lib "gtp-checkup/benchmarks/quadT/typed-worst-case/measure.rkt") (lib "gtp-checkup/benchmarks/snake/typed-worst-case/motion.rkt") (lib "gtp-checkup/benchmarks/dungeon/typed/utils.rkt") (lib "gtp-checkup/benchmarks/gregor/base/tzinfo/private/os/windows.rkt") (lib "gtp-checkup/benchmarks/lnm/typed-worst-case/spreadsheet.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed/main.rkt") (lib "gtp-checkup/benchmarks/acquire/base/types.rkt") (lib "gtp-checkup/benchmarks/snake/typed-worst-case/data-adaptor.rkt") (lib "gtp-checkup/benchmarks/zombie/typed-worst-case/math.rkt") (lib "gtp-checkup/benchmarks/quadU/typed/quads.rkt") (lib "gtp-checkup/benchmarks/morsecode/typed-worst-case/levenshtein.rkt") (lib "gtp-checkup/benchmarks/acquire/typed-worst-case/board-adapted.rkt") (lib "gtp-checkup/benchmarks/lnm/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/quadU/base/csp/constraint.rkt") (lib "gtp-checkup/benchmarks/quadT/base/csp/constraint.rkt") (lib "gtp-checkup/benchmarks/zordoz/base/compiler-zo-parse.rkt") (lib "gtp-checkup/benchmarks/gregor/untyped/clock.rkt") (lib "gtp-checkup/benchmarks/quadU/typed-worst-case/ocm-struct.rkt") (lib "gtp-checkup/benchmarks/quadT/typed-worst-case/ocm-struct.rkt") (lib "gtp-checkup/benchmarks/synth/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/zombie/untyped/math.rkt") (lib "gtp-checkup/benchmarks/fsmoo/typed/automata.rkt") (lib "gtp-checkup/benchmarks/tetris/untyped/bset.rkt") (lib "gtp-checkup/benchmarks/suffixtree/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/take5/typed/deck-types.rkt") (lib "gtp-checkup/benchmarks/dungeon/base/cell-types.rkt") (lib "gtp-checkup/benchmarks/quadU/typed/wrap.rkt") (lib "gtp-checkup/benchmarks/quadT/base/quad.rkt") (lib "gtp-checkup/benchmarks/dungeon/typed-worst-case/grid.rkt") (lib "gtp-checkup/benchmarks/take5/typed/player.rkt") (lib "gtp-checkup/benchmarks/fsm/base/untyped.rkt") (lib "gtp-checkup/benchmarks/synth/typed-worst-case/sequencer.rkt") (lib "gtp-checkup/benchmarks/take5/untyped/player.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed-worst-case/denotable-adapted.rkt") (lib "gtp-checkup/benchmarks/gregor/typed-worst-case/hmsn.rkt") (lib "gtp-checkup/benchmarks/zordoz/typed-worst-case/zo-transition.rkt") (lib "gtp-checkup/benchmarks/tetris/typed-worst-case/world.rkt") (lib "gtp-checkup/benchmarks/quadT/untyped/main.rkt") (lib "gtp-checkup/benchmarks/gregor/untyped/offset-resolvers.rkt") (lib "gtp-checkup/benchmarks/gregor/typed-worst-case/datetime.rkt") (lib "gtp-checkup/private/logger.rkt") (lib "gtp-checkup/benchmarks/zombie/typed/main.rkt") (lib "gtp-checkup/benchmarks/quadU/typed-worst-case/penalty-struct.rkt") (lib "gtp-checkup/benchmarks/quadT/typed-worst-case/penalty-struct.rkt") (lib "gtp-checkup/benchmarks/quadU/typed-worst-case/render.rkt") (lib "gtp-checkup/benchmarks/quadT/typed-worst-case/render.rkt") (lib "gtp-checkup/benchmarks/suffixtree/untyped/label.rkt") (lib "gtp-checkup/benchmarks/suffixtree/typed/label.rkt") (lib "gtp-checkup/benchmarks/quadT/untyped/ocm.rkt") (lib "gtp-checkup/benchmarks/quadU/untyped/measure.rkt") (lib "gtp-checkup/benchmarks/quadT/untyped/measure.rkt") (lib "gtp-checkup/benchmarks/morsecode/typed/levenshtein.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/typedefs.rkt") (lib "gtp-checkup/benchmarks/lnm/typed-worst-case/bitstring.rkt") (lib "gtp-checkup/benchmarks/fsm/typed-worst-case/automata.rkt") (lib "gtp-checkup/benchmarks/morsecode/typed/main.rkt") (lib "gtp-checkup/benchmarks/gregor/base/tzinfo/private/os/env.rkt") (lib "gtp-checkup/benchmarks/snake/typed/motion-help.rkt") (lib "gtp-checkup/benchmarks/tetris/untyped/world.rkt") (lib "gtp-checkup/benchmarks/synth/typed-worst-case/mixer.rkt") (lib "gtp-checkup/benchmarks/fsm/typed-worst-case/utilities.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/queue/fifo.rkt") (lib "gtp-checkup/benchmarks/suffixtree/typed/ukkonen.rkt") (lib "gtp-checkup/benchmarks/quadU/typed/main.rkt") (lib "gtp-checkup/benchmarks/lnm/untyped/lnm-plot.rkt") (lib "gtp-checkup/benchmarks/quadU/base/csp/domain.rkt") (lib "gtp-checkup/benchmarks/quadT/base/csp/domain.rkt") (lib "gtp-checkup/benchmarks/forth/typed-worst-case/eval.rkt") (lib "gtp-checkup/benchmarks/acquire/untyped/player.rkt") (lib "gtp-checkup/benchmarks/gregor/typed/gregor-structs.rkt") (lib "gtp-checkup/benchmarks/take5/typed-worst-case/card-adapted.rkt") (lib "gtp-checkup/benchmarks/fsmoo/typed/population.rkt") (lib "gtp-checkup/benchmarks/acquire/typed-worst-case/admin.rkt") (lib "gtp-checkup/benchmarks/quadU/typed/hyphenate.rkt") (lib "gtp-checkup/benchmarks/quadT/typed/hyphenate.rkt") (lib "gtp-checkup/benchmarks/acquire/typed-worst-case/state.rkt") (lib "gtp-checkup/benchmarks/snake/untyped/motion-help.rkt") (lib "gtp-checkup/benchmarks/quadU/base/csp/variable.rkt") (lib "gtp-checkup/benchmarks/quadT/base/csp/variable.rkt") (lib "gtp-checkup/benchmarks/quadU/untyped/render.rkt") (lib "gtp-checkup/benchmarks/synth/typed/array-broadcast.rkt") (lib "gtp-checkup/benchmarks/zordoz/untyped/zo-string.rkt") (lib "gtp-checkup/benchmarks/gregor/base/tzinfo/private/os/unix.rkt") (lib "gtp-checkup/benchmarks/forth/typed/stack.rkt") (lib "gtp-checkup/benchmarks/acquire/typed/basics.rkt") (lib "gtp-checkup/benchmarks/acquire/typed-worst-case/auxiliaries.rkt") (lib "gtp-checkup/benchmarks/take5/untyped/stack.rkt") (lib "gtp-checkup/benchmarks/quadU/typed/render.rkt") (lib "gtp-checkup/benchmarks/synth/typed-worst-case/data.rkt") (lib "gtp-checkup/benchmarks/dungeon/typed/grid.rkt") (lib "gtp-checkup/benchmarks/take5/typed/deck.rkt") (lib "gtp-checkup/benchmarks/fsm/typed/population.rkt") (lib "gtp-checkup/benchmarks/dungeon/untyped/main.rkt") (lib "gtp-checkup/benchmarks/quadT/untyped/quads.rkt") (lib "gtp-checkup/benchmarks/fsmoo/untyped/automata.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/array/typed-array-struct.rkt") (lib "gtp-checkup/benchmarks/dungeon/untyped/cell.rkt") (lib "gtp-checkup/benchmarks/quadU/base/csp/solver.rkt") (lib "gtp-checkup/benchmarks/quadT/base/csp/solver.rkt") (lib "gtp-checkup/benchmarks/synth/typed/data.rkt") (lib "gtp-checkup/benchmarks/lnm/typed-worst-case/pict-adapted.rkt") (lib "gtp-checkup/benchmarks/tetris/untyped/block.rkt") (lib "gtp-checkup/benchmarks/lnm/typed-worst-case/summary.rkt") (lib "gtp-checkup/benchmarks/mbta/typed/run-t.rkt") (lib "gtp-checkup/benchmarks/take5/typed/card-pool.rkt") (lib "gtp-checkup/benchmarks/snake/untyped/handlers.rkt") (lib "gtp-checkup/benchmarks/synth/base/untyped.rkt") (lib "gtp-checkup/benchmarks/mbta/untyped/main.rkt") (lib "gtp-checkup/benchmarks/zombie/typed/image.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/graph/utils.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/acquire/typed-worst-case/tree.rkt") (lib "gtp-checkup/benchmarks/gregor/typed/core-structs.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/graph/adjlist-utils.rkt") (lib "gtp-checkup/benchmarks/zombie/untyped/image.rkt") (lib "gtp-checkup/benchmarks/morsecode/untyped/morse-code-table.rkt") (lib "gtp-checkup/benchmarks/jpeg/untyped/huffman.rkt") (lib "gtp-checkup/benchmarks/tetris/typed-worst-case/bset.rkt") (lib "gtp-checkup/benchmarks/quadT/base/untyped.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/graph/graph-fns-coloring.rkt") (lib "gtp-checkup/benchmarks/tetris/typed/tetras.rkt") (lib "gtp-checkup/benchmarks/acquire/base/untyped.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed/denotable.rkt") (lib "gtp-checkup/benchmarks/quadU/typed/ocm-struct-adapted.rkt") (lib "gtp-checkup/benchmarks/quadT/typed/ocm-struct-adapted.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/graph/graph-fns-basic.rkt") (lib "gtp-checkup/benchmarks/quadU/typed/quick-sample.rkt") (lib "gtp-checkup/benchmarks/quadT/typed/quick-sample.rkt") (lib "gtp-checkup/benchmarks/gregor/base/tzinfo/private/zoneinfo-search.rkt") (lib "gtp-checkup/benchmarks/synth/typed/array-transform.rkt") (lib "gtp-checkup/benchmarks/take5/untyped/card-pool.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/array/mutable-array.rkt") (lib "gtp-checkup/benchmarks/snake/typed/collide.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed-worst-case/time-adapted.rkt") (lib "gtp-checkup/benchmarks/zombie/untyped/main.rkt") (lib "gtp-checkup/benchmarks/acquire/untyped/auxiliaries.rkt") (lib "gtp-checkup/benchmarks/take5/untyped/card.rkt") (lib "gtp-checkup/benchmarks/gregor/base/tzinfo/test/zoneinfo.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/graph/graph-fns-graphviz.rkt") (lib "gtp-checkup/benchmarks/quadU/typed-worst-case/ocm-struct-adapted.rkt") (lib "gtp-checkup/benchmarks/quadT/typed-worst-case/ocm-struct-adapted.rkt") (lib "gtp-checkup/benchmarks/acquire/typed-worst-case/player.rkt") (lib "gtp-checkup/benchmarks/acquire/typed/main.rkt") (lib "gtp-checkup/benchmarks/tetris/typed-worst-case/data.rkt") (lib "gtp-checkup/benchmarks/tetris/untyped/tetras.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/syntax-utils.rkt") (lib "gtp-checkup/benchmarks/sieve/untyped/main.rkt") (lib "gtp-checkup/benchmarks/mbta/typed/t-view.rkt") (lib "gtp-checkup/benchmarks/quadU/base/csp/problem.rkt") (lib "gtp-checkup/benchmarks/quadT/base/csp/problem.rkt") (lib "gtp-checkup/benchmarks/quadU/untyped/main.rkt") (lib "gtp-checkup/benchmarks/tetris/typed-worst-case/aux.rkt") (lib "gtp-checkup/benchmarks/fsm/typed/automata.rkt") (lib "gtp-checkup/benchmarks/morsecode/typed/morse-code-table.rkt") (lib "gtp-checkup/benchmarks/synth/untyped/array-transform.rkt") (lib "gtp-checkup/benchmarks/acquire/typed/strategy.rkt") (lib "gtp-checkup/benchmarks/quadU/base/quad-types.rkt") (lib "gtp-checkup/benchmarks/quadT/base/quad-types.rkt") (lib "gtp-checkup/benchmarks/gregor/typed-worst-case/core-adapter.rkt") (lib "gtp-checkup/benchmarks/zombie/untyped/zombie.rkt") (lib "gtp-checkup/benchmarks/quadU/typed-worst-case/world.rkt") (lib "gtp-checkup/benchmarks/quadT/typed-worst-case/world.rkt") (lib "gtp-checkup/benchmarks/morsecode/typed-worst-case/morse-code-strings.rkt") (lib "gtp-checkup/benchmarks/tetris/typed/elim.rkt") (lib "gtp-checkup/benchmarks/forth/typed/main.rkt") (lib "gtp-checkup/benchmarks/suffixtree/untyped/ukkonen.rkt") (lib "gtp-checkup/benchmarks/gregor/typed/gregor-adapter.rkt") (lib "gtp-checkup/benchmarks/mbta/untyped/t-view.rkt") (lib "gtp-checkup/benchmarks/gregor/untyped/hmsn.rkt") (lib "gtp-checkup/benchmarks/gregor/base/untyped.rkt") (lib "gtp-checkup/benchmarks/quadU/base/core-types.rkt") (lib "gtp-checkup/benchmarks/quadT/base/core-types.rkt") (lib "gtp-checkup/benchmarks/jpeg/untyped/bit-ports.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/exception.rkt") (lib "gtp-checkup/benchmarks/suffixtree/typed-worst-case/structs.rkt") (lib "gtp-checkup/benchmarks/jpeg/typed-worst-case/huffman.rkt") (lib "gtp-checkup/benchmarks/quadU/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/quadT/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/take5/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/gregor/typed/ymd.rkt") (lib "gtp-checkup/benchmarks/zordoz/base/typed-zo-structs.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/graph/graph-fns-singlesource-shortestpaths.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/array/array-broadcast.rkt") (lib "gtp-checkup/benchmarks/quadU/typed-worst-case/penalty-struct-adapted.rkt") (lib "gtp-checkup/benchmarks/quadT/typed-worst-case/penalty-struct-adapted.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed-worst-case/benv.rkt") (lib "gtp-checkup/benchmarks/synth/typed-worst-case/array-struct.rkt") (lib "gtp-checkup/benchmarks/suffixtree/base/kcfa-typed.rkt") (lib "gtp-checkup/benchmarks/fsmoo/untyped/utilities.rkt") (lib "gtp-checkup/benchmarks/gregor/base/tzinfo/private/os/windows-registry.rkt") (lib "gtp-checkup/benchmarks/take5/typed/dealer.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/base/base-constants.rkt") (lib "gtp-checkup/benchmarks/gregor/base/cldr/scribblings/cldr-core.scrbl") (lib "gtp-checkup/benchmarks/quadU/untyped/penalty-struct.rkt") (lib "gtp-checkup/benchmarks/quadT/untyped/penalty-struct.rkt") (lib "gtp-checkup/benchmarks/quadU/untyped/sugar-list.rkt") (lib "gtp-checkup/benchmarks/quadT/untyped/sugar-list.rkt") (lib "gtp-checkup/benchmarks/gregor/typed-worst-case/moment-base.rkt") (lib "gtp-checkup/private/count-chaps.rkt") (lib "gtp-checkup/benchmarks/take5/typed-worst-case/stack.rkt") (lib "gtp-checkup/benchmarks/gregor/typed/main.rkt") (lib "gtp-checkup/benchmarks/acquire/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/quadU/untyped/quad-main.rkt") (lib "gtp-checkup/benchmarks/quadT/untyped/quad-main.rkt") (lib "gtp-checkup/benchmarks/quadU/typed/ocm-struct.rkt") (lib "gtp-checkup/benchmarks/quadT/typed/ocm-struct.rkt") (lib "gtp-checkup/benchmarks/synth/untyped/array-utils.rkt") (lib "gtp-checkup/benchmarks/quadU/base/core.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/array/array-comprehension.rkt") (lib "gtp-checkup/benchmarks/gregor/base/tzinfo/zoneinfo.rkt") (lib "gtp-checkup/benchmarks/tetris/typed-worst-case/block.rkt") (lib "gtp-checkup/benchmarks/suffixtree/untyped/main.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/graph/graph-matrix.rkt") (lib "gtp-checkup/benchmarks/take5/typed-worst-case/player-types.rkt") (lib "gtp-checkup/benchmarks/synth/untyped/synth.rkt") (lib "gtp-checkup/benchmarks/acquire/typed/tree.rkt") (lib "gtp-checkup/benchmarks/synth/typed-worst-case/array-broadcast.rkt") (lib "gtp-checkup/benchmarks/acquire/untyped/board.rkt") (lib "gtp-checkup/benchmarks/acquire/untyped/main.rkt") (lib "gtp-checkup/benchmarks/acquire/typed/admin.rkt") (lib "gtp-checkup/benchmarks/sieve/typed-worst-case/streams.rkt") (lib "gtp-checkup/benchmarks/forth/base/command-types.rkt") (lib "gtp-checkup/benchmarks/take5/typed/main.rkt") (lib "gtp-checkup/benchmarks/gregor/untyped/main.rkt") (lib "gtp-checkup/scribblings/gtp-checkup.scrbl") (lib "gtp-checkup/benchmarks/acquire/untyped/admin.rkt") (lib "gtp-checkup/benchmarks/quadU/untyped/utils.rkt") (lib "gtp-checkup/benchmarks/fsm/untyped/automata.rkt") (lib "gtp-checkup/benchmarks/snake/typed/const.rkt") (lib "gtp-checkup/benchmarks/gregor/typed/time.rkt") (lib "gtp-checkup/benchmarks/lnm/base/untyped.rkt") (lib "gtp-checkup/benchmarks/quadU/typed/measure.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/array/typed-array-transform.rkt") (lib "gtp-checkup/benchmarks/tetris/typed/bset.rkt") (lib "gtp-checkup/benchmarks/quadU/untyped/ocm-struct.rkt") (lib "gtp-checkup/benchmarks/quadT/untyped/ocm-struct.rkt") (lib "gtp-checkup/benchmarks/zombie/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/tetris/untyped/data.rkt") (lib "gtp-checkup/data/parse.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/array/array-transform.rkt") (lib "gtp-checkup/benchmarks/dungeon/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/zordoz/untyped/zo-shell.rkt") (lib "gtp-checkup/benchmarks/quadU/untyped/world.rkt") (lib "gtp-checkup/benchmarks/mbta/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/zordoz/untyped/zo-find.rkt") (lib "gtp-checkup/benchmarks/quadU/typed-worst-case/utils.rkt") (lib "gtp-checkup/benchmarks/quadT/typed-worst-case/utils.rkt") (lib "gtp-checkup/benchmarks/quadU/typed-worst-case/hyphenate.rkt") (lib "gtp-checkup/benchmarks/quadT/typed-worst-case/hyphenate.rkt") (lib "gtp-checkup/benchmarks/quadU/untyped/hyphenate.rkt") (lib "gtp-checkup/benchmarks/quadT/untyped/hyphenate.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/bytevectors-6-typed.rkt") (lib "gtp-checkup/benchmarks/quadT/typed/world.rkt") (lib "gtp-checkup/benchmarks/quadU/typed/ocm.rkt") (lib "gtp-checkup/benchmarks/acquire/typed/benchmark-util.rkt") (lib "gtp-checkup/benchmarks/zombie/typed/zombie.rkt") (lib "gtp-checkup/benchmarks/take5/typed/basics-types.rkt") (lib "gtp-checkup/benchmarks/take5/typed-worst-case/dealer.rkt") (lib "gtp-checkup/benchmarks/acquire/typed/player.rkt") (lib "gtp-checkup/benchmarks/tetris/untyped/aux.rkt") (lib "gtp-checkup/benchmarks/forth/untyped/main.rkt") (lib "gtp-checkup/benchmarks/lnm/typed-worst-case/summary-adapted.rkt") (lib "gtp-checkup/benchmarks/acquire/typed/state-adapted.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/queue/priority.rkt") (lib "gtp-checkup/benchmarks/mbta/untyped/run-t.rkt") (lib "gtp-checkup/benchmarks/fsmoo/typed-worst-case/automata.rkt") (lib "gtp-checkup/benchmarks/tetris/typed/block.rkt") (lib "gtp-checkup/benchmarks/take5/typed/player-types.rkt") (lib "gtp-checkup/benchmarks/kcfa/untyped/structs.rkt") (lib "gtp-checkup/benchmarks/morsecode/typed-worst-case/morse-code-table.rkt") (lib "gtp-checkup/benchmarks/dungeon/untyped/utils.rkt") (lib "gtp-checkup/benchmarks/jpeg/typed/main.rkt") (lib "gtp-checkup/benchmarks/zombie/typed/image-adapted.rkt") (lib "gtp-checkup/benchmarks/zordoz/typed-worst-case/zo-string.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed-worst-case/structs.rkt") (lib "gtp-checkup/benchmarks/suffixtree/untyped/structs.rkt") (lib "gtp-checkup/benchmarks/zordoz/typed/zo-string.rkt") (lib "gtp-checkup/benchmarks/jpeg/untyped/main.rkt") (lib "gtp-checkup/benchmarks/quadT/typed/wrap.rkt") (lib "gtp-checkup/benchmarks/quadT/untyped/utils.rkt") (lib "gtp-checkup/benchmarks/fsmoo/typed-worst-case/population-adapted.rkt") (lib "gtp-checkup/benchmarks/acquire/typed/board.rkt") (lib "gtp-checkup/benchmarks/tetris/untyped/consts.rkt") (lib "gtp-checkup/benchmarks/synth/typed-worst-case/array-transform.rkt") (lib "gtp-checkup/benchmarks/quadU/typed/penalty-struct-adapted.rkt") (lib "gtp-checkup/benchmarks/quadT/typed/penalty-struct-adapted.rkt") (lib "gtp-checkup/benchmarks/gregor/base/tzinfo/source.rkt") (lib "gtp-checkup/benchmarks/lnm/typed-worst-case/modulegraph.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/graph/graph-weighted.rkt") (lib "gtp-checkup/benchmarks/lnm/typed/lnm-plot.rkt") (lib "gtp-checkup/benchmarks/fsmoo/typed-worst-case/population.rkt") (lib "gtp-checkup/benchmarks/quadT/typed/main.rkt") (lib "gtp-checkup/main.rkt") (lib "gtp-checkup/benchmarks/lnm/typed/main.rkt") (lib "gtp-checkup/benchmarks/jpeg/typed/bit-ports.rkt") (lib "gtp-checkup/benchmarks/morsecode/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/synth/typed-worst-case/drum.rkt") (lib "gtp-checkup/benchmarks/lnm/untyped/modulegraph.rkt") (lib "gtp-checkup/benchmarks/jpeg/typed/jfif.rkt") (lib "gtp-checkup/benchmarks/suffixtree/typed/data.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed/benv-adapted.rkt") (lib "gtp-checkup/benchmarks/tetris/typed/consts.rkt") (lib "gtp-checkup/benchmarks/zombie/typed-worst-case/image-adapted.rkt") (lib "gtp-checkup/benchmarks/kcfa/untyped/denotable.rkt") (lib "gtp-checkup/benchmarks/gregor/base/tzinfo/private/tzfile-parser.rkt") (lib "gtp-checkup/benchmarks/suffixtree/typed/typed-data.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/graph/graph-fns-maxflow.rkt") (lib "gtp-checkup/benchmarks/acquire/typed-worst-case/board.rkt") (lib "gtp-checkup/benchmarks/zombie/typed-worst-case/image.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/inline-sort.rkt") (lib "gtp-checkup/benchmarks/jpeg/typed-worst-case/jfif.rkt") (lib "gtp-checkup/benchmarks/jpeg/typed-worst-case/exif.rkt") (lib "gtp-checkup/benchmarks/dungeon/untyped/grid.rkt") (lib "gtp-checkup/benchmarks/suffixtree/base/untyped.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/array/typed-utils.rkt") (lib "gtp-checkup/benchmarks/take5/untyped/deck.rkt") (lib "gtp-checkup/benchmarks/fsm/typed-worst-case/automata-adapted.rkt") (lib "gtp-checkup/benchmarks/gregor/typed/clock.rkt") (lib "gtp-checkup/benchmarks/lnm/typed/bitstring.rkt") (lib "gtp-checkup/benchmarks/snake/untyped/main.rkt") (lib "gtp-checkup/benchmarks/snake/untyped/collide.rkt") (lib "gtp-checkup/benchmarks/tetris/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/mbta/typed-worst-case/t-view.rkt") (lib "gtp-checkup/benchmarks/take5/typed-worst-case/basics.rkt") (lib "gtp-checkup/benchmarks/quadT/untyped/world.rkt") (lib "gtp-checkup/benchmarks/synth/untyped/array-broadcast.rkt") (lib "gtp-checkup/benchmarks/take5/typed-worst-case/card-pool.rkt") (lib "gtp-checkup/benchmarks/gregor/typed-worst-case/moment.rkt") (lib "gtp-checkup/benchmarks/acquire/typed/auxiliaries.rkt") (lib "gtp-checkup/benchmarks/synth/untyped/drum.rkt") (lib "gtp-checkup/benchmarks/forth/typed-worst-case/stack.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/array/typed-mutable-array.rkt") (lib "gtp-checkup/benchmarks/gregor/base/tzinfo/private/zoneinfo.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed/denotable-adapted.rkt") (lib "gtp-checkup/benchmarks/acquire/untyped/tree.rkt") (lib "gtp-checkup/benchmarks/quadU/typed/penalty-struct.rkt") (lib "gtp-checkup/benchmarks/quadT/typed/penalty-struct.rkt") (lib "gtp-checkup/benchmarks/gregor/typed/tzinfo-adapter.rkt") (lib "gtp-checkup/benchmarks/suffixtree/untyped/lcs.rkt") (lib "gtp-checkup/benchmarks/dungeon/untyped/message-queue.rkt") (lib "gtp-checkup/benchmarks/forth/base/untyped.rkt") (lib "gtp-checkup/benchmarks/zordoz/typed-worst-case/zo-find.rkt") (lib "gtp-checkup/benchmarks/gregor/base/tzinfo/main.rkt") (lib "gtp-checkup/benchmarks/dungeon/typed/cell.rkt") (lib "gtp-checkup/benchmarks/lnm/typed-worst-case/modulegraph-adapted.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/base/base-random.rkt") (lib "gtp-checkup/benchmarks/jpeg/untyped/exif.rkt") (lib "gtp-checkup/benchmarks/gregor/base/tzinfo/private/tabfile-parser.rkt") (lib "gtp-checkup/benchmarks/quadU/typed-worst-case/ocm.rkt") (lib "gtp-checkup/benchmarks/quadT/typed-worst-case/ocm.rkt") (lib "gtp-checkup/benchmarks/fsmoo/untyped/main.rkt") (lib "gtp-checkup/benchmarks/quadT/typed/measure.rkt") (lib "gtp-checkup/benchmarks/acquire/typed/board-adapted.rkt") (lib "gtp-checkup/benchmarks/zombie/typed/math.rkt") (lib "gtp-checkup/benchmarks/lnm/typed-worst-case/lnm-plot.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/array/array-syntax.rkt") (lib "gtp-checkup/benchmarks/take5/typed-worst-case/basics-types.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/graph/hash-utils.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/array/utils.rkt") (lib "gtp-checkup/benchmarks/gregor/typed/moment-base.rkt") (lib "gtp-checkup/benchmarks/take5/typed/stack-types.rkt") (lib "gtp-checkup/benchmarks/suffixtree/typed-worst-case/ukkonen.rkt") (lib "gtp-checkup/benchmarks/fsm/untyped/population.rkt") (lib "gtp-checkup/benchmarks/jpeg/typed/huffman.rkt") (lib "gtp-checkup/benchmarks/fsmoo/typed/automata-adapted.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed-worst-case/structs-adapted.rkt") (lib "gtp-checkup/benchmarks/fsmoo/typed/main.rkt") (lib "gtp-checkup/benchmarks/gregor/typed-worst-case/date.rkt") (lib "gtp-checkup/benchmarks/snake/typed-worst-case/collide.rkt") (lib "gtp-checkup/benchmarks/suffixtree/typed-worst-case/data.rkt") (lib "gtp-checkup/benchmarks/dungeon/typed/main.rkt") (lib "gtp-checkup/benchmarks/gregor/untyped/moment-base.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed/time.rkt") (lib "gtp-checkup/benchmarks/zordoz/untyped/main.rkt") (lib "gtp-checkup/benchmarks/take5/typed-worst-case/dealer-types.rkt") (lib "gtp-checkup/benchmarks/synth/untyped/data.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed/structs.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed-worst-case/denotable.rkt") (lib "gtp-checkup/benchmarks/snake/typed-worst-case/data.rkt") (lib "gtp-checkup/benchmarks/forth/untyped/command.rkt") (lib "gtp-checkup/benchmarks/lnm/typed/spreadsheet.rkt") (lib "gtp-checkup/benchmarks/gregor/typed/hmsn.rkt") (lib "gtp-checkup/benchmarks/mbta/base/t-view-types.rkt") (lib "gtp-checkup/benchmarks/fsm/typed/main.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed/structs-adapted.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed-worst-case/benv-adapted.rkt") (lib "gtp-checkup/benchmarks/jpeg/untyped/jfif.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/array/for-each.rkt") (lib "gtp-checkup/benchmarks/snake/typed/main.rkt") (lib "gtp-checkup/benchmarks/snake/typed/data-adaptor.rkt") (lib "gtp-checkup/benchmarks/gregor/typed/date.rkt") (lib "gtp-checkup/benchmarks/suffixtree/typed/lcs.rkt") (lib "gtp-checkup/benchmarks/acquire/untyped/basics.rkt") (lib "gtp-checkup/benchmarks/suffixtree/typed/structs.rkt") (lib "gtp-checkup/benchmarks/take5/typed/card-pool-types.rkt") (lib "gtp-checkup/benchmarks/quadU/typed-worst-case/quad-main.rkt") (lib "gtp-checkup/benchmarks/quadT/typed-worst-case/quad-main.rkt") (lib "gtp-checkup/benchmarks/quadU/untyped/ocm.rkt") (lib "gtp-checkup/benchmarks/morsecode/untyped/levenshtein.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/array/array-struct.rkt") (lib "gtp-checkup/benchmarks/tetris/typed/base-types.rkt") (lib "gtp-checkup/benchmarks/snake/untyped/cut-tail.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed-worst-case/ui.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed-worst-case/ai.rkt") (lib "gtp-checkup/benchmarks/acquire/typed-worst-case/benchmark-util.rkt") (lib "gtp-checkup/benchmarks/gregor/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/mbta/base/untyped.rkt") (lib "gtp-checkup/benchmarks/forth/typed/command.rkt") (lib "gtp-checkup/benchmarks/sieve/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/quadU/base/csp/csp.rkt") (lib "gtp-checkup/benchmarks/snake/typed-worst-case/motion-help.rkt") (lib "gtp-checkup/benchmarks/gregor/base/cldr/likely-subtags.rkt") (lib "gtp-checkup/benchmarks/synth/typed/main.rkt") (lib "gtp-checkup/benchmarks/gregor/typed-worst-case/gregor-structs.rkt") (lib "gtp-checkup/benchmarks/tetris/typed-worst-case/elim.rkt") (lib "gtp-checkup/benchmarks/gregor/typed-worst-case/core-structs.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed-worst-case/time.rkt") (lib "gtp-checkup/benchmarks/synth/typed-worst-case/synth.rkt") (lib "gtp-checkup/benchmarks/synth/typed/drum.rkt") (lib "gtp-checkup/benchmarks/gregor/typed-worst-case/ymd.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/utils.rkt") (lib "gtp-checkup/benchmarks/gregor/untyped/ymd.rkt") (lib "gtp-checkup/benchmarks/fsm/typed-worst-case/population.rkt") (lib "gtp-checkup/benchmarks/quadU/typed-worst-case/quick-sample.rkt") (lib "gtp-checkup/benchmarks/quadT/typed-worst-case/quick-sample.rkt") (lib "gtp-checkup/benchmarks/synth/untyped/mixer.rkt") (lib "gtp-checkup/benchmarks/acquire/typed/state.rkt") (lib "gtp-checkup/benchmarks/lnm/typed/summary-adapted.rkt") (lib "gtp-checkup/benchmarks/quadU/base/untyped.rkt") (lib "gtp-checkup/benchmarks/tetris/typed/aux.rkt") (lib "gtp-checkup/benchmarks/take5/untyped/dealer.rkt") (lib "gtp-checkup/benchmarks/quadU/typed/quad-main.rkt") (lib "gtp-checkup/benchmarks/quadT/typed/quad-main.rkt") (lib "gtp-checkup/benchmarks/take5/typed/dealer-types.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/graph/main.rkt") (lib "gtp-checkup/benchmarks/suffixtree/typed-worst-case/label.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/graph/graph.scrbl") (lib "gtp-checkup/benchmarks/jpeg/typed/exif.rkt") (lib "gtp-checkup/benchmarks/forth/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/quadU/typed-worst-case/quads.rkt") (lib "gtp-checkup/benchmarks/quadT/typed-worst-case/quads.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/unsafe.rkt") (lib "gtp-checkup/benchmarks/mbta/typed-worst-case/t-graph.rkt") (lib "gtp-checkup/benchmarks/morsecode/untyped/morse-code-strings.rkt") (lib "gtp-checkup/benchmarks/zordoz/base/compiler-zo-structs.rkt") (lib "gtp-checkup/benchmarks/suffixtree/untyped/data.rkt") (lib "gtp-checkup/benchmarks/quadT/base/csp/csp.rkt") (lib "gtp-checkup/benchmarks/gregor/typed-worst-case/tzinfo-adapter.rkt") (lib "gtp-checkup/benchmarks/take5/typed-worst-case/card-pool-types.rkt") (lib "gtp-checkup/benchmarks/gregor/typed-worst-case/gregor-adapter.rkt") (lib "gtp-checkup/benchmarks/tetris/typed-worst-case/consts.rkt") (lib "gtp-checkup/benchmarks/snake/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/quadT/untyped/render.rkt") (lib "gtp-checkup/benchmarks/forth/typed-worst-case/command.rkt") (lib "gtp-checkup/benchmarks/acquire/typed-worst-case/state-adapted.rkt") (lib "gtp-checkup/benchmarks/dungeon/typed-worst-case/message-queue.rkt") (lib "gtp-checkup/benchmarks/quadU/untyped/quick-sample.rkt") (lib "gtp-checkup/benchmarks/quadT/untyped/quick-sample.rkt") (lib "gtp-checkup/benchmarks/tetris/untyped/elim.rkt") (lib "gtp-checkup/benchmarks/gregor/typed/difference.rkt") (lib "gtp-checkup/benchmarks/quadU/typed/utils.rkt") (lib "gtp-checkup/benchmarks/gregor/base/cldr/core.rkt") (lib "gtp-checkup/nightly.rkt") (lib "gtp-checkup/benchmarks/snake/untyped/data.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/graph/gen-graph.rkt") (lib "gtp-checkup/benchmarks/tetris/untyped/main.rkt") (lib "gtp-checkup/benchmarks/jpeg/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/snake/typed-worst-case/handlers.rkt") (lib "gtp-checkup/benchmarks/fsmoo/typed-worst-case/automata-adapted.rkt") (lib "gtp-checkup/benchmarks/synth/untyped/array-struct.rkt") (lib "gtp-checkup/benchmarks/dungeon/base/un-types.rkt") (lib "gtp-checkup/benchmarks/tetris/typed-worst-case/base-types.rkt") (lib "gtp-checkup/benchmarks/acquire/untyped/state.rkt") (lib "gtp-checkup/benchmarks/mbta/base/graph/graph/graph-fns-minspantree.rkt") (lib "gtp-checkup/benchmarks/take5/typed/card.rkt") (lib "gtp-checkup/benchmarks/synth/typed/mixer.rkt") (lib "gtp-checkup/benchmarks/take5/typed/basics.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/untyped.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed/time-adapted.rkt") (lib "gtp-checkup/benchmarks/gregor/untyped/difference.rkt") (lib "gtp-checkup/benchmarks/zordoz/typed/zo-shell.rkt") (lib "gtp-checkup/benchmarks/quadU/typed-worst-case/sugar-list.rkt") (lib "gtp-checkup/benchmarks/quadT/typed-worst-case/sugar-list.rkt") (lib "gtp-checkup/benchmarks/zombie/typed-worst-case/zombie.rkt") (lib "gtp-checkup/benchmarks/synth/typed-worst-case/array-utils.rkt") (lib "gtp-checkup/benchmarks/quadU/typed-worst-case/wrap.rkt") (lib "gtp-checkup/benchmarks/quadT/typed-worst-case/wrap.rkt") (lib "gtp-checkup/benchmarks/gregor/typed/offset-resolvers.rkt") (lib "gtp-checkup/benchmarks/snake/typed/data.rkt") (lib "gtp-checkup/benchmarks/zordoz/typed-worst-case/main.rkt") (lib "gtp-checkup/benchmarks/kcfa/typed/benv.rkt") (lib "gtp-checkup/benchmarks/tetris/typed/main.rkt") (lib "gtp-checkup/benchmarks/kcfa/untyped/ui.rkt") (lib "gtp-checkup/benchmarks/kcfa/untyped/ai.rkt") (lib "gtp-checkup/benchmarks/lnm/typed/modulegraph-adapted.rkt") (lib "gtp-checkup/benchmarks/suffixtree/typed-worst-case/typed-data.rkt") (lib "gtp-checkup/benchmarks/zordoz/typed/main.rkt") (lib "gtp-checkup/benchmarks/sieve/typed/main.rkt") (lib "gtp-checkup/benchmarks/quadT/typed/render.rkt") (lib "gtp-checkup/benchmarks/take5/typed-worst-case/deck-types.rkt") (lib "gtp-checkup/benchmarks/acquire/typed/tree-adapted.rkt") (lib "gtp-checkup/benchmarks/lnm/typed/summary.rkt") (lib "gtp-checkup/benchmarks/fsmoo/typed-worst-case/utilities.rkt") (lib "gtp-checkup/benchmarks/forth/base/make-history.rkt") (lib "gtp-checkup/benchmarks/snake/typed-worst-case/const.rkt") (lib "gtp-checkup/benchmarks/acquire/untyped/strategy.rkt") (lib "gtp-checkup/benchmarks/snake/untyped/motion.rkt") (lib "gtp-checkup/benchmarks/quadU/typed/world.rkt") (lib "gtp-checkup/benchmarks/morsecode/base/untyped.rkt") (lib "gtp-checkup/benchmarks/gregor/base/tzinfo/private/generics.rkt") (lib "gtp-checkup/benchmarks/snake/typed/motion.rkt") (lib "gtp-checkup/benchmarks/gregor/untyped/gregor-structs.rkt") (lib "gtp-checkup/benchmarks/sieve/typed/streams.rkt") (lib "gtp-checkup/benchmarks/mbta/base/my-graph.rkt") (lib "gtp-checkup/benchmarks/tetris/typed-worst-case/tetras.rkt") (lib "gtp-checkup/benchmarks/synth/typed/array-utils.rkt") (lib "gtp-checkup/benchmarks/snake/typed/cut-tail.rkt") (lib "gtp-checkup/benchmarks/jpeg/base/math/private/array/array-sequence.rkt") (lib "gtp-checkup/benchmarks/gregor/untyped/time.rkt") (lib "gtp-checkup/benchmarks/acquire/typed-worst-case/basics.rkt") (lib "gtp-checkup/benchmarks/fsmoo/base/untyped.rkt") (lib "gtp-checkup/benchmarks/quadT/typed/utils.rkt") (lib "gtp-checkup/benchmarks/zordoz/typed-worst-case/zo-shell.rkt") (lib "gtp-checkup/benchmarks/gregor/typed-worst-case/difference.rkt") (lib "gtp-checkup/benchmarks/gregor/untyped/core-structs.rkt") (lib "gtp-checkup/benchmarks/take5/typed/card-adapted.rkt") (lib "gtp-checkup/benchmarks/kcfa/untyped/main.rkt"))) (name . "gtp-checkup") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/gtp-checkup.zip") (tags . ("tests" "typed-racket"))) 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 pkg: catalog response: #hash((author . "william@hatch.uno willghatch@gmail.com") (checksum . "029953046e93affde52b26a1cecbcee482fab9f5") (dependencies . (("base") ("scribble-lib") ("racket-doc"))) (description . "XDG Basedir Spec library") (modules . ((lib "basedir/basedir.scrbl") (lib "basedir/main.rkt"))) (name . "basedir") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/basedir.zip") (tags . ("configuration"))) pkg: catalog response: #hash((author . "zeppieri@gmail.com") (checksum . "5438b159fa040484b96f17deaff4a218894c942a") (dependencies . (("gregor-lib") ("gregor-doc") ("base"))) (description . "Date and time library") (modules . ()) (name . "gregor") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/gregor.zip") (tags . ("calendar" "date" "time"))) pkg: catalog response: #hash((author . "types@ccs.neu.edu") (checksum . "495319baf56c2a4878334de4b059137f61e0211a") (dependencies . (("base") ("math-lib") ("pict-lib") ("rackunit-lib") ("racket-doc") ("scribble-lib") ("scribble-doc") ("rackunit-abbrevs") ("pict-doc"))) (description . "37 helper functions you won't find anywhere else") (modules . ((lib "gtp-util/system.rkt") (lib "gtp-util/scribblings/gtp-util.scrbl") (lib "gtp-util/main.rkt"))) (name . "gtp-util") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/gtp-util.zip") (tags . ("gtp" "util"))) pkg: catalog response: #hash((author . "clements@racket-lang.org dherman@mozilla.com") (checksum . "51aae8fc61c3c4c04efc5e3d2a3b76ad27397903") (dependencies . (("memoize-lib") ("memoize-doc") ("memoize-test"))) (description . "Memoization for functions") (modules . ()) (name . "memoize") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/memoize.zip") (tags . ("memoization"))) pkg: catalog response: #hash((author . "types@ccs.neu.edu") (checksum . "ebf7d661d9d2e19d0359758f3b0197dfef84357b") (dependencies . (("base") ("typed-racket-lib") ("typed-racket-more") ("scribble-lib") ("racket-doc") ("rackunit-lib") ("typed-racket-doc"))) (description . "require/typed, but skips contracts on already-typed imports") (modules . ((lib "require-typed-check/test/fsm/population.rkt") (lib "require-typed-check/private/stxcls.rkt") (lib "require-typed-check/test/fsm/main.rkt") (lib "require-typed-check/test/basic/optional-lib.rkt") (lib "require-typed-check/test/bogus/main.rkt") (lib "require-typed-check/logging.rkt") (lib "require-typed-check/main.rkt") (lib "require-typed-check/deep.rkt") (lib "require-typed-check/scribblings/require-typed-check.scrbl") (lib "require-typed-check/test/opaque/unsafe.rkt") (lib "require-typed-check/test/fsm/automata.rkt") (lib "require-typed-check/test/opaque/main.rkt") (lib "require-typed-check/test/opaque/optional.rkt") (lib "require-typed-check/private/log.rkt") (lib "require-typed-check/private/require-typed-check.rkt") (lib "require-typed-check/test/basic/deep.rkt") (lib "require-typed-check/test/opaque/untyped.rkt") (lib "require-typed-check/optional.rkt") (lib "require-typed-check/test/opaque/typed.rkt") (lib "require-typed-check/test/basic/main.rkt") (lib "require-typed-check/test/basic/unsafe.rkt") (lib "require-typed-check/test/pr/3.rkt") (lib "require-typed-check/test/opaque/shallow.rkt") (lib "require-typed-check/test/bogus/typed.rkt") (lib "require-typed-check/test/fsm/utilities.rkt") (lib "require-typed-check/test/pr/1.rkt") (lib "require-typed-check/test/basic/shallow-lib.rkt") (lib "require-typed-check/test/basic/untyped.rkt") (lib "require-typed-check/private/test-util.rkt") (lib "require-typed-check/shallow.rkt") (lib "require-typed-check/test/fsm/automata-adapted.rkt") (lib "require-typed-check/test/basic/shallow.rkt") (lib "require-typed-check/unsafe.rkt") (lib "require-typed-check/test/basic/typed.rkt") (lib "require-typed-check/test/submodule/main.rkt") (lib "require-typed-check/private/typed-lib-cache.rkt") (lib "require-typed-check/test/basic/optional.rkt"))) (name . "require-typed-check") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/require-typed-check.zip") (tags . ("contracts" "require" "typed-racket"))) pkg: catalog response: #hash((author . "types@ccs.neu.edu") (checksum . "1f356d13d9c1d2f1bbed038d99dc19c1e5d6f033") (dependencies . (("base") ("pict-lib") ("lang-file") ("draw-lib") ("slideshow-lib") ("ppict") ("rackunit-lib") ("racket-doc") ("scribble-doc") ("gui-doc") ("pict-doc") ("draw-doc") ("plot-doc") ("plot-lib") ("scribble-lib") ("slideshow-doc"))) (description . "Pict helper functions") (modules . ((lib "pict-abbrevs/private/pict-abbrevs.rkt") (lib "pict-abbrevs/pplay.rkt") (lib "pict-abbrevs/slideshow.rkt") (lib "pict-abbrevs/scribblings/pict-abbrevs.scrbl") (lib "pict-abbrevs/main.rkt") (lib "pict-abbrevs/private/raco.rkt") (lib "pict-abbrevs/private/slideshow.rkt"))) (name . "pict-abbrevs") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/pict-abbrevs.zip") (tags . ("pict" "util"))) 00: Resolved "gregor-lib" via file:///home/root//catalogs/built/catalog Resolved "gregor-doc" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "zeppieri@gmail.com") (checksum . "11a3d0ce9d4aba90179fc6a0f6148c6c54ab7872") (dependencies . (("base") ("data-lib") ("memoize-lib") ("parser-tools-lib") ("tzinfo") ("cldr-core") ("cldr-bcp47") ("cldr-numbers-modern") ("cldr-dates-modern") ("cldr-localenames-modern"))) (description . "Code part of the gregor date and time library") (modules . ((lib "gregor/private/pattern/l10n/numbers.rkt") (lib "gregor/private/period.rkt") (lib "gregor/private/pattern/l10n/zone-util.rkt") (lib "gregor/private/pattern/ast/era.rkt") (lib "gregor/private/pattern/ast/second.rkt") (lib "gregor/private/pattern/l10n/gmt-offset.rkt") (lib "gregor/private/pattern/ast/hour.rkt") (lib "gregor/private/pattern/ast/minute.rkt") (lib "gregor/private/pattern/l10n/named-trie.rkt") (lib "gregor/private/core/compare.rkt") (lib "gregor/private/pattern/ast/week.rkt") (lib "gregor/private/iso8601-parse.rkt") (lib "gregor/main.rkt") (lib "gregor/private/pattern/l10n/l10n-week.rkt") (lib "gregor/private/pattern/l10n/iso-offset.rkt") (lib "gregor/private/pattern/l10n/trie.rkt") (lib "gregor/private/exn.rkt") (lib "gregor/private/pattern/l10n/zone-id.rkt") (lib "gregor/time.rkt") (lib "gregor/private/pattern/lexer.rkt") (lib "gregor/private/clock.rkt") (lib "gregor/private/pattern/l10n/zone-loc.rkt") (lib "gregor/private/pattern/ast.rkt") (lib "gregor/private/pattern/l10n/symbols.rkt") (lib "gregor/private/pattern/ast/year.rkt") (lib "gregor/private/pattern/ast/zone.rkt") (lib "gregor/private/pattern/parse-state.rkt") (lib "gregor/private/pattern/ast/literal.rkt") (lib "gregor/private/difference.rkt") (lib "gregor/private/core/math.rkt") (lib "gregor/private/pattern/ast/month.rkt") (lib "gregor/private/time.rkt") (lib "gregor/private/pattern/ast/period.rkt") (lib "gregor/private/pattern/ast/weekday.rkt") (lib "gregor/private/datetime.rkt") (lib "gregor/private/moment-base.rkt") (lib "gregor/private/pattern/ast/day.rkt") (lib "gregor/private/parse.rkt") (lib "gregor/private/date.rkt") (lib "gregor/private/moment.rkt") (lib "gregor/private/format.rkt") (lib "gregor/private/pattern/l10n/zone-nonloc.rkt") (lib "gregor/private/generics.rkt") (lib "gregor/period.rkt") (lib "gregor/private/pattern/ast/separator.rkt") (lib "gregor/private/core/structs.rkt") (lib "gregor/private/core/hmsn.rkt") (lib "gregor/private/pattern/l10n/metazone.rkt") (lib "gregor/private/pattern/ast/quarter.rkt") (lib "gregor/private/core/ymd.rkt") (lib "gregor/private/offset-resolvers.rkt"))) (name . "gregor-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/gregor-lib.zip") (tags . ("calendar" "date" "time"))) pkg: catalog response: #hash((author . "zeppieri@gmail.com") (checksum . "5d83037f34a2ea195449421053ad83221723b8f6") (dependencies . (("base") ("base") ("racket-doc") ("data-doc") ("data-lib") ("gregor-lib") ("scribble-lib") ("sandbox-lib") ("tzinfo"))) (description . "Documentation part of gregor library") (modules . ((lib "gregor/scribblings/datetime.scrbl") (lib "gregor/scribblings/datetime-provider.scrbl") (lib "gregor/scribblings/gregor.scrbl") (lib "gregor/scribblings/timezone.scrbl") (lib "gregor/scribblings/time.scrbl") (lib "gregor/scribblings/date-provider.scrbl") (lib "gregor/scribblings/format.scrbl") (lib "gregor/scribblings/clock.scrbl") (lib "gregor/scribblings/time-arithmetic-provider.scrbl") (lib "gregor/scribblings/moment-provider.scrbl") (lib "gregor/scribblings/datetime-arithmetic-provider.scrbl") (lib "gregor/scribblings/moment.scrbl") (lib "gregor/scribblings/date-arithmetic-provider.scrbl") (lib "gregor/scribblings/period.scrbl") (lib "gregor/scribblings/date.scrbl") (lib "gregor/scribblings/query.scrbl") (lib "gregor/scribblings/exceptions.scrbl") (lib "gregor/scribblings/time-provider.scrbl"))) (name . "gregor-doc") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/gregor-doc.zip") (tags . ("calendar" "date" "time"))) 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 pkg: catalog response: #hash((author . "clements@racket-lang.org dherman@mozilla.com") (checksum . "2ba4cae2aea78890ce3b225627810eb61ca1d77b") (dependencies . (("base") ("rackunit-lib"))) (description . "core library for memoize") (modules . ((lib "memoize/main.rkt"))) (name . "memoize-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/memoize-lib.zip") (tags . ("memoization"))) pkg: catalog response: #hash((author . "zeppieri@gmail.com") (checksum . "915023b10cdd7f5356f4e9a9f4297de94f0b2475") (dependencies . (("base") ("cldr-core") ("rackunit-lib") ("tzdata" #:version "0.5" #:platform windows) ("racket-doc") ("scribble-lib"))) (description . "API for querying the IANA tz database") (modules . ((lib "tzinfo/zoneinfo.rkt") (lib "tzinfo/private/os/env.rkt") (lib "tzinfo/private/os/unix.rkt") (lib "tzinfo/private/tabfile-parser.rkt") (lib "tzinfo/main.rkt") (lib "tzinfo/source.rkt") (lib "tzinfo/private/zoneinfo-search.rkt") (lib "tzinfo/private/tzfile-parser.rkt") (lib "tzinfo/private/os/windows.rkt") (lib "tzinfo/private/zoneinfo.rkt") (lib "tzinfo/private/structs.rkt") (lib "tzinfo/test/zoneinfo.rkt") (lib "tzinfo/private/os/windows-registry.rkt") (lib "tzinfo/private/generics.rkt") (lib "tzinfo/scribblings/tzinfo.scrbl"))) (name . "tzinfo") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/tzinfo.zip") (tags . ("timezone"))) pkg: catalog response: #hash((author . "zeppieri@gmail.com") (checksum . "f85834f93a13fd28ba587b2544766c7b663d39b2") (dependencies . (("base") ("memoize-lib") ("racket-doc") ("scribble-lib"))) (description . "API for cldr-core data set") (modules . ((lib "cldr/file.rkt") (lib "cldr/likely-subtags.rkt") (lib "cldr/core.rkt") (lib "cldr/scribblings/cldr-core.scrbl"))) (name . "cldr-core") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/cldr-core.zip") (tags . ("cldr" "l10n"))) pkg: catalog response: #hash((author . "zeppieri@gmail.com") (checksum . "432739e1619de0675fa54a77d2d13c400e506675") (dependencies . (("base") ("cldr-core") ("scribble-lib") ("racket-doc"))) (description . "API for BCP47 extensions to CLDR") (modules . ((lib "cldr/bcp47/timezone.rkt") (lib "cldr/bcp47/scribblings/cldr-bcp47-timezone.scrbl"))) (name . "cldr-bcp47") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/cldr-bcp47.zip") (tags . ("cldr" "l10n"))) pkg: catalog response: #hash((author . "zeppieri@gmail.com") (checksum . "034db467e34a7d54acdd285d827b3f05bcc4c482") (dependencies . (("base") ("cldr-core") ("scribble-lib") ("racket-doc"))) (description . "API for cldr-numbers-modern data set") (modules . ((lib "cldr/scribblings/cldr-numbers-modern.scrbl") (lib "cldr/numbers-modern.rkt"))) (name . "cldr-numbers-modern") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/cldr-numbers-modern.zip") (tags . ("cldr" "l10n"))) pkg: catalog response: #hash((author . "zeppieri@gmail.com") (checksum . "2a2c4ec06f0984ee58b03d3e173be9f15f9f61b1") (dependencies . (("base") ("cldr-core") ("scribble-lib") ("racket-doc"))) (description . "API for cldr-dates-modern data set") (modules . ((lib "cldr/dates-modern.rkt") (lib "cldr/scribblings/cldr-dates-modern.scrbl"))) (name . "cldr-dates-modern") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/cldr-dates-modern.zip") (tags . ("cldr" "l10n"))) pkg: catalog response: #hash((author . "zeppieri@gmail.com") (checksum . "5f475348970ae76cac1ae9c5631043258aa987f7") (dependencies . (("base") ("cldr-core") ("scribble-lib") ("racket-doc"))) (description . "API for cldr-localenames-modern data set") (modules . ((lib "cldr/scribblings/cldr-localenames-modern.scrbl") (lib "cldr/localenames-modern.rkt"))) (name . "cldr-localenames-modern") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/cldr-localenames-modern.zip") (tags . ("cldr" "l10n"))) Resolved "rackunit-abbrevs" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "types@ccs.neu.edu") (checksum . "d7172f0d3f70092be16110af9c68e5a3f7323d6f") (dependencies . (("base") ("rackunit-lib") ("typed-racket-lib") ("typed-racket-more") ("scribble-lib") ("racket-doc") ("rackunit-lib"))) (description . "Iterated RackUnit tests") (modules . ((lib "rackunit-abbrevs/main.rkt") (lib "rackunit-abbrevs/private/typed-rackunit-abbrevs.rkt") (lib "rackunit-abbrevs/typed.rkt") (lib "rackunit-abbrevs/private/test-typed-rackunit-abbrevs.rkt") (lib "rackunit-abbrevs/private/error-reporting.rkt") (lib "rackunit-abbrevs/private/test-rackunit-abbrevs.rkt") (lib "rackunit-abbrevs/private/test-syntax-error.rkt") (lib "rackunit-abbrevs/private/rackunit-abbrevs.rkt") (lib "rackunit-abbrevs/error-reporting.rkt") (lib "rackunit-abbrevs/scribblings/rackunit-abbrevs.scrbl"))) (name . "rackunit-abbrevs") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/rackunit-abbrevs.zip") (tags . ("rackunit" "testing"))) 00: Resolved "memoize-doc" via file:///home/root//catalogs/built/catalog Resolved "memoize-test" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "clements@racket-lang.org") (checksum . "5f9d7ed90ef1872fb4661b3f884c5a091701c1ed") (dependencies . (("base") ("rackunit-lib") ("scribble-lib") ("racket-doc") ("memoize-lib"))) (description . "documentation for memoize library") (modules . ()) (name . "memoize-doc") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/memoize-doc.zip") (tags . ("memoization"))) pkg: catalog response: #hash((author . "clements@racket-lang.org") (checksum . "062bfcf45dca123b2e4b18fd556bc7289676a565") (dependencies . (("base") ("rackunit-lib") ("memoize-lib"))) (description . "testing code for memoize \r\n... bogus change to refresh checksum?") (modules . ((lib "memoize/private/tests.rkt"))) (name . "memoize-test") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/memoize-test.zip") (tags . ("memoization"))) 00: Resolved "lang-file" via file:///home/root//catalogs/built/catalog Resolved "ppict" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "alexander@knauth.org") (checksum . "d3d03c38c21717ffce27bea3c364b2d0cf18cc36") (dependencies . (("base") ("lang-file-lib") ("rackunit-lib") ("scribble-lib") ("racket-doc"))) (description . "Functions for dealing with #lang files") (modules . ((lib "lang-file/scribblings/read-lang-file.scrbl"))) (name . "lang-file") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/lang-file.zip") (tags . ("file" "lang"))) pkg: catalog response: #hash((author . "ryanc@racket-lang.org") (checksum . "8782693b614eb5a94682c1ce2ad65d9401e8b78b") (dependencies . (("base") ("draw-lib") ("gui-lib") ("pict-lib") ("slideshow-lib") ("racket-doc") ("scribble-lib") ("pict-doc") ("slideshow-doc"))) (description . "progressive picts and slideshows") (modules . ((lib "ppict/ppict.scrbl") (lib "ppict/slideshow2.rkt") (lib "ppict/main.rkt") (lib "ppict/private/ppict.rkt") (lib "ppict/private/ppict-syntax.rkt") (lib "ppict/private/tag-pict-regions-gui.rkt") (lib "ppict/align.rkt") (lib "ppict/private/tag-pict.rkt") (lib "ppict/2.rkt") (lib "ppict/slideshow.rkt") (lib "ppict/tag.rkt") (lib "ppict/pict.rkt"))) (name . "ppict") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/ppict.zip") (tags . ("graphics" "slideshow"))) Resolved "lang-file-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "alexander@knauth.org") (checksum . "6ba5b293253fc177cf92afbd479f16b933fab5b6") (dependencies . (("base") ("rackunit-lib"))) (description . "Functions for dealing with #lang files") (modules . ((lib "lang-file/test/literal.rkt") (lib "lang-file/test/tuvalu.rkt") (lib "lang-file/read-lang-file.rkt") (lib "lang-file/test/interp.rkt"))) (name . "lang-file-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/lang-file-lib.zip") (tags . ("file" "lang"))) pkg: creating link to # pkg: updating db with "lang-file-lib" to '#s(pkg-info (catalog "lang-file-lib") "6ba5b293253fc177cf92afbd479f16b933fab5b6" #t) pkg: creating single-collection link to # pkg: updating db with "ppict" to '#s((sc-pkg-info pkg-info 3) (catalog "ppict") "8782693b614eb5a94682c1ce2ad65d9401e8b78b" #t "ppict") pkg: creating single-collection link to # pkg: updating db with "gtp-checkup" to '#s((sc-pkg-info pkg-info 3) (catalog "gtp-checkup") "e031867380fe5b25960e2f3a859c177706c3f794" #f "gtp-checkup") pkg: creating single-collection link to # pkg: updating db with "basedir" to '#s((sc-pkg-info pkg-info 3) (catalog "basedir") "029953046e93affde52b26a1cecbcee482fab9f5" #t "basedir") pkg: creating link to # pkg: updating db with "gregor" to '#s(pkg-info (catalog "gregor") "5438b159fa040484b96f17deaff4a218894c942a" #t) pkg: creating link to # pkg: updating db with "gregor-lib" to '#s(pkg-info (catalog "gregor-lib") "11a3d0ce9d4aba90179fc6a0f6148c6c54ab7872" #t) pkg: creating link to # pkg: updating db with "memoize-lib" to '#s(pkg-info (catalog "memoize-lib") "2ba4cae2aea78890ce3b225627810eb61ca1d77b" #t) pkg: creating link to # pkg: updating db with "tzinfo" to '#s(pkg-info (catalog "tzinfo") "915023b10cdd7f5356f4e9a9f4297de94f0b2475" #t) pkg: creating link to # pkg: updating db with "cldr-core" to '#s(pkg-info (catalog "cldr-core") "f85834f93a13fd28ba587b2544766c7b663d39b2" #t) pkg: creating link to # pkg: updating db with "cldr-bcp47" to '#s(pkg-info (catalog "cldr-bcp47") "432739e1619de0675fa54a77d2d13c400e506675" #t) pkg: creating link to # pkg: updating db with "cldr-numbers-modern" to '#s(pkg-info (catalog "cldr-numbers-modern") "034db467e34a7d54acdd285d827b3f05bcc4c482" #t) pkg: creating link to # pkg: updating db with "cldr-dates-modern" to '#s(pkg-info (catalog "cldr-dates-modern") "2a2c4ec06f0984ee58b03d3e173be9f15f9f61b1" #t) pkg: creating link to # pkg: updating db with "cldr-localenames-modern" to '#s(pkg-info (catalog "cldr-localenames-modern") "5f475348970ae76cac1ae9c5631043258aa987f7" #t) pkg: creating link to # pkg: updating db with "gregor-doc" to '#s(pkg-info (catalog "gregor-doc") "5d83037f34a2ea195449421053ad83221723b8f6" #t) pkg: creating single-collection link to # pkg: updating db with "gtp-util" to '#s((sc-pkg-info pkg-info 3) (catalog "gtp-util") "495319baf56c2a4878334de4b059137f61e0211a" #t "gtp-util") pkg: creating single-collection link to # pkg: updating db with "rackunit-abbrevs" to '#s((sc-pkg-info pkg-info 3) (catalog "rackunit-abbrevs") "d7172f0d3f70092be16110af9c68e5a3f7323d6f" #t "rackunit-abbrevs") pkg: creating link to # pkg: updating db with "memoize" to '#s(pkg-info (catalog "memoize") "51aae8fc61c3c4c04efc5e3d2a3b76ad27397903" #t) pkg: creating link to # pkg: updating db with "memoize-doc" to '#s(pkg-info (catalog "memoize-doc") "5f9d7ed90ef1872fb4661b3f884c5a091701c1ed" #t) pkg: creating link to # pkg: updating db with "memoize-test" to '#s(pkg-info (catalog "memoize-test") "062bfcf45dca123b2e4b18fd556bc7289676a565" #t) pkg: creating single-collection link to # pkg: updating db with "require-typed-check" to '#s((sc-pkg-info pkg-info 3) (catalog "require-typed-check") "ebf7d661d9d2e19d0359758f3b0197dfef84357b" #t "require-typed-check") pkg: creating single-collection link to # pkg: updating db with "pict-abbrevs" to '#s((sc-pkg-info pkg-info 3) (catalog "pict-abbrevs") "1f356d13d9c1d2f1bbed038d99dc19c1e5d6f033" #t "pict-abbrevs") pkg: creating link to # pkg: updating db with "lang-file" to '#s(pkg-info (catalog "lang-file") "d3d03c38c21717ffce27bea3c364b2d0cf18cc36" #t) 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: 8.12 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 8.12 raco setup: variants: cs raco setup: main collects: /home/root/racket/collects/ raco setup: collects paths: raco setup: /home/root/user/.local/share/racket/8.12/collects raco setup: /home/root/racket/collects/ raco setup: main pkgs: /home/root/racket/share/pkgs raco setup: pkgs paths: raco setup: /home/root/racket/share/pkgs raco setup: /home/root//user/.local/share/racket/8.12/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.12/links.rktd raco setup: compiled-file roots: raco setup: /home/root//zo raco setup: same raco setup: main docs: /home/root/racket/doc raco setup: --- updating info-domain tables --- [1:10:52] raco setup: updating: /home/root/user/.local/share/racket/8.12/share/info-cache.rktd raco setup: --- pre-installing collections --- [1:10:52] raco setup: --- installing foreign libraries --- [1:10:52] raco setup: --- installing shared files --- [1:10:52] raco setup: --- compiling collections --- [1:10:52] raco setup: --- parallel build using 2 jobs --- [1:10:52] raco setup: 1 making: /basedir raco setup: 0 making: /cldr-bcp47/cldr raco setup: 0 making: /cldr-bcp47/cldr/bcp47 raco setup: 0 making: /cldr-bcp47/cldr/bcp47/data raco setup: 0 making: /cldr-bcp47/cldr/bcp47/scribblings raco setup: 0 making: /cldr-core/cldr raco setup: 1 making: /cldr-dates-modern/cldr raco setup: 1 making: /cldr-dates-modern/cldr/data raco setup: 0 making: /cldr-core/cldr/data raco setup: 1 making: /cldr-dates-modern/cldr/scribblings raco setup: 1 making: /cldr-localenames-modern/cldr raco setup: 1 making: /cldr-localenames-modern/cldr/data raco setup: 0 making: /cldr-core/cldr/scribblings raco setup: 0 making: /cldr-numbers-modern/cldr raco setup: 1 making: /cldr-localenames-modern/cldr/scribblings raco setup: 1 making: /gregor-doc/gregor raco setup: 1 making: /gregor-doc/gregor/scribblings raco setup: 0 making: /cldr-numbers-modern/cldr/data raco setup: 0 making: /cldr-numbers-modern/cldr/scribblings raco setup: 0 making: /gregor-lib/gregor raco setup: 0 making: /gregor-lib/gregor/private raco setup: 0 making: /gregor-lib/gregor/private/core raco setup: 0 making: /gregor-lib/gregor/private/pattern raco setup: 0 making: /gregor-lib/gregor/private/pattern/ast raco setup: 0 making: /gregor-lib/gregor/private/pattern/l10n raco setup: 0 making: /gtp-checkup raco setup: 1 making: /gtp-util raco setup: 1 making: /gtp-util/scribblings raco setup: 0 making: /gtp-checkup/data raco setup: 1 making: /lang-file-lib/lang-file raco setup: 1 making: /lang-file-lib/lang-file/test raco setup: 1 making: /lang-file/lang-file raco setup: 1 making: /lang-file/lang-file/scribblings raco setup: 1 making: /memoize-lib/memoize raco setup: 1 making: /memoize-test/memoize raco setup: 1 making: /memoize-test/memoize/private raco setup: 1 making: /pict-abbrevs raco setup: 0 making: /gtp-checkup/data/albany raco setup: 0 making: /gtp-checkup/data/nsa raco setup: 0 making: /gtp-checkup/private raco setup: 0 making: /gtp-checkup/scribblings raco setup: 0 making: /ppict raco setup: 1 making: /pict-abbrevs/private raco setup: 0 making: /ppict/private raco setup: 0 making: /rackunit-abbrevs raco setup: 0 making: /rackunit-abbrevs/private raco setup: 1 making: /pict-abbrevs/scribblings raco setup: 1 making: /require-typed-check raco setup: 0 making: /rackunit-abbrevs/scribblings 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/scribblings raco setup: 0 making: /tzinfo/tzinfo/test raco setup: 0 making: /tzinfo/tzinfo/test/data raco setup: 1 making: /require-typed-check/private raco setup: 0 making: /tzinfo/tzinfo/test/data/32-bit raco setup: 0 making: /tzinfo/tzinfo/test/data/32-bit/US raco setup: 0 making: /tzinfo/tzinfo/test/data/64-bit raco setup: 0 making: /tzinfo/tzinfo/test/data/64-bit/US raco setup: 1 making: /require-typed-check/scribblings raco setup: 1 making: /require-typed-check/test raco setup: 1 making: /require-typed-check/test/basic raco setup: 1 making: /require-typed-check/test/bogus raco setup: 1 making: /require-typed-check/test/fsm raco setup: 1 making: /require-typed-check/test/opaque raco setup: 1 making: /require-typed-check/test/pr raco setup: 1 making: /require-typed-check/test/submodule raco setup: --- creating launchers --- [1:11:16] raco setup: --- installing man pages --- [1:11:16] raco setup: --- building documentation --- [1:11:16] 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: 1 running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 0 running: /racket-index/scribblings/main/user/release.scrbl raco setup: 1 running: /racket-index/scribblings/main/user/search.scrbl raco setup: 0 running: /racket-index/scribblings/main/user/start.scrbl raco setup: 1 rendering: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/release.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/search.scrbl raco setup: 1 rendering: /racket-index/scribblings/main/user/start.scrbl raco setup: --- installing collections --- [1:11:32] raco setup: --- post-installing collections --- [1:11:32] raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/acquire/base/types.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/acquire/base/untyped.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/acquire/typed/admin.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/acquire/typed/auxiliaries.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/acquire/typed/basics.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/acquire/typed/benchmark-util.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/acquire/typed/board-adapted.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/acquire/typed/board.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/acquire/typed/main.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/acquire/typed/player.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/acquire/typed/state-adapted.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/acquire/typed/state.rkt" main.rkt: racket test: timeout after 90 seconds raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/acquire/typed/strategy.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/acquire/typed/tree-adapted.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/acquire/typed/tree.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/admin.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/auxiliaries.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/basics.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/benchmark-util.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/board-adapted.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/board.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/main.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/player.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/state-adapted.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/state.rkt" main.rkt: racket test: timeout after 90 seconds raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/strategy.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/tree-adapted.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/tree.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/acquire/untyped/admin.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/acquire/untyped/auxiliaries.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/acquire/untyped/basics.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/acquire/untyped/board.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/acquire/untyped/main.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/acquire/untyped/player.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/acquire/untyped/state.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/acquire/untyped/strategy.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/acquire/untyped/tree.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/dungeon/base/cell-types.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/dungeon/base/un-types.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/dungeon/typed/cell.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/dungeon/typed/grid.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/dungeon/typed/main.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/dungeon/typed/message-queue.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/dungeon/typed/utils.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/dungeon/typed-worst-case/cell.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/dungeon/typed-worst-case/grid.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/dungeon/typed-worst-case/main.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/dungeon/typed-worst-case/message-queue.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/dungeon/typed-worst-case/utils.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/dungeon/untyped/cell.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/dungeon/untyped/grid.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/dungeon/untyped/main.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/dungeon/untyped/message-queue.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/dungeon/untyped/utils.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/forth/base/command-types.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/forth/base/make-history.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/forth/base/untyped.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/forth/typed/command.rkt" /home/root/user/.local/share/racket/8.12/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/8.12/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:131: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:643: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:417:27 /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:419:0: call-with-summary /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:492:19 /home/root/user/.local/share/racket/8.12/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/8.12/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:131: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:643: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:417:27 /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:419:0: call-with-summary /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:492:19 /home/root/user/.local/share/racket/8.12/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/8.12/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:131: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:643: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/8.12/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:643: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:417:27 /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:419:0: call-with-summary /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:492:19 /home/root/user/.local/share/racket/8.12/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/8.12/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:131: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:643: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/8.12/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:643: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:417:27 /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:419:0: call-with-summary /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:492:19 raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/forth/typed/stack.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/forth/typed-worst-case/command.rkt" /home/root/user/.local/share/racket/8.12/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/8.12/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:131: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:643: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:417:27 /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:419:0: call-with-summary /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:492:19 /home/root/user/.local/share/racket/8.12/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/8.12/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:131: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:643: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:417:27 /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:419:0: call-with-summary /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:492:19 /home/root/user/.local/share/racket/8.12/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/8.12/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:131: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:643: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:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /home/root/racket/collects/racket/require-transform.rkt:266: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:417:27 /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:419:0: call-with-summary /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:492:19 /home/root/user/.local/share/racket/8.12/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/8.12/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:131: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:643: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:266:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:499:5 /home/root/racket/collects/racket/require-transform.rkt:266: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:417:27 /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:419:0: call-with-summary /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:492:19 raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/forth/typed-worst-case/stack.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/forth/untyped/command.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/forth/untyped/eval.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/forth/untyped/main.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/forth/untyped/stack.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/fsm/base/untyped.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/fsm/typed/automata-adapted.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/fsm/typed/automata.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/fsm/typed/benchmark-util.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/fsm/typed/main.rkt" main.rkt: racket test: timeout after 90 seconds raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/fsm/typed/population.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/fsm/typed/utilities.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/fsm/typed-worst-case/automata-adapted.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/fsm/typed-worst-case/automata.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/fsm/typed-worst-case/main.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/fsm/typed-worst-case/population.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/fsm/typed-worst-case/utilities.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/fsm/untyped/automata.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/fsm/untyped/main.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/fsm/untyped/population.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/fsm/untyped/utilities.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/fsmoo/base/untyped.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/fsmoo/typed/automata-adapted.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/fsmoo/typed/automata.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/fsmoo/typed/main.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/fsmoo/typed/population-adapted.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/fsmoo/typed/population.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/fsmoo/typed/utilities.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/fsmoo/typed-worst-case/automata-adapted.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/fsmoo/typed-worst-case/automata.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/fsmoo/typed-worst-case/main.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/fsmoo/typed-worst-case/population-adapted.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/fsmoo/typed-worst-case/population.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/fsmoo/typed-worst-case/utilities.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/fsmoo/untyped/automata.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/fsmoo/untyped/main.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/fsmoo/untyped/population.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/fsmoo/untyped/utilities.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/base/cldr/core.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/base/cldr/file.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/base/cldr/likely-subtags.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/base/cldr/scribblings/cldr-core.scrbl" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/base/types.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/main.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/private/generics.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/private/os/env.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/private/os/unix.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/private/os/windows-registry.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/private/os/windows.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/private/structs.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/private/tabfile-parser.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/private/tzfile-parser.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/private/zoneinfo-search.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/private/zoneinfo.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/scribblings/tzinfo.scrbl" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/source.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/test/zoneinfo.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/zoneinfo.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/base/untyped.rkt" main.rkt: racket test: timeout after 90 seconds raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/typed/clock.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/typed/core-adapter.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/typed/core-structs.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/typed/date.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/typed/datetime.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/typed/difference.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/typed/gregor-adapter.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/typed/gregor-structs.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/typed/hmsn.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/typed/main.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/typed/moment-base.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/typed/moment.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/typed/offset-resolvers.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/typed/time.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/typed/tzinfo-adapter.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/typed/ymd.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/clock.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/core-adapter.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/core-structs.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/date.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/datetime.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/difference.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/gregor-adapter.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/gregor-structs.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/hmsn.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/main.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/moment-base.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/moment.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/offset-resolvers.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/time.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/tzinfo-adapter.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/ymd.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/untyped/clock.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/untyped/core-structs.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/untyped/date.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/untyped/datetime.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/untyped/difference.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/untyped/gregor-structs.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/untyped/hmsn.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/untyped/main.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/untyped/moment-base.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/untyped/moment.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/untyped/offset-resolvers.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/untyped/time.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/gregor/untyped/ymd.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/base/bytevectors-6-typed.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/base/math/array.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/array-broadcast.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/array-comprehension.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/array-sequence.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/array-struct.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/array-syntax.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/array-transform.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/for-each.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/mutable-array.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/typed-array-sequence.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/typed-array-struct.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/typed-array-transform.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/typed-mutable-array.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/typed-utils.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/utils.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/base/base-constants.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/base/base-random.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/exception.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/inline-sort.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/parameters.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/syntax-utils.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/unsafe.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/utils.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/base/typedefs.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/base/untyped.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/typed/bit-ports.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/typed/exif.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/typed/huffman.rkt" raco test: 1 (submod "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/typed/jfif.rkt" test) raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/typed/main.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/typed-worst-case/bit-ports.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/typed-worst-case/exif.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/typed-worst-case/huffman.rkt" raco test: 0 (submod "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/typed-worst-case/jfif.rkt" test) raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/typed-worst-case/main.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/untyped/bit-ports.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/untyped/exif.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/untyped/huffman.rkt" raco test: 0 (submod "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/untyped/jfif.rkt" test) raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/jpeg/untyped/main.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/kcfa/typed/ai.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/kcfa/typed/benv-adapted.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/kcfa/typed/benv.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/kcfa/typed/denotable-adapted.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/kcfa/typed/denotable.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/kcfa/typed/main.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/kcfa/typed/structs-adapted.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/kcfa/typed/structs.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/kcfa/typed/time-adapted.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/kcfa/typed/time.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/kcfa/typed/ui.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/kcfa/typed-worst-case/ai.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/kcfa/typed-worst-case/benv-adapted.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/kcfa/typed-worst-case/benv.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/kcfa/typed-worst-case/denotable-adapted.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/kcfa/typed-worst-case/denotable.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/kcfa/typed-worst-case/main.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/kcfa/typed-worst-case/structs-adapted.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/kcfa/typed-worst-case/structs.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/kcfa/typed-worst-case/time-adapted.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/kcfa/typed-worst-case/time.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/kcfa/typed-worst-case/ui.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/kcfa/untyped/ai.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/kcfa/untyped/benv.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/kcfa/untyped/denotable.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/kcfa/untyped/main.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/kcfa/untyped/structs.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/kcfa/untyped/time.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/kcfa/untyped/ui.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/lnm/base/untyped.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/lnm/typed/bitstring.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/lnm/typed/lnm-plot.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/lnm/typed/main.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/lnm/typed/modulegraph-adapted.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/lnm/typed/modulegraph.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/lnm/typed/pict-adapted.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/lnm/typed/spreadsheet.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/lnm/typed/summary-adapted.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/lnm/typed/summary.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/lnm/typed-worst-case/bitstring.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/lnm/typed-worst-case/lnm-plot.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/lnm/typed-worst-case/main.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/lnm/typed-worst-case/modulegraph-adapted.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/lnm/typed-worst-case/modulegraph.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/lnm/typed-worst-case/pict-adapted.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/lnm/typed-worst-case/spreadsheet.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/lnm/typed-worst-case/summary-adapted.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/lnm/typed-worst-case/summary.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/lnm/untyped/bitstring.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/lnm/untyped/lnm-plot.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/lnm/untyped/main.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/lnm/untyped/modulegraph.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/lnm/untyped/spreadsheet.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/lnm/untyped/summary.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/adjlist-utils.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/gen-graph.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/graph-fns-allpairs-shortestpaths.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/graph-fns-basic.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/graph-fns-coloring.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/graph-fns-graphviz.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/graph-fns-maxflow.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/graph-fns-minspantree.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/graph-fns-singlesource-shortestpaths.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/graph-matrix.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/graph-property.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/graph-unweighted.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/graph-weighted.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/hash-utils.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/main.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/utils.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/mbta/base/graph/queue/fifo.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/mbta/base/graph/queue/gen-queue.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/mbta/base/graph/queue/priority.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/mbta/base/my-graph.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/mbta/base/t-graph-types.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/mbta/base/t-view-types.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/mbta/base/untyped.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/mbta/typed/main.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/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: 0 "/home/root//user/.local/share/racket/8.12/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: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/mbta/typed/t-view.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/mbta/typed-worst-case/main.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/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: 0 "/home/root//user/.local/share/racket/8.12/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: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/mbta/typed-worst-case/t-view.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/mbta/untyped/main.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/mbta/untyped/run-t.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/mbta/untyped/t-graph.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/mbta/untyped/t-view.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/morsecode/base/untyped.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/morsecode/typed/levenshtein.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/morsecode/typed/main.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/morsecode/typed/morse-code-strings.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/morsecode/typed/morse-code-table.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/morsecode/typed-worst-case/levenshtein.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/morsecode/typed-worst-case/main.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/morsecode/typed-worst-case/morse-code-strings.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/morsecode/typed-worst-case/morse-code-table.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/morsecode/untyped/levenshtein.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/morsecode/untyped/main.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/morsecode/untyped/morse-code-strings.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/morsecode/untyped/morse-code-table.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/quadT/base/core-types.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/quadT/base/core.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/quadT/base/csp/constraint.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/quadT/base/csp/csp.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/quadT/base/csp/domain.rkt" raco test: 1 (submod "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/quadT/base/csp/helper.rkt" test) raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/quadT/base/csp/problem.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/quadT/base/csp/solver.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/quadT/base/csp/variable.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/quadT/base/quad-types.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/quadT/base/quad.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/quadT/base/untyped.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/quadT/typed/hyphenate.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/quadT/typed/main.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/quadT/typed/measure.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/quadT/typed/ocm-struct-adapted.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/quadT/typed/ocm-struct.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/quadT/typed/ocm.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/gtp-checkup/benchmarks/quadT/typed/penalty-struct-adapted.rkt" penalty-struct-adapted.rkt: racket test: #<