2026-07-26T05:53:14,841 Created temporary directory: /tmp/pip-ephem-wheel-cache-16v4ikfa 2026-07-26T05:53:14,843 Created temporary directory: /tmp/pip-build-tracker-va3sfmn4 2026-07-26T05:53:14,844 Initialized build tracking at /tmp/pip-build-tracker-va3sfmn4 2026-07-26T05:53:14,844 Created build tracker: /tmp/pip-build-tracker-va3sfmn4 2026-07-26T05:53:14,845 Entered build tracker: /tmp/pip-build-tracker-va3sfmn4 2026-07-26T05:53:14,845 Created temporary directory: /tmp/pip-wheel-21q95dyn 2026-07-26T05:53:14,849 DEPRECATION: --no-binary currently disables reading from the cache of locally built wheels. In the future --no-binary will not influence the wheel cache. pip 23.1 will enforce this behaviour change. A possible replacement is to use the --no-cache-dir option. You can use the flag --use-feature=no-binary-enable-wheel-cache to test the upcoming behaviour. Discussion can be found at https://github.com/pypa/pip/issues/11453 2026-07-26T05:53:14,851 Created temporary directory: /tmp/pip-ephem-wheel-cache-vitswxd8 2026-07-26T05:53:14,872 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2026-07-26T05:53:14,876 2 location(s) to search for versions of certora-cli-alpha-master: 2026-07-26T05:53:14,876 * https://pypi.org/simple/certora-cli-alpha-master/ 2026-07-26T05:53:14,876 * https://www.piwheels.org/simple/certora-cli-alpha-master/ 2026-07-26T05:53:14,877 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-master/ 2026-07-26T05:53:14,878 Getting page https://pypi.org/simple/certora-cli-alpha-master/ 2026-07-26T05:53:14,879 Found index url https://pypi.org/simple 2026-07-26T05:53:15,102 Fetched page https://pypi.org/simple/certora-cli-alpha-master/ as application/vnd.pypi.simple.v1+json 2026-07-26T05:53:15,109 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/95/7c/cbc4193cb54147ec700878c62908e764d1a44499011aaf18ad4e32c94684/certora_cli_alpha_master-20260715.6.8.146347-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-26T05:53:15,109 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/2d/b2/ffed5f0a6dd0bea599910aa3c1b4c80ddda7925279a335c77b4fff66fd30/certora_cli_alpha_master-20260715.6.8.146347-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-26T05:53:15,110 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/cc/98/abb95aabd27bc48e5177e6728e4a08346e7662a2607fbb07026d7fdb14cf/certora_cli_alpha_master-20260715.6.8.146347-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-26T05:53:15,111 Found link https://files.pythonhosted.org/packages/1a/4e/eecc3fc4136977e849f50aac5cea73aa8f2696dd1eeea8a170b9dea2dd80/certora_cli_alpha_master-20260715.6.8.146347.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260715.6.8.146347 2026-07-26T05:53:15,112 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ee/ce/370691f153d969eac1203cc52c1826b780d48adeee2ef5c9c15b1e8a1177/certora_cli_alpha_master-20260715.6.46.85716-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-26T05:53:15,112 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6b/09/0f40d43671128a09007501ed11adce51aff23ee45ab2d36e4dea290735b0/certora_cli_alpha_master-20260715.6.46.85716-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-26T05:53:15,113 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/be/2f/3ddf62c230dde2698deb86266f086f7cb247f9557fcc0be287d51a152adf/certora_cli_alpha_master-20260715.6.46.85716-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-26T05:53:15,114 Found link https://files.pythonhosted.org/packages/ae/47/92ff1d04703a3fefe2a8c07f31af5a752a5f00e202e7a79249b20db34849/certora_cli_alpha_master-20260715.6.46.85716.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260715.6.46.85716 2026-07-26T05:53:15,115 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/4f/6b/2569a8f1d82cbcd3038c545f25c800141369995d7995f551d7133b217568/certora_cli_alpha_master-20260715.7.22.20117-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-26T05:53:15,115 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/3f/b4/2e74e85acaa011eef6259fe7644b482003f1e5be34fd4d4a694666c6d144/certora_cli_alpha_master-20260715.7.22.20117-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-26T05:53:15,116 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/79/bc/bab92aa4406caf5b774475f5dd02d30f9d04ec3be03c00122c7540f1813f/certora_cli_alpha_master-20260715.7.22.20117-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-26T05:53:15,117 Found link https://files.pythonhosted.org/packages/6c/64/0d21f6742adacc20e896f4980569e5fae72049296df8a1d69c40c4f137f5/certora_cli_alpha_master-20260715.7.22.20117.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260715.7.22.20117 2026-07-26T05:53:15,117 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f7/91/f1a624e94d2c8bc335f240c94cc60316449abed4a082e0dc026dfffb1c02/certora_cli_alpha_master-20260716.12.45.435886-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-26T05:53:15,118 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ba/3c/cc215a11d72ba4d2e2930f1cb54477fd9fda8847dc770350253d17cd6885/certora_cli_alpha_master-20260716.12.45.435886-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-26T05:53:15,118 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/57/83/2b159fff3ba9528936826c35ff5c2263bca5e62115e10b3b08449d2fca15/certora_cli_alpha_master-20260716.12.45.435886-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-26T05:53:15,119 Found link https://files.pythonhosted.org/packages/fe/f1/bd0ee3d0e883b44f7e8b9c06f6ccf14d360ceb609f587a6fba6b8ebb2c43/certora_cli_alpha_master-20260716.12.45.435886.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260716.12.45.435886 2026-07-26T05:53:15,120 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/9c/37/aaf262dff00ea9dd996478497cb630d05f32168994c54594ad1ecdb30fb6/certora_cli_alpha_master-20260716.14.2.9049-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-26T05:53:15,121 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/3e/01/2ff3d9c3b78d1b4b8fad28cfc851090ade9dc2731eed928510b99af2d563/certora_cli_alpha_master-20260716.14.2.9049-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-26T05:53:15,121 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/82/1e/af7142fb33494e3102f45cb6fff8991edb2872ee01b652ba4049e8265e5f/certora_cli_alpha_master-20260716.14.2.9049-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-26T05:53:15,122 Found link https://files.pythonhosted.org/packages/5e/0a/b2484aa492b0492bc45ed98094857e26555f7a1a5be5f715d130a313b065/certora_cli_alpha_master-20260716.14.2.9049.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260716.14.2.9049 2026-07-26T05:53:15,123 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/16/c8/2a26a3d4f2568f29577e36757296171e3fc585182b3335f929bf2066ffa8/certora_cli_alpha_master-20260716.17.27.262642-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-26T05:53:15,123 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/9e/91/d1b33e9d2ed8dea3db27f6872081db57891f8eff82a601b4e4692bcd823f/certora_cli_alpha_master-20260716.17.27.262642-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-26T05:53:15,124 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/3e/d0/2b5ecfd4c9492fe728578ccd09727236f18abdcb85dbdfa460c2e2fc0d21/certora_cli_alpha_master-20260716.17.27.262642-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-26T05:53:15,125 Found link https://files.pythonhosted.org/packages/ca/ad/077dabb866f62a6502c979eb9d1b008d9e2c51ae7e90206c3ba5126bab3c/certora_cli_alpha_master-20260716.17.27.262642.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260716.17.27.262642 2026-07-26T05:53:15,125 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c8/b2/3247bb6071cf9310ce04a6511ef8611fba688df70aa9b30bc070a138206e/certora_cli_alpha_master-20260722.7.0.82332-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-26T05:53:15,126 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/4d/97/ab10bc0d9a5d3369fe158558e784709f00670b83b333ddcc7619ffc615ef/certora_cli_alpha_master-20260722.7.0.82332-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-26T05:53:15,126 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/07/36/2b93ed34023c456ab2634299f4fbdd14cdecc10a9d06c0593c09f57b230c/certora_cli_alpha_master-20260722.7.0.82332-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-26T05:53:15,127 Found link https://files.pythonhosted.org/packages/78/70/8b27fdc16da2c03ed27db2606e70eae88a5fa8e6560d8a43bbecadec2bf5/certora_cli_alpha_master-20260722.7.0.82332.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260722.7.0.82332 2026-07-26T05:53:15,128 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-master/ 2026-07-26T05:53:15,129 Getting page https://www.piwheels.org/simple/certora-cli-alpha-master/ 2026-07-26T05:53:15,130 Found index url https://www.piwheels.org/simple 2026-07-26T05:53:15,317 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-master/ as text/html 2026-07-26T05:53:15,320 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260716.17.27.262642-py3-none-any.whl#sha256=a8512ab5706237cbdf2d53f45dc776514f94d9f8bacb554f2b7ec474b774c9d4 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-26T05:53:15,321 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260716.14.2.9049-py3-none-any.whl#sha256=6e9d33b816af5aefbb98a2302bad238461892e4838ba35fc8cbdc93426ab7f19 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-26T05:53:15,321 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260716.12.45.435886-py3-none-any.whl#sha256=ed116f6164127976e6252b4a8adc43b239cf63432761dc47dcddb775d7adebdb (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-26T05:53:15,322 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260715.7.22.20117-py3-none-any.whl#sha256=8125cf8d0056a9a09a1aa1d151e5a00ca3bf9076b8d7eb621306c97de9c67f6b (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-26T05:53:15,323 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260715.6.46.85716-py3-none-any.whl#sha256=c820011dee5c36644cac85c0ce94d2f3a0a95a1c9d8091a5ab97c03b383f6582 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-26T05:53:15,324 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260715.6.8.146347-py3-none-any.whl#sha256=bec01ba44ec8d882244f5377872fb0033c69618fdb36a35781a681f08f99c8ca (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-07-26T05:53:15,324 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-master/ 2026-07-26T05:53:15,325 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-master/ 2026-07-26T05:53:15,345 Given no hashes to check 1 links for project 'certora-cli-alpha-master': discarding no candidates 2026-07-26T05:53:15,364 Collecting certora-cli-alpha-master==20260722.7.0.82332 2026-07-26T05:53:15,367 Created temporary directory: /tmp/pip-unpack-8dgy7169 2026-07-26T05:53:15,526 Downloading certora_cli_alpha_master-20260722.7.0.82332.tar.gz (43.3 MB) 2026-07-26T05:53:20,448 Added certora-cli-alpha-master==20260722.7.0.82332 from https://files.pythonhosted.org/packages/78/70/8b27fdc16da2c03ed27db2606e70eae88a5fa8e6560d8a43bbecadec2bf5/certora_cli_alpha_master-20260722.7.0.82332.tar.gz to build tracker '/tmp/pip-build-tracker-va3sfmn4' 2026-07-26T05:53:20,449 Running setup.py (path:/tmp/pip-wheel-21q95dyn/certora-cli-alpha-master_94e39b6e52d34c258727fd5399e6ed51/setup.py) egg_info for package certora-cli-alpha-master 2026-07-26T05:53:20,450 Created temporary directory: /tmp/pip-pip-egg-info-zai1t1em 2026-07-26T05:53:20,451 Preparing metadata (setup.py): started 2026-07-26T05:53:20,452 Running command python setup.py egg_info 2026-07-26T05:53:21,323 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:332: InformationOnly: Normalizing '20260722.7.0.082332' to '20260722.7.0.82332' 2026-07-26T05:53:21,323 self.metadata.version = self._normalize_version(self.metadata.version) 2026-07-26T05:53:21,325 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:765: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2026-07-26T05:53:21,326 !! 2026-07-26T05:53:21,327 ******************************************************************************** 2026-07-26T05:53:21,327 Please consider removing the following classifiers in favor of a SPDX license expression: 2026-07-26T05:53:21,329 License :: OSI Approved :: GNU General Public License v3 (GPLv3) 2026-07-26T05:53:21,330 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2026-07-26T05:53:21,330 ******************************************************************************** 2026-07-26T05:53:21,331 !! 2026-07-26T05:53:21,332 self._finalize_license_expression() 2026-07-26T05:53:21,355 running egg_info 2026-07-26T05:53:21,385 creating /tmp/pip-pip-egg-info-zai1t1em/certora_cli_alpha_master.egg-info 2026-07-26T05:53:21,386 writing /tmp/pip-pip-egg-info-zai1t1em/certora_cli_alpha_master.egg-info/PKG-INFO 2026-07-26T05:53:21,389 writing dependency_links to /tmp/pip-pip-egg-info-zai1t1em/certora_cli_alpha_master.egg-info/dependency_links.txt 2026-07-26T05:53:21,391 writing entry points to /tmp/pip-pip-egg-info-zai1t1em/certora_cli_alpha_master.egg-info/entry_points.txt 2026-07-26T05:53:21,392 writing requirements to /tmp/pip-pip-egg-info-zai1t1em/certora_cli_alpha_master.egg-info/requires.txt 2026-07-26T05:53:21,393 writing top-level names to /tmp/pip-pip-egg-info-zai1t1em/certora_cli_alpha_master.egg-info/top_level.txt 2026-07-26T05:53:21,395 writing manifest file '/tmp/pip-pip-egg-info-zai1t1em/certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-07-26T05:53:21,488 reading manifest file '/tmp/pip-pip-egg-info-zai1t1em/certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-07-26T05:53:21,490 reading manifest template 'MANIFEST.in' 2026-07-26T05:53:21,494 warning: no files found matching 'gambit' under directory 'certora_bins' 2026-07-26T05:53:21,587 adding license file 'LICENSE' 2026-07-26T05:53:21,592 writing manifest file '/tmp/pip-pip-egg-info-zai1t1em/certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-07-26T05:53:21,700 Preparing metadata (setup.py): finished with status 'done' 2026-07-26T05:53:21,705 Source in /tmp/pip-wheel-21q95dyn/certora-cli-alpha-master_94e39b6e52d34c258727fd5399e6ed51 has version 20260722.7.0.82332, which satisfies requirement certora-cli-alpha-master==20260722.7.0.82332 from https://files.pythonhosted.org/packages/78/70/8b27fdc16da2c03ed27db2606e70eae88a5fa8e6560d8a43bbecadec2bf5/certora_cli_alpha_master-20260722.7.0.82332.tar.gz 2026-07-26T05:53:21,706 Removed certora-cli-alpha-master==20260722.7.0.82332 from https://files.pythonhosted.org/packages/78/70/8b27fdc16da2c03ed27db2606e70eae88a5fa8e6560d8a43bbecadec2bf5/certora_cli_alpha_master-20260722.7.0.82332.tar.gz from build tracker '/tmp/pip-build-tracker-va3sfmn4' 2026-07-26T05:53:21,712 Created temporary directory: /tmp/pip-unpack-sj7a9grj 2026-07-26T05:53:21,712 Building wheels for collected packages: certora-cli-alpha-master 2026-07-26T05:53:21,717 Created temporary directory: /tmp/pip-wheel-u1wr4szd 2026-07-26T05:53:21,718 Building wheel for certora-cli-alpha-master (setup.py): started 2026-07-26T05:53:21,719 Destination directory: /tmp/pip-wheel-u1wr4szd 2026-07-26T05:53:21,720 Running command python setup.py bdist_wheel 2026-07-26T05:53:22,568 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:332: InformationOnly: Normalizing '20260722.7.0.082332' to '20260722.7.0.82332' 2026-07-26T05:53:22,568 self.metadata.version = self._normalize_version(self.metadata.version) 2026-07-26T05:53:22,571 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:765: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2026-07-26T05:53:22,571 !! 2026-07-26T05:53:22,573 ******************************************************************************** 2026-07-26T05:53:22,573 Please consider removing the following classifiers in favor of a SPDX license expression: 2026-07-26T05:53:22,574 License :: OSI Approved :: GNU General Public License v3 (GPLv3) 2026-07-26T05:53:22,575 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2026-07-26T05:53:22,576 ******************************************************************************** 2026-07-26T05:53:22,577 !! 2026-07-26T05:53:22,578 self._finalize_license_expression() 2026-07-26T05:53:22,579 running bdist_wheel 2026-07-26T05:53:22,718 running build 2026-07-26T05:53:22,719 running build_py 2026-07-26T05:53:22,748 creating build/lib/certora_cli 2026-07-26T05:53:22,751 copying certora_cli/certoraConcord.py -> build/lib/certora_cli 2026-07-26T05:53:22,753 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2026-07-26T05:53:22,756 copying certora_cli/certoraSolanaProver.py -> build/lib/certora_cli 2026-07-26T05:53:22,758 copying certora_cli/certoraSuiProver.py -> build/lib/certora_cli 2026-07-26T05:53:22,761 copying certora_cli/rustMutator.py -> build/lib/certora_cli 2026-07-26T05:53:22,763 copying certora_cli/certoraRanger.py -> build/lib/certora_cli 2026-07-26T05:53:22,765 copying certora_cli/certoraEVMProver.py -> build/lib/certora_cli 2026-07-26T05:53:22,768 copying certora_cli/__init__.py -> build/lib/certora_cli 2026-07-26T05:53:22,769 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2026-07-26T05:53:22,771 copying certora_cli/certoraSorobanProver.py -> build/lib/certora_cli 2026-07-26T05:53:22,773 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2026-07-26T05:53:22,776 copying certora_cli/certoraCVLFormatter.py -> build/lib/certora_cli 2026-07-26T05:53:22,778 creating build/lib/certora_bins 2026-07-26T05:53:22,780 copying certora_bins/__init__.py -> build/lib/certora_bins 2026-07-26T05:53:22,782 creating build/lib/certora_jars 2026-07-26T05:53:22,783 copying certora_jars/__init__.py -> build/lib/certora_jars 2026-07-26T05:53:22,786 creating build/lib/certora_cli/EquivalenceCheck 2026-07-26T05:53:22,787 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2026-07-26T05:53:22,790 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2026-07-26T05:53:22,793 creating build/lib/certora_cli/CertoraProver 2026-07-26T05:53:22,794 copying certora_cli/CertoraProver/certoraJobList.py -> build/lib/certora_cli/CertoraProver 2026-07-26T05:53:22,797 copying certora_cli/CertoraProver/certoraNodeFilters.py -> build/lib/certora_cli/CertoraProver 2026-07-26T05:53:22,799 copying certora_cli/CertoraProver/certoraExtensionInfo.py -> build/lib/certora_cli/CertoraProver 2026-07-26T05:53:22,802 copying certora_cli/CertoraProver/certoraContext.py -> build/lib/certora_cli/CertoraProver 2026-07-26T05:53:22,805 copying certora_cli/CertoraProver/castingInstrumenter.py -> build/lib/certora_cli/CertoraProver 2026-07-26T05:53:22,808 copying certora_cli/CertoraProver/certoraCloudIO.py -> build/lib/certora_cli/CertoraProver 2026-07-26T05:53:22,811 copying certora_cli/CertoraProver/certoraConfigIO.py -> build/lib/certora_cli/CertoraProver 2026-07-26T05:53:22,814 copying certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/lib/certora_cli/CertoraProver 2026-07-26T05:53:22,817 copying certora_cli/CertoraProver/certoraBuild.py -> build/lib/certora_cli/CertoraProver 2026-07-26T05:53:22,825 copying certora_cli/CertoraProver/certoraContextValidator.py -> build/lib/certora_cli/CertoraProver 2026-07-26T05:53:22,828 copying certora_cli/CertoraProver/certoraBuildSui.py -> build/lib/certora_cli/CertoraProver 2026-07-26T05:53:22,831 copying certora_cli/CertoraProver/certoraParseBuildScript.py -> build/lib/certora_cli/CertoraProver 2026-07-26T05:53:22,833 copying certora_cli/CertoraProver/erc7201.py -> build/lib/certora_cli/CertoraProver 2026-07-26T05:53:22,835 copying certora_cli/CertoraProver/certoraSourceFinders.py -> build/lib/certora_cli/CertoraProver 2026-07-26T05:53:22,838 copying certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/lib/certora_cli/CertoraProver 2026-07-26T05:53:22,841 copying certora_cli/CertoraProver/certoraCompilerParameters.py -> build/lib/certora_cli/CertoraProver 2026-07-26T05:53:22,843 copying certora_cli/CertoraProver/certoraContractFuncs.py -> build/lib/certora_cli/CertoraProver 2026-07-26T05:53:22,846 copying certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/lib/certora_cli/CertoraProver 2026-07-26T05:53:22,849 copying certora_cli/CertoraProver/certoraBuildRust.py -> build/lib/certora_cli/CertoraProver 2026-07-26T05:53:22,851 copying certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py -> build/lib/certora_cli/CertoraProver 2026-07-26T05:53:22,854 copying certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/lib/certora_cli/CertoraProver 2026-07-26T05:53:22,857 copying certora_cli/CertoraProver/certoraContextClass.py -> build/lib/certora_cli/CertoraProver 2026-07-26T05:53:22,859 copying certora_cli/CertoraProver/__init__.py -> build/lib/certora_cli/CertoraProver 2026-07-26T05:53:22,861 copying certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/lib/certora_cli/CertoraProver 2026-07-26T05:53:22,863 copying certora_cli/CertoraProver/certoraProjectScanner.py -> build/lib/certora_cli/CertoraProver 2026-07-26T05:53:22,866 copying certora_cli/CertoraProver/splitRules.py -> build/lib/certora_cli/CertoraProver 2026-07-26T05:53:22,868 copying certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/lib/certora_cli/CertoraProver 2026-07-26T05:53:22,871 copying certora_cli/CertoraProver/certoraApp.py -> build/lib/certora_cli/CertoraProver 2026-07-26T05:53:22,873 copying certora_cli/CertoraProver/certoraOffsetConverter.py -> build/lib/certora_cli/CertoraProver 2026-07-26T05:53:22,875 copying certora_cli/CertoraProver/certoraContextAttributes.py -> build/lib/certora_cli/CertoraProver 2026-07-26T05:53:22,879 copying certora_cli/CertoraProver/certoraType.py -> build/lib/certora_cli/CertoraProver 2026-07-26T05:53:22,882 copying certora_cli/CertoraProver/storageExtension.py -> build/lib/certora_cli/CertoraProver 2026-07-26T05:53:22,886 creating build/lib/certora_cli/Shared 2026-07-26T05:53:22,887 copying certora_cli/Shared/proverCommon.py -> build/lib/certora_cli/Shared 2026-07-26T05:53:22,890 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2026-07-26T05:53:22,894 copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared 2026-07-26T05:53:22,897 copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared 2026-07-26T05:53:22,899 copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared 2026-07-26T05:53:22,902 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2026-07-26T05:53:22,905 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2026-07-26T05:53:22,908 creating build/lib/certora_cli/Mutate 2026-07-26T05:53:22,909 copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate 2026-07-26T05:53:22,912 copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate 2026-07-26T05:53:22,915 copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate 2026-07-26T05:53:22,917 copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate 2026-07-26T05:53:22,918 copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate 2026-07-26T05:53:22,922 copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate 2026-07-26T05:53:22,924 creating build/lib/certora_cli/CertoraProver/Compiler 2026-07-26T05:53:22,925 copying certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-07-26T05:53:22,928 copying certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-07-26T05:53:22,930 copying certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-07-26T05:53:22,932 copying certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-07-26T05:53:22,934 copying certora_cli/CertoraProver/Compiler/__init__.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-07-26T05:53:22,936 copying certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-07-26T05:53:22,939 copying certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-07-26T05:53:22,941 running egg_info 2026-07-26T05:53:22,969 writing certora_cli_alpha_master.egg-info/PKG-INFO 2026-07-26T05:53:22,972 writing dependency_links to certora_cli_alpha_master.egg-info/dependency_links.txt 2026-07-26T05:53:22,974 writing entry points to certora_cli_alpha_master.egg-info/entry_points.txt 2026-07-26T05:53:22,975 writing requirements to certora_cli_alpha_master.egg-info/requires.txt 2026-07-26T05:53:22,976 writing top-level names to certora_cli_alpha_master.egg-info/top_level.txt 2026-07-26T05:53:23,014 reading manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-07-26T05:53:23,020 reading manifest template 'MANIFEST.in' 2026-07-26T05:53:23,024 warning: no files found matching 'gambit' under directory 'certora_bins' 2026-07-26T05:53:23,120 adding license file 'LICENSE' 2026-07-26T05:53:23,126 writing manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-07-26T05:53:23,132 copying certora_jars/ASTExtraction.jar -> build/lib/certora_jars 2026-07-26T05:53:23,492 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2026-07-26T05:53:23,495 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2026-07-26T05:53:23,841 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2026-07-26T05:53:23,843 copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck 2026-07-26T05:53:23,845 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2026-07-26T05:53:23,847 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2026-07-26T05:53:23,849 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2026-07-26T05:53:23,851 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2026-07-26T05:53:23,884 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:90: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2026-07-26T05:53:23,885 !! 2026-07-26T05:53:23,886 ******************************************************************************** 2026-07-26T05:53:23,886 Please avoid running ``setup.py`` directly. 2026-07-26T05:53:23,887 Instead, use pypa/build, pypa/installer or other 2026-07-26T05:53:23,887 standards-based tools. 2026-07-26T05:53:23,889 This deprecation is overdue, please update your project and remove deprecated 2026-07-26T05:53:23,889 calls to avoid build errors in the future. 2026-07-26T05:53:23,890 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2026-07-26T05:53:23,891 ******************************************************************************** 2026-07-26T05:53:23,892 !! 2026-07-26T05:53:23,892 self.initialize_options() 2026-07-26T05:53:23,913 installing to build/bdist.linux-armv7l/wheel 2026-07-26T05:53:23,913 running install 2026-07-26T05:53:23,936 running install_lib 2026-07-26T05:53:23,963 creating build/bdist.linux-armv7l/wheel 2026-07-26T05:53:23,965 creating build/bdist.linux-armv7l/wheel/certora_cli 2026-07-26T05:53:23,966 copying build/lib/certora_cli/certoraConcord.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-26T05:53:23,968 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-26T05:53:23,970 copying build/lib/certora_cli/certoraSolanaProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-26T05:53:23,972 copying build/lib/certora_cli/certoraSuiProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-26T05:53:23,974 copying build/lib/certora_cli/rustMutator.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-26T05:53:23,976 copying build/lib/certora_cli/certoraRanger.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-26T05:53:23,978 copying build/lib/certora_cli/certoraEVMProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-26T05:53:23,980 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2026-07-26T05:53:23,981 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-07-26T05:53:23,984 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-07-26T05:53:23,985 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-07-26T05:53:23,987 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-07-26T05:53:23,989 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-07-26T05:53:23,990 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-07-26T05:53:23,992 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-07-26T05:53:23,993 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-07-26T05:53:23,996 creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver 2026-07-26T05:53:23,997 copying build/lib/certora_cli/CertoraProver/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-26T05:53:23,999 copying build/lib/certora_cli/CertoraProver/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-26T05:53:24,001 copying build/lib/certora_cli/CertoraProver/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-26T05:53:24,003 copying build/lib/certora_cli/CertoraProver/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-26T05:53:24,006 copying build/lib/certora_cli/CertoraProver/castingInstrumenter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-26T05:53:24,008 copying build/lib/certora_cli/CertoraProver/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-26T05:53:24,010 copying build/lib/certora_cli/CertoraProver/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-26T05:53:24,013 copying build/lib/certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-26T05:53:24,015 copying build/lib/certora_cli/CertoraProver/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-26T05:53:24,021 copying build/lib/certora_cli/CertoraProver/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-26T05:53:24,024 copying build/lib/certora_cli/CertoraProver/certoraBuildSui.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-26T05:53:24,026 copying build/lib/certora_cli/CertoraProver/certoraParseBuildScript.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-26T05:53:24,028 copying build/lib/certora_cli/CertoraProver/erc7201.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-26T05:53:24,030 copying build/lib/certora_cli/CertoraProver/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-26T05:53:24,032 copying build/lib/certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-26T05:53:24,035 copying build/lib/certora_cli/CertoraProver/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-26T05:53:24,037 copying build/lib/certora_cli/CertoraProver/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-26T05:53:24,039 copying build/lib/certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-26T05:53:24,041 copying build/lib/certora_cli/CertoraProver/certoraBuildRust.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-26T05:53:24,043 copying build/lib/certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-26T05:53:24,045 copying build/lib/certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-26T05:53:24,048 copying build/lib/certora_cli/CertoraProver/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-26T05:53:24,049 copying build/lib/certora_cli/CertoraProver/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-26T05:53:24,051 copying build/lib/certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-26T05:53:24,053 copying build/lib/certora_cli/CertoraProver/certoraProjectScanner.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-26T05:53:24,055 copying build/lib/certora_cli/CertoraProver/splitRules.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-26T05:53:24,057 copying build/lib/certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-26T05:53:24,061 creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver/Compiler 2026-07-26T05:53:24,062 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-07-26T05:53:24,065 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-07-26T05:53:24,067 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-07-26T05:53:24,070 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-07-26T05:53:24,072 copying build/lib/certora_cli/CertoraProver/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-07-26T05:53:24,074 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-07-26T05:53:24,078 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-07-26T05:53:24,081 copying build/lib/certora_cli/CertoraProver/certoraApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-26T05:53:24,083 copying build/lib/certora_cli/CertoraProver/certoraOffsetConverter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-26T05:53:24,086 copying build/lib/certora_cli/CertoraProver/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-26T05:53:24,090 copying build/lib/certora_cli/CertoraProver/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-26T05:53:24,093 copying build/lib/certora_cli/CertoraProver/storageExtension.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-07-26T05:53:24,097 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2026-07-26T05:53:24,098 copying build/lib/certora_cli/Shared/proverCommon.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-07-26T05:53:24,101 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-07-26T05:53:24,105 copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-07-26T05:53:24,108 copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-07-26T05:53:24,111 copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-07-26T05:53:24,115 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-07-26T05:53:24,117 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-07-26T05:53:24,120 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-26T05:53:24,122 creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate 2026-07-26T05:53:24,124 copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-07-26T05:53:24,127 copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-07-26T05:53:24,129 copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-07-26T05:53:24,132 copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-07-26T05:53:24,134 copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-07-26T05:53:24,139 copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-07-26T05:53:24,142 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-26T05:53:24,144 copying build/lib/certora_cli/certoraSorobanProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-26T05:53:24,147 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-26T05:53:24,150 copying build/lib/certora_cli/certoraCVLFormatter.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-07-26T05:53:24,153 creating build/bdist.linux-armv7l/wheel/certora_bins 2026-07-26T05:53:24,155 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins 2026-07-26T05:53:24,158 creating build/bdist.linux-armv7l/wheel/certora_jars 2026-07-26T05:53:24,159 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2026-07-26T05:53:24,526 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars 2026-07-26T05:53:24,527 copying build/lib/certora_jars/ASTExtraction.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2026-07-26T05:53:24,898 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars 2026-07-26T05:53:24,899 running install_egg_info 2026-07-26T05:53:24,934 Copying certora_cli_alpha_master.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_alpha_master-20260722.7.0.82332-py3.11.egg-info 2026-07-26T05:53:24,946 running install_scripts 2026-07-26T05:53:24,957 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_master-20260722.7.0.82332.dist-info/WHEEL 2026-07-26T05:53:24,960 creating '/tmp/pip-wheel-u1wr4szd/certora_cli_alpha_master-20260722.7.0.82332-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2026-07-26T05:53:24,962 adding 'certora_bins/__init__.py' 2026-07-26T05:53:24,964 adding 'certora_cli/__init__.py' 2026-07-26T05:53:24,966 adding 'certora_cli/certoraCVLFormatter.py' 2026-07-26T05:53:24,967 adding 'certora_cli/certoraConcord.py' 2026-07-26T05:53:24,968 adding 'certora_cli/certoraEVMProver.py' 2026-07-26T05:53:24,970 adding 'certora_cli/certoraEqCheck.py' 2026-07-26T05:53:24,971 adding 'certora_cli/certoraMutate.py' 2026-07-26T05:53:24,973 adding 'certora_cli/certoraRanger.py' 2026-07-26T05:53:24,975 adding 'certora_cli/certoraRun.py' 2026-07-26T05:53:24,976 adding 'certora_cli/certoraSolanaProver.py' 2026-07-26T05:53:24,977 adding 'certora_cli/certoraSorobanProver.py' 2026-07-26T05:53:24,979 adding 'certora_cli/certoraSuiProver.py' 2026-07-26T05:53:24,982 adding 'certora_cli/rustMutator.py' 2026-07-26T05:53:24,984 adding 'certora_cli/CertoraProver/__init__.py' 2026-07-26T05:53:24,986 adding 'certora_cli/CertoraProver/castingInstrumenter.py' 2026-07-26T05:53:24,987 adding 'certora_cli/CertoraProver/certoraApp.py' 2026-07-26T05:53:25,015 adding 'certora_cli/CertoraProver/certoraBuild.py' 2026-07-26T05:53:25,019 adding 'certora_cli/CertoraProver/certoraBuildCacheManager.py' 2026-07-26T05:53:25,021 adding 'certora_cli/CertoraProver/certoraBuildDataClasses.py' 2026-07-26T05:53:25,023 adding 'certora_cli/CertoraProver/certoraBuildRust.py' 2026-07-26T05:53:25,025 adding 'certora_cli/CertoraProver/certoraBuildSui.py' 2026-07-26T05:53:25,031 adding 'certora_cli/CertoraProver/certoraCloudIO.py' 2026-07-26T05:53:25,034 adding 'certora_cli/CertoraProver/certoraCollectConfigurationLayout.py' 2026-07-26T05:53:25,036 adding 'certora_cli/CertoraProver/certoraCollectRunMetadata.py' 2026-07-26T05:53:25,037 adding 'certora_cli/CertoraProver/certoraCompilerParameters.py' 2026-07-26T05:53:25,039 adding 'certora_cli/CertoraProver/certoraConfigIO.py' 2026-07-26T05:53:25,043 adding 'certora_cli/CertoraProver/certoraContext.py' 2026-07-26T05:53:25,049 adding 'certora_cli/CertoraProver/certoraContextAttributes.py' 2026-07-26T05:53:25,051 adding 'certora_cli/CertoraProver/certoraContextClass.py' 2026-07-26T05:53:25,057 adding 'certora_cli/CertoraProver/certoraContextValidator.py' 2026-07-26T05:53:25,059 adding 'certora_cli/CertoraProver/certoraContractFuncs.py' 2026-07-26T05:53:25,060 adding 'certora_cli/CertoraProver/certoraExtensionInfo.py' 2026-07-26T05:53:25,062 adding 'certora_cli/CertoraProver/certoraJobList.py' 2026-07-26T05:53:25,064 adding 'certora_cli/CertoraProver/certoraMiniSpecParser.py' 2026-07-26T05:53:25,065 adding 'certora_cli/CertoraProver/certoraNodeFilters.py' 2026-07-26T05:53:25,066 adding 'certora_cli/CertoraProver/certoraOffsetConverter.py' 2026-07-26T05:53:25,068 adding 'certora_cli/CertoraProver/certoraParseBuildScript.py' 2026-07-26T05:53:25,069 adding 'certora_cli/CertoraProver/certoraProjectScanner.py' 2026-07-26T05:53:25,072 adding 'certora_cli/CertoraProver/certoraSourceFinders.py' 2026-07-26T05:53:25,075 adding 'certora_cli/CertoraProver/certoraType.py' 2026-07-26T05:53:25,077 adding 'certora_cli/CertoraProver/certoraVerifyGenerator.py' 2026-07-26T05:53:25,078 adding 'certora_cli/CertoraProver/erc7201.py' 2026-07-26T05:53:25,080 adding 'certora_cli/CertoraProver/splitRules.py' 2026-07-26T05:53:25,082 adding 'certora_cli/CertoraProver/storageExtension.py' 2026-07-26T05:53:25,084 adding 'certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py' 2026-07-26T05:53:25,086 adding 'certora_cli/CertoraProver/Compiler/CompilerCollector.py' 2026-07-26T05:53:25,088 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py' 2026-07-26T05:53:25,089 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py' 2026-07-26T05:53:25,091 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py' 2026-07-26T05:53:25,099 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py' 2026-07-26T05:53:25,101 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py' 2026-07-26T05:53:25,102 adding 'certora_cli/CertoraProver/Compiler/__init__.py' 2026-07-26T05:53:25,104 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2026-07-26T05:53:25,105 adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec' 2026-07-26T05:53:25,106 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2026-07-26T05:53:25,107 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2026-07-26T05:53:25,109 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2026-07-26T05:53:25,110 adding 'certora_cli/EquivalenceCheck/__init__.py' 2026-07-26T05:53:25,113 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2026-07-26T05:53:25,114 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2026-07-26T05:53:25,116 adding 'certora_cli/Mutate/__init__.py' 2026-07-26T05:53:25,126 adding 'certora_cli/Mutate/mutateApp.py' 2026-07-26T05:53:25,128 adding 'certora_cli/Mutate/mutateAttributes.py' 2026-07-26T05:53:25,130 adding 'certora_cli/Mutate/mutateConstants.py' 2026-07-26T05:53:25,131 adding 'certora_cli/Mutate/mutateUtil.py' 2026-07-26T05:53:25,133 adding 'certora_cli/Mutate/mutateValidate.py' 2026-07-26T05:53:25,136 adding 'certora_cli/Shared/ExpectedComparator.py' 2026-07-26T05:53:25,137 adding 'certora_cli/Shared/__init__.py' 2026-07-26T05:53:25,139 adding 'certora_cli/Shared/certoraAttrUtil.py' 2026-07-26T05:53:25,141 adding 'certora_cli/Shared/certoraLogging.py' 2026-07-26T05:53:25,149 adding 'certora_cli/Shared/certoraUtils.py' 2026-07-26T05:53:25,155 adding 'certora_cli/Shared/certoraValidateFuncs.py' 2026-07-26T05:53:25,157 adding 'certora_cli/Shared/proverCommon.py' 2026-07-26T05:53:25,159 adding 'certora_cli_alpha_master-20260722.7.0.82332.dist-info/licenses/LICENSE' 2026-07-26T05:53:27,757 adding 'certora_jars/ASTExtraction.jar' 2026-07-26T05:53:27,902 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2026-07-26T05:53:30,497 adding 'certora_jars/Typechecker.jar' 2026-07-26T05:53:30,642 adding 'certora_jars/__init__.py' 2026-07-26T05:53:30,643 adding 'certora_cli_alpha_master-20260722.7.0.82332.dist-info/METADATA' 2026-07-26T05:53:30,644 adding 'certora_cli_alpha_master-20260722.7.0.82332.dist-info/WHEEL' 2026-07-26T05:53:30,645 adding 'certora_cli_alpha_master-20260722.7.0.82332.dist-info/entry_points.txt' 2026-07-26T05:53:30,646 adding 'certora_cli_alpha_master-20260722.7.0.82332.dist-info/top_level.txt' 2026-07-26T05:53:30,648 adding 'certora_cli_alpha_master-20260722.7.0.82332.dist-info/RECORD' 2026-07-26T05:53:31,228 removing build/bdist.linux-armv7l/wheel 2026-07-26T05:53:31,377 Building wheel for certora-cli-alpha-master (setup.py): finished with status 'done' 2026-07-26T05:53:31,823 Created wheel for certora-cli-alpha-master: filename=certora_cli_alpha_master-20260722.7.0.82332-py3-none-any.whl size=43402608 sha256=2ffddd7ffd68fed47fe96afde7bba33ad2ff351e01f37802ec981f8795d39c92 2026-07-26T05:53:31,825 Stored in directory: /tmp/pip-ephem-wheel-cache-vitswxd8/wheels/9e/6c/d2/808bf99eebef39598f5da80ae1311833cab8d260b94a9c4b19 2026-07-26T05:53:31,852 Successfully built certora-cli-alpha-master 2026-07-26T05:53:33,033 Removed build tracker: '/tmp/pip-build-tracker-va3sfmn4'