For information about the package build service, see https://pkg-build.racket-lang.org/about.html
The time is now Mon, 23 Feb 2026 02:40:28 +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 Karp && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 2 --drdr --package Karp)
Resolved "Karp" via file:///home/root//catalogs/built/catalog
00: Resolved "rosette" via file:///home/root//catalogs/built/catalog
Resolved "scribble-math" 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 Karp:
   rosette
   scribble-math
 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 ---                    [2:40:34]
raco setup: updating: /home/root/user/.local/share/racket/9.1/share/info-cache.rktd
raco setup: --- pre-installing collections ---                     [2:40:34]
raco setup: pre-installing: <pkgs>/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 ---                   [2:40:34]
raco setup: --- installing shared files ---                        [2:40:34]
raco setup: --- compiling collections ---                          [2:40:34]
raco setup: --- parallel build using 2 jobs ---                    [2:40:34]
raco setup: 1 making: <pkgs>/Karp
raco setup: 0 making: <pkgs>/custom-load (custom-load)
raco setup: 0 making: <pkgs>/custom-load/private
raco setup: 0 making: <pkgs>/rfc6455/net
raco setup: 0 making: <pkgs>/rfc6455/net/rfc6455
raco setup: 0 making: <pkgs>/rfc6455/net/rfc6455/examples
raco setup: 0 making: <pkgs>/rfc6455/net/rfc6455/hybi00
raco setup: 0 making: <pkgs>/rfc6455/net/rfc6455/private
raco setup: 0 making: <pkgs>/rfc6455/net/rfc6455/rfc6455
raco setup: 0 making: <pkgs>/rosette/rosette
raco setup: 1 making: <pkgs>/Karp/lib
raco setup: 0 making: <pkgs>/rosette/rosette/base
raco setup: 0 making: <pkgs>/rosette/rosette/base/adt
raco setup: 0 making: <pkgs>/rosette/rosette/base/core
raco setup: 0 making: <pkgs>/rosette/rosette/base/form
raco setup: 0 making: <pkgs>/rosette/rosette/base/struct
raco setup: 0 making: <pkgs>/rosette/rosette/guide/scribble/datatypes
raco setup: 1 making: <pkgs>/Karp/lib/modified
raco setup: 1 making: <pkgs>/Karp/private
raco setup: 0 making: <pkgs>/rosette/rosette/guide/scribble/error-tracing
raco setup: 1 making: <pkgs>/Karp/private/modified
raco setup: 1 making: <pkgs>/Karp/problem-definition/lang
raco setup: 1 making: <pkgs>/Karp/reduction/lang
raco setup: 1 making: <pkgs>/Karp/tests
raco setup: 0 making: <pkgs>/rosette/rosette/guide/scribble/essentials
raco setup: 0 making: <pkgs>/rosette/rosette/guide/scribble/libs
raco setup: 0 making: <pkgs>/rosette/rosette/guide/scribble/performance
raco setup: 0 making: <pkgs>/rosette/rosette/guide/scribble/util
raco setup: 0 making: <pkgs>/rosette/rosette/lang
raco setup: 0 making: <pkgs>/rosette/rosette/lib
raco setup: 1 making: <pkgs>/scribble-math
raco setup: 0 making: <pkgs>/rosette/rosette/lib/profile/renderer
raco setup: 0 making: <pkgs>/rosette/rosette/lib/profile/renderer/report
raco setup: 0 making: <pkgs>/rosette/rosette/lib/trace
raco setup: --- creating launchers ---                             [2:40:48]
raco setup: --- installing man pages ---                           [2:40:48]
raco setup: --- building documentation ---                         [2:40:48]
raco setup: syncing: <pkgs>/custom-load/doc/custom-load
raco setup: syncing: <pkgs>/Karp/doc/karp
raco setup: syncing: <pkgs>/rfc6455/net/rfc6455/doc/rfc6455
raco setup: syncing: <pkgs>/rosette/rosette/doc/rosette-guide
raco setup: syncing: <pkgs>/scribble-math/doc/scribble-math
raco setup: 0 running: <pkgs>/racket-index/scribblings/main/user/family.scrbl
raco setup: 0 running: <pkgs>/racket-index/scribblings/main/user/local-redirect.scrbl
raco setup: 1 running: <pkgs>/racket-index/scribblings/main/user/release.scrbl
raco setup: 1 running: <pkgs>/racket-index/scribblings/main/user/search.scrbl
raco setup: 0 running: <pkgs>/racket-index/scribblings/main/user/start.scrbl
raco setup: 1 rendering: <pkgs>/racket-index/scribblings/main/user/family.scrbl
raco setup: 0 rendering: <pkgs>/racket-index/scribblings/main/user/local-redirect.scrbl
raco setup: 1 rendering: <pkgs>/racket-index/scribblings/main/user/release.scrbl
raco setup: 0 rendering: <pkgs>/racket-index/scribblings/main/user/search.scrbl
raco setup: 1 rendering: <pkgs>/racket-index/scribblings/main/user/start.scrbl
raco setup: --- installing collections ---                         [2:40:57]
raco setup: --- post-installing collections ---                    [2:40:57]
raco setup: post-installing: <pkgs>/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/Karp/info.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/Karp/lib/cnf.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/Karp/lib/graph-inspector.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/Karp/lib/graph.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/Karp/lib/mapping-reduction.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/Karp/lib/mapping.rkt")
raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/Karp/lib/modified/dot.rkt") test)
raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/Karp/lib/stepper.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/Karp/lib/structure-inspector.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/Karp/private/core-structures.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/Karp/private/decision-problem.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/Karp/private/dp-stx-info.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/Karp/private/dp-type-info.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/Karp/private/karp-contract.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/Karp/private/karp-dev-core.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/Karp/private/modified/error.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/Karp/private/primitive-data-type.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/Karp/private/problem-definition-core.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/Karp/private/problem-definition-utility.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/Karp/private/reduction-dev-base.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/Karp/private/verifier-type.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/Karp/problem-definition/lang/reader.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/Karp/problem-definition.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/Karp/reduction/lang/reader.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/Karp/reduction-base.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/Karp/reduction.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/Karp/scribblings/karp.scrbl")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/Karp/scribblings/libs/cnf.scrbl")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/Karp/scribblings/libs/graph.scrbl")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/Karp/scribblings/libs/libs.scrbl")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/Karp/scribblings/libs/mapping.scrbl")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/Karp/scribblings/problem-definition/problem-definition.scrbl")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/Karp/scribblings/quickstart/quickstart.scrbl")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/Karp/scribblings/reduction/reduction.scrbl")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/Karp/tests/contract-test.rkt")
contract-test.rkt: racket test: #<<non-empty stderr
contract-test.rkt:21:7: test1: greater than 5;
 in the 1st argument of test1
  given: 5
  location...:
   contract-test.rkt:21:7
  context...:
   /home/root/user/.local/share/racket/9.1/pkgs/Karp/private/modified/error.rkt:68:0: error*
   /home/root/user/.local/share/racket/9.1/pkgs/Karp/private/karp-contract.rkt:257:5
   .../private/karp-contract.rkt:118:20
   body of "/home/root/user/.local/share/racket/9.1/pkgs/Karp/tests/contract-test.rkt"
   /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2
   body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process)
   body of top-level

