The time is now Wednesday, February 7th, 2024 7:08:32am (/usr/bin/env DISPLAY=:1 PLT_PKG_BUILD_SERVICE=1 PLTUSERHOME=/home/root//user PLT_PKG_BUILD_SERVICE=1 CI=true PLTSTDERR=debug@pkg error PLT_INFO_ALLOW_VARS=;PLT_PKG_BUILD_SERVICE PLTCOMPILEDROOTS=/home/root//zo: /usr/bin/xvfb-run -n 1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 4 -u --auto knox && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 4 --drdr --package knox) Resolved "knox" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "me@anishathalye.com") (checksum . "4df82e1f689049008bab085bbe0ee53da5eb5956") (dependencies . (("racket" #:version "8.1") ("rosette") ("rackunit-lib") ("data-lib") ("base"))) (description . "A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities") (modules . ((lib "knox/semantics/shared.rkt") (lib "yosys/reader.rkt") (lib "knox/driver/interpreter.rkt") (lib "knox/emulator/util.rkt") (lib "yosys/debug/expand.rkt") (lib "knox/semantics/environment.rkt") (lib "yosys/lang/reader.rkt") (lib "knox/security/lang/reader.rkt") (lib "yosys/verilog.rkt") (lib "knox/driver/lib.rkt") (lib "rosutil/concretize.rkt") (lib "knox/correctness/correctness.rkt") (lib "yosys/libopt.rkt") (lib "test/yosys/lib.rkt") (lib "rosutil/substitution.rkt") (lib "rosutil/addressable-struct.rkt") (lib "yosys/debug/read/lang/reader.rkt") (lib "test/yosys/verilog/ram.rkt") (lib "knox/spec.rkt") (lib "knox/emulator/lang/reader.rkt") (lib "knox/semantics/syntax.rkt") (lib "knox/spec/spec-lang.rkt") (lib "knox/circuit/lang/reader.rkt") (lib "knox/spec/lang/reader.rkt") (lib "yosys/lang/configure-runtime.rkt") (lib "knox/correctness/lang/reader.rkt") (lib "rosutil/overapproximate.rkt") (lib "knox/emulator.rkt") (lib "knox/driver/driver-lang.rkt") (lib "knox/semantics/lifted.rkt") (lib "knox/driver.rkt") (lib "yosys/generic.rkt") (lib "knox/result.rkt") (lib "test/yosys/zeroinit.rkt") (lib "rosutil/lens.rkt") (lib "rosutil/util.rkt") (lib "test/yosys/verilog/picorv32.rkt") (lib "yosys/lib.rkt") (lib "knox/correctness/correctness-lang.rkt") (lib "knox/security/checker.rkt") (lib "test/yosys/verilog/counter.rkt") (lib "test/yosys/metadata.rkt") (lib "knox/semantics/value.rkt") (lib "rosutil/main.rkt") (lib "test/rosutil/addressable-struct.rkt") (lib "knox/emulator/interpreter.rkt") (lib "test/rosutil/lens.rkt") (lib "knox/correctness/checker.rkt") (lib "test/yosys/verilog/multi_port_memory.rkt") (lib "knox/correctness/hint.rkt") (lib "test/knox/circuit.rkt") (lib "yosys/parameters.rkt") (lib "test/yosys/verilog/use_persistent_reset.rkt") (lib "rosutil/subsumption.rkt") (lib "test/rosutil/concretize.rkt") (lib "test/yosys/verilog/lockbox.rkt") (lib "yosys/main.rkt") (lib "knox/security/security-lang.rkt") (lib "yosys/debug/expand/lang/reader.rkt") (lib "test/yosys/constructor.rkt") (lib "yosys/memoize.rkt") (lib "test/knox/circuit/use_persistent_reset.rkt") (lib "test/rosutil/serialization.rkt") (lib "test/rosutil/convenience.rkt") (lib "knox/driver/lang/reader.rkt") (lib "yosys/debug/read.rkt") (lib "rosutil/dependence.rkt") (lib "rosutil/serialization.rkt") (lib "knox/emulator/emulator-lang.rkt") (lib "rosutil/convenience.rkt") (lib "knox/circuit/circuit-lang.rkt") (lib "test/knox/driver/interpreter.rkt") (lib "yosys/meta.rkt") (lib "test/yosys/verilog/print-test.rkt") (lib "test/yosys/basic.rkt") (lib "yosys/yosys.rkt") (lib "yosys/core.rkt") (lib "knox/circuit.rkt") (lib "test/yosys/uf.rkt") (lib "test/yosys/memoize.rkt"))) (name . "knox") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/knox.zip") (tags . ())) Resolved "rosette" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "emina@cs.washington.edu") (checksum . "971e4455fd63a8a684735511a7adfc8970122794") (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 . ())) 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 . "cf20b4436b21aaa7688cdfdc89bf38bb03c68bd5") (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 . "7d8e5851b4b4e021d6310f867a0b1f1b639a5bb2") (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"))) pkg: creating single-collection link to # pkg: updating db with "custom-load" to '#s((sc-pkg-info pkg-info 3) (catalog "custom-load") "cf20b4436b21aaa7688cdfdc89bf38bb03c68bd5" #t "custom-load") pkg: creating link to # pkg: updating db with "rfc6455" to '#s(pkg-info (catalog "rfc6455") "7d8e5851b4b4e021d6310f867a0b1f1b639a5bb2" #t) pkg: creating link to # pkg: updating db with "knox" to '#s(pkg-info (catalog "knox") "4df82e1f689049008bab085bbe0ee53da5eb5956" #f) pkg: creating link to # pkg: updating db with "rosette" to '#s(pkg-info (catalog "rosette") "971e4455fd63a8a684735511a7adfc8970122794" #t) The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of knox: rosette dependencies of rosette: custom-load rfc6455 raco setup: version: 8.12 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 8.12 raco setup: variants: cs raco setup: main collects: /home/root/racket/collects/ raco setup: collects paths: raco setup: /home/root/user/.local/share/racket/8.12/collects raco setup: /home/root/racket/collects/ raco setup: main pkgs: /home/root/racket/share/pkgs raco setup: pkgs paths: raco setup: /home/root/racket/share/pkgs raco setup: /home/root//user/.local/share/racket/8.12/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.12/links.rktd raco setup: compiled-file roots: raco setup: /home/root//zo raco setup: same raco setup: main docs: /home/root/racket/doc raco setup: --- updating info-domain tables --- [12:08:36] raco setup: updating: /home/root/user/.local/share/racket/8.12/share/info-cache.rktd raco setup: --- pre-installing collections --- [12:08:36] 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.12/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 --- [12:08:36] raco setup: --- installing shared files --- [12:08:36] raco setup: --- compiling collections --- [12:08:36] raco setup: --- parallel build using 4 jobs --- [12:08:36] raco setup: 3 making: /custom-load (custom-load) raco setup: 2 making: /knox/knox raco setup: 1 making: /knox/rosutil raco setup: 0 making: /knox/test raco setup: 0 making: /knox/yosys raco setup: 3 making: /custom-load/private raco setup: 3 making: /rfc6455/net raco setup: 3 making: /rfc6455/net/rfc6455 raco setup: 3 making: /rfc6455/net/rfc6455/examples raco setup: 3 making: /rfc6455/net/rfc6455/hybi00 raco setup: 3 making: /rfc6455/net/rfc6455/private raco setup: 3 making: /rfc6455/net/rfc6455/rfc6455 raco setup: 3 making: /rfc6455/net/rfc6455/scribblings raco setup: 3 making: /rosette/rosette raco setup: 3 making: /rosette/rosette/base raco setup: 2 making: /knox/knox/circuit raco setup: 2 making: /knox/knox/circuit/lang raco setup: 2 making: /knox/knox/correctness raco setup: 1 making: /rosette/sdsl raco setup: 1 making: /rosette/test raco setup: 0 making: /knox/yosys/debug raco setup: 0 making: /knox/yosys/debug/expand raco setup: 0 making: /knox/yosys/debug/expand/lang raco setup: 0 making: /knox/yosys/debug/read raco setup: 0 making: /knox/yosys/debug/read/lang raco setup: 0 making: /knox/yosys/lang raco setup: 2 making: /knox/knox/correctness/lang raco setup: 2 making: /knox/knox/driver raco setup: 2 making: /knox/knox/driver/lang raco setup: 2 making: /knox/knox/emulator raco setup: 2 making: /knox/knox/emulator/lang raco setup: 2 making: /knox/knox/security raco setup: 2 making: /knox/knox/security/lang raco setup: 2 making: /knox/knox/semantics raco setup: 2 making: /knox/knox/spec raco setup: 2 making: /knox/knox/spec/lang raco setup: 3 making: /rosette/rosette/base/adt raco setup: 3 making: /rosette/rosette/base/core raco setup: 3 making: /rosette/rosette/base/form raco setup: 3 making: /rosette/rosette/base/struct raco setup: 3 making: /rosette/rosette/guide raco setup: 3 making: /rosette/rosette/guide/scribble raco setup: 3 making: /rosette/rosette/guide/scribble/datatypes raco setup: 3 making: /rosette/rosette/guide/scribble/error-tracing raco setup: 3 making: /rosette/rosette/guide/scribble/essentials raco setup: 3 making: /rosette/rosette/guide/scribble/forms raco setup: 3 making: /rosette/rosette/guide/scribble/libs raco setup: 3 making: /rosette/rosette/guide/scribble/performance raco setup: 3 making: /rosette/rosette/guide/scribble/reflection raco setup: 3 making: /rosette/rosette/guide/scribble/unsafe raco setup: 3 making: /rosette/rosette/guide/scribble/util raco setup: 3 making: /rosette/rosette/guide/scribble/welcome raco setup: 3 making: /rosette/rosette/lang raco setup: 3 making: /rosette/rosette/lib raco setup: 3 making: /rosette/rosette/lib/profile raco setup: 3 making: /rosette/rosette/lib/profile/renderer raco setup: 3 making: /rosette/rosette/lib/profile/renderer/report raco setup: 3 making: /rosette/rosette/lib/profile/renderer/report/html raco setup: 3 making: /rosette/rosette/lib/profile/renderer/report/html/css raco setup: 3 making: /rosette/rosette/lib/profile/renderer/report/html/js raco setup: 3 making: /rosette/rosette/lib/trace raco setup: 3 making: /rosette/rosette/lib/trace/report raco setup: 3 making: /rosette/rosette/lib/trace/report/dist raco setup: 3 making: /rosette/rosette/lib/util raco setup: 3 making: /rosette/rosette/private raco setup: 3 making: /rosette/rosette/query raco setup: 3 making: /rosette/rosette/safe raco setup: 3 making: /rosette/rosette/safe/lang raco setup: 3 making: /rosette/rosette/solver raco setup: 3 making: /rosette/rosette/solver/smt raco setup: --- creating launchers --- [12:08:45] raco setup: --- installing man pages --- [12:08:45] raco setup: --- building documentation --- [12:08:45] raco setup: syncing: /custom-load/doc/custom-load raco setup: syncing: /rfc6455/net/rfc6455/doc/rfc6455 raco setup: syncing: /rosette/rosette/doc/rosette-guide raco setup: 2 running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 3 running: /racket-index/scribblings/main/user/release.scrbl raco setup: 0 running: /racket-index/scribblings/main/user/search.scrbl raco setup: 2 running: /racket-index/scribblings/main/user/start.scrbl raco setup: 3 rendering: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 2 rendering: /racket-index/scribblings/main/user/release.scrbl raco setup: 1 rendering: /racket-index/scribblings/main/user/search.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/start.scrbl raco setup: --- installing collections --- [12:08:52] raco setup: --- post-installing collections --- [12:08:52] 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.12/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 test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/knox/info.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/knox/knox/circuit/circuit-lang.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.12/pkgs/knox/knox/circuit/lang/reader.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.12/pkgs/knox/knox/circuit.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/knox/knox/correctness/checker.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.12/pkgs/knox/knox/correctness/correctness-lang.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/knox/knox/correctness/correctness.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.12/pkgs/knox/knox/correctness/hint.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/knox/knox/correctness/lang/reader.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.12/pkgs/knox/knox/driver/driver-lang.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/knox/knox/driver/interpreter.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/knox/knox/driver/lang/reader.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.12/pkgs/knox/knox/driver/lib.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/knox/knox/driver.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.12/pkgs/knox/knox/emulator/emulator-lang.rkt" raco test: 1 (submod "/home/root//user/.local/share/racket/8.12/pkgs/knox/knox/emulator/interpreter.rkt" test) raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/knox/knox/emulator/lang/reader.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.12/pkgs/knox/knox/emulator/util.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/knox/knox/emulator.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/knox/knox/result.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.12/pkgs/knox/knox/security/checker.rkt" interpreter.rkt: racket test: #< -------------------- non-empty stderr raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/knox/knox/security/lang/reader.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.12/pkgs/knox/knox/security/security-lang.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/knox/knox/semantics/environment.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/knox/knox/semantics/lifted.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.12/pkgs/knox/knox/semantics/shared.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.12/pkgs/knox/knox/semantics/syntax.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/knox/knox/semantics/value.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/knox/knox/spec/lang/reader.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/knox/knox/spec/spec-lang.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.12/pkgs/knox/knox/spec.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.12/pkgs/knox/rosutil/addressable-struct.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/knox/rosutil/concretize.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.12/pkgs/knox/rosutil/convenience.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/knox/rosutil/dependence.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.12/pkgs/knox/rosutil/lens.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.12/pkgs/knox/rosutil/main.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/knox/rosutil/overapproximate.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/knox/rosutil/serialization.rkt" raco test: 3 (submod "/home/root//user/.local/share/racket/8.12/pkgs/knox/rosutil/substitution.rkt" test) raco test: 1 (submod "/home/root//user/.local/share/racket/8.12/pkgs/knox/rosutil/subsumption.rkt" test) raco test: 2 "/home/root//user/.local/share/racket/8.12/pkgs/knox/rosutil/util.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/knox/test/info.rkt" subsumption.rkt: racket test: #< -------------------- -------------------- subsumed?: mismatched shapes or definitely not equal ERROR name: check-subsumed location: subsumption.rkt:726:4 params: '(#f #f (3) #t 3 #t) read-solution: unrecognized solver output: # -------------------- -------------------- subsumed?: abstract ERROR name: check-subsumed location: subsumption.rkt:731:4 params: (list #t (seteq x$68 y$69) (mod #f #f x$68) #t (mod #f #f y$69) #t) read-solution: unrecognized solver output: # -------------------- -------------------- subsumed?: basic math ERROR name: check-subsumed location: subsumption.rkt:737:4 params: (list #t (seteq x$70) (mod #f #f x$70) #t (mod #f #f (bvadd (bv #x00000001 32) x$70)) #t) read-solution: unrecognized solver output: # -------------------- -------------------- subsumed?: entanglement ERROR name: check-subsumed location: subsumption.rkt:744:4 params: (list #f (seteq x$71 y$72) (mod #f x$71 y$72) #t (mod #f x$71 x$71) #t) read-solution: unrecognized solver output: # -------------------- -------------------- subsumed? can't skip conditions ERROR name: check-subsumed location: subsumption.rkt:754:4 params: (list #f #f x$73 (= 0 y$74) y$74 (= 0 y$74)) read-solution: unrecognized solver output: # -------------------- -------------------- subsumed?: conditions ERROR name: check-subsumed location: subsumption.rkt:760:4 params: (list #t #f (list x$75 y$76) #t (list (+ 1 x$75) y$76) #t) read-solution: unrecognized solver output: # -------------------- -------------------- subsumed?: conditions not overlapping with fields ERROR name: check-subsumed location: subsumption.rkt:781:4 params: (list #f #f (list y$78) (! (= 0 (remainder x$77 2))) (list y$78) #f) read-solution: unrecognized solver output: # -------------------- -------------------- subsumed?: nested structs ERROR name: check-subsumed location: subsumption.rkt:819:4 params: (list #t #f (system-state (ckt secret$79 (bvadd (bv #x0000000000000003 64) pc1$80) mem1$82) (sim-state spec$84 (aux-state (ckt (bv #x00000000 32) (bvadd (bv #x0000000000000004 64) pc2$81) mem2$83) '(1 2 3 4)))) (= spec$84 (bitvector->natural secret$79)) (system-state (ckt secret$79 pc1$80 mem1$82) (sim-state spec$84 (aux-state (ckt (bv #x00000000 32) pc2$81 mem2$83) (list 1 2 fresh$85 4)))) (= spec$84 (bitvector->natural secret$79))) read-solution: unrecognized solver output: # -------------------- -------------------- subsumed?: case-split-merge ERROR name: check-subsumed location: subsumption.rkt:924:4 params: (list #f (seteq) (vector a$86 (bv #x00 8) (bv #x00 8)) (bveq (bv #x00 8) x$87) (vector (ite (bveq (bv #x00 8) x$87) a$86 (bv #x00 8)) (ite (bveq (bv #x01 8) x$87) a$86 (bv #x00 8)) fresh$88) (bvult x$87 (bv #x02 8))) read-solution: unrecognized solver output: # -------------------- -------------------- subsumed?: union, basic ERROR name: check-subsumed location: subsumption.rkt:939:4 params: '(#t #f (1 2) #t (union [b$91 (x$89)] [(! b$91) (x$89 y$90)]) #t) read-solution: unrecognized solver output: # -------------------- -------------------- subsumed?: union, more complex ERROR name: check-subsumed location: subsumption.rkt:948:4 params: (list #t #f (list x$94) #t (union [b$92 x$94] [(! b$92) (x$94)]) #t) read-solution: unrecognized solver output: # -------------------- -------------------- subsumed?: union, nested ERROR name: check-subsumed location: subsumption.rkt:977:4 params: '(#t #f (union [b**$98 (x$99)] [(! b**$98) #((union #:size 2 #:hash 876198879045457871))]) #t (union [b**$98 (x$99)] [(! b**$98) #((union #:size 3 #:hash -1108619294188433386))]) #t) read-solution: unrecognized solver output: # -------------------- -------------------- subsumed?: union, guards ERROR name: check-subsumed location: subsumption.rkt:985:4 params: '(#t #f (union [b$101 x$102] [(! b$101) (x$102)]) #t (union [b$101 (x$102)] [(! b$101) x$102]) #t) read-solution: unrecognized solver output: # -------------------- -------------------- subsumed? union, with some concrete values ERROR name: check-subsumed location: subsumption.rkt:997:4 params: '(#t #f (union [b$104 b$104] [(! b$104) 3]) #t (union [b$104 b$104] [(! b$104) x$106]) #t) read-solution: unrecognized solver output: # -------------------- non-empty stderr raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/knox/test/knox/circuit/use_persistent_reset.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.12/pkgs/knox/test/knox/circuit.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/knox/test/knox/driver/interpreter.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.12/pkgs/knox/test/rosutil/addressable-struct.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/knox/test/rosutil/concretize.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/knox/test/rosutil/convenience.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.12/pkgs/knox/test/rosutil/lens.rkt" concretize.rkt: racket test: #< -------------------- -------------------- concretize: larger ERROR name: check-eq? location: concretize.rkt:25:2 read-solution: unrecognized solver output: # -------------------- -------------------- concretize: failure ERROR name: check-equal? location: concretize.rkt:32:2 read-solution: unrecognized solver output: # -------------------- -------------------- concretize: non-useful predicate ERROR name: check-equal? location: concretize.rkt:38:2 read-solution: unrecognized solver output: # -------------------- -------------------- concretize: predicate ERROR name: check-equal? location: concretize.rkt:44:2 read-solution: unrecognized solver output: # -------------------- -------------------- concrete ERROR name: check-pred location: concretize.rkt:50:2 read-solution: unrecognized solver output: # -------------------- -------------------- concretize: fields subset ERROR read-solution: unrecognized solver output: # -------------------- -------------------- concretize: fields all ERROR read-solution: unrecognized solver output: # -------------------- -------------------- concretize: cooperation with lens-transform ERROR name: check-equal? location: concretize.rkt:76:2 read-solution: unrecognized solver output: # -------------------- -------------------- all-values ERROR read-solution: unrecognized solver output: # -------------------- -------------------- all-values limit ERROR name: check-equal? location: concretize.rkt:95:2 read-solution: unrecognized solver output: # -------------------- -------------------- all-values predicate ERROR name: check-equal? location: concretize.rkt:100:2 read-solution: unrecognized solver output: # -------------------- non-empty stderr raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/knox/test/rosutil/serialization.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/knox/test/yosys/basic.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.12/pkgs/knox/test/yosys/constructor.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/knox/test/yosys/lib.rkt" lens.rkt: racket test: #< -------------------- non-empty stderr raco test: 3 "/home/root//user/.local/share/racket/8.12/pkgs/knox/test/yosys/memoize.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.12/pkgs/knox/test/yosys/metadata.rkt" lib.rkt: racket test: #< -------------------- -------------------- xor ERROR name: check-pred location: lib.rkt:26:2 read-solution: unrecognized solver output: # -------------------- non-empty stderr basic.rkt: racket test: #< -------------------- -------------------- basic verification: counter wraparound even when no reset ERROR read-solution: unrecognized solver output: # -------------------- non-empty stderr raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/knox/test/yosys/uf.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/knox/test/yosys/verilog/counter.rkt" metadata.rkt: racket test: #< -------------------- non-empty stderr raco test: 2 "/home/root//user/.local/share/racket/8.12/pkgs/knox/test/yosys/verilog/lockbox.rkt" memoize.rkt: racket test: #< -------------------- non-empty stderr raco test: 3 "/home/root//user/.local/share/racket/8.12/pkgs/knox/test/yosys/verilog/multi_port_memory.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.12/pkgs/knox/test/yosys/verilog/picorv32.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.12/pkgs/knox/test/yosys/verilog/print-test.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/knox/test/yosys/verilog/ram.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/knox/test/yosys/verilog/use_persistent_reset.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/knox/test/yosys/zeroinit.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/knox/yosys/core.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.12/pkgs/knox/yosys/debug/expand/lang/reader.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.12/pkgs/knox/yosys/debug/expand.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/knox/yosys/debug/read/lang/reader.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/knox/yosys/debug/read.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/knox/yosys/generic.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.12/pkgs/knox/yosys/lang/configure-runtime.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/knox/yosys/lang/reader.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.12/pkgs/knox/yosys/lib.rkt" raco test: 0 (submod "/home/root//user/.local/share/racket/8.12/pkgs/knox/yosys/libopt.rkt" test) raco test: 3 "/home/root//user/.local/share/racket/8.12/pkgs/knox/yosys/main.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/knox/yosys/memoize.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.12/pkgs/knox/yosys/meta.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.12/pkgs/knox/yosys/parameters.rkt" raco test: 2 (submod "/home/root//user/.local/share/racket/8.12/pkgs/knox/yosys/reader.rkt" test) raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/knox/yosys/verilog.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.12/pkgs/knox/yosys/yosys.rkt" 12 /home/root//user/.local/share/racket/8.12/pkgs/knox/test/rosutil/serialization.rkt 11 /home/root//user/.local/share/racket/8.12/pkgs/knox/yosys/reader.rkt 6 /home/root//user/.local/share/racket/8.12/pkgs/knox/test/rosutil/addressable-struct.rkt 3 /home/root//user/.local/share/racket/8.12/pkgs/knox/rosutil/substitution.rkt 3 /home/root//user/.local/share/racket/8.12/pkgs/knox/test/knox/driver/interpreter.rkt 2 /home/root//user/.local/share/racket/8.12/pkgs/knox/test/rosutil/convenience.rkt 2 /home/root//user/.local/share/racket/8.12/pkgs/knox/test/yosys/constructor.rkt 2 /home/root//user/.local/share/racket/8.12/pkgs/knox/test/yosys/uf.rkt 2 /home/root//user/.local/share/racket/8.12/pkgs/knox/test/yosys/zeroinit.rkt 2 /home/root//user/.local/share/racket/8.12/pkgs/knox/yosys/libopt.rkt 1 /home/root//user/.local/share/racket/8.12/pkgs/knox/test/knox/circuit.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/info.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/knox/circuit/circuit-lang.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/knox/circuit/lang/reader.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/knox/circuit.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/knox/correctness/checker.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/knox/correctness/correctness-lang.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/knox/correctness/correctness.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/knox/correctness/hint.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/knox/correctness/lang/reader.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/knox/driver/driver-lang.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/knox/driver/interpreter.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/knox/driver/lang/reader.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/knox/driver/lib.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/knox/driver.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/knox/emulator/emulator-lang.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/knox/emulator/lang/reader.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/knox/emulator/util.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/knox/emulator.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/knox/result.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/knox/security/checker.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/knox/security/lang/reader.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/knox/security/security-lang.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/knox/semantics/environment.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/knox/semantics/lifted.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/knox/semantics/shared.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/knox/semantics/syntax.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/knox/semantics/value.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/knox/spec/lang/reader.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/knox/spec/spec-lang.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/knox/spec.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/rosutil/addressable-struct.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/rosutil/concretize.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/rosutil/convenience.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/rosutil/dependence.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/rosutil/lens.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/rosutil/main.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/rosutil/overapproximate.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/rosutil/serialization.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/rosutil/util.rkt8/54 test failures 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/test/info.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/test/knox/circuit/use_persistent_reset.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/test/yosys/verilog/counter.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/test/yosys/verilog/lockbox.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/test/yosys/verilog/multi_port_memory.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/test/yosys/verilog/picorv32.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/test/yosys/verilog/print-test.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/test/yosys/verilog/ram.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/test/yosys/verilog/use_persistent_reset.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/yosys/core.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/yosys/debug/expand/lang/reader.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/yosys/debug/expand.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/yosys/debug/read/lang/reader.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/yosys/debug/read.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/yosys/generic.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/yosys/lang/configure-runtime.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/yosys/lang/reader.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/yosys/lib.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/yosys/main.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/yosys/memoize.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/yosys/meta.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/yosys/parameters.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/yosys/verilog.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/knox/yosys/yosys.rkt 1 1 /home/root//user/.local/share/racket/8.12/pkgs/knox/knox/emulator/interpreter.rkt 1 1 /home/root//user/.local/share/racket/8.12/pkgs/knox/rosutil/subsumption.rkt 1 1 /home/root//user/.local/share/racket/8.12/pkgs/knox/test/rosutil/concretize.rkt 1 1 /home/root//user/.local/share/racket/8.12/pkgs/knox/test/rosutil/lens.rkt 1 1 /home/root//user/.local/share/racket/8.12/pkgs/knox/test/yosys/basic.rkt 1 1 /home/root//user/.local/share/racket/8.12/pkgs/knox/test/yosys/lib.rkt 1 1 /home/root//user/.local/share/racket/8.12/pkgs/knox/test/yosys/memoize.rkt 1 1 /home/root//user/.local/share/racket/8.12/pkgs/knox/test/yosys/metadata.rkt The time is now Wednesday, February 7th, 2024 7:09:13am