The time is now Sun, 4 Oct 2026 18:52:59 -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: PLTSTDOUT=debug@pkg info@GC:major /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 1 -u --auto evm-redex-tests) Resolved "evm-redex-tests" via file:///home/root//catalogs/archive/catalog pkg: catalog response: #hash((author . "rodrigogribeiro@gmail.com") (checksum . "ba3d04e69da6eb87a98b8585432fd0671ef9e2b4") (dependencies . (("base") ("evm-redex") ("rackunit-lib") ("rackcheck-lib") ("redex-lib") ("scribble-lib") ("racket-doc") ("redex-doc") ("rackcheck"))) (description . "Several examples of tests for Solidity contracts using evm-redex packages.") (modules . ((lib "evm-redex-tests/unit/sim-test.rkt") (lib "evm-redex-tests/sim/examples/revert.rkt") (lib "evm-redex-tests/unit/precompiles-test.rkt") (lib "evm-redex-tests/conformance/blockchain-test.rkt") (lib "evm-redex-tests/web3bugs/5-vader-lockunits/props.rkt") (lib "evm-redex-tests/open-zeppelin/properties/ERC20.rkt") (lib "evm-redex-tests/pbt/coverage-test.rkt") (lib "evm-redex-tests/asm/examples/arithmetic.rkt") (lib "evm-redex-tests/voting/ballot-props.rkt") (lib "evm-redex-tests/asm/examples/loop.rkt") (lib "evm-redex-tests/pbt/equivalence-test.rkt") (lib "evm-redex-tests/pbt/pbt-test.rkt") (lib "evm-redex-tests/unit/forks-test.rkt") (lib "evm-redex-tests/web3bugs/6-beebots-free-mint/props.rkt") (lib "evm-redex-tests/coverage/coverage.rkt") (lib "evm-redex-tests/unit/zero-length-copy-test.rkt") (lib "evm-redex-tests/erc721/erc721-props.rkt") (lib "evm-redex-tests/unit/asm-test.rkt") (lib "evm-redex-tests/erc20/erc20-props.rkt") (lib "evm-redex-tests/conformance/runner.rkt") (lib "evm-redex-tests/asm/examples/calldata.rkt") (lib "evm-redex-tests/conformance/blockchain-harness.rkt") (lib "evm-redex-tests/storage/storage-props.rkt") (lib "evm-redex-tests/web3bugs/5-vader-asymmetric-share/props.rkt") (lib "evm-redex-tests/open-zeppelin/properties/ERC721.rkt") (lib "evm-redex-tests/unit/interp-test.rkt") (lib "evm-redex-tests/web3bugs/5-vader-liquidity-units/props.rkt") (lib "evm-redex-tests/scribblings/testing.scrbl") (lib "evm-redex-tests/sim/examples/block.rkt") (lib "evm-redex-tests/unit/m4-test.rkt") (lib "evm-redex-tests/unit/m3-test.rkt") (lib "evm-redex-tests/unit/m2-test.rkt") (lib "evm-redex-tests/unit/sim-examples-test.rkt") (lib "evm-redex-tests/web3bugs/6-beebots-tradevalid/props.rkt") (lib "evm-redex-tests/coverage/coverage-demo.rkt") (lib "evm-redex-tests/web3bugs/20-spartan-poolshareweight/props.rkt") (lib "evm-redex-tests/equivalence/equivalence.rkt") (lib "evm-redex-tests/unit/m13-test.rkt") (lib "evm-redex-tests/unit/mpt-test.rkt") (lib "evm-redex-tests/open-zeppelin/properties/ERC1155.rkt") (lib "evm-redex-tests/unit/words-test.rkt") (lib "evm-redex-tests/blind-auction/blind-auction-props.rkt") (lib "evm-redex-tests/open-zeppelin/properties/AccessControl.rkt") (lib "evm-redex-tests/web3bugs/5-vether-addexcluded/props.rkt") (lib "evm-redex-tests/conformance/conformance-test.rkt") (lib "evm-redex-tests/unit/exec-racket-test.rkt") (lib "evm-redex-tests/scribblings/pbt-tutorial.scrbl") (lib "evm-redex-tests/unit/asm-examples-test.rkt") (lib "evm-redex-tests/open-zeppelin/properties/Ownable.rkt") (lib "evm-redex-tests/conformance/harness.rkt") (lib "evm-redex-tests/sim/examples/erc20.rkt") (lib "evm-redex-tests/equivalence/erc20-equivalence.rkt"))) (name . "evm-redex-tests") (ring . 1) (source . "file:///home/root/catalogs/archive/pkgs/evm-redex-tests.zip") (tags . ("evm" "testing"))) 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 pkg: catalog response: #hash((author . "rodrigogribeiro@gmail.com") (checksum . "9ca588d144c12b2864f414c57ffe0eceadb2f9aa") (dependencies . (("base") ("redex-lib") ("rackcheck-lib") ("rackunit-lib") ("scribble-lib") ("racket-doc") ("redex-doc") ("rackcheck") ("rackunit-doc"))) (description . "evm-redex models the EVM as a formal small-step semantics (a Redex reduction relation over an explicit machine/world/transaction grammar) and runs that semantics directly against the official Ethereum test vectors. It is derived from ethereum/execution-specs and validated against ethereum/tests.") (modules . ((lib "evm-redex/asm/opcodes.rkt") (lib "evm-redex/private/ec.rkt") (lib "evm-redex/private/forks.rkt") (lib "evm-redex/sim/runtime.rkt") (lib "evm-redex/scribblings/sim.scrbl") (lib "evm-redex/sim.rkt") (lib "evm-redex/pbt/deploy.rkt") (lib "evm-redex/private/lang.rkt") (lib "evm-redex/private/words.rkt") (lib "evm-redex/sim/trace.rkt") (lib "evm-redex/main.rkt") (lib "evm-redex/private/keccak.rkt") (lib "evm-redex/pbt/vocab.rkt") (lib "evm-redex/sim/engine.rkt") (lib "evm-redex/private/pairing.rkt") (lib "evm-redex/private/state.rkt") (lib "evm-redex/private/mem.rkt") (lib "evm-redex/private/mpt.rkt") (lib "evm-redex/private/fields.rkt") (lib "evm-redex/sim/state-root.rkt") (lib "evm-redex/tutorial/explore.rkt") (lib "evm-redex/tutorial/counter.rkt") (lib "evm-redex/private/native.rkt") (lib "evm-redex/private/bls-map-constants.rkt") (lib "evm-redex/tutorial/tutorial-en.scrbl") (lib "evm-redex/tutorial/ballot.rkt") (lib "evm-redex/private/interpreter.rkt") (lib "evm-redex/sim/block.rkt") (lib "evm-redex/pbt/solc.rkt") (lib "evm-redex/sim/abi.rkt") (lib "evm-redex/pbt/execute.rkt") (lib "evm-redex/private/rlp.rkt") (lib "evm-redex/asm/runtime.rkt") (lib "evm-redex/private/bls.rkt") (lib "evm-redex/scribblings/evm-redex.scrbl") (lib "evm-redex/tutorial/tutorial-pt.scrbl") (lib "evm-redex/pbt/gen.rkt") (lib "evm-redex/pbt.rkt") (lib "evm-redex/scribblings/pbt.scrbl") (lib "evm-redex/sim/receipt.rkt") (lib "evm-redex/asm/lang/reader.rkt") (lib "evm-redex/scribblings/asm.scrbl") (lib "evm-redex/crypto.rkt") (lib "evm-redex/private/transaction.rkt") (lib "evm-redex/asm/assemble.rkt") (lib "evm-redex/pbt/property.rkt") (lib "evm-redex/tutorial/purchase.rkt") (lib "evm-redex/tutorial/auction.rkt") (lib "evm-redex/sim/lang/reader.rkt") (lib "evm-redex/sim/parse.rkt") (lib "evm-redex/asm/execute.rkt") (lib "evm-redex/pbt/main.rkt") (lib "evm-redex/private/gas.rkt") (lib "evm-redex/asm/parse.rkt") (lib "evm-redex/tutorial/token.rkt") (lib "evm-redex/asm.rkt") (lib "evm-redex/private/precompiles.rkt") (lib "evm-redex/private/hashes.rkt"))) (name . "evm-redex") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/evm-redex.zip") (tags . ("EVM" "semantics"))) pkg: catalog response: #hash((author . "bogdan@defn.io") (checksum . "e52e3c976b037d4aa851a12c7ddd1ec9c337c2f2") (dependencies . (("base") ("rackunit-lib") ("rackunit-lib"))) (description . "A property-based testing library with shrinking support. (implementation)") (modules . ((lib "rackcheck/prop.rkt") (lib "rackcheck/gen/shrink-tree.rkt") (lib "rackcheck/gen/base.rkt") (lib "rackcheck/gen/core.rkt") (lib "rackcheck/gen/syntax.rkt") (lib "rackcheck/gen/unicode.rkt") (lib "rackcheck/main.rkt") (lib "rackcheck/shrink-tree.rkt") (lib "rackcheck/rackunit.rkt"))) (name . "rackcheck-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/rackcheck-lib.zip") (tags . ("quickcheck" "testing"))) pkg: catalog response: #hash((author . "bogdan@defn.io") (checksum . "40d304dd471077a0a8d9a5bba4d6dc4cd14c5fb5") (dependencies . (("base") ("rackcheck-lib") ("racket-doc") ("rackunit-doc") ("rackunit-lib") ("scribble-lib"))) (description . "A property-based testing library with shrinking support.") (modules . ((lib "rackcheck/rackcheck.scrbl"))) (name . "rackcheck") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/rackcheck.zip") (tags . ("quickcheck" "testing"))) pkg: creating single-collection link to # pkg: updating db with "evm-redex" to '#s((sc-pkg-info pkg-info 3) (catalog "evm-redex") "9ca588d144c12b2864f414c57ffe0eceadb2f9aa" #t "evm-redex") pkg: creating single-collection link to # pkg: updating db with "rackcheck-lib" to '#s((sc-pkg-info pkg-info 3) (catalog "rackcheck-lib") "e52e3c976b037d4aa851a12c7ddd1ec9c337c2f2" #t "rackcheck") pkg: creating single-collection link to # pkg: updating db with "rackcheck" to '#s((sc-pkg-info pkg-info 3) (catalog "rackcheck") "40d304dd471077a0a8d9a5bba4d6dc4cd14c5fb5" #t "rackcheck") pkg: creating single-collection link to # pkg: updating db with "evm-redex-tests" to '#s((sc-pkg-info pkg-info 3) (catalog "evm-redex-tests") "ba3d04e69da6eb87a98b8585432fd0671ef9e2b4" #f "evm-redex-tests") 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.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:53:01] raco setup: updating: /home/root/user/.local/share/racket/9.3.0.10/share/info-cache.rktd raco setup: --- pre-installing collections --- [23:53:01] raco setup: --- installing foreign libraries --- [23:53:01] raco setup: --- installing shared files --- [23:53:01] raco setup: --- compiling collections --- [23:53:01] 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-tests raco setup: in /evm-redex-tests raco setup: in /evm-redex-tests/scribblings raco setup: in /evm-redex-tests/equivalence raco setup: in /evm-redex-tests/coverage raco setup: making: /evm-redex-tests/asm raco setup: making: /evm-redex-tests/asm/examples raco setup: in /evm-redex-tests/asm/examples raco setup: in /evm-redex/asm/lang raco setup: in /evm-redex/asm raco setup: making: /evm-redex-tests/blind-auction raco setup: in /evm-redex-tests/blind-auction raco setup: making: /evm-redex-tests/conformance raco setup: in /evm-redex-tests/conformance raco setup: making: /evm-redex-tests/conformance/blockchain-fixtures raco setup: making: /evm-redex-tests/conformance/fixtures raco setup: making: /evm-redex-tests/conformance/fixtures/stCodeCopyTest raco setup: making: /evm-redex-tests/conformance/fixtures/stCreateTest raco setup: making: /evm-redex-tests/conformance/fixtures/stEIP1559 raco setup: making: /evm-redex-tests/conformance/fixtures/stEIP2930 raco setup: making: /evm-redex-tests/conformance/fixtures/stExample raco setup: making: /evm-redex-tests/conformance/fixtures/stLogTests raco setup: making: /evm-redex-tests/conformance/fixtures/stRefundTest raco setup: making: /evm-redex-tests/conformance/fixtures/stReturnDataTest raco setup: making: /evm-redex-tests/conformance/fixtures/stSStoreTest raco setup: making: /evm-redex-tests/conformance/fixtures/stSelfBalance raco setup: making: /evm-redex-tests/conformance/fixtures/stTransactionTest raco setup: making: /evm-redex-tests/conformance/fixtures/stZeroCallsTest raco setup: making: /evm-redex-tests/conformance/fixtures/stZeroKnowledge raco setup: making: /evm-redex-tests/coverage raco setup: in /evm-redex-tests/coverage raco setup: making: /evm-redex-tests/coverage/contracts raco setup: making: /evm-redex-tests/equivalence raco setup: in /evm-redex-tests/equivalence raco setup: making: /evm-redex-tests/equivalence/contracts raco setup: making: /evm-redex-tests/erc20 raco setup: in /evm-redex-tests/erc20 raco setup: making: /evm-redex-tests/erc20/solidity raco setup: making: /evm-redex-tests/erc721 raco setup: in /evm-redex-tests/erc721 raco setup: making: /evm-redex-tests/erc721/solidity raco setup: making: /evm-redex-tests/html raco setup: making: /evm-redex-tests/open-zeppelin raco setup: making: /evm-redex-tests/open-zeppelin/access raco setup: making: /evm-redex-tests/open-zeppelin/access/mocks raco setup: making: /evm-redex-tests/open-zeppelin/interfaces raco setup: making: /evm-redex-tests/open-zeppelin/properties raco setup: in /evm-redex-tests/open-zeppelin/properties raco setup: making: /evm-redex-tests/open-zeppelin/token raco setup: making: /evm-redex-tests/open-zeppelin/token/ERC1155 raco setup: making: /evm-redex-tests/open-zeppelin/token/ERC1155/extensions raco setup: making: /evm-redex-tests/open-zeppelin/token/ERC1155/mocks raco setup: making: /evm-redex-tests/open-zeppelin/token/ERC1155/utils raco setup: making: /evm-redex-tests/open-zeppelin/token/ERC20 raco setup: making: /evm-redex-tests/open-zeppelin/token/ERC20/extensions raco setup: making: /evm-redex-tests/open-zeppelin/token/ERC20/mocks raco setup: making: /evm-redex-tests/open-zeppelin/token/ERC721 raco setup: making: /evm-redex-tests/open-zeppelin/token/ERC721/extensions raco setup: making: /evm-redex-tests/open-zeppelin/token/ERC721/mocks raco setup: making: /evm-redex-tests/open-zeppelin/token/ERC721/utils raco setup: making: /evm-redex-tests/open-zeppelin/utils raco setup: making: /evm-redex-tests/open-zeppelin/utils/introspection raco setup: making: /evm-redex-tests/open-zeppelin/utils/math raco setup: making: /evm-redex-tests/pbt raco setup: in /evm-redex-tests/pbt raco setup: making: /evm-redex-tests/scribblings raco setup: making: /evm-redex-tests/sim raco setup: making: /evm-redex-tests/sim/examples raco setup: in /evm-redex-tests/sim/examples raco setup: in /evm-redex/sim/lang raco setup: in /evm-redex/sim raco setup: making: /evm-redex-tests/storage raco setup: in /evm-redex-tests/storage raco setup: making: /evm-redex-tests/unit raco setup: in /evm-redex-tests/unit raco setup: making: /evm-redex-tests/voting raco setup: in /evm-redex-tests/voting raco setup: making: /evm-redex-tests/web3bugs raco setup: making: /evm-redex-tests/web3bugs/20-spartan-poolshareweight raco setup: in /evm-redex-tests/web3bugs/20-spartan-poolshareweight raco setup: making: /evm-redex-tests/web3bugs/5-vader-asymmetric-share raco setup: in /evm-redex-tests/web3bugs/5-vader-asymmetric-share raco setup: making: /evm-redex-tests/web3bugs/5-vader-liquidity-units raco setup: in /evm-redex-tests/web3bugs/5-vader-liquidity-units raco setup: making: /evm-redex-tests/web3bugs/5-vader-lockunits raco setup: in /evm-redex-tests/web3bugs/5-vader-lockunits raco setup: making: /evm-redex-tests/web3bugs/5-vader-lockunits/interfaces raco setup: making: /evm-redex-tests/web3bugs/5-vether-addexcluded raco setup: in /evm-redex-tests/web3bugs/5-vether-addexcluded raco setup: making: /evm-redex-tests/web3bugs/5-vether-addexcluded/interfaces raco setup: making: /evm-redex-tests/web3bugs/6-beebots-free-mint raco setup: in /evm-redex-tests/web3bugs/6-beebots-free-mint raco setup: making: /evm-redex-tests/web3bugs/6-beebots-tradevalid raco setup: in /evm-redex-tests/web3bugs/6-beebots-tradevalid raco setup: making: /evm-redex/asm raco setup: making: /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: making: /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:53:26] raco setup: --- installing man pages --- [23:53:26] raco setup: --- building documentation --- [23:53:26] 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: running: /evm-redex-tests/scribblings/testing.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: rendering: /evm-redex-tests/scribblings/testing.scrbl raco setup: --- installing collections --- [23:53:32] raco setup: --- post-installing collections --- [23:53:32] GC: 0:atexit peak 234,186K(+83,481K); alloc 16,765,652K; major 56; minor 2007; 9929ms The time is now Sun, 4 Oct 2026 18:53:32 -0500