2025-12-04T23:45:07,203 Created temporary directory: /tmp/pip-ephem-wheel-cache-7o1rmr75
2025-12-04T23:45:07,205 Created temporary directory: /tmp/pip-build-tracker-u4uwd7mw
2025-12-04T23:45:07,205 Initialized build tracking at /tmp/pip-build-tracker-u4uwd7mw
2025-12-04T23:45:07,206 Created build tracker: /tmp/pip-build-tracker-u4uwd7mw
2025-12-04T23:45:07,206 Entered build tracker: /tmp/pip-build-tracker-u4uwd7mw
2025-12-04T23:45:07,207 Created temporary directory: /tmp/pip-wheel-vkcedm9g
2025-12-04T23:45:07,210 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
2025-12-04T23:45:07,213 Created temporary directory: /tmp/pip-ephem-wheel-cache-xhn5vetn
2025-12-04T23:45:07,234 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2025-12-04T23:45:07,238 2 location(s) to search for versions of certora-cli-alpha-master:
2025-12-04T23:45:07,238 * https://pypi.org/simple/certora-cli-alpha-master/
2025-12-04T23:45:07,238 * https://www.piwheels.org/simple/certora-cli-alpha-master/
2025-12-04T23:45:07,239 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-master/
2025-12-04T23:45:07,240 Getting page https://pypi.org/simple/certora-cli-alpha-master/
2025-12-04T23:45:07,241 Found index url https://pypi.org/simple
2025-12-04T23:45:07,456 Fetched page https://pypi.org/simple/certora-cli-alpha-master/ as application/vnd.pypi.simple.v1+json
2025-12-04T23:45:07,464   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/66/d0/ce0e8c21e660c6f43c6f7b8f009403b654fa0422b47d0e634972135fa5d4/certora_cli_alpha_master-20251126.12.24.872806-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-12-04T23:45:07,465   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/cd/6a/edb7ec9d631d4898a59e501a1da82b2210fdeda8124a6ade6adb02288628/certora_cli_alpha_master-20251126.12.24.872806-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-12-04T23:45:07,465   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6d/ee/ca1e83296d021eb925e834c3474b40dc89fe9aff31c604ad8ca6e368f3f5/certora_cli_alpha_master-20251126.12.24.872806-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-12-04T23:45:07,466   Found link https://files.pythonhosted.org/packages/b9/54/056e0a2882778c41367772e5ef6bbec9c078a1233adf72ff15a37bd4897d/certora_cli_alpha_master-20251126.12.24.872806.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251126.12.24.872806
2025-12-04T23:45:07,467   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c0/c8/3be601ad9503d1305097c8fde331bedc2e14a4bc4fdbcf3654811c2da072/certora_cli_alpha_master-20251127.12.8.264687-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-12-04T23:45:07,468   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/20/94/0a2fc41f59ad47d959271fcdb5e66cb108292c4544946de2c7d7ad5a32da/certora_cli_alpha_master-20251127.12.8.264687-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-12-04T23:45:07,468   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/57/ea/0791dba1a82e615d2acb6f0ae7152ab9a3bdabc0b8d67b693c9f0e62646b/certora_cli_alpha_master-20251127.12.8.264687-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-12-04T23:45:07,469   Found link https://files.pythonhosted.org/packages/dd/b0/3153df7bb620fbb1124920a849e5d898ae5b5c9303d3b1a2ba4d785d49b9/certora_cli_alpha_master-20251127.12.8.264687.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251127.12.8.264687
2025-12-04T23:45:07,470   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a9/b9/cfbbd048cdfef3b64dbbf0edbf4aebf0474a6cf27e082d006ef9a144c1db/certora_cli_alpha_master-20251127.18.23.7929-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-12-04T23:45:07,471   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d1/57/35c7427d41978bf832563ea31f928520680c33e4fe9baceb45faf55bf0c4/certora_cli_alpha_master-20251127.18.23.7929-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-12-04T23:45:07,471   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f5/72/17df54d901df73a2792951546723f5921624ea0db2d4185e280639e17b9d/certora_cli_alpha_master-20251127.18.23.7929-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-12-04T23:45:07,471   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/29/92/108b7361d6ff255f095bae042f87daa4e2626a5435c3df9976531846f126/certora_cli_alpha_master-20251202.20.51.90074-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-12-04T23:45:07,472   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ca/5f/a8d30ba3146bbde712de41a4d4d67e9fa7fc21c63f7a31fc9e0db42c7866/certora_cli_alpha_master-20251202.20.51.90074-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-12-04T23:45:07,472   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6d/95/1aaca5bdd99a4b39ac336496b6263e8b700ccd0442777953afdb46491f22/certora_cli_alpha_master-20251202.20.51.90074-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-12-04T23:45:07,473   Found link https://files.pythonhosted.org/packages/68/d8/96a5babca987ccb2b71fc2a8e7439be830fe95c46f5b06fd34756f244752/certora_cli_alpha_master-20251202.20.51.90074.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251202.20.51.90074
2025-12-04T23:45:07,474   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/29/d8/f984baf5d99648ef195c36fc729329308758515b72144ff7ed313fdcbe27/certora_cli_alpha_master-20251202.23.58.988576-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-12-04T23:45:07,474   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/02/21/db44513c29194a7093e69ab79001fc3f46aec8092a40f910f35cd38afb4e/certora_cli_alpha_master-20251202.23.58.988576-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-12-04T23:45:07,475   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/33/44/90eade5ee226cfa22b248903baba7351435b5d903cb3a59db3fd7aca5304/certora_cli_alpha_master-20251202.23.58.988576-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-12-04T23:45:07,476   Found link https://files.pythonhosted.org/packages/09/79/b5f5a3605a4b6033fe4d91aabd897f538c9bf929c01efb387c52bf127a27/certora_cli_alpha_master-20251202.23.58.988576.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251202.23.58.988576
2025-12-04T23:45:07,477   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ad/e9/044b6cd977acec1d3b34575f49ae9cecaf8bd7639a5e546a59baf1bf5791/certora_cli_alpha_master-20251203.2.24.260812-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-12-04T23:45:07,478   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/03/46/a44eaab5466926bfabb4f4010aec3b045eb4a42d35e6d4b438e872e63b12/certora_cli_alpha_master-20251203.2.24.260812-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-12-04T23:45:07,478   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e1/2d/8ddfeaee83b4f8cf5728e1b418d0a265b7e9c99616f7a3e55bb66034ad4e/certora_cli_alpha_master-20251203.2.24.260812-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-12-04T23:45:07,479   Found link https://files.pythonhosted.org/packages/aa/b4/6b4ad362370ef688f7ac67f87b66e60dab6a013eefb8c0b2cbf5f9451dc7/certora_cli_alpha_master-20251203.2.24.260812.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251203.2.24.260812
2025-12-04T23:45:07,480   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/23/84/355b81bf1cb4dea36b950d7cd371cac9d4238628428c956ac7468ed0833d/certora_cli_alpha_master-20251203.3.42.874358-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-12-04T23:45:07,480   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/aa/74/6148d7b2baed90eec5ade3051c55102a10f29f27a3186668b0d3dcc7aee3/certora_cli_alpha_master-20251203.3.42.874358-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-12-04T23:45:07,481   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/fe/a9/bbd68c528204f8ff05b525ff1669dcc27d1183899641b08203b601575de4/certora_cli_alpha_master-20251203.3.42.874358-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-12-04T23:45:07,481   Found link https://files.pythonhosted.org/packages/46/6d/5b0d4d7ba547e6f73b146427f787bee02c756de89443afed5b6919e8f7d4/certora_cli_alpha_master-20251203.3.42.874358.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251203.3.42.874358
2025-12-04T23:45:07,482   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/8d/fa/06e6fbb5f6cefe914d0af13d3de2193a965b0730e76f22d0b894b8c1df81/certora_cli_alpha_master-20251204.10.23.58541-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-12-04T23:45:07,483   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/fc/b5/a84028887001fe9557ff9797ecddcad19d940c96e824ca3411d5529f1be6/certora_cli_alpha_master-20251204.10.23.58541-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-12-04T23:45:07,483   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f7/eb/499f4e0ebefb15e6e48a26a4f6ecb4ce50d9dc663369f81dd7db9f75bdc9/certora_cli_alpha_master-20251204.10.23.58541-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-12-04T23:45:07,484   Found link https://files.pythonhosted.org/packages/d3/02/9258234548681b2b87aa6ce03fa8a313f8272a9eccf198b7537f75af34a0/certora_cli_alpha_master-20251204.10.23.58541.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251204.10.23.58541
2025-12-04T23:45:07,485   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/96/cc/a5ff743be84d956133929906639d482ab904b701e2befd6b7dc11ae59f54/certora_cli_alpha_master-20251204.22.15.393566-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-12-04T23:45:07,485   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/0d/ad/e7f4e3605c75a75ceaa07fac2ae0a895beb4fb4c150fb0059e4d7cb2d5b2/certora_cli_alpha_master-20251204.22.15.393566-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-12-04T23:45:07,486   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ee/1a/f9eedc9752d97121e34bd5ae8139db92494552b15da87a13f6ad6cd7ef79/certora_cli_alpha_master-20251204.22.15.393566-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-12-04T23:45:07,487   Found link https://files.pythonhosted.org/packages/ed/8a/b64529bc6633894bb9b879bf42f7e61bafffd1dec2b32b4d854595f837b7/certora_cli_alpha_master-20251204.22.15.393566.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251204.22.15.393566
2025-12-04T23:45:07,487 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-master/
2025-12-04T23:45:07,488 Getting page https://www.piwheels.org/simple/certora-cli-alpha-master/
2025-12-04T23:45:07,489 Found index url https://www.piwheels.org/simple
2025-12-04T23:45:07,644 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-master/ as text/html
2025-12-04T23:45:07,648   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251204.10.23.58541-py3-none-any.whl#sha256=3cca75e9d9a09ffdb32a47d81d653bbd8508eeed103f9fb364b175cd2f3a8de8 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-12-04T23:45:07,648   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251203.3.42.874358-py3-none-any.whl#sha256=5347a4e1b35b7eba372ea808e571662c7322ee0a4bb1b2fccb41587bfea93cfe (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-12-04T23:45:07,649   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251203.2.24.260812-py3-none-any.whl#sha256=0ef5deb427f2cefa95d875be49213b03754e7dabf6956c64544026986ab68975 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-12-04T23:45:07,649   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251202.23.58.988576-py3-none-any.whl#sha256=56a14d6ccf0e85205f3017d211e1f9f5ef41c6e96e6195151f8d7de2bad9192a (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-12-04T23:45:07,650   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251202.20.51.90074-py3-none-any.whl#sha256=1a6aadab7ded8473fc1e734209d54baa1aeee53d7c22f33e41d73da63dca2b11 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-12-04T23:45:07,651   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251127.12.8.264687-py3-none-any.whl#sha256=9cbd54d725a8100c51044ac47f025cab6259de4afb76f7c474651ce1a13916ec (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-12-04T23:45:07,651   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251126.12.24.872806-py3-none-any.whl#sha256=9b28f644e331565715761039e1a3aeccb549bc1884fa6eb8d00523ce086e3ab7 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-12-04T23:45:07,652 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-master/
2025-12-04T23:45:07,653 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-master/
2025-12-04T23:45:07,672 Given no hashes to check 1 links for project 'certora-cli-alpha-master': discarding no candidates
2025-12-04T23:45:07,690 Collecting certora-cli-alpha-master==20251204.22.15.393566
2025-12-04T23:45:07,693   Created temporary directory: /tmp/pip-unpack-kutzolqy
2025-12-04T23:45:07,915   Downloading certora_cli_alpha_master-20251204.22.15.393566.tar.gz (40.8 MB)
2025-12-04T23:45:15,672   Added certora-cli-alpha-master==20251204.22.15.393566 from https://files.pythonhosted.org/packages/ed/8a/b64529bc6633894bb9b879bf42f7e61bafffd1dec2b32b4d854595f837b7/certora_cli_alpha_master-20251204.22.15.393566.tar.gz to build tracker '/tmp/pip-build-tracker-u4uwd7mw'
2025-12-04T23:45:15,675   Running setup.py (path:/tmp/pip-wheel-vkcedm9g/certora-cli-alpha-master_179af29426ba46b79476071ecd2c3a72/setup.py) egg_info for package certora-cli-alpha-master
2025-12-04T23:45:15,675   Created temporary directory: /tmp/pip-pip-egg-info-ddmvuu6c
2025-12-04T23:45:15,676   Preparing metadata (setup.py): started
2025-12-04T23:45:15,677   Running command python setup.py egg_info
2025-12-04T23:45:16,533   /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2025-12-04T23:45:16,533   !!

