2025-12-03T01:03:53,583 Created temporary directory: /tmp/pip-ephem-wheel-cache-dvdq28q1
2025-12-03T01:03:53,585 Created temporary directory: /tmp/pip-build-tracker-pv2pu_9c
2025-12-03T01:03:53,586 Initialized build tracking at /tmp/pip-build-tracker-pv2pu_9c
2025-12-03T01:03:53,586 Created build tracker: /tmp/pip-build-tracker-pv2pu_9c
2025-12-03T01:03:53,586 Entered build tracker: /tmp/pip-build-tracker-pv2pu_9c
2025-12-03T01:03:53,587 Created temporary directory: /tmp/pip-wheel-6xzathj8
2025-12-03T01:03:53,591 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-03T01:03:53,593 Created temporary directory: /tmp/pip-ephem-wheel-cache-p9ki16p0
2025-12-03T01:03:53,615 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2025-12-03T01:03:53,619 2 location(s) to search for versions of certora-cli-alpha-master:
2025-12-03T01:03:53,619 * https://pypi.org/simple/certora-cli-alpha-master/
2025-12-03T01:03:53,619 * https://www.piwheels.org/simple/certora-cli-alpha-master/
2025-12-03T01:03:53,620 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-master/
2025-12-03T01:03:53,620 Getting page https://pypi.org/simple/certora-cli-alpha-master/
2025-12-03T01:03:53,622 Found index url https://pypi.org/simple
2025-12-03T01:03:53,835 Fetched page https://pypi.org/simple/certora-cli-alpha-master/ as application/vnd.pypi.simple.v1+json
2025-12-03T01:03:53,840   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-03T01:03:53,840   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-03T01:03:53,841   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-03T01:03:53,842   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-03T01:03:53,843   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-03T01:03:53,844   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-03T01:03:53,844   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-03T01:03:53,845   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-03T01:03:53,846   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-03T01:03:53,847   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-03T01:03:53,847   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-03T01:03:53,848   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-03T01:03:53,848   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-03T01:03:53,849   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-03T01:03:53,850   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-03T01:03:53,851   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-03T01:03:53,852   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-03T01:03:53,852   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-03T01:03:53,853   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-03T01:03:53,854 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-master/
2025-12-03T01:03:53,855 Getting page https://www.piwheels.org/simple/certora-cli-alpha-master/
2025-12-03T01:03:53,856 Found index url https://www.piwheels.org/simple
2025-12-03T01:03:54,015 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-master/ as text/html
2025-12-03T01:03:54,017   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-03T01:03:54,018   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-03T01:03:54,018   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-03T01:03:54,019 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-master/
2025-12-03T01:03:54,019 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-master/
2025-12-03T01:03:54,040 Given no hashes to check 1 links for project 'certora-cli-alpha-master': discarding no candidates
2025-12-03T01:03:54,060 Collecting certora-cli-alpha-master==20251202.23.58.988576
2025-12-03T01:03:54,062   Created temporary directory: /tmp/pip-unpack-iq2rag39
2025-12-03T01:03:54,288   Downloading certora_cli_alpha_master-20251202.23.58.988576.tar.gz (40.8 MB)
2025-12-03T01:04:01,752   Added certora-cli-alpha-master==20251202.23.58.988576 from https://files.pythonhosted.org/packages/09/79/b5f5a3605a4b6033fe4d91aabd897f538c9bf929c01efb387c52bf127a27/certora_cli_alpha_master-20251202.23.58.988576.tar.gz to build tracker '/tmp/pip-build-tracker-pv2pu_9c'
2025-12-03T01:04:01,755   Running setup.py (path:/tmp/pip-wheel-6xzathj8/certora-cli-alpha-master_57e44894daeb4bb89b9b4485b7b14e6f/setup.py) egg_info for package certora-cli-alpha-master
2025-12-03T01:04:01,756   Created temporary directory: /tmp/pip-pip-egg-info-v2yunnbf
2025-12-03T01:04:01,756   Preparing metadata (setup.py): started
2025-12-03T01:04:01,757   Running command python setup.py egg_info
2025-12-03T01:04:03,172   /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2025-12-03T01:04:03,172   !!

