For information about the package build service, see https://pkg-build.racket-lang.org/about.html The time is now Mon, 12 Oct 2026 16:29:09 +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 liquid-shplait && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 2 --drdr --package liquid-shplait) Resolved "liquid-shplait" via file:///home/root//catalogs/built/catalog 00: Resolved "rhombus-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "shrubbery-lib" via file:///home/root//catalogs/built/catalog 02: Resolved "shplait" via file:///home/root//catalogs/built/catalog Resolved "rhombus-scribble-lib" via file:///home/root//catalogs/built/catalog 02: Resolved "pretty-expressive-lib" via file:///home/root//catalogs/built/catalog Resolved "enforest-lib" via file:///home/root//catalogs/built/catalog 02: Resolved "rhombus" via file:///home/root//catalogs/built/catalog Resolved "shrubbery" via file:///home/root//catalogs/built/catalog 02: Resolved "rhombus-exe" via file:///home/root//catalogs/built/catalog 02: Resolved "rhombus-ffi" via file:///home/root//catalogs/built/catalog 00: Resolved "rhombus-draw" via file:///home/root//catalogs/built/catalog 00: Resolved "rhombus-gui" via file:///home/root//catalogs/built/catalog 02: Resolved "rhombus-pict" via file:///home/root//catalogs/built/catalog Resolved "rhombus-scribble" via file:///home/root//catalogs/built/catalog 02: Resolved "rhombus-ffi-lib" via file:///home/root//catalogs/built/catalog Resolved "ffi2" via file:///home/root//catalogs/built/catalog Resolved "ffi2-lib" via file:///home/root//catalogs/built/catalog Resolved "rhombus-draw-lib" via file:///home/root//catalogs/built/catalog 02: Resolved "rhombus-gui-lib" via file:///home/root//catalogs/built/catalog 02: Resolved "gui-easy" via file:///home/root//catalogs/built/catalog Resolved "gui-easy-lib" via file:///home/root//catalogs/built/catalog 02: Resolved "box-extra-lib" via file:///home/root//catalogs/built/catalog Resolved "version-case-lib" via file:///home/root//catalogs/built/catalog 02: Resolved "rhombus-pict-lib" via file:///home/root//catalogs/built/catalog Resolved "rhombus-slideshow" via file:///home/root//catalogs/built/catalog 02: Resolved "pict-balloon2" via file:///home/root//catalogs/built/catalog Resolved "shrubbery-render-lib" via file:///home/root//catalogs/built/catalog Resolved "rhombus-slideshow-lib" via file:///home/root//catalogs/built/catalog Resolved "enforest" via file:///home/root//catalogs/built/catalog The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of liquid-shplait: rhombus-lib shrubbery-lib shplait rhombus-scribble-lib dependencies of rhombus-lib: pretty-expressive-lib enforest-lib dependencies of shplait: rhombus shrubbery dependencies of rhombus: rhombus-exe rhombus-ffi rhombus-draw rhombus-gui rhombus-pict rhombus-scribble dependencies of rhombus-ffi: rhombus-ffi-lib ffi2 dependencies of rhombus-ffi-lib: ffi2-lib dependencies of rhombus-draw: rhombus-draw-lib dependencies of rhombus-gui: rhombus-gui-lib gui-easy gui-easy-lib dependencies of gui-easy-lib: box-extra-lib version-case-lib dependencies of rhombus-pict: rhombus-pict-lib rhombus-slideshow dependencies of rhombus-pict-lib: pict-balloon2 shrubbery-render-lib dependencies of rhombus-slideshow: rhombus-slideshow-lib dependencies of shrubbery: enforest raco setup: version: 9.3 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 9.3 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.3/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.3/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/9.3/links.rktd raco setup: compiled-file roots: raco setup: /home/root//zo raco setup: same raco setup: --- updating info-domain tables --- [16:29:23] raco setup: updating: /home/root/user/.local/share/racket/9.3/share/info-cache.rktd raco setup: --- pre-installing collections --- [16:29:23] raco setup: --- installing foreign libraries --- [16:29:23] raco setup: --- installing shared files --- [16:29:23] raco setup: --- compiling collections --- [16:29:23] raco setup: --- parallel build using 2 jobs --- [16:29:23] raco setup: 1 making: /box-extra-lib raco setup: 0 making: /enforest-lib/enforest raco setup: 1 making: /enforest/enforest raco setup: 0 making: /enforest-lib/enforest/private raco setup: 0 making: /ffi2-lib/ffi2 raco setup: 0 making: /ffi2-lib/ffi2/private raco setup: 0 making: /ffi2/ffi2/scribblings raco setup: 0 making: /ffi2/ffi2/tests raco setup: 0 making: /gui-easy raco setup: 0 making: /gui-easy/gui/easy raco setup: 0 making: /gui-easy-lib raco setup: 0 making: /gui-easy-lib/gui raco setup: 0 making: /gui-easy-lib/gui/easy raco setup: 0 making: /gui-easy-lib/gui/easy/private raco setup: 0 making: /gui-easy-lib/gui/easy/private/view raco setup: 0 making: /liquid-shplait/shplait raco setup: 1 making: /enforest/enforest/scribblings raco setup: 1 making: /pict-balloon2 raco setup: 1 making: /pretty-expressive-lib (pretty-expressive) raco setup: 1 making: /rhombus-draw-lib/draw raco setup: 0 making: /liquid-shplait/shplait/liquid raco setup: 0 making: /rhombus-draw-lib/rhombus raco setup: 0 making: /rhombus-draw-lib/rhombus/draw/private raco setup: 1 making: /rhombus-draw/rhombus/draw/scribblings raco setup: 0 making: /rhombus-exe/rhombus raco setup: 0 making: /rhombus-ffi-lib/ffi raco setup: 1 making: /rhombus-draw/rhombus/draw/tests raco setup: 1 making: /rhombus-ffi-lib/rhombus raco setup: 1 making: /rhombus-ffi-lib/rhombus/ffi raco setup: 1 making: /rhombus-ffi-lib/rhombus/ffi/private raco setup: 0 making: /rhombus-ffi/rhombus/ffi/scribblings raco setup: 1 making: /rhombus-gui-lib/gui raco setup: 0 making: /rhombus-ffi/rhombus/ffi/tests raco setup: 0 making: /rhombus-gui-lib/rhombus raco setup: 0 making: /rhombus-gui-lib/rhombus/gui/private raco setup: 1 making: /rhombus-gui/rhombus/gui raco setup: 0 making: /rhombus-lib/rhombus raco setup: 0 making: /rhombus-lib/rhombus/private raco setup: 0 making: /rhombus-lib/rhombus/private/amalgam raco setup: 0 making: /rhombus-lib/rhombus/static raco setup: 0 making: /rhombus-pict-lib/pict raco setup: 0 making: /rhombus-pict-lib/rhombus raco setup: 0 making: /rhombus-pict-lib/rhombus/pict raco setup: 0 making: /rhombus-pict-lib/rhombus/pict/private raco setup: 0 making: /rhombus-pict/rhombus/pict/scribblings raco setup: 1 making: /rhombus-gui/rhombus/gui/scribblings raco setup: 1 making: /rhombus-gui/rhombus/gui/tests raco setup: 1 making: /rhombus-scribble-lib/rhombus raco setup: 1 making: /rhombus-scribble-lib/rhombus/scribble raco setup: 1 making: /rhombus-scribble-lib/rhombus/scribble/private raco setup: 1 making: /rhombus-scribble-lib/scribble raco setup: 1 making: /rhombus-scribble-lib/scribble/private raco setup: 1 making: /rhombus-scribble-lib/scribble/rhombus raco setup: 1 making: /rhombus-scribble/rhombus/scribble/scribblings raco setup: 0 making: /rhombus-pict/rhombus/pict/tests raco setup: 0 making: /rhombus-slideshow-lib/rhombus raco setup: 0 making: /rhombus-slideshow-lib/rhombus/slideshow raco setup: 0 making: /rhombus-slideshow-lib/slideshow raco setup: 0 making: /rhombus-slideshow/rhombus/slideshow/scribblings raco setup: 0 making: /rhombus/rhombus/scribblings raco setup: 0 making: /rhombus/rhombus/scribblings/getting-started raco setup: 0 making: /rhombus/rhombus/scribblings/guide raco setup: 1 making: /rhombus-scribble/rhombus/scribble/tests raco setup: 1 making: /shplait raco setup: 1 making: /shplait/private raco setup: 1 making: /shplait/scribblings raco setup: 1 making: /shplait/tests raco setup: 0 making: /rhombus/rhombus/scribblings/main raco setup: 0 making: /rhombus/rhombus/scribblings/main/user raco setup: 0 making: /rhombus/rhombus/scribblings/meta raco setup: 1 making: /shrubbery-lib/shrubbery raco setup: 1 making: /shrubbery-lib/shrubbery/private raco setup: 1 making: /shrubbery-render-lib/shrubbery raco setup: 1 making: /shrubbery-render-lib/shrubbery/render raco setup: 1 making: /shrubbery-render-lib/shrubbery/render/private raco setup: 1 making: /shrubbery/shrubbery raco setup: 0 making: /rhombus/rhombus/scribblings/model raco setup: 0 making: /rhombus/rhombus/scribblings/reference raco setup: 1 making: /shrubbery/shrubbery/scribblings raco setup: 1 making: /shrubbery/shrubbery/tests raco setup: 1 making: /version-case-lib (version-case-lib) raco setup: 1 making: /version-case-lib/private raco setup: 0 making: /rhombus/rhombus/tests/class-extend-namespace raco setup: --- creating launchers --- [16:31:07] raco setup: launcher: /home/root/user/.local/share/racket/9.3/bin/rhombus raco setup: --- installing man pages --- [16:31:07] raco setup: --- building documentation --- [16:31:07] raco setup: syncing: /enforest/enforest/doc/enforest raco setup: syncing: /ffi2/ffi2/scribblings/doc/ffi2 raco setup: syncing: /gui-easy/gui/easy/doc/gui-easy raco setup: syncing: /liquid-shplait/shplait/liquid/doc/liquid-shplait raco setup: syncing: /rhombus-draw/rhombus/draw/scribblings/doc/rhombus-draw raco setup: syncing: /rhombus-ffi/rhombus/ffi/scribblings/doc/rhombus-ffi raco setup: syncing: /rhombus/rhombus/scribblings/getting-started/doc/rhombus-getting-started raco setup: syncing: /rhombus-gui/rhombus/gui/doc/rhombus-gui raco setup: syncing: /rhombus/rhombus/scribblings/guide/doc/rhombus-guide raco setup: syncing: /rhombus/rhombus/scribblings/meta/doc/rhombus-meta raco setup: syncing: /rhombus/rhombus/scribblings/tutorial/metaprogramming/doc/rhombus-meta-tutorial raco setup: syncing: /rhombus/rhombus/scribblings/model/doc/rhombus-model raco setup: syncing: /rhombus-pict/rhombus/pict/scribblings/doc/rhombus-pict raco setup: syncing: /rhombus/rhombus/scribblings/tutorial/quick/doc/rhombus-quick raco setup: syncing: /rhombus/rhombus/scribblings/rhombus-racket/doc/rhombus-racket raco setup: syncing: /rhombus/rhombus/scribblings/doc/rhombus-redirect raco setup: syncing: /rhombus/rhombus/scribblings/reference/doc/rhombus-reference raco setup: syncing: /rhombus-scribble/rhombus/scribble/scribblings/doc/rhombus-scribble raco setup: syncing: /rhombus-slideshow/rhombus/slideshow/scribblings/doc/rhombus-slideshow raco setup: syncing: /shplait/doc/shplait raco setup: syncing: /shrubbery/shrubbery/doc/shrubbery raco setup: 1 running: /racket-index/scribblings/main/user/family.scrbl raco setup: 1 running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 0 running: /racket-index/scribblings/main/user/release.scrbl raco setup: 1 running: /rhombus/rhombus/scribblings/main/rhombus.scrbl raco setup: 0 running: /racket-index/scribblings/main/user/search.scrbl raco setup: 1 running: /racket-index/scribblings/main/user/start.scrbl raco setup: 0 running: /rhombus/rhombus/scribblings/main/user/user-rhombus.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: 1 rendering: /racket-index/scribblings/main/user/release.scrbl raco setup: 0 rendering: /rhombus/rhombus/scribblings/main/rhombus.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: 0 rendering: /rhombus/rhombus/scribblings/main/user/user-rhombus.scrbl raco setup: --- installing collections --- [16:31:19] raco setup: installing: /racket raco setup: installing: /gui-lib/racket/gui raco setup: --- post-installing collections --- [16:31:19] raco test: 0 (file "/home/root//user/.local/share/racket/9.3/pkgs/liquid-shplait/info.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/builtins.rhm") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/examples/div-0.rhm") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/examples/str-0.rhm") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/info.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/interaction.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/refinements.rhm") raco test: 0 (file "/home/root//user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/scribblings/liquid-shplait.scrbl") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/compat/01_no_refinements.rhm") raco test: 0 (file "/home/root//user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/compat/02_imported_but_unused.rhm") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/compat/03_datatype_no_refinements.rhm") raco test: 0 (file "/home/root//user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/compat/05_user_defines_assert_unreachable.rhm") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/datastructures/non_empty_list.rhm") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/eval.rhm") raco test: 0 (file "/home/root//user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/examples.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/guide.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/interaction-tests.rkt") guide.rkt: racket test: #< 0}) :: {y :: Int | y > 0}:\n n * 2" name: check-false location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/guide.rkt:122:9 params: '("shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)") message: "compiles" -------------------- -------------------- FAILURE block-number: 2 block: "fun double({n :: Int | n > 2}) :: {y :: Int | y > 0}:\n  n - 2" name: check-false location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/guide.rkt:122:9 params: '("shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)") message: "compiles" -------------------- -------------------- FAILURE block-number: 4 block: "fun percent_of({total :: Int | total >= 0},\n {pct :: Int | pct >= 0 && pct <= 100})\n :: {out :: Int | out >= 0 && out <= total}:\n (total * pct) / 100" name: check-false location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/guide.rkt:122:9 params: '("shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)") message: "compiles" -------------------- -------------------- FAILURE block-number: 5 block: "fun safe_get(s :: String, {i :: Int | i >= 0 && i < string_length(s)}) :: Char:\n string_get(s, i)\n\nsafe_get(\"hello\", 1) // accepted\nsafe_get(\"hello\", 7) // rejected: 7 < string_length(\"hello\") is false" name: check-false location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/guide.rkt:122:9 params: '("shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)") message: "compiles" -------------------- -------------------- FAILURE block-number: 5 block: "fun safe_get(s :: String, {i :: Int | i >= 0 && i < string_length(s)}) :: Char:\n string_get(s, i)\n\nsafe_get(\"hello\", 1) // accepted\nsafe_get(\"hello\", 7) // rejected: 7 < string_length(\"hello\") is false" rejected-line: "safe_get(\"hello\", 7) // rejected: 7 < string_length(\"hello\") is false" name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/guide.rkt:126:13 params: '(#f) message: "added alone, rejected; got: shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)" -------------------- -------------------- FAILURE block-number: 7 block: "fun safe_div(n :: Int, {d :: Int | d != 0}) :: Int:\n n / d\n\nfun use({x :: Int | x > 0}) :: Int:\n safe_div(100, x) // x > 0 gives x != 0" name: check-false location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/guide.rkt:122:9 params: '("shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)") message: "compiles" -------------------- -------------------- FAILURE block-number: 8 block: "fun count(xs :: Listof(Int)) :: {y :: Int | y >= 0}:\n match xs\n | []: 0\n | cons(h, t): 1 + count(t)" name: check-false location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/guide.rkt:122:9 params: '("shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)") message: "compiles" -------------------- -------------------- FAILURE block-number: 9 block: "type Shape\n| circle(radius :: {r :: Int | r > 0})\n| square(side :: {s :: Int | s > 0})\n\nfun area(sh :: Shape) :: {a :: Int | a > 0}:\n match sh\n | circle(r): 3 * r * r\n | square(s): s * s\n\narea(circle(2)) // accepted\narea(circle(0)) // rejected: 0 > 0 is false" name: check-false location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/guide.rkt:122:9 params: '("shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)") message: "compiles" -------------------- -------------------- FAILURE block-number: 9 block: "type Shape\n| circle(radius :: {r :: Int | r > 0})\n| square(side :: {s :: Int | s > 0})\n\nfun area(sh :: Shape) :: {a :: Int | a > 0}:\n match sh\n | circle(r): 3 * r * r\n | square(s): s * s\n\narea(circle(2)) // accepted\narea(circle(0)) // rejected: 0 > 0 is false" rejected-line: "area(circle(0)) // rejected: 0 > 0 is false" name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/guide.rkt:126:13 params: '(#f) message: "added alone, rejected; got: shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)" -------------------- -------------------- FAILURE block-number: 12 block: "fun insert(x :: Int, xs :: OList)\n :: {r :: OList | !is_onil(r)\n && ohd(r) == (if is_onil(xs) | x | min(x, ohd(xs)))}:\n match xs\n | onil(): ocons(x, onil())\n | ocons(y, ys):\n if x <= y\n | ocons(x, ocons(y, ys))\n | ocons(y, insert(x, ys))" name: check-false location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/guide.rkt:122:9 params: '("shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)") message: "compiles" -------------------- -------------------- FAILURE block-number: 13 block: "fun big({n :: Int | n > 0}) :: {r :: Int | r > 5}:\n if n > 5\n | n\n | error(#'big, \"too small\")" name: check-false location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/guide.rkt:122:9 params: '("shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)") message: "compiles" -------------------- -------------------- FAILURE block-number: 14 block: "fun sign({n :: Int | n != 0}) :: {s :: Int | s == 1 || s == -1}:\n cond\n | n > 0: 1\n | n < 0: -1\n | ~else: unreachable()" name: check-false location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/guide.rkt:122:9 params: '("shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)") message: "compiles" -------------------- -------------------- FAILURE block-number: 15 block: "fun midpoint({lo :: Int | lo >= 0}, {hi :: Int | hi >= lo})\n :: {m :: Int | m >= lo && m <= hi}:\n def half = (hi - lo) / 2\n assert(half >= 0 && half <= hi - lo)\n lo + half" name: check-false location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/guide.rkt:122:9 params: '("shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)") message: "compiles" -------------------- -------------------- FAILURE block-number: 16 block: "fun id(x :: ?a) :: ?a:\n x\n\nfun pos_int({n :: Int | n > 0}) :: {r :: Int | r > 0}:\n id(n)" name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/guide.rkt:119:9 params: '(#f) message: "rejected, as the guide says; got: shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)" -------------------- -------------------- FAILURE block-number: 17 block: "fun id(x :: ?a) :: {r :: ?a | r == x}:\n x" name: check-false location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/guide.rkt:122:9 params: '("shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)") message: "compiles" -------------------- -------------------- FAILURE block-number: 18 block: "fun bump(b :: Boxof({v :: Int | v >= 0})) :: Void:\n set_box(b, unbox(b) + 1)\n\ndef counter = box(0)\n\nbump(counter)" name: check-false location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/guide.rkt:122:9 params: '("shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)") message: "compiles" -------------------- -------------------- FAILURE block-number: 19 block: "fun push({t :: Turnstile | !is_locked(t)}) :: Turnstile:\n locked(0)\n\nfun press(t :: Turnstile) :: Response:\n if is_locked(t)\n | refused()\n | succeeded(push(t))" name: check-false location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/guide.rkt:122:9 params: '("shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)") message: "compiles" -------------------- -------------------- FAILURE message: "`double`, return: the claim `y > 0` is violated when n = 1" name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/guide.rkt:163:4 params: '(#f) -------------------- -------------------- FAILURE message: "`h`, call to `safe_div`, argument 2: the claim `(a + 1) != 0` is violated when a = -1" name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/guide.rkt:163:4 params: '(#f) -------------------- -------------------- FAILURE message: "`midpoint`, assert: the claim `half > 0` is violated when half = 0" name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/guide.rkt:163:4 params: '(#f) -------------------- -------------------- FAILURE message: "`sign`, call to `unreachable()`: it is reached when n = 0" name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/guide.rkt:163:4 params: '(#f) -------------------- -------------------- FAILURE message: "`press`, call to `push`, argument 1: the claim `! is_locked(t)` is violated when t = locked(0)" name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/guide.rkt:163:4 params: '(#f) -------------------- non-empty stderr interaction-tests.rkt: racket test: #<= hd` is violated\"" -------------------- -------------------- FAILURE interaction: "twice(0)" output: "" name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/interaction-tests.rkt:80:6 params: '(#f) message: "output should contain \"the claim `0 > 0` is violated\"" -------------------- -------------------- FAILURE interaction: "twice(3)" output: "" name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/interaction-tests.rkt:80:6 params: '(#f) message: "output should contain \"6\"" -------------------- -------------------- FAILURE interaction: "let k = 3: twice(k)" output: "" name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/interaction-tests.rkt:80:6 params: '(#f) message: "output should contain \"6\"" -------------------- -------------------- FAILURE interaction: "let k = 0: twice(k)" output: "" name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/interaction-tests.rkt:80:6 params: '(#f) message: "output should contain \"the claim `k > 0` is violated\"" -------------------- -------------------- FAILURE interaction: "let {k :: Int | k > 0} = 3: k" output: "" name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/interaction-tests.rkt:80:6 params: '(#f) message: "output should contain \"a `let` binding cannot carry a refinement\"" -------------------- -------------------- FAILURE interaction: "fun outer(n :: Int) :: Int:\n fun g({y :: Int | y > 0}) :: Int: y\n g(1)" output: "" name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/interaction-tests.rkt:80:6 params: '(#f) message: "output should contain \"function `g` is defined inside another definition\"" -------------------- -------------------- FAILURE interaction: "fun bad({n :: Int | n > 0}) :: {m :: Int | m > n}: n" output: "" name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/interaction-tests.rkt:80:6 params: '(#f) message: "output should contain \"the claim `m > n` is violated\"" -------------------- -------------------- FAILURE interaction: "unreachable()" output: "" name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/interaction-tests.rkt:80:6 params: '(#f) message: "output should contain \"call to `unreachable()`: it is reached\"" -------------------- -------------------- FAILURE interaction: "assert(2 < 1)" output: "" name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/interaction-tests.rkt:80:6 params: '(#f) message: "output should contain \"the claim `2 < 1` is violated\"" -------------------- -------------------- FAILURE interaction: "fun keep_ne({l :: OList | !is_onil(l)}) :: {r :: OList | !is_onil(r)}: idd(l)" output: "" name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/interaction-tests.rkt:80:6 params: '(#f) message: "output should contain \"is violated when idd(...) = onil()\"" -------------------- -------------------- FAILURE interaction: "pos_int(id(4))" output: "" name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/interaction-tests.rkt:80:6 params: '(#f) message: "output should contain \"4\"" -------------------- -------------------- FAILURE interaction: "pos_int(id(0 - 1))" output: "" name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/interaction-tests.rkt:80:6 params: '(#f) message: "output should contain \"is violated\"" -------------------- -------------------- FAILURE interaction: "keep(id(file(3, #true)))" output: "" name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/interaction-tests.rkt:80:6 params: '(#f) message: "output should contain \"- File\"" -------------------- non-empty stderr raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/negative.rhm") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/positive/09_polymorphic.rhm") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/positive/10_let_as_def_rhs.rhm") examples.rkt: racket test: #< name: check-false location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/examples.rkt:67:4 params: '("shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)") message: "the example as written compiles" -------------------- -------------------- FAILURE example: # error-line: 26 name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/examples.rkt:71:8 params: '(#f) message: "uncommented, rejected by the refinement checker; got: shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)" -------------------- -------------------- FAILURE example: # error-line: 36 name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/examples.rkt:71:8 params: '(#f) message: "uncommented, rejected by the refinement checker; got: shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)" -------------------- -------------------- FAILURE example: # name: check-false location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/examples.rkt:67:4 params: '("shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)") message: "the example as written compiles" -------------------- -------------------- FAILURE example: # error-line: 48 name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/examples.rkt:71:8 params: '(#f) message: "uncommented, rejected by the refinement checker; got: shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)" -------------------- -------------------- FAILURE example: # error-line: 50 name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/examples.rkt:71:8 params: '(#f) message: "uncommented, rejected by the refinement checker; got: shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)" -------------------- -------------------- FAILURE example: # error-line: 52 name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/examples.rkt:71:8 params: '(#f) message: "uncommented, rejected by the refinement checker; got: shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)" -------------------- -------------------- FAILURE example: # error-line: 54 name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/examples.rkt:71:8 params: '(#f) message: "uncommented, rejected by the refinement checker; got: shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)" -------------------- -------------------- FAILURE example: # name: check-false location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/examples.rkt:67:4 params: '("shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)") message: "the example as written compiles" -------------------- -------------------- FAILURE example: # error-line: 51 name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/examples.rkt:71:8 params: '(#f) message: "uncommented, rejected by the refinement checker; got: shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)" -------------------- -------------------- FAILURE example: # error-line: 53 name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/examples.rkt:71:8 params: '(#f) message: "uncommented, rejected by the refinement checker; got: shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)" -------------------- -------------------- FAILURE example: # name: check-false location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/examples.rkt:67:4 params: '("shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)") message: "the example as written compiles" -------------------- -------------------- FAILURE example: # error-line: 15 name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/examples.rkt:71:8 params: '(#f) message: "uncommented, rejected by the refinement checker; got: shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)" -------------------- -------------------- FAILURE example: # error-line: 17 name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/examples.rkt:71:8 params: '(#f) message: "uncommented, rejected by the refinement checker; got: shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)" -------------------- -------------------- FAILURE example: # error-line: 25 name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/examples.rkt:71:8 params: '(#f) message: "uncommented, rejected by the refinement checker; got: shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)" -------------------- -------------------- FAILURE example: # error-line: 36 name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/examples.rkt:71:8 params: '(#f) message: "uncommented, rejected by the refinement checker; got: shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)" -------------------- -------------------- FAILURE example: # name: check-false location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/examples.rkt:67:4 params: '("shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)") message: "the example as written compiles" -------------------- -------------------- FAILURE example: # error-line: 13 name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/examples.rkt:71:8 params: '(#f) message: "uncommented, rejected by the refinement checker; got: shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)" -------------------- -------------------- FAILURE example: # error-line: 15 name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/examples.rkt:71:8 params: '(#f) message: "uncommented, rejected by the refinement checker; got: shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)" -------------------- -------------------- FAILURE example: # error-line: 23 name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/examples.rkt:71:8 params: '(#f) message: "uncommented, rejected by the refinement checker; got: shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)" -------------------- -------------------- FAILURE example: # error-line: 55 name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/examples.rkt:71:8 params: '(#f) message: "uncommented, rejected by the refinement checker; got: shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)" -------------------- -------------------- FAILURE example: # name: check-false location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/examples.rkt:67:4 params: '("shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)") message: "the example as written compiles" -------------------- -------------------- FAILURE example: # error-line: 35 name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/examples.rkt:71:8 params: '(#f) message: "uncommented, rejected by the refinement checker; got: shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)" -------------------- -------------------- FAILURE example: # error-line: 46 name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/examples.rkt:71:8 params: '(#f) message: "uncommented, rejected by the refinement checker; got: shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)" -------------------- -------------------- FAILURE example: # name: check-false location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/examples.rkt:67:4 params: '("shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)") message: "the example as written compiles" -------------------- -------------------- FAILURE example: # error-line: 59 name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/examples.rkt:71:8 params: '(#f) message: "uncommented, rejected by the refinement checker; got: shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)" -------------------- -------------------- FAILURE example: # error-line: 61 name: c... non-empty stderr raco test: 0 (file "/home/root//user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/readme/pass/olist_measures.rhm") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/readme/pass/span_sibling.rhm") raco test: 0 (file "/home/root//user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/readme_fail.rhm") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/unsaved-buffer-tests.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/unsupported.rhm") readme_fail.rhm: racket test: #<= hd` is violated\"" -------------------- -------------------- FAILURE extra-line: "def bad = ocons(2, ocons(1, onil()))" output: "shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)" name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/unsaved-buffer-tests.rkt:52:4 params: '(#f) message: "output should contain \"the claim `is_onil(t) || ohd(t) >= hd` is violated\"" -------------------- -------------------- FAILURE extra-line: "unreachable()" output: "shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)" name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/unsaved-buffer-tests.rkt:52:4 params: '(#f) message: "output should contain \"call to `unreachable()`: it is reached\"" -------------------- -------------------- FAILURE extra-line: "assert(ohd(insert(1, onil())) == 1)" output: "shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)" name: check-equal? location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/unsaved-buffer-tests.rkt:51:4 message: "compiles" actual: #f expected: #t -------------------- -------------------- FAILURE extra-line: "assert(ohd(insert(1, onil())) == 2)" output: "shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)" name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/unsaved-buffer-tests.rkt:52:4 params: '(#f) message: "output should contain \"is violated\"" -------------------- -------------------- FAILURE extra-line: "fun idd(x :: ?a) :: ?a: x\nfun keep_ne({l :: OList | !is_onil(l)}) :: {r :: OList | !is_onil(r)}: idd(l)" output: "shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)" name: check-true location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/unsaved-buffer-tests.rkt:52:4 params: '(#f) message: "output should contain \"is violated when idd(...) = onil()\"" -------------------- -------------------- FAILURE extra-line: "def k2 = (let y = 2: y * 2)" output: "shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3)" name: check-equal? location: /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/unsaved-buffer-tests.rkt:51:4 message: "compiles" actual: #f expected: #t -------------------- non-empty stderr unsupported.rhm: racket test: #< 0` is violated when n ="' location...: verify_fail.rhm:12:0 context...: /home/root/user/.local/share/racket/9.3/pkgs/rhombus-lib/rhombus/private/check.rhm:206:0: check_same body of "/home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/verify_fail.rhm" /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 /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/verify_fail.rhm:26: failed got: exception shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3) context...: /home/root/racket/collects/racket/private/promise.rkt:123:10 /home/root/racket/collects/racket/private/more-scheme.rkt:263:2: call-with-exception-handler /home/root/racket/collects/racket/private/promise.rkt:115:0: force/generic /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:1652:4 /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:1650:0: run-z3/once /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:1637:0: run-z3 /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:3100:10 /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:3097:8 /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:3013:0: verify-module** /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:2974:0: verify-module* /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/refinements.rhm:298:2: run_checks /home/root/user/.local/share/racket/9.3/pkgs/shplait/private/core.rkt:62:8 .../private/parse-interp.rkt:654:50 /home/root/user/.local/share/racket/9.3/pkgs/rhombus-lib/rhombus/private/call-capture-exn.rkt:19:4 /home/root/user/.local/share/racket/9.3/pkgs/rhombus-lib/rhombus/private/check.rhm:206:0: check_same body of "/home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/verify_fail.rhm" ... expected: exception rx_in '"initial contents of box `bx`"' location...: verify_fail.rhm:26:0 context...: /home/root/user/.local/share/racket/9.3/pkgs/rhombus-lib/rhombus/private/check.rhm:206:0: check_same body of "/home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/verify_fail.rhm" /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 /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/verify_fail.rhm:42: failed got: exception shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3) context...: /home/root/racket/collects/racket/private/promise.rkt:123:10 /home/root/racket/collects/racket/private/more-scheme.rkt:263:2: call-with-exception-handler /home/root/racket/collects/racket/private/promise.rkt:115:0: force/generic /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:1652:4 /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:1650:0: run-z3/once /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:1637:0: run-z3 /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:3100:10 /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:3097:8 /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:3013:0: verify-module** /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:2974:0: verify-module* /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/refinements.rhm:298:2: run_checks /home/root/user/.local/share/racket/9.3/pkgs/shplait/private/core.rkt:62:8 .../private/parse-interp.rkt:654:50 /home/root/user/.local/share/racket/9.3/pkgs/rhombus-lib/rhombus/private/call-capture-exn.rkt:19:4 /home/root/user/.local/share/racket/9.3/pkgs/rhombus-lib/rhombus/private/check.rhm:206:0: check_same body of "/home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/verify_fail.rhm" ... expected: exception rx_in '"is violated"' location...: verify_fail.rhm:42:0 context...: /home/root/user/.local/share/racket/9.3/pkgs/rhombus-lib/rhombus/private/check.rhm:206:0: check_same body of "/home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/verify_fail.rhm" /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 /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/verify_fail.rhm:74: failed got: exception shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3) context...: /home/root/racket/collects/racket/private/promise.rkt:123:10 /home/root/racket/collects/racket/private/more-scheme.rkt:263:2: call-with-exception-handler /home/root/racket/collects/racket/private/promise.rkt:115:0: force/generic /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:1652:4 /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:1650:0: run-z3/once /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:1637:0: run-z3 /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:3100:10 /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:3097:8 /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:3013:0: verify-module** /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:2974:0: verify-module* /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/refinements.rhm:298:2: run_checks /home/root/user/.local/share/racket/9.3/pkgs/shplait/private/core.rkt:62:8 .../private/parse-interp.rkt:654:50 /home/root/user/.local/share/racket/9.3/pkgs/rhombus-lib/rhombus/private/call-capture-exn.rkt:19:4 /home/root/user/.local/share/racket/9.3/pkgs/rhombus-lib/rhombus/private/check.rhm:206:0: check_same body of "/home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/verify_fail.rhm" ... expected: exception rx_in '"is violated"' location...: verify_fail.rhm:74:0 context...: /home/root/user/.local/share/racket/9.3/pkgs/rhombus-lib/rhombus/private/check.rhm:206:0: check_same body of "/home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/verify_fail.rhm" /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 /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/verify_fail.rhm:86: failed got: exception shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3) context...: /home/root/racket/collects/racket/private/promise.rkt:123:10 /home/root/racket/collects/racket/private/more-scheme.rkt:263:2: call-with-exception-handler /home/root/racket/collects/racket/private/promise.rkt:115:0: force/generic /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:1652:4 /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:1650:0: run-z3/once /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:1637:0: run-z3 /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:3100:10 /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:3097:8 /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:3013:0: verify-module** /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:2974:0: verify-module* /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/refinements.rhm:298:2: run_checks /home/root/user/.local/share/racket/9.3/pkgs/shplait/private/core.rkt:62:8 .../private/parse-interp.rkt:654:50 /home/root/user/.local/share/racket/9.3/pkgs/rhombus-lib/rhombus/private/call-capture-exn.rkt:19:4 /home/root/user/.local/share/racket/9.3/pkgs/rhombus-lib/rhombus/private/check.rhm:206:0: check_same body of "/home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/verify_fail.rhm" ... expected: exception rx_in '"is violated"' location...: verify_fail.rhm:86:0 context...: /home/root/user/.local/share/racket/9.3/pkgs/rhombus-lib/rhombus/private/check.rhm:206:0: check_same body of "/home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/verify_fail.rhm" /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 /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/verify_fail.rhm:100: failed got: exception shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3) context...: /home/root/racket/collects/racket/private/promise.rkt:123:10 /home/root/racket/collects/racket/private/more-scheme.rkt:263:2: call-with-exception-handler /home/root/racket/collects/racket/private/promise.rkt:115:0: force/generic /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:1652:4 /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:1650:0: run-z3/once /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:1637:0: run-z3 /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:3100:10 /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:3097:8 /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:3013:0: verify-module** /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:2974:0: verify-module* /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/refinements.rhm:298:2: run_checks /home/root/user/.local/share/racket/9.3/pkgs/shplait/private/core.rkt:62:8 .../private/parse-interp.rkt:654:50 /home/root/user/.local/share/racket/9.3/pkgs/rhombus-lib/rhombus/private/call-capture-exn.rkt:19:4 /home/root/user/.local/share/racket/9.3/pkgs/rhombus-lib/rhombus/private/check.rhm:206:0: check_same body of "/home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/verify_fail.rhm" ... expected: exception rx_in '"is violated"' location...: verify_fail.rhm:100:0 context...: /home/root/user/.local/share/racket/9.3/pkgs/rhombus-lib/rhombus/private/check.rhm:206:0: check_same body of "/home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/tests/verify_fail.rhm" /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2 body of (submod "/home/root/... non-empty stderr shplait/liquid: z3 not found; refinement checking requires z3. Put it on PATH, or set the Z3 environment variable to its location (DrRacket started from the Finder does not see the shell's PATH, so start it from a terminal or set Z3) context...: /home/root/racket/collects/racket/private/promise.rkt:123:10 /home/root/racket/collects/racket/private/more-scheme.rkt:263:2: call-with-exception-handler /home/root/racket/collects/racket/private/promise.rkt:115:0: force/generic /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:1652:4 /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:1650:0: run-z3/once /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:1637:0: run-z3 /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:3100:10 /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:3097:8 /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:3013:0: verify-module** /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/verifier.rkt:2974:0: verify-module* /home/root/user/.local/share/racket/9.3/pkgs/liquid-shplait/shplait/liquid/refinements.rhm:298:2: run_checks /home/root/user/.local/share/racket/9.3/pkgs/shplait/private/core.rkt:62:8 .../private/parse-interp.rkt:654:50 /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:428:27 /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:430:0: call-with-summary /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:503:19 The time is now Mon, 12 Oct 2026 16:33:06 +0000