The time is now Sunday, June 15th, 2025 4:55:58pm
(/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: PLT_PKG_BUILD_SERVICE=1 /usr/bin/xvfb-run -n 1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 1 -u --auto esterel-redex && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 1 --timeout 180 --drdr --package esterel-redex)
Resolved "esterel-redex" via file:///home/root//catalogs/built/catalog
raco setup: version: 8.17.0.4
raco setup: platform: x86_64-linux-natipkg [cs]
raco setup: target machine: any
raco setup: cross-installation: yes
raco setup: installation name: 8.17.0.4
raco setup: variants: cs
raco setup: main collects: /home/root/racket/collects/
raco setup: collects paths: 
raco setup:   /home/root/user/.local/share/racket/8.17.0.4/collects
raco setup:   /home/root/racket/collects/
raco setup: main pkgs: /home/root/racket/share/pkgs
raco setup: pkgs paths: 
raco setup:   /home/root/racket/share/pkgs
raco setup:   /home/root//user/.local/share/racket/8.17.0.4/pkgs
raco setup: links files: 
raco setup:   /home/root/racket/share/links.rktd
raco setup:   /home/root//user/.local/share/racket/8.17.0.4/links.rktd
raco setup: compiled-file roots: 
raco setup:   /home/root//zo
raco setup:   same
raco setup: --- updating info-domain tables ---                    [21:56:05]
raco setup: --- pre-installing collections ---                     [21:56:05]
raco setup: --- installing foreign libraries ---                   [21:56:05]
raco setup: --- installing shared files ---                        [21:56:05]
raco setup: --- compiling collections ---                          [21:56:05]
raco setup: making: <pkgs>/esterel-redex/esterel
raco setup: making: <pkgs>/esterel-redex/esterel/agda
raco setup: making: <pkgs>/esterel-redex/esterel/redex
raco setup:  in <pkgs>/esterel-redex/esterel/redex
raco setup: --- creating launchers ---                             [21:56:18]
raco setup: --- installing man pages ---                           [21:56:18]
raco setup: --- building documentation ---                         [21:56:18]
raco setup: --- installing collections ---                         [21:56:19]
raco setup: --- post-installing collections ---                    [21:56:19]
raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/esterel-redex/esterel/redex/eval.rkt") test)
raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/esterel-redex/esterel/redex/helpers.rkt") test)
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/esterel-redex/esterel/redex/lang.rkt")
raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/esterel-redex/esterel/redex/must-can-hat.rkt") test)
raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/esterel-redex/esterel/redex/must-can.rkt") test)
raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/esterel-redex/esterel/redex/props.rkt") test)
props.rkt: racket test: #<<non-empty stderr
redex-check: <pkgs>/esterel-redex/esterel/redex/props.rkt:129
checking (p ⊃ (par (par pause pause) (< nothing nothing))) raises an exception
-->&-mc: judgment values do not match its contract (or invariant);
  contract: (-->&-mc e E S⊥ e E S⊥)
  values:   (-->&-mc (p ⊃ (par (par pause pause) (< nothing nothing))) (p = ⊥ ·) ⊥ (p ⊃ (par (par pause pause) ⊥)) (p = ⊥ ·) ⊥)
  context...:
   /home/root/racket/share/pkgs/redex-lib/redex/private/error.rkt:10:0: redex-error
   /home/root/racket/share/pkgs/redex-lib/redex/private/judgment-form.rkt:517:4: check-output-contract
   /home/root/racket/share/pkgs/redex-lib/redex/private/judgment-form.rkt:504:2: form-proc/cache
   /home/root/racket/share/pkgs/redex-lib/redex/private/judgment-form.rkt:486:0: call-judgment-form
   /home/root/user/.local/share/racket/8.17.0.4/pkgs/esterel-redex/esterel/redex/props.rkt:60:0: can-and-must-preserved-by-red&
   /home/root/racket/share/pkgs/redex-lib/redex/private/generate-term.rkt:484:21
   /home/root/racket/share/pkgs/redex-lib/redex/private/generate-term.rkt:436:0: check
   /home/root/racket/share/pkgs/redex-lib/redex/private/generate-term.rkt:409:0: check-one
   body of "/home/root/user/.local/share/racket/8.17.0.4/pkgs/esterel-redex/esterel/redex/props.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: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/esterel-redex/esterel/redex/red-and.rkt") test)
raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/esterel-redex/esterel/redex/red-hat.rkt") test)
raco test: (submod (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/esterel-redex/esterel/redex/red.rkt") test)
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/esterel-redex/esterel/redex/rules.scrbl")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/esterel-redex/esterel/redex/typeset.rkt")
raco test: (file "/home/root//user/.local/share/racket/8.17.0.4/pkgs/esterel-redex/info.rkt")
1/136 test failures
  73 /home/root//user/.local/share/racket/8.17.0.4/pkgs/esterel-redex/esterel/redex/helpers.rkt
  19 /home/root//user/.local/share/racket/8.17.0.4/pkgs/esterel-redex/esterel/redex/must-can.rkt
  15 /home/root//user/.local/share/racket/8.17.0.4/pkgs/esterel-redex/esterel/redex/red-and.rkt
  15 /home/root//user/.local/share/racket/8.17.0.4/pkgs/esterel-redex/esterel/redex/red.rkt
   6 /home/root//user/.local/share/racket/8.17.0.4/pkgs/esterel-redex/esterel/redex/eval.rkt
   4 /home/root//user/.local/share/racket/8.17.0.4/pkgs/esterel-redex/esterel/redex/red-hat.rkt
   3 /home/root//user/.local/share/racket/8.17.0.4/pkgs/esterel-redex/esterel/redex/must-can-hat.rkt
   0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/esterel-redex/esterel/redex/lang.rkt
   0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/esterel-redex/esterel/redex/rules.scrbl
   0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/esterel-redex/esterel/redex/typeset.rkt
   0 /home/root//user/.local/share/racket/8.17.0.4/pkgs/esterel-redex/info.rkt
1  1 /home/root//user/.local/share/racket/8.17.0.4/pkgs/esterel-redex/esterel/redex/props.rkt
The time is now Sunday, June 15th, 2025 4:57:57pm