2025-12-03T04:45:56,141 Created temporary directory: /tmp/pip-ephem-wheel-cache-73lzil21 2025-12-03T04:45:56,143 Created temporary directory: /tmp/pip-build-tracker-s7gkz57i 2025-12-03T04:45:56,143 Initialized build tracking at /tmp/pip-build-tracker-s7gkz57i 2025-12-03T04:45:56,144 Created build tracker: /tmp/pip-build-tracker-s7gkz57i 2025-12-03T04:45:56,144 Entered build tracker: /tmp/pip-build-tracker-s7gkz57i 2025-12-03T04:45:56,145 Created temporary directory: /tmp/pip-wheel-p3sqil8z 2025-12-03T04:45:56,149 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-03T04:45:56,151 Created temporary directory: /tmp/pip-ephem-wheel-cache-81hgg7xo 2025-12-03T04:45:56,174 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-12-03T04:45:56,177 2 location(s) to search for versions of certora-cli-alpha-master: 2025-12-03T04:45:56,177 * https://pypi.org/simple/certora-cli-alpha-master/ 2025-12-03T04:45:56,177 * https://www.piwheels.org/simple/certora-cli-alpha-master/ 2025-12-03T04:45:56,178 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-master/ 2025-12-03T04:45:56,179 Getting page https://pypi.org/simple/certora-cli-alpha-master/ 2025-12-03T04:45:56,181 Found index url https://pypi.org/simple 2025-12-03T04:45:56,394 Fetched page https://pypi.org/simple/certora-cli-alpha-master/ as application/vnd.pypi.simple.v1+json 2025-12-03T04:45:56,400 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-03T04:45:56,401 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-03T04:45:56,402 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-03T04:45:56,403 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-03T04:45:56,404 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-03T04:45:56,404 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-03T04:45:56,405 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-03T04:45:56,406 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-03T04:45:56,407 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-03T04:45:56,408 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-03T04:45:56,408 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-03T04:45:56,409 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-03T04:45:56,409 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-03T04:45:56,410 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-03T04:45:56,411 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-03T04:45:56,411 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-03T04:45:56,412 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-03T04:45:56,413 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-03T04:45:56,414 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-03T04:45:56,415 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-03T04:45:56,415 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-03T04:45:56,416 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-03T04:45:56,417 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-03T04:45:56,417 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-03T04:45:56,418 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-03T04:45:56,418 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-03T04:45:56,419 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-03T04:45:56,420 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-master/ 2025-12-03T04:45:56,421 Getting page https://www.piwheels.org/simple/certora-cli-alpha-master/ 2025-12-03T04:45:56,422 Found index url https://www.piwheels.org/simple 2025-12-03T04:45:56,580 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-master/ as text/html 2025-12-03T04:45:56,583 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-03T04:45:56,583 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-03T04:45:56,584 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-03T04:45:56,585 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-03T04:45:56,586 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-03T04:45:56,586 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-master/ 2025-12-03T04:45:56,587 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-master/ 2025-12-03T04:45:56,606 Given no hashes to check 1 links for project 'certora-cli-alpha-master': discarding no candidates 2025-12-03T04:45:56,624 Collecting certora-cli-alpha-master==20251203.3.42.874358 2025-12-03T04:45:56,627 Created temporary directory: /tmp/pip-unpack-2xh9jnof 2025-12-03T04:45:56,847 Downloading certora_cli_alpha_master-20251203.3.42.874358.tar.gz (40.8 MB) 2025-12-03T04:46:04,430 Added certora-cli-alpha-master==20251203.3.42.874358 from https://files.pythonhosted.org/packages/46/6d/5b0d4d7ba547e6f73b146427f787bee02c756de89443afed5b6919e8f7d4/certora_cli_alpha_master-20251203.3.42.874358.tar.gz to build tracker '/tmp/pip-build-tracker-s7gkz57i' 2025-12-03T04:46:04,432 Running setup.py (path:/tmp/pip-wheel-p3sqil8z/certora-cli-alpha-master_b3ddb1e8aa5145038cdef19db5a6ee2a/setup.py) egg_info for package certora-cli-alpha-master 2025-12-03T04:46:04,433 Created temporary directory: /tmp/pip-pip-egg-info-3y_shdz6 2025-12-03T04:46:04,434 Preparing metadata (setup.py): started 2025-12-03T04:46:04,435 Running command python setup.py egg_info 2025-12-03T04:46:05,360 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2025-12-03T04:46:05,361 !! 2025-12-03T04:46:05,362 ******************************************************************************** 2025-12-03T04:46:05,362 Please consider removing the following classifiers in favor of a SPDX license expression: 2025-12-03T04:46:05,363 License :: OSI Approved :: GNU General Public License v3 (GPLv3) 2025-12-03T04:46:05,365 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-12-03T04:46:05,365 ******************************************************************************** 2025-12-03T04:46:05,366 !! 2025-12-03T04:46:05,367 self._finalize_license_expression() 2025-12-03T04:46:05,391 running egg_info 2025-12-03T04:46:05,418 creating /tmp/pip-pip-egg-info-3y_shdz6/certora_cli_alpha_master.egg-info 2025-12-03T04:46:05,419 writing /tmp/pip-pip-egg-info-3y_shdz6/certora_cli_alpha_master.egg-info/PKG-INFO 2025-12-03T04:46:05,423 writing dependency_links to /tmp/pip-pip-egg-info-3y_shdz6/certora_cli_alpha_master.egg-info/dependency_links.txt 2025-12-03T04:46:05,424 writing entry points to /tmp/pip-pip-egg-info-3y_shdz6/certora_cli_alpha_master.egg-info/entry_points.txt 2025-12-03T04:46:05,426 writing requirements to /tmp/pip-pip-egg-info-3y_shdz6/certora_cli_alpha_master.egg-info/requires.txt 2025-12-03T04:46:05,427 writing top-level names to /tmp/pip-pip-egg-info-3y_shdz6/certora_cli_alpha_master.egg-info/top_level.txt 2025-12-03T04:46:05,429 writing manifest file '/tmp/pip-pip-egg-info-3y_shdz6/certora_cli_alpha_master.egg-info/SOURCES.txt' 2025-12-03T04:46:05,528 reading manifest file '/tmp/pip-pip-egg-info-3y_shdz6/certora_cli_alpha_master.egg-info/SOURCES.txt' 2025-12-03T04:46:05,530 reading manifest template 'MANIFEST.in' 2025-12-03T04:46:05,535 warning: no files found matching 'gambit' under directory 'certora_bins' 2025-12-03T04:46:05,638 adding license file 'LICENSE' 2025-12-03T04:46:05,643 writing manifest file '/tmp/pip-pip-egg-info-3y_shdz6/certora_cli_alpha_master.egg-info/SOURCES.txt' 2025-12-03T04:46:05,751 Preparing metadata (setup.py): finished with status 'done' 2025-12-03T04:46:05,755 Source in /tmp/pip-wheel-p3sqil8z/certora-cli-alpha-master_b3ddb1e8aa5145038cdef19db5a6ee2a has version 20251203.3.42.874358, which satisfies requirement certora-cli-alpha-master==20251203.3.42.874358 from https://files.pythonhosted.org/packages/46/6d/5b0d4d7ba547e6f73b146427f787bee02c756de89443afed5b6919e8f7d4/certora_cli_alpha_master-20251203.3.42.874358.tar.gz 2025-12-03T04:46:05,756 Removed certora-cli-alpha-master==20251203.3.42.874358 from https://files.pythonhosted.org/packages/46/6d/5b0d4d7ba547e6f73b146427f787bee02c756de89443afed5b6919e8f7d4/certora_cli_alpha_master-20251203.3.42.874358.tar.gz from build tracker '/tmp/pip-build-tracker-s7gkz57i' 2025-12-03T04:46:05,762 Created temporary directory: /tmp/pip-unpack-2patrth5 2025-12-03T04:46:05,763 Building wheels for collected packages: certora-cli-alpha-master 2025-12-03T04:46:05,768 Created temporary directory: /tmp/pip-wheel-ehw8dvtr 2025-12-03T04:46:05,768 Building wheel for certora-cli-alpha-master (setup.py): started 2025-12-03T04:46:05,769 Destination directory: /tmp/pip-wheel-ehw8dvtr 2025-12-03T04:46:05,770 Running command python setup.py bdist_wheel 2025-12-03T04:46:06,605 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2025-12-03T04:46:06,606 !! 2025-12-03T04:46:06,607 ******************************************************************************** 2025-12-03T04:46:06,607 Please consider removing the following classifiers in favor of a SPDX license expression: 2025-12-03T04:46:06,609 License :: OSI Approved :: GNU General Public License v3 (GPLv3) 2025-12-03T04:46:06,610 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-12-03T04:46:06,610 ******************************************************************************** 2025-12-03T04:46:06,611 !! 2025-12-03T04:46:06,612 self._finalize_license_expression() 2025-12-03T04:46:06,612 running bdist_wheel 2025-12-03T04:46:06,743 running build 2025-12-03T04:46:06,744 running build_py 2025-12-03T04:46:06,773 creating build/lib/certora_bins 2025-12-03T04:46:06,776 copying certora_bins/__init__.py -> build/lib/certora_bins 2025-12-03T04:46:06,779 creating build/lib/certora_cli 2025-12-03T04:46:06,780 copying certora_cli/certoraCVLFormatter.py -> build/lib/certora_cli 2025-12-03T04:46:06,783 copying certora_cli/certoraRanger.py -> build/lib/certora_cli 2025-12-03T04:46:06,785 copying certora_cli/rustMutator.py -> build/lib/certora_cli 2025-12-03T04:46:06,787 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2025-12-03T04:46:06,789 copying certora_cli/certoraEVMProver.py -> build/lib/certora_cli 2025-12-03T04:46:06,791 copying certora_cli/certoraSuiProver.py -> build/lib/certora_cli 2025-12-03T04:46:06,793 copying certora_cli/__init__.py -> build/lib/certora_cli 2025-12-03T04:46:06,795 copying certora_cli/certoraConcord.py -> build/lib/certora_cli 2025-12-03T04:46:06,796 copying certora_cli/certoraSolanaProver.py -> build/lib/certora_cli 2025-12-03T04:46:06,798 copying certora_cli/certoraSorobanProver.py -> build/lib/certora_cli 2025-12-03T04:46:06,800 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2025-12-03T04:46:06,803 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2025-12-03T04:46:06,805 creating build/lib/certora_jars 2025-12-03T04:46:06,806 copying certora_jars/__init__.py -> build/lib/certora_jars 2025-12-03T04:46:06,808 creating build/lib/certora_cli/Mutate 2025-12-03T04:46:06,809 copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate 2025-12-03T04:46:06,813 copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate 2025-12-03T04:46:06,815 copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate 2025-12-03T04:46:06,817 copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate 2025-12-03T04:46:06,819 copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate 2025-12-03T04:46:06,821 copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate 2025-12-03T04:46:06,824 creating build/lib/certora_cli/EquivalenceCheck 2025-12-03T04:46:06,825 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2025-12-03T04:46:06,826 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2025-12-03T04:46:06,830 creating build/lib/certora_cli/CertoraProver 2025-12-03T04:46:06,831 copying certora_cli/CertoraProver/certoraApp.py -> build/lib/certora_cli/CertoraProver 2025-12-03T04:46:06,833 copying certora_cli/CertoraProver/certoraContext.py -> build/lib/certora_cli/CertoraProver 2025-12-03T04:46:06,836 copying certora_cli/CertoraProver/certoraParseBuildScript.py -> build/lib/certora_cli/CertoraProver 2025-12-03T04:46:06,839 copying certora_cli/CertoraProver/certoraContextAttributes.py -> build/lib/certora_cli/CertoraProver 2025-12-03T04:46:06,843 copying certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/lib/certora_cli/CertoraProver 2025-12-03T04:46:06,845 copying certora_cli/CertoraProver/splitRules.py -> build/lib/certora_cli/CertoraProver 2025-12-03T04:46:06,847 copying certora_cli/CertoraProver/certoraContractFuncs.py -> build/lib/certora_cli/CertoraProver 2025-12-03T04:46:06,850 copying certora_cli/CertoraProver/certoraType.py -> build/lib/certora_cli/CertoraProver 2025-12-03T04:46:06,852 copying certora_cli/CertoraProver/certoraCompilerParameters.py -> build/lib/certora_cli/CertoraProver 2025-12-03T04:46:06,854 copying certora_cli/CertoraProver/castingInstrumenter.py -> build/lib/certora_cli/CertoraProver 2025-12-03T04:46:06,857 copying certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/lib/certora_cli/CertoraProver 2025-12-03T04:46:06,859 copying certora_cli/CertoraProver/__init__.py -> build/lib/certora_cli/CertoraProver 2025-12-03T04:46:06,861 copying certora_cli/CertoraProver/certoraBuild.py -> build/lib/certora_cli/CertoraProver 2025-12-03T04:46:06,867 copying certora_cli/CertoraProver/certoraBuildSui.py -> build/lib/certora_cli/CertoraProver 2025-12-03T04:46:06,869 copying certora_cli/CertoraProver/certoraContextClass.py -> build/lib/certora_cli/CertoraProver 2025-12-03T04:46:06,871 copying certora_cli/CertoraProver/certoraCloudIO.py -> build/lib/certora_cli/CertoraProver 2025-12-03T04:46:06,874 copying certora_cli/CertoraProver/certoraConfigIO.py -> build/lib/certora_cli/CertoraProver 2025-12-03T04:46:06,877 copying certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/lib/certora_cli/CertoraProver 2025-12-03T04:46:06,879 copying certora_cli/CertoraProver/storageExtension.py -> build/lib/certora_cli/CertoraProver 2025-12-03T04:46:06,882 copying certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/lib/certora_cli/CertoraProver 2025-12-03T04:46:06,884 copying certora_cli/CertoraProver/certoraContextValidator.py -> build/lib/certora_cli/CertoraProver 2025-12-03T04:46:06,887 copying certora_cli/CertoraProver/erc7201.py -> build/lib/certora_cli/CertoraProver 2025-12-03T04:46:06,889 copying certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/lib/certora_cli/CertoraProver 2025-12-03T04:46:06,892 copying certora_cli/CertoraProver/certoraJobList.py -> build/lib/certora_cli/CertoraProver 2025-12-03T04:46:06,894 copying certora_cli/CertoraProver/certoraProjectScanner.py -> build/lib/certora_cli/CertoraProver 2025-12-03T04:46:06,897 copying certora_cli/CertoraProver/certoraNodeFilters.py -> build/lib/certora_cli/CertoraProver 2025-12-03T04:46:06,899 copying certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/lib/certora_cli/CertoraProver 2025-12-03T04:46:06,901 copying certora_cli/CertoraProver/certoraSourceFinders.py -> build/lib/certora_cli/CertoraProver 2025-12-03T04:46:06,904 copying certora_cli/CertoraProver/certoraBuildRust.py -> build/lib/certora_cli/CertoraProver 2025-12-03T04:46:06,906 copying certora_cli/CertoraProver/certoraExtensionInfo.py -> build/lib/certora_cli/CertoraProver 2025-12-03T04:46:06,909 creating build/lib/certora_cli/Shared 2025-12-03T04:46:06,910 copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared 2025-12-03T04:46:06,912 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2025-12-03T04:46:06,916 copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared 2025-12-03T04:46:06,918 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2025-12-03T04:46:06,921 copying certora_cli/Shared/proverCommon.py -> build/lib/certora_cli/Shared 2025-12-03T04:46:06,923 copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared 2025-12-03T04:46:06,926 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2025-12-03T04:46:06,929 creating build/lib/certora_cli/CertoraProver/Compiler 2025-12-03T04:46:06,930 copying certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-12-03T04:46:06,932 copying certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-12-03T04:46:06,934 copying certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-12-03T04:46:06,937 copying certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-12-03T04:46:06,941 copying certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-12-03T04:46:06,943 copying certora_cli/CertoraProver/Compiler/__init__.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-12-03T04:46:06,945 copying certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-12-03T04:46:06,947 running egg_info 2025-12-03T04:46:06,976 writing certora_cli_alpha_master.egg-info/PKG-INFO 2025-12-03T04:46:06,979 writing dependency_links to certora_cli_alpha_master.egg-info/dependency_links.txt 2025-12-03T04:46:06,981 writing entry points to certora_cli_alpha_master.egg-info/entry_points.txt 2025-12-03T04:46:06,982 writing requirements to certora_cli_alpha_master.egg-info/requires.txt 2025-12-03T04:46:06,984 writing top-level names to certora_cli_alpha_master.egg-info/top_level.txt 2025-12-03T04:46:07,023 reading manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' 2025-12-03T04:46:07,031 reading manifest template 'MANIFEST.in' 2025-12-03T04:46:07,036 warning: no files found matching 'gambit' under directory 'certora_bins' 2025-12-03T04:46:07,140 adding license file 'LICENSE' 2025-12-03T04:46:07,146 writing manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' 2025-12-03T04:46:07,153 copying certora_jars/ASTExtraction.jar -> build/lib/certora_jars 2025-12-03T04:46:08,023 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2025-12-03T04:46:08,025 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2025-12-03T04:46:08,379 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2025-12-03T04:46:08,382 copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck 2025-12-03T04:46:08,385 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2025-12-03T04:46:08,387 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2025-12-03T04:46:08,390 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2025-12-03T04:46:08,392 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2025-12-03T04:46:08,428 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:90: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2025-12-03T04:46:08,429 !! 2025-12-03T04:46:08,430 ******************************************************************************** 2025-12-03T04:46:08,431 Please avoid running ``setup.py`` directly. 2025-12-03T04:46:08,431 Instead, use pypa/build, pypa/installer or other 2025-12-03T04:46:08,432 standards-based tools. 2025-12-03T04:46:08,433 This deprecation is overdue, please update your project and remove deprecated 2025-12-03T04:46:08,433 calls to avoid build errors in the future. 2025-12-03T04:46:08,434 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2025-12-03T04:46:08,435 ******************************************************************************** 2025-12-03T04:46:08,436 !! 2025-12-03T04:46:08,436 self.initialize_options() 2025-12-03T04:46:08,458 installing to build/bdist.linux-armv7l/wheel 2025-12-03T04:46:08,458 running install 2025-12-03T04:46:08,482 running install_lib 2025-12-03T04:46:08,510 creating build/bdist.linux-armv7l/wheel 2025-12-03T04:46:08,512 creating build/bdist.linux-armv7l/wheel/certora_bins 2025-12-03T04:46:08,513 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins 2025-12-03T04:46:08,515 creating build/bdist.linux-armv7l/wheel/certora_cli 2025-12-03T04:46:08,516 copying build/lib/certora_cli/certoraCVLFormatter.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-03T04:46:08,519 creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate 2025-12-03T04:46:08,520 copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-12-03T04:46:08,524 copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-12-03T04:46:08,527 copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-12-03T04:46:08,529 copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-12-03T04:46:08,531 copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-12-03T04:46:08,533 copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-12-03T04:46:08,535 copying build/lib/certora_cli/certoraRanger.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-03T04:46:08,537 copying build/lib/certora_cli/rustMutator.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-03T04:46:08,539 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-03T04:46:08,542 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2025-12-03T04:46:08,543 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-12-03T04:46:08,545 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-12-03T04:46:08,546 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-12-03T04:46:08,548 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-12-03T04:46:08,551 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-12-03T04:46:08,553 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-12-03T04:46:08,556 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-12-03T04:46:08,558 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-12-03T04:46:08,560 copying build/lib/certora_cli/certoraEVMProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-03T04:46:08,563 copying build/lib/certora_cli/certoraSuiProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-03T04:46:08,566 creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver 2025-12-03T04:46:08,567 copying build/lib/certora_cli/CertoraProver/certoraApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-03T04:46:08,570 copying build/lib/certora_cli/CertoraProver/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-03T04:46:08,574 creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver/Compiler 2025-12-03T04:46:08,575 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-12-03T04:46:08,578 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-12-03T04:46:08,580 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-12-03T04:46:08,582 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-12-03T04:46:08,585 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-12-03T04:46:08,588 copying build/lib/certora_cli/CertoraProver/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-12-03T04:46:08,590 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-12-03T04:46:08,592 copying build/lib/certora_cli/CertoraProver/certoraParseBuildScript.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-03T04:46:08,594 copying build/lib/certora_cli/CertoraProver/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-03T04:46:08,597 copying build/lib/certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-03T04:46:08,600 copying build/lib/certora_cli/CertoraProver/splitRules.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-03T04:46:08,602 copying build/lib/certora_cli/CertoraProver/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-03T04:46:08,604 copying build/lib/certora_cli/CertoraProver/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-03T04:46:08,607 copying build/lib/certora_cli/CertoraProver/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-03T04:46:08,609 copying build/lib/certora_cli/CertoraProver/castingInstrumenter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-03T04:46:08,612 copying build/lib/certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-03T04:46:08,614 copying build/lib/certora_cli/CertoraProver/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-03T04:46:08,616 copying build/lib/certora_cli/CertoraProver/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-03T04:46:08,660 copying build/lib/certora_cli/CertoraProver/certoraBuildSui.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-03T04:46:08,663 copying build/lib/certora_cli/CertoraProver/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-03T04:46:08,665 copying build/lib/certora_cli/CertoraProver/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-03T04:46:08,669 copying build/lib/certora_cli/CertoraProver/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-03T04:46:08,671 copying build/lib/certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-03T04:46:08,674 copying build/lib/certora_cli/CertoraProver/storageExtension.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-03T04:46:08,677 copying build/lib/certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-03T04:46:08,680 copying build/lib/certora_cli/CertoraProver/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-03T04:46:08,683 copying build/lib/certora_cli/CertoraProver/erc7201.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-03T04:46:08,685 copying build/lib/certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-03T04:46:08,687 copying build/lib/certora_cli/CertoraProver/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-03T04:46:08,689 copying build/lib/certora_cli/CertoraProver/certoraProjectScanner.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-03T04:46:08,691 copying build/lib/certora_cli/CertoraProver/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-03T04:46:08,693 copying build/lib/certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-03T04:46:08,696 copying build/lib/certora_cli/CertoraProver/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-03T04:46:08,699 copying build/lib/certora_cli/CertoraProver/certoraBuildRust.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-03T04:46:08,702 copying build/lib/certora_cli/CertoraProver/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-03T04:46:08,705 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-03T04:46:08,706 copying build/lib/certora_cli/certoraConcord.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-03T04:46:08,708 copying build/lib/certora_cli/certoraSolanaProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-03T04:46:08,711 copying build/lib/certora_cli/certoraSorobanProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-03T04:46:08,715 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2025-12-03T04:46:08,716 copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-12-03T04:46:08,719 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-12-03T04:46:08,725 copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-12-03T04:46:08,728 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-12-03T04:46:08,732 copying build/lib/certora_cli/Shared/proverCommon.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-12-03T04:46:08,735 copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-12-03T04:46:08,738 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-12-03T04:46:08,740 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-03T04:46:08,742 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-03T04:46:08,745 creating build/bdist.linux-armv7l/wheel/certora_jars 2025-12-03T04:46:08,746 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-12-03T04:46:09,602 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-12-03T04:46:09,608 copying build/lib/certora_jars/ASTExtraction.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-12-03T04:46:09,937 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-12-03T04:46:09,938 running install_egg_info 2025-12-03T04:46:09,974 Copying certora_cli_alpha_master.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_alpha_master-20251203.3.42.874358-py3.11.egg-info 2025-12-03T04:46:09,986 running install_scripts 2025-12-03T04:46:09,999 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_master-20251203.3.42.874358.dist-info/WHEEL 2025-12-03T04:46:10,001 creating '/tmp/pip-wheel-ehw8dvtr/certora_cli_alpha_master-20251203.3.42.874358-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2025-12-03T04:46:10,004 adding 'certora_bins/__init__.py' 2025-12-03T04:46:10,005 adding 'certora_cli/__init__.py' 2025-12-03T04:46:10,007 adding 'certora_cli/certoraCVLFormatter.py' 2025-12-03T04:46:10,008 adding 'certora_cli/certoraConcord.py' 2025-12-03T04:46:10,010 adding 'certora_cli/certoraEVMProver.py' 2025-12-03T04:46:10,011 adding 'certora_cli/certoraEqCheck.py' 2025-12-03T04:46:10,012 adding 'certora_cli/certoraMutate.py' 2025-12-03T04:46:10,014 adding 'certora_cli/certoraRanger.py' 2025-12-03T04:46:10,016 adding 'certora_cli/certoraRun.py' 2025-12-03T04:46:10,017 adding 'certora_cli/certoraSolanaProver.py' 2025-12-03T04:46:10,018 adding 'certora_cli/certoraSorobanProver.py' 2025-12-03T04:46:10,020 adding 'certora_cli/certoraSuiProver.py' 2025-12-03T04:46:10,022 adding 'certora_cli/rustMutator.py' 2025-12-03T04:46:10,024 adding 'certora_cli/CertoraProver/__init__.py' 2025-12-03T04:46:10,026 adding 'certora_cli/CertoraProver/castingInstrumenter.py' 2025-12-03T04:46:10,028 adding 'certora_cli/CertoraProver/certoraApp.py' 2025-12-03T04:46:10,057 adding 'certora_cli/CertoraProver/certoraBuild.py' 2025-12-03T04:46:10,061 adding 'certora_cli/CertoraProver/certoraBuildCacheManager.py' 2025-12-03T04:46:10,063 adding 'certora_cli/CertoraProver/certoraBuildDataClasses.py' 2025-12-03T04:46:10,065 adding 'certora_cli/CertoraProver/certoraBuildRust.py' 2025-12-03T04:46:10,066 adding 'certora_cli/CertoraProver/certoraBuildSui.py' 2025-12-03T04:46:10,072 adding 'certora_cli/CertoraProver/certoraCloudIO.py' 2025-12-03T04:46:10,075 adding 'certora_cli/CertoraProver/certoraCollectConfigurationLayout.py' 2025-12-03T04:46:10,077 adding 'certora_cli/CertoraProver/certoraCollectRunMetadata.py' 2025-12-03T04:46:10,079 adding 'certora_cli/CertoraProver/certoraCompilerParameters.py' 2025-12-03T04:46:10,081 adding 'certora_cli/CertoraProver/certoraConfigIO.py' 2025-12-03T04:46:10,085 adding 'certora_cli/CertoraProver/certoraContext.py' 2025-12-03T04:46:10,090 adding 'certora_cli/CertoraProver/certoraContextAttributes.py' 2025-12-03T04:46:10,092 adding 'certora_cli/CertoraProver/certoraContextClass.py' 2025-12-03T04:46:10,098 adding 'certora_cli/CertoraProver/certoraContextValidator.py' 2025-12-03T04:46:10,100 adding 'certora_cli/CertoraProver/certoraContractFuncs.py' 2025-12-03T04:46:10,102 adding 'certora_cli/CertoraProver/certoraExtensionInfo.py' 2025-12-03T04:46:10,104 adding 'certora_cli/CertoraProver/certoraJobList.py' 2025-12-03T04:46:10,106 adding 'certora_cli/CertoraProver/certoraMiniSpecParser.py' 2025-12-03T04:46:10,107 adding 'certora_cli/CertoraProver/certoraNodeFilters.py' 2025-12-03T04:46:10,109 adding 'certora_cli/CertoraProver/certoraParseBuildScript.py' 2025-12-03T04:46:10,111 adding 'certora_cli/CertoraProver/certoraProjectScanner.py' 2025-12-03T04:46:10,113 adding 'certora_cli/CertoraProver/certoraSourceFinders.py' 2025-12-03T04:46:10,116 adding 'certora_cli/CertoraProver/certoraType.py' 2025-12-03T04:46:10,119 adding 'certora_cli/CertoraProver/certoraVerifyGenerator.py' 2025-12-03T04:46:10,120 adding 'certora_cli/CertoraProver/erc7201.py' 2025-12-03T04:46:10,121 adding 'certora_cli/CertoraProver/splitRules.py' 2025-12-03T04:46:10,124 adding 'certora_cli/CertoraProver/storageExtension.py' 2025-12-03T04:46:10,126 adding 'certora_cli/CertoraProver/Compiler/CompilerCollector.py' 2025-12-03T04:46:10,128 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py' 2025-12-03T04:46:10,129 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py' 2025-12-03T04:46:10,130 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py' 2025-12-03T04:46:10,138 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py' 2025-12-03T04:46:10,140 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py' 2025-12-03T04:46:10,141 adding 'certora_cli/CertoraProver/Compiler/__init__.py' 2025-12-03T04:46:10,143 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2025-12-03T04:46:10,144 adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec' 2025-12-03T04:46:10,145 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2025-12-03T04:46:10,146 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2025-12-03T04:46:10,147 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2025-12-03T04:46:10,148 adding 'certora_cli/EquivalenceCheck/__init__.py' 2025-12-03T04:46:10,151 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2025-12-03T04:46:10,152 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2025-12-03T04:46:10,154 adding 'certora_cli/Mutate/__init__.py' 2025-12-03T04:46:10,164 adding 'certora_cli/Mutate/mutateApp.py' 2025-12-03T04:46:10,166 adding 'certora_cli/Mutate/mutateAttributes.py' 2025-12-03T04:46:10,168 adding 'certora_cli/Mutate/mutateConstants.py' 2025-12-03T04:46:10,170 adding 'certora_cli/Mutate/mutateUtil.py' 2025-12-03T04:46:10,171 adding 'certora_cli/Mutate/mutateValidate.py' 2025-12-03T04:46:10,175 adding 'certora_cli/Shared/ExpectedComparator.py' 2025-12-03T04:46:10,176 adding 'certora_cli/Shared/__init__.py' 2025-12-03T04:46:10,178 adding 'certora_cli/Shared/certoraAttrUtil.py' 2025-12-03T04:46:10,180 adding 'certora_cli/Shared/certoraLogging.py' 2025-12-03T04:46:10,188 adding 'certora_cli/Shared/certoraUtils.py' 2025-12-03T04:46:10,194 adding 'certora_cli/Shared/certoraValidateFuncs.py' 2025-12-03T04:46:10,196 adding 'certora_cli/Shared/proverCommon.py' 2025-12-03T04:46:10,199 adding 'certora_cli_alpha_master-20251203.3.42.874358.dist-info/licenses/LICENSE' 2025-12-03T04:46:12,636 adding 'certora_jars/ASTExtraction.jar' 2025-12-03T04:46:12,772 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2025-12-03T04:46:15,204 adding 'certora_jars/Typechecker.jar' 2025-12-03T04:46:15,340 adding 'certora_jars/__init__.py' 2025-12-03T04:46:15,341 adding 'certora_cli_alpha_master-20251203.3.42.874358.dist-info/METADATA' 2025-12-03T04:46:15,342 adding 'certora_cli_alpha_master-20251203.3.42.874358.dist-info/WHEEL' 2025-12-03T04:46:15,343 adding 'certora_cli_alpha_master-20251203.3.42.874358.dist-info/entry_points.txt' 2025-12-03T04:46:15,344 adding 'certora_cli_alpha_master-20251203.3.42.874358.dist-info/top_level.txt' 2025-12-03T04:46:15,346 adding 'certora_cli_alpha_master-20251203.3.42.874358.dist-info/RECORD' 2025-12-03T04:46:15,823 removing build/bdist.linux-armv7l/wheel 2025-12-03T04:46:15,974 Building wheel for certora-cli-alpha-master (setup.py): finished with status 'done' 2025-12-03T04:46:16,916 Created wheel for certora-cli-alpha-master: filename=certora_cli_alpha_master-20251203.3.42.874358-py3-none-any.whl size=40891574 sha256=5347a4e1b35b7eba372ea808e571662c7322ee0a4bb1b2fccb41587bfea93cfe 2025-12-03T04:46:16,917 Stored in directory: /tmp/pip-ephem-wheel-cache-81hgg7xo/wheels/1c/bf/a8/c370805394abf9d5d9f32c70ba12f91ce635072caa7ea64b0c 2025-12-03T04:46:16,942 Successfully built certora-cli-alpha-master 2025-12-03T04:46:17,917 Removed build tracker: '/tmp/pip-build-tracker-s7gkz57i'