2025-12-03T01:04:03,174           ********************************************************************************
2025-12-03T01:04:03,174           Please consider removing the following classifiers in favor of a SPDX license expression:

2025-12-03T01:04:03,175           License :: OSI Approved :: GNU General Public License v3 (GPLv3)

2025-12-03T01:04:03,176           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2025-12-03T01:04:03,177           ********************************************************************************

2025-12-03T01:04:03,178   !!
2025-12-03T01:04:03,178     self._finalize_license_expression()
2025-12-03T01:04:03,205   running egg_info
2025-12-03T01:04:03,233   creating /tmp/pip-pip-egg-info-v2yunnbf/certora_cli_alpha_master.egg-info
2025-12-03T01:04:03,235   writing /tmp/pip-pip-egg-info-v2yunnbf/certora_cli_alpha_master.egg-info/PKG-INFO
2025-12-03T01:04:03,239   writing dependency_links to /tmp/pip-pip-egg-info-v2yunnbf/certora_cli_alpha_master.egg-info/dependency_links.txt
2025-12-03T01:04:03,241   writing entry points to /tmp/pip-pip-egg-info-v2yunnbf/certora_cli_alpha_master.egg-info/entry_points.txt
2025-12-03T01:04:03,243   writing requirements to /tmp/pip-pip-egg-info-v2yunnbf/certora_cli_alpha_master.egg-info/requires.txt
2025-12-03T01:04:03,244   writing top-level names to /tmp/pip-pip-egg-info-v2yunnbf/certora_cli_alpha_master.egg-info/top_level.txt
2025-12-03T01:04:03,246   writing manifest file '/tmp/pip-pip-egg-info-v2yunnbf/certora_cli_alpha_master.egg-info/SOURCES.txt'
2025-12-03T01:04:03,346   reading manifest file '/tmp/pip-pip-egg-info-v2yunnbf/certora_cli_alpha_master.egg-info/SOURCES.txt'
2025-12-03T01:04:03,348   reading manifest template 'MANIFEST.in'
2025-12-03T01:04:03,353   warning: no files found matching 'gambit' under directory 'certora_bins'
2025-12-03T01:04:03,452   adding license file 'LICENSE'
2025-12-03T01:04:03,458   writing manifest file '/tmp/pip-pip-egg-info-v2yunnbf/certora_cli_alpha_master.egg-info/SOURCES.txt'
2025-12-03T01:04:03,565   Preparing metadata (setup.py): finished with status 'done'
2025-12-03T01:04:03,570   Source in /tmp/pip-wheel-6xzathj8/certora-cli-alpha-master_57e44894daeb4bb89b9b4485b7b14e6f has version 20251202.23.58.988576, which satisfies requirement certora-cli-alpha-master==20251202.23.58.988576 from https://files.pythonhosted.org/packages/09/79/b5f5a3605a4b6033fe4d91aabd897f538c9bf929c01efb387c52bf127a27/certora_cli_alpha_master-20251202.23.58.988576.tar.gz
2025-12-03T01:04:03,570   Removed certora-cli-alpha-master==20251202.23.58.988576 from https://files.pythonhosted.org/packages/09/79/b5f5a3605a4b6033fe4d91aabd897f538c9bf929c01efb387c52bf127a27/certora_cli_alpha_master-20251202.23.58.988576.tar.gz from build tracker '/tmp/pip-build-tracker-pv2pu_9c'
2025-12-03T01:04:03,577 Created temporary directory: /tmp/pip-unpack-3om6myji
2025-12-03T01:04:03,577 Building wheels for collected packages: certora-cli-alpha-master
2025-12-03T01:04:03,582   Created temporary directory: /tmp/pip-wheel-1820i_3j
2025-12-03T01:04:03,583   Building wheel for certora-cli-alpha-master (setup.py): started
2025-12-03T01:04:03,584   Destination directory: /tmp/pip-wheel-1820i_3j
2025-12-03T01:04:03,584   Running command python setup.py bdist_wheel
2025-12-03T01:04:04,644   /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2025-12-03T01:04:04,645   !!

2025-12-03T01:04:04,646           ********************************************************************************
2025-12-03T01:04:04,646           Please consider removing the following classifiers in favor of a SPDX license expression:

2025-12-03T01:04:04,648           License :: OSI Approved :: GNU General Public License v3 (GPLv3)

2025-12-03T01:04:04,649           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2025-12-03T01:04:04,649           ********************************************************************************

2025-12-03T01:04:04,650   !!
2025-12-03T01:04:04,651     self._finalize_license_expression()
2025-12-03T01:04:04,651   running bdist_wheel
2025-12-03T01:04:04,784   running build
2025-12-03T01:04:04,784   running build_py
2025-12-03T01:04:04,816   creating build/lib/certora_bins
2025-12-03T01:04:04,818   copying certora_bins/__init__.py -> build/lib/certora_bins
2025-12-03T01:04:04,820   creating build/lib/certora_jars
2025-12-03T01:04:04,821   copying certora_jars/__init__.py -> build/lib/certora_jars
2025-12-03T01:04:04,825   creating build/lib/certora_cli
2025-12-03T01:04:04,826   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2025-12-03T01:04:04,829   copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli
2025-12-03T01:04:04,831   copying certora_cli/certoraRanger.py -> build/lib/certora_cli
2025-12-03T01:04:04,832   copying certora_cli/certoraSuiProver.py -> build/lib/certora_cli
2025-12-03T01:04:04,834   copying certora_cli/certoraConcord.py -> build/lib/certora_cli
2025-12-03T01:04:04,836   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2025-12-03T01:04:04,838   copying certora_cli/rustMutator.py -> build/lib/certora_cli
2025-12-03T01:04:04,841   copying certora_cli/certoraSolanaProver.py -> build/lib/certora_cli
2025-12-03T01:04:04,843   copying certora_cli/certoraSorobanProver.py -> build/lib/certora_cli
2025-12-03T01:04:04,844   copying certora_cli/certoraCVLFormatter.py -> build/lib/certora_cli
2025-12-03T01:04:04,846   copying certora_cli/__init__.py -> build/lib/certora_cli
2025-12-03T01:04:04,848   copying certora_cli/certoraEVMProver.py -> build/lib/certora_cli
2025-12-03T01:04:04,851   creating build/lib/certora_cli/CertoraProver
2025-12-03T01:04:04,852   copying certora_cli/CertoraProver/certoraContext.py -> build/lib/certora_cli/CertoraProver
2025-12-03T01:04:04,855   copying certora_cli/CertoraProver/certoraContextValidator.py -> build/lib/certora_cli/CertoraProver
2025-12-03T01:04:04,858   copying certora_cli/CertoraProver/certoraCompilerParameters.py -> build/lib/certora_cli/CertoraProver
2025-12-03T01:04:04,860   copying certora_cli/CertoraProver/certoraConfigIO.py -> build/lib/certora_cli/CertoraProver
2025-12-03T01:04:04,862   copying certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/lib/certora_cli/CertoraProver
2025-12-03T01:04:04,865   copying certora_cli/CertoraProver/certoraContextAttributes.py -> build/lib/certora_cli/CertoraProver
2025-12-03T01:04:04,868   copying certora_cli/CertoraProver/certoraJobList.py -> build/lib/certora_cli/CertoraProver
2025-12-03T01:04:04,870   copying certora_cli/CertoraProver/certoraCloudIO.py -> build/lib/certora_cli/CertoraProver
2025-12-03T01:04:04,874   copying certora_cli/CertoraProver/splitRules.py -> build/lib/certora_cli/CertoraProver
2025-12-03T01:04:04,876   copying certora_cli/CertoraProver/storageExtension.py -> build/lib/certora_cli/CertoraProver
2025-12-03T01:04:04,879   copying certora_cli/CertoraProver/castingInstrumenter.py -> build/lib/certora_cli/CertoraProver
2025-12-03T01:04:04,881   copying certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/lib/certora_cli/CertoraProver
2025-12-03T01:04:04,884   copying certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/lib/certora_cli/CertoraProver
2025-12-03T01:04:04,887   copying certora_cli/CertoraProver/certoraParseBuildScript.py -> build/lib/certora_cli/CertoraProver
2025-12-03T01:04:04,889   copying certora_cli/CertoraProver/certoraExtensionInfo.py -> build/lib/certora_cli/CertoraProver
2025-12-03T01:04:04,891   copying certora_cli/CertoraProver/certoraContextClass.py -> build/lib/certora_cli/CertoraProver
2025-12-03T01:04:04,893   copying certora_cli/CertoraProver/certoraType.py -> build/lib/certora_cli/CertoraProver
2025-12-03T01:04:04,896   copying certora_cli/CertoraProver/certoraBuild.py -> build/lib/certora_cli/CertoraProver
2025-12-03T01:04:04,903   copying certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/lib/certora_cli/CertoraProver
2025-12-03T01:04:04,905   copying certora_cli/CertoraProver/certoraProjectScanner.py -> build/lib/certora_cli/CertoraProver
2025-12-03T01:04:04,908   copying certora_cli/CertoraProver/certoraBuildSui.py -> build/lib/certora_cli/CertoraProver
2025-12-03T01:04:04,910   copying certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/lib/certora_cli/CertoraProver
2025-12-03T01:04:04,912   copying certora_cli/CertoraProver/certoraContractFuncs.py -> build/lib/certora_cli/CertoraProver
2025-12-03T01:04:04,915   copying certora_cli/CertoraProver/certoraApp.py -> build/lib/certora_cli/CertoraProver
2025-12-03T01:04:04,917   copying certora_cli/CertoraProver/certoraNodeFilters.py -> build/lib/certora_cli/CertoraProver
2025-12-03T01:04:04,919   copying certora_cli/CertoraProver/__init__.py -> build/lib/certora_cli/CertoraProver
2025-12-03T01:04:04,921   copying certora_cli/CertoraProver/certoraSourceFinders.py -> build/lib/certora_cli/CertoraProver
2025-12-03T01:04:04,923   copying certora_cli/CertoraProver/erc7201.py -> build/lib/certora_cli/CertoraProver
2025-12-03T01:04:04,925   copying certora_cli/CertoraProver/certoraBuildRust.py -> build/lib/certora_cli/CertoraProver
2025-12-03T01:04:04,928   copying certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/lib/certora_cli/CertoraProver
2025-12-03T01:04:04,931   creating build/lib/certora_cli/Shared
2025-12-03T01:04:04,932   copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared
2025-12-03T01:04:04,934   copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared
2025-12-03T01:04:04,937   copying certora_cli/Shared/proverCommon.py -> build/lib/certora_cli/Shared
2025-12-03T01:04:04,940   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2025-12-03T01:04:04,943   copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared
2025-12-03T01:04:04,946   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2025-12-03T01:04:04,948   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2025-12-03T01:04:04,952   creating build/lib/certora_cli/Mutate
2025-12-03T01:04:04,953   copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate
2025-12-03T01:04:04,955   copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate
2025-12-03T01:04:04,957   copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate
2025-12-03T01:04:04,962   copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate
2025-12-03T01:04:04,964   copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate
2025-12-03T01:04:04,966   copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate
2025-12-03T01:04:04,969   creating build/lib/certora_cli/EquivalenceCheck
2025-12-03T01:04:04,970   copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck
2025-12-03T01:04:04,973   copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck
2025-12-03T01:04:04,975   creating build/lib/certora_cli/CertoraProver/Compiler
2025-12-03T01:04:04,976   copying certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-12-03T01:04:04,979   copying certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-12-03T01:04:04,981   copying certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-12-03T01:04:04,983   copying certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-12-03T01:04:04,985   copying certora_cli/CertoraProver/Compiler/__init__.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-12-03T01:04:04,987   copying certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-12-03T01:04:04,990   copying certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-12-03T01:04:04,994   running egg_info
2025-12-03T01:04:05,022   writing certora_cli_alpha_master.egg-info/PKG-INFO
2025-12-03T01:04:05,026   writing dependency_links to certora_cli_alpha_master.egg-info/dependency_links.txt
2025-12-03T01:04:05,027   writing entry points to certora_cli_alpha_master.egg-info/entry_points.txt
2025-12-03T01:04:05,029   writing requirements to certora_cli_alpha_master.egg-info/requires.txt
2025-12-03T01:04:05,030   writing top-level names to certora_cli_alpha_master.egg-info/top_level.txt
2025-12-03T01:04:05,069   reading manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt'
2025-12-03T01:04:05,078   reading manifest template 'MANIFEST.in'
2025-12-03T01:04:05,083   warning: no files found matching 'gambit' under directory 'certora_bins'
2025-12-03T01:04:05,183   adding license file 'LICENSE'
2025-12-03T01:04:05,189   writing manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt'
2025-12-03T01:04:05,196   copying certora_jars/ASTExtraction.jar -> build/lib/certora_jars
2025-12-03T01:04:05,502   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2025-12-03T01:04:05,504   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2025-12-03T01:04:05,815   copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck
2025-12-03T01:04:05,817   copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck
2025-12-03T01:04:05,819   copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck
2025-12-03T01:04:05,821   copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck
2025-12-03T01:04:05,823   copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck
2025-12-03T01:04:05,825   copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck
2025-12-03T01:04:05,858   /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:90: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2025-12-03T01:04:05,859   !!