2025-12-04T23:45:16,534           ********************************************************************************
2025-12-04T23:45:16,535           Please consider removing the following classifiers in favor of a SPDX license expression:

2025-12-04T23:45:16,536           License :: OSI Approved :: GNU General Public License v3 (GPLv3)

2025-12-04T23:45:16,537           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2025-12-04T23:45:16,537           ********************************************************************************

2025-12-04T23:45:16,539   !!
2025-12-04T23:45:16,539     self._finalize_license_expression()
2025-12-04T23:45:16,563   running egg_info
2025-12-04T23:45:16,591   creating /tmp/pip-pip-egg-info-ddmvuu6c/certora_cli_alpha_master.egg-info
2025-12-04T23:45:16,592   writing /tmp/pip-pip-egg-info-ddmvuu6c/certora_cli_alpha_master.egg-info/PKG-INFO
2025-12-04T23:45:16,595   writing dependency_links to /tmp/pip-pip-egg-info-ddmvuu6c/certora_cli_alpha_master.egg-info/dependency_links.txt
2025-12-04T23:45:16,597   writing entry points to /tmp/pip-pip-egg-info-ddmvuu6c/certora_cli_alpha_master.egg-info/entry_points.txt
2025-12-04T23:45:16,598   writing requirements to /tmp/pip-pip-egg-info-ddmvuu6c/certora_cli_alpha_master.egg-info/requires.txt
2025-12-04T23:45:16,599   writing top-level names to /tmp/pip-pip-egg-info-ddmvuu6c/certora_cli_alpha_master.egg-info/top_level.txt
2025-12-04T23:45:16,601   writing manifest file '/tmp/pip-pip-egg-info-ddmvuu6c/certora_cli_alpha_master.egg-info/SOURCES.txt'
2025-12-04T23:45:16,700   reading manifest file '/tmp/pip-pip-egg-info-ddmvuu6c/certora_cli_alpha_master.egg-info/SOURCES.txt'
2025-12-04T23:45:16,702   reading manifest template 'MANIFEST.in'
2025-12-04T23:45:17,173   warning: no files found matching 'gambit' under directory 'certora_bins'
2025-12-04T23:45:17,276   adding license file 'LICENSE'
2025-12-04T23:45:17,282   writing manifest file '/tmp/pip-pip-egg-info-ddmvuu6c/certora_cli_alpha_master.egg-info/SOURCES.txt'
2025-12-04T23:45:17,389   Preparing metadata (setup.py): finished with status 'done'
2025-12-04T23:45:17,393   Source in /tmp/pip-wheel-vkcedm9g/certora-cli-alpha-master_179af29426ba46b79476071ecd2c3a72 has version 20251204.22.15.393566, which satisfies requirement certora-cli-alpha-master==20251204.22.15.393566 from https://files.pythonhosted.org/packages/ed/8a/b64529bc6633894bb9b879bf42f7e61bafffd1dec2b32b4d854595f837b7/certora_cli_alpha_master-20251204.22.15.393566.tar.gz
2025-12-04T23:45:17,394   Removed certora-cli-alpha-master==20251204.22.15.393566 from https://files.pythonhosted.org/packages/ed/8a/b64529bc6633894bb9b879bf42f7e61bafffd1dec2b32b4d854595f837b7/certora_cli_alpha_master-20251204.22.15.393566.tar.gz from build tracker '/tmp/pip-build-tracker-u4uwd7mw'
2025-12-04T23:45:17,400 Created temporary directory: /tmp/pip-unpack-8cabr117
2025-12-04T23:45:17,401 Building wheels for collected packages: certora-cli-alpha-master
2025-12-04T23:45:17,405   Created temporary directory: /tmp/pip-wheel-04pvrop_
2025-12-04T23:45:17,406   Building wheel for certora-cli-alpha-master (setup.py): started
2025-12-04T23:45:17,407   Destination directory: /tmp/pip-wheel-04pvrop_
2025-12-04T23:45:17,408   Running command python setup.py bdist_wheel
2025-12-04T23:45:18,255   /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2025-12-04T23:45:18,256   !!

