2026-08-12T16:18:22,512 Created temporary directory: /tmp/pip-ephem-wheel-cache-7nfg6pvy 2026-08-12T16:18:22,513 Created temporary directory: /tmp/pip-build-tracker-ksbnb0q3 2026-08-12T16:18:22,514 Initialized build tracking at /tmp/pip-build-tracker-ksbnb0q3 2026-08-12T16:18:22,514 Created build tracker: /tmp/pip-build-tracker-ksbnb0q3 2026-08-12T16:18:22,515 Entered build tracker: /tmp/pip-build-tracker-ksbnb0q3 2026-08-12T16:18:22,516 Created temporary directory: /tmp/pip-wheel-sif27vje 2026-08-12T16:18:22,519 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-08-12T16:18:22,521 Created temporary directory: /tmp/pip-ephem-wheel-cache-ei97d2i3 2026-08-12T16:18:22,544 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2026-08-12T16:18:22,548 2 location(s) to search for versions of certora-cli-alpha-master: 2026-08-12T16:18:22,548 * https://pypi.org/simple/certora-cli-alpha-master/ 2026-08-12T16:18:22,548 * https://www.piwheels.org/simple/certora-cli-alpha-master/ 2026-08-12T16:18:22,549 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-master/ 2026-08-12T16:18:22,550 Getting page https://pypi.org/simple/certora-cli-alpha-master/ 2026-08-12T16:18:22,551 Found index url https://pypi.org/simple 2026-08-12T16:18:22,782 Fetched page https://pypi.org/simple/certora-cli-alpha-master/ as application/vnd.pypi.simple.v1+json 2026-08-12T16:18:22,794 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-08-12T16:18:22,795 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-08-12T16:18:22,795 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-08-12T16:18:22,796 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-08-12T16:18:22,797 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-08-12T16:18:22,798 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-08-12T16:18:22,799 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-08-12T16:18:22,800 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-08-12T16:18:22,801 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-08-12T16:18:22,801 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-08-12T16:18:22,802 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-08-12T16:18:22,802 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-08-12T16:18:22,803 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-08-12T16:18:22,804 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-08-12T16:18:22,804 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-08-12T16:18:22,805 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-08-12T16:18:22,806 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-08-12T16:18:22,807 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-08-12T16:18:22,807 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-08-12T16:18:22,808 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-08-12T16:18:22,809 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-08-12T16:18:22,810 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-08-12T16:18:22,810 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-08-12T16:18:22,811 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-08-12T16:18:22,812 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-08-12T16:18:22,812 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-08-12T16:18:22,813 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-08-12T16:18:22,814 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-08-12T16:18:22,815 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6a/09/4e939ee69cb46db031bb269a97b64063597ac9d34889d20d4a303462027b/certora_cli_alpha_master-20260729.17.57.786085-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-08-12T16:18:22,816 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/21/36/97f04bca887e2e13b065177ee5a2b8d6d47f1ed73de909b5e9038f3529ad/certora_cli_alpha_master-20260729.17.57.786085-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-08-12T16:18:22,816 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b9/f0/be9a77032b0a9df8fa6fbf48e5edb4ac13d5f3ff1ebcb9cacdad438d1b5c/certora_cli_alpha_master-20260729.17.57.786085-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-08-12T16:18:22,817 Found link https://files.pythonhosted.org/packages/a4/9c/96728191b076f26887ff27a27fc12912d0ecd8e25db13529af25477a9e74/certora_cli_alpha_master-20260729.17.57.786085.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260729.17.57.786085 2026-08-12T16:18:22,818 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/9d/08/cbf1099db6f86e5504481c54e5c370a9fe0f873e5d0deca7c822a862c49d/certora_cli_alpha_master-20260730.18.17.393057-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-08-12T16:18:22,819 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b9/d7/71824819bac0b3b651e03c56bcdf3898e39c12eb31206a8db521e57a397e/certora_cli_alpha_master-20260730.18.17.393057-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-08-12T16:18:22,819 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f1/bd/577141cdd7308a7418266c811137a85d45aaf8830cd184d93c38315471b3/certora_cli_alpha_master-20260730.18.17.393057-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-08-12T16:18:22,820 Found link https://files.pythonhosted.org/packages/bb/80/10dcb85085ea0487e4226c06a6aedfc300275e7c1f3504ba1928fcc971f0/certora_cli_alpha_master-20260730.18.17.393057.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260730.18.17.393057 2026-08-12T16:18:22,820 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/65/3c/c5634adaac65fc984390185aa52d2223001807c16a5725bc151c1f9e3e44/certora_cli_alpha_master-20260804.10.28.546456-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-08-12T16:18:22,821 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/41/54/a6cae8a0236b53ed9b00635d766b137c67df01d75cc2f3fd248a90cb1518/certora_cli_alpha_master-20260804.10.28.546456-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-08-12T16:18:22,822 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/0e/00/7a550451a35f3f03c7ffdf4ac32ccd6ce7838c1f7b124f1c6005f9453ffd/certora_cli_alpha_master-20260804.10.28.546456-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-08-12T16:18:22,823 Found link https://files.pythonhosted.org/packages/b1/f6/6b3ce89371be9e08cc25f2f1bd8d876b9171e1b9637661ed9af13cf41cca/certora_cli_alpha_master-20260804.10.28.546456.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260804.10.28.546456 2026-08-12T16:18:22,823 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/85/a5/fa72202baa0b952977a068d4f328becd58b599de4814ab3680eb0377df47/certora_cli_alpha_master-20260804.11.33.345392-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-08-12T16:18:22,824 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/3b/42/c74051c04cbac7174c8ba3642d13f2c655365113b0bfbe1ae97c824928ba/certora_cli_alpha_master-20260804.11.33.345392-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-08-12T16:18:22,824 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/70/1d/53ee04325969eace9390f82ff76c3415e547b9fedc3fba85665629b85313/certora_cli_alpha_master-20260804.11.33.345392-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-08-12T16:18:22,825 Found link https://files.pythonhosted.org/packages/7f/bb/3baf344793a7cc94b0faa3d73a0de2d99b9751221ed260f6658f01b1c652/certora_cli_alpha_master-20260804.11.33.345392.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260804.11.33.345392 2026-08-12T16:18:22,826 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/14/d2/af13f991fe901d8906cb29adf1db5efcb1771a0b4e9baefeb4537e4d93af/certora_cli_alpha_master-20260805.1.2.652818-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-08-12T16:18:22,827 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b0/e9/3b16c1e4fb362dff2200e54bff67ebc17478ebc30f5b4f90972f2196bcc3/certora_cli_alpha_master-20260805.1.2.652818-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-08-12T16:18:22,827 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/59/24/efda386bde671bdbeb823ac09d2db3af4b518e8c032ef6f2d5db21aff1a5/certora_cli_alpha_master-20260805.1.2.652818-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-08-12T16:18:22,828 Found link https://files.pythonhosted.org/packages/6a/42/a085a913ede7324cb158050585cdf46e5af978adba289da84a8ad464d02a/certora_cli_alpha_master-20260805.1.2.652818.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260805.1.2.652818 2026-08-12T16:18:22,829 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/46/18/33257acaba7e7b95b4af0800c850a9bbc0b9af54277a5b3aa4da9da67683/certora_cli_alpha_master-20260806.11.36.29851-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-08-12T16:18:22,829 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/8e/30/7fafe5ce2a739c2613cb21cd004e834aca6ea8c7fff4a90fbf242af01346/certora_cli_alpha_master-20260806.11.36.29851-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-08-12T16:18:22,830 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/46/5c/f1a38ba710a296def3f79623674d72c3593f1a26685593d3207a6cc864e4/certora_cli_alpha_master-20260806.11.36.29851-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-08-12T16:18:22,831 Found link https://files.pythonhosted.org/packages/e3/1a/b2777af803bab1bb935d797be3281401cc962326b7e954b88684df187827/certora_cli_alpha_master-20260806.11.36.29851.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260806.11.36.29851 2026-08-12T16:18:22,832 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c4/60/90ae1c929b0ef960a3aade872739d9f51f10daebeae09f1b7dab01336620/certora_cli_alpha_master-20260810.10.57.307572-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-08-12T16:18:22,832 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c4/6b/c83bbd22156eaa8fa9e9ec3c6c2b67a378aedca0915ace826e8a4cf70691/certora_cli_alpha_master-20260810.10.57.307572-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-08-12T16:18:22,833 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/2c/d8/f9e477101a9734553622afdc6cb171bcb0ee756530982ca385fffeda5076/certora_cli_alpha_master-20260810.10.57.307572-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-08-12T16:18:22,834 Found link https://files.pythonhosted.org/packages/a8/35/8abb2884d5f5d6ae1e3971a93bb6d520c89ccba22dc46faf767385ab12e3/certora_cli_alpha_master-20260810.10.57.307572.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260810.10.57.307572 2026-08-12T16:18:22,835 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/25/c1/e4d051f4eb484b173ee83443d54592e2eecc6275d2c640abd247b9a3005e/certora_cli_alpha_master-20260812.14.52.259366-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-08-12T16:18:22,835 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/25/af/9a7e86d90c62ea3b83f5e850cf33ebbd03b3545cfc6f57b42eff58aa6f1a/certora_cli_alpha_master-20260812.14.52.259366-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-08-12T16:18:22,836 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/72/c5/468806aaf052ecc80c6962fc322a24d8cd30f142e7d6f08ab57e7f0cca0f/certora_cli_alpha_master-20260812.14.52.259366-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-08-12T16:18:22,836 Found link https://files.pythonhosted.org/packages/f4/03/911b0ab5a64ddaa920b3c9d486e578d365db2f587d090dac1062a2e5ea9f/certora_cli_alpha_master-20260812.14.52.259366.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20260812.14.52.259366 2026-08-12T16:18:22,837 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-master/ 2026-08-12T16:18:22,838 Getting page https://www.piwheels.org/simple/certora-cli-alpha-master/ 2026-08-12T16:18:22,839 Found index url https://www.piwheels.org/simple 2026-08-12T16:18:23,025 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-master/ as text/html 2026-08-12T16:18:23,030 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260810.10.57.307572-py3-none-any.whl#sha256=fcab60147ea0e9320c96034038ba6f528a3969f75d2ed697990acc89b7d1cae4 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-08-12T16:18:23,031 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260806.11.36.29851-py3-none-any.whl#sha256=3925bea34933a7f71631191225fcf888de134ffc31843d079e0189d4e870a9f0 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-08-12T16:18:23,032 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260805.1.2.652818-py3-none-any.whl#sha256=30d37e37ee82218c3b2203e9217c6add448b664b07ab70dccb6b884bf83b6fb1 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-08-12T16:18:23,032 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260804.11.33.345392-py3-none-any.whl#sha256=7545464533fb683fbc9e2e4ac2a3552f310dc55f42102849e7b4b37495f5e238 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-08-12T16:18:23,033 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260804.10.28.546456-py3-none-any.whl#sha256=2d70e499fef0b54b437462eb701dfd42efc52909e0031c1fe292fa1b59a9f985 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-08-12T16:18:23,033 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260730.18.17.393057-py3-none-any.whl#sha256=5689d3524aaf070cfece14b78bac61b868e37982b9083947e5bf25ae31a5705d (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-08-12T16:18:23,034 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260729.17.57.786085-py3-none-any.whl#sha256=c627956b371fdd6dc5c7e43e56a413bf535724a10d823a2af2f549a6794ba229 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-08-12T16:18:23,035 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20260722.7.0.82332-py3-none-any.whl#sha256=2ffddd7ffd68fed47fe96afde7bba33ad2ff351e01f37802ec981f8795d39c92 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2026-08-12T16:18:23,035 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.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-08-12T16:18:23,036 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.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-08-12T16:18:23,036 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.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-08-12T16:18:23,037 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.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-08-12T16:18:23,037 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.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-08-12T16:18:23,038 Skipping link: No binaries permitted for certora-cli-alpha-master: https://archive1.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-08-12T16:18:23,038 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-master/ 2026-08-12T16:18:23,039 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-master/ 2026-08-12T16:18:23,060 Given no hashes to check 1 links for project 'certora-cli-alpha-master': discarding no candidates 2026-08-12T16:18:23,077 Collecting certora-cli-alpha-master==20260812.14.52.259366 2026-08-12T16:18:23,080 Created temporary directory: /tmp/pip-unpack-s663vy70 2026-08-12T16:18:23,320 Downloading certora_cli_alpha_master-20260812.14.52.259366.tar.gz (43.3 MB) 2026-08-12T16:18:30,920 Added certora-cli-alpha-master==20260812.14.52.259366 from https://files.pythonhosted.org/packages/f4/03/911b0ab5a64ddaa920b3c9d486e578d365db2f587d090dac1062a2e5ea9f/certora_cli_alpha_master-20260812.14.52.259366.tar.gz to build tracker '/tmp/pip-build-tracker-ksbnb0q3' 2026-08-12T16:18:30,921 Running setup.py (path:/tmp/pip-wheel-sif27vje/certora-cli-alpha-master_e4e6ff8e5dc248c6b05465ddfc833594/setup.py) egg_info for package certora-cli-alpha-master 2026-08-12T16:18:30,922 Created temporary directory: /tmp/pip-pip-egg-info-dkrn062x 2026-08-12T16:18:30,922 Preparing metadata (setup.py): started 2026-08-12T16:18:30,924 Running command python setup.py egg_info 2026-08-12T16:18:31,780 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:765: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2026-08-12T16:18:31,781 !! 2026-08-12T16:18:31,781 ******************************************************************************** 2026-08-12T16:18:31,782 Please consider removing the following classifiers in favor of a SPDX license expression: 2026-08-12T16:18:31,783 License :: OSI Approved :: GNU General Public License v3 (GPLv3) 2026-08-12T16:18:31,784 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2026-08-12T16:18:31,784 ******************************************************************************** 2026-08-12T16:18:31,785 !! 2026-08-12T16:18:31,786 self._finalize_license_expression() 2026-08-12T16:18:31,811 running egg_info 2026-08-12T16:18:31,841 creating /tmp/pip-pip-egg-info-dkrn062x/certora_cli_alpha_master.egg-info 2026-08-12T16:18:31,842 writing /tmp/pip-pip-egg-info-dkrn062x/certora_cli_alpha_master.egg-info/PKG-INFO 2026-08-12T16:18:31,845 writing dependency_links to /tmp/pip-pip-egg-info-dkrn062x/certora_cli_alpha_master.egg-info/dependency_links.txt 2026-08-12T16:18:31,847 writing entry points to /tmp/pip-pip-egg-info-dkrn062x/certora_cli_alpha_master.egg-info/entry_points.txt 2026-08-12T16:18:31,849 writing requirements to /tmp/pip-pip-egg-info-dkrn062x/certora_cli_alpha_master.egg-info/requires.txt 2026-08-12T16:18:31,850 writing top-level names to /tmp/pip-pip-egg-info-dkrn062x/certora_cli_alpha_master.egg-info/top_level.txt 2026-08-12T16:18:31,851 writing manifest file '/tmp/pip-pip-egg-info-dkrn062x/certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-08-12T16:18:31,947 reading manifest file '/tmp/pip-pip-egg-info-dkrn062x/certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-08-12T16:18:31,948 reading manifest template 'MANIFEST.in' 2026-08-12T16:18:31,953 warning: no files found matching 'gambit' under directory 'certora_bins' 2026-08-12T16:18:32,052 adding license file 'LICENSE' 2026-08-12T16:18:32,057 writing manifest file '/tmp/pip-pip-egg-info-dkrn062x/certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-08-12T16:18:32,167 Preparing metadata (setup.py): finished with status 'done' 2026-08-12T16:18:32,171 Source in /tmp/pip-wheel-sif27vje/certora-cli-alpha-master_e4e6ff8e5dc248c6b05465ddfc833594 has version 20260812.14.52.259366, which satisfies requirement certora-cli-alpha-master==20260812.14.52.259366 from https://files.pythonhosted.org/packages/f4/03/911b0ab5a64ddaa920b3c9d486e578d365db2f587d090dac1062a2e5ea9f/certora_cli_alpha_master-20260812.14.52.259366.tar.gz 2026-08-12T16:18:32,172 Removed certora-cli-alpha-master==20260812.14.52.259366 from https://files.pythonhosted.org/packages/f4/03/911b0ab5a64ddaa920b3c9d486e578d365db2f587d090dac1062a2e5ea9f/certora_cli_alpha_master-20260812.14.52.259366.tar.gz from build tracker '/tmp/pip-build-tracker-ksbnb0q3' 2026-08-12T16:18:32,178 Created temporary directory: /tmp/pip-unpack-rmsi7br1 2026-08-12T16:18:32,179 Building wheels for collected packages: certora-cli-alpha-master 2026-08-12T16:18:32,183 Created temporary directory: /tmp/pip-wheel-jb9e4i5_ 2026-08-12T16:18:32,184 Building wheel for certora-cli-alpha-master (setup.py): started 2026-08-12T16:18:32,185 Destination directory: /tmp/pip-wheel-jb9e4i5_ 2026-08-12T16:18:32,186 Running command python setup.py bdist_wheel 2026-08-12T16:18:33,033 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:765: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2026-08-12T16:18:33,033 !! 2026-08-12T16:18:33,034 ******************************************************************************** 2026-08-12T16:18:33,035 Please consider removing the following classifiers in favor of a SPDX license expression: 2026-08-12T16:18:33,035 License :: OSI Approved :: GNU General Public License v3 (GPLv3) 2026-08-12T16:18:33,036 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2026-08-12T16:18:33,037 ******************************************************************************** 2026-08-12T16:18:33,038 !! 2026-08-12T16:18:33,038 self._finalize_license_expression() 2026-08-12T16:18:33,039 running bdist_wheel 2026-08-12T16:18:33,176 running build 2026-08-12T16:18:33,176 running build_py 2026-08-12T16:18:33,205 creating build/lib/certora_cli 2026-08-12T16:18:33,208 copying certora_cli/rustMutator.py -> build/lib/certora_cli 2026-08-12T16:18:33,210 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2026-08-12T16:18:33,212 copying certora_cli/certoraSuiProver.py -> build/lib/certora_cli 2026-08-12T16:18:33,214 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2026-08-12T16:18:33,216 copying certora_cli/certoraSolanaProver.py -> build/lib/certora_cli 2026-08-12T16:18:33,218 copying certora_cli/certoraCVLFormatter.py -> build/lib/certora_cli 2026-08-12T16:18:33,220 copying certora_cli/certoraEVMProver.py -> build/lib/certora_cli 2026-08-12T16:18:33,222 copying certora_cli/certoraRanger.py -> build/lib/certora_cli 2026-08-12T16:18:33,224 copying certora_cli/__init__.py -> build/lib/certora_cli 2026-08-12T16:18:33,226 copying certora_cli/certoraConcord.py -> build/lib/certora_cli 2026-08-12T16:18:33,228 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2026-08-12T16:18:33,230 copying certora_cli/certoraSorobanProver.py -> build/lib/certora_cli 2026-08-12T16:18:33,232 creating build/lib/certora_bins 2026-08-12T16:18:33,233 copying certora_bins/__init__.py -> build/lib/certora_bins 2026-08-12T16:18:33,235 creating build/lib/certora_jars 2026-08-12T16:18:33,236 copying certora_jars/__init__.py -> build/lib/certora_jars 2026-08-12T16:18:33,239 creating build/lib/certora_cli/Shared 2026-08-12T16:18:33,240 copying certora_cli/Shared/proverCommon.py -> build/lib/certora_cli/Shared 2026-08-12T16:18:33,242 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2026-08-12T16:18:33,245 copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared 2026-08-12T16:18:33,247 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2026-08-12T16:18:33,249 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2026-08-12T16:18:33,252 copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared 2026-08-12T16:18:33,254 copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared 2026-08-12T16:18:33,258 creating build/lib/certora_cli/CertoraProver 2026-08-12T16:18:33,259 copying certora_cli/CertoraProver/certoraCloudIO.py -> build/lib/certora_cli/CertoraProver 2026-08-12T16:18:33,262 copying certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/lib/certora_cli/CertoraProver 2026-08-12T16:18:33,265 copying certora_cli/CertoraProver/certoraProjectScanner.py -> build/lib/certora_cli/CertoraProver 2026-08-12T16:18:33,267 copying certora_cli/CertoraProver/certoraOffsetConverter.py -> build/lib/certora_cli/CertoraProver 2026-08-12T16:18:33,269 copying certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/lib/certora_cli/CertoraProver 2026-08-12T16:18:33,271 copying certora_cli/CertoraProver/certoraApp.py -> build/lib/certora_cli/CertoraProver 2026-08-12T16:18:33,273 copying certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/lib/certora_cli/CertoraProver 2026-08-12T16:18:33,276 copying certora_cli/CertoraProver/certoraType.py -> build/lib/certora_cli/CertoraProver 2026-08-12T16:18:33,278 copying certora_cli/CertoraProver/splitRules.py -> build/lib/certora_cli/CertoraProver 2026-08-12T16:18:33,281 copying certora_cli/CertoraProver/certoraCompilerParameters.py -> build/lib/certora_cli/CertoraProver 2026-08-12T16:18:33,282 copying certora_cli/CertoraProver/castingInstrumenter.py -> build/lib/certora_cli/CertoraProver 2026-08-12T16:18:33,285 copying certora_cli/CertoraProver/certoraContext.py -> build/lib/certora_cli/CertoraProver 2026-08-12T16:18:33,287 copying certora_cli/CertoraProver/certoraParseBuildScript.py -> build/lib/certora_cli/CertoraProver 2026-08-12T16:18:33,290 copying certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py -> build/lib/certora_cli/CertoraProver 2026-08-12T16:18:33,292 copying certora_cli/CertoraProver/__init__.py -> build/lib/certora_cli/CertoraProver 2026-08-12T16:18:33,294 copying certora_cli/CertoraProver/certoraContractFuncs.py -> build/lib/certora_cli/CertoraProver 2026-08-12T16:18:33,296 copying certora_cli/CertoraProver/certoraJobList.py -> build/lib/certora_cli/CertoraProver 2026-08-12T16:18:33,298 copying certora_cli/CertoraProver/certoraBuildRust.py -> build/lib/certora_cli/CertoraProver 2026-08-12T16:18:33,301 copying certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/lib/certora_cli/CertoraProver 2026-08-12T16:18:33,303 copying certora_cli/CertoraProver/certoraBuildSui.py -> build/lib/certora_cli/CertoraProver 2026-08-12T16:18:33,305 copying certora_cli/CertoraProver/certoraNodeFilters.py -> build/lib/certora_cli/CertoraProver 2026-08-12T16:18:33,307 copying certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/lib/certora_cli/CertoraProver 2026-08-12T16:18:33,309 copying certora_cli/CertoraProver/erc7201.py -> build/lib/certora_cli/CertoraProver 2026-08-12T16:18:33,311 copying certora_cli/CertoraProver/certoraContextClass.py -> build/lib/certora_cli/CertoraProver 2026-08-12T16:18:33,313 copying certora_cli/CertoraProver/certoraContextAttributes.py -> build/lib/certora_cli/CertoraProver 2026-08-12T16:18:33,319 copying certora_cli/CertoraProver/certoraSourceFinders.py -> build/lib/certora_cli/CertoraProver 2026-08-12T16:18:33,325 copying certora_cli/CertoraProver/certoraContextValidator.py -> build/lib/certora_cli/CertoraProver 2026-08-12T16:18:33,328 copying certora_cli/CertoraProver/certoraExtensionInfo.py -> build/lib/certora_cli/CertoraProver 2026-08-12T16:18:33,330 copying certora_cli/CertoraProver/certoraBuild.py -> build/lib/certora_cli/CertoraProver 2026-08-12T16:18:33,337 copying certora_cli/CertoraProver/certoraConfigIO.py -> build/lib/certora_cli/CertoraProver 2026-08-12T16:18:33,340 copying certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/lib/certora_cli/CertoraProver 2026-08-12T16:18:33,344 copying certora_cli/CertoraProver/storageExtension.py -> build/lib/certora_cli/CertoraProver 2026-08-12T16:18:33,350 creating build/lib/certora_cli/EquivalenceCheck 2026-08-12T16:18:33,352 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2026-08-12T16:18:33,358 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2026-08-12T16:18:33,361 creating build/lib/certora_cli/Mutate 2026-08-12T16:18:33,363 copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate 2026-08-12T16:18:33,365 copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate 2026-08-12T16:18:33,369 copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate 2026-08-12T16:18:33,371 copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate 2026-08-12T16:18:33,374 copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate 2026-08-12T16:18:33,376 copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate 2026-08-12T16:18:33,378 creating build/lib/certora_cli/CertoraProver/Compiler 2026-08-12T16:18:33,379 copying certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-08-12T16:18:33,381 copying certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-08-12T16:18:33,385 copying certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-08-12T16:18:33,386 copying certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-08-12T16:18:33,389 copying certora_cli/CertoraProver/Compiler/__init__.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-08-12T16:18:33,390 copying certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-08-12T16:18:33,392 copying certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/CertoraProver/Compiler 2026-08-12T16:18:33,394 running egg_info 2026-08-12T16:18:33,422 writing certora_cli_alpha_master.egg-info/PKG-INFO 2026-08-12T16:18:33,425 writing dependency_links to certora_cli_alpha_master.egg-info/dependency_links.txt 2026-08-12T16:18:33,427 writing entry points to certora_cli_alpha_master.egg-info/entry_points.txt 2026-08-12T16:18:33,429 writing requirements to certora_cli_alpha_master.egg-info/requires.txt 2026-08-12T16:18:33,430 writing top-level names to certora_cli_alpha_master.egg-info/top_level.txt 2026-08-12T16:18:33,468 reading manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-08-12T16:18:33,474 reading manifest template 'MANIFEST.in' 2026-08-12T16:18:33,479 warning: no files found matching 'gambit' under directory 'certora_bins' 2026-08-12T16:18:33,582 adding license file 'LICENSE' 2026-08-12T16:18:33,588 writing manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' 2026-08-12T16:18:33,594 copying certora_jars/ASTExtraction.jar -> build/lib/certora_jars 2026-08-12T16:18:33,961 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2026-08-12T16:18:33,964 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2026-08-12T16:18:34,378 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2026-08-12T16:18:34,381 copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck 2026-08-12T16:18:34,383 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2026-08-12T16:18:34,386 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2026-08-12T16:18:34,389 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2026-08-12T16:18:34,391 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2026-08-12T16:18:34,426 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:90: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2026-08-12T16:18:34,427 !! 2026-08-12T16:18:34,428 ******************************************************************************** 2026-08-12T16:18:34,429 Please avoid running ``setup.py`` directly. 2026-08-12T16:18:34,429 Instead, use pypa/build, pypa/installer or other 2026-08-12T16:18:34,430 standards-based tools. 2026-08-12T16:18:34,431 This deprecation is overdue, please update your project and remove deprecated 2026-08-12T16:18:34,432 calls to avoid build errors in the future. 2026-08-12T16:18:34,433 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2026-08-12T16:18:34,434 ******************************************************************************** 2026-08-12T16:18:34,435 !! 2026-08-12T16:18:34,436 self.initialize_options() 2026-08-12T16:18:34,460 installing to build/bdist.linux-armv7l/wheel 2026-08-12T16:18:34,460 running install 2026-08-12T16:18:34,482 running install_lib 2026-08-12T16:18:34,511 creating build/bdist.linux-armv7l/wheel 2026-08-12T16:18:34,513 creating build/bdist.linux-armv7l/wheel/certora_cli 2026-08-12T16:18:34,515 copying build/lib/certora_cli/rustMutator.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-08-12T16:18:34,518 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-08-12T16:18:34,520 copying build/lib/certora_cli/certoraSuiProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-08-12T16:18:34,522 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-08-12T16:18:34,524 copying build/lib/certora_cli/certoraSolanaProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-08-12T16:18:34,527 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2026-08-12T16:18:34,528 copying build/lib/certora_cli/Shared/proverCommon.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-08-12T16:18:34,531 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-08-12T16:18:34,534 copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-08-12T16:18:34,536 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-08-12T16:18:34,539 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-08-12T16:18:34,541 copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-08-12T16:18:34,544 copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2026-08-12T16:18:34,548 copying build/lib/certora_cli/certoraCVLFormatter.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-08-12T16:18:34,551 creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver 2026-08-12T16:18:34,552 copying build/lib/certora_cli/CertoraProver/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-08-12T16:18:34,556 copying build/lib/certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-08-12T16:18:34,559 copying build/lib/certora_cli/CertoraProver/certoraProjectScanner.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-08-12T16:18:34,561 copying build/lib/certora_cli/CertoraProver/certoraOffsetConverter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-08-12T16:18:34,564 copying build/lib/certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-08-12T16:18:34,566 copying build/lib/certora_cli/CertoraProver/certoraApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-08-12T16:18:34,568 copying build/lib/certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-08-12T16:18:34,570 copying build/lib/certora_cli/CertoraProver/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-08-12T16:18:34,573 copying build/lib/certora_cli/CertoraProver/splitRules.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-08-12T16:18:34,575 copying build/lib/certora_cli/CertoraProver/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-08-12T16:18:34,577 copying build/lib/certora_cli/CertoraProver/castingInstrumenter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-08-12T16:18:34,580 copying build/lib/certora_cli/CertoraProver/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-08-12T16:18:34,583 creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver/Compiler 2026-08-12T16:18:34,584 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-08-12T16:18:34,586 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-08-12T16:18:34,590 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-08-12T16:18:34,592 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-08-12T16:18:34,594 copying build/lib/certora_cli/CertoraProver/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-08-12T16:18:34,596 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-08-12T16:18:34,599 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2026-08-12T16:18:34,601 copying build/lib/certora_cli/CertoraProver/certoraParseBuildScript.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-08-12T16:18:34,603 copying build/lib/certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-08-12T16:18:34,605 copying build/lib/certora_cli/CertoraProver/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-08-12T16:18:34,607 copying build/lib/certora_cli/CertoraProver/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-08-12T16:18:34,610 copying build/lib/certora_cli/CertoraProver/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-08-12T16:18:34,612 copying build/lib/certora_cli/CertoraProver/certoraBuildRust.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-08-12T16:18:34,614 copying build/lib/certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-08-12T16:18:34,617 copying build/lib/certora_cli/CertoraProver/certoraBuildSui.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-08-12T16:18:34,619 copying build/lib/certora_cli/CertoraProver/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-08-12T16:18:34,621 copying build/lib/certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-08-12T16:18:34,624 copying build/lib/certora_cli/CertoraProver/erc7201.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-08-12T16:18:34,626 copying build/lib/certora_cli/CertoraProver/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-08-12T16:18:34,628 copying build/lib/certora_cli/CertoraProver/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-08-12T16:18:34,633 copying build/lib/certora_cli/CertoraProver/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-08-12T16:18:34,637 copying build/lib/certora_cli/CertoraProver/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-08-12T16:18:34,643 copying build/lib/certora_cli/CertoraProver/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-08-12T16:18:34,646 copying build/lib/certora_cli/CertoraProver/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-08-12T16:18:34,653 copying build/lib/certora_cli/CertoraProver/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-08-12T16:18:34,655 copying build/lib/certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-08-12T16:18:34,658 copying build/lib/certora_cli/CertoraProver/storageExtension.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2026-08-12T16:18:34,660 copying build/lib/certora_cli/certoraEVMProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-08-12T16:18:34,663 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2026-08-12T16:18:34,664 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-08-12T16:18:34,666 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-08-12T16:18:34,668 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-08-12T16:18:34,670 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-08-12T16:18:34,671 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-08-12T16:18:34,673 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-08-12T16:18:34,675 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-08-12T16:18:34,677 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2026-08-12T16:18:34,678 copying build/lib/certora_cli/certoraRanger.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-08-12T16:18:34,680 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-08-12T16:18:34,681 copying build/lib/certora_cli/certoraConcord.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-08-12T16:18:34,683 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-08-12T16:18:34,685 copying build/lib/certora_cli/certoraSorobanProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2026-08-12T16:18:34,688 creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate 2026-08-12T16:18:34,689 copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-08-12T16:18:34,691 copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-08-12T16:18:34,695 copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-08-12T16:18:34,696 copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-08-12T16:18:34,699 copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-08-12T16:18:34,701 copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2026-08-12T16:18:34,703 creating build/bdist.linux-armv7l/wheel/certora_bins 2026-08-12T16:18:34,704 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins 2026-08-12T16:18:34,706 creating build/bdist.linux-armv7l/wheel/certora_jars 2026-08-12T16:18:34,707 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars 2026-08-12T16:18:34,709 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2026-08-12T16:18:35,042 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars 2026-08-12T16:18:35,043 copying build/lib/certora_jars/ASTExtraction.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2026-08-12T16:18:35,385 running install_egg_info 2026-08-12T16:18:35,420 Copying certora_cli_alpha_master.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_alpha_master-20260812.14.52.259366-py3.11.egg-info 2026-08-12T16:18:35,431 running install_scripts 2026-08-12T16:18:35,444 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_master-20260812.14.52.259366.dist-info/WHEEL 2026-08-12T16:18:35,447 creating '/tmp/pip-wheel-jb9e4i5_/certora_cli_alpha_master-20260812.14.52.259366-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2026-08-12T16:18:35,449 adding 'certora_bins/__init__.py' 2026-08-12T16:18:35,451 adding 'certora_cli/__init__.py' 2026-08-12T16:18:35,452 adding 'certora_cli/certoraCVLFormatter.py' 2026-08-12T16:18:35,454 adding 'certora_cli/certoraConcord.py' 2026-08-12T16:18:35,455 adding 'certora_cli/certoraEVMProver.py' 2026-08-12T16:18:35,456 adding 'certora_cli/certoraEqCheck.py' 2026-08-12T16:18:35,458 adding 'certora_cli/certoraMutate.py' 2026-08-12T16:18:35,459 adding 'certora_cli/certoraRanger.py' 2026-08-12T16:18:35,461 adding 'certora_cli/certoraRun.py' 2026-08-12T16:18:35,462 adding 'certora_cli/certoraSolanaProver.py' 2026-08-12T16:18:35,464 adding 'certora_cli/certoraSorobanProver.py' 2026-08-12T16:18:35,466 adding 'certora_cli/certoraSuiProver.py' 2026-08-12T16:18:35,468 adding 'certora_cli/rustMutator.py' 2026-08-12T16:18:35,470 adding 'certora_cli/CertoraProver/__init__.py' 2026-08-12T16:18:35,472 adding 'certora_cli/CertoraProver/castingInstrumenter.py' 2026-08-12T16:18:35,474 adding 'certora_cli/CertoraProver/certoraApp.py' 2026-08-12T16:18:35,502 adding 'certora_cli/CertoraProver/certoraBuild.py' 2026-08-12T16:18:35,506 adding 'certora_cli/CertoraProver/certoraBuildCacheManager.py' 2026-08-12T16:18:35,508 adding 'certora_cli/CertoraProver/certoraBuildDataClasses.py' 2026-08-12T16:18:35,510 adding 'certora_cli/CertoraProver/certoraBuildRust.py' 2026-08-12T16:18:35,511 adding 'certora_cli/CertoraProver/certoraBuildSui.py' 2026-08-12T16:18:35,518 adding 'certora_cli/CertoraProver/certoraCloudIO.py' 2026-08-12T16:18:35,520 adding 'certora_cli/CertoraProver/certoraCollectConfigurationLayout.py' 2026-08-12T16:18:35,522 adding 'certora_cli/CertoraProver/certoraCollectRunMetadata.py' 2026-08-12T16:18:35,524 adding 'certora_cli/CertoraProver/certoraCompilerParameters.py' 2026-08-12T16:18:35,526 adding 'certora_cli/CertoraProver/certoraConfigIO.py' 2026-08-12T16:18:35,530 adding 'certora_cli/CertoraProver/certoraContext.py' 2026-08-12T16:18:35,536 adding 'certora_cli/CertoraProver/certoraContextAttributes.py' 2026-08-12T16:18:35,537 adding 'certora_cli/CertoraProver/certoraContextClass.py' 2026-08-12T16:18:35,543 adding 'certora_cli/CertoraProver/certoraContextValidator.py' 2026-08-12T16:18:35,545 adding 'certora_cli/CertoraProver/certoraContractFuncs.py' 2026-08-12T16:18:35,547 adding 'certora_cli/CertoraProver/certoraExtensionInfo.py' 2026-08-12T16:18:35,549 adding 'certora_cli/CertoraProver/certoraJobList.py' 2026-08-12T16:18:35,550 adding 'certora_cli/CertoraProver/certoraMiniSpecParser.py' 2026-08-12T16:18:35,552 adding 'certora_cli/CertoraProver/certoraNodeFilters.py' 2026-08-12T16:18:35,553 adding 'certora_cli/CertoraProver/certoraOffsetConverter.py' 2026-08-12T16:18:35,555 adding 'certora_cli/CertoraProver/certoraParseBuildScript.py' 2026-08-12T16:18:35,557 adding 'certora_cli/CertoraProver/certoraProjectScanner.py' 2026-08-12T16:18:35,560 adding 'certora_cli/CertoraProver/certoraSourceFinders.py' 2026-08-12T16:18:35,563 adding 'certora_cli/CertoraProver/certoraType.py' 2026-08-12T16:18:35,565 adding 'certora_cli/CertoraProver/certoraVerifyGenerator.py' 2026-08-12T16:18:35,567 adding 'certora_cli/CertoraProver/erc7201.py' 2026-08-12T16:18:35,569 adding 'certora_cli/CertoraProver/splitRules.py' 2026-08-12T16:18:35,571 adding 'certora_cli/CertoraProver/storageExtension.py' 2026-08-12T16:18:35,573 adding 'certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py' 2026-08-12T16:18:35,575 adding 'certora_cli/CertoraProver/Compiler/CompilerCollector.py' 2026-08-12T16:18:35,577 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py' 2026-08-12T16:18:35,579 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py' 2026-08-12T16:18:35,580 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py' 2026-08-12T16:18:35,588 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py' 2026-08-12T16:18:35,589 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py' 2026-08-12T16:18:35,591 adding 'certora_cli/CertoraProver/Compiler/__init__.py' 2026-08-12T16:18:35,592 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2026-08-12T16:18:35,593 adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec' 2026-08-12T16:18:35,595 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2026-08-12T16:18:35,596 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2026-08-12T16:18:35,597 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2026-08-12T16:18:35,598 adding 'certora_cli/EquivalenceCheck/__init__.py' 2026-08-12T16:18:35,601 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2026-08-12T16:18:35,602 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2026-08-12T16:18:35,604 adding 'certora_cli/Mutate/__init__.py' 2026-08-12T16:18:35,614 adding 'certora_cli/Mutate/mutateApp.py' 2026-08-12T16:18:35,617 adding 'certora_cli/Mutate/mutateAttributes.py' 2026-08-12T16:18:35,618 adding 'certora_cli/Mutate/mutateConstants.py' 2026-08-12T16:18:35,619 adding 'certora_cli/Mutate/mutateUtil.py' 2026-08-12T16:18:35,621 adding 'certora_cli/Mutate/mutateValidate.py' 2026-08-12T16:18:35,624 adding 'certora_cli/Shared/ExpectedComparator.py' 2026-08-12T16:18:35,625 adding 'certora_cli/Shared/__init__.py' 2026-08-12T16:18:35,627 adding 'certora_cli/Shared/certoraAttrUtil.py' 2026-08-12T16:18:35,629 adding 'certora_cli/Shared/certoraLogging.py' 2026-08-12T16:18:35,637 adding 'certora_cli/Shared/certoraUtils.py' 2026-08-12T16:18:35,643 adding 'certora_cli/Shared/certoraValidateFuncs.py' 2026-08-12T16:18:35,645 adding 'certora_cli/Shared/proverCommon.py' 2026-08-12T16:18:35,648 adding 'certora_cli_alpha_master-20260812.14.52.259366.dist-info/licenses/LICENSE' 2026-08-12T16:18:38,245 adding 'certora_jars/ASTExtraction.jar' 2026-08-12T16:18:38,390 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2026-08-12T16:18:40,986 adding 'certora_jars/Typechecker.jar' 2026-08-12T16:18:41,132 adding 'certora_jars/__init__.py' 2026-08-12T16:18:41,133 adding 'certora_cli_alpha_master-20260812.14.52.259366.dist-info/METADATA' 2026-08-12T16:18:41,134 adding 'certora_cli_alpha_master-20260812.14.52.259366.dist-info/WHEEL' 2026-08-12T16:18:41,135 adding 'certora_cli_alpha_master-20260812.14.52.259366.dist-info/entry_points.txt' 2026-08-12T16:18:41,136 adding 'certora_cli_alpha_master-20260812.14.52.259366.dist-info/top_level.txt' 2026-08-12T16:18:41,138 adding 'certora_cli_alpha_master-20260812.14.52.259366.dist-info/RECORD' 2026-08-12T16:18:41,598 removing build/bdist.linux-armv7l/wheel 2026-08-12T16:18:41,747 Building wheel for certora-cli-alpha-master (setup.py): finished with status 'done' 2026-08-12T16:18:42,176 Created wheel for certora-cli-alpha-master: filename=certora_cli_alpha_master-20260812.14.52.259366-py3-none-any.whl size=43403172 sha256=78ed6fe30df1aedc81b26dd4664993426c1c7e35eaaac0032a11faa0dbd2bd93 2026-08-12T16:18:42,177 Stored in directory: /tmp/pip-ephem-wheel-cache-ei97d2i3/wheels/bc/ee/68/a56486552156d0bc023c2c18b3a18230c8edd71d710e8494d4 2026-08-12T16:18:42,204 Successfully built certora-cli-alpha-master 2026-08-12T16:18:43,226 Removed build tracker: '/tmp/pip-build-tracker-ksbnb0q3'