The time is now Thursday, November 26th, 2020 9:18:52am
(/usr/bin/env PLTUSERHOME=/home/root//user PLT_PKG_BUILD_SERVICE=1 CI=true PLTSTDERR=debug@pkg error PLT_INFO_ALLOW_VARS=;PLT_PKG_BUILD_SERVICE /bin/sh -c cd "/home/root/"/racket && bin/raco pkg install -u --auto xsmith-examples)
Resolved "xsmith-examples" via file:///home/root//catalogs/archive/catalog
pkg: catalog response: #hash((author . "willghatch@gmail.com eeide@cs.utah.edu") (checksum . "375f4ab0cf06be3b047a7a804b0a656092eed30a") (dependencies . (("base") ("rackunit-lib") ("at-exp-lib") ("pprint") ("racr") ("xsmith") ("rosette") ("clotho") ("math-lib") ("scribble-lib"))) (description . "Example fuzzers built with xsmith.") (modules . ((lib "xsmith-examples/cish/cish.rkt") (lib "xsmith-examples/simple/python.rkt") (lib "xsmith-examples/future/polyphasic.rkt") (lib "xsmith-examples/pythonesque/pythonesque.rkt") (lib "xsmith-examples/cish/cish-rules.rkt") (lib "xsmith-examples/cish/cish-main.rkt") (lib "xsmith-examples/simple/lua.rkt") (lib "xsmith-examples/future/simplesafemath.rkt") (lib "xsmith-examples/future/fastmath.rkt") (lib "xsmith-examples/future/refiners-test.rkt") (lib "xsmith-examples/simple/javascript.rkt") (lib "xsmith-examples/simple/racket.rkt") (lib "xsmith-examples/verilog/verilog.rkt") (lib "xsmith-examples/scribblings/xsmith-examples.scrbl") (lib "xsmith-examples/future/btree.rkt") (lib "xsmith-examples/future/pretty-printing.rkt") (lib "xsmith-examples/cish/cish-utils.rkt") (lib "xsmith-examples/schemely/schemely.rkt") (lib "xsmith-examples/cish/cish-grammar.rkt") (lib "xsmith-examples/racket-kernel-fuzzer/racket-kernel-fuzzer.rkt"))) (name . "xsmith-examples") (ring . 1) (source . "file:///home/root/catalogs/archive/pkgs/xsmith-examples.zip") (tags . ("fuzzing")))
00: Resolved "pprint" via file:///home/root//catalogs/built/catalog
00: Resolved "racr" via file:///home/root//catalogs/built/catalog
01: Resolved "xsmith" via file:///home/root//catalogs/built/catalog
01: Resolved "rosette" via file:///home/root//catalogs/built/catalog
Resolved "clotho" via file:///home/root//catalogs/built/catalog
pkg: catalog response: #hash((author . "asumu@ccs.neu.edu") (checksum . "170917271952adc55db7bb1abc8da53d51c8ee3f") (dependencies . (("base") ("dherman-struct") ("rackunit-lib") ("racket-doc") ("scribble-lib"))) (description . "A universal pretty printing library") (modules . ((lib "pprint/pprint.scrbl") (lib "pprint/haskell.rkt") (lib "pprint/tests.rkt") (lib "pprint/main.rkt"))) (name . "pprint") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/pprint.zip") (tags . ("io" "printing")))
pkg: catalog response: #hash((author . "eeide@cs.utah.edu") (checksum . "68cc025bba8e052a137b287b926fe8a14c4d0617") (dependencies . (("base") ("rackunit-lib") ("scribble-lib") ("racket-doc"))) (description . "A Racket port of RACR, a library for reference attribute grammar controlled rewriting.") (modules . ((lib "racr/main.rkt") (lib "racr/testing.rkt") (lib "racr/core.rkt") (lib "racr/scribblings/racr.scrbl"))) (name . "racr") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/racr.zip") (tags . ()))
pkg: catalog response: #hash((author . "eeide@cs.utah.edu willghatch@gmail.com") (checksum . "aff9a4d0c18f664ff6bb6bff083fa694fd36153c") (dependencies . (("base") ("rackunit-lib") ("at-exp-lib") ("pprint") ("racr") ("clotho") ("math-lib") ("unix-socket-lib") ("memoize") ("scribble-lib") ("racket-doc"))) (description . "Generator of highly effective fuzz testers.") (modules . ((lib "xsmith/racr-convenience.rkt") (lib "xsmith/private/scope-graph.rkt") (lib "xsmith/scribblings/minimal-example-with-variables.rkt") (lib "xsmith/private/xsmith-utils.rkt") (lib "xsmith/private/test-fuzzers/function-type.rkt") (lib "xsmith/scribblings/minimal-example-with-canned-components.rkt") (lib "xsmith/scribblings/install.scrbl") (lib "xsmith/private/xsmith-parameters.rkt") (lib "xsmith/private/xsmith-version.rkt") (lib "xsmith/private/choice.rkt") (lib "xsmith/canned-components.rkt") (lib "xsmith/scribblings/acknowledgments.scrbl") (lib "xsmith/scribblings/xsmith.scrbl") (lib "xsmith/private/debug-util.rkt") (lib "xsmith/private/test-fuzzers/structural-records.rkt") (lib "xsmith/private/define-grammar-property.rkt") (lib "xsmith/private/grammar-macros.rkt") (lib "xsmith/private/test-fuzzers/subtyping-base-types.rkt") (lib "xsmith/scribblings/code-and-license.scrbl") (lib "xsmith/private/test-fuzzers/product-type.rkt") (lib "xsmith/private/test-fuzzers/multiple-base-types.rkt") (lib "xsmith/private/core-macros-and-properties.rkt") (lib "xsmith/private/core-properties.rkt") (lib "xsmith/private/effects.rkt") (lib "xsmith/main.rkt") (lib "xsmith/scribblings/util.rkt") (lib "xsmith/private/grammar-properties.rkt") (lib "xsmith/scribblings/reference.scrbl") (lib "xsmith/scribblings/introduction.scrbl") (lib "xsmith/private/types.rkt") (lib "xsmith/private/test-fuzzers/no-types.rkt") (lib "xsmith/private/xsmith-command-line.rkt") (lib "xsmith/app.rkt") (lib "xsmith/private/grammar-refiner.rkt") (lib "xsmith/scribblings/minimal-example.rkt") (lib "xsmith/private/spec-component-struct.rkt") (lib "xsmith/scribblings/guide.scrbl"))) (name . "xsmith") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/xsmith.zip") (tags . ("fuzzing")))
pkg: catalog response: #hash((author . "emina@cs.washington.edu") (checksum . "a391616c6a69a638d908cd1dcc24ad47806d408f") (dependencies . (("custom-load") ("sandbox-lib") ("scribble-lib") ("racket" #:version "7.0") ("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 "rosette/guide/scribble/error-tracing/error-tracing.scrbl") (lib "rosette/lib/profile/data.rkt") (lib "rosette/guide/scribble/datatypes/test.rkt") (lib "rosette/guide/scribble/datatypes/bitvectors.scrbl") (lib "sdsl/websynth/test/itunes100_16.rkt") (lib "rosette/guide/scribble/libs/rosette-lib-test.rkt") (lib "rosette/lib/profile/renderer/noop.rkt") (lib "rosette/base/core/bool.rkt") (lib "rosette/solver/smt/smtlib2.rkt") (lib "rosette/safe/lang/reader.rkt") (lib "rosette/lang/reader.rkt") (lib "test/trace/code/ex-2.rkt") (lib "rosette/base/adt/box.rkt") (lib "rosette/query/query.rkt") (lib "sdsl/ifc/basic.rkt") (lib "rosette/guide/scribble/performance/performance.scrbl") (lib "sdsl/websynth/test/itunes100_8.rkt") (lib "rosette/lib/profile/tool.rkt") (lib "rosette/base/struct/struct-type.rkt") (lib "sdsl/bv/lang/program.rkt") (lib "rosette/guide/scribble/unsafe/unsafe.scrbl") (lib "test/trace/code/test-stack.rkt") (lib "sdsl/synthcl/examples/matrixMultiply/verify/host-buggy.rkt") (lib "test/trace/code/if.rkt") (lib "test/base/equality.rkt") (lib "test/base/vector.rkt") (lib "rosette/lib/trace/report/fix-path.rkt") (lib "test/config.rkt") (lib "rosette/guide/scribble/forms/forms.scrbl") (lib "test/base/term.rkt") (lib "sdsl/synthcl/model/pointers.rkt") (lib "sdsl/synthcl/model/objects.rkt") (lib "test/base/real.rkt") (lib "sdsl/synthcl/examples/fastWalshTransform/verify/kernel.rkt") (lib "rosette/guide/scribble/util/lifted.rkt") (lib "sdsl/fsm/fsm.rkt") (lib "rosette/lib/synthax/form.rkt") (lib "test/all-sdsl-tests.rkt") (lib "sdsl/synthcl/model/kernel.rkt") (lib "test/base/decode.rkt") (lib "rosette/guide/scribble/forms/racket-forms.scrbl") (lib "sdsl/synthcl/model/reals.rkt") (lib "rosette/lib/trace/compile.rkt") (lib "test/trace/code/ex-1-1.rkt") (lib "sdsl/ifc/jump.rkt") (lib "sdsl/websynth/test/alanon_arkansas_2.rkt") (lib "test/query/verify.rkt") (lib "sdsl/synthcl/model/memory.rkt") (lib "rosette/guide/scribble/datatypes/pairs.scrbl") (lib "rosette/private/install.rkt") (lib "test/base/merge.rkt") (lib "rosette/lib/profile/record.rkt") (lib "rosette/lib/trace/raco.rkt") (lib "rosette/query/core.rkt") (lib "rosette/base/core/reflect.rkt") (lib "test/profile/renderer.rkt") (lib "rosette/base/util/array.rkt") (lib "rosette/base/core/function.rkt") (lib "test/trace/code/tail.rkt") (lib "rosette/guide/scribble/datatypes/procedures.scrbl") (lib "test/query/debug.rkt") (lib "sdsl/bv/bv.rkt") (lib "sdsl/synthcl/test/grammar.rkt") (lib "rosette/base/struct/struct.rkt") (lib "rosette/base/core/forall.rkt") (lib "rosette/lib/profile/renderer/report/solver.rkt") (lib "rosette/lib/profile/raco.rkt") (lib "rosette/base/core/term.rkt") (lib "rosette/base/core/exn.rkt") (lib "test/trace/code/forall.rkt") (lib "rosette/guide/scribble/welcome/welcome.scrbl") (lib "sdsl/synthcl/lang/types.rkt") (lib "test/trace/code/ex-1-3.rkt") (lib "test/trace/code/macro.rkt") (lib "test/base/bool.rkt") (lib "test/trace/code/ex-1-2.rkt") (lib "sdsl/websynth/test/alanon_arkansas_8.rkt") (lib "rosette/lib/profile/feature.rkt") (lib "sdsl/synthcl/examples/matrixMultiply/verify/host.rkt") (lib "sdsl/synthcl/examples/sobelFilter/test.rkt") (lib "rosette/guide/scribble/util/clean.rkt") (lib "sdsl/websynth/test/itunes100_4.rkt") (lib "rosette/guide/scribble/datatypes/boxes.scrbl") (lib "rosette/query/finitize.rkt") (lib "sdsl/bv/lang/fragment.rkt") (lib "rosette/base/adt/list.rkt") (lib "test/profile/benchmarks/list.rkt") (lib "test/query/solve+.rkt") (lib "rosette/lib/profile/renderer/syntax.rkt") (lib "rosette/guide/scribble/libs/utility-libs.scrbl") (lib "sdsl/synthcl/model/work.rkt") (lib "rosette/solver/smt/cmd.rkt") (lib "rosette/lib/lift.rkt") (lib "sdsl/bv/test/all-tests.rkt") (lib "test/base/forall.rkt") (lib "rosette/base/core/real.rkt") (lib "sdsl/synthcl/test/operators.rkt") (lib "sdsl/synthcl/lang/util.rkt") (lib "rosette/guide/scribble/datatypes/defined-datatypes.scrbl") (lib "rosette/base/form/app.rkt") (lib "rosette/base/adt/seq.rkt") (lib "sdsl/synthcl/model/operators.rkt") (lib "rosette/base/core/effects.rkt") (lib "rosette/lib/profile/renderer/report/callgraph.rkt") (lib "sdsl/synthcl/examples/matrixMultiply/synth/kernel.rkt") (lib "test/trace/code/test-track-form.rkt") (lib "sdsl/fsm/lib.rkt") (lib "sdsl/synthcl/lang/sugar.rkt") (lib "rosette/base/core/reporter.rkt") (lib "sdsl/websynth/benchmarks/alanon_arkansas_16.rkt") (lib "test/trace/code/ex-3.rkt") (lib "rosette/base/form/module.rkt") (lib "rosette/base/form/control.rkt") (lib "sdsl/ifc/test.rkt") (lib "sdsl/synthcl/examples/fastWalshTransform/synth/test.rkt") (lib "test/trace/code/infeasible.rkt") (lib "rosette/guide/scribble/essentials/essentials.scrbl") (lib "sdsl/websynth/benchmarks/alanon_arkansas_2.rkt") (lib "sdsl/ifc/verify-EENI-demo.rkt") (lib "test/base/ord-dict.rkt") (lib "rosette/query/form.rkt") (lib "rosette/lib/synthax.rkt") (lib "sdsl/websynth/benchmarks/itunes100_8.rkt") (lib "sdsl/ifc/call.rkt") (lib "sdsl/synthcl/test/all-tests.rkt") (lib "rosette/guide/scribble/essentials/poly.rkt") (lib "sdsl/synthcl/model/queue.rkt") (lib "rosette/base/adt/vector.rkt") (lib "sdsl/fsm/demo.rkt") (lib "rosette/guide/scribble/datatypes/bools+ints+reals.scrbl") (lib "sdsl/synthcl/lang/operators.rkt") (lib "rosette/base/core/bitvector.rkt") (lib "sdsl/bv/examples/reference.rkt") (lib "sdsl/bv/lang/bvops.rkt") (lib "rosette/lib/destruct.rkt") (lib "sdsl/websynth/test/alanon_arkansas_16.rkt") (lib "test/trace/code/core-form.rkt") (lib "rosette/solver/smt/server.rkt") (lib "rosette/solver/smt/env.rkt") (lib "test/cplex/solve.rkt") (lib "sdsl/synthcl/test/typecheck.rkt") (lib "sdsl/synthcl/test/work.rkt") (lib "rosette/query/eval.rkt") (lib "sdsl/synthcl/model/program.rkt") (lib "test/query/synthax-external.rkt") (lib "sdsl/websynth/benchmarks/imdb250_4.rkt") (lib "sdsl/synthcl/examples/toy/verify/kernel.rkt") (lib "sdsl/bv/examples/hard.rkt") (lib "sdsl/websynth/benchmarks/alanon_arkansas_8.rkt") (lib "rosette/lib/profile/graph.rkt") (lib "sdsl/websynth/benchmarks/alanon_arkansas_4.rkt") (lib "rosette/lib/profile.rkt") (lib "rosette/guide/scribble/datatypes/equality.scrbl") (lib "rosette/solver/smt/boolector.rkt") (lib "rosette/solver/mip/cplex.rkt") (lib "sdsl/websynth/test/itunes100_2.rkt") (lib "sdsl/websynth/benchmarks/imdb250_2.rkt") (lib "sdsl/synthcl/lang/errors.rkt") (lib "sdsl/websynth/test/imdb250_4.rkt") (lib "sdsl/synthcl/model/runtime.rkt") (lib "rosette/guide/scribble/libs/libraries.scrbl") (lib "sdsl/synthcl/examples/fastWalshTransform/synth/host.rkt") (lib "rosette/guide/scribble/libs/rosette-libs.scrbl") (lib "rosette/base/form/state.rkt") (lib "test/trace/code/infeasible-solver.rkt") (lib "sdsl/websynth/test/imdb250_2.rkt") (lib "test/trace/stress/tail.rkt") (lib "rosette/lib/profile/renderer/report/generic.rkt") (lib "rosette/base/util/ord-dict.rkt") (lib "test/all-rosette-tests.rkt") (lib "rosette/guide/scribble/datatypes/builtin-datatypes.scrbl") (lib "rosette/query/debug.rkt") (lib "test/query/synthesize.rkt") (lib "rosette/lib/util/streaming-server.rkt") (lib "test/base/uninterpreted.rkt") (lib "rosette/base/adt/generic.rkt") (lib "rosette/guide/scribble/reflection/symbolic-reflection.scrbl") (lib "rosette/guide/scribble/datatypes/vectors.scrbl") (lib "sdsl/synthcl/examples/sobelFilter/reference.rkt") (lib "test/base/bitvector.rkt") (lib "sdsl/synthcl/examples/toy/synth/host.rkt") (lib "test/trace/code/toplevel.rkt") (lib "sdsl/synthcl/test/reals.rkt") (lib "rosette/solver/smt/dec.rkt") (lib "rosette/solver/solver.rkt") (lib "test/trace/stress/non-tail.rkt") (lib "rosette/lib/value-browser.rkt") (lib "rosette/solver/smt/yices.rkt") (lib "rosette/base/form/define.rkt") (lib "rosette/main.rkt") (lib "test/trace/perf-runner.rkt") (lib "test/trace/code/error.rkt") (lib "test/lib/destruct.rkt") (lib "sdsl/synthcl/model/flags.rkt") (lib "test/profile/benchmarks/update-at.rkt") (lib "sdsl/synthcl/lang/main.rkt") (lib "test/trace/test.rkt") (lib "rosette/base/base.rkt") (lib "sdsl/bv/lang/log.rkt") (lib "sdsl/synthcl/model/context.rkt") (lib "sdsl/ifc/value.rkt") (lib "rosette/solver/smt/base-solver.rkt") (lib "sdsl/synthcl/lang/typecheck.rkt") (lib "test/trace/code/assertion.rkt") (lib "sdsl/websynth/test/imdb250_8.rkt") (lib "sdsl/synthcl/test/memory.rkt") (lib "sdsl/synthcl/test/more-snippets.rkt") (lib "sdsl/websynth/benchmarks/itunes100_16.rkt") (lib "sdsl/ifc/instruction.rkt") (lib "rosette/lib/util/syntax.rkt") (lib "rosette/guide/scribble/refs.scrbl") (lib "rosette/lib/roseunit.rkt") (lib "test/base/finitize.rkt") (lib "rosette/base/core/bvlib.rkt") (lib "rosette/solver/smt/cvc4.rkt") (lib "rosette/solver/mip/cmd.rkt") (lib "test/base/bvlib.rkt") (lib "rosette/base/core/type.rkt") (lib "rosette/base/struct/generics.rkt") (lib "rosette/lib/util/syntax-properties.rkt") (lib "rosette/base/core/union.rkt") (lib "sdsl/synthcl/lang/env.rkt") (lib "rosette/base/core/polymorphic.rkt") (lib "sdsl/synthcl/examples/toy/synth/kernel.rkt") (lib "sdsl/websynth/test/imdb250_16.rkt") (lib "sdsl/synthcl/lang/builtins.rkt") (lib "rosette/lib/trace/client-launcher.rkt") (lib "sdsl/synthcl/examples/fastWalshTransform/synth/kernel.rkt") (lib "test/base/quantified.rkt") (lib "sdsl/synthcl/examples/toy/verify/host.rkt") (lib "sdsl/synthcl/examples/fastWalshTransform/verify/host.rkt") (lib "rosette/solver/mip/server.rkt") (lib "sdsl/bv/test/easy.rkt") (lib "sdsl/synthcl/examples/matrixMultiply/synth/test.rkt") (lib "rosette/safe.rkt") (lib "sdsl/bv/examples/easy.rkt") (lib "rosette/guide/scribble/libs/racket-libs.scrbl") (lib "rosette/guide/scribble/reflection/test.rkt") (lib "sdsl/ifc/verify.rkt") (lib "sdsl/synthcl/lang/queries.rkt") (lib "rosette/guide/scribble/rosette-guide.scrbl") (lib "sdsl/websynth/benchmarks/itunes100_4.rkt") (lib "rosette/lib/profile/renderer/renderer.rkt") (lib "rosette/lib/angelic.rkt") (lib "rosette/lib/profile/compile.rkt") (lib "test/base/solver.rkt") (lib "test/profile/test.rkt") (lib "test/base/list.rkt") (lib "sdsl/websynth/websynthlib.rkt") (lib "sdsl/websynth/benchmarks/imdb250_16.rkt") (lib "sdsl/bv/test/util.rkt") (lib "sdsl/fsm/query.rkt") (lib "rosette/guide/scribble/datatypes/solvers+solutions.scrbl") (lib "test/trace/code/lib.rkt") (lib "sdsl/ifc/machine.rkt") (lib "sdsl/bv/lang/form.rkt") (lib "test/base/common.rkt") (lib "sdsl/websynth/test/alanon_arkansas_4.rkt") (lib "test/trace/code/non-tail.rkt") (lib "test/query/synthax.rkt") (lib "rosette/base/core/safe.rkt") (lib "rosette/base/core/equality.rkt") (lib "test/base/generics.rkt") (lib "test/base/effects.rkt") (lib "rosette/base/core/lift.rkt") (lib "test/trace/code/solver-limitation.rkt") (lib "test/trace/code/no-error.rkt") (lib "rosette/lib/trace/sample-data.rkt") (lib "test/trace/code/macro-define.rkt") (lib "test/base/push-pop.rkt") (lib "test/query/optimize.rkt") (lib "sdsl/ifc/indistinguishable.rkt") (lib "test/base/type.rkt") (lib "test/trace/code/list-2.rkt") (lib "rosette/base/core/numerics.rkt") (lib "sdsl/bv/test/medium.rkt") (lib "sdsl/fsm/viz.rkt") (lib "rosette/lib/synthax/core.rkt") (lib "sdsl/synthcl/model/buffer.rkt") (lib "test/trace/code/list.rkt") (lib "rosette/guide/scribble/datatypes/uninterpreted.scrbl") (lib "test/profile/benchmarks/exn.rkt") (lib "sdsl/synthcl/examples/matrixMultiply/verify/kernel.rkt") (lib "rosette/lib/render.rkt") (lib "sdsl/websynth/test/all-tests.rkt") (lib "rosette/solver/mip/common.rkt") (lib "sdsl/synthcl/examples/fastWalshTransform/verify/test.rkt") (lib "sdsl/synthcl/model/errors.rkt") (lib "test/base/exprs.rkt") (lib "rosette/base/core/procedure.rkt") (lib "sdsl/synthcl/model/type.rkt") (lib "sdsl/websynth/benchmarks/imdb250_8.rkt") (lib "rosette/lib/profile/renderer/report/terms.rkt") (lib "rosette/lib/match.rkt") (lib "sdsl/synthcl/examples/matrixMultiply/verify/test.rkt") (lib "rosette/lib/profile/reporter.rkt") (lib "rosette/lib/profile/renderer/trace.rkt") (lib "rosette/lib/util/ws-server.rkt") (lib "sdsl/synthcl/test/snippets.rkt") (lib "sdsl/websynth/dom.rkt") (lib "sdsl/synthcl/examples/sobelFilter/kernel.rkt") (lib "rosette/guide/scribble/forms/rosette-forms.scrbl") (lib "sdsl/websynth/benchmarks/itunes100_2.rkt") (lib "rosette/base/core/distinct.rkt") (lib "rosette/base/core/merge.rkt") (lib "sdsl/synthcl/examples/matrixMultiply/synth/host.rkt") (lib "test/query/solve.rkt") (lib "sdsl/synthcl/lang/forms.rkt") (lib "rosette/lib/profile/renderer/report.rkt") (lib "rosette/guide/scribble/reflection/value-reflection.scrbl") (lib "sdsl/synthcl/examples/sobelFilter/host.rkt") (lib "rosette/solver/solution.rkt") (lib "rosette/solver/mip/enc.rkt") (lib "test/base/distinct.rkt") (lib "rosette/lib/profile/renderer/heap.rkt") (lib "rosette/guide/scribble/reflection/state-reflection.scrbl") (lib "rosette/solver/smt/enc.rkt") (lib "rosette/solver/smt/z3.rkt") (lib "rosette/lib/trace/tool.rkt") (lib "sdsl/fsm/automaton.rkt") (lib "rosette/lib/trace/mock-server.rkt") (lib "rosette/lib/util/module.rkt") (lib "sdsl/bv/lang/core.rkt") (lib "sdsl/websynth/websynth.rkt") (lib "sdsl/bv/examples/medium.rkt"))) (name . "rosette") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/rosette.zip") (tags . ()))
pkg: catalog response: #hash((author . "william@hatch.uno eeide@cs.utah.edu pierce.darragh@gmail.com") (checksum . "d0192b730b4db169e6f8ea81944b9b04c21a91f0") (dependencies . (("base") ("rackunit-lib") ("scribble-lib") ("racket-doc"))) (description . "A library for enabling parametric randomness in Racket applications.") (modules . ((lib "clotho/scribblings/api.scrbl") (lib "clotho/scribblings/acknowledgments.scrbl") (lib "clotho/examples/guide/manipulate.rkt") (lib "clotho/examples/guide/external-multiple.rkt") (lib "clotho/lib/common.rkt") (lib "clotho/lib/macros.rkt") (lib "clotho/examples/guide/success.rkt") (lib "clotho/lib/clean-prg.rkt") (lib "clotho/scribblings/code-and-license.scrbl") (lib "clotho/lib/random-source-struct.rkt") (lib "clotho/scribblings/guide.scrbl") (lib "clotho/base.rkt") (lib "clotho/stateful.rkt") (lib "clotho/examples/guide/error.rkt") (lib "clotho/examples/guide/replay.rkt") (lib "clotho/examples/guide/racket-abstract.rkt") (lib "clotho/math/distributions.rkt") (lib "clotho/examples/guide/byte-string.rkt") (lib "clotho/examples/guide/external.rkt") (lib "clotho/examples/guide/abstract.rkt") (lib "clotho/examples/guide/math-distributions.rkt") (lib "clotho/examples/minesweeper-multiple.rkt") (lib "clotho/lib/random.rkt") (lib "clotho/lib/random-source.rkt") (lib "clotho/racket/base.rkt") (lib "clotho/lib/convenience-functions.rkt") (lib "clotho/scribblings/clotho.scrbl") (lib "clotho/main.rkt") (lib "clotho/examples/cards.rkt") (lib "clotho/examples/minesweeper.rkt"))) (name . "clotho") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/clotho.zip") (tags . ("fuzzing" "lang" "random")))
Resolved "dherman-struct" via file:///home/root//catalogs/built/catalog
pkg: catalog response: #hash((author . "clements@racket-lang.org") (checksum . "6921a89f3c296c087164bbb774111db56adf8149") (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 "memoize" via file:///home/root//catalogs/built/catalog
pkg: catalog response: #hash((author . "clements@racket-lang.org dherman@mozilla.com") (checksum . "887ba681d604d75e62839a6fb6e5415c16a1a363") (dependencies . (("base") ("rackunit-lib") ("scribble-lib") ("racket-doc"))) (description . "Memoization for functions") (modules . ((lib "memoize/private/tests.rkt") (lib "memoize/main.rkt") (lib "memoize/memoize.scrbl"))) (name . "memoize") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/memoize.zip") (tags . ()))
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 . "2472fe7cc8db89aa47b58af3f7ff9aceac532ba6") (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: catalog response: #hash((author . "tonygarnockjones@gmail.com") (checksum . "1ddf86970964744020ec85d8b7bbcdc84932d695") (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/examples/time-client-with-threads.rkt") (lib "net/rfc6455/http.rkt") (lib "net/rfc6455/examples/time-client-with-sync.rkt") (lib "net/rfc6455/rfc6455/conn.rkt") (lib "net/rfc6455/hybi00/conn.rkt") (lib "net/rfc6455/rfc6455/client.rkt") (lib "net/rfc6455/hybi00/dispatcher.rkt") (lib "net/rfc6455/examples/test-server.rkt") (lib "net/rfc6455.rkt") (lib "net/rfc6455/dispatcher.rkt") (lib "net/rfc6455/examples/test-service-mapper.rkt") (lib "net/rfc6455/hybi00/handshake.rkt") (lib "net/rfc6455/rfc6455/handshake.rkt") (lib "net/rfc6455/rfc6455/dispatcher.rkt") (lib "net/rfc6455/examples/cat.rkt") (lib "net/rfc6455/examples/client.rkt") (lib "net/rfc6455/conn-api.rkt") (lib "net/rfc6455/scribblings/rfc6455.scrbl") (lib "net/rfc6455/client.rkt") (lib "net/rfc6455/timeout.rkt") (lib "net/rfc6455/server.rkt") (lib "net/rfc6455/examples/time-server.rkt") (lib "net/rfc6455/rfc6455/frame.rkt") (lib "net/rfc6455/url.rkt") (lib "net/rfc6455/service-mapper.rkt") (lib "net/rfc6455/hybi00/client.rkt") (lib "net/rfc6455/private/connection-manager.rkt") (lib "net/rfc6455/examples/echo-server.rkt"))) (name . "rfc6455") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/rfc6455.zip") (tags . ("http" "net" "web")))
pkg: creating single-collection link to #<path:/home/root//user/.local/share/racket/7.9/pkgs/xsmith-examples>
pkg: updating db with "xsmith-examples" to '#s((sc-pkg-info pkg-info 3) (catalog "xsmith-examples") "375f4ab0cf06be3b047a7a804b0a656092eed30a" #f "xsmith-examples")
pkg: creating single-collection link to #<path:/home/root//user/.local/share/racket/7.9/pkgs/pprint>
pkg: updating db with "pprint" to '#s((sc-pkg-info pkg-info 3) (catalog "pprint") "170917271952adc55db7bb1abc8da53d51c8ee3f" #t "pprint")
pkg: creating single-collection link to #<path:/home/root//user/.local/share/racket/7.9/pkgs/racr>
pkg: updating db with "racr" to '#s((sc-pkg-info pkg-info 3) (catalog "racr") "68cc025bba8e052a137b287b926fe8a14c4d0617" #t "racr")
pkg: creating single-collection link to #<path:/home/root//user/.local/share/racket/7.9/pkgs/xsmith>
pkg: updating db with "xsmith" to '#s((sc-pkg-info pkg-info 3) (catalog "xsmith") "aff9a4d0c18f664ff6bb6bff083fa694fd36153c" #t "xsmith")
pkg: creating link to #<path:/home/root//user/.local/share/racket/7.9/pkgs/rosette>
pkg: updating db with "rosette" to '#s(pkg-info (catalog "rosette") "a391616c6a69a638d908cd1dcc24ad47806d408f" #t)
pkg: creating single-collection link to #<path:/home/root//user/.local/share/racket/7.9/pkgs/clotho>
pkg: updating db with "clotho" to '#s((sc-pkg-info pkg-info 3) (catalog "clotho") "d0192b730b4db169e6f8ea81944b9b04c21a91f0" #t "clotho")
pkg: creating link to #<path:/home/root//user/.local/share/racket/7.9/pkgs/dherman-struct>
pkg: updating db with "dherman-struct" to '#s(pkg-info (catalog "dherman-struct") "6921a89f3c296c087164bbb774111db56adf8149" #t)
pkg: creating link to #<path:/home/root//user/.local/share/racket/7.9/pkgs/memoize>
pkg: updating db with "memoize" to '#s(pkg-info (catalog "memoize") "887ba681d604d75e62839a6fb6e5415c16a1a363" #t)
pkg: creating single-collection link to #<path:/home/root//user/.local/share/racket/7.9/pkgs/custom-load>
pkg: updating db with "custom-load" to '#s((sc-pkg-info pkg-info 3) (catalog "custom-load") "2472fe7cc8db89aa47b58af3f7ff9aceac532ba6" #t "custom-load")
pkg: creating link to #<path:/home/root//user/.local/share/racket/7.9/pkgs/rfc6455>
pkg: updating db with "rfc6455" to '#s(pkg-info (catalog "rfc6455") "1ddf86970964744020ec85d8b7bbcdc84932d695" #t)
The following uninstalled packages were listed as dependencies
and they were automatically installed:
 dependencies of xsmith-examples:
   pprint
   racr
   xsmith
   rosette
   clotho
 dependencies of pprint:
   dherman-struct
 dependencies of xsmith:
   memoize
 dependencies of rosette:
   custom-load
   rfc6455
raco setup: version: 7.9
raco setup: platform: x86_64-linux-natipkg [3m]
raco setup: target machine: racket
raco setup: installation name: 7.9
raco setup: variants: 3m
raco setup: main collects: /home/root/racket/collects
raco setup: collects paths: 
raco setup:   /home/root/user/.local/share/racket/7.9/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/7.9/pkgs
raco setup: links files: 
raco setup:   /home/root/racket/share/links.rktd
raco setup:   /home/root//user/.local/share/racket/7.9/links.rktd
raco setup: main docs: /home/root/racket/doc
raco setup: --- updating info-domain tables ---                    [9:18:57]
raco setup: updating: /home/root/user/.local/share/racket/7.9/share/info-cache.rktd
raco setup: --- pre-installing collections ---                     [9:18:57]
raco setup: pre-installing: <pkgs>/rosette/rosette


********** Failed to install Z3 **********

You'll need to manually install a Z3 binary
to this location: /home/root/user/.local/share/racket/7.9/pkgs/rosette/bin/z3

The problem was:
tcp-connect: connection failed;
 host not found
  address: github.com
  port number: 443
  system error: Temporary failure in name resolution; gai_err=-3

*********


raco setup: --- installing foreign libraries ---                   [9:18:57]
raco setup: --- installing shared files ---                        [9:18:57]
raco setup: --- compiling collections ---                          [9:18:57]
raco setup: making: <pkgs>/clotho
raco setup: making: <pkgs>/clotho/examples
raco setup: making: <pkgs>/clotho/examples/guide
raco setup: making: <pkgs>/clotho/lib
raco setup: making: <pkgs>/clotho/math
raco setup: making: <pkgs>/clotho/racket
raco setup: making: <pkgs>/clotho/scribblings
raco setup: making: <pkgs>/custom-load (custom-load)
raco setup: making: <pkgs>/custom-load/private
raco setup: making: <pkgs>/dherman-struct/dherman-struct (struct)
raco setup: making: <pkgs>/dherman-struct/dherman-struct/private
raco setup: making: <pkgs>/dherman-struct/dherman-struct/private/tests
raco setup: making: <pkgs>/memoize/memoize (memoize)
raco setup: making: <pkgs>/memoize/memoize/private
raco setup: making: <pkgs>/pprint (pprint)
raco setup: making: <pkgs>/racr
raco setup: making: <pkgs>/racr/scribblings
raco setup: making: <pkgs>/rfc6455/net
raco setup: making: <pkgs>/rfc6455/net/rfc6455
raco setup: making: <pkgs>/rfc6455/net/rfc6455/examples
raco setup: making: <pkgs>/rfc6455/net/rfc6455/hybi00
raco setup: making: <pkgs>/rfc6455/net/rfc6455/private
raco setup: making: <pkgs>/rfc6455/net/rfc6455/rfc6455
raco setup: making: <pkgs>/rfc6455/net/rfc6455/scribblings
raco setup: making: <pkgs>/rosette/rosette
raco setup: making: <pkgs>/rosette/rosette/base
raco setup: making: <pkgs>/rosette/rosette/base/adt
raco setup: making: <pkgs>/rosette/rosette/base/core
raco setup: making: <pkgs>/rosette/rosette/base/form
raco setup: making: <pkgs>/rosette/rosette/base/struct
raco setup: making: <pkgs>/rosette/rosette/base/util
raco setup: making: <pkgs>/rosette/rosette/guide
raco setup: making: <pkgs>/rosette/rosette/guide/scribble
raco setup: making: <pkgs>/rosette/rosette/guide/scribble/datatypes
raco setup: making: <pkgs>/rosette/rosette/guide/scribble/error-tracing
raco setup: making: <pkgs>/rosette/rosette/guide/scribble/essentials
raco setup: making: <pkgs>/rosette/rosette/guide/scribble/forms
raco setup: making: <pkgs>/rosette/rosette/guide/scribble/libs
raco setup: making: <pkgs>/rosette/rosette/guide/scribble/performance
raco setup: making: <pkgs>/rosette/rosette/guide/scribble/reflection
raco setup: making: <pkgs>/rosette/rosette/guide/scribble/unsafe
raco setup: making: <pkgs>/rosette/rosette/guide/scribble/util
raco setup: making: <pkgs>/rosette/rosette/guide/scribble/welcome
raco setup: making: <pkgs>/rosette/rosette/lang
raco setup: making: <pkgs>/rosette/rosette/lib
raco setup: making: <pkgs>/rosette/rosette/lib/profile
raco setup: making: <pkgs>/rosette/rosette/lib/profile/renderer
raco setup: making: <pkgs>/rosette/rosette/lib/profile/renderer/report
raco setup: making: <pkgs>/rosette/rosette/lib/profile/renderer/report/html
raco setup: making: <pkgs>/rosette/rosette/lib/profile/renderer/report/html/css
raco setup: making: <pkgs>/rosette/rosette/lib/profile/renderer/report/html/js
raco setup: making: <pkgs>/rosette/rosette/lib/synthax
raco setup: making: <pkgs>/rosette/rosette/lib/trace
raco setup: making: <pkgs>/rosette/rosette/lib/trace/report
raco setup: making: <pkgs>/rosette/rosette/lib/trace/report/dist
raco setup: making: <pkgs>/rosette/rosette/lib/util
raco setup: making: <pkgs>/rosette/rosette/private
raco setup: making: <pkgs>/rosette/rosette/query
raco setup: making: <pkgs>/rosette/rosette/safe
raco setup: making: <pkgs>/rosette/rosette/safe/lang
raco setup: making: <pkgs>/rosette/rosette/solver
raco setup: making: <pkgs>/rosette/rosette/solver/mip
raco setup: making: <pkgs>/rosette/rosette/solver/smt
raco setup: making: <pkgs>/rosette/sdsl
raco setup: making: <pkgs>/rosette/test
raco setup: making: <pkgs>/xsmith (xsmith)
raco setup: making: <pkgs>/xsmith-examples (xsmith-examples)
raco setup:  in <pkgs>/xsmith-examples
raco setup:  in <pkgs>/xsmith-examples/scribblings
raco setup:  in <pkgs>/xsmith-examples/cish
raco setup: making: <pkgs>/xsmith-examples/cish
raco setup:  in <pkgs>/xsmith-examples/cish
raco setup: making: <pkgs>/xsmith-examples/pythonesque
raco setup:  in <pkgs>/xsmith-examples/pythonesque
raco setup: making: <pkgs>/xsmith-examples/racket-kernel-fuzzer
raco setup:  in <pkgs>/xsmith-examples/racket-kernel-fuzzer
raco setup: making: <pkgs>/xsmith-examples/schemely
raco setup:  in <pkgs>/xsmith-examples/schemely
raco setup: making: <pkgs>/xsmith-examples/scribblings
raco setup: making: <pkgs>/xsmith-examples/simple
raco setup:  in <pkgs>/xsmith-examples/simple
raco setup: making: <pkgs>/xsmith-examples/verilog
raco setup:  in <pkgs>/xsmith-examples/verilog
raco setup: making: <pkgs>/xsmith/private
raco setup: making: <pkgs>/xsmith/private/test-fuzzers
raco setup: making: <pkgs>/xsmith/scribblings
raco setup: --- creating launchers ---                             [9:21:15]
raco setup: launcher: /home/root/user/.local/share/racket/7.9/bin/xsmith-cish
raco setup: launcher: /home/root/user/.local/share/racket/7.9/bin/xsmith-schemely
raco setup: launcher: /home/root/user/.local/share/racket/7.9/bin/xsmith-verilog
raco setup: --- installing man pages ---                           [9:21:15]
raco setup: --- building documentation ---                         [9:21:15]
raco setup: syncing: <pkgs>/clotho/doc/clotho
raco setup: syncing: <pkgs>/custom-load/doc/custom-load
raco setup: running: <pkgs>/racket-index/scribblings/main/user/local-redirect.scrbl
raco setup: syncing: <pkgs>/memoize/memoize/doc/memoize
raco setup: syncing: <pkgs>/pprint/doc/pprint
raco setup: syncing: <pkgs>/racr/doc/racr
raco setup: running: <pkgs>/racket-index/scribblings/main/user/release.scrbl
raco setup: syncing: <pkgs>/rfc6455/net/rfc6455/doc/rfc6455
raco setup: syncing: <pkgs>/rosette/rosette/doc/rosette-guide
raco setup: running: <pkgs>/racket-index/scribblings/main/user/search.scrbl
raco setup: running: <pkgs>/racket-index/scribblings/main/user/start.scrbl
raco setup: syncing: <pkgs>/xsmith/doc/xsmith
raco setup: running: <pkgs>/xsmith-examples/scribblings/xsmith-examples.scrbl
raco setup: rendering: <pkgs>/racket-index/scribblings/main/user/local-redirect.scrbl
raco setup: rendering: <pkgs>/racket-index/scribblings/main/user/release.scrbl
raco setup: rendering: <pkgs>/racket-index/scribblings/main/user/search.scrbl
raco setup: rendering: <pkgs>/racket-index/scribblings/main/user/start.scrbl
raco setup: rendering: <pkgs>/xsmith-examples/scribblings/xsmith-examples.scrbl
raco setup: --- installing collections ---                         [9:21:25]
raco setup: --- post-installing collections ---                    [9:21:25]
The time is now Thursday, November 26th, 2020 9:21:25am