The time is now Monday, June 20th, 2022 11:08:07pm (/usr/bin/env DISPLAY=:1 PLT_PKG_BUILD_SERVICE=1 PLTUSERHOME=/home/root//user PLT_PKG_BUILD_SERVICE=1 CI=true PLTSTDERR=debug@pkg error PLT_INFO_ALLOW_VARS=;PLT_PKG_BUILD_SERVICE PLTCOMPILEDROOTS=/home/root//zo: /usr/bin/xvfb-run -n 1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 2 -u --auto typed-peg peg-gen && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 2 --drdr --package typed-peg peg-gen) 00: Resolved "typed-peg" via file:///home/root//catalogs/built/catalog Resolved "peg-gen" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "rodrigogribeiro@gmail.com") (checksum . "d820974d6cc0d83a3bd5f252a259335d83b4485a") (dependencies . (("base") ("pprint") ("peg-gen") ("rackcheck") ("parser-tools-lib") ("scribble-lib") ("racket-doc") ("rackunit-lib"))) (description . "A parsing expression grammar library that uses a type inference algorithm to ensure termination of the parsing process.") (modules . ((lib "typed-peg/core.rkt") (lib "typed-peg/grammar.rkt") (lib "typed-peg/typing/constraint-solver.rkt") (lib "typed-peg/examples/test5.rkt") (lib "typed-peg/typing/solver/script-gen.rkt") (lib "typed-peg/tests/testgen.rkt") (lib "typed-peg/debug/infer-only.rkt") (lib "typed-peg/reader.rkt") (lib "typed-peg/typing/constraint-pretty.rkt") (lib "typed-peg/tree.rkt") (lib "typed-peg/examples/test4.rkt") (lib "typed-peg/examples/test7.rkt") (lib "typed-peg/pretty.rkt") (lib "typed-peg/untyped.rkt") (lib "typed-peg/parser.rkt") (lib "typed-peg/examples/test10.rkt") (lib "typed-peg/typing/constraint.rkt") (lib "typed-peg/examples/test12.rkt") (lib "typed-peg/debug/tokenize-only.rkt") (lib "typed-peg/examples/test1.rkt") (lib "typed-peg/debug/parse-only.rkt") (lib "typed-peg/typing/solver/model-parser.rkt") (lib "typed-peg/typing/constraint-gen.rkt") (lib "typed-peg/examples/test11.rkt") (lib "typed-peg/examples/test13.rkt") (lib "typed-peg/typing/type.rkt") (lib "typed-peg/examples/test2.rkt") (lib "typed-peg/debug/z3-script-only.rkt") (lib "typed-peg/examples/test9.rkt") (lib "typed-peg/lexer.rkt") (lib "typed-peg/typing/infer.rkt") (lib "typed-peg/examples/test6.rkt") (lib "typed-peg/main.rkt") (lib "typed-peg/examples/test3.rkt") (lib "typed-peg/scribblings/typed-peg.scrbl") (lib "typed-peg/debug/constraints-only.rkt") (lib "typed-peg/examples/test8.rkt") (lib "typed-peg/typing/solver/model-lexer.rkt"))) (name . "typed-peg") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/typed-peg.zip") (tags . ("parsing" "PEG"))) pkg: catalog response: #hash((author . "eltonm.cardoso@gmail.com") (checksum . "519d275217eec638fc7171ac2aac8398d4f45467") (dependencies . (("algorithms") ("base") ("rackcheck") ("rackunit") ("cover-lib") ("typed-peg") ("algorithms") ("scribble-lib") ("racket-doc") ("rackunit-lib"))) (description . "Well-formed random PEG generator") (modules . ((lib "peg-gen/tests/well-formed.rkt") (lib "peg-gen/tests/verf-well-formed.rkt") (lib "peg-gen/scribblings/peg-gen.scrbl") (lib "peg-gen/tests/test-coverage.rkt") (lib "peg-gen/peg-gen.rkt") (lib "peg-gen/main.rkt"))) (name . "peg-gen") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/peg-gen.zip") (tags . ("GENERATOR" "PEG" "RANDOM"))) 00: Resolved "pprint" via file:///home/root//catalogs/built/catalog Resolved "rackcheck" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "asumu@ccs.neu.edu") (checksum . "e0db0c605c623625b86387a39c899d75a0c0ed2b") (dependencies . (("base") ("dherman-struct") ("rackunit-lib") ("racket-doc") ("scribble-lib"))) (description . "A universal pretty printing library") (modules . ((lib "pprint/haskell.rkt") (lib "pprint/pprint.scrbl") (lib "pprint/main.rkt") (lib "pprint/tests.rkt"))) (name . "pprint") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/pprint.zip") (tags . ("io" "printing"))) pkg: catalog response: #hash((author . "bogdan@defn.io") (checksum . "dd9eeb10bb70d467769a3136009e494e9f6cf5b9") (dependencies . (("base") ("rackcheck-lib") ("racket-doc") ("rackunit-doc") ("rackunit-lib") ("scribble-lib"))) (description . "A property-based testing library with shrinking support.") (modules . ((lib "rackcheck/rackcheck.scrbl"))) (name . "rackcheck") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/rackcheck.zip") (tags . ("quickcheck" "testing"))) 00: Resolved "algorithms" via file:///home/root//catalogs/built/catalog Resolved "cover-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "codereport@outlook.com") (checksum . "00a393b0c516f5db1a617443af516a41b44fa1cb") (dependencies . (("base") ("scribble-lib") ("racket-doc") ("rackunit-lib"))) (description . "A package containing many useful algorithms (borrowed from many other programming languages).") (modules . ((lib "algorithms/main.rkt") (lib "algorithms/scribblings/algorithms.scrbl"))) (name . "algorithms") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/algorithms.zip") (tags . ("algorithms" "lists"))) pkg: catalog response: #hash((author . "spencer@florence.io") (checksum . "f9fe4716b74282a655e88e421b2a24f9ae29bfa4") (dependencies . (("base") ("compiler-lib") ("custom-load") ("data-lib") ("errortrace-lib") ("syntax-color-lib") ("testing-util-lib"))) (description . "A code coverage tool, implementation part") (modules . ((lib "cover/strace.rkt") (lib "cover/cover.rkt") (lib "cover/private/raw.rkt") (lib "cover/private/format-utils.rkt") (lib "cover/private/file-utils.rkt") (lib "cover/format.rkt") (lib "cover/private/contracts.rkt") (lib "cover/main.rkt") (lib "cover/raco.rkt") (lib "cover/private/shared.rkt") (lib "cover/private/html/html.rkt"))) (name . "cover-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/cover-lib.zip") (tags . ("testing" "tools"))) Resolved "dherman-struct" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "clements@racket-lang.org") (checksum . "9d5a597f7904ea82638d54bf0fc8f0afeefc5428") (dependencies . (("base") ("compatibility-lib") ("scheme-lib") ("rackunit-lib") ("srfi-lite-lib"))) (description . "A port of David Herman's struct.plt planet package") (modules . ((lib "dherman-struct/datatype.rkt") (lib "dherman-struct/private/tests/datatype.rkt") (lib "dherman-struct/private/datatype-registry.rkt") (lib "dherman-struct/private/tests/tests.rkt") (lib "dherman-struct/hierarchy.rkt") (lib "dherman-struct/struct.rkt") (lib "dherman-struct/private/datatype-registry-data.rkt") (lib "dherman-struct/private/struct-info-compat.rkt") (lib "dherman-struct/private/tests/class.rkt") (lib "dherman-struct/private/tests/hierarchy.rkt") (lib "dherman-struct/private/tests/struct.rkt") (lib "dherman-struct/class.rkt"))) (name . "dherman-struct") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/dherman-struct.zip") (tags . ())) Resolved "rackcheck-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "bogdan@defn.io") (checksum . "8a0a4e58463d208a692c78b53563066b89b6cd72") (dependencies . (("base") ("rackunit-lib") ("rackunit-lib"))) (description . "A property-based testing library with shrinking support. (implementation)") (modules . ((lib "rackcheck/rackunit.rkt") (lib "rackcheck/shrink-tree.rkt") (lib "rackcheck/gen/unicode.rkt") (lib "rackcheck/gen/base.rkt") (lib "rackcheck/prop.rkt") (lib "rackcheck/gen/core.rkt") (lib "rackcheck/main.rkt") (lib "rackcheck/gen/syntax.rkt") (lib "rackcheck/gen/shrink-tree.rkt"))) (name . "rackcheck-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/rackcheck-lib.zip") (tags . ("quickcheck" "testing"))) Resolved "custom-load" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "ryanc@racket-lang.org") (checksum . "8c11e44eb777d33b3e605f2d12a7386ff6095d05") (dependencies . (("base") ("racket-doc") ("scribble-lib"))) (description . "A load handler that avoids stale zo files.") (modules . ((lib "custom-load/test/a.rkt") (lib "custom-load/test/c.rkt") (lib "custom-load/main.rkt") (lib "custom-load/private/loader.rkt") (lib "custom-load/custom-load.scrbl") (lib "custom-load/top.rkt") (lib "custom-load/test/b.rkt"))) (name . "custom-load") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/custom-load.zip") (tags . ())) pkg: creating single-collection link to # pkg: updating db with "typed-peg" to '#s((sc-pkg-info pkg-info 3) (catalog "typed-peg") "d820974d6cc0d83a3bd5f252a259335d83b4485a" #f "typed-peg") pkg: creating single-collection link to # pkg: updating db with "peg-gen" to '#s((sc-pkg-info pkg-info 3) (catalog "peg-gen") "519d275217eec638fc7171ac2aac8398d4f45467" #f "peg-gen") pkg: creating single-collection link to # pkg: updating db with "pprint" to '#s((sc-pkg-info pkg-info 3) (catalog "pprint") "e0db0c605c623625b86387a39c899d75a0c0ed2b" #t "pprint") pkg: creating single-collection link to # pkg: updating db with "rackcheck" to '#s((sc-pkg-info pkg-info 3) (catalog "rackcheck") "dd9eeb10bb70d467769a3136009e494e9f6cf5b9" #t "rackcheck") pkg: creating single-collection link to # pkg: updating db with "algorithms" to '#s((sc-pkg-info pkg-info 3) (catalog "algorithms") "00a393b0c516f5db1a617443af516a41b44fa1cb" #t "algorithms") pkg: creating link to # pkg: updating db with "cover-lib" to '#s(pkg-info (catalog "cover-lib") "f9fe4716b74282a655e88e421b2a24f9ae29bfa4" #t) pkg: creating link to # pkg: updating db with "dherman-struct" to '#s(pkg-info (catalog "dherman-struct") "9d5a597f7904ea82638d54bf0fc8f0afeefc5428" #t) pkg: creating single-collection link to # pkg: updating db with "rackcheck-lib" to '#s((sc-pkg-info pkg-info 3) (catalog "rackcheck-lib") "8a0a4e58463d208a692c78b53563066b89b6cd72" #t "rackcheck") pkg: creating single-collection link to # pkg: updating db with "custom-load" to '#s((sc-pkg-info pkg-info 3) (catalog "custom-load") "8c11e44eb777d33b3e605f2d12a7386ff6095d05" #t "custom-load") The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of typed-peg: pprint rackcheck dependencies of peg-gen: algorithms cover-lib algorithms dependencies of pprint: dherman-struct dependencies of rackcheck: rackcheck-lib dependencies of cover-lib: custom-load raco setup: version: 8.5 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 8.5 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.5/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.5/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.5/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 --- [23:08:14] raco setup: updating: /home/root/user/.local/share/racket/8.5/share/info-cache.rktd raco setup: --- pre-installing collections --- [23:08:14] raco setup: --- installing foreign libraries --- [23:08:14] raco setup: --- installing shared files --- [23:08:14] raco setup: --- compiling collections --- [23:08:14] raco setup: --- parallel build using 2 jobs --- [23:08:14] raco setup: 1 making: /algorithms raco setup: 0 making: /cover-lib/cover raco setup: 1 making: /algorithms/scribblings raco setup: 1 making: /custom-load (custom-load) raco setup: 1 making: /custom-load/private raco setup: 1 making: /dherman-struct/dherman-struct (struct) raco setup: 1 making: /dherman-struct/dherman-struct/private raco setup: 1 making: /dherman-struct/dherman-struct/private/tests raco setup: 0 making: /cover-lib/cover/private raco setup: 0 making: /cover-lib/cover/private/html raco setup: 0 making: /cover-lib/cover/private/html/assets raco setup: 0 making: /peg-gen raco setup: 1 making: /pprint (pprint) raco setup: 0 making: /peg-gen/TestData raco setup: 0 making: /peg-gen/TestData/coverage-out1 raco setup: 0 making: /peg-gen/TestData/coverage-out1/assets raco setup: 0 making: /peg-gen/TestData/coverage-out1/tests raco setup: 0 making: /peg-gen/TestData/coverage-out2 raco setup: 0 making: /peg-gen/TestData/coverage-out2/assets raco setup: 0 making: /peg-gen/TestData/coverage-out2/tests raco setup: 0 making: /peg-gen/coverage raco setup: 0 making: /peg-gen/coverage/assets raco setup: 0 making: /peg-gen/coverage/tests raco setup: 0 making: /peg-gen/scribblings raco setup: 0 making: /peg-gen/tests raco setup: 1 making: /rackcheck raco setup: 1 making: /rackcheck-lib raco setup: 1 making: /rackcheck-lib/gen raco setup: 1 making: /typed-peg raco setup: 1 making: /typed-peg/debug raco setup: 1 making: /typed-peg/examples raco setup: 1 making: /typed-peg/scribblings raco setup: 1 making: /typed-peg/tests raco setup: 1 making: /typed-peg/typing raco setup: 1 making: /typed-peg/typing/solver raco setup: --- creating launchers --- [23:08:22] raco setup: --- installing man pages --- [23:08:22] raco setup: --- building documentation --- [23:08:22] raco setup: syncing: /algorithms/doc/algorithms raco setup: syncing: /custom-load/doc/custom-load raco setup: syncing: /peg-gen/doc/peg-gen raco setup: syncing: /pprint/doc/pprint raco setup: syncing: /rackcheck/doc/rackcheck raco setup: syncing: /typed-peg/doc/typed-peg raco setup: 1 running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 0 running: /racket-index/scribblings/main/user/release.scrbl raco setup: 1 running: /racket-index/scribblings/main/user/search.scrbl raco setup: 0 running: /racket-index/scribblings/main/user/start.scrbl raco setup: 1 rendering: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/release.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/search.scrbl raco setup: 1 rendering: /racket-index/scribblings/main/user/start.scrbl raco setup: --- installing collections --- [23:08:39] raco setup: --- post-installing collections --- [23:08:39] raco test: 0 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/core.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/debug/constraints-only.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/debug/infer-only.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/debug/parse-only.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/debug/tokenize-only.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/debug/z3-script-only.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/examples/test1.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/examples/test10.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/examples/test11.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/examples/test12.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/examples/test13.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/examples/test2.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/examples/test3.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/examples/test4.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/examples/test5.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/examples/test6.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/examples/test7.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/examples/test8.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/examples/test9.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/grammar.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/info.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/lexer.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/main.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/parser.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/pretty.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/reader.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/scribblings/typed-peg.scrbl" raco test: 1 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/tests/testgen.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/tree.rkt" testgen.rkt: racket test: non-empty stderr: #"/bin/sh: 1: z3: not found\n/bin/sh: 1: z3: not found\n/bin/sh: 1: z3: not found\n--------------------\nFAILURE\nlocation: testgen.rkt:97:0\nname: type-checks\nseed: 1777065984\nparams: '(# #)\n\nFailed after 1 tests:\n\n peg = (\342\210\205 \316\265 ())\n\nShrunk:\n\n peg = (\342\210\205 0 ())\n\nException:\nparser: Cannot continue after error\n context...:\n /home/root/racket/collects/syntax/readerr.rkt:15:2: -raise-read-error\n /home/root/racket/share/pkgs/parser-tools-lib/parser-tools/yacc.rkt:356:16: parsing-loop\n /home/root/user/.local/share/racket/8.5/pkgs/typed-peg/typing/infer.rkt:13:0: infer\n .../private/check.rkt:143:27\n /home/root/user/.local/share/racket/8.5/pkgs/rackcheck-lib/prop.rkt:128:4: descend-shrinks\n /home/root/user/.local/share/racket/8.5/pkgs/rackcheck-lib/prop.rkt:110:0: check\n /home/root/racket/collects/racket/contract/private/arrow-higher-order.rkt:375:33\n .../private/check.rkt:122:34\n /home/root/racket/share/pkgs/rackunit-lib/rackunit/private/check.rkt:70:4\n body of \"/home/root/user/.local/share/racket/8.5/pkgs/typed-peg/tests/testgen.rkt\"\n /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:85:2\n body of (submod \"/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt\" process)\n body of top-level\n\n--------------------\n/bin/sh: 1: z3: not found\n/bin/sh: 1: z3: not found\n/bin/sh: 1: z3: not found\n/bin/sh: 1: z3: not found\n--------------------\nFAILURE\nlocation: testgen.rkt:98:0\nname: type-contexts-match\nseed: 1868999168\nparams: '(# #)\n\nFailed after 1 tests:\n\n peg = (\342\210\205 (\342\200\242 \316\265 \316\265) ())\n\nShrunk:\n\n peg = (\342\210\205 0 ())\n\nException:\nparser: Cannot continue after error\n context...:\n /home/root/racket/collects/syntax/readerr.rkt:15:2: -raise-read-error\n /home/root/racket/share/pkgs/parser-tools-lib/parser-tools/yacc.rkt:356:16: parsing-loop\n /home/root/user/.local/share/racket/8.5/pkgs/typed-peg/typing/infer.rkt:13:0: infer\n .../private/check.rkt:143:27\n /home/root/user/.local/share/racket/8.5/pkgs/rackcheck-lib/prop.rkt:128:4: descend-shrinks\n /home/root/user/.local/share/racket/8.5/pkgs/rackcheck-lib/prop.rkt:110:0: check\n /home/root/racket/collects/racket/contract/private/arrow-higher-order.rkt:375:33\n .../private/check.rkt:122:34\n /home/root/racket/share/pkgs/rackunit-lib/rackunit/private/check.rkt:70:4\n body of \"/home/root/user/.local/share/racket/8.5/pkgs/typed-peg/tests/testgen.rkt\"\n /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:85:2\n body of (submod \"/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt\" process)\n body of top-level\n\n--------------------\n" raco test: 1 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/typing/constraint-gen.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/typing/constraint-pretty.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/typing/constraint-solver.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/typing/constraint.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/typing/infer.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/typing/solver/model-lexer.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/typing/solver/model-parser.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/typing/solver/script-gen.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/typing/type.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.5/pkgs/typed-peg/untyped.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.5/pkgs/peg-gen/info.rkt" raco test: 1 (submod "/home/root//user/.local/share/racket/8.5/pkgs/peg-gen/main.rkt" test) raco test: 0 "/home/root//user/.local/share/racket/8.5/pkgs/peg-gen/peg-gen.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.5/pkgs/peg-gen/scribblings/peg-gen.scrbl" raco test: 0 "/home/root//user/.local/share/racket/8.5/pkgs/peg-gen/tests/test-coverage.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.5/pkgs/peg-gen/tests/verf-well-formed.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.5/pkgs/peg-gen/tests/well-formed.rkt" 1/4 test failures 2 /home/root//user/.local/share/racket/8.5/pkgs/peg-gen/main.rkt 1 /home/root//user/.local/share/racket/8.5/pkgs/peg-gen/tests/test-coverage.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/core.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/debug/constraints-only.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/debug/infer-only.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/debug/parse-only.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/debug/tokenize-only.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/debug/z3-script-only.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/examples/test1.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/examples/test10.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/examples/test11.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/examples/test12.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/examples/test13.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/examples/test2.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/examples/test3.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/examples/test4.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/examples/test5.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/examples/test6.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/examples/test7.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/examples/test8.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/examples/test9.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/grammar.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/info.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/lexer.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/main.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/parser.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/pretty.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/reader.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/scribblings/typed-peg.scrbl 0 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/tree.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/typing/constraint-gen.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/typing/constraint-pretty.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/typing/constraint-solver.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/typing/constraint.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/typing/infer.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/typing/solver/model-lexer.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/typing/solver/model-parser.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/typing/solver/script-gen.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/typing/type.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/untyped.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/peg-gen/info.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/peg-gen/peg-gen.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/peg-gen/scribblings/peg-gen.scrbl 0 /home/root//user/.local/share/racket/8.5/pkgs/peg-gen/tests/verf-well-formed.rkt 0 /home/root//user/.local/share/racket/8.5/pkgs/peg-gen/tests/well-formed.rkt 1 1 /home/root//user/.local/share/racket/8.5/pkgs/typed-peg/tests/testgen.rkt The time is now Monday, June 20th, 2022 11:09:06pm