2025-12-04T23:45:18,257           ********************************************************************************
2025-12-04T23:45:18,257           Please consider removing the following classifiers in favor of a SPDX license expression:

2025-12-04T23:45:18,258           License :: OSI Approved :: GNU General Public License v3 (GPLv3)

2025-12-04T23:45:18,259           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2025-12-04T23:45:18,260           ********************************************************************************

2025-12-04T23:45:18,261   !!
2025-12-04T23:45:18,261     self._finalize_license_expression()
2025-12-04T23:45:18,262   running bdist_wheel
2025-12-04T23:45:18,394   running build
2025-12-04T23:45:18,395   running build_py
2025-12-04T23:45:18,426   creating build/lib/certora_bins
2025-12-04T23:45:18,428   copying certora_bins/__init__.py -> build/lib/certora_bins
2025-12-04T23:45:18,432   creating build/lib/certora_cli
2025-12-04T23:45:18,433   copying certora_cli/certoraCVLFormatter.py -> build/lib/certora_cli
2025-12-04T23:45:18,435   copying certora_cli/certoraRanger.py -> build/lib/certora_cli
2025-12-04T23:45:18,437   copying certora_cli/rustMutator.py -> build/lib/certora_cli
2025-12-04T23:45:18,439   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2025-12-04T23:45:18,441   copying certora_cli/certoraEVMProver.py -> build/lib/certora_cli
2025-12-04T23:45:18,443   copying certora_cli/certoraSuiProver.py -> build/lib/certora_cli
2025-12-04T23:45:18,445   copying certora_cli/__init__.py -> build/lib/certora_cli
2025-12-04T23:45:18,446   copying certora_cli/certoraConcord.py -> build/lib/certora_cli
2025-12-04T23:45:18,448   copying certora_cli/certoraSolanaProver.py -> build/lib/certora_cli
2025-12-04T23:45:18,451   copying certora_cli/certoraSorobanProver.py -> build/lib/certora_cli
2025-12-04T23:45:18,453   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2025-12-04T23:45:18,455   copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli
2025-12-04T23:45:18,457   creating build/lib/certora_jars
2025-12-04T23:45:18,458   copying certora_jars/__init__.py -> build/lib/certora_jars
2025-12-04T23:45:18,461   creating build/lib/certora_cli/Mutate
2025-12-04T23:45:18,462   copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate
2025-12-04T23:45:18,466   copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate
2025-12-04T23:45:18,468   copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate
2025-12-04T23:45:18,470   copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate
2025-12-04T23:45:18,473   copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate
2025-12-04T23:45:18,475   copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate
2025-12-04T23:45:18,477   creating build/lib/certora_cli/EquivalenceCheck
2025-12-04T23:45:18,478   copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck
2025-12-04T23:45:18,480   copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck
2025-12-04T23:45:18,484   creating build/lib/certora_cli/CertoraProver
2025-12-04T23:45:18,485   copying certora_cli/CertoraProver/certoraApp.py -> build/lib/certora_cli/CertoraProver
2025-12-04T23:45:18,488   copying certora_cli/CertoraProver/certoraContext.py -> build/lib/certora_cli/CertoraProver
2025-12-04T23:45:18,491   copying certora_cli/CertoraProver/certoraParseBuildScript.py -> build/lib/certora_cli/CertoraProver
2025-12-04T23:45:18,493   copying certora_cli/CertoraProver/certoraContextAttributes.py -> build/lib/certora_cli/CertoraProver
2025-12-04T23:45:18,496   copying certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/lib/certora_cli/CertoraProver
2025-12-04T23:45:18,499   copying certora_cli/CertoraProver/splitRules.py -> build/lib/certora_cli/CertoraProver
2025-12-04T23:45:18,501   copying certora_cli/CertoraProver/certoraContractFuncs.py -> build/lib/certora_cli/CertoraProver
2025-12-04T23:45:18,504   copying certora_cli/CertoraProver/certoraType.py -> build/lib/certora_cli/CertoraProver
2025-12-04T23:45:18,507   copying certora_cli/CertoraProver/certoraCompilerParameters.py -> build/lib/certora_cli/CertoraProver
2025-12-04T23:45:18,509   copying certora_cli/CertoraProver/castingInstrumenter.py -> build/lib/certora_cli/CertoraProver
2025-12-04T23:45:18,511   copying certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/lib/certora_cli/CertoraProver
2025-12-04T23:45:18,514   copying certora_cli/CertoraProver/__init__.py -> build/lib/certora_cli/CertoraProver
2025-12-04T23:45:18,516   copying certora_cli/CertoraProver/certoraBuild.py -> build/lib/certora_cli/CertoraProver
2025-12-04T23:45:18,522   copying certora_cli/CertoraProver/certoraBuildSui.py -> build/lib/certora_cli/CertoraProver
2025-12-04T23:45:18,524   copying certora_cli/CertoraProver/certoraContextClass.py -> build/lib/certora_cli/CertoraProver
2025-12-04T23:45:18,526   copying certora_cli/CertoraProver/certoraCloudIO.py -> build/lib/certora_cli/CertoraProver
2025-12-04T23:45:18,529   copying certora_cli/CertoraProver/certoraConfigIO.py -> build/lib/certora_cli/CertoraProver
2025-12-04T23:45:18,531   copying certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/lib/certora_cli/CertoraProver
2025-12-04T23:45:18,534   copying certora_cli/CertoraProver/storageExtension.py -> build/lib/certora_cli/CertoraProver
2025-12-04T23:45:18,537   copying certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/lib/certora_cli/CertoraProver
2025-12-04T23:45:18,540   copying certora_cli/CertoraProver/certoraContextValidator.py -> build/lib/certora_cli/CertoraProver
2025-12-04T23:45:18,543   copying certora_cli/CertoraProver/erc7201.py -> build/lib/certora_cli/CertoraProver
2025-12-04T23:45:18,545   copying certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/lib/certora_cli/CertoraProver
2025-12-04T23:45:18,547   copying certora_cli/CertoraProver/certoraJobList.py -> build/lib/certora_cli/CertoraProver
2025-12-04T23:45:18,550   copying certora_cli/CertoraProver/certoraProjectScanner.py -> build/lib/certora_cli/CertoraProver
2025-12-04T23:45:18,552   copying certora_cli/CertoraProver/certoraNodeFilters.py -> build/lib/certora_cli/CertoraProver
2025-12-04T23:45:18,554   copying certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/lib/certora_cli/CertoraProver
2025-12-04T23:45:18,557   copying certora_cli/CertoraProver/certoraSourceFinders.py -> build/lib/certora_cli/CertoraProver
2025-12-04T23:45:18,559   copying certora_cli/CertoraProver/certoraBuildRust.py -> build/lib/certora_cli/CertoraProver
2025-12-04T23:45:18,562   copying certora_cli/CertoraProver/certoraExtensionInfo.py -> build/lib/certora_cli/CertoraProver
2025-12-04T23:45:18,565   creating build/lib/certora_cli/Shared
2025-12-04T23:45:18,566   copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared
2025-12-04T23:45:18,568   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2025-12-04T23:45:18,572   copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared
2025-12-04T23:45:18,574   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2025-12-04T23:45:18,577   copying certora_cli/Shared/proverCommon.py -> build/lib/certora_cli/Shared
2025-12-04T23:45:18,579   copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared
2025-12-04T23:45:18,582   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2025-12-04T23:45:18,584   creating build/lib/certora_cli/CertoraProver/Compiler
2025-12-04T23:45:18,585   copying certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-12-04T23:45:18,588   copying certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-12-04T23:45:18,590   copying certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-12-04T23:45:18,592   copying certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-12-04T23:45:18,596   copying certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-12-04T23:45:18,598   copying certora_cli/CertoraProver/Compiler/__init__.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-12-04T23:45:18,600   copying certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-12-04T23:45:18,602   running egg_info
2025-12-04T23:45:18,630   writing certora_cli_alpha_master.egg-info/PKG-INFO
2025-12-04T23:45:18,634   writing dependency_links to certora_cli_alpha_master.egg-info/dependency_links.txt
2025-12-04T23:45:18,636   writing entry points to certora_cli_alpha_master.egg-info/entry_points.txt
2025-12-04T23:45:18,638   writing requirements to certora_cli_alpha_master.egg-info/requires.txt
2025-12-04T23:45:18,640   writing top-level names to certora_cli_alpha_master.egg-info/top_level.txt
2025-12-04T23:45:18,679   reading manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt'
2025-12-04T23:45:18,688   reading manifest template 'MANIFEST.in'
2025-12-04T23:45:18,693   warning: no files found matching 'gambit' under directory 'certora_bins'
2025-12-04T23:45:18,796   adding license file 'LICENSE'
2025-12-04T23:45:18,802   writing manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt'
2025-12-04T23:45:18,809   copying certora_jars/ASTExtraction.jar -> build/lib/certora_jars
2025-12-04T23:45:19,147   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2025-12-04T23:45:19,149   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2025-12-04T23:45:19,482   copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck
2025-12-04T23:45:19,484   copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck
2025-12-04T23:45:19,486   copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck
2025-12-04T23:45:19,488   copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck
2025-12-04T23:45:19,491   copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck
2025-12-04T23:45:19,493   copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck
2025-12-04T23:45:19,528   /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:90: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2025-12-04T23:45:19,529   !!