2025-12-03T01:04:05,860           ********************************************************************************
2025-12-03T01:04:05,860           Please avoid running ``setup.py`` directly.
2025-12-03T01:04:05,861           Instead, use pypa/build, pypa/installer or other
2025-12-03T01:04:05,861           standards-based tools.

2025-12-03T01:04:05,862           This deprecation is overdue, please update your project and remove deprecated
2025-12-03T01:04:05,863           calls to avoid build errors in the future.

2025-12-03T01:04:05,864           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2025-12-03T01:04:05,864           ********************************************************************************

2025-12-03T01:04:05,866   !!
2025-12-03T01:04:05,866     self.initialize_options()
2025-12-03T01:04:05,888   installing to build/bdist.linux-armv7l/wheel
2025-12-03T01:04:05,888   running install
2025-12-03T01:04:05,913   running install_lib
2025-12-03T01:04:05,940   creating build/bdist.linux-armv7l/wheel
2025-12-03T01:04:05,942   creating build/bdist.linux-armv7l/wheel/certora_bins
2025-12-03T01:04:05,944   copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins
2025-12-03T01:04:05,946   creating build/bdist.linux-armv7l/wheel/certora_jars
2025-12-03T01:04:05,947   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars
2025-12-03T01:04:05,949   copying build/lib/certora_jars/ASTExtraction.jar -> build/bdist.linux-armv7l/wheel/./certora_jars
2025-12-03T01:04:06,260   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars
2025-12-03T01:04:06,586   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars
2025-12-03T01:04:06,589   creating build/bdist.linux-armv7l/wheel/certora_cli
2025-12-03T01:04:06,590   creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver
2025-12-03T01:04:06,592   copying build/lib/certora_cli/CertoraProver/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-03T01:04:06,594   copying build/lib/certora_cli/CertoraProver/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-03T01:04:06,597   copying build/lib/certora_cli/CertoraProver/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-03T01:04:06,599   copying build/lib/certora_cli/CertoraProver/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-03T01:04:06,601   copying build/lib/certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-03T01:04:06,603   copying build/lib/certora_cli/CertoraProver/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-03T01:04:06,607   copying build/lib/certora_cli/CertoraProver/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-03T01:04:06,609   copying build/lib/certora_cli/CertoraProver/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-03T01:04:06,612   copying build/lib/certora_cli/CertoraProver/splitRules.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-03T01:04:06,614   copying build/lib/certora_cli/CertoraProver/storageExtension.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-03T01:04:06,616   copying build/lib/certora_cli/CertoraProver/castingInstrumenter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-03T01:04:06,618   copying build/lib/certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-03T01:04:06,621   copying build/lib/certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-03T01:04:06,623   copying build/lib/certora_cli/CertoraProver/certoraParseBuildScript.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-03T01:04:06,626   creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver/Compiler
2025-12-03T01:04:06,627   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-12-03T01:04:06,629   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-12-03T01:04:06,631   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-12-03T01:04:06,633   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-12-03T01:04:06,635   copying build/lib/certora_cli/CertoraProver/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-12-03T01:04:06,637   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-12-03T01:04:06,639   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-12-03T01:04:06,642   copying build/lib/certora_cli/CertoraProver/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-03T01:04:06,644   copying build/lib/certora_cli/CertoraProver/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-03T01:04:06,646   copying build/lib/certora_cli/CertoraProver/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-03T01:04:06,648   copying build/lib/certora_cli/CertoraProver/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-03T01:04:06,654   copying build/lib/certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-03T01:04:06,657   copying build/lib/certora_cli/CertoraProver/certoraProjectScanner.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-03T01:04:06,659   copying build/lib/certora_cli/CertoraProver/certoraBuildSui.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-03T01:04:06,661   copying build/lib/certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-03T01:04:06,663   copying build/lib/certora_cli/CertoraProver/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-03T01:04:06,666   copying build/lib/certora_cli/CertoraProver/certoraApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-03T01:04:06,667   copying build/lib/certora_cli/CertoraProver/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-03T01:04:06,669   copying build/lib/certora_cli/CertoraProver/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-03T01:04:06,671   copying build/lib/certora_cli/CertoraProver/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-03T01:04:06,673   copying build/lib/certora_cli/CertoraProver/erc7201.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-03T01:04:06,675   copying build/lib/certora_cli/CertoraProver/certoraBuildRust.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-03T01:04:06,677   copying build/lib/certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-12-03T01:04:06,679   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-12-03T01:04:06,681   copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-12-03T01:04:06,683   copying build/lib/certora_cli/certoraRanger.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-12-03T01:04:06,684   copying build/lib/certora_cli/certoraSuiProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-12-03T01:04:06,686   copying build/lib/certora_cli/certoraConcord.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-12-03T01:04:06,688   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-12-03T01:04:06,690   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2025-12-03T01:04:06,691   copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-12-03T01:04:06,693   copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-12-03T01:04:06,696   copying build/lib/certora_cli/Shared/proverCommon.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-12-03T01:04:06,698   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-12-03T01:04:06,700   copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-12-03T01:04:06,703   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-12-03T01:04:06,705   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-12-03T01:04:06,708   copying build/lib/certora_cli/rustMutator.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-12-03T01:04:06,711   creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate
2025-12-03T01:04:06,712   copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2025-12-03T01:04:06,714   copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2025-12-03T01:04:06,716   copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2025-12-03T01:04:06,719   copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2025-12-03T01:04:06,721   copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2025-12-03T01:04:06,724   copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2025-12-03T01:04:06,726   creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2025-12-03T01:04:06,727   copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-12-03T01:04:06,729   copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-12-03T01:04:06,731   copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-12-03T01:04:06,733   copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-12-03T01:04:06,734   copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-12-03T01:04:06,736   copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-12-03T01:04:06,739   copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-12-03T01:04:06,740   copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-12-03T01:04:06,742   copying build/lib/certora_cli/certoraSolanaProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-12-03T01:04:06,743   copying build/lib/certora_cli/certoraSorobanProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-12-03T01:04:06,745   copying build/lib/certora_cli/certoraCVLFormatter.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-12-03T01:04:06,747   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-12-03T01:04:06,749   copying build/lib/certora_cli/certoraEVMProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-12-03T01:04:06,750   running install_egg_info
2025-12-03T01:04:06,785   Copying certora_cli_alpha_master.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_alpha_master-20251202.23.58.988576-py3.11.egg-info
2025-12-03T01:04:06,795   running install_scripts
2025-12-03T01:04:06,807   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_master-20251202.23.58.988576.dist-info/WHEEL
2025-12-03T01:04:06,810   creating '/tmp/pip-wheel-1820i_3j/certora_cli_alpha_master-20251202.23.58.988576-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2025-12-03T01:04:06,812   adding 'certora_bins/__init__.py'
2025-12-03T01:04:06,814   adding 'certora_cli/__init__.py'
2025-12-03T01:04:06,815   adding 'certora_cli/certoraCVLFormatter.py'
2025-12-03T01:04:06,817   adding 'certora_cli/certoraConcord.py'
2025-12-03T01:04:06,818   adding 'certora_cli/certoraEVMProver.py'
2025-12-03T01:04:06,819   adding 'certora_cli/certoraEqCheck.py'
2025-12-03T01:04:06,821   adding 'certora_cli/certoraMutate.py'
2025-12-03T01:04:06,822   adding 'certora_cli/certoraRanger.py'
2025-12-03T01:04:06,824   adding 'certora_cli/certoraRun.py'
2025-12-03T01:04:06,825   adding 'certora_cli/certoraSolanaProver.py'
2025-12-03T01:04:06,827   adding 'certora_cli/certoraSorobanProver.py'
2025-12-03T01:04:06,828   adding 'certora_cli/certoraSuiProver.py'
2025-12-03T01:04:06,830   adding 'certora_cli/rustMutator.py'
2025-12-03T01:04:06,833   adding 'certora_cli/CertoraProver/__init__.py'
2025-12-03T01:04:06,834   adding 'certora_cli/CertoraProver/castingInstrumenter.py'
2025-12-03T01:04:06,836   adding 'certora_cli/CertoraProver/certoraApp.py'
2025-12-03T01:04:06,863   adding 'certora_cli/CertoraProver/certoraBuild.py'
2025-12-03T01:04:06,866   adding 'certora_cli/CertoraProver/certoraBuildCacheManager.py'
2025-12-03T01:04:06,868   adding 'certora_cli/CertoraProver/certoraBuildDataClasses.py'
2025-12-03T01:04:06,870   adding 'certora_cli/CertoraProver/certoraBuildRust.py'
2025-12-03T01:04:06,872   adding 'certora_cli/CertoraProver/certoraBuildSui.py'
2025-12-03T01:04:06,878   adding 'certora_cli/CertoraProver/certoraCloudIO.py'
2025-12-03T01:04:06,880   adding 'certora_cli/CertoraProver/certoraCollectConfigurationLayout.py'
2025-12-03T01:04:06,882   adding 'certora_cli/CertoraProver/certoraCollectRunMetadata.py'
2025-12-03T01:04:06,884   adding 'certora_cli/CertoraProver/certoraCompilerParameters.py'
2025-12-03T01:04:06,885   adding 'certora_cli/CertoraProver/certoraConfigIO.py'
2025-12-03T01:04:06,889   adding 'certora_cli/CertoraProver/certoraContext.py'
2025-12-03T01:04:06,895   adding 'certora_cli/CertoraProver/certoraContextAttributes.py'
2025-12-03T01:04:06,896   adding 'certora_cli/CertoraProver/certoraContextClass.py'
2025-12-03T01:04:06,902   adding 'certora_cli/CertoraProver/certoraContextValidator.py'
2025-12-03T01:04:06,904   adding 'certora_cli/CertoraProver/certoraContractFuncs.py'
2025-12-03T01:04:06,905   adding 'certora_cli/CertoraProver/certoraExtensionInfo.py'
2025-12-03T01:04:06,907   adding 'certora_cli/CertoraProver/certoraJobList.py'
2025-12-03T01:04:06,909   adding 'certora_cli/CertoraProver/certoraMiniSpecParser.py'
2025-12-03T01:04:06,910   adding 'certora_cli/CertoraProver/certoraNodeFilters.py'
2025-12-03T01:04:06,912   adding 'certora_cli/CertoraProver/certoraParseBuildScript.py'
2025-12-03T01:04:06,914   adding 'certora_cli/CertoraProver/certoraProjectScanner.py'
2025-12-03T01:04:06,916   adding 'certora_cli/CertoraProver/certoraSourceFinders.py'
2025-12-03T01:04:06,919   adding 'certora_cli/CertoraProver/certoraType.py'
2025-12-03T01:04:06,921   adding 'certora_cli/CertoraProver/certoraVerifyGenerator.py'
2025-12-03T01:04:06,922   adding 'certora_cli/CertoraProver/erc7201.py'
2025-12-03T01:04:06,924   adding 'certora_cli/CertoraProver/splitRules.py'
2025-12-03T01:04:06,926   adding 'certora_cli/CertoraProver/storageExtension.py'
2025-12-03T01:04:06,929   adding 'certora_cli/CertoraProver/Compiler/CompilerCollector.py'
2025-12-03T01:04:06,930   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py'
2025-12-03T01:04:06,932   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py'
2025-12-03T01:04:06,933   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py'
2025-12-03T01:04:06,940   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py'
2025-12-03T01:04:06,942   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py'
2025-12-03T01:04:06,944   adding 'certora_cli/CertoraProver/Compiler/__init__.py'
2025-12-03T01:04:06,945   adding 'certora_cli/EquivalenceCheck/Eq_default.conf'
2025-12-03T01:04:06,947   adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec'
2025-12-03T01:04:06,948   adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec'
2025-12-03T01:04:06,949   adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf'
2025-12-03T01:04:06,950   adding 'certora_cli/EquivalenceCheck/Eq_template.spec'
2025-12-03T01:04:06,951   adding 'certora_cli/EquivalenceCheck/__init__.py'
2025-12-03T01:04:06,954   adding 'certora_cli/EquivalenceCheck/equivCheck.py'
2025-12-03T01:04:06,955   adding 'certora_cli/EquivalenceCheck/sanity.spec'
2025-12-03T01:04:06,957   adding 'certora_cli/Mutate/__init__.py'
2025-12-03T01:04:06,967   adding 'certora_cli/Mutate/mutateApp.py'
2025-12-03T01:04:06,970   adding 'certora_cli/Mutate/mutateAttributes.py'
2025-12-03T01:04:06,971   adding 'certora_cli/Mutate/mutateConstants.py'
2025-12-03T01:04:06,972   adding 'certora_cli/Mutate/mutateUtil.py'
2025-12-03T01:04:06,974   adding 'certora_cli/Mutate/mutateValidate.py'
2025-12-03T01:04:06,977   adding 'certora_cli/Shared/ExpectedComparator.py'
2025-12-03T01:04:06,979   adding 'certora_cli/Shared/__init__.py'
2025-12-03T01:04:06,980   adding 'certora_cli/Shared/certoraAttrUtil.py'
2025-12-03T01:04:06,983   adding 'certora_cli/Shared/certoraLogging.py'
2025-12-03T01:04:06,991   adding 'certora_cli/Shared/certoraUtils.py'
2025-12-03T01:04:06,996   adding 'certora_cli/Shared/certoraValidateFuncs.py'
2025-12-03T01:04:06,998   adding 'certora_cli/Shared/proverCommon.py'
2025-12-03T01:04:07,001   adding 'certora_cli_alpha_master-20251202.23.58.988576.dist-info/licenses/LICENSE'
2025-12-03T01:04:09,449   adding 'certora_jars/ASTExtraction.jar'
2025-12-03T01:04:09,585   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2025-12-03T01:04:12,032   adding 'certora_jars/Typechecker.jar'
2025-12-03T01:04:12,173   adding 'certora_jars/__init__.py'
2025-12-03T01:04:12,174   adding 'certora_cli_alpha_master-20251202.23.58.988576.dist-info/METADATA'
2025-12-03T01:04:12,175   adding 'certora_cli_alpha_master-20251202.23.58.988576.dist-info/WHEEL'
2025-12-03T01:04:12,176   adding 'certora_cli_alpha_master-20251202.23.58.988576.dist-info/entry_points.txt'
2025-12-03T01:04:12,177   adding 'certora_cli_alpha_master-20251202.23.58.988576.dist-info/top_level.txt'
2025-12-03T01:04:12,179   adding 'certora_cli_alpha_master-20251202.23.58.988576.dist-info/RECORD'
2025-12-03T01:04:12,660   removing build/bdist.linux-armv7l/wheel
2025-12-03T01:04:12,809   Building wheel for certora-cli-alpha-master (setup.py): finished with status 'done'
2025-12-03T01:04:13,210   Created wheel for certora-cli-alpha-master: filename=certora_cli_alpha_master-20251202.23.58.988576-py3-none-any.whl size=40891534 sha256=56a14d6ccf0e85205f3017d211e1f9f5ef41c6e96e6195151f8d7de2bad9192a
2025-12-03T01:04:13,211   Stored in directory: /tmp/pip-ephem-wheel-cache-p9ki16p0/wheels/da/47/2f/fb60f2a14631a57a43f4a4c9a3afa89c7031baeed2a1bc8d2e
2025-12-03T01:04:13,237 Successfully built certora-cli-alpha-master
2025-12-03T01:04:14,168 Removed build tracker: '/tmp/pip-build-tracker-pv2pu_9c'