2026-07-31T02:33:40,473 Created temporary directory: /tmp/pip-ephem-wheel-cache-nqssrlwe 2026-07-31T02:33:40,475 Created temporary directory: /tmp/pip-build-tracker-x9tjwrhv 2026-07-31T02:33:40,476 Initialized build tracking at /tmp/pip-build-tracker-x9tjwrhv 2026-07-31T02:33:40,476 Created build tracker: /tmp/pip-build-tracker-x9tjwrhv 2026-07-31T02:33:40,477 Entered build tracker: /tmp/pip-build-tracker-x9tjwrhv 2026-07-31T02:33:40,477 Created temporary directory: /tmp/pip-wheel-269npiz4 2026-07-31T02:33:40,481 DEPRECATION: --no-binary currently disables reading from the cache of locally built wheels. In the future --no-binary will not influence the wheel cache. pip 23.1 will enforce this behaviour change. A possible replacement is to use the --no-cache-dir option. You can use the flag --use-feature=no-binary-enable-wheel-cache to test the upcoming behaviour. Discussion can be found at https://github.com/pypa/pip/issues/11453 2026-07-31T02:33:40,483 Created temporary directory: /tmp/pip-ephem-wheel-cache-g53lqec_ 2026-07-31T02:33:40,505 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2026-07-31T02:33:40,508 2 location(s) to search for versions of certora-cli-alpha-master: 2026-07-31T02:33:40,508 * https://pypi.org/simple/certora-cli-alpha-master/ 2026-07-31T02:33:40,508 * https://www.piwheels.org/simple/certora-cli-alpha-master/ 2026-07-31T02:33:40,509 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-master/ 2026-07-31T02:33:40,510 Getting page https://pypi.org/simple/certora-cli-alpha-master/ 2026-07-31T02:33:40,511 Found index url https://pypi.org/simple 2026-07-31T02:33:40,751 Fetched page https://pypi.org/simple/certora-cli-alpha-master/ as application/vnd.pypi.simple.v1+json 2026-07-31T02:33:40,758 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/95/7c/cbc4193cb54147ec700878c62908e764d1a44499011aaf18ad4e32c94684/certora_cli_alpha_master-20260715.6.8.146347-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-31T02:33:40,759 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/2d/b2/ffed5f0a6dd0bea599910aa3c1b4c80ddda7925279a335c77b4fff66fd30/certora_cli_alpha_master-20260715.6.8.146347-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-31T02:33:40,760 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/cc/98/abb95aabd27bc48e5177e6728e4a08346e7662a2607fbb07026d7fdb14cf/certora_cli_alpha_master-20260715.6.8.146347-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-31T02:33:40,761 Found link https://files.pythonhosted.org/packages/1a/4e/eecc3fc4136977e849f50aac5cea73aa8f2696dd1eeea8a170b9dea2dd80/certora_cli_alpha_master-20260715.6.8.146347.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260715.6.8.146347 2026-07-31T02:33:40,762 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ee/ce/370691f153d969eac1203cc52c1826b780d48adeee2ef5c9c15b1e8a1177/certora_cli_alpha_master-20260715.6.46.85716-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-31T02:33:40,762 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6b/09/0f40d43671128a09007501ed11adce51aff23ee45ab2d36e4dea290735b0/certora_cli_alpha_master-20260715.6.46.85716-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-31T02:33:40,763 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/be/2f/3ddf62c230dde2698deb86266f086f7cb247f9557fcc0be287d51a152adf/certora_cli_alpha_master-20260715.6.46.85716-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-31T02:33:40,764 Found link https://files.pythonhosted.org/packages/ae/47/92ff1d04703a3fefe2a8c07f31af5a752a5f00e202e7a79249b20db34849/certora_cli_alpha_master-20260715.6.46.85716.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260715.6.46.85716 2026-07-31T02:33:40,764 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/4f/6b/2569a8f1d82cbcd3038c545f25c800141369995d7995f551d7133b217568/certora_cli_alpha_master-20260715.7.22.20117-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-31T02:33:40,765 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/3f/b4/2e74e85acaa011eef6259fe7644b482003f1e5be34fd4d4a694666c6d144/certora_cli_alpha_master-20260715.7.22.20117-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-31T02:33:40,765 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/79/bc/bab92aa4406caf5b774475f5dd02d30f9d04ec3be03c00122c7540f1813f/certora_cli_alpha_master-20260715.7.22.20117-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-31T02:33:40,766 Found link https://files.pythonhosted.org/packages/6c/64/0d21f6742adacc20e896f4980569e5fae72049296df8a1d69c40c4f137f5/certora_cli_alpha_master-20260715.7.22.20117.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260715.7.22.20117 2026-07-31T02:33:40,767 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f7/91/f1a624e94d2c8bc335f240c94cc60316449abed4a082e0dc026dfffb1c02/certora_cli_alpha_master-20260716.12.45.435886-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-31T02:33:40,767 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ba/3c/cc215a11d72ba4d2e2930f1cb54477fd9fda8847dc770350253d17cd6885/certora_cli_alpha_master-20260716.12.45.435886-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-31T02:33:40,768 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/57/83/2b159fff3ba9528936826c35ff5c2263bca5e62115e10b3b08449d2fca15/certora_cli_alpha_master-20260716.12.45.435886-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-31T02:33:40,769 Found link https://files.pythonhosted.org/packages/fe/f1/bd0ee3d0e883b44f7e8b9c06f6ccf14d360ceb609f587a6fba6b8ebb2c43/certora_cli_alpha_master-20260716.12.45.435886.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260716.12.45.435886 2026-07-31T02:33:40,769 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/9c/37/aaf262dff00ea9dd996478497cb630d05f32168994c54594ad1ecdb30fb6/certora_cli_alpha_master-20260716.14.2.9049-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-31T02:33:40,770 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/3e/01/2ff3d9c3b78d1b4b8fad28cfc851090ade9dc2731eed928510b99af2d563/certora_cli_alpha_master-20260716.14.2.9049-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-31T02:33:40,770 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/82/1e/af7142fb33494e3102f45cb6fff8991edb2872ee01b652ba4049e8265e5f/certora_cli_alpha_master-20260716.14.2.9049-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-31T02:33:40,771 Found link https://files.pythonhosted.org/packages/5e/0a/b2484aa492b0492bc45ed98094857e26555f7a1a5be5f715d130a313b065/certora_cli_alpha_master-20260716.14.2.9049.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260716.14.2.9049 2026-07-31T02:33:40,772 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/16/c8/2a26a3d4f2568f29577e36757296171e3fc585182b3335f929bf2066ffa8/certora_cli_alpha_master-20260716.17.27.262642-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-31T02:33:40,773 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/9e/91/d1b33e9d2ed8dea3db27f6872081db57891f8eff82a601b4e4692bcd823f/certora_cli_alpha_master-20260716.17.27.262642-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-31T02:33:40,773 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/3e/d0/2b5ecfd4c9492fe728578ccd09727236f18abdcb85dbdfa460c2e2fc0d21/certora_cli_alpha_master-20260716.17.27.262642-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-31T02:33:40,774 Found link https://files.pythonhosted.org/packages/ca/ad/077dabb866f62a6502c979eb9d1b008d9e2c51ae7e90206c3ba5126bab3c/certora_cli_alpha_master-20260716.17.27.262642.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260716.17.27.262642 2026-07-31T02:33:40,774 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c8/b2/3247bb6071cf9310ce04a6511ef8611fba688df70aa9b30bc070a138206e/certora_cli_alpha_master-20260722.7.0.82332-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-31T02:33:40,775 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/4d/97/ab10bc0d9a5d3369fe158558e784709f00670b83b333ddcc7619ffc615ef/certora_cli_alpha_master-20260722.7.0.82332-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-31T02:33:40,776 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/07/36/2b93ed34023c456ab2634299f4fbdd14cdecc10a9d06c0593c09f57b230c/certora_cli_alpha_master-20260722.7.0.82332-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-31T02:33:40,777 Found link https://files.pythonhosted.org/packages/78/70/8b27fdc16da2c03ed27db2606e70eae88a5fa8e6560d8a43bbecadec2bf5/certora_cli_alpha_master-20260722.7.0.82332.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260722.7.0.82332 2026-07-31T02:33:40,777 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6a/09/4e939ee69cb46db031bb269a97b64063597ac9d34889d20d4a303462027b/certora_cli_alpha_master-20260729.17.57.786085-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-31T02:33:40,778 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/21/36/97f04bca887e2e13b065177ee5a2b8d6d47f1ed73de909b5e9038f3529ad/certora_cli_alpha_master-20260729.17.57.786085-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-31T02:33:40,778 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b9/f0/be9a77032b0a9df8fa6fbf48e5edb4ac13d5f3ff1ebcb9cacdad438d1b5c/certora_cli_alpha_master-20260729.17.57.786085-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-31T02:33:40,779 Found link https://files.pythonhosted.org/packages/a4/9c/96728191b076f26887ff27a27fc12912d0ecd8e25db13529af25477a9e74/certora_cli_alpha_master-20260729.17.57.786085.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260729.17.57.786085 2026-07-31T02:33:40,780 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/9d/08/cbf1099db6f86e5504481c54e5c370a9fe0f873e5d0deca7c822a862c49d/certora_cli_alpha_master-20260730.18.17.393057-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-31T02:33:40,781 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b9/d7/71824819bac0b3b651e03c56bcdf3898e39c12eb31206a8db521e57a397e/certora_cli_alpha_master-20260730.18.17.393057-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-31T02:33:40,781 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f1/bd/577141cdd7308a7418266c811137a85d45aaf8830cd184d93c38315471b3/certora_cli_alpha_master-20260730.18.17.393057-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-31T02:33:40,782 Found link https://files.pythonhosted.org/packages/bb/80/10dcb85085ea0487e4226c06a6aedfc300275e7c1f3504ba1928fcc971f0/certora_cli_alpha_master-20260730.18.17.393057.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260730.18.17.393057 2026-07-31T02:33:40,783 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-master/ 2026-07-31T02:33:40,784 Getting page https://www.piwheels.org/simple/certora-cli-alpha-master/ 2026-07-31T02:33:40,785 Found index url https://www.piwheels.org/simple 2026-07-31T02:33:40,989 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-master/ as text/html 2026-07-31T02:33:40,992 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260729.17.57.786085-py3-none-any.whl#sha256=c627956b371fdd6dc5c7e43e56a413bf535724a10d823a2af2f549a6794ba229 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-31T02:33:40,993 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260722.7.0.82332-py3-none-any.whl#sha256=2ffddd7ffd68fed47fe96afde7bba33ad2ff351e01f37802ec981f8795d39c92 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-31T02:33:40,994 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260716.17.27.262642-py3-none-any.whl#sha256=a8512ab5706237cbdf2d53f45dc776514f94d9f8bacb554f2b7ec474b774c9d4 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-31T02:33:40,994 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260716.14.2.9049-py3-none-any.whl#sha256=6e9d33b816af5aefbb98a2302bad238461892e4838ba35fc8cbdc93426ab7f19 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-31T02:33:40,995 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260716.12.45.435886-py3-none-any.whl#sha256=ed116f6164127976e6252b4a8adc43b239cf63432761dc47dcddb775d7adebdb (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-31T02:33:40,995 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260715.7.22.20117-py3-none-any.whl#sha256=8125cf8d0056a9a09a1aa1d151e5a00ca3bf9076b8d7eb621306c97de9c67f6b (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-31T02:33:40,996 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260715.6.46.85716-py3-none-any.whl#sha256=c820011dee5c36644cac85c0ce94d2f3a0a95a1c9d8091a5ab97c03b383f6582 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-31T02:33:40,997 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260715.6.8.146347-py3-none-any.whl#sha256=bec01ba44ec8d882244f5377872fb0033c69618fdb36a35781a681f08f99c8ca (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-31T02:33:40,997 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-master/ 2026-07-31T02:33:40,998 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-master/ 2026-07-31T02:33:41,019 Given no hashes to check 1 links for project 'certora-cli-alpha-master': discarding no candidates 2026-07-31T02:33:41,038 Collecting certora-cli-alpha-master==20260730.18.17.393057 2026-07-31T02:33:41,040 Created temporary directory: /tmp/pip-unpack-slzks5ue 2026-07-31T02:33:41,202 Downloading certora_cli_alpha_master-20260730.18.17.393057.tar.gz (43.3 MB) 2026-07-31T02:33:46,218 Added certora-cli-alpha-master==20260730.18.17.393057 from https://files.pythonhosted.org/packages/bb/80/10dcb85085ea0487e4226c06a6aedfc300275e7c1f3504ba1928fcc971f0/certora_cli_alpha_master-20260730.18.17.393057.tar.gz to build tracker '/tmp/pip-build-tracker-x9tjwrhv' 2026-07-31T02:33:46,220 Running setup.py (path:/tmp/pip-wheel-269npiz4/certora-cli-alpha-master_45ba4083b5d04cffaae73d32acdb5b44/setup.py) egg_info for package certora-cli-alpha-master 2026-07-31T02:33:46,221 Created temporary directory: /tmp/pip-pip-egg-info-j71lwldn 2026-07-31T02:33:46,221 Preparing metadata (setup.py): started 2026-07-31T02:33:46,223 Running command python setup.py egg_info 2026-07-31T02:33:47,108 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:765: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2026-07-31T02:33:47,108 !! 2026-07-31T02:33:47,109 ******************************************************************************** 2026-07-31T02:33:47,110 Please consider removing the following classifiers in favor of a SPDX license expression: 2026-07-31T02:33:47,111 License :: OSI Approved :: GNU General Public License v3 (GPLv3) 2026-07-31T02:33:47,112 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2026-07-31T02:33:47,113 ******************************************************************************** 2026-07-31T02:33:47,114 !! 2026-07-31T02:33:47,115 self._finalize_license_expression() 2026-07-31T02:33:47,140 running egg_info 2026-07-31T02:33:47,171 creating /tmp/pip-pip-egg-info-j71lwldn/certora_cli_alpha_master.egg-info 2026-07-31T02:33:47,172 writing /tmp/pip-pip-egg-info-j71lwldn/certora_cli_alpha_master.egg-info/PKG-INFO 2026-07-31T02:33:47,176 writing dependency_links to /tmp/pip-pip-egg-info-j71lwldn/certora_cli_alpha_master.egg-info/dependency_links.txt 2026-07-31T02:33:47,177 writing entry points to /tmp/pip-pip-egg-info-j71lwldn/certora_cli_alpha_master.egg-info/entry_points.txt 2026-07-31T02:33:47,179 writing requirements to /tmp/pip-pip-egg-info-j71lwldn/certora_cli_alpha_master.egg-info/requires.txt 2026-07-31T02:33:47,180 writing top-level names to /tmp/pip-pip-egg-info-j71lwldn/certora_cli_alpha_master.egg-info/top_level.txt 2026-07-31T02:33:47,182 writing manifest file '/tmp/pip-pip-egg-info-j71lwldn/certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-07-31T02:33:47,506 reading manifest file '/tmp/pip-pip-egg-info-j71lwldn/certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-07-31T02:33:47,507 reading manifest template 'MANIFEST.in' 2026-07-31T02:33:47,512 warning: no files found matching 'gambit' under directory 'certora_bins' 2026-07-31T02:33:47,836 adding license file 'LICENSE' 2026-07-31T02:33:47,841 writing manifest file '/tmp/pip-pip-egg-info-j71lwldn/certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-07-31T02:33:47,950 Preparing metadata (setup.py): finished with status 'done' 2026-07-31T02:33:47,954 Source in /tmp/pip-wheel-269npiz4/certora-cli-alpha-master_45ba4083b5d04cffaae73d32acdb5b44 has version 20260730.18.17.393057, which satisfies requirement certora-cli-alpha-master==20260730.18.17.393057 from https://files.pythonhosted.org/packages/bb/80/10dcb85085ea0487e4226c06a6aedfc300275e7c1f3504ba1928fcc971f0/certora_cli_alpha_master-20260730.18.17.393057.tar.gz 2026-07-31T02:33:47,955 Removed certora-cli-alpha-master==20260730.18.17.393057 from https://files.pythonhosted.org/packages/bb/80/10dcb85085ea0487e4226c06a6aedfc300275e7c1f3504ba1928fcc971f0/certora_cli_alpha_master-20260730.18.17.393057.tar.gz from build tracker '/tmp/pip-build-tracker-x9tjwrhv' 2026-07-31T02:33:47,961 Created temporary directory: /tmp/pip-unpack-g34zx0_q 2026-07-31T02:33:47,961 Building wheels for collected packages: certora-cli-alpha-master 2026-07-31T02:33:47,965 Created temporary directory: /tmp/pip-wheel-qc75apgu 2026-07-31T02:33:47,966 Building wheel for certora-cli-alpha-master (setup.py): started 2026-07-31T02:33:47,967 Destination directory: /tmp/pip-wheel-qc75apgu 2026-07-31T02:33:47,968 Running command python setup.py bdist_wheel 2026-07-31T02:33:48,838 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:765: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2026-07-31T02:33:48,838 !! 2026-07-31T02:33:48,840 ******************************************************************************** 2026-07-31T02:33:48,840 Please consider removing the following classifiers in favor of a SPDX license expression: 2026-07-31T02:33:48,841 License :: OSI Approved :: GNU General Public License v3 (GPLv3) 2026-07-31T02:33:48,843 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2026-07-31T02:33:48,843 ******************************************************************************** 2026-07-31T02:33:48,845 !! 2026-07-31T02:33:48,846 self._finalize_license_expression() 2026-07-31T02:33:48,846 running bdist_wheel 2026-07-31T02:33:48,981 running build 2026-07-31T02:33:48,982 running build_py 2026-07-31T02:33:49,010 creating build/lib/certora_bins 2026-07-31T02:33:49,012 copying certora_bins/__init__.py -> build/lib/certora_bins 2026-07-31T02:33:49,015 creating build/lib/certora_cli 2026-07-31T02:33:49,016 copying certora_cli/certoraRanger.py -> build/lib/certora_cli 2026-07-31T02:33:49,018 copying certora_cli/certoraCVLFormatter.py -> build/lib/certora_cli 2026-07-31T02:33:49,020 copying certora_cli/__init__.py -> build/lib/certora_cli 2026-07-31T02:33:49,022 copying certora_cli/certoraEVMProver.py -> build/lib/certora_cli 2026-07-31T02:33:49,023 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2026-07-31T02:33:49,026 copying certora_cli/certoraConcord.py -> build/lib/certora_cli 2026-07-31T02:33:49,028 copying certora_cli/certoraSolanaProver.py -> build/lib/certora_cli 2026-07-31T02:33:49,030 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2026-07-31T02:33:49,032 copying certora_cli/certoraSorobanProver.py -> build/lib/certora_cli 2026-07-31T02:33:49,034 copying certora_cli/rustMutator.py -> build/lib/certora_cli 2026-07-31T02:33:49,037 copying certora_cli/certoraSuiProver.py -> build/lib/certora_cli 2026-07-31T02:33:49,038 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2026-07-31T02:33:49,041 creating build/lib/certora_jars 2026-07-31T02:33:49,042 copying certora_jars/__init__.py -> build/lib/certora_jars 2026-07-31T02:33:49,045 creating build/lib/certora_cli/CertoraProver 2026-07-31T02:33:49,046 copying certora_cli/CertoraProver/storageExtension.py -> build/lib/certora_cli/CertoraProver 2026-07-31T02:33:49,048 copying certora_cli/CertoraProver/certoraContext.py -> build/lib/certora_cli/CertoraProver 2026-07-31T02:33:49,051 copying certora_cli/CertoraProver/certoraCompilerParameters.py -> build/lib/certora_cli/CertoraProver 2026-07-31T02:33:49,053 copying certora_cli/CertoraProver/certoraType.py -> build/lib/certora_cli/CertoraProver 2026-07-31T02:33:49,056 copying certora_cli/CertoraProver/__init__.py -> build/lib/certora_cli/CertoraProver 2026-07-31T02:33:49,058 copying certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/lib/certora_cli/CertoraProver 2026-07-31T02:33:49,060 copying certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py -> build/lib/certora_cli/CertoraProver 2026-07-31T02:33:49,063 copying certora_cli/CertoraProver/certoraContextValidator.py -> build/lib/certora_cli/CertoraProver 2026-07-31T02:33:49,065 copying certora_cli/CertoraProver/certoraContractFuncs.py -> build/lib/certora_cli/CertoraProver 2026-07-31T02:33:49,068 copying certora_cli/CertoraProver/certoraContextAttributes.py -> build/lib/certora_cli/CertoraProver 2026-07-31T02:33:49,072 copying certora_cli/CertoraProver/splitRules.py -> build/lib/certora_cli/CertoraProver 2026-07-31T02:33:49,074 copying certora_cli/CertoraProver/certoraApp.py -> build/lib/certora_cli/CertoraProver 2026-07-31T02:33:49,076 copying certora_cli/CertoraProver/certoraProjectScanner.py -> build/lib/certora_cli/CertoraProver 2026-07-31T02:33:49,079 copying certora_cli/CertoraProver/certoraBuildSui.py -> build/lib/certora_cli/CertoraProver 2026-07-31T02:33:49,081 copying certora_cli/CertoraProver/certoraNodeFilters.py -> build/lib/certora_cli/CertoraProver 2026-07-31T02:33:49,083 copying certora_cli/CertoraProver/certoraSourceFinders.py -> build/lib/certora_cli/CertoraProver 2026-07-31T02:33:49,086 copying certora_cli/CertoraProver/certoraJobList.py -> build/lib/certora_cli/CertoraProver 2026-07-31T02:33:49,089 copying certora_cli/CertoraProver/certoraContextClass.py -> build/lib/certora_cli/CertoraProver 2026-07-31T02:33:49,091 copying certora_cli/CertoraProver/castingInstrumenter.py -> build/lib/certora_cli/CertoraProver 2026-07-31T02:33:49,093 copying certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/lib/certora_cli/CertoraProver 2026-07-31T02:33:49,096 copying certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/lib/certora_cli/CertoraProver 2026-07-31T02:33:49,098 copying certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/lib/certora_cli/CertoraProver 2026-07-31T02:33:49,101 copying certora_cli/CertoraProver/certoraConfigIO.py -> build/lib/certora_cli/CertoraProver 2026-07-31T02:33:49,103 copying certora_cli/CertoraProver/certoraBuild.py -> build/lib/certora_cli/CertoraProver 2026-07-31T02:33:49,111 copying certora_cli/CertoraProver/certoraCloudIO.py -> build/lib/certora_cli/CertoraProver 2026-07-31T02:33:49,114 copying certora_cli/CertoraProver/certoraExtensionInfo.py -> build/lib/certora_cli/CertoraProver 2026-07-31T02:33:49,116 copying certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/lib/certora_cli/CertoraProver 2026-07-31T02:33:49,119 copying certora_cli/CertoraProver/certoraBuildRust.py -> build/lib/certora_cli/CertoraProver 2026-07-31T02:33:49,121 copying certora_cli/CertoraProver/certoraParseBuildScript.py -> build/lib/certora_cli/CertoraProver 2026-07-31T02:33:49,123 copying certora_cli/CertoraProver/erc7201.py -> build/lib/certora_cli/CertoraProver 2026-07-31T02:33:49,125 copying certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/lib/certora_cli/CertoraProver 2026-07-31T02:33:49,128 copying certora_cli/CertoraProver/certoraOffsetConverter.py -> build/lib/certora_cli/CertoraProver 2026-07-31T02:33:49,130 creating build/lib/certora_cli/Shared 2026-07-31T02:33:49,131 copying certora_cli/Shared/proverCommon.py -> build/lib/certora_cli/Shared 2026-07-31T02:33:49,134 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2026-07-31T02:33:49,136 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2026-07-31T02:33:49,138 copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared 2026-07-31T02:33:49,141 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2026-07-31T02:33:49,143 copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared 2026-07-31T02:33:49,147 copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared 2026-07-31T02:33:49,150 creating build/lib/certora_cli/Mutate 2026-07-31T02:33:49,151 copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate 2026-07-31T02:33:49,153 copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate 2026-07-31T02:33:49,155 copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate 2026-07-31T02:33:49,157 copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate 2026-07-31T02:33:49,160 copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate 2026-07-31T02:33:49,164 copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate 2026-07-31T02:33:49,166 creating build/lib/certora_cli/EquivalenceCheck 2026-07-31T02:33:49,167 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2026-07-31T02:33:49,169 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2026-07-31T02:33:49,172 creating build/lib/certora_cli/CertoraProver/Compiler 2026-07-31T02:33:49,173 copying certora_cli/CertoraProver/Compiler/__init__.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-07-31T02:33:49,175 copying certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-07-31T02:33:49,177 copying certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-07-31T02:33:49,179 copying certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-07-31T02:33:49,181 copying certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-07-31T02:33:49,185 copying certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-07-31T02:33:49,186 copying certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-07-31T02:33:49,188 running egg_info 2026-07-31T02:33:49,217 writing certora_cli_alpha_master.egg-info/PKG-INFO 2026-07-31T02:33:49,220 writing dependency_links to certora_cli_alpha_master.egg-info/dependency_links.txt 2026-07-31T02:33:49,222 writing entry points to certora_cli_alpha_master.egg-info/entry_points.txt 2026-07-31T02:33:49,223 writing requirements to certora_cli_alpha_master.egg-info/requires.txt 2026-07-31T02:33:49,225 writing top-level names to certora_cli_alpha_master.egg-info/top_level.txt 2026-07-31T02:33:49,263 reading manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-07-31T02:33:49,269 reading manifest template 'MANIFEST.in' 2026-07-31T02:33:49,274 warning: no files found matching 'gambit' under directory 'certora_bins' 2026-07-31T02:33:49,375 adding license file 'LICENSE' 2026-07-31T02:33:49,381 writing manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-07-31T02:33:49,388 copying certora_jars/ASTExtraction.jar -> build/lib/certora_jars 2026-07-31T02:33:49,779 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2026-07-31T02:33:49,781 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2026-07-31T02:33:50,127 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2026-07-31T02:33:50,129 copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck 2026-07-31T02:33:50,131 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2026-07-31T02:33:50,134 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2026-07-31T02:33:50,136 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2026-07-31T02:33:50,138 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2026-07-31T02:33:50,171 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:90: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2026-07-31T02:33:50,172 !! 2026-07-31T02:33:50,173 ******************************************************************************** 2026-07-31T02:33:50,174 Please avoid running ``setup.py`` directly. 2026-07-31T02:33:50,174 Instead, use pypa/build, pypa/installer or other 2026-07-31T02:33:50,175 standards-based tools. 2026-07-31T02:33:50,176 This deprecation is overdue, please update your project and remove deprecated 2026-07-31T02:33:50,176 calls to avoid build errors in the future. 2026-07-31T02:33:50,177 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2026-07-31T02:33:50,178 ******************************************************************************** 2026-07-31T02:33:50,179 !! 2026-07-31T02:33:50,179 self.initialize_options() 2026-07-31T02:33:50,200 installing to build/bdist.linux-armv7l/wheel 2026-07-31T02:33:50,201 running install 2026-07-31T02:33:50,224 running install_lib 2026-07-31T02:33:50,252 creating build/bdist.linux-armv7l/wheel 2026-07-31T02:33:50,254 creating build/bdist.linux-armv7l/wheel/certora_bins 2026-07-31T02:33:50,255 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins 2026-07-31T02:33:50,257 creating build/bdist.linux-armv7l/wheel/certora_cli 2026-07-31T02:33:50,258 copying build/lib/certora_cli/certoraRanger.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-31T02:33:50,260 copying build/lib/certora_cli/certoraCVLFormatter.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-31T02:33:50,262 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-31T02:33:50,265 creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver 2026-07-31T02:33:50,266 copying build/lib/certora_cli/CertoraProver/storageExtension.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-31T02:33:50,268 copying build/lib/certora_cli/CertoraProver/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-31T02:33:50,271 copying build/lib/certora_cli/CertoraProver/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-31T02:33:50,273 copying build/lib/certora_cli/CertoraProver/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-31T02:33:50,276 copying build/lib/certora_cli/CertoraProver/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-31T02:33:50,278 copying build/lib/certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-31T02:33:50,280 copying build/lib/certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-31T02:33:50,282 copying build/lib/certora_cli/CertoraProver/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-31T02:33:50,286 copying build/lib/certora_cli/CertoraProver/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-31T02:33:50,288 copying build/lib/certora_cli/CertoraProver/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-31T02:33:50,291 copying build/lib/certora_cli/CertoraProver/splitRules.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-31T02:33:50,294 copying build/lib/certora_cli/CertoraProver/certoraApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-31T02:33:50,295 copying build/lib/certora_cli/CertoraProver/certoraProjectScanner.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-31T02:33:50,297 copying build/lib/certora_cli/CertoraProver/certoraBuildSui.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-31T02:33:50,300 copying build/lib/certora_cli/CertoraProver/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-31T02:33:50,301 copying build/lib/certora_cli/CertoraProver/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-31T02:33:50,304 copying build/lib/certora_cli/CertoraProver/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-31T02:33:50,306 copying build/lib/certora_cli/CertoraProver/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-31T02:33:50,308 copying build/lib/certora_cli/CertoraProver/castingInstrumenter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-31T02:33:50,310 copying build/lib/certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-31T02:33:50,312 copying build/lib/certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-31T02:33:50,314 copying build/lib/certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-31T02:33:50,318 creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver/Compiler 2026-07-31T02:33:50,319 copying build/lib/certora_cli/CertoraProver/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-07-31T02:33:50,321 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-07-31T02:33:50,323 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-07-31T02:33:50,325 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-07-31T02:33:50,327 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-07-31T02:33:50,330 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-07-31T02:33:50,333 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-07-31T02:33:50,335 copying build/lib/certora_cli/CertoraProver/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-31T02:33:50,337 copying build/lib/certora_cli/CertoraProver/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-31T02:33:50,343 copying build/lib/certora_cli/CertoraProver/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-31T02:33:50,346 copying build/lib/certora_cli/CertoraProver/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-31T02:33:50,348 copying build/lib/certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-31T02:33:50,351 copying build/lib/certora_cli/CertoraProver/certoraBuildRust.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-31T02:33:50,353 copying build/lib/certora_cli/CertoraProver/certoraParseBuildScript.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-31T02:33:50,355 copying build/lib/certora_cli/CertoraProver/erc7201.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-31T02:33:50,357 copying build/lib/certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-31T02:33:50,359 copying build/lib/certora_cli/CertoraProver/certoraOffsetConverter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-31T02:33:50,361 copying build/lib/certora_cli/certoraEVMProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-31T02:33:50,362 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-31T02:33:50,364 copying build/lib/certora_cli/certoraConcord.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-31T02:33:50,366 copying build/lib/certora_cli/certoraSolanaProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-31T02:33:50,368 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-31T02:33:50,370 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2026-07-31T02:33:50,371 copying build/lib/certora_cli/Shared/proverCommon.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-07-31T02:33:50,374 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-07-31T02:33:50,376 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-07-31T02:33:50,379 copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-07-31T02:33:50,381 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-07-31T02:33:50,384 copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-07-31T02:33:50,387 copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-07-31T02:33:50,389 copying build/lib/certora_cli/certoraSorobanProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-31T02:33:50,391 copying build/lib/certora_cli/rustMutator.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-31T02:33:50,394 creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate 2026-07-31T02:33:50,395 copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-07-31T02:33:50,397 copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-07-31T02:33:50,400 copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-07-31T02:33:50,402 copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-07-31T02:33:50,404 copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-07-31T02:33:50,408 copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-07-31T02:33:50,409 copying build/lib/certora_cli/certoraSuiProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-31T02:33:50,412 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2026-07-31T02:33:50,413 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-07-31T02:33:50,415 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-07-31T02:33:50,417 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-07-31T02:33:50,419 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-07-31T02:33:50,421 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-07-31T02:33:50,422 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-07-31T02:33:50,424 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-07-31T02:33:50,426 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-07-31T02:33:50,429 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-31T02:33:50,431 creating build/bdist.linux-armv7l/wheel/certora_jars 2026-07-31T02:33:50,432 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars 2026-07-31T02:33:50,434 copying build/lib/certora_jars/ASTExtraction.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2026-07-31T02:33:50,806 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2026-07-31T02:33:51,186 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars 2026-07-31T02:33:51,187 running install_egg_info 2026-07-31T02:33:51,223 Copying certora_cli_alpha_master.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_alpha_master-20260730.18.17.393057-py3.11.egg-info 2026-07-31T02:33:51,235 running install_scripts 2026-07-31T02:33:51,248 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_master-20260730.18.17.393057.dist-info/WHEEL 2026-07-31T02:33:51,251 creating '/tmp/pip-wheel-qc75apgu/certora_cli_alpha_master-20260730.18.17.393057-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2026-07-31T02:33:51,253 adding 'certora_bins/__init__.py' 2026-07-31T02:33:51,255 adding 'certora_cli/__init__.py' 2026-07-31T02:33:51,256 adding 'certora_cli/certoraCVLFormatter.py' 2026-07-31T02:33:51,257 adding 'certora_cli/certoraConcord.py' 2026-07-31T02:33:51,259 adding 'certora_cli/certoraEVMProver.py' 2026-07-31T02:33:51,260 adding 'certora_cli/certoraEqCheck.py' 2026-07-31T02:33:51,261 adding 'certora_cli/certoraMutate.py' 2026-07-31T02:33:51,263 adding 'certora_cli/certoraRanger.py' 2026-07-31T02:33:51,265 adding 'certora_cli/certoraRun.py' 2026-07-31T02:33:51,266 adding 'certora_cli/certoraSolanaProver.py' 2026-07-31T02:33:51,267 adding 'certora_cli/certoraSorobanProver.py' 2026-07-31T02:33:51,269 adding 'certora_cli/certoraSuiProver.py' 2026-07-31T02:33:51,271 adding 'certora_cli/rustMutator.py' 2026-07-31T02:33:51,273 adding 'certora_cli/CertoraProver/__init__.py' 2026-07-31T02:33:51,275 adding 'certora_cli/CertoraProver/castingInstrumenter.py' 2026-07-31T02:33:51,280 adding 'certora_cli/CertoraProver/certoraApp.py' 2026-07-31T02:33:51,309 adding 'certora_cli/CertoraProver/certoraBuild.py' 2026-07-31T02:33:51,313 adding 'certora_cli/CertoraProver/certoraBuildCacheManager.py' 2026-07-31T02:33:51,315 adding 'certora_cli/CertoraProver/certoraBuildDataClasses.py' 2026-07-31T02:33:51,317 adding 'certora_cli/CertoraProver/certoraBuildRust.py' 2026-07-31T02:33:51,320 adding 'certora_cli/CertoraProver/certoraBuildSui.py' 2026-07-31T02:33:51,328 adding 'certora_cli/CertoraProver/certoraCloudIO.py' 2026-07-31T02:33:51,331 adding 'certora_cli/CertoraProver/certoraCollectConfigurationLayout.py' 2026-07-31T02:33:51,334 adding 'certora_cli/CertoraProver/certoraCollectRunMetadata.py' 2026-07-31T02:33:51,336 adding 'certora_cli/CertoraProver/certoraCompilerParameters.py' 2026-07-31T02:33:51,338 adding 'certora_cli/CertoraProver/certoraConfigIO.py' 2026-07-31T02:33:51,343 adding 'certora_cli/CertoraProver/certoraContext.py' 2026-07-31T02:33:51,349 adding 'certora_cli/CertoraProver/certoraContextAttributes.py' 2026-07-31T02:33:51,351 adding 'certora_cli/CertoraProver/certoraContextClass.py' 2026-07-31T02:33:51,357 adding 'certora_cli/CertoraProver/certoraContextValidator.py' 2026-07-31T02:33:51,359 adding 'certora_cli/CertoraProver/certoraContractFuncs.py' 2026-07-31T02:33:51,361 adding 'certora_cli/CertoraProver/certoraExtensionInfo.py' 2026-07-31T02:33:51,363 adding 'certora_cli/CertoraProver/certoraJobList.py' 2026-07-31T02:33:51,365 adding 'certora_cli/CertoraProver/certoraMiniSpecParser.py' 2026-07-31T02:33:51,366 adding 'certora_cli/CertoraProver/certoraNodeFilters.py' 2026-07-31T02:33:51,367 adding 'certora_cli/CertoraProver/certoraOffsetConverter.py' 2026-07-31T02:33:51,369 adding 'certora_cli/CertoraProver/certoraParseBuildScript.py' 2026-07-31T02:33:51,371 adding 'certora_cli/CertoraProver/certoraProjectScanner.py' 2026-07-31T02:33:51,373 adding 'certora_cli/CertoraProver/certoraSourceFinders.py' 2026-07-31T02:33:51,377 adding 'certora_cli/CertoraProver/certoraType.py' 2026-07-31T02:33:51,379 adding 'certora_cli/CertoraProver/certoraVerifyGenerator.py' 2026-07-31T02:33:51,380 adding 'certora_cli/CertoraProver/erc7201.py' 2026-07-31T02:33:51,382 adding 'certora_cli/CertoraProver/splitRules.py' 2026-07-31T02:33:51,384 adding 'certora_cli/CertoraProver/storageExtension.py' 2026-07-31T02:33:51,386 adding 'certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py' 2026-07-31T02:33:51,388 adding 'certora_cli/CertoraProver/Compiler/CompilerCollector.py' 2026-07-31T02:33:51,390 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py' 2026-07-31T02:33:51,391 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py' 2026-07-31T02:33:51,392 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py' 2026-07-31T02:33:51,400 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py' 2026-07-31T02:33:51,402 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py' 2026-07-31T02:33:51,404 adding 'certora_cli/CertoraProver/Compiler/__init__.py' 2026-07-31T02:33:51,405 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2026-07-31T02:33:51,407 adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec' 2026-07-31T02:33:51,408 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2026-07-31T02:33:51,409 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2026-07-31T02:33:51,410 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2026-07-31T02:33:51,412 adding 'certora_cli/EquivalenceCheck/__init__.py' 2026-07-31T02:33:51,414 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2026-07-31T02:33:51,416 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2026-07-31T02:33:51,418 adding 'certora_cli/Mutate/__init__.py' 2026-07-31T02:33:51,428 adding 'certora_cli/Mutate/mutateApp.py' 2026-07-31T02:33:51,430 adding 'certora_cli/Mutate/mutateAttributes.py' 2026-07-31T02:33:51,432 adding 'certora_cli/Mutate/mutateConstants.py' 2026-07-31T02:33:51,433 adding 'certora_cli/Mutate/mutateUtil.py' 2026-07-31T02:33:51,435 adding 'certora_cli/Mutate/mutateValidate.py' 2026-07-31T02:33:51,438 adding 'certora_cli/Shared/ExpectedComparator.py' 2026-07-31T02:33:51,439 adding 'certora_cli/Shared/__init__.py' 2026-07-31T02:33:51,441 adding 'certora_cli/Shared/certoraAttrUtil.py' 2026-07-31T02:33:51,443 adding 'certora_cli/Shared/certoraLogging.py' 2026-07-31T02:33:51,452 adding 'certora_cli/Shared/certoraUtils.py' 2026-07-31T02:33:51,457 adding 'certora_cli/Shared/certoraValidateFuncs.py' 2026-07-31T02:33:51,460 adding 'certora_cli/Shared/proverCommon.py' 2026-07-31T02:33:51,462 adding 'certora_cli_alpha_master-20260730.18.17.393057.dist-info/licenses/LICENSE' 2026-07-31T02:33:54,057 adding 'certora_jars/ASTExtraction.jar' 2026-07-31T02:33:54,201 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2026-07-31T02:33:57,058 adding 'certora_jars/Typechecker.jar' 2026-07-31T02:33:57,203 adding 'certora_jars/__init__.py' 2026-07-31T02:33:57,204 adding 'certora_cli_alpha_master-20260730.18.17.393057.dist-info/METADATA' 2026-07-31T02:33:57,205 adding 'certora_cli_alpha_master-20260730.18.17.393057.dist-info/WHEEL' 2026-07-31T02:33:57,206 adding 'certora_cli_alpha_master-20260730.18.17.393057.dist-info/entry_points.txt' 2026-07-31T02:33:57,207 adding 'certora_cli_alpha_master-20260730.18.17.393057.dist-info/top_level.txt' 2026-07-31T02:33:57,209 adding 'certora_cli_alpha_master-20260730.18.17.393057.dist-info/RECORD' 2026-07-31T02:33:57,677 removing build/bdist.linux-armv7l/wheel 2026-07-31T02:33:57,820 Building wheel for certora-cli-alpha-master (setup.py): finished with status 'done' 2026-07-31T02:33:58,247 Created wheel for certora-cli-alpha-master: filename=certora_cli_alpha_master-20260730.18.17.393057-py3-none-any.whl size=43403110 sha256=5689d3524aaf070cfece14b78bac61b868e37982b9083947e5bf25ae31a5705d 2026-07-31T02:33:58,248 Stored in directory: /tmp/pip-ephem-wheel-cache-g53lqec_/wheels/3e/bc/76/95d871c452357019526045e86ec8248feb583dd6c6834f174c 2026-07-31T02:33:58,273 Successfully built certora-cli-alpha-master 2026-07-31T02:33:59,248 Removed build tracker: '/tmp/pip-build-tracker-x9tjwrhv'