For information about the package build service, see https://pkg-build.racket-lang.org/about.html The time is now Mon, 23 Feb 2026 06:53:41 +0000 (/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: /usr/bin/xvfb-run --auto-servernum -n 1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 2 -u --auto knox && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 2 --drdr --package knox) Resolved "knox" via file:///home/root//catalogs/built/catalog Resolved "rosette" via file:///home/root//catalogs/built/catalog 00: Resolved "custom-load" via file:///home/root//catalogs/built/catalog Resolved "rfc6455" via file:///home/root//catalogs/built/catalog 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: 9.1 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 9.1 raco setup: variants: cs raco setup: main collects: /home/root/racket/collects/ raco setup: collects paths: raco setup: /home/root/user/.local/share/racket/9.1/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/9.1/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/9.1/links.rktd raco setup: compiled-file roots: raco setup: /home/root//zo raco setup: same raco setup: --- updating info-domain tables --- [6:53:46] raco setup: updating: /home/root/user/.local/share/racket/9.1/share/info-cache.rktd raco setup: --- pre-installing collections --- [6:53:46] 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/9.1/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 --- [6:53:46] raco setup: --- installing shared files --- [6:53:46] raco setup: --- compiling collections --- [6:53:46] raco setup: --- parallel build using 2 jobs --- [6:53:46] raco setup: 1 making: /custom-load (custom-load) raco setup: 0 making: /knox/knox raco setup: 1 making: /custom-load/private raco setup: 1 making: /knox/rosutil raco setup: 0 making: /knox/knox/circuit raco setup: 0 making: /knox/knox/circuit/lang raco setup: 0 making: /knox/knox/correctness raco setup: 1 making: /knox/yosys raco setup: 1 making: /knox/yosys/debug raco setup: 1 making: /knox/yosys/debug/expand/lang raco setup: 1 making: /knox/yosys/debug/read/lang raco setup: 1 making: /knox/yosys/lang raco setup: 1 making: /rfc6455/net raco setup: 0 making: /knox/knox/correctness/lang raco setup: 0 making: /knox/knox/driver raco setup: 0 making: /knox/knox/driver/lang raco setup: 0 making: /knox/knox/emulator raco setup: 0 making: /knox/knox/emulator/lang raco setup: 0 making: /knox/knox/security raco setup: 0 making: /knox/knox/security/lang raco setup: 0 making: /knox/knox/semantics raco setup: 0 making: /knox/knox/spec raco setup: 1 making: /rfc6455/net/rfc6455 raco setup: 0 making: /knox/knox/spec/lang raco setup: 0 making: /rosette/rosette 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: --- creating launchers --- [6:54:01] raco setup: --- installing man pages --- [6:54:01] raco setup: --- building documentation --- [6:54:01] 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: 0 running: /racket-index/scribblings/main/user/family.scrbl raco setup: 1 running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 1 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/family.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 0 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 --- [6:54:10] raco setup: --- post-installing collections --- [6:54:10] 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/9.1/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 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/info.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/knox/circuit/circuit-lang.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/knox/circuit/lang/reader.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/knox/circuit.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/knox/correctness/checker.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/knox/correctness/correctness-lang.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/knox/correctness/correctness.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/knox/correctness/hint.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/knox/correctness/lang/reader.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/knox/driver/driver-lang.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/knox/driver/interpreter.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/knox/driver/lang/reader.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/knox/driver/lib.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/knox/driver.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/knox/emulator/emulator-lang.rkt") raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/knox/emulator/interpreter.rkt") test) raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/knox/emulator/lang/reader.rkt") interpreter.rkt: racket test: #< -------------------- non-empty stderr raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/knox/emulator/util.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/knox/emulator.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/knox/result.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/knox/security/checker.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/knox/security/lang/reader.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/knox/security/security-lang.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/knox/semantics/environment.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/knox/semantics/lifted.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/knox/semantics/shared.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/knox/semantics/syntax.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/knox/semantics/value.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/knox/spec/lang/reader.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/knox/spec/spec-lang.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/knox/spec.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/rosutil/addressable-struct.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/rosutil/concretize.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/rosutil/convenience.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/rosutil/dependence.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/rosutil/lens.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/rosutil/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/rosutil/overapproximate.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/rosutil/serialization.rkt") raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/rosutil/substitution.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/rosutil/subsumption.rkt") test) raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/rosutil/util.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/test/info.rkt") subsumption.rkt: racket test: #< -------------------- -------------------- subsumed?: mismatched shapes or definitely not equal ERROR name: check-subsumed location: /home/root/user/.local/share/racket/9.1/pkgs/knox/rosutil/subsumption.rkt:726:4 params: '(#f #f (3) #t 3 #t) read-solution: unrecognized solver output: # -------------------- -------------------- subsumed?: abstract ERROR name: check-subsumed location: /home/root/user/.local/share/racket/9.1/pkgs/knox/rosutil/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: /home/root/user/.local/share/racket/9.1/pkgs/knox/rosutil/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: /home/root/user/.local/share/racket/9.1/pkgs/knox/rosutil/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: /home/root/user/.local/share/racket/9.1/pkgs/knox/rosutil/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: /home/root/user/.local/share/racket/9.1/pkgs/knox/rosutil/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: /home/root/user/.local/share/racket/9.1/pkgs/knox/rosutil/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: /home/root/user/.local/share/racket/9.1/pkgs/knox/rosutil/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: /home/root/user/.local/share/racket/9.1/pkgs/knox/rosutil/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: /home/root/user/.local/share/racket/9.1/pkgs/knox/rosutil/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: /home/root/user/.local/share/racket/9.1/pkgs/knox/rosutil/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: /home/root/user/.local/share/racket/9.1/pkgs/knox/rosutil/subsumption.rkt:977:4 params: '(#t #f (union [b**$98 (x$99)] [(! b**$98) #((union #:size 2 #:hash -1152175830593290252))]) #t (union [b**$98 (x$99)] [(! b**$98) #((union #:size 3 #:hash 857550283846715307))]) #t) read-solution: unrecognized solver output: # -------------------- -------------------- subsumed?: union, guards ERROR name: check-subsumed location: /home/root/user/.local/share/racket/9.1/pkgs/knox/rosutil/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: /home/root/user/.local/share/racket/9.1/pkgs/knox/rosutil/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: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/test/knox/circuit/use_persistent_reset.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/test/knox/circuit.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/test/knox/driver/interpreter.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/test/rosutil/addressable-struct.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/test/rosutil/concretize.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/test/rosutil/convenience.rkt") concretize.rkt: racket test: #< -------------------- -------------------- concretize: larger ERROR name: check-eq? location: /home/root/user/.local/share/racket/9.1/pkgs/knox/test/rosutil/concretize.rkt:25:2 read-solution: unrecognized solver output: # -------------------- -------------------- concretize: failure ERROR name: check-equal? location: /home/root/user/.local/share/racket/9.1/pkgs/knox/test/rosutil/concretize.rkt:32:2 read-solution: unrecognized solver output: # -------------------- -------------------- concretize: non-useful predicate ERROR name: check-equal? location: /home/root/user/.local/share/racket/9.1/pkgs/knox/test/rosutil/concretize.rkt:38:2 read-solution: unrecognized solver output: # -------------------- -------------------- concretize: predicate ERROR name: check-equal? location: /home/root/user/.local/share/racket/9.1/pkgs/knox/test/rosutil/concretize.rkt:44:2 read-solution: unrecognized solver output: # -------------------- -------------------- concrete ERROR name: check-pred location: /home/root/user/.local/share/racket/9.1/pkgs/knox/test/rosutil/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: /home/root/user/.local/share/racket/9.1/pkgs/knox/test/rosutil/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: /home/root/user/.local/share/racket/9.1/pkgs/knox/test/rosutil/concretize.rkt:95:2 read-solution: unrecognized solver output: # -------------------- -------------------- all-values predicate ERROR name: check-equal? location: /home/root/user/.local/share/racket/9.1/pkgs/knox/test/rosutil/concretize.rkt:100:2 read-solution: unrecognized solver output: # -------------------- non-empty stderr raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/test/rosutil/lens.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/test/rosutil/serialization.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/test/yosys/basic.rkt") lens.rkt: racket test: #< -------------------- non-empty stderr raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/test/yosys/constructor.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/test/yosys/lib.rkt") basic.rkt: racket test: #< -------------------- -------------------- basic verification: counter wraparound even when no reset ERROR read-solution: unrecognized solver output: # -------------------- non-empty stderr raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/test/yosys/memoize.rkt") lib.rkt: racket test: #< -------------------- -------------------- xor ERROR name: check-pred location: /home/root/user/.local/share/racket/9.1/pkgs/knox/test/yosys/lib.rkt:26:2 read-solution: unrecognized solver output: # -------------------- non-empty stderr raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/test/yosys/metadata.rkt") metadata.rkt: racket test: #< -------------------- non-empty stderr raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/test/yosys/uf.rkt") memoize.rkt: racket test: #< -------------------- non-empty stderr raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/test/yosys/verilog/counter.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/test/yosys/verilog/lockbox.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/test/yosys/verilog/multi_port_memory.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/test/yosys/verilog/picorv32.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/test/yosys/verilog/print-test.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/test/yosys/verilog/ram.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/test/yosys/verilog/use_persistent_reset.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/test/yosys/zeroinit.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/yosys/core.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/yosys/debug/expand/lang/reader.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/yosys/debug/expand.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/yosys/debug/read/lang/reader.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/yosys/debug/read.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/yosys/generic.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/yosys/lang/configure-runtime.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/yosys/lang/reader.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/yosys/lib.rkt") raco test: 1 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/yosys/libopt.rkt") test) raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/yosys/main.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/yosys/memoize.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/yosys/meta.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/yosys/parameters.rkt") raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/yosys/reader.rkt") test) raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/yosys/verilog.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/knox/yosys/yosys.rkt") 12 /home/root//user/.local/share/racket/9.1/pkgs/knox/test/rosutil/serialization.rkt 11 /home/root//user/.local/share/racket/9.1/pkgs/knox/yosys/reader.rkt 6 /home/root//user/.local/share/racket/9.1/pkgs/knox/test/rosutil/addressable-struct.rkt 3 /home/root//user/.local/share/racket/9.1/pkgs/knox/rosutil/substitution.rkt 3 /home/root//user/.local/share/racket/9.1/pkgs/knox/test/knox/driver/interpreter.rkt 2 /home/root//user/.local/share/racket/9.1/pkgs/knox/test/rosutil/convenience.rkt 2 /home/root//user/.local/share/racket/9.1/pkgs/knox/test/yosys/constructor.rkt 2 /home/root//user/.local/share/racket/9.1/pkgs/knox/test/yosys/uf.rkt 2 /home/root//user/.local/share/racket/9.1/pkgs/knox/test/yosys/zeroinit.rkt 2 /home/root//user/.local/share/racket/9.1/pkgs/knox/yosys/libopt.rkt 1 /home/root//user/.local/share/racket/9.1/pkgs/knox/test/knox/circuit.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/info.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/knox/circuit/circuit-lang.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/knox/circuit/lang/reader.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/knox/circuit.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/knox/correctness/checker.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/knox/correctness/correctness-lang.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/knox/correctness/correctness.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/knox/correctness/hint.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/knox/correctness/lang/reader.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/knox/driver/driver-lang.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/knox/driver/interpreter.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/knox/driver/lang/reader.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/knox/driver/lib.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/knox/driver.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/knox/emulator/emulator-lang.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/knox/emulator/lang/reader.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/knox/emulator/util.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/knox/emulator.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/knox/result.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/knox/security/checker.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/knox/security/lang/reader.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/knox/security/security-lang.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/knox/semantics/environment.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/knox/semantics/lifted.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/knox/semantics/shared.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/knox/semantics/syntax.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/knox/semantics/value.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/knox/spec/lang/reader.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/knox/spec/spec-lang.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/knox/spec.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/rosutil/addressable-struct.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/rosutil/concretize.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/rosutil/convenience.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/rosutil/dependence.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/rosutil/lens.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/rosutil/main.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/rosutil/overapproximate.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/rosutil/serialization.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/rosutil/util.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/test/info.rkt8/54 test failures 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/test/knox/circuit/use_persistent_reset.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/test/yosys/verilog/counter.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/test/yosys/verilog/lockbox.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/test/yosys/verilog/multi_port_memory.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/test/yosys/verilog/picorv32.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/test/yosys/verilog/print-test.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/test/yosys/verilog/ram.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/test/yosys/verilog/use_persistent_reset.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/yosys/core.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/yosys/debug/expand/lang/reader.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/yosys/debug/expand.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/yosys/debug/read/lang/reader.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/yosys/debug/read.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/yosys/generic.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/yosys/lang/configure-runtime.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/yosys/lang/reader.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/yosys/lib.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/yosys/main.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/yosys/memoize.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/yosys/meta.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/yosys/parameters.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/yosys/verilog.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/knox/yosys/yosys.rkt 1 1 /home/root//user/.local/share/racket/9.1/pkgs/knox/knox/emulator/interpreter.rkt 1 1 /home/root//user/.local/share/racket/9.1/pkgs/knox/rosutil/subsumption.rkt 1 1 /home/root//user/.local/share/racket/9.1/pkgs/knox/test/rosutil/concretize.rkt 1 1 /home/root//user/.local/share/racket/9.1/pkgs/knox/test/rosutil/lens.rkt 1 1 /home/root//user/.local/share/racket/9.1/pkgs/knox/test/yosys/basic.rkt 1 1 /home/root//user/.local/share/racket/9.1/pkgs/knox/test/yosys/lib.rkt 1 1 /home/root//user/.local/share/racket/9.1/pkgs/knox/test/yosys/memoize.rkt 1 1 /home/root//user/.local/share/racket/9.1/pkgs/knox/test/yosys/metadata.rkt The time is now Mon, 23 Feb 2026 06:54:47 +0000