2025-12-04T23:45:19,531           ********************************************************************************
2025-12-04T23:45:19,531           Please avoid running ``setup.py`` directly.
2025-12-04T23:45:19,531           Instead, use pypa/build, pypa/installer or other
2025-12-04T23:45:19,532           standards-based tools.

2025-12-04T23:45:19,533           This deprecation is overdue, please update your project and remove deprecated
2025-12-04T23:45:19,533           calls to avoid build errors in the future.

2025-12-04T23:45:19,534           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2025-12-04T23:45:19,535           ********************************************************************************

2025-12-04T23:45:19,536   !!
2025-12-04T23:45:19,536     self.initialize_options()
2025-12-04T23:45:19,559   installing to build/bdist.linux-armv7l/wheel
2025-12-04T23:45:19,560   running install
2025-12-04T23:45:19,584   running install_lib
2025-12-04T23:45:19,612   creating build/bdist.linux-armv7l/wheel
2025-12-04T23:45:19,614   creating build/bdist.linux-armv7l/wheel/certora_bins
2025-12-04T23:45:19,615   copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins
2025-12-04T23:45:19,618   creating build/bdist.linux-armv7l/wheel/certora_cli
2025-12-04T23:45:19,619   copying build/lib/certora_cli/certoraCVLFormatter.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-12-04T23:45:19,622   creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate
2025-12-04T23:45:19,623   copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2025-12-04T23:45:19,627   copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2025-12-04T23:45:19,630   copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2025-12-04T23:45:19,632   copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2025-12-04T23:45:19,634   copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2025-12-04T23:45:19,636   copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2025-12-04T23:45:19,638   copying build/lib/certora_cli/certoraRanger.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-12-04T23:45:19,640   copying build/lib/certora_cli/rustMutator.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-12-04T23:45:19,643   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-12-04T23:45:19,645   creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2025-12-04T23:45:19,646   copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-12-04T23:45:19,649   copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-12-04T23:45:19,650   copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-12-04T23:45:19,652   copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-12-04T23:45:19,654   copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-12-04T23:45:19,655   copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-12-04T23:45:19,658   copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-12-04T23:45:19,660   copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-12-04T23:45:19,662   copying build/lib/certora_cli/certoraEVMProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-12-04T23:45:19,663   copying build/lib/certora_cli/certoraSuiProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-12-04T23:45:19,666   creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver
2025-12-04T23:45:19,667   copying build/lib/certora_cli/CertoraProver/certoraApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-04T23:45:19,669   copying build/lib/certora_cli/CertoraProver/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-04T23:45:19,673   creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver/Compiler
2025-12-04T23:45:19,674   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-12-04T23:45:19,676   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-12-04T23:45:19,679   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-12-04T23:45:19,681   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-12-04T23:45:19,684   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-12-04T23:45:19,687   copying build/lib/certora_cli/CertoraProver/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-12-04T23:45:19,689   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-12-04T23:45:19,691   copying build/lib/certora_cli/CertoraProver/certoraParseBuildScript.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-04T23:45:19,693   copying build/lib/certora_cli/CertoraProver/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-04T23:45:19,696   copying build/lib/certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-04T23:45:19,699   copying build/lib/certora_cli/CertoraProver/splitRules.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-04T23:45:19,701   copying build/lib/certora_cli/CertoraProver/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-04T23:45:19,703   copying build/lib/certora_cli/CertoraProver/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-04T23:45:19,706   copying build/lib/certora_cli/CertoraProver/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-04T23:45:19,708   copying build/lib/certora_cli/CertoraProver/castingInstrumenter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-04T23:45:19,711   copying build/lib/certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-04T23:45:19,713   copying build/lib/certora_cli/CertoraProver/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-04T23:45:19,715   copying build/lib/certora_cli/CertoraProver/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-04T23:45:19,722   copying build/lib/certora_cli/CertoraProver/certoraBuildSui.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-04T23:45:19,725   copying build/lib/certora_cli/CertoraProver/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-04T23:45:19,727   copying build/lib/certora_cli/CertoraProver/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-04T23:45:19,730   copying build/lib/certora_cli/CertoraProver/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-04T23:45:19,733   copying build/lib/certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-04T23:45:19,736   copying build/lib/certora_cli/CertoraProver/storageExtension.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-04T23:45:19,738   copying build/lib/certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-04T23:45:19,741   copying build/lib/certora_cli/CertoraProver/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-04T23:45:19,744   copying build/lib/certora_cli/CertoraProver/erc7201.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-04T23:45:19,746   copying build/lib/certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-04T23:45:19,748   copying build/lib/certora_cli/CertoraProver/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-04T23:45:19,751   copying build/lib/certora_cli/CertoraProver/certoraProjectScanner.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-04T23:45:19,753   copying build/lib/certora_cli/CertoraProver/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-04T23:45:19,756   copying build/lib/certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-04T23:45:19,758   copying build/lib/certora_cli/CertoraProver/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-04T23:45:19,761   copying build/lib/certora_cli/CertoraProver/certoraBuildRust.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-04T23:45:19,763   copying build/lib/certora_cli/CertoraProver/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-04T23:45:19,766   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-12-04T23:45:19,767   copying build/lib/certora_cli/certoraConcord.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-12-04T23:45:19,769   copying build/lib/certora_cli/certoraSolanaProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-12-04T23:45:19,771   copying build/lib/certora_cli/certoraSorobanProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-12-04T23:45:19,773   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2025-12-04T23:45:19,775   copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-12-04T23:45:19,777   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-12-04T23:45:19,781   copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-12-04T23:45:19,784   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-12-04T23:45:19,786   copying build/lib/certora_cli/Shared/proverCommon.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-12-04T23:45:19,789   copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-12-04T23:45:19,792   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-12-04T23:45:19,794   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-12-04T23:45:19,796   copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-12-04T23:45:19,799   creating build/bdist.linux-armv7l/wheel/certora_jars
2025-12-04T23:45:19,800   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars
2025-12-04T23:45:20,117   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars
2025-12-04T23:45:20,119   copying build/lib/certora_jars/ASTExtraction.jar -> build/bdist.linux-armv7l/wheel/./certora_jars
2025-12-04T23:45:20,447   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars
2025-12-04T23:45:20,449   running install_egg_info
2025-12-04T23:45:20,483   Copying certora_cli_alpha_master.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_alpha_master-20251204.22.15.393566-py3.11.egg-info
2025-12-04T23:45:20,496   running install_scripts
2025-12-04T23:45:20,510   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_master-20251204.22.15.393566.dist-info/WHEEL
2025-12-04T23:45:20,513   creating '/tmp/pip-wheel-04pvrop_/certora_cli_alpha_master-20251204.22.15.393566-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2025-12-04T23:45:20,516   adding 'certora_bins/__init__.py'
2025-12-04T23:45:20,517   adding 'certora_cli/__init__.py'
2025-12-04T23:45:20,519   adding 'certora_cli/certoraCVLFormatter.py'
2025-12-04T23:45:20,520   adding 'certora_cli/certoraConcord.py'
2025-12-04T23:45:20,522   adding 'certora_cli/certoraEVMProver.py'
2025-12-04T23:45:20,523   adding 'certora_cli/certoraEqCheck.py'
2025-12-04T23:45:20,525   adding 'certora_cli/certoraMutate.py'
2025-12-04T23:45:20,526   adding 'certora_cli/certoraRanger.py'
2025-12-04T23:45:20,528   adding 'certora_cli/certoraRun.py'
2025-12-04T23:45:20,529   adding 'certora_cli/certoraSolanaProver.py'
2025-12-04T23:45:20,530   adding 'certora_cli/certoraSorobanProver.py'
2025-12-04T23:45:20,532   adding 'certora_cli/certoraSuiProver.py'
2025-12-04T23:45:20,534   adding 'certora_cli/rustMutator.py'
2025-12-04T23:45:20,536   adding 'certora_cli/CertoraProver/__init__.py'
2025-12-04T23:45:20,538   adding 'certora_cli/CertoraProver/castingInstrumenter.py'
2025-12-04T23:45:20,539   adding 'certora_cli/CertoraProver/certoraApp.py'
2025-12-04T23:45:20,566   adding 'certora_cli/CertoraProver/certoraBuild.py'
2025-12-04T23:45:20,569   adding 'certora_cli/CertoraProver/certoraBuildCacheManager.py'
2025-12-04T23:45:20,572   adding 'certora_cli/CertoraProver/certoraBuildDataClasses.py'
2025-12-04T23:45:20,574   adding 'certora_cli/CertoraProver/certoraBuildRust.py'
2025-12-04T23:45:20,575   adding 'certora_cli/CertoraProver/certoraBuildSui.py'
2025-12-04T23:45:20,581   adding 'certora_cli/CertoraProver/certoraCloudIO.py'
2025-12-04T23:45:20,584   adding 'certora_cli/CertoraProver/certoraCollectConfigurationLayout.py'
2025-12-04T23:45:20,586   adding 'certora_cli/CertoraProver/certoraCollectRunMetadata.py'
2025-12-04T23:45:20,587   adding 'certora_cli/CertoraProver/certoraCompilerParameters.py'
2025-12-04T23:45:20,589   adding 'certora_cli/CertoraProver/certoraConfigIO.py'
2025-12-04T23:45:20,593   adding 'certora_cli/CertoraProver/certoraContext.py'
2025-12-04T23:45:20,598   adding 'certora_cli/CertoraProver/certoraContextAttributes.py'
2025-12-04T23:45:20,600   adding 'certora_cli/CertoraProver/certoraContextClass.py'
2025-12-04T23:45:20,605   adding 'certora_cli/CertoraProver/certoraContextValidator.py'
2025-12-04T23:45:20,607   adding 'certora_cli/CertoraProver/certoraContractFuncs.py'
2025-12-04T23:45:20,609   adding 'certora_cli/CertoraProver/certoraExtensionInfo.py'
2025-12-04T23:45:20,611   adding 'certora_cli/CertoraProver/certoraJobList.py'
2025-12-04T23:45:20,613   adding 'certora_cli/CertoraProver/certoraMiniSpecParser.py'
2025-12-04T23:45:20,614   adding 'certora_cli/CertoraProver/certoraNodeFilters.py'
2025-12-04T23:45:20,615   adding 'certora_cli/CertoraProver/certoraParseBuildScript.py'
2025-12-04T23:45:20,617   adding 'certora_cli/CertoraProver/certoraProjectScanner.py'
2025-12-04T23:45:20,619   adding 'certora_cli/CertoraProver/certoraSourceFinders.py'
2025-12-04T23:45:20,623   adding 'certora_cli/CertoraProver/certoraType.py'
2025-12-04T23:45:20,625   adding 'certora_cli/CertoraProver/certoraVerifyGenerator.py'
2025-12-04T23:45:20,626   adding 'certora_cli/CertoraProver/erc7201.py'
2025-12-04T23:45:20,628   adding 'certora_cli/CertoraProver/splitRules.py'
2025-12-04T23:45:20,630   adding 'certora_cli/CertoraProver/storageExtension.py'
2025-12-04T23:45:20,632   adding 'certora_cli/CertoraProver/Compiler/CompilerCollector.py'
2025-12-04T23:45:20,634   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py'
2025-12-04T23:45:20,635   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py'
2025-12-04T23:45:20,636   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py'
2025-12-04T23:45:20,644   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py'
2025-12-04T23:45:20,646   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py'
2025-12-04T23:45:20,647   adding 'certora_cli/CertoraProver/Compiler/__init__.py'
2025-12-04T23:45:20,649   adding 'certora_cli/EquivalenceCheck/Eq_default.conf'
2025-12-04T23:45:20,650   adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec'
2025-12-04T23:45:20,651   adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec'
2025-12-04T23:45:20,652   adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf'
2025-12-04T23:45:20,653   adding 'certora_cli/EquivalenceCheck/Eq_template.spec'
2025-12-04T23:45:20,655   adding 'certora_cli/EquivalenceCheck/__init__.py'
2025-12-04T23:45:20,657   adding 'certora_cli/EquivalenceCheck/equivCheck.py'
2025-12-04T23:45:20,658   adding 'certora_cli/EquivalenceCheck/sanity.spec'
2025-12-04T23:45:20,660   adding 'certora_cli/Mutate/__init__.py'
2025-12-04T23:45:20,670   adding 'certora_cli/Mutate/mutateApp.py'
2025-12-04T23:45:20,672   adding 'certora_cli/Mutate/mutateAttributes.py'
2025-12-04T23:45:20,674   adding 'certora_cli/Mutate/mutateConstants.py'
2025-12-04T23:45:20,675   adding 'certora_cli/Mutate/mutateUtil.py'
2025-12-04T23:45:20,677   adding 'certora_cli/Mutate/mutateValidate.py'
2025-12-04T23:45:20,680   adding 'certora_cli/Shared/ExpectedComparator.py'
2025-12-04T23:45:20,681   adding 'certora_cli/Shared/__init__.py'
2025-12-04T23:45:20,683   adding 'certora_cli/Shared/certoraAttrUtil.py'
2025-12-04T23:45:20,685   adding 'certora_cli/Shared/certoraLogging.py'
2025-12-04T23:45:20,693   adding 'certora_cli/Shared/certoraUtils.py'
2025-12-04T23:45:20,698   adding 'certora_cli/Shared/certoraValidateFuncs.py'
2025-12-04T23:45:20,701   adding 'certora_cli/Shared/proverCommon.py'
2025-12-04T23:45:20,703   adding 'certora_cli_alpha_master-20251204.22.15.393566.dist-info/licenses/LICENSE'
2025-12-04T23:45:23,156   adding 'certora_jars/ASTExtraction.jar'
2025-12-04T23:45:23,292   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2025-12-04T23:45:25,743   adding 'certora_jars/Typechecker.jar'
2025-12-04T23:45:25,880   adding 'certora_jars/__init__.py'
2025-12-04T23:45:25,881   adding 'certora_cli_alpha_master-20251204.22.15.393566.dist-info/METADATA'
2025-12-04T23:45:25,882   adding 'certora_cli_alpha_master-20251204.22.15.393566.dist-info/WHEEL'
2025-12-04T23:45:25,883   adding 'certora_cli_alpha_master-20251204.22.15.393566.dist-info/entry_points.txt'
2025-12-04T23:45:25,884   adding 'certora_cli_alpha_master-20251204.22.15.393566.dist-info/top_level.txt'
2025-12-04T23:45:25,886   adding 'certora_cli_alpha_master-20251204.22.15.393566.dist-info/RECORD'
2025-12-04T23:45:26,321   removing build/bdist.linux-armv7l/wheel
2025-12-04T23:45:26,469   Building wheel for certora-cli-alpha-master (setup.py): finished with status 'done'
2025-12-04T23:45:26,870   Created wheel for certora-cli-alpha-master: filename=certora_cli_alpha_master-20251204.22.15.393566-py3-none-any.whl size=40891670 sha256=beac6f7d179264c8374448ebb92d064fb23b817dd5effe0772abad4eae5448f4
2025-12-04T23:45:26,871   Stored in directory: /tmp/pip-ephem-wheel-cache-xhn5vetn/wheels/19/52/8f/423d14fbfa5aa593e5e74b33b4a5352871f037e5e1a415cb8e
2025-12-04T23:45:26,897 Successfully built certora-cli-alpha-master
2025-12-04T23:45:28,344 Removed build tracker: '/tmp/pip-build-tracker-u4uwd7mw'