2025-12-02T21:48:07,350 Created temporary directory: /tmp/pip-ephem-wheel-cache-h75ef4_m 2025-12-02T21:48:07,351 Created temporary directory: /tmp/pip-build-tracker-gbbvvcau 2025-12-02T21:48:07,352 Initialized build tracking at /tmp/pip-build-tracker-gbbvvcau 2025-12-02T21:48:07,352 Created build tracker: /tmp/pip-build-tracker-gbbvvcau 2025-12-02T21:48:07,353 Entered build tracker: /tmp/pip-build-tracker-gbbvvcau 2025-12-02T21:48:07,354 Created temporary directory: /tmp/pip-wheel-akea5u1w 2025-12-02T21:48:07,357 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-02T21:48:07,359 Created temporary directory: /tmp/pip-ephem-wheel-cache-rlb15v_i 2025-12-02T21:48:07,383 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-12-02T21:48:07,387 2 location(s) to search for versions of certora-cli-alpha-master: 2025-12-02T21:48:07,387 * https://pypi.org/simple/certora-cli-alpha-master/ 2025-12-02T21:48:07,387 * https://www.piwheels.org/simple/certora-cli-alpha-master/ 2025-12-02T21:48:07,388 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-master/ 2025-12-02T21:48:07,389 Getting page https://pypi.org/simple/certora-cli-alpha-master/ 2025-12-02T21:48:07,390 Found index url https://pypi.org/simple 2025-12-02T21:48:07,606 Fetched page https://pypi.org/simple/certora-cli-alpha-master/ as application/vnd.pypi.simple.v1+json 2025-12-02T21:48:07,610 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-02T21:48:07,611 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-02T21:48:07,611 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-02T21:48:07,613 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-02T21:48:07,614 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-02T21:48:07,614 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-02T21:48:07,615 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-02T21:48:07,616 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-02T21:48:07,617 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-02T21:48:07,617 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-02T21:48:07,618 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-02T21:48:07,618 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-02T21:48:07,619 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-02T21:48:07,619 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-02T21:48:07,620 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-02T21:48:07,621 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-master/ 2025-12-02T21:48:07,622 Getting page https://www.piwheels.org/simple/certora-cli-alpha-master/ 2025-12-02T21:48:07,623 Found index url https://www.piwheels.org/simple 2025-12-02T21:48:07,786 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-master/ as text/html 2025-12-02T21:48:07,788 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-02T21:48:07,788 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-02T21:48:07,789 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-master/ 2025-12-02T21:48:07,790 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-master/ 2025-12-02T21:48:07,808 Given no hashes to check 1 links for project 'certora-cli-alpha-master': discarding no candidates 2025-12-02T21:48:07,826 Collecting certora-cli-alpha-master==20251202.20.51.90074 2025-12-02T21:48:07,828 Created temporary directory: /tmp/pip-unpack-8alwujbf 2025-12-02T21:48:08,048 Downloading certora_cli_alpha_master-20251202.20.51.90074.tar.gz (40.8 MB) 2025-12-02T21:48:15,408 Added certora-cli-alpha-master==20251202.20.51.90074 from https://files.pythonhosted.org/packages/68/d8/96a5babca987ccb2b71fc2a8e7439be830fe95c46f5b06fd34756f244752/certora_cli_alpha_master-20251202.20.51.90074.tar.gz to build tracker '/tmp/pip-build-tracker-gbbvvcau' 2025-12-02T21:48:15,410 Running setup.py (path:/tmp/pip-wheel-akea5u1w/certora-cli-alpha-master_9c9b7b75237e423985f9c87ec0d61019/setup.py) egg_info for package certora-cli-alpha-master 2025-12-02T21:48:15,411 Created temporary directory: /tmp/pip-pip-egg-info-no8fod22 2025-12-02T21:48:15,412 Preparing metadata (setup.py): started 2025-12-02T21:48:15,413 Running command python setup.py egg_info 2025-12-02T21:48:16,286 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:332: InformationOnly: Normalizing '20251202.20.51.090074' to '20251202.20.51.90074' 2025-12-02T21:48:16,286 self.metadata.version = self._normalize_version(self.metadata.version) 2025-12-02T21:48:16,288 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2025-12-02T21:48:16,289 !! 2025-12-02T21:48:16,290 ******************************************************************************** 2025-12-02T21:48:16,290 Please consider removing the following classifiers in favor of a SPDX license expression: 2025-12-02T21:48:16,292 License :: OSI Approved :: GNU General Public License v3 (GPLv3) 2025-12-02T21:48:16,293 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-12-02T21:48:16,293 ******************************************************************************** 2025-12-02T21:48:16,295 !! 2025-12-02T21:48:16,295 self._finalize_license_expression() 2025-12-02T21:48:16,319 running egg_info 2025-12-02T21:48:16,347 creating /tmp/pip-pip-egg-info-no8fod22/certora_cli_alpha_master.egg-info 2025-12-02T21:48:16,348 writing /tmp/pip-pip-egg-info-no8fod22/certora_cli_alpha_master.egg-info/PKG-INFO 2025-12-02T21:48:16,352 writing dependency_links to /tmp/pip-pip-egg-info-no8fod22/certora_cli_alpha_master.egg-info/dependency_links.txt 2025-12-02T21:48:16,354 writing entry points to /tmp/pip-pip-egg-info-no8fod22/certora_cli_alpha_master.egg-info/entry_points.txt 2025-12-02T21:48:16,355 writing requirements to /tmp/pip-pip-egg-info-no8fod22/certora_cli_alpha_master.egg-info/requires.txt 2025-12-02T21:48:16,356 writing top-level names to /tmp/pip-pip-egg-info-no8fod22/certora_cli_alpha_master.egg-info/top_level.txt 2025-12-02T21:48:16,358 writing manifest file '/tmp/pip-pip-egg-info-no8fod22/certora_cli_alpha_master.egg-info/SOURCES.txt' 2025-12-02T21:48:16,458 reading manifest file '/tmp/pip-pip-egg-info-no8fod22/certora_cli_alpha_master.egg-info/SOURCES.txt' 2025-12-02T21:48:16,460 reading manifest template 'MANIFEST.in' 2025-12-02T21:48:16,465 warning: no files found matching 'gambit' under directory 'certora_bins' 2025-12-02T21:48:16,565 adding license file 'LICENSE' 2025-12-02T21:48:16,570 writing manifest file '/tmp/pip-pip-egg-info-no8fod22/certora_cli_alpha_master.egg-info/SOURCES.txt' 2025-12-02T21:48:16,678 Preparing metadata (setup.py): finished with status 'done' 2025-12-02T21:48:16,682 Source in /tmp/pip-wheel-akea5u1w/certora-cli-alpha-master_9c9b7b75237e423985f9c87ec0d61019 has version 20251202.20.51.90074, which satisfies requirement certora-cli-alpha-master==20251202.20.51.90074 from https://files.pythonhosted.org/packages/68/d8/96a5babca987ccb2b71fc2a8e7439be830fe95c46f5b06fd34756f244752/certora_cli_alpha_master-20251202.20.51.90074.tar.gz 2025-12-02T21:48:16,683 Removed certora-cli-alpha-master==20251202.20.51.90074 from https://files.pythonhosted.org/packages/68/d8/96a5babca987ccb2b71fc2a8e7439be830fe95c46f5b06fd34756f244752/certora_cli_alpha_master-20251202.20.51.90074.tar.gz from build tracker '/tmp/pip-build-tracker-gbbvvcau' 2025-12-02T21:48:16,689 Created temporary directory: /tmp/pip-unpack-hwmzzm_o 2025-12-02T21:48:16,690 Building wheels for collected packages: certora-cli-alpha-master 2025-12-02T21:48:16,694 Created temporary directory: /tmp/pip-wheel-m4aaiksc 2025-12-02T21:48:16,694 Building wheel for certora-cli-alpha-master (setup.py): started 2025-12-02T21:48:16,696 Destination directory: /tmp/pip-wheel-m4aaiksc 2025-12-02T21:48:16,696 Running command python setup.py bdist_wheel 2025-12-02T21:48:17,530 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:332: InformationOnly: Normalizing '20251202.20.51.090074' to '20251202.20.51.90074' 2025-12-02T21:48:17,530 self.metadata.version = self._normalize_version(self.metadata.version) 2025-12-02T21:48:17,532 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2025-12-02T21:48:17,533 !! 2025-12-02T21:48:17,534 ******************************************************************************** 2025-12-02T21:48:17,534 Please consider removing the following classifiers in favor of a SPDX license expression: 2025-12-02T21:48:17,535 License :: OSI Approved :: GNU General Public License v3 (GPLv3) 2025-12-02T21:48:17,536 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-12-02T21:48:17,537 ******************************************************************************** 2025-12-02T21:48:17,538 !! 2025-12-02T21:48:17,539 self._finalize_license_expression() 2025-12-02T21:48:17,539 running bdist_wheel 2025-12-02T21:48:17,670 running build 2025-12-02T21:48:17,671 running build_py 2025-12-02T21:48:17,701 creating build/lib/certora_bins 2025-12-02T21:48:17,703 copying certora_bins/__init__.py -> build/lib/certora_bins 2025-12-02T21:48:17,707 creating build/lib/certora_cli 2025-12-02T21:48:17,708 copying certora_cli/certoraCVLFormatter.py -> build/lib/certora_cli 2025-12-02T21:48:17,710 copying certora_cli/certoraRanger.py -> build/lib/certora_cli 2025-12-02T21:48:17,712 copying certora_cli/rustMutator.py -> build/lib/certora_cli 2025-12-02T21:48:17,715 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2025-12-02T21:48:17,717 copying certora_cli/certoraEVMProver.py -> build/lib/certora_cli 2025-12-02T21:48:17,719 copying certora_cli/certoraSuiProver.py -> build/lib/certora_cli 2025-12-02T21:48:17,722 copying certora_cli/__init__.py -> build/lib/certora_cli 2025-12-02T21:48:17,723 copying certora_cli/certoraConcord.py -> build/lib/certora_cli 2025-12-02T21:48:17,725 copying certora_cli/certoraSolanaProver.py -> build/lib/certora_cli 2025-12-02T21:48:17,727 copying certora_cli/certoraSorobanProver.py -> build/lib/certora_cli 2025-12-02T21:48:17,729 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2025-12-02T21:48:17,732 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2025-12-02T21:48:17,734 creating build/lib/certora_jars 2025-12-02T21:48:17,735 copying certora_jars/__init__.py -> build/lib/certora_jars 2025-12-02T21:48:17,738 creating build/lib/certora_cli/Mutate 2025-12-02T21:48:17,739 copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate 2025-12-02T21:48:17,743 copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate 2025-12-02T21:48:17,746 copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate 2025-12-02T21:48:17,748 copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate 2025-12-02T21:48:17,750 copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate 2025-12-02T21:48:17,752 copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate 2025-12-02T21:48:17,755 creating build/lib/certora_cli/EquivalenceCheck 2025-12-02T21:48:17,756 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2025-12-02T21:48:17,758 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2025-12-02T21:48:17,761 creating build/lib/certora_cli/CertoraProver 2025-12-02T21:48:17,762 copying certora_cli/CertoraProver/certoraApp.py -> build/lib/certora_cli/CertoraProver 2025-12-02T21:48:17,764 copying certora_cli/CertoraProver/certoraContext.py -> build/lib/certora_cli/CertoraProver 2025-12-02T21:48:17,768 copying certora_cli/CertoraProver/certoraParseBuildScript.py -> build/lib/certora_cli/CertoraProver 2025-12-02T21:48:17,771 copying certora_cli/CertoraProver/certoraContextAttributes.py -> build/lib/certora_cli/CertoraProver 2025-12-02T21:48:17,775 copying certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/lib/certora_cli/CertoraProver 2025-12-02T21:48:17,777 copying certora_cli/CertoraProver/splitRules.py -> build/lib/certora_cli/CertoraProver 2025-12-02T21:48:17,779 copying certora_cli/CertoraProver/certoraContractFuncs.py -> build/lib/certora_cli/CertoraProver 2025-12-02T21:48:17,782 copying certora_cli/CertoraProver/certoraType.py -> build/lib/certora_cli/CertoraProver 2025-12-02T21:48:17,785 copying certora_cli/CertoraProver/certoraCompilerParameters.py -> build/lib/certora_cli/CertoraProver 2025-12-02T21:48:17,787 copying certora_cli/CertoraProver/castingInstrumenter.py -> build/lib/certora_cli/CertoraProver 2025-12-02T21:48:17,790 copying certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/lib/certora_cli/CertoraProver 2025-12-02T21:48:17,793 copying certora_cli/CertoraProver/__init__.py -> build/lib/certora_cli/CertoraProver 2025-12-02T21:48:17,795 copying certora_cli/CertoraProver/certoraBuild.py -> build/lib/certora_cli/CertoraProver 2025-12-02T21:48:17,807 copying certora_cli/CertoraProver/certoraBuildSui.py -> build/lib/certora_cli/CertoraProver 2025-12-02T21:48:17,809 copying certora_cli/CertoraProver/certoraContextClass.py -> build/lib/certora_cli/CertoraProver 2025-12-02T21:48:17,811 copying certora_cli/CertoraProver/certoraCloudIO.py -> build/lib/certora_cli/CertoraProver 2025-12-02T21:48:17,815 copying certora_cli/CertoraProver/certoraConfigIO.py -> build/lib/certora_cli/CertoraProver 2025-12-02T21:48:17,817 copying certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/lib/certora_cli/CertoraProver 2025-12-02T21:48:17,820 copying certora_cli/CertoraProver/storageExtension.py -> build/lib/certora_cli/CertoraProver 2025-12-02T21:48:17,823 copying certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/lib/certora_cli/CertoraProver 2025-12-02T21:48:17,825 copying certora_cli/CertoraProver/certoraContextValidator.py -> build/lib/certora_cli/CertoraProver 2025-12-02T21:48:17,829 copying certora_cli/CertoraProver/erc7201.py -> build/lib/certora_cli/CertoraProver 2025-12-02T21:48:17,831 copying certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/lib/certora_cli/CertoraProver 2025-12-02T21:48:17,834 copying certora_cli/CertoraProver/certoraJobList.py -> build/lib/certora_cli/CertoraProver 2025-12-02T21:48:17,836 copying certora_cli/CertoraProver/certoraProjectScanner.py -> build/lib/certora_cli/CertoraProver 2025-12-02T21:48:17,839 copying certora_cli/CertoraProver/certoraNodeFilters.py -> build/lib/certora_cli/CertoraProver 2025-12-02T21:48:17,841 copying certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/lib/certora_cli/CertoraProver 2025-12-02T21:48:17,852 copying certora_cli/CertoraProver/certoraSourceFinders.py -> build/lib/certora_cli/CertoraProver 2025-12-02T21:48:17,856 copying certora_cli/CertoraProver/certoraBuildRust.py -> build/lib/certora_cli/CertoraProver 2025-12-02T21:48:17,858 copying certora_cli/CertoraProver/certoraExtensionInfo.py -> build/lib/certora_cli/CertoraProver 2025-12-02T21:48:17,861 creating build/lib/certora_cli/Shared 2025-12-02T21:48:17,863 copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared 2025-12-02T21:48:17,866 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2025-12-02T21:48:17,870 copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared 2025-12-02T21:48:17,873 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2025-12-02T21:48:17,877 copying certora_cli/Shared/proverCommon.py -> build/lib/certora_cli/Shared 2025-12-02T21:48:17,879 copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared 2025-12-02T21:48:17,883 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2025-12-02T21:48:17,886 creating build/lib/certora_cli/CertoraProver/Compiler 2025-12-02T21:48:17,887 copying certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-12-02T21:48:17,890 copying certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-12-02T21:48:17,893 copying certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-12-02T21:48:17,896 copying certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-12-02T21:48:17,901 copying certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-12-02T21:48:17,904 copying certora_cli/CertoraProver/Compiler/__init__.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-12-02T21:48:17,907 copying certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-12-02T21:48:17,908 running egg_info 2025-12-02T21:48:17,937 writing certora_cli_alpha_master.egg-info/PKG-INFO 2025-12-02T21:48:17,941 writing dependency_links to certora_cli_alpha_master.egg-info/dependency_links.txt 2025-12-02T21:48:17,943 writing entry points to certora_cli_alpha_master.egg-info/entry_points.txt 2025-12-02T21:48:17,944 writing requirements to certora_cli_alpha_master.egg-info/requires.txt 2025-12-02T21:48:17,946 writing top-level names to certora_cli_alpha_master.egg-info/top_level.txt 2025-12-02T21:48:17,984 reading manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' 2025-12-02T21:48:17,993 reading manifest template 'MANIFEST.in' 2025-12-02T21:48:17,998 warning: no files found matching 'gambit' under directory 'certora_bins' 2025-12-02T21:48:18,101 adding license file 'LICENSE' 2025-12-02T21:48:18,106 writing manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' 2025-12-02T21:48:18,113 copying certora_jars/ASTExtraction.jar -> build/lib/certora_jars 2025-12-02T21:48:18,724 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2025-12-02T21:48:18,726 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2025-12-02T21:48:19,051 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2025-12-02T21:48:19,053 copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck 2025-12-02T21:48:19,056 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2025-12-02T21:48:19,058 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2025-12-02T21:48:19,060 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2025-12-02T21:48:19,063 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2025-12-02T21:48:19,096 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:90: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2025-12-02T21:48:19,097 !! 2025-12-02T21:48:19,098 ******************************************************************************** 2025-12-02T21:48:19,098 Please avoid running ``setup.py`` directly. 2025-12-02T21:48:19,099 Instead, use pypa/build, pypa/installer or other 2025-12-02T21:48:19,099 standards-based tools. 2025-12-02T21:48:19,100 This deprecation is overdue, please update your project and remove deprecated 2025-12-02T21:48:19,101 calls to avoid build errors in the future. 2025-12-02T21:48:19,102 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2025-12-02T21:48:19,102 ******************************************************************************** 2025-12-02T21:48:19,103 !! 2025-12-02T21:48:19,104 self.initialize_options() 2025-12-02T21:48:19,125 installing to build/bdist.linux-armv7l/wheel 2025-12-02T21:48:19,126 running install 2025-12-02T21:48:19,148 running install_lib 2025-12-02T21:48:19,175 creating build/bdist.linux-armv7l/wheel 2025-12-02T21:48:19,177 creating build/bdist.linux-armv7l/wheel/certora_bins 2025-12-02T21:48:19,178 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins 2025-12-02T21:48:19,180 creating build/bdist.linux-armv7l/wheel/certora_cli 2025-12-02T21:48:19,182 copying build/lib/certora_cli/certoraCVLFormatter.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-02T21:48:19,184 creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate 2025-12-02T21:48:19,185 copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-12-02T21:48:19,189 copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-12-02T21:48:19,191 copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-12-02T21:48:19,193 copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-12-02T21:48:19,196 copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-12-02T21:48:19,197 copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-12-02T21:48:19,199 copying build/lib/certora_cli/certoraRanger.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-02T21:48:19,201 copying build/lib/certora_cli/rustMutator.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-02T21:48:19,203 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-02T21:48:19,206 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2025-12-02T21:48:19,207 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-12-02T21:48:19,209 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-12-02T21:48:19,210 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-12-02T21:48:19,212 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-12-02T21:48:19,214 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-12-02T21:48:19,216 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-12-02T21:48:19,218 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-12-02T21:48:19,220 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-12-02T21:48:19,222 copying build/lib/certora_cli/certoraEVMProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-02T21:48:19,224 copying build/lib/certora_cli/certoraSuiProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-02T21:48:19,227 creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver 2025-12-02T21:48:19,228 copying build/lib/certora_cli/CertoraProver/certoraApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-02T21:48:19,230 copying build/lib/certora_cli/CertoraProver/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-02T21:48:19,233 creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver/Compiler 2025-12-02T21:48:19,234 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-12-02T21:48:19,236 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-12-02T21:48:19,238 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-12-02T21:48:19,241 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-12-02T21:48:19,244 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-12-02T21:48:19,246 copying build/lib/certora_cli/CertoraProver/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-12-02T21:48:19,248 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-12-02T21:48:19,250 copying build/lib/certora_cli/CertoraProver/certoraParseBuildScript.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-02T21:48:19,252 copying build/lib/certora_cli/CertoraProver/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-02T21:48:19,255 copying build/lib/certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-02T21:48:19,258 copying build/lib/certora_cli/CertoraProver/splitRules.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-02T21:48:19,260 copying build/lib/certora_cli/CertoraProver/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-02T21:48:19,262 copying build/lib/certora_cli/CertoraProver/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-02T21:48:19,265 copying build/lib/certora_cli/CertoraProver/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-02T21:48:19,267 copying build/lib/certora_cli/CertoraProver/castingInstrumenter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-02T21:48:19,269 copying build/lib/certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-02T21:48:19,271 copying build/lib/certora_cli/CertoraProver/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-02T21:48:19,273 copying build/lib/certora_cli/CertoraProver/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-02T21:48:19,278 copying build/lib/certora_cli/CertoraProver/certoraBuildSui.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-02T21:48:19,281 copying build/lib/certora_cli/CertoraProver/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-02T21:48:19,282 copying build/lib/certora_cli/CertoraProver/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-02T21:48:19,285 copying build/lib/certora_cli/CertoraProver/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-02T21:48:19,288 copying build/lib/certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-02T21:48:19,290 copying build/lib/certora_cli/CertoraProver/storageExtension.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-02T21:48:19,292 copying build/lib/certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-02T21:48:19,295 copying build/lib/certora_cli/CertoraProver/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-02T21:48:19,298 copying build/lib/certora_cli/CertoraProver/erc7201.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-02T21:48:19,300 copying build/lib/certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-02T21:48:19,302 copying build/lib/certora_cli/CertoraProver/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-02T21:48:19,304 copying build/lib/certora_cli/CertoraProver/certoraProjectScanner.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-02T21:48:19,306 copying build/lib/certora_cli/CertoraProver/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-02T21:48:19,308 copying build/lib/certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-02T21:48:19,311 copying build/lib/certora_cli/CertoraProver/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-02T21:48:19,313 copying build/lib/certora_cli/CertoraProver/certoraBuildRust.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-02T21:48:19,315 copying build/lib/certora_cli/CertoraProver/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-02T21:48:19,317 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-02T21:48:19,318 copying build/lib/certora_cli/certoraConcord.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-02T21:48:19,320 copying build/lib/certora_cli/certoraSolanaProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-02T21:48:19,322 copying build/lib/certora_cli/certoraSorobanProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-02T21:48:19,325 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2025-12-02T21:48:19,326 copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-12-02T21:48:19,328 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-12-02T21:48:19,331 copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-12-02T21:48:19,334 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-12-02T21:48:19,336 copying build/lib/certora_cli/Shared/proverCommon.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-12-02T21:48:19,338 copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-12-02T21:48:19,341 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-12-02T21:48:19,343 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-02T21:48:19,345 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-02T21:48:19,348 creating build/bdist.linux-armv7l/wheel/certora_jars 2025-12-02T21:48:19,349 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-12-02T21:48:19,665 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-12-02T21:48:19,667 copying build/lib/certora_jars/ASTExtraction.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-12-02T21:48:19,978 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-12-02T21:48:19,980 running install_egg_info 2025-12-02T21:48:20,015 Copying certora_cli_alpha_master.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_alpha_master-20251202.20.51.90074-py3.11.egg-info 2025-12-02T21:48:20,026 running install_scripts 2025-12-02T21:48:20,039 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_master-20251202.20.51.90074.dist-info/WHEEL 2025-12-02T21:48:20,042 creating '/tmp/pip-wheel-m4aaiksc/certora_cli_alpha_master-20251202.20.51.90074-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2025-12-02T21:48:20,044 adding 'certora_bins/__init__.py' 2025-12-02T21:48:20,046 adding 'certora_cli/__init__.py' 2025-12-02T21:48:20,047 adding 'certora_cli/certoraCVLFormatter.py' 2025-12-02T21:48:20,049 adding 'certora_cli/certoraConcord.py' 2025-12-02T21:48:20,050 adding 'certora_cli/certoraEVMProver.py' 2025-12-02T21:48:20,051 adding 'certora_cli/certoraEqCheck.py' 2025-12-02T21:48:20,053 adding 'certora_cli/certoraMutate.py' 2025-12-02T21:48:20,054 adding 'certora_cli/certoraRanger.py' 2025-12-02T21:48:20,056 adding 'certora_cli/certoraRun.py' 2025-12-02T21:48:20,057 adding 'certora_cli/certoraSolanaProver.py' 2025-12-02T21:48:20,058 adding 'certora_cli/certoraSorobanProver.py' 2025-12-02T21:48:20,060 adding 'certora_cli/certoraSuiProver.py' 2025-12-02T21:48:20,062 adding 'certora_cli/rustMutator.py' 2025-12-02T21:48:20,064 adding 'certora_cli/CertoraProver/__init__.py' 2025-12-02T21:48:20,066 adding 'certora_cli/CertoraProver/castingInstrumenter.py' 2025-12-02T21:48:20,067 adding 'certora_cli/CertoraProver/certoraApp.py' 2025-12-02T21:48:20,094 adding 'certora_cli/CertoraProver/certoraBuild.py' 2025-12-02T21:48:20,098 adding 'certora_cli/CertoraProver/certoraBuildCacheManager.py' 2025-12-02T21:48:20,100 adding 'certora_cli/CertoraProver/certoraBuildDataClasses.py' 2025-12-02T21:48:20,101 adding 'certora_cli/CertoraProver/certoraBuildRust.py' 2025-12-02T21:48:20,103 adding 'certora_cli/CertoraProver/certoraBuildSui.py' 2025-12-02T21:48:20,109 adding 'certora_cli/CertoraProver/certoraCloudIO.py' 2025-12-02T21:48:20,112 adding 'certora_cli/CertoraProver/certoraCollectConfigurationLayout.py' 2025-12-02T21:48:20,114 adding 'certora_cli/CertoraProver/certoraCollectRunMetadata.py' 2025-12-02T21:48:20,115 adding 'certora_cli/CertoraProver/certoraCompilerParameters.py' 2025-12-02T21:48:20,117 adding 'certora_cli/CertoraProver/certoraConfigIO.py' 2025-12-02T21:48:20,121 adding 'certora_cli/CertoraProver/certoraContext.py' 2025-12-02T21:48:20,126 adding 'certora_cli/CertoraProver/certoraContextAttributes.py' 2025-12-02T21:48:20,127 adding 'certora_cli/CertoraProver/certoraContextClass.py' 2025-12-02T21:48:20,133 adding 'certora_cli/CertoraProver/certoraContextValidator.py' 2025-12-02T21:48:20,135 adding 'certora_cli/CertoraProver/certoraContractFuncs.py' 2025-12-02T21:48:20,137 adding 'certora_cli/CertoraProver/certoraExtensionInfo.py' 2025-12-02T21:48:20,139 adding 'certora_cli/CertoraProver/certoraJobList.py' 2025-12-02T21:48:20,140 adding 'certora_cli/CertoraProver/certoraMiniSpecParser.py' 2025-12-02T21:48:20,142 adding 'certora_cli/CertoraProver/certoraNodeFilters.py' 2025-12-02T21:48:20,143 adding 'certora_cli/CertoraProver/certoraParseBuildScript.py' 2025-12-02T21:48:20,145 adding 'certora_cli/CertoraProver/certoraProjectScanner.py' 2025-12-02T21:48:20,147 adding 'certora_cli/CertoraProver/certoraSourceFinders.py' 2025-12-02T21:48:20,151 adding 'certora_cli/CertoraProver/certoraType.py' 2025-12-02T21:48:20,153 adding 'certora_cli/CertoraProver/certoraVerifyGenerator.py' 2025-12-02T21:48:20,154 adding 'certora_cli/CertoraProver/erc7201.py' 2025-12-02T21:48:20,156 adding 'certora_cli/CertoraProver/splitRules.py' 2025-12-02T21:48:20,158 adding 'certora_cli/CertoraProver/storageExtension.py' 2025-12-02T21:48:20,161 adding 'certora_cli/CertoraProver/Compiler/CompilerCollector.py' 2025-12-02T21:48:20,162 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py' 2025-12-02T21:48:20,164 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py' 2025-12-02T21:48:20,165 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py' 2025-12-02T21:48:20,172 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py' 2025-12-02T21:48:20,174 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py' 2025-12-02T21:48:20,175 adding 'certora_cli/CertoraProver/Compiler/__init__.py' 2025-12-02T21:48:20,177 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2025-12-02T21:48:20,178 adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec' 2025-12-02T21:48:20,180 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2025-12-02T21:48:20,181 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2025-12-02T21:48:20,182 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2025-12-02T21:48:20,183 adding 'certora_cli/EquivalenceCheck/__init__.py' 2025-12-02T21:48:20,186 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2025-12-02T21:48:20,187 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2025-12-02T21:48:20,189 adding 'certora_cli/Mutate/__init__.py' 2025-12-02T21:48:20,199 adding 'certora_cli/Mutate/mutateApp.py' 2025-12-02T21:48:20,201 adding 'certora_cli/Mutate/mutateAttributes.py' 2025-12-02T21:48:20,203 adding 'certora_cli/Mutate/mutateConstants.py' 2025-12-02T21:48:20,204 adding 'certora_cli/Mutate/mutateUtil.py' 2025-12-02T21:48:20,206 adding 'certora_cli/Mutate/mutateValidate.py' 2025-12-02T21:48:20,209 adding 'certora_cli/Shared/ExpectedComparator.py' 2025-12-02T21:48:20,210 adding 'certora_cli/Shared/__init__.py' 2025-12-02T21:48:20,212 adding 'certora_cli/Shared/certoraAttrUtil.py' 2025-12-02T21:48:20,214 adding 'certora_cli/Shared/certoraLogging.py' 2025-12-02T21:48:20,222 adding 'certora_cli/Shared/certoraUtils.py' 2025-12-02T21:48:20,227 adding 'certora_cli/Shared/certoraValidateFuncs.py' 2025-12-02T21:48:20,230 adding 'certora_cli/Shared/proverCommon.py' 2025-12-02T21:48:20,232 adding 'certora_cli_alpha_master-20251202.20.51.90074.dist-info/licenses/LICENSE' 2025-12-02T21:48:22,739 adding 'certora_jars/ASTExtraction.jar' 2025-12-02T21:48:22,876 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2025-12-02T21:48:25,381 adding 'certora_jars/Typechecker.jar' 2025-12-02T21:48:25,518 adding 'certora_jars/__init__.py' 2025-12-02T21:48:25,519 adding 'certora_cli_alpha_master-20251202.20.51.90074.dist-info/METADATA' 2025-12-02T21:48:25,520 adding 'certora_cli_alpha_master-20251202.20.51.90074.dist-info/WHEEL' 2025-12-02T21:48:25,522 adding 'certora_cli_alpha_master-20251202.20.51.90074.dist-info/entry_points.txt' 2025-12-02T21:48:25,523 adding 'certora_cli_alpha_master-20251202.20.51.90074.dist-info/top_level.txt' 2025-12-02T21:48:25,525 adding 'certora_cli_alpha_master-20251202.20.51.90074.dist-info/RECORD' 2025-12-02T21:48:25,978 removing build/bdist.linux-armv7l/wheel 2025-12-02T21:48:26,126 Building wheel for certora-cli-alpha-master (setup.py): finished with status 'done' 2025-12-02T21:48:26,532 Created wheel for certora-cli-alpha-master: filename=certora_cli_alpha_master-20251202.20.51.90074-py3-none-any.whl size=40892086 sha256=1a6aadab7ded8473fc1e734209d54baa1aeee53d7c22f33e41d73da63dca2b11 2025-12-02T21:48:26,533 Stored in directory: /tmp/pip-ephem-wheel-cache-rlb15v_i/wheels/f0/59/05/8fa9e546f8df84b8ef1f854dad9ad19227651b4936d3e5cc4c 2025-12-02T21:48:26,559 Successfully built certora-cli-alpha-master 2025-12-02T21:48:27,479 Removed build tracker: '/tmp/pip-build-tracker-gbbvvcau'