non-empty stderr
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/Karp/tests/decision-problem-test.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/Karp/tests/graph-test.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/Karp/tests/set-test.rkt")
stepper.rkt: racket test: timeout after 90 seconds
2/2 test failures
  0 /home/root//user/.local/share/racket/9.1/pkgs/Karp/info.rkt
  0 /home/root//user/.local/share/racket/9.1/pkgs/Karp/lib/cnf.rkt
  0 /home/root//user/.local/share/racket/9.1/pkgs/Karp/lib/graph-inspector.rkt
  0 /home/root//user/.local/share/racket/9.1/pkgs/Karp/lib/graph.rkt
  0 /home/root//user/.local/share/racket/9.1/pkgs/Karp/lib/mapping-reduction.rkt
  0 /home/root//user/.local/share/racket/9.1/pkgs/Karp/lib/mapping.rkt
  0 /home/root//user/.local/share/racket/9.1/pkgs/Karp/lib/modified/dot.rkt
  0 /home/root//user/.local/share/racket/9.1/pkgs/Karp/lib/structure-inspector.rkt
  0 /home/root//user/.local/share/racket/9.1/pkgs/Karp/private/core-structures.rkt
  0 /home/root//user/.local/share/racket/9.1/pkgs/Karp/private/decision-problem.rkt
  0 /home/root//user/.local/share/racket/9.1/pkgs/Karp/private/dp-stx-info.rkt
  0 /home/root//user/.local/share/racket/9.1/pkgs/Karp/private/dp-type-info.rkt
  0 /home/root//user/.local/share/racket/9.1/pkgs/Karp/private/karp-contract.rkt
  0 /home/root//user/.local/share/racket/9.1/pkgs/Karp/private/karp-dev-core.rkt
  0 /home/root//user/.local/share/racket/9.1/pkgs/Karp/private/modified/error.rkt
  0 /home/root//user/.local/share/racket/9.1/pkgs/Karp/private/primitive-data-type.rkt
  0 /home/root//user/.local/share/racket/9.1/pkgs/Karp/private/problem-definition-core.rkt
  0 /home/root//user/.local/share/racket/9.1/pkgs/Karp/private/problem-definition-utility.rkt
  0 /home/root//user/.local/share/racket/9.1/pkgs/Karp/private/reduction-dev-base.rkt
  0 /home/root//user/.local/share/racket/9.1/pkgs/Karp/private/verifier-type.rkt
  0 /home/root//user/.local/share/racket/9.1/pkgs/Karp/problem-definition/lang/reader.rkt
  0 /home/root//user/.local/share/racket/9.1/pkgs/Karp/problem-definition.rkt
  0 /home/root//user/.local/share/racket/9.1/pkgs/Karp/reduction/lang/reader.rkt
  0 /home/root//user/.local/share/racket/9.1/pkgs/Karp/reduction-base.rkt
  0 /home/root//user/.local/share/racket/9.1/pkgs/Karp/reduction.rkt
  0 /home/root//user/.local/share/racket/9.1/pkgs/Karp/scribblings/karp.scrbl
  0 /home/root//user/.local/share/racket/9.1/pkgs/Karp/scribblings/libs/cnf.scrbl
  0 /home/root//user/.local/share/racket/9.1/pkgs/Karp/scribblings/libs/graph.scrbl
  0 /home/root//user/.local/share/racket/9.1/pkgs/Karp/scribblings/libs/libs.scrbl
  0 /home/root//user/.local/share/racket/9.1/pkgs/Karp/scribblings/libs/mapping.scrbl
  0 /home/root//user/.local/share/racket/9.1/pkgs/Karp/scribblings/problem-definition/problem-definition.scrbl
  0 /home/root//user/.local/share/racket/9.1/pkgs/Karp/scribblings/quickstart/quickstart.scrbl
  0 /home/root//user/.local/share/racket/9.1/pkgs/Karp/scribblings/reduction/reduction.scrbl
  0 /home/root//user/.local/share/racket/9.1/pkgs/Karp/tests/decision-problem-test.rkt
  0 /home/root//user/.local/share/racket/9.1/pkgs/Karp/tests/graph-test.rkt
  0 /home/root//user/.local/share/racket/9.1/pkgs/Karp/tests/set-test.rkt
1 1 /home/root//user/.local/share/racket/9.1/pkgs/Karp/lib/stepper.rkt
1 1 /home/root//user/.local/share/racket/9.1/pkgs/Karp/tests/contract-test.rkt
The time is now Mon, 23 Feb 2026 02:42:32 +0000