The time is now Tuesday, November 19th, 2024 12:12:07am (/usr/bin/env PLTUSERHOME=/home/root//user PLT_PKG_BUILD_SERVICE=1 CI=true PLT_INFO_ALLOW_VARS=;PLT_PKG_BUILD_SERVICE PLTCOMPILEDROOTS=/home/root//zo: DISPLAY=:1 DISPLAY=:1 PLTSTDOUT=debug@pkg info@GC:major /usr/bin/xvfb-run -n 1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 2 -u --auto 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 . "81c597867a1614f279faf6d41543a98b217ec466") (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 . "4fc6e4633eb247356d4f46ae380e938c50fa445c") (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 . "8a48bf5a18d20fa70d815f1f8e28c209e10f65c7") (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 . "e03d30238cfcb426c03872f9f1d5f79805c32872") (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 . "3fbf41162e133d1ecc747cf866524ca7af74a4db") (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 . "4f2477f0c1078385eb634b62495efb997e2ae878") (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 . "99d52e385b8ce08da478d449363ea219ef70ea80") (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/arrow.rkt") (lib "pict-abbrevs/private/ltl.rkt") (lib "pict-abbrevs/slideshow.rkt") (lib "pict-abbrevs/private/lightbulb.rkt") (lib "pict-abbrevs/ltl.rkt") (lib "pict-abbrevs/private/arrow.rkt") (lib "pict-abbrevs/private/raco.rkt") (lib "pict-abbrevs/main.rkt") (lib "pict-abbrevs/private/slideshow.rkt") (lib "pict-abbrevs/scribblings/pict-abbrevs.scrbl"))) (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 . "4e525c1d388e121be4f0ab8c75368432bf6e4596") (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 . "28a981b4fa573202b85bbad2829a943b08c30523") (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 . "ecd660fe9313c3a4e86891e22e7cb9220815c9dc") (dependencies . (("base"))) (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 . "5314dd559b14be9a3719fe5b63ded06b574d9f57") (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 . "339ce1d3caf8840f817f6c7a624149d8f63c163d") (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 . "aafd4088c128cad55fc053aa692c3c8d90146859") (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 . "be32dd8b9160a4dd287c7face4797ba6e95c986e") (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 . "449f29bb25cb21a5d23dead63153d7ceffaceda4") (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 . "69489106db85e1c99b3c66c36f9570511b43fd0a") (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 . "1ac05ec8c2316a03643853c73f7b086d66efbd7e") (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 . "981f96af302c063ee7af56df758a094057ab54c4") (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 . "b1e86ab5d4dc8ca9aae9a88d5e07956c401f621d") (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 . "97c31796806c0a2f77805c8045152f722cd6490a") (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 . "3dd308074bf423e9e36c75ec12133bdde51fe24a") (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 . "84000b0f6b8252a6a636346e6e827b64b27261be") (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") "84000b0f6b8252a6a636346e6e827b64b27261be" #t) pkg: creating single-collection link to # pkg: updating db with "ppict" to '#s((sc-pkg-info pkg-info 3) (catalog "ppict") "3dd308074bf423e9e36c75ec12133bdde51fe24a" #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") "81c597867a1614f279faf6d41543a98b217ec466" #f "gtp-checkup") pkg: creating single-collection link to # pkg: updating db with "basedir" to '#s((sc-pkg-info pkg-info 3) (catalog "basedir") "4fc6e4633eb247356d4f46ae380e938c50fa445c" #t "basedir") pkg: creating link to # pkg: updating db with "gregor" to '#s(pkg-info (catalog "gregor") "8a48bf5a18d20fa70d815f1f8e28c209e10f65c7" #t) pkg: creating link to # pkg: updating db with "gregor-lib" to '#s(pkg-info (catalog "gregor-lib") "4e525c1d388e121be4f0ab8c75368432bf6e4596" #t) pkg: creating link to # pkg: updating db with "memoize-lib" to '#s(pkg-info (catalog "memoize-lib") "ecd660fe9313c3a4e86891e22e7cb9220815c9dc" #t) pkg: creating link to # pkg: updating db with "tzinfo" to '#s(pkg-info (catalog "tzinfo") "5314dd559b14be9a3719fe5b63ded06b574d9f57" #t) pkg: creating link to # pkg: updating db with "cldr-core" to '#s(pkg-info (catalog "cldr-core") "339ce1d3caf8840f817f6c7a624149d8f63c163d" #t) pkg: creating link to # pkg: updating db with "cldr-bcp47" to '#s(pkg-info (catalog "cldr-bcp47") "aafd4088c128cad55fc053aa692c3c8d90146859" #t) pkg: creating link to # pkg: updating db with "cldr-numbers-modern" to '#s(pkg-info (catalog "cldr-numbers-modern") "be32dd8b9160a4dd287c7face4797ba6e95c986e" #t) pkg: creating link to # pkg: updating db with "cldr-dates-modern" to '#s(pkg-info (catalog "cldr-dates-modern") "449f29bb25cb21a5d23dead63153d7ceffaceda4" #t) pkg: creating link to # pkg: updating db with "cldr-localenames-modern" to '#s(pkg-info (catalog "cldr-localenames-modern") "69489106db85e1c99b3c66c36f9570511b43fd0a" #t) pkg: creating link to # pkg: updating db with "gregor-doc" to '#s(pkg-info (catalog "gregor-doc") "28a981b4fa573202b85bbad2829a943b08c30523" #t) pkg: creating single-collection link to # pkg: updating db with "gtp-util" to '#s((sc-pkg-info pkg-info 3) (catalog "gtp-util") "e03d30238cfcb426c03872f9f1d5f79805c32872" #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") "1ac05ec8c2316a03643853c73f7b086d66efbd7e" #t "rackunit-abbrevs") pkg: creating link to # pkg: updating db with "memoize" to '#s(pkg-info (catalog "memoize") "3fbf41162e133d1ecc747cf866524ca7af74a4db" #t) pkg: creating link to # pkg: updating db with "memoize-doc" to '#s(pkg-info (catalog "memoize-doc") "981f96af302c063ee7af56df758a094057ab54c4" #t) pkg: creating link to # pkg: updating db with "memoize-test" to '#s(pkg-info (catalog "memoize-test") "b1e86ab5d4dc8ca9aae9a88d5e07956c401f621d" #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") "4f2477f0c1078385eb634b62495efb997e2ae878" #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") "99d52e385b8ce08da478d449363ea219ef70ea80" #t "pict-abbrevs") pkg: creating link to # pkg: updating db with "lang-file" to '#s(pkg-info (catalog "lang-file") "97c31796806c0a2f77805c8045152f722cd6490a" #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.15 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 8.15 raco setup: variants: cs raco setup: main collects: /home/root/racket/collects/ raco setup: collects paths: raco setup: /home/root/user/.local/share/racket/8.15/collects raco setup: /home/root/racket/collects/ raco setup: main pkgs: /home/root/racket/share/pkgs raco setup: pkgs paths: raco setup: /home/root/racket/share/pkgs raco setup: /home/root//user/.local/share/racket/8.15/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.15/links.rktd raco setup: compiled-file roots: raco setup: /home/root//zo raco setup: same raco setup: main docs: /home/root/racket/doc raco setup: --- updating info-domain tables --- [0:12:13] raco setup: updating: /home/root/user/.local/share/racket/8.15/share/info-cache.rktd raco setup: --- pre-installing collections --- [0:12:13] raco setup: --- installing foreign libraries --- [0:12:13] raco setup: --- installing shared files --- [0:12:13] raco setup: --- compiling collections --- [0:12:13] raco setup: --- parallel build using 2 jobs --- [0:12:13] raco setup: 1 making: /basedir raco setup: 0 making: /cldr-bcp47/cldr/bcp47 raco setup: 0 making: /cldr-core/cldr raco setup: 1 making: /cldr-dates-modern/cldr raco setup: 1 making: /cldr-localenames-modern/cldr raco setup: 0 making: /cldr-numbers-modern/cldr raco setup: 1 making: /gregor-doc/gregor 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: /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: /memoize-lib/memoize raco setup: 1 making: /memoize-test/memoize/private raco setup: 1 making: /pict-abbrevs raco setup: 0 making: /gtp-checkup/data raco setup: 0 making: /gtp-checkup/private raco setup: 0 making: /gtp-checkup/scribblings raco setup: 0 making: /ppict raco setup: 0 making: /ppict/private raco setup: 0 making: /rackunit-abbrevs raco setup: 0 making: /rackunit-abbrevs/private raco setup: 0 making: /require-typed-check raco setup: 1 making: /pict-abbrevs/private raco setup: 1 making: /tzinfo/tzinfo (TZInfo) raco setup: 0 making: /require-typed-check/private raco setup: 0 making: /require-typed-check/test/basic raco setup: 1 making: /tzinfo/tzinfo/private raco setup: 1 making: /tzinfo/tzinfo/private/os raco setup: 1 making: /tzinfo/tzinfo/test raco setup: --- creating launchers --- [0:12:22] raco setup: --- installing man pages --- [0:12:22] raco setup: --- building documentation --- [0:12:22] raco setup: syncing: /basedir/doc/basedir raco setup: syncing: /cldr-bcp47/cldr/bcp47/doc/cldr-bcp47-timezone raco setup: syncing: /cldr-core/cldr/doc/cldr-core raco setup: syncing: /cldr-dates-modern/cldr/doc/cldr-dates-modern raco setup: syncing: /cldr-localenames-modern/cldr/doc/cldr-localenames-modern raco setup: syncing: /cldr-numbers-modern/cldr/doc/cldr-numbers-modern raco setup: syncing: /gregor-doc/gregor/doc/gregor raco setup: syncing: /gtp-checkup/doc/gtp-checkup raco setup: syncing: /gtp-util/doc/gtp-util raco setup: syncing: /pict-abbrevs/doc/pict-abbrevs raco setup: syncing: /ppict/doc/ppict raco setup: syncing: /rackunit-abbrevs/doc/rackunit-abbrevs raco setup: syncing: /lang-file/lang-file/doc/read-lang-file raco setup: syncing: /require-typed-check/doc/require-typed-check raco setup: syncing: /tzinfo/tzinfo/doc/tzinfo raco setup: 0 running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 1 running: /racket-index/scribblings/main/user/release.scrbl raco setup: 0 running: /racket-index/scribblings/main/user/search.scrbl raco setup: 0 running: /racket-index/scribblings/main/user/start.scrbl raco setup: 1 rendering: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/release.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/search.scrbl raco setup: 1 rendering: /racket-index/scribblings/main/user/start.scrbl raco setup: --- installing collections --- [0:12:28] raco setup: --- post-installing collections --- [0:12:28] GC: 0:atexit peak 325,804K(+109,275K); alloc 17,794,263K; major 7; minor 987; 3496ms raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/acquire/base/types.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/acquire/base/untyped.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/acquire/typed/admin.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/acquire/typed/auxiliaries.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/acquire/typed/basics.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/acquire/typed/benchmark-util.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/acquire/typed/board-adapted.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/acquire/typed/board.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/acquire/typed/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/acquire/typed/player.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/acquire/typed/state-adapted.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/acquire/typed/state.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/acquire/typed/strategy.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/acquire/typed/tree-adapted.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/acquire/typed/tree.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/admin.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/auxiliaries.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/basics.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/benchmark-util.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/board-adapted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/board.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/player.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/state-adapted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/state.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/strategy.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/tree-adapted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/acquire/typed-worst-case/tree.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/acquire/untyped/admin.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/acquire/untyped/auxiliaries.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/acquire/untyped/basics.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/acquire/untyped/board.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/acquire/untyped/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/acquire/untyped/player.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/acquire/untyped/state.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/acquire/untyped/strategy.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/acquire/untyped/tree.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/dungeon/base/cell-types.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/dungeon/base/un-types.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/dungeon/typed/cell.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/dungeon/typed/grid.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/dungeon/typed/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/dungeon/typed/message-queue.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/dungeon/typed/utils.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/dungeon/typed-worst-case/cell.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/dungeon/typed-worst-case/grid.rkt") main.rkt: racket test: timeout after 90 seconds raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/dungeon/typed-worst-case/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/dungeon/typed-worst-case/message-queue.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/dungeon/typed-worst-case/utils.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/dungeon/untyped/cell.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/dungeon/untyped/grid.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/dungeon/untyped/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/dungeon/untyped/message-queue.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/dungeon/untyped/utils.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/forth/base/command-types.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/forth/base/make-history.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/forth/base/untyped.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/forth/typed/command.rkt") /home/root/user/.local/share/racket/8.15/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.15/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:428:27 /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:430:0: call-with-summary /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:503:19 /home/root/user/.local/share/racket/8.15/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.15/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:428:27 /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:430:0: call-with-summary /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:503:19 /home/root/user/.local/share/racket/8.15/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.15/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.15/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:428:27 /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:430:0: call-with-summary /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:503:19 /home/root/user/.local/share/racket/8.15/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.15/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.15/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:428:27 /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:430:0: call-with-summary /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:503:19 raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/forth/typed/stack.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/forth/typed-worst-case/command.rkt") /home/root/user/.local/share/racket/8.15/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.15/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:428:27 /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:430:0: call-with-summary /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:503:19 /home/root/user/.local/share/racket/8.15/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.15/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:428:27 /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:430:0: call-with-summary /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:503:19 /home/root/user/.local/share/racket/8.15/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.15/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:268:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:505:5 /home/root/racket/collects/racket/require-transform.rkt:268:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:286:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:257:2 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:71:0: tc-setup /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:22:4 /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:428:27 /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:430:0: call-with-summary /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:503:19 /home/root/user/.local/share/racket/8.15/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.15/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:268:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:505:5 /home/root/racket/collects/racket/require-transform.rkt:268:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:286:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:257:2 /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/tc-setup.rkt:71:0: tc-setup /home/root/racket/share/pkgs/typed-racket-lib/typed-racket/typed-racket.rkt:22:4 /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:428:27 /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:430:0: call-with-summary /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:503:19 raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/forth/typed-worst-case/stack.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/forth/untyped/command.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/forth/untyped/eval.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/forth/untyped/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/forth/untyped/stack.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/fsm/base/untyped.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/fsm/typed/automata-adapted.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/fsm/typed/automata.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/fsm/typed/benchmark-util.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/fsm/typed/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/fsm/typed/population.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/fsm/typed/utilities.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/fsm/typed-worst-case/automata-adapted.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/fsm/typed-worst-case/automata.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/fsm/typed-worst-case/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/fsm/typed-worst-case/population.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/fsm/typed-worst-case/utilities.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/fsm/untyped/automata.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/fsm/untyped/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/fsm/untyped/population.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/fsm/untyped/utilities.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/fsmoo/base/untyped.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/fsmoo/typed/automata-adapted.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/fsmoo/typed/automata.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/fsmoo/typed/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/fsmoo/typed/population-adapted.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/fsmoo/typed/population.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/fsmoo/typed/utilities.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/fsmoo/typed-worst-case/automata-adapted.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/fsmoo/typed-worst-case/automata.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/fsmoo/typed-worst-case/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/fsmoo/typed-worst-case/population-adapted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/fsmoo/typed-worst-case/population.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/fsmoo/typed-worst-case/utilities.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/fsmoo/untyped/automata.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/fsmoo/untyped/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/fsmoo/untyped/population.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/fsmoo/untyped/utilities.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/base/cldr/core.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/base/cldr/file.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/base/cldr/likely-subtags.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/base/cldr/scribblings/cldr-core.scrbl") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/base/types.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/private/generics.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/private/os/env.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/private/os/unix.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/private/os/windows-registry.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/private/os/windows.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/private/structs.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/private/tabfile-parser.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/private/tzfile-parser.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/private/zoneinfo-search.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/private/zoneinfo.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/scribblings/tzinfo.scrbl") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/source.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/test/zoneinfo.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/base/tzinfo/zoneinfo.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/base/untyped.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/typed/clock.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/typed/core-adapter.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/typed/core-structs.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/typed/date.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/typed/datetime.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/typed/difference.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/typed/gregor-adapter.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/typed/gregor-structs.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/typed/hmsn.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/typed/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/typed/moment-base.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/typed/moment.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/typed/offset-resolvers.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/typed/time.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/typed/tzinfo-adapter.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/typed/ymd.rkt") main.rkt: racket test: timeout after 90 seconds raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/clock.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/core-adapter.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/core-structs.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/date.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/datetime.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/difference.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/gregor-adapter.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/gregor-structs.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/hmsn.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/moment-base.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/moment.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/offset-resolvers.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/time.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/tzinfo-adapter.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/typed-worst-case/ymd.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/untyped/clock.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/untyped/core-structs.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/untyped/date.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/untyped/datetime.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/untyped/difference.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/untyped/gregor-structs.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/untyped/hmsn.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/untyped/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/untyped/moment-base.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/untyped/moment.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/untyped/offset-resolvers.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/untyped/time.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/gregor/untyped/ymd.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/base/bytevectors-6-typed.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/base/math/array.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/array-broadcast.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/array-comprehension.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/array-sequence.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/array-struct.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/array-syntax.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/array-transform.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/for-each.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/mutable-array.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/typed-array-sequence.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/typed-array-struct.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/typed-array-transform.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/typed-mutable-array.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/typed-utils.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/array/utils.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/base/base-constants.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/base/base-random.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/exception.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/inline-sort.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/parameters.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/syntax-utils.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/unsafe.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/base/math/private/utils.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/base/typedefs.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/base/untyped.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/typed/bit-ports.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/typed/exif.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/typed/huffman.rkt") raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/typed/jfif.rkt") test) raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/typed/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/typed-worst-case/bit-ports.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/typed-worst-case/exif.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/typed-worst-case/huffman.rkt") raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/typed-worst-case/jfif.rkt") test) raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/typed-worst-case/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/untyped/bit-ports.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/untyped/exif.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/untyped/huffman.rkt") raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/untyped/jfif.rkt") test) raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/jpeg/untyped/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/kcfa/typed/ai.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/kcfa/typed/benv-adapted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/kcfa/typed/benv.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/kcfa/typed/denotable-adapted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/kcfa/typed/denotable.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/kcfa/typed/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/kcfa/typed/structs-adapted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/kcfa/typed/structs.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/kcfa/typed/time-adapted.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/kcfa/typed/time.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/kcfa/typed/ui.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/kcfa/typed-worst-case/ai.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/kcfa/typed-worst-case/benv-adapted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/kcfa/typed-worst-case/benv.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/kcfa/typed-worst-case/denotable-adapted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/kcfa/typed-worst-case/denotable.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/kcfa/typed-worst-case/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/kcfa/typed-worst-case/structs-adapted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/kcfa/typed-worst-case/structs.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/kcfa/typed-worst-case/time-adapted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/kcfa/typed-worst-case/time.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/kcfa/typed-worst-case/ui.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/kcfa/untyped/ai.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/kcfa/untyped/benv.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/kcfa/untyped/denotable.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/kcfa/untyped/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/kcfa/untyped/structs.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/kcfa/untyped/time.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/kcfa/untyped/ui.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/lnm/base/untyped.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/lnm/typed/bitstring.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/lnm/typed/lnm-plot.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/lnm/typed/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/lnm/typed/modulegraph-adapted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/lnm/typed/modulegraph.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/lnm/typed/pict-adapted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/lnm/typed/spreadsheet.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/lnm/typed/summary-adapted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/lnm/typed/summary.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/lnm/typed-worst-case/bitstring.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/lnm/typed-worst-case/lnm-plot.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/lnm/typed-worst-case/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/lnm/typed-worst-case/modulegraph-adapted.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/lnm/typed-worst-case/modulegraph.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/lnm/typed-worst-case/pict-adapted.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/lnm/typed-worst-case/spreadsheet.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/lnm/typed-worst-case/summary-adapted.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/lnm/typed-worst-case/summary.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/lnm/untyped/bitstring.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/lnm/untyped/lnm-plot.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/lnm/untyped/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/lnm/untyped/modulegraph.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/lnm/untyped/spreadsheet.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/lnm/untyped/summary.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/adjlist-utils.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/gen-graph.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/graph-fns-allpairs-shortestpaths.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/graph-fns-basic.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/graph-fns-coloring.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/graph-fns-graphviz.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/graph-fns-maxflow.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/graph-fns-minspantree.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/graph-fns-singlesource-shortestpaths.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/graph-matrix.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/graph-property.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/graph-unweighted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/graph-weighted.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/hash-utils.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/mbta/base/graph/graph/utils.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/mbta/base/graph/queue/fifo.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/mbta/base/graph/queue/gen-queue.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/mbta/base/graph/queue/priority.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/mbta/base/my-graph.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/mbta/base/t-graph-types.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/mbta/base/t-view-types.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/mbta/base/untyped.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/mbta/typed/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/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 (file "/home/root//user/.local/share/racket/8.15/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 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/mbta/typed/t-view.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/mbta/typed-worst-case/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/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 (file "/home/root//user/.local/share/racket/8.15/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 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/mbta/typed-worst-case/t-view.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/mbta/untyped/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/mbta/untyped/run-t.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/mbta/untyped/t-graph.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/mbta/untyped/t-view.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/morsecode/base/untyped.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/morsecode/typed/levenshtein.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/morsecode/typed/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/morsecode/typed/morse-code-strings.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/morsecode/typed/morse-code-table.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/morsecode/typed-worst-case/levenshtein.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/morsecode/typed-worst-case/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/morsecode/typed-worst-case/morse-code-strings.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/morsecode/typed-worst-case/morse-code-table.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/morsecode/untyped/levenshtein.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/morsecode/untyped/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/morsecode/untyped/morse-code-strings.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/morsecode/untyped/morse-code-table.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/base/core-types.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/base/core.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/base/csp/constraint.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/base/csp/csp.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/base/csp/domain.rkt") raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/base/csp/helper.rkt") test) raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/base/csp/problem.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/base/csp/solver.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/base/csp/variable.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/base/quad-types.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/base/quad.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/base/untyped.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/typed/hyphenate.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/typed/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/typed/measure.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/typed/ocm-struct-adapted.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/typed/ocm-struct.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/typed/ocm.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/typed/penalty-struct-adapted.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/typed/penalty-struct.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/typed/quad-main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/typed/quads.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/typed/quick-sample.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/typed/render.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/typed/sugar-list.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/typed/utils.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/typed/world.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/typed/wrap.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/typed-worst-case/hyphenate.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/typed-worst-case/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/typed-worst-case/measure.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/typed-worst-case/ocm-struct-adapted.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/typed-worst-case/ocm-struct.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/typed-worst-case/ocm.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/typed-worst-case/penalty-struct-adapted.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/typed-worst-case/penalty-struct.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/typed-worst-case/quad-main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/typed-worst-case/quads.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/typed-worst-case/quick-sample.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/typed-worst-case/render.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/typed-worst-case/sugar-list.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/typed-worst-case/utils.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/typed-worst-case/world.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/typed-worst-case/wrap.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/untyped/hyphenate.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/untyped/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/untyped/measure.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/untyped/ocm-struct.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/untyped/ocm.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/untyped/penalty-struct.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/untyped/quad-main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/untyped/quads.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/untyped/quick-sample.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/untyped/render.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/untyped/sugar-list.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/untyped/utils.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/untyped/world.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadT/untyped/wrap.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/base/core-types.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/base/core.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/base/csp/constraint.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/base/csp/csp.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/base/csp/domain.rkt") raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/base/csp/helper.rkt") test) raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/base/csp/problem.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/base/csp/solver.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/base/csp/variable.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/base/quad-types.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/base/untyped.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/typed/hyphenate.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/typed/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/typed/measure.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/typed/ocm-struct-adapted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/typed/ocm-struct.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/typed/ocm.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/typed/penalty-struct-adapted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/typed/penalty-struct.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/typed/quad-main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/typed/quads.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/typed/quick-sample.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/typed/render.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/typed/sugar-list.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/typed/utils.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/typed/world.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/typed/wrap.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/typed-worst-case/hyphenate.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/typed-worst-case/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/typed-worst-case/measure.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/typed-worst-case/ocm-struct-adapted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/typed-worst-case/ocm-struct.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/typed-worst-case/ocm.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/typed-worst-case/penalty-struct-adapted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/typed-worst-case/penalty-struct.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/typed-worst-case/quad-main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/typed-worst-case/quads.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/typed-worst-case/quick-sample.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/typed-worst-case/render.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/typed-worst-case/sugar-list.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/typed-worst-case/utils.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/typed-worst-case/world.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/typed-worst-case/wrap.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/untyped/hyphenate.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/untyped/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/untyped/measure.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/untyped/ocm-struct.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/untyped/ocm.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/untyped/penalty-struct.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/untyped/quad-main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/untyped/quads.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/untyped/quick-sample.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/untyped/render.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/untyped/sugar-list.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/untyped/utils.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/untyped/world.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/quadU/untyped/wrap.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/sieve/typed/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/sieve/typed/streams.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/sieve/typed-worst-case/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/sieve/typed-worst-case/streams.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/sieve/untyped/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/sieve/untyped/streams.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/snake/typed/collide.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/snake/typed/const.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/snake/typed/cut-tail.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/snake/typed/data-adaptor.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/snake/typed/data.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/snake/typed/handlers.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/snake/typed/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/snake/typed/motion-help.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/snake/typed/motion.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/snake/typed-worst-case/collide.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/snake/typed-worst-case/const.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/snake/typed-worst-case/cut-tail.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/snake/typed-worst-case/data-adaptor.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/snake/typed-worst-case/data.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/snake/typed-worst-case/handlers.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/snake/typed-worst-case/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/snake/typed-worst-case/motion-help.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/snake/typed-worst-case/motion.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/snake/untyped/collide.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/snake/untyped/const.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/snake/untyped/cut-tail.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/snake/untyped/data.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/snake/untyped/handlers.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/snake/untyped/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/snake/untyped/motion-help.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/snake/untyped/motion.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/suffixtree/base/untyped.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/suffixtree/typed/data.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/suffixtree/typed/label.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/suffixtree/typed/lcs.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/suffixtree/typed/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/suffixtree/typed/structs.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/suffixtree/typed/typed-data.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/suffixtree/typed/ukkonen.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/suffixtree/typed-worst-case/data.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/suffixtree/typed-worst-case/label.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/suffixtree/typed-worst-case/lcs.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/suffixtree/typed-worst-case/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/suffixtree/typed-worst-case/structs.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/suffixtree/typed-worst-case/typed-data.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/suffixtree/typed-worst-case/ukkonen.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/suffixtree/untyped/data.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/suffixtree/untyped/label.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/suffixtree/untyped/lcs.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/suffixtree/untyped/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/suffixtree/untyped/structs.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/suffixtree/untyped/ukkonen.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/synth/base/untyped.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/synth/typed/array-broadcast.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/synth/typed/array-struct.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/synth/typed/array-transform.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/synth/typed/array-utils.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/synth/typed/data.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/synth/typed/drum.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/synth/typed/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/synth/typed/mixer.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/synth/typed/sequencer.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/synth/typed/synth.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/synth/typed/typed-data.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/synth/typed-worst-case/array-broadcast.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/synth/typed-worst-case/array-struct.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/synth/typed-worst-case/array-transform.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/synth/typed-worst-case/array-utils.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/synth/typed-worst-case/data.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/synth/typed-worst-case/drum.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/synth/typed-worst-case/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/synth/typed-worst-case/mixer.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/synth/typed-worst-case/sequencer.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/synth/typed-worst-case/synth.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/synth/typed-worst-case/typed-data.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/synth/untyped/array-broadcast.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/synth/untyped/array-struct.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/synth/untyped/array-transform.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/synth/untyped/array-utils.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/synth/untyped/data.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/synth/untyped/drum.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/synth/untyped/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/synth/untyped/mixer.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/synth/untyped/sequencer.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/synth/untyped/synth.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/take5/base/untyped.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/take5/typed/basics-types.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/take5/typed/basics.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/take5/typed/card-adapted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/take5/typed/card-pool-types.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/take5/typed/card-pool.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/take5/typed/card.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/take5/typed/dealer-types.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/take5/typed/dealer.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/take5/typed/deck-types.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/take5/typed/deck.rkt") raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/take5/typed/main.rkt") test) raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/take5/typed/player-types.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/take5/typed/player.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/take5/typed/stack-types.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/take5/typed/stack.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/take5/typed-worst-case/basics-types.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/take5/typed-worst-case/basics.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/take5/typed-worst-case/card-adapted.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/take5/typed-worst-case/card-pool-types.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/take5/typed-worst-case/card-pool.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/take5/typed-worst-case/card.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/take5/typed-worst-case/dealer-types.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/take5/typed-worst-case/dealer.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/take5/typed-worst-case/deck-types.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/take5/typed-worst-case/deck.rkt") raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/take5/typed-worst-case/main.rkt") test) raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/take5/typed-worst-case/player-types.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/take5/typed-worst-case/player.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/take5/typed-worst-case/stack-types.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/take5/typed-worst-case/stack.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/take5/untyped/basics.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/take5/untyped/card-pool.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/take5/untyped/card.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/take5/untyped/dealer.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/take5/untyped/deck.rkt") raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.15/pkgs/gtp-checkup/benchmarks/take5/untyped/main.rkt") test) main.rkt: racket test: #<