For information about the package build service, see https://pkg-build.racket-lang.org/about.html The time is now Mon, 24 Aug 2026 10:56:18 +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 evm-redex-tests && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 2 --drdr --package evm-redex-tests) Resolved "evm-redex-tests" via file:///home/root//catalogs/built/catalog 00: 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-tests: evm-redex rackcheck-lib rackcheck 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 --- [10:56:20] raco setup: updating: /home/root/user/.local/share/racket/9.3/share/info-cache.rktd raco setup: --- pre-installing collections --- [10:56:20] raco setup: --- installing foreign libraries --- [10:56:20] raco setup: --- installing shared files --- [10:56:20] raco setup: --- compiling collections --- [10:56:20] raco setup: --- parallel build using 2 jobs --- [10:56:20] raco setup: 1 making: /evm-redex raco setup: 0 making: /evm-redex-tests raco setup: 0 making: /evm-redex-tests/asm/examples raco setup: 0 making: /evm-redex-tests/blind-auction raco setup: 0 making: /evm-redex-tests/conformance raco setup: 0 making: /evm-redex-tests/coverage raco setup: 0 making: /evm-redex-tests/equivalence raco setup: 0 making: /evm-redex-tests/erc20 raco setup: 0 making: /evm-redex-tests/erc721 raco setup: 0 making: /evm-redex-tests/open-zeppelin/properties raco setup: 0 making: /evm-redex-tests/pbt raco setup: 1 making: /evm-redex/asm raco setup: 1 making: /evm-redex/asm/lang raco setup: 1 making: /evm-redex/pbt raco setup: 1 making: /evm-redex/private raco setup: 1 making: /evm-redex/sim raco setup: 1 making: /evm-redex/sim/lang raco setup: 1 making: /evm-redex/tutorial raco setup: 0 making: /evm-redex-tests/sim/examples raco setup: 0 making: /evm-redex-tests/storage raco setup: 0 making: /evm-redex-tests/unit raco setup: 1 making: /rackcheck raco setup: 1 making: /rackcheck-lib raco setup: 1 making: /rackcheck-lib/gen raco setup: 0 making: /evm-redex-tests/voting raco setup: 0 making: /evm-redex-tests/web3bugs/5-vader-asymmetric-share raco setup: 0 making: /evm-redex-tests/web3bugs/5-vader-lockunits raco setup: 0 making: /evm-redex-tests/web3bugs/6-beebots-free-mint raco setup: --- creating launchers --- [10:56:27] raco setup: --- installing man pages --- [10:56:27] raco setup: --- building documentation --- [10:56:27] raco setup: syncing: /evm-redex/doc/evm-redex raco setup: syncing: /rackcheck/doc/rackcheck raco setup: syncing: /evm-redex-tests/doc/testing raco setup: syncing: /evm-redex/doc/tutorial-en raco setup: syncing: /evm-redex/doc/tutorial-pt raco setup: 0 running: /racket-index/scribblings/main/user/family.scrbl raco setup: 0 running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 0 running: /racket-index/scribblings/main/user/release.scrbl raco setup: 1 running: /racket-index/scribblings/main/user/search.scrbl raco setup: 1 running: /racket-index/scribblings/main/user/start.scrbl raco setup: 1 rendering: /racket-index/scribblings/main/user/family.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 1 rendering: /racket-index/scribblings/main/user/release.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/search.scrbl raco setup: 1 rendering: /racket-index/scribblings/main/user/start.scrbl raco setup: --- installing collections --- [10:56:33] raco setup: --- post-installing collections --- [10:56:33] raco test: 0 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/asm/examples/arithmetic.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/asm/examples/calldata.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/asm/examples/loop.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/blind-auction/blind-auction-props.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/conformance/blockchain-harness.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/conformance/blockchain-test.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/conformance/conformance-test.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/conformance/harness.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/conformance/runner.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/coverage/coverage-demo.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/coverage/coverage.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/equivalence/equivalence.rkt") raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/equivalence/erc20-equivalence.rkt") test) raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/erc20/erc20-props.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/erc721/erc721-props.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/info.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/open-zeppelin/properties/AccessControl.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/open-zeppelin/properties/ERC1155.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/open-zeppelin/properties/ERC20.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/open-zeppelin/properties/ERC721.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/open-zeppelin/properties/Ownable.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/pbt/coverage-test.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/pbt/equivalence-test.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/pbt/pbt-test.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/scribblings/pbt-tutorial.scrbl") raco test: 0 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/scribblings/testing.scrbl") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/sim/examples/block.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/sim/examples/erc20.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/sim/examples/revert.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/storage/storage-props.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/unit/asm-examples-test.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/unit/asm-test.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/unit/exec-racket-test.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/unit/forks-test.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/unit/interp-test.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/unit/m13-test.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/unit/m2-test.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/unit/m3-test.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/unit/m4-test.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/unit/mpt-test.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/unit/precompiles-test.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/unit/sim-examples-test.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/unit/sim-test.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/unit/words-test.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/unit/zero-length-copy-test.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/voting/ballot-props.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/web3bugs/20-spartan-poolshareweight/props.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/web3bugs/5-vader-asymmetric-share/props.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/web3bugs/5-vader-liquidity-units/props.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/web3bugs/5-vader-lockunits/props.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/web3bugs/5-vether-addexcluded/props.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/web3bugs/6-beebots-free-mint/props.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/web3bugs/6-beebots-tradevalid/props.rkt") 40 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/unit/words-test.rkt 39 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/unit/zero-length-copy-test.rkt 38 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/unit/forks-test.rkt 29 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/pbt/pbt-test.rkt 23 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/unit/asm-test.rkt 23 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/unit/m2-test.rkt 18 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/unit/m4-test.rkt 15 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/unit/precompiles-test.rkt 15 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/unit/sim-test.rkt 14 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/unit/exec-racket-test.rkt 14 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/unit/interp-test.rkt 11 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/blind-auction/blind-auction-props.rkt 11 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/unit/m3-test.rkt 11 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/voting/ballot-props.rkt 10 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/pbt/coverage-test.rkt 9 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/erc721/erc721-props.rkt 8 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/erc20/erc20-props.rkt 8 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/open-zeppelin/properties/ERC20.rkt 8 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/unit/m13-test.rkt 7 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/coverage/coverage-demo.rkt 7 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/open-zeppelin/properties/ERC721.rkt 7 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/pbt/equivalence-test.rkt 7 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/web3bugs/5-vether-addexcluded/props.rkt 6 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/open-zeppelin/properties/AccessControl.rkt 6 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/open-zeppelin/properties/ERC1155.rkt 6 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/open-zeppelin/properties/Ownable.rkt 6 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/web3bugs/20-spartan-poolshareweight/props.rkt 6 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/web3bugs/6-beebots-tradevalid/props.rkt 5 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/equivalence/erc20-equivalence.rkt 5 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/storage/storage-props.rkt 5 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/web3bugs/5-vader-asymmetric-share/props.rkt 5 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/web3bugs/5-vader-liquidity-units/props.rkt 5 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/web3bugs/5-vader-lockunits/props.rkt 4 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/web3bugs/6-beebots-free-mint/props.rkt 3 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/unit/asm-examples-test.rkt 3 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/unit/mpt-test.rkt 3 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/unit/sim-examples-test.rkt 1 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/conformance/blockchain-test.rkt 1 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/conformance/conformance-test.rkt 0 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/asm/examples/arithmetic.rkt 0 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/asm/examples/calldata.rkt 0 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/asm/examples/loop.rkt 0 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/conformance/blockchain-harness.rkt 0 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/conformance/harness.rkt 0 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/conformance/runner.rkt 0 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/coverage/coverage.rkt 0 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/equivalence/equivalence.rkt 0 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/info.rkt 0 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/scribblings/pbt-tutorial.scrbl 0 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/scribblings/testing.scrbl 0 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/sim/examples/block.rkt 0 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/sim/examples/erc20.rkt 0 /home/root//user/.local/share/racket/9.3/pkgs/evm-redex-tests/sim/examples/revert.rkt 442 tests passed The time is now Mon, 24 Aug 2026 10:57:11 +0000