The time is now Sunday, September 15th, 2024 6:25:38pm (/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 lsl && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 2 --drdr --package lsl) Resolved "lsl" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "camoy@ccs.neu.edu") (checksum . "83047eea5cde7c7e12f8ee3d1e044528b7a295db") (dependencies . (("errortrace-lib") ("base") ("lsl-lib") ("automata-doc") ("compatibility-doc") ("htdp-doc") ("htdp-lib") ("chk-lib") ("racket-doc") ("sandbox-lib") ("scribble-lib"))) (description . "") (modules . ((lib "lsl/scribblings/label.rkt") (lib "lsl/tests/allof.rkt") (lib "lsl/tests/concurrency.rkt") (lib "lsl/tests/recursive.rkt") (lib "lsl/tests/immediate.rkt") (lib "lsl/tests/rackunit.rkt") (lib "lsl/tests/struct.rkt") (lib "lsl/scribblings/lsl.scrbl") (lib "lsl/tests/oneof.rkt") (lib "lsl/tests/regression.rkt") (lib "lsl/tests/function.rkt") (lib "lsl/tests/const-folding.rkt") (lib "lsl/tests/record.rkt") (lib "lsl/tests/list.rkt") (lib "lsl/tests/parametric.rkt") (lib "lsl/tests/util.rkt"))) (name . "lsl") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/lsl.zip") (tags . ())) 00: Resolved "lsl-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "automata-doc" via file:///home/root//catalogs/built/catalog Resolved "chk-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "camoy@ccs.neu.edu") (checksum . "90a8bb8aeaa7a7bc661ed923b3ae03d1a9a1625c") (dependencies . (("gui-easy-lib") ("metapict") ("automata-lib") ("http-easy-lib") ("plot-gui-lib") ("plot-lib") ("rackunit-lib") ("struct-set") ("threading-lib") ("base") ("ee-lib") ("errortrace-lib") ("mischief") ("rosette") ("syntax-classes") ("threading"))) (description . "") (modules . ((lib "lsl/private/library/automata.rkt") (lib "lsl/private/library/concurrency.rkt") (lib "lsl/private/library/concurrency-gui.rkt") (lib "lsl/private/guard.rkt") (lib "lsl/private/library/function.rkt") (lib "lsl/private/library/test.rkt") (lib "lsl/private/library/list.rkt") (lib "lsl/private/syntax/splicing.rkt") (lib "lsl/private/contract/parametric.rkt") (lib "lsl/private/contract/function.rkt") (lib "lsl/private/syntax/expand.rkt") (lib "lsl/private/syntax/grammar.rkt") (lib "lsl/private/library/number.rkt") (lib "lsl/private/library/char.rkt") (lib "lsl/private/contract/recursive.rkt") (lib "lsl/private/contract/immediate.rkt") (lib "lsl/private/proxy.rkt") (lib "lsl/private/syntax/compile.rkt") (lib "lsl/private/contract/oneof.rkt") (lib "lsl/performance.rkt") (lib "lsl/private/syntax/free-vars.rkt") (lib "lsl/private/contract/allof.rkt") (lib "lsl/private/syntax/interface.rkt") (lib "lsl/private/library/core.rkt") (lib "lsl/private/util.rkt") (lib "lsl/private/library/string.rkt") (lib "lsl/private/library/boolean.rkt") (lib "lsl/private/library/time.rkt") (lib "lsl/private/library/equal.rkt") (lib "lsl/private/contract/struct.rkt") (lib "lsl/main.rkt") (lib "lsl/private/library/contract.rkt") (lib "lsl/private/contract/common.rkt") (lib "lsl/private/contract/list.rkt"))) (name . "lsl-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/lsl-lib.zip") (tags . ())) pkg: catalog response: #hash((author . "jay.mccarthy@gmail.com") (checksum . "278d7b879db14caf94236a4b6afbdec68f99542a") (dependencies . (("base" #:version "6.2.900.4") ("automata-lib") ("scribble-lib") ("racket-doc"))) (description . "a library for defining efficient automata using match patterns") (modules . ((lib "automata/scribblings/automata.scrbl") (lib "automata/scribblings/re.scrbl"))) (name . "automata-doc") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/automata-doc.zip") (tags . ("automata" "match" "regex"))) pkg: catalog response: #hash((author . "jay.mccarthy@gmail.com") (checksum . "e3d0e2b557f643a23855b58cd407a85a9710d976") (dependencies . (("testing-util-lib") ("base"))) (description . "a minimal tester") (modules . ((lib "chk/main.rkt"))) (name . "chk-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/chk-lib.zip") (tags . ("testing"))) 00: Resolved "gui-easy-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "metapict" via file:///home/root//catalogs/built/catalog 01: Resolved "automata-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "http-easy-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "struct-set" via file:///home/root//catalogs/built/catalog 00: Resolved "threading-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "ee-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "mischief" via file:///home/root//catalogs/built/catalog 00: Resolved "rosette" via file:///home/root//catalogs/built/catalog 01: Resolved "syntax-classes" via file:///home/root//catalogs/built/catalog Resolved "threading" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "bogdan@defn.io") (checksum . "2f33b9e57392042088cc26aee842baeb69ff2acd") (dependencies . (("base") ("box-extra-lib") ("draw-lib") ("gui-lib") ("pict-lib") ("rackunit-lib"))) (description . "A declarative API on top of racket/gui. (implementation)") (modules . ((lib "racket/gui/easy/private/view/window.rkt") (lib "racket/gui/easy.rkt") (lib "racket/gui/easy/private/view/table.rkt") (lib "racket/gui/easy/private/executor.rkt") (lib "racket/gui/easy/private/view/view.rkt") (lib "racket/gui/easy/private/view/image.rkt") (lib "racket/gui/easy/private/view/keymap.rkt") (lib "racket/gui/easy/view.rkt") (lib "racket/gui/easy/font.rkt") (lib "racket/gui/easy/private/view/choice.rkt") (lib "racket/gui/easy/private/view/canvas.rkt") (lib "racket/gui/easy/private/view/hooks.rkt") (lib "racket/gui/easy/operator.rkt") (lib "racket/gui/easy/private/view/button.rkt") (lib "racket/gui/easy/private/view/spacer.rkt") (lib "racket/gui/easy/color.rkt") (lib "racket/gui/easy/private/view/container.rkt") (lib "racket/gui/easy/private/view/if.rkt") (lib "racket/gui/easy/private/view/slider.rkt") (lib "racket/gui/easy/private/view/observable.rkt") (lib "racket/gui/easy/private/observable.rkt") (lib "racket/gui/easy/private/renderer.rkt") (lib "racket/gui/easy/private/logger.rkt") (lib "racket/gui/easy/debugger.rkt") (lib "racket/gui/easy/private/view/list.rkt") (lib "racket/gui/easy/renderer.rkt") (lib "racket/gui/easy/private/view/tabs.rkt") (lib "racket/gui/easy/private/view/progress.rkt") (lib "racket/gui/easy/hash-lang.rkt") (lib "racket/gui/easy/private/view/menu.rkt") (lib "racket/gui/easy/contract.rkt") (lib "racket/gui/easy/private/view/checkbox.rkt") (lib "racket/gui/easy/private/view/common.rkt") (lib "racket/gui/easy/private/view/snip.rkt") (lib "racket/gui/easy/private/view/radios.rkt") (lib "racket/gui/easy/private/view/proxy.rkt") (lib "racket/gui/easy/private/view/input.rkt") (lib "racket/gui/easy/observable.rkt") (lib "racket/gui/easy/private/view.rkt") (lib "racket/gui/easy/private/view/text.rkt") (lib "racket/gui/easy/private/view/panel.rkt"))) (name . "gui-easy-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/gui-easy-lib.zip") (tags . ("gui"))) pkg: catalog response: #hash((author . "jensaxel@soegaard.net") (checksum . "d1493232534d2c08a139d76a1364523af2b3f998") (dependencies . (("base") ("draw-lib") ("math-lib") ("gui-lib") ("parser-tools-lib") ("pict-lib") ("slideshow-lib") ("srfi-lite-lib") ("ppict") ("htdp-lib") ("compatibility-lib") ("graph-lib") ("plot-gui-lib") ("plot-lib") ("rackunit-lib") ("unstable-latent-contract-lib") ("unstable-parameter-group-lib") ("at-exp-lib") ("rackunit-lib") ("scribble-lib") ("racket-doc") ("draw-doc") ("pict-doc") ("racket-poppler"))) (description . "Create beautiful pictures and diagrams") (modules . ((lib "metapict/scribblings/pt.scrbl") (lib "metapict/svg/chess.rkt") (lib "metapict/line.rkt") (lib "metapict/box-and-pointer-diagram.rkt") (lib "metapict/graph.rkt") (lib "metapict/markings.rkt") (lib "metapict/grid.rkt") (lib "metapict/exp/framed-table.rkt") (lib "metapict/adaptive-plot.rkt") (lib "metapict/trig.rkt") (lib "metapict/scribblings/examples.scrbl") (lib "metapict/examples/racket-logo.rkt") (lib "metapict/device.rkt") (lib "metapict/dc.rkt") (lib "metapict/path-operations.rkt") (lib "metapict/trans.rkt") (lib "metapict/axis.rkt") (lib "metapict/extras/flags.rkt") (lib "metapict/bez.rkt") (lib "metapict/exp/render-math-using-picts.rkt") (lib "metapict/function.rkt") (lib "metapict/examples/pointilism.rkt") (lib "metapict/color.rkt") (lib "metapict/scribblings/curves.scrbl") (lib "metapict/examples/venn.rkt") (lib "metapict/def.rkt") (lib "metapict/svg/svg-path.rkt") (lib "metapict/examples/uml.rkt") (lib "metapict/examples/arbelos.rkt") (lib "metapict/scribblings/labels.scrbl") (lib "metapict/todo/lexer.rkt") (lib "metapict/scribblings/utils.rkt") (lib "metapict/pen-and-brush.rkt") (lib "metapict/parameters.rkt") (lib "metapict/svg/elliptical-arc.rkt") (lib "metapict/examples/metapost-examples.rkt") (lib "metapict/examples/reuleaux-triangle.rkt") (lib "metapict/examples/rectilinear.rkt") (lib "metapict/gradient.rkt") (lib "metapict/mat.rkt") (lib "metapict/examples/root-spiral.rkt") (lib "metapict/main.rkt") (lib "metapict/scribblings/representation.scrbl") (lib "metapict/curve.rkt") (lib "metapict/examples/pict-finders.rkt") (lib "metapict/save-svg.rkt") (lib "metapict/arrow.rkt") (lib "metapict/scribblings/examples4.rkt") (lib "metapict/scribblings/metapict.scrbl") (lib "metapict/snake.rkt") (lib "metapict/examples/truncated-cone.rkt") (lib "metapict/examples/geometry-exercises.rkt") (lib "metapict/scribblings/construction-of-bezier-curve.rkt") (lib "metapict/scribblings/draw-and-fill.scrbl") (lib "metapict/node.rkt") (lib "metapict/examples/olympic-rings.rkt") (lib "metapict/scribblings/bez.scrbl") (lib "metapict/clipping.rkt") (lib "metapict/palette.rkt") (lib "metapict/draw.rkt") (lib "metapict/scribblings/pict.scrbl") (lib "metapict/pt-vec.rkt") (lib "metapict/polygons.rkt") (lib "metapict/geometry.rkt") (lib "metapict/domain.rkt") (lib "metapict/examples/generate-exercises-to-pdf.rkt") (lib "metapict/skyline.rkt") (lib "metapict/examples/kmiecik-examples-from-tug-boat.rkt") (lib "metapict/scribblings/reference.scrbl") (lib "metapict/examples/exercises-angles-in-right-triangle.rkt") (lib "metapict/exp/tex/render-tex-formula.rkt") (lib "metapict/shapes.rkt") (lib "metapict/examples/convex-hull.rkt") (lib "metapict/examples/random-curve.rkt") (lib "metapict/examples/pointilism2.rkt") (lib "metapict/hom.rkt") (lib "metapict/slices.rkt") (lib "metapict/svg/svg-path-lexer-and-parser.rkt") (lib "metapict/examples/state-machine-turn-stile.rkt") (lib "metapict/label.rkt") (lib "metapict/function-plot.rkt") (lib "metapict/parametric-plot.rkt") (lib "metapict/text-path.rkt") (lib "metapict/examples/gradient-example.rkt") (lib "metapict/scribblings/curve.scrbl") (lib "metapict/extras/function-tables.rkt") (lib "metapict/todo/test-grammar-and-lexer.rkt") (lib "metapict/system.rkt") (lib "metapict/tests/test-node.rkt") (lib "metapict/examples/rotating-triangle.rkt") (lib "metapict/draw-bezier.rkt") (lib "metapict/todo/tagged-pict.rkt") (lib "metapict/examples/graphviz-experiment.rkt") (lib "metapict/tests/commutative-diagrams.rkt") (lib "metapict/list3-sequence.rkt") (lib "metapict/todo/linear-equations.rkt") (lib "metapict/histogram.rkt") (lib "metapict/dc-path.rkt") (lib "metapict/examples/vector-diagrams.rkt") (lib "metapict/examples/peano.rkt") (lib "metapict/examples/glider.rkt") (lib "metapict/scribblings/examples5.scrbl") (lib "metapict/scribblings/device.scrbl") (lib "metapict/bitmap.rkt") (lib "metapict/plot.rkt") (lib "metapict/structs.rkt") (lib "metapict/text.rkt") (lib "metapict/tests/test-text-path.rkt") (lib "metapict/examples/cuboid.rkt") (lib "metapict/pict.rkt") (lib "metapict/examples/stream-plot.rkt") (lib "metapict/examples/asymptote-hobby-control.rkt") (lib "metapict/examples/koch-curve.rkt") (lib "metapict/examples/asymptote-venn-diagram.rkt") (lib "metapict/shade.rkt") (lib "metapict/examples/integral-left-sum.rkt") (lib "metapict/examples/example-graph.rkt") (lib "metapict/scribblings/trans.scrbl") (lib "metapict/window.rkt") (lib "metapict/scribblings/guide.scrbl") (lib "metapict/examples/metapost-manual.rkt") (lib "metapict/cubic-equation.rkt") (lib "metapict/tests/test-radial-gradient-for-ellipse.rkt") (lib "metapict/examples/triangles.rkt") (lib "metapict/scribblings/examples2.rkt") (lib "metapict/match-case-lambda.rkt") (lib "metapict/tests/test-rotation.rkt") (lib "metapict/path.rkt") (lib "metapict/exp/font-root-test.rkt") (lib "metapict/save-pdf.rkt") (lib "metapict/scribblings/guide.rkt") (lib "metapict/debug.rkt") (lib "metapict/scribblings/moonlanding.rkt") (lib "metapict/examples/grapviz-experiment.rkt") (lib "metapict/tree.rkt") (lib "metapict/metapict.rkt") (lib "metapict/examples/sine-cosine-drawing.rkt") (lib "metapict/crop.rkt") (lib "metapict/scribblings/colors.scrbl") (lib "metapict/font.rkt") (lib "metapict/tests/test-latex-formulas.rkt") (lib "metapict/scribblings/coordinates.scrbl") (lib "metapict/pict-lite.rkt") (lib "metapict/examples/metafont-book.rkt") (lib "metapict/todo/grammar-expressions.rkt") (lib "metapict/todo/grammar.rkt") (lib "metapict/examples/missing-square-puzzle.rkt") (lib "metapict/examples/triangle-sss.rkt") (lib "metapict/angles.rkt") (lib "metapict/examples/polygonal-numbers.rkt"))) (name . "metapict") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/metapict.zip") (tags . ("graph" "graphics" "images" "metapict" "node" "tikz"))) pkg: catalog response: #hash((author . "jay.mccarthy@gmail.com") (checksum . "7f392d2e4f0583acafe7ea0b044f411af1dcfbc9") (dependencies . (("base" #:version "6.2.900.6"))) (description . "a library for defining efficient automata using match patterns") (modules . ((lib "automata/nfa.rkt") (lib "automata/re-help.rkt") (lib "automata/nfa-star.rkt") (lib "automata/re.rkt") (lib "automata/machine.rkt") (lib "automata/nfa-ep.rkt") (lib "automata/re-ext.rkt") (lib "automata/re-compile.rkt") (lib "automata/dfa.rkt"))) (name . "automata-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/automata-lib.zip") (tags . ("automata" "match" "regex"))) pkg: catalog response: #hash((author . "bogdan@defn.io") (checksum . "d7cfa0a0a8142e114b07d6d85dae9e7aee8c6359") (dependencies . (("base" #:version "8.1.0.4") ("net-cookies-lib") ("resource-pool-lib" #:version "0.1") ("unix-socket-lib"))) (description . "A high-level HTTP client. (implementation)") (modules . ((lib "net/http-easy/private/proxy.rkt") (lib "net/http-easy/private/reflect.rkt") (lib "net/http-easy/private/payload.rkt") (lib "net/http-easy/private/user-agent.rkt") (lib "net/http-easy/private/port.rkt") (lib "net/http-easy/private/pool.rkt") (lib "net/http-easy/private/error.rkt") (lib "net/http-easy/private/common.rkt") (lib "net/http-easy/private/auth.rkt") (lib "net/http-easy/private/url.rkt") (lib "net/http-easy/private/response.rkt") (lib "net/http-easy.rkt") (lib "net/http-easy/private/logger.rkt") (lib "net/http-easy/private/contract.rkt") (lib "net/http-easy/private/session.rkt") (lib "net/http-easy/private/timeout.rkt"))) (name . "http-easy-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/http-easy-lib.zip") (tags . ("client" "http" "https"))) pkg: catalog response: #hash((author . "camoy@ccs.neu.edu") (checksum . "077db508fdb3d162dcdaea1105ef63bdf80cd2e8") (dependencies . (("syntax-classes-lib") ("base") ("sandbox-lib") ("chk-lib") ("scribble-lib") ("racket-doc") ("rackunit-lib"))) (description . "Helpers for immutably updating structs.") (modules . ((lib "struct-set/scribblings/struct-set.scrbl") (lib "struct-set/main.rkt"))) (name . "struct-set") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/struct-set.zip") (tags . ("struct"))) pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "744984a6c1fc8f152fdabc85a0cdd15c86b5b676") (dependencies . (("base" #:version "6.3"))) (description . "implementation (no documentation) for “threading”") (modules . ((lib "threading/main.rkt"))) (name . "threading-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/threading-lib.zip") (tags . ())) pkg: catalog response: #hash((author . "michael.ballantyne@gmail.com") (checksum . "ff205760388fbe961ff2bdcc309564f49a8d637d") (dependencies . (("base" #:version "8.2.0.7") ("rackunit-lib") ("racket-doc") ("scribble-lib") ("drracket"))) (description . "Utilities for defining embedded macro expanders") (modules . ((lib "ee-lib/test/suspend/suspend-test.rkt") (lib "ee-lib/test/js.rkt") (lib "ee-lib/main.rkt") (lib "ee-lib/define.rkt") (lib "ee-lib/private/lift-trampoline.rkt") (lib "ee-lib/syntax-category.rkt") (lib "ee-lib/private/flip-intro-scope.rkt") (lib "ee-lib/test/splicing.rkt") (lib "ee-lib/private/datum-map.rkt") (lib "ee-lib/persistent-id-table.rkt") (lib "ee-lib/test/same-binding.rkt") (lib "ee-lib/private/binding.rkt") (lib "ee-lib/scribblings/ee-lib.scrbl") (lib "ee-lib/test/jstest.rkt") (lib "ee-lib/test/phone-numbers-ee-lib.rkt") (lib "ee-lib/test/phone-numbers-basic.rkt") (lib "ee-lib/private/lift-disappeareds.rkt") (lib "ee-lib/private/syntax-serializer.rkt") (lib "ee-lib/errors.rkt") (lib "ee-lib/test/suspend/suspend.rkt") (lib "ee-lib/private/syntax-datum.rkt"))) (name . "ee-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/ee-lib.zip") (tags . ())) pkg: catalog response: #hash((author . "cce@racket-lang.org") (checksum . "107eafc2fe2c6d3178d00a5d14c074863776a65e") (dependencies . (("base") ("compatibility-lib") ("macro-debugger") ("macro-debugger-text-lib") ("pconvert-lib") ("sandbox-lib") ("scribble-lib") ("srfi-lib") ("srfi-lite-lib") ("compatibility-doc") ("data-doc") ("racket-doc") ("scribble-doc") ("racket-index") ("rackunit-gui") ("rackunit-lib"))) (description . "Mischief: A Racketeer's Toolkit") (modules . ((lib "mischief/lang/config.rkt") (lib "mischief/shorthand.rkt") (lib "mischief/scribblings/fold.scrbl") (lib "no-debug/low-level.rkt") (lib "mischief/maybe.rkt") (lib "no-debug/racket/lang/reader.rkt") (lib "mischief/values.rkt") (lib "mischief/scribblings/typesetting.scrbl") (lib "mischief/props/lang/reader.rkt") (lib "mischief/scribblings/id-table.scrbl") (lib "mischief/scribblings/higher-order.scrbl") (lib "mischief/quotation.rkt") (lib "mischief/error.rkt") (lib "mischief/scribblings/datatypes.scrbl") (lib "mischief/struct.rkt") (lib "mischief/memoize.rkt") (lib "mischief/phrase.rkt") (lib "mischief/scribblings/scope.scrbl") (lib "mischief/discrim.rkt") (lib "mischief/scribblings/transform.scrbl") (lib "mischief/function.rkt") (lib "mischief/scribblings/examples.scrbl") (lib "debug/racket/base.rkt") (lib "mischief/dye-pack.rkt") (lib "mischief/parse.rkt") (lib "mischief/scribblings/modular.scrbl") (lib "mischief/list.rkt") (lib "mischief/main.rkt") (lib "mischief/json.rkt") (lib "no-debug/syntax.rkt") (lib "mischief/stylish/expression.rkt") (lib "debug/low-level.rkt") (lib "mischief/stylish/stylish.rkt") (lib "no-debug/main.rkt") (lib "mischief/lang/runtime.rkt") (lib "mischief/web.rkt") (lib "mischief/scribblings/debugging.scrbl") (lib "mischief/keyword.rkt") (lib "mischief/stylish/print.rkt") (lib "mischief/sort.rkt") (lib "mischief/for.rkt") (lib "mischief/stream.rkt") (lib "mischief/contract.rkt") (lib "mischief/define.rkt") (lib "mischief/scribblings/web.scrbl") (lib "mischief/scribblings/for.scrbl") (lib "mischief/scribblings/contract.scrbl") (lib "debug/provide.rkt") (lib "mischief/explode.rkt") (lib "mischief/stylish/format.rkt") (lib "mischief/scribblings/metaprogramming-moderate.scrbl") (lib "mischief/scope.rkt") (lib "mischief/examples.rkt") (lib "mischief/scribblings/mischief.scrbl") (lib "mischief/dict.rkt") (lib "mischief/kernel-syntax.rkt") (lib "no-debug/mischief.rkt") (lib "mischief/symbol.rkt") (lib "debug/syntax.rkt") (lib "mischief/require.rkt") (lib "no-debug/racket/base/lang/reader.rkt") (lib "mischief/scribblings/metaprogramming-complex.scrbl") (lib "mischief/stylish.rkt") (lib "mischief/scribblings/bindings.scrbl") (lib "mischief/scribblings/parse.scrbl") (lib "debug/racket/lang/reader.rkt") (lib "mischief/visitor.rkt") (lib "mischief/match.rkt") (lib "mischief/scribblings/visitor.scrbl") (lib "mischief/stylish/print-style.rkt") (lib "mischief/scribblings/no-debug.scrbl") (lib "mischief/id-table.rkt") (lib "mischief/lang/reader.rkt") (lib "mischief/scribblings/printing.scrbl") (lib "mischief/transform.rkt") (lib "mischief/preserve-expensive-metadata.rkt") (lib "mischief/scribblings/metaprogramming.scrbl") (lib "mischief/scribblings/stylish.scrbl") (lib "debug/racket.rkt") (lib "mischief/stepper.rkt") (lib "mischief/private/reify-value.rkt") (lib "mischief/scribblings/kernel-syntax.scrbl") (lib "debug/main.rkt") (lib "no-debug/racket.rkt") (lib "mischief/boolean.rkt") (lib "debug/mischief.rkt") (lib "mischief/fold.rkt") (lib "debug/mischief/lang/reader.rkt") (lib "mischief/scribblings/debug.scrbl") (lib "mischief/scribblings/memoize.scrbl") (lib "no-debug/mischief/lang/reader.rkt") (lib "mischief/scribblings/function.scrbl") (lib "mischief/scribblings/dye-pack.scrbl") (lib "debug/racket/base/lang/reader.rkt") (lib "mischief/private/render-expression.rkt") (lib "mischief/module.rkt") (lib "mischief/scribblings/metaprogramming-simple.scrbl") (lib "mischief/string.rkt") (lib "mischief/stylish/expr-style.rkt") (lib "mischief/place.rkt") (lib "mischief/stylish/signatures.rkt") (lib "mischief/tests/stylish.rkt") (lib "no-debug/racket/base.rkt"))) (name . "mischief") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/mischief.zip") (tags . ("data" "debug" "dev" "documentation" "language" "syntax"))) pkg: catalog response: #hash((author . "emina@cs.washington.edu") (checksum . "227f385fab50cf2b5ac9d593355cb84a00988235") (dependencies . (("custom-load") ("sandbox-lib") ("scribble-lib") ("racket" #:version "8.1") ("r6rs-lib") ("rfc6455") ("net-lib") ("web-server-lib") ("rackunit-lib") ("slideshow-lib") ("gui-lib") ("base") ("rackunit-doc") ("draw-lib") ("errortrace-lib") ("pict-lib") ("pict-doc") ("scribble-lib") ("racket-doc") ("gui-doc") ("errortrace-doc"))) (description . "The Rosette Language") (modules . ((lib "test/profile/benchmarks/exn.rkt") (lib "sdsl/bv/lang/log.rkt") (lib "test/profile/benchmarks/update-at.rkt") (lib "rosette/lib/trace/compile.rkt") (lib "rosette/base/core/function.rkt") (lib "rosette/base/core/distinct.rkt") (lib "test/trace/code/lib.rkt") (lib "test/trace/stress/tail.rkt") (lib "rosette/guide/scribble/util/lifted.rkt") (lib "test/base/solver.rkt") (lib "rosette/guide/scribble/welcome/welcome.scrbl") (lib "sdsl/synthcl/lang/queries.rkt") (lib "test/query/synthax.rkt") (lib "rosette/lib/util/streaming-server.rkt") (lib "rosette/private/install.rkt") (lib "rosette/lib/profile/tool.rkt") (lib "test/trace/code/ex-1-2.rkt") (lib "sdsl/synthcl/examples/toy/verify/kernel.rkt") (lib "rosette/solver/smt/boolector.rkt") (lib "test/trace/test.rkt") (lib "rosette/main.rkt") (lib "sdsl/synthcl/examples/matrixMultiply/synth/kernel.rkt") (lib "sdsl/fsm/demo.rkt") (lib "sdsl/ifc/basic.rkt") (lib "sdsl/synthcl/model/program.rkt") (lib "rosette/lib/destruct.rkt") (lib "rosette/guide/scribble/unsafe/unsafe.scrbl") (lib "sdsl/synthcl/model/buffer.rkt") (lib "rosette/base/core/reporter.rkt") (lib "rosette/solver/smt/cvc4.rkt") (lib "sdsl/bv/lang/program.rkt") (lib "test/config.rkt") (lib "sdsl/bv/test/easy.rkt") (lib "rosette/guide/scribble/libs/racket-libs.scrbl") (lib "rosette/lib/profile/reporter.rkt") (lib "test/base/bvseq.rkt") (lib "test/base/merge.rkt") (lib "rosette/base/core/type.rkt") (lib "rosette/base/core/numerics.rkt") (lib "test/base/term.rkt") (lib "test/base/equality.rkt") (lib "rosette/lib/match.rkt") (lib "sdsl/bv/lang/bvops.rkt") (lib "sdsl/synthcl/test/typecheck.rkt") (lib "test/profile/test.rkt") (lib "test/base/exprs.rkt") (lib "sdsl/websynth/benchmarks/alanon_arkansas_2.rkt") (lib "sdsl/bv/test/all-tests.rkt") (lib "sdsl/synthcl/lang/builtins.rkt") (lib "rosette/lib/profile/renderer/heap.rkt") (lib "test/base/optimize-order.rkt") (lib "test/query/optimize.rkt") (lib "sdsl/websynth/test/imdb250_16.rkt") (lib "rosette/base/core/bvlib.rkt") (lib "rosette/guide/scribble/performance/performance.scrbl") (lib "test/query/solve.rkt") (lib "sdsl/synthcl/examples/sobelFilter/host.rkt") (lib "sdsl/websynth/test/all-tests.rkt") (lib "sdsl/websynth/test/alanon_arkansas_8.rkt") (lib "sdsl/synthcl/model/queue.rkt") (lib "rosette/base/form/define.rkt") (lib "rosette/base/core/procedure.rkt") (lib "rosette/lib/trace/report/fix-path.rkt") (lib "sdsl/synthcl/model/flags.rkt") (lib "sdsl/fsm/viz.rkt") (lib "test/base/vector.rkt") (lib "rosette/guide/scribble/rosette-guide.scrbl") (lib "rosette/lib/profile/renderer/report/solver.rkt") (lib "test/base/uninterpreted.rkt") (lib "rosette/guide/scribble/datatypes/procedures.scrbl") (lib "rosette/guide/scribble/reflection/state-reflection.scrbl") (lib "rosette/base/struct/generics.rkt") (lib "rosette/base/core/bitvector.rkt") (lib "rosette/lib/util/syntax-properties.rkt") (lib "sdsl/websynth/benchmarks/itunes100_4.rkt") (lib "test/query/solve+.rkt") (lib "test/base/bvlib.rkt") (lib "sdsl/synthcl/test/snippets.rkt") (lib "sdsl/synthcl/model/pointers.rkt") (lib "test/base/real.rkt") (lib "test/trace/code/non-tail.rkt") (lib "test/base/forall.rkt") (lib "sdsl/synthcl/model/memory.rkt") (lib "sdsl/synthcl/examples/fastWalshTransform/synth/kernel.rkt") (lib "sdsl/websynth/test/itunes100_2.rkt") (lib "rosette/guide/scribble/datatypes/defined-datatypes.scrbl") (lib "sdsl/synthcl/examples/matrixMultiply/verify/host.rkt") (lib "rosette/guide/scribble/datatypes/bools+ints+reals.scrbl") (lib "sdsl/websynth/test/alanon_arkansas_16.rkt") (lib "rosette/lib/trace/mock-server.rkt") (lib "rosette/solver/smt/env.rkt") (lib "sdsl/fsm/automaton.rkt") (lib "rosette/solver/smt/server.rkt") (lib "rosette/lib/angelic.rkt") (lib "rosette/query/finitize.rkt") (lib "rosette/base/core/result.rkt") (lib "rosette/guide/scribble/datatypes/pairs.scrbl") (lib "rosette/solver/smt/bitwuzla.rkt") (lib "test/base/quantified.rkt") (lib "sdsl/websynth/benchmarks/itunes100_2.rkt") (lib "rosette/base/core/real.rkt") (lib "rosette/guide/scribble/error-tracing/test.rkt") (lib "sdsl/websynth/test/itunes100_16.rkt") (lib "sdsl/synthcl/lang/typecheck.rkt") (lib "rosette/lib/roseunit.rkt") (lib "sdsl/ifc/call.rkt") (lib "sdsl/bv/test/util.rkt") (lib "sdsl/bv/lang/core.rkt") (lib "rosette/solver/smt/dec.rkt") (lib "sdsl/synthcl/examples/toy/synth/kernel.rkt") (lib "sdsl/websynth/benchmarks/imdb250_4.rkt") (lib "rosette/lib/util/ws-server.rkt") (lib "rosette/base/core/bool.rkt") (lib "test/base/generics.rkt") (lib "sdsl/synthcl/test/work.rkt") (lib "sdsl/bv/examples/reference.rkt") (lib "rosette/guide/scribble/libs/bvmul2.rkt") (lib "test/base/bool.rkt") (lib "rosette/guide/scribble/performance/xform.rkt") (lib "test/query/synthesize.rkt") (lib "sdsl/ifc/value.rkt") (lib "rosette/base/core/store.rkt") (lib "rosette/solver/smt/stp.rkt") (lib "rosette/base/core/reflect.rkt") (lib "rosette/base/adt/bvseq.rkt") (lib "test/all-rosette-tests.rkt") (lib "test/base/store.rkt") (lib "rosette/base/core/equality.rkt") (lib "sdsl/synthcl/examples/matrixMultiply/verify/kernel.rkt") (lib "sdsl/websynth/websynth.rkt") (lib "sdsl/synthcl/examples/fastWalshTransform/synth/host.rkt") (lib "rosette/lib/profile/renderer/noop.rkt") (lib "test/trace/code/tail.rkt") (lib "sdsl/synthcl/test/grammar.rkt") (lib "test/base/list.rkt") (lib "sdsl/synthcl/examples/matrixMultiply/verify/test.rkt") (lib "sdsl/ifc/verify-EENI-demo.rkt") (lib "sdsl/bv/examples/medium.rkt") (lib "sdsl/ifc/verify.rkt") (lib "test/base/reflect.rkt") (lib "rosette/base/form/app.rkt") (lib "rosette/solver/solution.rkt") (lib "rosette/base/adt/generic.rkt") (lib "rosette/lib/value-browser.rkt") (lib "rosette/lang/reader.rkt") (lib "test/trace/code/solver-limitation.rkt") (lib "sdsl/synthcl/test/all-tests.rkt") (lib "rosette/guide/scribble/libs/calc-lang.rkt") (lib "rosette/guide/scribble/forms/forms.scrbl") (lib "test/base/type.rkt") (lib "rosette/lib/profile/feature.rkt") (lib "rosette/solver/smt/cvc5.rkt") (lib "test/trace/code/error.rkt") (lib "test/trace/code/forall.rkt") (lib "sdsl/synthcl/model/kernel.rkt") (lib "rosette/guide/scribble/forms/racket-forms.scrbl") (lib "rosette/safe.rkt") (lib "rosette/lib/profile/renderer/trace.rkt") (lib "rosette/lib/profile.rkt") (lib "test/trace/code/no-error.rkt") (lib "sdsl/websynth/test/imdb250_4.rkt") (lib "sdsl/websynth/benchmarks/alanon_arkansas_4.rkt") (lib "rosette/guide/scribble/refs.scrbl") (lib "sdsl/synthcl/lang/sugar.rkt") (lib "sdsl/synthcl/lang/errors.rkt") (lib "sdsl/websynth/benchmarks/imdb250_8.rkt") (lib "rosette/base/core/lift.rkt") (lib "sdsl/bv/lang/form.rkt") (lib "sdsl/synthcl/examples/matrixMultiply/synth/host.rkt") (lib "sdsl/websynth/benchmarks/itunes100_8.rkt") (lib "test/trace/code/assertion.rkt") (lib "rosette/query/eval.rkt") (lib "rosette/guide/scribble/util/demo.rkt") (lib "rosette/base/adt/vector.rkt") (lib "rosette/guide/scribble/datatypes/uninterpreted.scrbl") (lib "rosette/lib/profile/renderer/syntax.rkt") (lib "rosette/guide/scribble/reflection/symbolic-reflection.scrbl") (lib "sdsl/synthcl/model/objects.rkt") (lib "rosette/base/form/module.rkt") (lib "sdsl/synthcl/examples/matrixMultiply/verify/host-buggy.rkt") (lib "test/trace/code/macro.rkt") (lib "rosette/guide/scribble/error-tracing/error-tracing.scrbl") (lib "test/base/distinct.rkt") (lib "sdsl/synthcl/model/runtime.rkt") (lib "rosette/guide/scribble/util/clean.rkt") (lib "sdsl/synthcl/model/type.rkt") (lib "sdsl/ifc/instruction.rkt") (lib "sdsl/websynth/websynthlib.rkt") (lib "sdsl/bv/examples/hard.rkt") (lib "rosette/query/query.rkt") (lib "test/query/grammar.rkt") (lib "rosette/lib/util/module.rkt") (lib "sdsl/synthcl/model/context.rkt") (lib "test/base/bitvector.rkt") (lib "sdsl/websynth/benchmarks/imdb250_2.rkt") (lib "sdsl/synthcl/test/operators.rkt") (lib "rosette/base/struct/struct.rkt") (lib "rosette/guide/scribble/libs/utility-libs.scrbl") (lib "rosette/solver/smt/enc.rkt") (lib "sdsl/synthcl/model/operators.rkt") (lib "test/base/eval-guarded.rkt") (lib "test/trace/code/ex-3.rkt") (lib "test/profile/renderer.rkt") (lib "sdsl/websynth/test/imdb250_2.rkt") (lib "rosette/lib/profile/graph.rkt") (lib "sdsl/synthcl/lang/main.rkt") (lib "test/trace/code/list.rkt") (lib "test/trace/code/ex-2.rkt") (lib "rosette/lib/util/syntax.rkt") (lib "rosette/guide/scribble/datatypes/equality.scrbl") (lib "sdsl/websynth/test/itunes100_4.rkt") (lib "rosette/solver/solver.rkt") (lib "rosette/guide/scribble/datatypes/bitvectors.scrbl") (lib "rosette/guide/scribble/datatypes/vectors.scrbl") (lib "sdsl/ifc/machine.rkt") (lib "rosette/solver/smt/base-solver.rkt") (lib "rosette/guide/scribble/error-tracing/sum.rkt") (lib "test/trace/code/ex-1-3.rkt") (lib "rosette/solver/smt/z3.rkt") (lib "sdsl/websynth/dom.rkt") (lib "test/all-sdsl-tests.rkt") (lib "sdsl/synthcl/test/memory.rkt") (lib "rosette/base/core/union.rkt") (lib "sdsl/synthcl/test/reals.rkt") (lib "rosette/base/form/control.rkt") (lib "test/base/vc.rkt") (lib "sdsl/synthcl/model/errors.rkt") (lib "sdsl/fsm/fsm.rkt") (lib "test/base/common.rkt") (lib "rosette/lib/profile/compile.rkt") (lib "sdsl/bv/test/medium.rkt") (lib "rosette/lib/profile/renderer/report/generic.rkt") (lib "sdsl/ifc/test.rkt") (lib "rosette/query/form.rkt") (lib "sdsl/synthcl/lang/operators.rkt") (lib "rosette/base/core/polymorphic.rkt") (lib "test/base/finitize.rkt") (lib "sdsl/synthcl/lang/types.rkt") (lib "sdsl/websynth/test/imdb250_8.rkt") (lib "test/query/verify.rkt") (lib "rosette/lib/trace/raco.rkt") (lib "test/trace/stress/non-tail.rkt") (lib "rosette/base/core/safe.rkt") (lib "sdsl/websynth/benchmarks/alanon_arkansas_16.rkt") (lib "sdsl/websynth/test/itunes100_8.rkt") (lib "test/query/synthax-external.rkt") (lib "rosette/guide/scribble/error-tracing/select.rkt") (lib "test/trace/code/core-form.rkt") (lib "test/trace/code/infeasible-solver.rkt") (lib "rosette/lib/trace/client-launcher.rkt") (lib "rosette/lib/profile/renderer/report.rkt") (lib "sdsl/websynth/benchmarks/imdb250_16.rkt") (lib "rosette/guide/scribble/essentials/essentials.scrbl") (lib "rosette/lib/trace/sample-data.rkt") (lib "sdsl/synthcl/test/more-snippets.rkt") (lib "rosette/solver/smt/yices.rkt") (lib "test/trace/code/if.rkt") (lib "sdsl/ifc/indistinguishable.rkt") (lib "rosette/lib/profile/renderer/report/callgraph.rkt") (lib "sdsl/bv/bv.rkt") (lib "test/trace/perf-runner.rkt") (lib "rosette/guide/scribble/libs/libraries.scrbl") (lib "rosette/lib/profile/data.rkt") (lib "sdsl/synthcl/examples/sobelFilter/test.rkt") (lib "test/profile/benchmarks/list.rkt") (lib "sdsl/fsm/query.rkt") (lib "test/trace/code/test-track-form.rkt") (lib "sdsl/synthcl/examples/toy/synth/host.rkt") (lib "test/lib/destruct.rkt") (lib "test/trace/code/toplevel.rkt") (lib "test/base/decode.rkt") (lib "rosette/solver/smt/smtlib2.rkt") (lib "rosette/base/core/exn.rkt") (lib "sdsl/synthcl/examples/fastWalshTransform/verify/kernel.rkt") (lib "rosette/guide/scribble/datatypes/boxes.scrbl") (lib "test/trace/code/test-stack.rkt") (lib "rosette/lib/trace/tool.rkt") (lib "sdsl/synthcl/lang/env.rkt") (lib "sdsl/websynth/test/alanon_arkansas_4.rkt") (lib "sdsl/synthcl/examples/fastWalshTransform/synth/test.rkt") (lib "rosette/base/adt/box.rkt") (lib "rosette/base/adt/list.rkt") (lib "rosette/guide/scribble/forms/rosette-forms.scrbl") (lib "test/base/push-pop.rkt") (lib "rosette/base/core/merge.rkt") (lib "sdsl/synthcl/examples/toy/verify/host.rkt") (lib "test/trace/code/macro-define.rkt") (lib "test/trace/code/infeasible.rkt") (lib "rosette/base/core/eval.rkt") (lib "sdsl/synthcl/model/work.rkt") (lib "rosette/base/struct/struct-type.rkt") (lib "sdsl/synthcl/examples/fastWalshTransform/verify/test.rkt") (lib "sdsl/synthcl/examples/fastWalshTransform/verify/host.rkt") (lib "sdsl/websynth/benchmarks/alanon_arkansas_8.rkt") (lib "sdsl/synthcl/examples/sobelFilter/kernel.rkt") (lib "rosette/guide/scribble/datatypes/solvers+solutions.scrbl") (lib "sdsl/bv/lang/fragment.rkt") (lib "rosette/base/adt/seq.rkt") (lib "rosette/query/core.rkt") (lib "rosette/guide/scribble/essentials/bvmid.rkt") (lib "rosette/guide/scribble/datatypes/builtin-datatypes.scrbl") (lib "sdsl/synthcl/examples/matrixMultiply/synth/test.rkt") (lib "sdsl/ifc/jump.rkt") (lib "sdsl/bv/examples/easy.rkt") (lib "test/trace/code/ex-1-1.rkt") (lib "rosette/lib/profile/raco.rkt") (lib "rosette/guide/scribble/reflection/value-reflection.scrbl") (lib "rosette/lib/profile/renderer/report/terms.rkt") (lib "rosette/guide/scribble/datatypes/test.rkt") (lib "sdsl/synthcl/examples/sobelFilter/reference.rkt") (lib "sdsl/synthcl/lang/forms.rkt") (lib "rosette/lib/synthax.rkt") (lib "rosette/lib/profile/renderer/renderer.rkt") (lib "sdsl/synthcl/model/reals.rkt") (lib "sdsl/synthcl/lang/util.rkt") (lib "rosette/guide/scribble/libs/rosette-libs.scrbl") (lib "sdsl/fsm/lib.rkt") (lib "rosette/base/core/term.rkt") (lib "sdsl/websynth/benchmarks/itunes100_16.rkt") (lib "rosette/safe/lang/reader.rkt") (lib "rosette/base/base.rkt") (lib "rosette/lib/profile/record.rkt") (lib "rosette/base/core/forall.rkt") (lib "sdsl/websynth/test/alanon_arkansas_2.rkt") (lib "rosette/solver/smt/cmd.rkt") (lib "test/trace/code/list-2.rkt"))) (name . "rosette") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/rosette.zip") (tags . ())) pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "906208f67cbda927554e0ef7b73c02955c74f16b") (dependencies . (("base") ("syntax-classes-lib") ("syntax-classes-doc"))) (description . "Additional useful syntax classes for use with syntax/parse") (modules . ()) (name . "syntax-classes") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/syntax-classes.zip") (tags . ("syntax"))) pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "c547929200a3f241688c7a549acf50eb900f3ae3") (dependencies . (("threading-doc") ("threading-lib"))) (description . "") (modules . ()) (name . "threading") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/threading.zip") (tags . ())) Resolved "box-extra-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "bogdan@defn.io") (checksum . "3da4014f0890d2c3a5b50a7fb8a0360c26b5581c") (dependencies . (("base"))) (description . "Extra utilities for working with boxes. (implementation)") (modules . ((lib "box-extra/main.rkt") (lib "box-extra/unsafe.rkt"))) (name . "box-extra-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/box-extra-lib.zip") (tags . ("boxes"))) 01: Resolved "ppict" via file:///home/root//catalogs/built/catalog 01: Resolved "graph-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "unstable-latent-contract-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "unstable-parameter-group-lib" via file:///home/root//catalogs/built/catalog Resolved "racket-poppler" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "ryanc@racket-lang.org") (checksum . "c746d523f0adfaa3c14690572113e010d47779c2") (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"))) pkg: catalog response: #hash((author . "stchang@racket-lang.org") (checksum . "04c1122ff4c5b6505c11c9919c351ecbb211dfeb") (dependencies . (("base" #:version "6.0") ("gen-queue-lib") ("data-lib") ("math-lib"))) (description . "main graph package") (modules . ((lib "graph/graph-fns-spantree.rkt") (lib "graph/graph-property.rkt") (lib "graph/graph-fns-minspantree.rkt") (lib "graph/graph-fns-graphviz.rkt") (lib "graph/graph-fns-coloring.rkt") (lib "graph/graph-fns-maxflow.rkt") (lib "graph/hash-utils.rkt") (lib "graph/graph-matrix.rkt") (lib "graph/graph-fns-basic.rkt") (lib "graph/graph-fns-allpairs-shortestpaths.rkt") (lib "graph/main.rkt") (lib "graph/graph-weighted.rkt") (lib "graph/utils.rkt") (lib "graph/adjlist-utils.rkt") (lib "graph/gen-graph.rkt") (lib "graph/graph-unweighted.rkt") (lib "graph/graph-fns-singlesource-shortestpaths.rkt"))) (name . "graph-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/graph-lib.zip") (tags . ("data" "graph"))) pkg: catalog response: #hash((author . "mflatt@racket-lang.org ntoronto@racket-lang.org") (checksum . "82f5dd5c2b2929c7ed5da37cb6952256bae4cb3b") (dependencies . (("base") ("scribble-lib") ("images-lib" #:version "1.2"))) (description . "Experimental libraries for contracts at definitions") (modules . ((lib "unstable/latent-contract.rkt") (lib "unstable/latent-contract/defthing.rkt") (lib "unstable/latent-contract/serialize-syntax.rkt"))) (name . "unstable-latent-contract-lib") (ring . 0) (source . "file:///home/root/catalogs/built/pkgs/unstable-latent-contract-lib.zip") (tags . ("unstable"))) pkg: catalog response: #hash((author . "mflatt@racket-lang.org ntoronto@racket-lang.org") (checksum . "1995cfc0e5002cac3a266acc4c9c65d7dc6d18ba") (dependencies . (("base") ("images-lib" #:version "1.2"))) (description . "Experimental libraries for parameter groups") (modules . ((lib "unstable/parameter-group.rkt"))) (name . "unstable-parameter-group-lib") (ring . 0) (source . "file:///home/root/catalogs/built/pkgs/unstable-parameter-group-lib.zip") (tags . ("unstable"))) pkg: catalog response: #hash((author . "jensaxel@soegaard.net") (checksum . "0341e502c86b7bc92ccdbed07b94b75ba4d798b5") (dependencies . (("draw-lib") ("slideshow-lib") ("web-server-lib") ("base") ("pict") ("poppler-aarch64-macosx" #:platform "aarch64-macosx") ("poppler-x86-64-macosx" #:platform "x86_64-macosx") ("poppler-i386-macosx" #:platform "i386-macosx") ("poppler-win32-x86-64" #:platform "win32\\x86_64") ("poppler-win32-i386" #:platform "win32\\i386") ("at-exp-lib") ("rackunit-lib") ("scribble-lib") ("racket-doc") ("draw-doc") ("pict-doc"))) (description . "Read, search and render pdfs. Use LaTeX in scribble and slidehow.") (modules . ((lib "racket-poppler/ffi.rkt") (lib "racket-poppler/examples/test-render-tex.rkt") (lib "racket-poppler/libs.rkt") (lib "racket-poppler/examples/test-pdf-functions.rkt") (lib "racket-poppler/render-tex.rkt") (lib "racket-poppler/main.rkt"))) (name . "racket-poppler") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/racket-poppler.zip") (tags . ("pdf" "poppler" "scribble" "slideshow"))) Resolved "gen-queue-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "stchang@racket-lang.org") (checksum . "1949095a5c5e8581ae8eb56253fa241d9b11b2b0") (dependencies . (("base" #:version "6.0") ("data-lib"))) (description . "Generic interface for some queues. Used by graph-lib") (modules . ((lib "data/gen-queue/gen-queue.rkt") (lib "data/gen-queue/priority.rkt") (lib "data/gen-queue.rkt") (lib "data/gen-queue/fifo.rkt"))) (name . "gen-queue-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/gen-queue-lib.zip") (tags . ("data" "graph" "queue"))) Resolved "resource-pool-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "bogdan@defn.io") (checksum . "5838b03586bd464a2f486376d4023eb2646e4731") (dependencies . (("base"))) (description . "A generic blocking resource pool. (implementation)") (modules . ((lib "data/pool.rkt"))) (name . "resource-pool-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/resource-pool-lib.zip") (tags . ("data-structures" "pool" "web"))) Resolved "syntax-classes-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "e64402b52b251cbc5b5708cc3acb02b0961f7549") (dependencies . (("base" #:version "7.8.0.9"))) (description . "implementation (no documentation) for “syntax-classes”") (modules . ((lib "syntax/parse/class/struct-id.rkt") (lib "syntax/parse/class/local-value.rkt") (lib "syntax/parse/class/paren-shape.rkt"))) (name . "syntax-classes-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/syntax-classes-lib.zip") (tags . ("syntax"))) 00: Resolved "custom-load" via file:///home/root//catalogs/built/catalog Resolved "rfc6455" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "ryanc@racket-lang.org") (checksum . "2d90d41f9041ad88f24f4d3e08e57472bebf1d44") (dependencies . (("base") ("racket-doc") ("scribble-lib"))) (description . "A load handler that avoids stale zo files.") (modules . ((lib "custom-load/top.rkt") (lib "custom-load/test/a.rkt") (lib "custom-load/test/c.rkt") (lib "custom-load/main.rkt") (lib "custom-load/test/b.rkt") (lib "custom-load/private/loader.rkt") (lib "custom-load/custom-load.scrbl"))) (name . "custom-load") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/custom-load.zip") (tags . ())) pkg: catalog response: #hash((author . "tonygarnockjones@gmail.com") (checksum . "ac4c8dea316b9975b2518e24c323dcbdd3e6ccb5") (dependencies . (("base") ("net-lib") ("rackunit-lib") ("web-server-lib") ("scribble-lib") ("net-doc") ("racket-doc") ("web-server-doc"))) (description . "RFC 6455 WebSockets support for Racket.") (modules . ((lib "net/rfc6455/hybi00/dispatcher.rkt") (lib "net/rfc6455/client.rkt") (lib "net/rfc6455/examples/test-server.rkt") (lib "net/rfc6455/rfc6455/frame.rkt") (lib "net/rfc6455/rfc6455/handshake.rkt") (lib "net/rfc6455/rfc6455/conn.rkt") (lib "net/rfc6455/examples/time-server.rkt") (lib "net/rfc6455/hybi00/conn.rkt") (lib "net/rfc6455/conn-api.rkt") (lib "net/rfc6455/hybi00/handshake.rkt") (lib "net/rfc6455/examples/time-client-with-sync.rkt") (lib "net/rfc6455/scribblings/rfc6455.scrbl") (lib "net/rfc6455/hybi00/client.rkt") (lib "net/rfc6455/examples/time-client-with-threads.rkt") (lib "net/rfc6455/http.rkt") (lib "net/rfc6455/service-mapper.rkt") (lib "net/rfc6455/rfc6455/dispatcher.rkt") (lib "net/rfc6455/examples/test-service-mapper.rkt") (lib "net/rfc6455/timeout.rkt") (lib "net/rfc6455/examples/client.rkt") (lib "net/rfc6455/server.rkt") (lib "net/rfc6455/examples/echo-server.rkt") (lib "net/rfc6455/url.rkt") (lib "net/rfc6455/examples/cat.rkt") (lib "net/rfc6455/dispatcher.rkt") (lib "net/rfc6455.rkt") (lib "net/rfc6455/rfc6455/client.rkt") (lib "net/rfc6455/private/connection-manager.rkt"))) (name . "rfc6455") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/rfc6455.zip") (tags . ("http" "net" "web"))) Resolved "syntax-classes-doc" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "5be62ff3f799445ec42da6731e0559a366bd34c3") (dependencies . (("base") ("racket-doc") ("scribble-lib") ("syntax-classes-lib" #:version "1.3"))) (description . "documentation (no implementation) for “syntax-classes”") (modules . ((lib "scribblings/syntax-classes.scrbl"))) (name . "syntax-classes-doc") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/syntax-classes-doc.zip") (tags . ("syntax"))) Resolved "threading-doc" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "5001992979aa6eeb8f2e2be126e83add18c32399") (dependencies . (("base") ("racket-doc") ("scribble-lib") ("threading-lib"))) (description . "documentation (no implementation) for “threading”") (modules . ((lib "scribblings/threading.scrbl"))) (name . "threading-doc") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/threading-doc.zip") (tags . ())) pkg: creating link to # pkg: updating db with "threading-doc" to '#s(pkg-info (catalog "threading-doc") "5001992979aa6eeb8f2e2be126e83add18c32399" #t) pkg: creating single-collection link to # pkg: updating db with "automata-doc" to '#s((sc-pkg-info pkg-info 3) (catalog "automata-doc") "278d7b879db14caf94236a4b6afbdec68f99542a" #t "automata") pkg: creating link to # pkg: updating db with "chk-lib" to '#s(pkg-info (catalog "chk-lib") "e3d0e2b557f643a23855b58cd407a85a9710d976" #t) pkg: creating single-collection link to # pkg: updating db with "lsl" to '#s((sc-pkg-info pkg-info 3) (catalog "lsl") "83047eea5cde7c7e12f8ee3d1e044528b7a295db" #f "lsl") pkg: creating single-collection link to # pkg: updating db with "lsl-lib" to '#s((sc-pkg-info pkg-info 3) (catalog "lsl-lib") "90a8bb8aeaa7a7bc661ed923b3ae03d1a9a1625c" #t "lsl") pkg: creating single-collection link to # pkg: updating db with "gui-easy-lib" to '#s((sc-pkg-info pkg-info 3) (catalog "gui-easy-lib") "2f33b9e57392042088cc26aee842baeb69ff2acd" #t "racket") pkg: creating single-collection link to # pkg: updating db with "box-extra-lib" to '#s((sc-pkg-info pkg-info 3) (catalog "box-extra-lib") "3da4014f0890d2c3a5b50a7fb8a0360c26b5581c" #t "box-extra") pkg: creating link to # pkg: updating db with "metapict" to '#s(pkg-info (catalog "metapict") "d1493232534d2c08a139d76a1364523af2b3f998" #t) pkg: creating single-collection link to # pkg: updating db with "ppict" to '#s((sc-pkg-info pkg-info 3) (catalog "ppict") "c746d523f0adfaa3c14690572113e010d47779c2" #t "ppict") pkg: creating link to # pkg: updating db with "graph-lib" to '#s(pkg-info (catalog "graph-lib") "04c1122ff4c5b6505c11c9919c351ecbb211dfeb" #t) pkg: creating link to # pkg: updating db with "gen-queue-lib" to '#s(pkg-info (catalog "gen-queue-lib") "1949095a5c5e8581ae8eb56253fa241d9b11b2b0" #t) pkg: creating link to # pkg: updating db with "unstable-latent-contract-lib" to '#s(pkg-info (catalog "unstable-latent-contract-lib") "82f5dd5c2b2929c7ed5da37cb6952256bae4cb3b" #t) pkg: creating link to # pkg: updating db with "unstable-parameter-group-lib" to '#s(pkg-info (catalog "unstable-parameter-group-lib") "1995cfc0e5002cac3a266acc4c9c65d7dc6d18ba" #t) pkg: creating link to # pkg: updating db with "racket-poppler" to '#s(pkg-info (catalog "racket-poppler") "0341e502c86b7bc92ccdbed07b94b75ba4d798b5" #t) pkg: creating single-collection link to # pkg: updating db with "automata-lib" to '#s((sc-pkg-info pkg-info 3) (catalog "automata-lib") "7f392d2e4f0583acafe7ea0b044f411af1dcfbc9" #t "automata") pkg: creating single-collection link to # pkg: updating db with "http-easy-lib" to '#s((sc-pkg-info pkg-info 3) (catalog "http-easy-lib") "d7cfa0a0a8142e114b07d6d85dae9e7aee8c6359" #t "net") pkg: creating single-collection link to # pkg: updating db with "resource-pool-lib" to '#s((sc-pkg-info pkg-info 3) (catalog "resource-pool-lib") "5838b03586bd464a2f486376d4023eb2646e4731" #t "data") pkg: creating single-collection link to # pkg: updating db with "struct-set" to '#s((sc-pkg-info pkg-info 3) (catalog "struct-set") "077db508fdb3d162dcdaea1105ef63bdf80cd2e8" #t "struct-set") pkg: creating link to # pkg: updating db with "syntax-classes-lib" to '#s(pkg-info (catalog "syntax-classes-lib") "e64402b52b251cbc5b5708cc3acb02b0961f7549" #t) pkg: creating link to # pkg: updating db with "threading-lib" to '#s(pkg-info (catalog "threading-lib") "744984a6c1fc8f152fdabc85a0cdd15c86b5b676" #t) pkg: creating single-collection link to # pkg: updating db with "ee-lib" to '#s((sc-pkg-info pkg-info 3) (catalog "ee-lib") "ff205760388fbe961ff2bdcc309564f49a8d637d" #t "ee-lib") pkg: creating link to # pkg: updating db with "mischief" to '#s(pkg-info (catalog "mischief") "107eafc2fe2c6d3178d00a5d14c074863776a65e" #t) pkg: creating link to # pkg: updating db with "rosette" to '#s(pkg-info (catalog "rosette") "227f385fab50cf2b5ac9d593355cb84a00988235" #t) pkg: creating single-collection link to # pkg: updating db with "custom-load" to '#s((sc-pkg-info pkg-info 3) (catalog "custom-load") "2d90d41f9041ad88f24f4d3e08e57472bebf1d44" #t "custom-load") pkg: creating link to # pkg: updating db with "rfc6455" to '#s(pkg-info (catalog "rfc6455") "ac4c8dea316b9975b2518e24c323dcbdd3e6ccb5" #t) pkg: creating link to # pkg: updating db with "syntax-classes" to '#s(pkg-info (catalog "syntax-classes") "906208f67cbda927554e0ef7b73c02955c74f16b" #t) pkg: creating link to # pkg: updating db with "syntax-classes-doc" to '#s(pkg-info (catalog "syntax-classes-doc") "5be62ff3f799445ec42da6731e0559a366bd34c3" #t) pkg: creating link to # pkg: updating db with "threading" to '#s(pkg-info (catalog "threading") "c547929200a3f241688c7a549acf50eb900f3ae3" #t) The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of lsl: lsl-lib automata-doc chk-lib dependencies of lsl-lib: gui-easy-lib metapict automata-lib http-easy-lib struct-set threading-lib ee-lib mischief rosette syntax-classes threading dependencies of gui-easy-lib: box-extra-lib dependencies of metapict: ppict graph-lib unstable-latent-contract-lib unstable-parameter-group-lib racket-poppler dependencies of graph-lib: gen-queue-lib dependencies of http-easy-lib: resource-pool-lib dependencies of struct-set: syntax-classes-lib dependencies of rosette: custom-load rfc6455 dependencies of syntax-classes: syntax-classes-doc dependencies of threading: threading-doc raco setup: version: 8.14 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 8.14 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.14/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.14/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.14/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 --- [18:25:44] raco setup: updating: /home/root/user/.local/share/racket/8.14/share/info-cache.rktd raco setup: --- pre-installing collections --- [18:25:44] raco setup: pre-installing: /rosette/rosette ********** Failed to install Z3 ********** Rosette installed successfully, but wasn't able to install the Z3 SMT solver. You'll need to manually install a Z3 binary at this location: /home/root/user/.local/share/racket/8.14/pkgs/rosette/bin/z3 or anywhere that is on your PATH. Alternatively, in your programs, you can construct a solver object manually: (current-solver (z3 #:path "/path/to/z3")) Note that Rosette ships with a specific release of Z3 (v4.8.8). Installing a different version of Z3 may change the performance of Rosette programs. The problem was: tcp-connect: host not found hostname: github.com port number: 443 system error: Temporary failure in name resolution; gai_err=-3 ********** raco setup: --- installing foreign libraries --- [18:25:44] raco setup: --- installing shared files --- [18:25:44] raco setup: --- compiling collections --- [18:25:44] raco setup: --- parallel build using 2 jobs --- [18:25:44] raco setup: 1 making: /automata-doc raco setup: 0 making: /automata-lib raco setup: 0 making: /box-extra-lib raco setup: 0 making: /chk-lib/chk raco setup: 0 making: /custom-load (custom-load) raco setup: 1 making: /ee-lib (ee-lib) raco setup: 0 making: /custom-load/private raco setup: 0 making: /gen-queue-lib/data raco setup: 0 making: /gen-queue-lib/data/gen-queue raco setup: 0 making: /graph-lib/graph raco setup: 1 making: /ee-lib/private raco setup: 1 making: /ee-lib/test raco setup: 1 making: /ee-lib/test/suspend raco setup: 1 making: /gui-easy-lib raco setup: 1 making: /gui-easy-lib/gui raco setup: 0 making: /http-easy-lib raco setup: 0 making: /http-easy-lib/http-easy/private raco setup: 0 making: /lsl (lsl) raco setup: 1 making: /gui-easy-lib/gui/easy raco setup: 1 making: /gui-easy-lib/gui/easy/private raco setup: 1 making: /gui-easy-lib/gui/easy/private/view raco setup: 1 making: /lsl-lib (lsl) raco setup: 0 making: /lsl/scribblings raco setup: 0 making: /lsl/tests raco setup: 1 making: /lsl-lib/private raco setup: 1 making: /lsl-lib/private/contract raco setup: 1 making: /lsl-lib/private/library raco setup: 0 making: /metapict/metapict raco setup: 1 making: /lsl-lib/private/syntax raco setup: 1 making: /mischief/debug raco setup: 1 making: /mischief/debug/mischief/lang raco setup: 1 making: /mischief/debug/racket raco setup: 1 making: /mischief/debug/racket/base/lang raco setup: 1 making: /mischief/debug/racket/lang raco setup: 1 making: /mischief/mischief raco setup: 1 making: /mischief/mischief/lang raco setup: 1 making: /mischief/mischief/private raco setup: 1 making: /mischief/mischief/props/lang raco setup: 1 making: /mischief/mischief/stylish raco setup: 1 making: /mischief/mischief/tests raco setup: 1 making: /mischief/no-debug raco setup: 1 making: /mischief/no-debug/mischief/lang raco setup: 1 making: /mischief/no-debug/racket raco setup: 1 making: /mischief/no-debug/racket/base/lang raco setup: 1 making: /mischief/no-debug/racket/lang raco setup: 0 making: /metapict/metapict/extras raco setup: 1 making: /ppict raco setup: 0 making: /metapict/metapict/scribblings raco setup: 1 making: /ppict/private raco setup: 0 making: /metapict/metapict/svg raco setup: 1 making: /racket-poppler/racket-poppler (racket-poppler) raco setup: 0 making: /metapict/metapict/tests raco setup: 1 making: /racket-poppler/racket-poppler/examples raco setup: 1 making: /resource-pool-lib raco setup: 1 making: /rfc6455/net raco setup: 0 making: /rosette/rosette raco setup: 1 making: /rfc6455/net/rfc6455 raco setup: 1 making: /rfc6455/net/rfc6455/examples raco setup: 1 making: /rfc6455/net/rfc6455/hybi00 raco setup: 1 making: /rfc6455/net/rfc6455/private raco setup: 1 making: /rfc6455/net/rfc6455/rfc6455 raco setup: 1 making: /struct-set raco setup: 1 making: /syntax-classes-doc/scribblings raco setup: 1 making: /syntax-classes-lib/syntax/parse/class raco setup: 1 making: /threading-doc/scribblings raco setup: 1 making: /threading-lib/threading raco setup: 1 making: /unstable-latent-contract-lib/unstable raco setup: 1 making: /unstable-latent-contract-lib/unstable/latent-contract raco setup: 1 making: /unstable-parameter-group-lib/unstable raco setup: --- creating launchers --- [18:26:17] raco setup: --- installing man pages --- [18:26:17] raco setup: --- building documentation --- [18:26:17] raco setup: syncing: /automata-doc/doc/automata raco setup: syncing: /custom-load/doc/custom-load raco setup: syncing: /ee-lib/doc/ee-lib raco setup: syncing: /lsl/doc/lsl raco setup: syncing: /metapict/metapict/doc/metapict raco setup: syncing: /mischief/mischief/doc/mischief raco setup: syncing: /ppict/doc/ppict raco setup: syncing: /rfc6455/net/rfc6455/doc/rfc6455 raco setup: syncing: /rosette/rosette/doc/rosette-guide raco setup: syncing: /struct-set/doc/struct-set raco setup: syncing: /syntax-classes-doc/scribblings/doc/syntax-classes raco setup: syncing: /threading-doc/scribblings/doc/threading 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: 1 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 --- [18:26:23] raco setup: installing: /racket raco setup: installing: /gui-lib/racket/gui raco setup: --- post-installing collections --- [18:26:23] raco setup: post-installing: /rosette/rosette ********** Failed to install Z3 ********** Rosette installed successfully, but wasn't able to install the Z3 SMT solver. You'll need to manually install a Z3 binary at this location: /home/root/user/.local/share/racket/8.14/pkgs/rosette/bin/z3 or anywhere that is on your PATH. Alternatively, in your programs, you can construct a solver object manually: (current-solver (z3 #:path "/path/to/z3")) Note that Rosette ships with a specific release of Z3 (v4.8.8). Installing a different version of Z3 may change the performance of Rosette programs. The problem was: tcp-connect: host not found hostname: github.com port number: 443 system error: Temporary failure in name resolution; gai_err=-3 ********** GC: 0:atexit peak 324,764K(+161,419K); alloc 38,089,748K; major 8; minor 1830; 11798ms raco test: 0 (file "/home/root//user/.local/share/racket/8.14/pkgs/lsl/info.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.14/pkgs/lsl/scribblings/label.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.14/pkgs/lsl/scribblings/lsl.scrbl") raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.14/pkgs/lsl/tests/allof.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.14/pkgs/lsl/tests/concurrency.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.14/pkgs/lsl/tests/const-folding.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.14/pkgs/lsl/tests/function.rkt") test) const-folding.rkt: racket test: #< actual : -------------------- definition-area tests > anonymous tests > Unnamed test ERROR params: '(#) name: verify-contract location: /home/root/user/.local/share/racket/8.14/pkgs/lsl-lib/private/library/test.rkt:255:37 error writing to stream port system error: Broken pipe; errno=32 -------------------- 0 success(es) 0 failure(s) 1 error(s) 1 test(s) run context...: .../chk/main.rkt:119:4 /home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/const-folding.rkt:89:2 body of (submod "/home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/const-folding.rkt" test) /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2 body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process) body of top-level from /lsl/tests/const-folding.rkt:91:3: (run/sexp #:no-result #t `(begin ,CONST-FOLDING-PROG ,CORRECT (verify-contract simple-const-fold-prop-symbolic))) predicate : "not exception" FAILURE kind : "exception" actual : -------------------- definition-area tests > anonymous tests > Unnamed test ERROR params: '(#) name: verify-contract location: /home/root/user/.local/share/racket/8.14/pkgs/lsl-lib/private/library/test.rkt:255:37 error writing to stream port system error: Broken pipe; errno=32 -------------------- 0 success(es) 0 failure(s) 1 error(s) 1 test(s) run context...: .../chk/main.rkt:119:4 /home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/const-folding.rkt:89:2 body of (submod "/home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/const-folding.rkt" test) /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2 body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process) body of top-level from /lsl/tests/const-folding.rkt:96:3: (run/sexp #:no-result #t `(begin ,CONST-FOLDING-PROG ,INCORRECT (verify-contract simple-const-fold-prop-symbolic))) part : "exn-message" actual : "--------------------\ndefinition-area tests > anonymous tests > Unnamed test\nERROR\nparams: '(#)\nname: verify-contract\nlocation:\n /home/root/user/.local/share/racket/8.14/pkgs/lsl-lib/private/library/test.rkt:255:37\n\nerror writing to stream port\n system error: Broken pipe; errno=32\n--------------------\n0 success(es) 0 failure(s) 1 error(s) 1 test(s) run\n" expected : #rx"discovered a counterexample" non-empty stderr raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.14/pkgs/lsl/tests/immediate.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.14/pkgs/lsl/tests/list.rkt") test) function.rkt: racket test: #< actual : -------------------- definition-area tests > anonymous tests > Unnamed test ERROR params: '(# 100) name: check-contract location: /home/root/user/.local/share/racket/8.14/pkgs/lsl-lib/private/library/test.rkt:233:37 error writing to stream port system error: Broken pipe; errno=32 -------------------- 0 success(es) 0 failure(s) 1 error(s) 1 test(s) run context...: .../chk/main.rkt:119:4 /home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/function.rkt:74:2 body of (submod "/home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/function.rkt" test) /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2 body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process) body of top-level from /lsl/tests/function.rkt:105:3: (run* (: f (-> Integer Integer)) (define (f x) x) (check-contract f)) predicate : "not exception" FAILURE kind : "predicate" predicate : # actual : -------------------- definition-area tests > anonymous tests > Unnamed test ERROR params: '(# 100) name: check-contract location: /home/root/user/.local/share/racket/8.14/pkgs/lsl-lib/private/library/test.rkt:233:37 error writing to stream port system error: Broken pipe; errno=32 -------------------- 0 success(es) 0 failure(s) 1 error(s) 1 test(s) run context...: .../chk/main.rkt:119:4 /home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/function.rkt:74:2 body of (submod "/home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/function.rkt" test) /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2 body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process) body of top-level from /lsl/tests/function.rkt:113:3: (run* (: f (-> Integer Integer Integer)) (define (f x y) x) (check-contract f)) predicate : "not exception" FAILURE kind : "predicate" predicate : # actual : -------------------- definition-area tests > anonymous tests > Unnamed test ERROR params: '(#) name: verify-contract location: /home/root/user/.local/share/racket/8.14/pkgs/lsl-lib/private/library/test.rkt:255:37 read-solution: unrecognized solver output: # -------------------- 0 success(es) 0 failure(s) 1 error(s) 1 test(s) run context...: .../chk/main.rkt:119:4 /home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/function.rkt:74:2 body of (submod "/home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/function.rkt" test) /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2 body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process) body of top-level from /lsl/tests/function.rkt:117:3: (run* (: letter-grade (-> Integer String)) (define (letter-grade n) (cond ((>= n 90) "A") ((>= n 80) "B") (else "C"))) (: letter-grade-prop (-> Integer True)) (define (letter-grade-prop n) (member? (letter-grade n) (list "A" "B" "C"))) (verify-contract letter-grade-prop)) predicate : "not exception" FAILURE kind : "predicate" predicate : # actual : -------------------- definition-area tests > anonymous tests > Unnamed test ERROR params: '(# 100) name: check-contract location: /home/root/user/.local/share/racket/8.14/pkgs/lsl-lib/private/library/test.rkt:233:37 error writing to stream port system error: Broken pipe; errno=32 -------------------- 1 success(es) 0 failure(s) 1 error(s) 2 test(s) run context...: .../chk/main.rkt:119:4 /home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/function.rkt:74:2 body of (submod "/home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/function.rkt" test) /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2 body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process) body of top-level from /lsl/tests/function.rkt:129:3: (run* (define-struct bad ()) (: f (Function (arguments (_ (OneOf Boolean Integer))) (result Integer) (raises bad))) (define (f e) (if (integer? e) e (raise (make-bad)))) (check-contract f) (verify-contract f)) predicate : "not exception" FAILURE kind : "exception" actual : -------------------- definition-area tests > anonymous tests > Unnamed test ERROR params: '(# 100) name: check-contract location: /home/root/user/.local/share/racket/8.14/pkgs/lsl-lib/private/library/test.rkt:233:37 read-solution: unrecognized solver output: # -------------------- 0 success(es) 0 failure(s) 1 error(s) 1 test(s) run context...: .../chk/main.rkt:119:4 /home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/function.rkt:74:2 body of (submod "/home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/function.rkt" test) /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2 body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process) body of top-level from /lsl/tests/function.rkt:143:7: (run* (: f (-> Integer Boolean)) (define (f x) x) (check-contract f)) part : "exn-message" actual : "--------------------\ndefinition-area tests > anonymous tests > Unnamed test\nERROR\nparams: '(# 100)\nname: check-contract\nlocation:\n /home/root/user/.local/share/racket/8.14/pkgs/lsl-lib/private/library/test.rkt:233:37\n\nread-solution: unrecognized solver output: #\n--------------------\n0 success(es) 0 failure(s) 1 error(s) 1 test(s) run\n" expected : #rx"expected: Boolean" FAILURE kind : "exception" actual : -------------------- definition-area tests > anonymous tests > Unnamed test ERROR params: '(#) name: verify-contract location: /home/root/user/.local/share/racket/8.14/pkgs/lsl-lib/private/library/test.rkt:255:37 read-solution: unrecognized solver output: # -------------------- 0 success(es) 0 failure(s) 1 error(s) 1 test(s) run context...: .../chk/main.rkt:119:4 /home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/function.rkt:74:2 body of (submod "/home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/function.rkt" test) /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2 body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process) body of top-level from /lsl/tests/function.rkt:154:7: (run* (define-contract Even (Immediate (check even?) (symbolic (λ () (* 2 (contract-symbolic Integer)))))) (: f (-> Even Even)) (define (f x) (+ x 1)) (verify-contract f)) part : "exn-message" actual : "--------------------\ndefinition-area tests > anonymous tests > Unnamed test\nERROR\nparams: '(#)\nname: verify-contract\nlocation:\n /home/root/user/.local/share/racket/8.14/pkgs/lsl-lib/private/library/test.rkt:255:37\n\nread-solution: unrecognized solver output: #\n--------------------\n0 success(es) 0 failure(s) 1 error(s) 1 test(s) run\n" expected : #rx"expected: Even" FAILURE kind : "exception" actual : -------------------- definition-area tests > anonymous tests > Unnamed test ERROR params: '(#) name: verify-contract location: /home/root/user/.local/share/racket/8.14/pkgs/lsl-lib/private/library/test.rkt:255:37 read-solution: unrecognized solver output: # -------------------- 0 success(es) 0 failure(s) 1 error(s) 1 test(s) run context...: .../chk/main.rkt:119:4 /home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/function.rkt:74:2 body of (submod "/home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/function.rkt" test) /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2 body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process) body of top-level from /lsl/tests/function.rkt:163:7: (run* (: bad-mult (-> Real Real Real)) (define (bad-mult x y) (if (= x 10417) 0 (* x y))) (: bad-mult-prop (-> Real Real True)) (define (bad-mult-prop x y) (= (bad-mult x y) (* x y))) (verify-contract bad-mult-prop)) part : "exn-message" actual : "--------------------\ndefinition-area tests > anonymous tests > Unnamed test\nERROR\nparams: '(#)\nname: verify-contract\nlocation:\n /home/root/user/.local/share/racket/8.14/pkgs/lsl-lib/private/library/test.rkt:255:37\n\nread-solution: unrecognized solver output: #\n--------------------\n0 success(es) 0 failure(s) 1 error(s) 1 test(s) run\n" expected : #rx"counterexample: \\(bad-mult-prop 10417\\.0" FAILURE kind : "exception" actual : -------------------- definition-area tests > anonymous tests > Unnamed test ERROR params: '(# 20) name: check-contract location: /home/root/user/.local/share/racket/8.14/pkgs/lsl-lib/private/library/test.rkt:233:37 read-solution: unrecognized solver output: # -------------------- 0 success(es) 0 failure(s) 1 error(s) 1 test(s) run context...: .../chk/main.rkt:119:4 /home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/function.rkt:74:2 body of (submod "/home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/function.rkt" test) /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2 body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process) body of top-level from /lsl/tests/function.rkt:175:7: (run* (define-struct bad ()) (: f (Function (arguments (_ (OneOf Boolean Integer))) (result Integer))) (define (f e) (if (integer? e) e (raise (make-bad)))) (check-contract f 20)) part : "exn-message" actual : "--------------------\ndefinition-area tests > anonymous tests > Unnamed test\nERROR\nparams: '(# 20)\nname: check-contract\nlocation:\n /home/root/user/.local/share/racket/8.14/pkgs/lsl-lib/private/library/test.rkt:233:37\n\nread-solution: unrecognized solver output: #\n--------------------\n0 success(es) 0 failure(s) 1 error(s) 1 test(s) run\n" expected : #rx"exception raised: \\(make-bad\\)" FAILURE kind : "exception" actual : -------------------- definition-area tests > anonymous tests > Unnamed test ERROR params: '(#) name: verify-contract location: /home/root/user/.local/share/racket/8.14/pkgs/lsl-lib/private/library/test.rkt:255:37 read-solution: unrecognized solver output: # -------------------- 0 success(es) 0 failure(s) 1 error(s) 1 test(s) run context...: .../chk/main.rkt:119:4 /home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/function.rkt:74:2 body of (submod "/home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/function.rkt" test) /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2 body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process) body of top-level from /lsl/tests/function.rkt:182:7: (run* (define-struct bad ()) (: f (Function (arguments (_ (OneOf Boolean Integer))) (result Integer))) (define (f e) (if (integer? e) e (raise (make-bad)))) (verify-contract f)) part : "exn-message" actual : "--------------------\ndefinition-area tests > anonymous tests > Unnamed test\nERROR\nparams: '(#)\nname: verify-contract\nlocation:\n /home/root/user/.local/share/racket/8.14/pkgs/lsl-lib/private/library/test.rkt:255:37\n\nread-solution: unrecognized solver output: #\n--------------------\n0 success(es) 0 failure(s) 1 error(s) 1 test(s) run\n" expected : #rx"exception raised: \\(make-bad\\)" FAILURE kind : "exception" actual : -------------------- definition-area tests > anonymous tests > Unnamed test ERROR params: '(# 100) name: check-contract location: /home/root/user/.local/share/racket/8.14/pkgs/lsl-lib/private/library/test.rkt:233:37 read-solution: unrecognized solver output: # -------------------- 0 success(es) 0 failure(s) 1 error(s) 1 test(s) run context...: .../chk/main.rkt:119:4 /home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/function.rkt:74:2 body of (submod "/home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/function.rkt" test) /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2 body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process) body of top-level from /lsl/tests/function.rkt:237:6: (run* (: f (-> (List Integer) Integer)) (define (f x) (if (empty? x) 0 "")) (check-contract f)) part : "exn-message" actual : "--------------------\ndefinition-area tests > anonymous tests > Unnamed test\nERROR\nparams: '(# 100)\nname: check-contract\nlocation:\n /home/root/user/.local/share/racket/8.14/pkgs/lsl-lib/private/library/test.rkt:233:37\n\nread-solution: unrecognized solver output: #\n--------------------\n0 success(es) 0 failure(s) 1 error(s) 1 test(s) run\n" ... non-empty stderr raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.14/pkgs/lsl/tests/oneof.rkt") test) list.rkt: racket test: #< anonymous tests > Unnamed test ERROR params: '(#) name: verify-contract location: /home/root/user/.local/share/racket/8.14/pkgs/lsl-lib/private/library/test.rkt:255:37 read-solution: unrecognized solver output: # -------------------- 0 success(es) 0 failure(s) 1 error(s) 1 test(s) run context...: .../chk/main.rkt:119:4 /home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/list.rkt:74:2 body of (submod "/home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/list.rkt" test) /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2 body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process) body of top-level from /lsl/tests/list.rkt:114:7: (run* (: f (-> (Tuple Integer Integer) (List Integer))) (define (f x) (list (third x))) (verify-contract f)) part : "exn-message" actual : "--------------------\ndefinition-area tests > anonymous tests > Unnamed test\nERROR\nparams: '(#)\nname: verify-contract\nlocation:\n /home/root/user/.local/share/racket/8.14/pkgs/lsl-lib/private/library/test.rkt:255:37\n\nread-solution: unrecognized solver output: #\n--------------------\n0 success(es) 0 failure(s) 1 error(s) 1 test(s) run\n" expected : #rx"third: contract violation" non-empty stderr raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.14/pkgs/lsl/tests/parametric.rkt") test) oneof.rkt: racket test: #< anonymous tests > Unnamed test ERROR params: '(#) name: verify-contract location: /home/root/user/.local/share/racket/8.14/pkgs/lsl-lib/private/library/test.rkt:255:37 read-solution: unrecognized solver output: # -------------------- 0 success(es) 0 failure(s) 1 error(s) 1 test(s) run context...: .../chk/main.rkt:119:4 /home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/oneof.rkt:63:2 body of (submod "/home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/oneof.rkt" test) /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2 body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process) body of top-level from /lsl/tests/oneof.rkt:80:7: (run* (: f (-> (OneOf Integer Boolean) True)) (define (f x) (integer? x)) (verify-contract f)) part : "exn-message" actual : "--------------------\ndefinition-area tests > anonymous tests > Unnamed test\nERROR\nparams: '(#)\nname: verify-contract\nlocation:\n /home/root/user/.local/share/racket/8.14/pkgs/lsl-lib/private/library/test.rkt:255:37\n\nread-solution: unrecognized solver output: #\n--------------------\n0 success(es) 0 failure(s) 1 error(s) 1 test(s) run\n" expected : #rx"counterexample: \\(f #f\\)" non-empty stderr raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.14/pkgs/lsl/tests/rackunit.rkt") test) rackunit.rkt: racket test: #< actual : #f from /lsl/tests/rackunit.rkt:46:3: (contains-all-strings? output '("foo > definition-area tests" "bar > definition-area tests" "anonymous tests > definition-area tests" "2 success(es) 4 failure(s) 0 error(s) 6 test(s) run")) value : #f predicate : "not false" non-empty stderr raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.14/pkgs/lsl/tests/record.rkt") test) record.rkt: racket test: #< anonymous tests > Unnamed test ERROR params: '(# 1000) name: check-contract location: /home/root/user/.local/share/racket/8.14/pkgs/lsl-lib/private/library/test.rkt:233:37 read-solution: unrecognized solver output: # -------------------- 0 success(es) 0 failure(s) 1 error(s) 1 test(s) run context...: .../chk/main.rkt:119:4 /home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/record.rkt:13:2 body of (submod "/home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/record.rkt" test) /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2 body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process) body of top-level from /lsl/tests/record.rkt:44:7: (run* (require racket/list) (define-contract UniqueList (lambda (l) (equal? (length l) (length (remove-duplicates l))))) (: ids UniqueList) (define ids empty) (: maybe-unique2 (-> (AllOf Natural (Record ids)))) (define (maybe-unique2) (random 1000)) (check-contract maybe-unique2 1000)) part : "exn-message" actual : "--------------------\ndefinition-area tests > anonymous tests > Unnamed test\nERROR\nparams: '(# 1000)\nname: check-contract\nlocation:\n /home/root/user/.local/share/racket/8.14/pkgs/lsl-lib/private/library/test.rkt:233:37\n\nread-solution: unrecognized solver output: #\n--------------------\n0 success(es) 0 failure(s) 1 error(s) 1 test(s) run\n" expected : #rx"expected: UniqueList" non-empty stderr raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.14/pkgs/lsl/tests/recursive.rkt") test) parametric.rkt: racket test: #< actual : -------------------- definition-area tests > anonymous tests > Unnamed test ERROR params: '(# 100) name: check-contract location: /home/root/user/.local/share/racket/8.14/pkgs/lsl-lib/private/library/test.rkt:233:37 error writing to stream port system error: Broken pipe; errno=32 -------------------- 0 success(es) 0 failure(s) 1 error(s) 1 test(s) run context...: .../chk/main.rkt:119:4 /home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/parametric.rkt:15:2 body of (submod "/home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/parametric.rkt" test) /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2 body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process) body of top-level from /lsl/tests/parametric.rkt:22:3: (run* (: id (All (A) (-> A A))) (define (id x) x) (check-contract id)) predicate : "not exception" FAILURE kind : "exception" actual : -------------------- definition-area tests > anonymous tests > Unnamed test ERROR params: '(# 100) name: check-contract location: /home/root/user/.local/share/racket/8.14/pkgs/lsl-lib/private/library/test.rkt:233:37 read-solution: unrecognized solver output: # -------------------- 0 success(es) 0 failure(s) 1 error(s) 1 test(s) run context...: .../chk/main.rkt:119:4 /home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/parametric.rkt:15:2 body of (submod "/home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/parametric.rkt" test) /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2 body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process) body of top-level from /lsl/tests/parametric.rkt:33:3: (run* (: id (All (A) (-> A A))) (define (id x) 1) (check-contract id)) part : "exn-message" actual : "--------------------\ndefinition-area tests > anonymous tests > Unnamed test\nERROR\nparams: '(# 100)\nname: check-contract\nlocation:\n /home/root/user/.local/share/racket/8.14/pkgs/lsl-lib/private/library/test.rkt:233:37\n\nread-solution: unrecognized solver output: #\n--------------------\n0 success(es) 0 failure(s) 1 error(s) 1 test(s) run\n" expected : #rx"expected: ∀A" non-empty stderr raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.14/pkgs/lsl/tests/regression.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.14/pkgs/lsl/tests/struct.rkt") test) regression.rkt: racket test: #< actual : -------------------- definition-area tests > anonymous tests > Unnamed test ERROR params: '(#) name: verify-contract location: /home/root/user/.local/share/racket/8.14/pkgs/lsl-lib/private/library/test.rkt:255:37 read-solution: unrecognized solver output: # -------------------- 0 success(es) 0 failure(s) 1 error(s) 1 test(s) run context...: .../chk/main.rkt:119:4 /home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/regression.rkt:13:2 body of (submod "/home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/regression.rkt" test) /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2 body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process) body of top-level from /lsl/tests/regression.rkt:55:7: (run* (define-struct push (num)) (define-struct add ()) (define-struct mul ()) (define-struct sub ()) (define-contract SimpleInstr (OneOf (Push Integer) (Add) (Mul) (Sub))) (: g (-> (List SimpleInstr) (List SimpleInstr))) (define (g p) p) (: f (-> (Tuple SimpleInstr) (List SimpleInstr))) (define (f p) (g p)) (verify-contract f)) predicate : "not exception" FAILURE kind : "exception" actual : -------------------- definition-area tests > anonymous tests > Unnamed test ERROR params: '(# 100) name: check-contract location: /home/root/user/.local/share/racket/8.14/pkgs/lsl-lib/private/library/test.rkt:233:37 read-solution: unrecognized solver output: # -------------------- 0 success(es) 0 failure(s) 1 error(s) 1 test(s) run context...: .../chk/main.rkt:119:4 /home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/regression.rkt:13:2 body of (submod "/home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/regression.rkt" test) /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2 body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process) body of top-level from /lsl/tests/regression.rkt:84:7: (run* (define-struct posn (x y)) (: f (-> (List (Posn Natural Natural)) Any)) (define (f m) (if (empty? m) '() (let* ((max-x (apply max (map posn-x m))) (max-y (apply max (map posn-y m))) (p (make-posn max-x max-y))) (first (filter (lambda (a) (equal? a p)) m))))) (check-contract f)) part : "exn-message" actual : "--------------------\ndefinition-area tests > anonymous tests > Unnamed test\nERROR\nparams: '(# 100)\nname: check-contract\nlocation:\n /home/root/user/.local/share/racket/8.14/pkgs/lsl-lib/private/library/test.rkt:233:37\n\nread-solution: unrecognized solver output: #\n--------------------\n0 success(es) 0 failure(s) 1 error(s) 1 test(s) run\n" expected : #rx"first: contract violation" FAILURE kind : "exception" actual : -------------------- definition-area tests > anonymous tests > Unnamed test ERROR params: '(# 100) name: check-contract location: /home/root/user/.local/share/racket/8.14/pkgs/lsl-lib/private/library/test.rkt:233:37 read-solution: unrecognized solver output: # -------------------- 0 success(es) 0 failure(s) 1 error(s) 1 test(s) run context...: .../chk/main.rkt:119:4 /home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/regression.rkt:13:2 body of (submod "/home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/regression.rkt" test) /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2 body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process) body of top-level from /lsl/tests/regression.rkt:94:7: (run* (: f (-> (AllOf Integer (Constant 0)) String)) (define (f x) x) (check-contract f)) part : "exn-message" actual : "--------------------\ndefinition-area tests > anonymous tests > Unnamed test\nERROR\nparams: '(# 100)\nname: check-contract\nlocation:\n /home/root/user/.local/share/racket/8.14/pkgs/lsl-lib/private/library/test.rkt:233:37\n\nread-solution: unrecognized solver output: #\n--------------------\n0 success(es) 0 failure(s) 1 error(s) 1 test(s) run\n" expected : #rx"counterexample: \\(f 0\\)" FAILURE kind : "exception" actual : -------------------- definition-area tests > anonymous tests > Unnamed test ERROR params: '(# 100) name: check-contract location: /home/root/user/.local/share/racket/8.14/pkgs/lsl-lib/private/library/test.rkt:233:37 read-solution: unrecognized solver output: # -------------------- 0 success(es) 0 failure(s) 1 error(s) 1 test(s) run context...: .../chk/main.rkt:119:4 /home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/regression.rkt:13:2 body of (submod "/home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/regression.rkt" test) /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2 body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process) body of top-level from /lsl/tests/regression.rkt:102:7: (run* (: g (-> Integer String)) (define (g x) x) (: f (-> Integer Integer)) (define (f x) (g x)) (check-contract f)) part : "exn-message" actual : "--------------------\ndefinition-area tests > anonymous tests > Unnamed test\nERROR\nparams: '(# 100)\nname: check-contract\nlocation:\n /home/root/user/.local/share/racket/8.14/pkgs/lsl-lib/private/library/test.rkt:233:37\n\nread-solution: unrecognized solver output: #\n--------------------\n0 success(es) 0 failure(s) 1 error(s) 1 test(s) run\n" expected : #rx"expected: String" non-empty stderr raco test: 0 (file "/home/root//user/.local/share/racket/8.14/pkgs/lsl/tests/util.rkt") struct.rkt: racket test: #< anonymous tests > Unnamed test ERROR params: '(#) name: verify-contract location: /home/root/user/.local/share/racket/8.14/pkgs/lsl-lib/private/library/test.rkt:255:37 read-solution: unrecognized solver output: # -------------------- 0 success(es) 0 failure(s) 1 error(s) 1 test(s) run context...: .../chk/main.rkt:119:4 /home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/struct.rkt:74:2 body of (submod "/home/root/user/.local/share/racket/8.14/pkgs/lsl/tests/struct.rkt" test) /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2 body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process) body of top-level from /lsl/tests/struct.rkt:137:3: (run* (define-struct foo (x)) (: f (-> (Foo Integer) True)) (define (f st) (zero? (foo-x st))) (verify-contract f)) part : "exn-message" actual : "--------------------\ndefinition-area tests > anonymous tests > Unnamed test\nERROR\nparams: '(#)\nname: verify-contract\nlocation:\n /home/root/user/.local/share/racket/8.14/pkgs/lsl-lib/private/library/test.rkt:255:37\n\nread-solution: unrecognized solver output: #\n--------------------\n0 success(es) 0 failure(s) 1 error(s) 1 test(s) run\n" expected : #rx"counterexample: \\(f \\(make-foo 1\\)\\)" non-empty stderr 9/68 test failures 25 /home/root//user/.local/share/racket/8.14/pkgs/lsl/tests/immediate.rkt 15 /home/root//user/.local/share/racket/8.14/pkgs/lsl/tests/recursive.rkt 13 /home/root//user/.local/share/racket/8.14/pkgs/lsl/tests/allof.rkt 6 /home/root//user/.local/share/racket/8.14/pkgs/lsl/tests/concurrency.rkt 0 /home/root//user/.local/share/racket/8.14/pkgs/lsl/info.rkt 0 /home/root//user/.local/share/racket/8.14/pkgs/lsl/scribblings/label.rkt 0 /home/root//user/.local/share/racket/8.14/pkgs/lsl/scribblings/lsl.scrbl 0 /home/root//user/.local/share/racket/8.14/pkgs/lsl/tests/util.rkt 1 1 /home/root//user/.local/share/racket/8.14/pkgs/lsl/tests/const-folding.rkt 1 1 /home/root//user/.local/share/racket/8.14/pkgs/lsl/tests/function.rkt 1 1 /home/root//user/.local/share/racket/8.14/pkgs/lsl/tests/list.rkt 1 1 /home/root//user/.local/share/racket/8.14/pkgs/lsl/tests/oneof.rkt 1 1 /home/root//user/.local/share/racket/8.14/pkgs/lsl/tests/parametric.rkt 1 1 /home/root//user/.local/share/racket/8.14/pkgs/lsl/tests/rackunit.rkt 1 1 /home/root//user/.local/share/racket/8.14/pkgs/lsl/tests/record.rkt 1 1 /home/root//user/.local/share/racket/8.14/pkgs/lsl/tests/regression.rkt 1 1 /home/root//user/.local/share/racket/8.14/pkgs/lsl/tests/struct.rkt GC: 0:atexit peak 97,207K(+39,256K); alloc 290,261K; major 1; minor 33; 156ms The time is now Sunday, September 15th, 2024 6:26:56pm