The time is now Sun, 4 Oct 2026 18:52:15 -0500 (/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 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 1 -u --auto evm-redex && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 1 --drdr --package evm-redex) Resolved "evm-redex" via file:///home/root//catalogs/built/catalog 00: Resolved "rackcheck-lib" via file:///home/root//catalogs/built/catalog Resolved "rackcheck" via file:///home/root//catalogs/built/catalog The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of evm-redex: rackcheck-lib rackcheck raco setup: version: 9.3.0.10 raco setup: platform: aarch64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 9.3.0.10 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.0.10/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.0.10/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/9.3.0.10/links.rktd raco setup: compiled-file roots: raco setup: /home/root//zo raco setup: same raco setup: --- updating info-domain tables --- [23:52:17] raco setup: updating: /home/root/user/.local/share/racket/9.3.0.10/share/info-cache.rktd raco setup: --- pre-installing collections --- [23:52:17] raco setup: --- installing foreign libraries --- [23:52:17] raco setup: --- installing shared files --- [23:52:17] raco setup: --- compiling collections --- [23:52:17] raco setup: making: /evm-redex raco setup: in /evm-redex raco setup: in /evm-redex/asm raco setup: in /evm-redex/private raco setup: in /evm-redex/pbt raco setup: in /rackcheck-lib raco setup: in /rackcheck-lib/gen raco setup: in /evm-redex/sim raco setup: in /evm-redex/scribblings raco setup: in /evm-redex/tutorial raco setup: making: /evm-redex/asm raco setup: in /evm-redex/asm raco setup: making: /evm-redex/asm/lang raco setup: in /evm-redex/asm/lang raco setup: making: /evm-redex/html raco setup: making: /evm-redex/pbt raco setup: making: /evm-redex/private raco setup: making: /evm-redex/scribblings raco setup: making: /evm-redex/sim raco setup: in /evm-redex/sim raco setup: making: /evm-redex/sim/lang raco setup: in /evm-redex/sim/lang raco setup: making: /evm-redex/tutorial raco setup: in /evm-redex/tutorial raco setup: making: /evm-redex/tutorial/contracts raco setup: making: /rackcheck raco setup: in /rackcheck raco setup: in /rackcheck-lib raco setup: making: /rackcheck-lib raco setup: in /rackcheck-lib raco setup: making: /rackcheck-lib/gen raco setup: --- creating launchers --- [23:52:23] raco setup: --- installing man pages --- [23:52:23] raco setup: --- building documentation --- [23:52:23] raco setup: syncing: /evm-redex/doc/evm-redex raco setup: running: /racket-index/scribblings/main/user/family.scrbl raco setup: running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: syncing: /rackcheck/doc/rackcheck raco setup: running: /racket-index/scribblings/main/user/release.scrbl raco setup: running: /racket-index/scribblings/main/user/search.scrbl raco setup: running: /racket-index/scribblings/main/user/start.scrbl raco setup: syncing: /evm-redex/doc/tutorial-en raco setup: syncing: /evm-redex/doc/tutorial-pt raco setup: rendering: /racket-index/scribblings/main/user/family.scrbl raco setup: rendering: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: rendering: /racket-index/scribblings/main/user/release.scrbl raco setup: rendering: /racket-index/scribblings/main/user/search.scrbl raco setup: rendering: /racket-index/scribblings/main/user/start.scrbl raco setup: --- installing collections --- [23:52:26] raco setup: --- post-installing collections --- [23:52:26] raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/asm/assemble.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/asm/execute.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/asm/lang/reader.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/asm/opcodes.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/asm/parse.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/asm/runtime.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/asm.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/crypto.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/info.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/main.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/pbt/deploy.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/pbt/execute.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/pbt/gen.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/pbt/main.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/pbt/property.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/pbt/solc.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/pbt/vocab.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/pbt.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/private/bls-map-constants.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/private/bls.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/private/ec.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/private/fields.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/private/forks.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/private/gas.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/private/hashes.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/private/interpreter.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/private/keccak.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/private/lang.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/private/mem.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/private/mpt.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/private/native.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/private/pairing.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/private/precompiles.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/private/rlp.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/private/state.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/private/transaction.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/private/words.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/scribblings/asm.scrbl") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/scribblings/evm-redex.scrbl") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/scribblings/pbt.scrbl") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/scribblings/sim.scrbl") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/sim/abi.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/sim/block.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/sim/engine.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/sim/lang/reader.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/sim/parse.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/sim/receipt.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/sim/runtime.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/sim/state-root.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/sim/trace.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/sim.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/tutorial/auction.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/tutorial/ballot.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/tutorial/counter.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/tutorial/explore.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/tutorial/purchase.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/tutorial/token.rkt") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/tutorial/tutorial-en.scrbl") raco test: (file "/home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/tutorial/tutorial-pt.scrbl") 9 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/tutorial/purchase.rkt 8 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/tutorial/auction.rkt 7 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/tutorial/token.rkt 5 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/tutorial/counter.rkt 4 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/tutorial/ballot.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/asm/assemble.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/asm/execute.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/asm/lang/reader.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/asm/opcodes.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/asm/parse.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/asm/runtime.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/asm.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/crypto.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/info.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/main.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/pbt/deploy.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/pbt/execute.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/pbt/gen.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/pbt/main.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/pbt/property.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/pbt/solc.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/pbt/vocab.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/pbt.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/private/bls-map-constants.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/private/bls.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/private/ec.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/private/fields.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/private/forks.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/private/gas.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/private/hashes.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/private/interpreter.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/private/keccak.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/private/lang.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/private/mem.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/private/mpt.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/private/native.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/private/pairing.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/private/precompiles.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/private/rlp.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/private/state.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/private/transaction.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/private/words.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/scribblings/asm.scrbl 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/scribblings/evm-redex.scrbl 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/scribblings/pbt.scrbl 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/scribblings/sim.scrbl 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/sim/abi.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/sim/block.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/sim/engine.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/sim/lang/reader.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/sim/parse.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/sim/receipt.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/sim/runtime.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/sim/state-root.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/sim/trace.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/sim.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/tutorial/explore.rkt 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/tutorial/tutorial-en.scrbl 0 /home/root//user/.local/share/racket/9.3.0.10/pkgs/evm-redex/tutorial/tutorial-pt.scrbl 33 tests passed The time is now Sun, 4 Oct 2026 18:52:57 -0500