2025-12-05T20:23:05,752 Created temporary directory: /tmp/pip-ephem-wheel-cache-67v48b8t 2025-12-05T20:23:05,754 Created temporary directory: /tmp/pip-build-tracker-yafbqw4b 2025-12-05T20:23:05,754 Initialized build tracking at /tmp/pip-build-tracker-yafbqw4b 2025-12-05T20:23:05,755 Created build tracker: /tmp/pip-build-tracker-yafbqw4b 2025-12-05T20:23:05,755 Entered build tracker: /tmp/pip-build-tracker-yafbqw4b 2025-12-05T20:23:05,756 Created temporary directory: /tmp/pip-wheel-u1oxf2zz 2025-12-05T20:23:05,759 DEPRECATION: --no-binary currently disables reading from the cache of locally built wheels. In the future --no-binary will not influence the wheel cache. pip 23.1 will enforce this behaviour change. A possible replacement is to use the --no-cache-dir option. You can use the flag --use-feature=no-binary-enable-wheel-cache to test the upcoming behaviour. Discussion can be found at https://github.com/pypa/pip/issues/11453 2025-12-05T20:23:05,762 Created temporary directory: /tmp/pip-ephem-wheel-cache-17qfkm1i 2025-12-05T20:23:05,783 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-12-05T20:23:05,787 2 location(s) to search for versions of certora-cli-alpha-master: 2025-12-05T20:23:05,787 * https://pypi.org/simple/certora-cli-alpha-master/ 2025-12-05T20:23:05,787 * https://www.piwheels.org/simple/certora-cli-alpha-master/ 2025-12-05T20:23:05,788 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-master/ 2025-12-05T20:23:05,788 Getting page https://pypi.org/simple/certora-cli-alpha-master/ 2025-12-05T20:23:05,790 Found index url https://pypi.org/simple 2025-12-05T20:23:06,078 Fetched page https://pypi.org/simple/certora-cli-alpha-master/ as application/vnd.pypi.simple.v1+json 2025-12-05T20:23:06,086 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/66/d0/ce0e8c21e660c6f43c6f7b8f009403b654fa0422b47d0e634972135fa5d4/certora_cli_alpha_master-20251126.12.24.872806-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-05T20:23:06,087 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/cd/6a/edb7ec9d631d4898a59e501a1da82b2210fdeda8124a6ade6adb02288628/certora_cli_alpha_master-20251126.12.24.872806-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-05T20:23:06,087 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6d/ee/ca1e83296d021eb925e834c3474b40dc89fe9aff31c604ad8ca6e368f3f5/certora_cli_alpha_master-20251126.12.24.872806-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-05T20:23:06,088 Found link https://files.pythonhosted.org/packages/b9/54/056e0a2882778c41367772e5ef6bbec9c078a1233adf72ff15a37bd4897d/certora_cli_alpha_master-20251126.12.24.872806.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251126.12.24.872806 2025-12-05T20:23:06,089 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c0/c8/3be601ad9503d1305097c8fde331bedc2e14a4bc4fdbcf3654811c2da072/certora_cli_alpha_master-20251127.12.8.264687-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-05T20:23:06,090 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/20/94/0a2fc41f59ad47d959271fcdb5e66cb108292c4544946de2c7d7ad5a32da/certora_cli_alpha_master-20251127.12.8.264687-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-05T20:23:06,090 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/57/ea/0791dba1a82e615d2acb6f0ae7152ab9a3bdabc0b8d67b693c9f0e62646b/certora_cli_alpha_master-20251127.12.8.264687-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-05T20:23:06,091 Found link https://files.pythonhosted.org/packages/dd/b0/3153df7bb620fbb1124920a849e5d898ae5b5c9303d3b1a2ba4d785d49b9/certora_cli_alpha_master-20251127.12.8.264687.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251127.12.8.264687 2025-12-05T20:23:06,092 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a9/b9/cfbbd048cdfef3b64dbbf0edbf4aebf0474a6cf27e082d006ef9a144c1db/certora_cli_alpha_master-20251127.18.23.7929-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-05T20:23:06,093 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d1/57/35c7427d41978bf832563ea31f928520680c33e4fe9baceb45faf55bf0c4/certora_cli_alpha_master-20251127.18.23.7929-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-05T20:23:06,093 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f5/72/17df54d901df73a2792951546723f5921624ea0db2d4185e280639e17b9d/certora_cli_alpha_master-20251127.18.23.7929-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-05T20:23:06,094 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/29/92/108b7361d6ff255f095bae042f87daa4e2626a5435c3df9976531846f126/certora_cli_alpha_master-20251202.20.51.90074-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-05T20:23:06,094 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ca/5f/a8d30ba3146bbde712de41a4d4d67e9fa7fc21c63f7a31fc9e0db42c7866/certora_cli_alpha_master-20251202.20.51.90074-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-05T20:23:06,095 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6d/95/1aaca5bdd99a4b39ac336496b6263e8b700ccd0442777953afdb46491f22/certora_cli_alpha_master-20251202.20.51.90074-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-05T20:23:06,096 Found link https://files.pythonhosted.org/packages/68/d8/96a5babca987ccb2b71fc2a8e7439be830fe95c46f5b06fd34756f244752/certora_cli_alpha_master-20251202.20.51.90074.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251202.20.51.90074 2025-12-05T20:23:06,096 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/29/d8/f984baf5d99648ef195c36fc729329308758515b72144ff7ed313fdcbe27/certora_cli_alpha_master-20251202.23.58.988576-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-05T20:23:06,097 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/02/21/db44513c29194a7093e69ab79001fc3f46aec8092a40f910f35cd38afb4e/certora_cli_alpha_master-20251202.23.58.988576-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-05T20:23:06,098 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/33/44/90eade5ee226cfa22b248903baba7351435b5d903cb3a59db3fd7aca5304/certora_cli_alpha_master-20251202.23.58.988576-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-05T20:23:06,098 Found link https://files.pythonhosted.org/packages/09/79/b5f5a3605a4b6033fe4d91aabd897f538c9bf929c01efb387c52bf127a27/certora_cli_alpha_master-20251202.23.58.988576.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251202.23.58.988576 2025-12-05T20:23:06,099 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ad/e9/044b6cd977acec1d3b34575f49ae9cecaf8bd7639a5e546a59baf1bf5791/certora_cli_alpha_master-20251203.2.24.260812-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-05T20:23:06,100 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/03/46/a44eaab5466926bfabb4f4010aec3b045eb4a42d35e6d4b438e872e63b12/certora_cli_alpha_master-20251203.2.24.260812-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-05T20:23:06,100 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e1/2d/8ddfeaee83b4f8cf5728e1b418d0a265b7e9c99616f7a3e55bb66034ad4e/certora_cli_alpha_master-20251203.2.24.260812-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-05T20:23:06,101 Found link https://files.pythonhosted.org/packages/aa/b4/6b4ad362370ef688f7ac67f87b66e60dab6a013eefb8c0b2cbf5f9451dc7/certora_cli_alpha_master-20251203.2.24.260812.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251203.2.24.260812 2025-12-05T20:23:06,102 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/23/84/355b81bf1cb4dea36b950d7cd371cac9d4238628428c956ac7468ed0833d/certora_cli_alpha_master-20251203.3.42.874358-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-05T20:23:06,102 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/aa/74/6148d7b2baed90eec5ade3051c55102a10f29f27a3186668b0d3dcc7aee3/certora_cli_alpha_master-20251203.3.42.874358-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-05T20:23:06,103 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/fe/a9/bbd68c528204f8ff05b525ff1669dcc27d1183899641b08203b601575de4/certora_cli_alpha_master-20251203.3.42.874358-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-05T20:23:06,104 Found link https://files.pythonhosted.org/packages/46/6d/5b0d4d7ba547e6f73b146427f787bee02c756de89443afed5b6919e8f7d4/certora_cli_alpha_master-20251203.3.42.874358.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251203.3.42.874358 2025-12-05T20:23:06,105 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/8d/fa/06e6fbb5f6cefe914d0af13d3de2193a965b0730e76f22d0b894b8c1df81/certora_cli_alpha_master-20251204.10.23.58541-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-05T20:23:06,106 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/fc/b5/a84028887001fe9557ff9797ecddcad19d940c96e824ca3411d5529f1be6/certora_cli_alpha_master-20251204.10.23.58541-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-05T20:23:06,106 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/f7/eb/499f4e0ebefb15e6e48a26a4f6ecb4ce50d9dc663369f81dd7db9f75bdc9/certora_cli_alpha_master-20251204.10.23.58541-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-05T20:23:06,107 Found link https://files.pythonhosted.org/packages/d3/02/9258234548681b2b87aa6ce03fa8a313f8272a9eccf198b7537f75af34a0/certora_cli_alpha_master-20251204.10.23.58541.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251204.10.23.58541 2025-12-05T20:23:06,108 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/96/cc/a5ff743be84d956133929906639d482ab904b701e2befd6b7dc11ae59f54/certora_cli_alpha_master-20251204.22.15.393566-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-05T20:23:06,109 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/0d/ad/e7f4e3605c75a75ceaa07fac2ae0a895beb4fb4c150fb0059e4d7cb2d5b2/certora_cli_alpha_master-20251204.22.15.393566-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-05T20:23:06,109 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ee/1a/f9eedc9752d97121e34bd5ae8139db92494552b15da87a13f6ad6cd7ef79/certora_cli_alpha_master-20251204.22.15.393566-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-05T20:23:06,110 Found link https://files.pythonhosted.org/packages/ed/8a/b64529bc6633894bb9b879bf42f7e61bafffd1dec2b32b4d854595f837b7/certora_cli_alpha_master-20251204.22.15.393566.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251204.22.15.393566 2025-12-05T20:23:06,111 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/48/4d/ad22d13b26655f11699c70cb2dd2b97c1c2d6b1df72b5000b2e998b799d0/certora_cli_alpha_master-20251205.19.3.122282-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-05T20:23:06,111 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/60/1c/766ce7f45a578c7aabe534c3c2a93301928c0a5f12b6233ce87bf7966f12/certora_cli_alpha_master-20251205.19.3.122282-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-05T20:23:06,112 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ff/e1/20fcb7f8cdca4ceb68faaebad32bf05a59d7068374c396a66d9973e8637e/certora_cli_alpha_master-20251205.19.3.122282-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-05T20:23:06,113 Found link https://files.pythonhosted.org/packages/15/d5/66ded71a7207562d4c31b6112f3287737fca7541fd48b43c40b8eccaa8f2/certora_cli_alpha_master-20251205.19.3.122282.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20251205.19.3.122282 2025-12-05T20:23:06,114 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-master/ 2025-12-05T20:23:06,115 Getting page https://www.piwheels.org/simple/certora-cli-alpha-master/ 2025-12-05T20:23:06,116 Found index url https://www.piwheels.org/simple 2025-12-05T20:23:06,332 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-master/ as text/html 2025-12-05T20:23:06,336 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251204.22.15.393566-py3-none-any.whl#sha256=beac6f7d179264c8374448ebb92d064fb23b817dd5effe0772abad4eae5448f4 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-05T20:23:06,336 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251204.10.23.58541-py3-none-any.whl#sha256=3cca75e9d9a09ffdb32a47d81d653bbd8508eeed103f9fb364b175cd2f3a8de8 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-05T20:23:06,337 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251203.3.42.874358-py3-none-any.whl#sha256=5347a4e1b35b7eba372ea808e571662c7322ee0a4bb1b2fccb41587bfea93cfe (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-05T20:23:06,338 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251203.2.24.260812-py3-none-any.whl#sha256=0ef5deb427f2cefa95d875be49213b03754e7dabf6956c64544026986ab68975 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-05T20:23:06,339 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251202.23.58.988576-py3-none-any.whl#sha256=56a14d6ccf0e85205f3017d211e1f9f5ef41c6e96e6195151f8d7de2bad9192a (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-05T20:23:06,339 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251202.20.51.90074-py3-none-any.whl#sha256=1a6aadab7ded8473fc1e734209d54baa1aeee53d7c22f33e41d73da63dca2b11 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-05T20:23:06,339 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251127.12.8.264687-py3-none-any.whl#sha256=9cbd54d725a8100c51044ac47f025cab6259de4afb76f7c474651ce1a13916ec (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-05T20:23:06,340 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20251126.12.24.872806-py3-none-any.whl#sha256=9b28f644e331565715761039e1a3aeccb549bc1884fa6eb8d00523ce086e3ab7 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-12-05T20:23:06,341 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-master/ 2025-12-05T20:23:06,341 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-master/ 2025-12-05T20:23:06,363 Given no hashes to check 1 links for project 'certora-cli-alpha-master': discarding no candidates 2025-12-05T20:23:06,382 Collecting certora-cli-alpha-master==20251205.19.3.122282 2025-12-05T20:23:06,384 Created temporary directory: /tmp/pip-unpack-1136in_z 2025-12-05T20:23:06,605 Downloading certora_cli_alpha_master-20251205.19.3.122282.tar.gz (40.8 MB) 2025-12-05T20:23:13,842 Added certora-cli-alpha-master==20251205.19.3.122282 from https://files.pythonhosted.org/packages/15/d5/66ded71a7207562d4c31b6112f3287737fca7541fd48b43c40b8eccaa8f2/certora_cli_alpha_master-20251205.19.3.122282.tar.gz to build tracker '/tmp/pip-build-tracker-yafbqw4b' 2025-12-05T20:23:13,843 Running setup.py (path:/tmp/pip-wheel-u1oxf2zz/certora-cli-alpha-master_75bcb55f887542e386a7b09ad200142d/setup.py) egg_info for package certora-cli-alpha-master 2025-12-05T20:23:13,844 Created temporary directory: /tmp/pip-pip-egg-info-vp0bx725 2025-12-05T20:23:13,845 Preparing metadata (setup.py): started 2025-12-05T20:23:13,846 Running command python setup.py egg_info 2025-12-05T20:23:14,724 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2025-12-05T20:23:14,724 !! 2025-12-05T20:23:14,725 ******************************************************************************** 2025-12-05T20:23:14,726 Please consider removing the following classifiers in favor of a SPDX license expression: 2025-12-05T20:23:14,727 License :: OSI Approved :: GNU General Public License v3 (GPLv3) 2025-12-05T20:23:14,728 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-12-05T20:23:14,729 ******************************************************************************** 2025-12-05T20:23:14,730 !! 2025-12-05T20:23:14,731 self._finalize_license_expression() 2025-12-05T20:23:14,754 running egg_info 2025-12-05T20:23:14,782 creating /tmp/pip-pip-egg-info-vp0bx725/certora_cli_alpha_master.egg-info 2025-12-05T20:23:14,783 writing /tmp/pip-pip-egg-info-vp0bx725/certora_cli_alpha_master.egg-info/PKG-INFO 2025-12-05T20:23:14,786 writing dependency_links to /tmp/pip-pip-egg-info-vp0bx725/certora_cli_alpha_master.egg-info/dependency_links.txt 2025-12-05T20:23:14,788 writing entry points to /tmp/pip-pip-egg-info-vp0bx725/certora_cli_alpha_master.egg-info/entry_points.txt 2025-12-05T20:23:14,790 writing requirements to /tmp/pip-pip-egg-info-vp0bx725/certora_cli_alpha_master.egg-info/requires.txt 2025-12-05T20:23:14,791 writing top-level names to /tmp/pip-pip-egg-info-vp0bx725/certora_cli_alpha_master.egg-info/top_level.txt 2025-12-05T20:23:14,792 writing manifest file '/tmp/pip-pip-egg-info-vp0bx725/certora_cli_alpha_master.egg-info/SOURCES.txt' 2025-12-05T20:23:14,889 reading manifest file '/tmp/pip-pip-egg-info-vp0bx725/certora_cli_alpha_master.egg-info/SOURCES.txt' 2025-12-05T20:23:14,891 reading manifest template 'MANIFEST.in' 2025-12-05T20:23:15,018 warning: no files found matching 'gambit' under directory 'certora_bins' 2025-12-05T20:23:15,112 adding license file 'LICENSE' 2025-12-05T20:23:15,117 writing manifest file '/tmp/pip-pip-egg-info-vp0bx725/certora_cli_alpha_master.egg-info/SOURCES.txt' 2025-12-05T20:23:15,226 Preparing metadata (setup.py): finished with status 'done' 2025-12-05T20:23:15,231 Source in /tmp/pip-wheel-u1oxf2zz/certora-cli-alpha-master_75bcb55f887542e386a7b09ad200142d has version 20251205.19.3.122282, which satisfies requirement certora-cli-alpha-master==20251205.19.3.122282 from https://files.pythonhosted.org/packages/15/d5/66ded71a7207562d4c31b6112f3287737fca7541fd48b43c40b8eccaa8f2/certora_cli_alpha_master-20251205.19.3.122282.tar.gz 2025-12-05T20:23:15,231 Removed certora-cli-alpha-master==20251205.19.3.122282 from https://files.pythonhosted.org/packages/15/d5/66ded71a7207562d4c31b6112f3287737fca7541fd48b43c40b8eccaa8f2/certora_cli_alpha_master-20251205.19.3.122282.tar.gz from build tracker '/tmp/pip-build-tracker-yafbqw4b' 2025-12-05T20:23:15,237 Created temporary directory: /tmp/pip-unpack-0hwyf90g 2025-12-05T20:23:15,238 Building wheels for collected packages: certora-cli-alpha-master 2025-12-05T20:23:15,242 Created temporary directory: /tmp/pip-wheel-5cewir7c 2025-12-05T20:23:15,243 Building wheel for certora-cli-alpha-master (setup.py): started 2025-12-05T20:23:15,244 Destination directory: /tmp/pip-wheel-5cewir7c 2025-12-05T20:23:15,245 Running command python setup.py bdist_wheel 2025-12-05T20:23:16,081 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2025-12-05T20:23:16,081 !! 2025-12-05T20:23:16,082 ******************************************************************************** 2025-12-05T20:23:16,083 Please consider removing the following classifiers in favor of a SPDX license expression: 2025-12-05T20:23:16,084 License :: OSI Approved :: GNU General Public License v3 (GPLv3) 2025-12-05T20:23:16,085 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-12-05T20:23:16,086 ******************************************************************************** 2025-12-05T20:23:16,087 !! 2025-12-05T20:23:16,087 self._finalize_license_expression() 2025-12-05T20:23:16,088 running bdist_wheel 2025-12-05T20:23:16,219 running build 2025-12-05T20:23:16,219 running build_py 2025-12-05T20:23:16,250 creating build/lib/certora_cli 2025-12-05T20:23:16,254 copying certora_cli/certoraSorobanProver.py -> build/lib/certora_cli 2025-12-05T20:23:16,256 copying certora_cli/rustMutator.py -> build/lib/certora_cli 2025-12-05T20:23:16,259 copying certora_cli/certoraCVLFormatter.py -> build/lib/certora_cli 2025-12-05T20:23:16,261 copying certora_cli/certoraSuiProver.py -> build/lib/certora_cli 2025-12-05T20:23:16,262 copying certora_cli/certoraSolanaProver.py -> build/lib/certora_cli 2025-12-05T20:23:16,264 copying certora_cli/certoraConcord.py -> build/lib/certora_cli 2025-12-05T20:23:16,266 copying certora_cli/__init__.py -> build/lib/certora_cli 2025-12-05T20:23:16,268 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2025-12-05T20:23:16,269 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2025-12-05T20:23:16,271 copying certora_cli/certoraEVMProver.py -> build/lib/certora_cli 2025-12-05T20:23:16,273 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2025-12-05T20:23:16,275 copying certora_cli/certoraRanger.py -> build/lib/certora_cli 2025-12-05T20:23:16,277 creating build/lib/certora_bins 2025-12-05T20:23:16,278 copying certora_bins/__init__.py -> build/lib/certora_bins 2025-12-05T20:23:16,280 creating build/lib/certora_jars 2025-12-05T20:23:16,281 copying certora_jars/__init__.py -> build/lib/certora_jars 2025-12-05T20:23:16,283 creating build/lib/certora_cli/Shared 2025-12-05T20:23:16,284 copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared 2025-12-05T20:23:16,287 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2025-12-05T20:23:16,289 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2025-12-05T20:23:16,291 copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared 2025-12-05T20:23:16,293 copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared 2025-12-05T20:23:16,296 copying certora_cli/Shared/proverCommon.py -> build/lib/certora_cli/Shared 2025-12-05T20:23:16,299 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2025-12-05T20:23:16,302 creating build/lib/certora_cli/Mutate 2025-12-05T20:23:16,303 copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate 2025-12-05T20:23:16,306 copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate 2025-12-05T20:23:16,310 copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate 2025-12-05T20:23:16,312 copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate 2025-12-05T20:23:16,314 copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate 2025-12-05T20:23:16,316 copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate 2025-12-05T20:23:16,319 creating build/lib/certora_cli/EquivalenceCheck 2025-12-05T20:23:16,320 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2025-12-05T20:23:16,321 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2025-12-05T20:23:16,325 creating build/lib/certora_cli/CertoraProver 2025-12-05T20:23:16,326 copying certora_cli/CertoraProver/certoraConfigIO.py -> build/lib/certora_cli/CertoraProver 2025-12-05T20:23:16,328 copying certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/lib/certora_cli/CertoraProver 2025-12-05T20:23:16,331 copying certora_cli/CertoraProver/certoraApp.py -> build/lib/certora_cli/CertoraProver 2025-12-05T20:23:16,333 copying certora_cli/CertoraProver/certoraSourceFinders.py -> build/lib/certora_cli/CertoraProver 2025-12-05T20:23:16,335 copying certora_cli/CertoraProver/splitRules.py -> build/lib/certora_cli/CertoraProver 2025-12-05T20:23:16,338 copying certora_cli/CertoraProver/castingInstrumenter.py -> build/lib/certora_cli/CertoraProver 2025-12-05T20:23:16,340 copying certora_cli/CertoraProver/certoraParseBuildScript.py -> build/lib/certora_cli/CertoraProver 2025-12-05T20:23:16,342 copying certora_cli/CertoraProver/__init__.py -> build/lib/certora_cli/CertoraProver 2025-12-05T20:23:16,344 copying certora_cli/CertoraProver/certoraBuild.py -> build/lib/certora_cli/CertoraProver 2025-12-05T20:23:16,350 copying certora_cli/CertoraProver/certoraJobList.py -> build/lib/certora_cli/CertoraProver 2025-12-05T20:23:16,352 copying certora_cli/CertoraProver/certoraCloudIO.py -> build/lib/certora_cli/CertoraProver 2025-12-05T20:23:16,355 copying certora_cli/CertoraProver/certoraBuildSui.py -> build/lib/certora_cli/CertoraProver 2025-12-05T20:23:16,358 copying certora_cli/CertoraProver/certoraBuildRust.py -> build/lib/certora_cli/CertoraProver 2025-12-05T20:23:16,360 copying certora_cli/CertoraProver/certoraContext.py -> build/lib/certora_cli/CertoraProver 2025-12-05T20:23:16,363 copying certora_cli/CertoraProver/certoraExtensionInfo.py -> build/lib/certora_cli/CertoraProver 2025-12-05T20:23:16,366 copying certora_cli/CertoraProver/certoraContextAttributes.py -> build/lib/certora_cli/CertoraProver 2025-12-05T20:23:16,369 copying certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/lib/certora_cli/CertoraProver 2025-12-05T20:23:16,372 copying certora_cli/CertoraProver/erc7201.py -> build/lib/certora_cli/CertoraProver 2025-12-05T20:23:16,374 copying certora_cli/CertoraProver/storageExtension.py -> build/lib/certora_cli/CertoraProver 2025-12-05T20:23:16,377 copying certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/lib/certora_cli/CertoraProver 2025-12-05T20:23:16,380 copying certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/lib/certora_cli/CertoraProver 2025-12-05T20:23:16,383 copying certora_cli/CertoraProver/certoraContextClass.py -> build/lib/certora_cli/CertoraProver 2025-12-05T20:23:16,385 copying certora_cli/CertoraProver/certoraContractFuncs.py -> build/lib/certora_cli/CertoraProver 2025-12-05T20:23:16,388 copying certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/lib/certora_cli/CertoraProver 2025-12-05T20:23:16,391 copying certora_cli/CertoraProver/certoraProjectScanner.py -> build/lib/certora_cli/CertoraProver 2025-12-05T20:23:16,394 copying certora_cli/CertoraProver/certoraType.py -> build/lib/certora_cli/CertoraProver 2025-12-05T20:23:16,397 copying certora_cli/CertoraProver/certoraNodeFilters.py -> build/lib/certora_cli/CertoraProver 2025-12-05T20:23:16,399 copying certora_cli/CertoraProver/certoraContextValidator.py -> build/lib/certora_cli/CertoraProver 2025-12-05T20:23:16,403 copying certora_cli/CertoraProver/certoraCompilerParameters.py -> build/lib/certora_cli/CertoraProver 2025-12-05T20:23:16,405 copying certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/lib/certora_cli/CertoraProver 2025-12-05T20:23:16,409 creating build/lib/certora_cli/CertoraProver/Compiler 2025-12-05T20:23:16,410 copying certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-12-05T20:23:16,413 copying certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-12-05T20:23:16,416 copying certora_cli/CertoraProver/Compiler/__init__.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-12-05T20:23:16,418 copying certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-12-05T20:23:16,420 copying certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-12-05T20:23:16,425 copying certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-12-05T20:23:16,427 copying certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-12-05T20:23:16,429 running egg_info 2025-12-05T20:23:16,457 writing certora_cli_alpha_master.egg-info/PKG-INFO 2025-12-05T20:23:16,461 writing dependency_links to certora_cli_alpha_master.egg-info/dependency_links.txt 2025-12-05T20:23:16,463 writing entry points to certora_cli_alpha_master.egg-info/entry_points.txt 2025-12-05T20:23:16,465 writing requirements to certora_cli_alpha_master.egg-info/requires.txt 2025-12-05T20:23:16,466 writing top-level names to certora_cli_alpha_master.egg-info/top_level.txt 2025-12-05T20:23:16,504 reading manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' 2025-12-05T20:23:16,513 reading manifest template 'MANIFEST.in' 2025-12-05T20:23:16,518 warning: no files found matching 'gambit' under directory 'certora_bins' 2025-12-05T20:23:16,611 adding license file 'LICENSE' 2025-12-05T20:23:16,617 writing manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' 2025-12-05T20:23:16,624 copying certora_jars/ASTExtraction.jar -> build/lib/certora_jars 2025-12-05T20:23:16,932 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2025-12-05T20:23:16,934 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2025-12-05T20:23:17,249 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2025-12-05T20:23:17,251 copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck 2025-12-05T20:23:17,254 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2025-12-05T20:23:17,257 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2025-12-05T20:23:17,259 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2025-12-05T20:23:17,262 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2025-12-05T20:23:17,296 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:90: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2025-12-05T20:23:17,297 !! 2025-12-05T20:23:17,298 ******************************************************************************** 2025-12-05T20:23:17,298 Please avoid running ``setup.py`` directly. 2025-12-05T20:23:17,299 Instead, use pypa/build, pypa/installer or other 2025-12-05T20:23:17,300 standards-based tools. 2025-12-05T20:23:17,301 This deprecation is overdue, please update your project and remove deprecated 2025-12-05T20:23:17,302 calls to avoid build errors in the future. 2025-12-05T20:23:17,303 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2025-12-05T20:23:17,303 ******************************************************************************** 2025-12-05T20:23:17,305 !! 2025-12-05T20:23:17,305 self.initialize_options() 2025-12-05T20:23:17,330 installing to build/bdist.linux-armv7l/wheel 2025-12-05T20:23:17,330 running install 2025-12-05T20:23:17,355 running install_lib 2025-12-05T20:23:17,383 creating build/bdist.linux-armv7l/wheel 2025-12-05T20:23:17,386 creating build/bdist.linux-armv7l/wheel/certora_cli 2025-12-05T20:23:17,388 copying build/lib/certora_cli/certoraSorobanProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-05T20:23:17,390 copying build/lib/certora_cli/rustMutator.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-05T20:23:17,393 copying build/lib/certora_cli/certoraCVLFormatter.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-05T20:23:17,396 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2025-12-05T20:23:17,397 copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-12-05T20:23:17,400 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-12-05T20:23:17,403 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-12-05T20:23:17,405 copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-12-05T20:23:17,408 copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-12-05T20:23:17,411 copying build/lib/certora_cli/Shared/proverCommon.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-12-05T20:23:17,414 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-12-05T20:23:17,418 copying build/lib/certora_cli/certoraSuiProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-05T20:23:17,420 copying build/lib/certora_cli/certoraSolanaProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-05T20:23:17,422 copying build/lib/certora_cli/certoraConcord.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-05T20:23:17,425 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-05T20:23:17,427 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-05T20:23:17,429 creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate 2025-12-05T20:23:17,430 copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-12-05T20:23:17,433 copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-12-05T20:23:17,437 copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-12-05T20:23:17,439 copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-12-05T20:23:17,442 copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-12-05T20:23:17,443 copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-12-05T20:23:17,446 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-05T20:23:17,448 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2025-12-05T20:23:17,450 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-12-05T20:23:17,451 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-12-05T20:23:17,453 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-12-05T20:23:17,455 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-12-05T20:23:17,457 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-12-05T20:23:17,459 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-12-05T20:23:17,461 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-12-05T20:23:17,463 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-12-05T20:23:17,465 copying build/lib/certora_cli/certoraEVMProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-05T20:23:17,467 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-05T20:23:17,470 creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver 2025-12-05T20:23:17,471 copying build/lib/certora_cli/CertoraProver/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-05T20:23:17,473 copying build/lib/certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-05T20:23:17,476 copying build/lib/certora_cli/CertoraProver/certoraApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-05T20:23:17,478 copying build/lib/certora_cli/CertoraProver/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-05T20:23:17,481 copying build/lib/certora_cli/CertoraProver/splitRules.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-05T20:23:17,483 copying build/lib/certora_cli/CertoraProver/castingInstrumenter.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-05T20:23:17,486 creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver/Compiler 2025-12-05T20:23:17,487 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-12-05T20:23:17,489 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-12-05T20:23:17,492 copying build/lib/certora_cli/CertoraProver/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-12-05T20:23:17,494 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-12-05T20:23:17,496 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-12-05T20:23:17,500 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-12-05T20:23:17,502 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-12-05T20:23:17,504 copying build/lib/certora_cli/CertoraProver/certoraParseBuildScript.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-05T20:23:17,507 copying build/lib/certora_cli/CertoraProver/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-05T20:23:17,509 copying build/lib/certora_cli/CertoraProver/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-05T20:23:17,515 copying build/lib/certora_cli/CertoraProver/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-05T20:23:17,517 copying build/lib/certora_cli/CertoraProver/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-05T20:23:17,520 copying build/lib/certora_cli/CertoraProver/certoraBuildSui.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-05T20:23:17,523 copying build/lib/certora_cli/CertoraProver/certoraBuildRust.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-05T20:23:17,525 copying build/lib/certora_cli/CertoraProver/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-05T20:23:17,529 copying build/lib/certora_cli/CertoraProver/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-05T20:23:17,530 copying build/lib/certora_cli/CertoraProver/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-05T20:23:17,535 copying build/lib/certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-05T20:23:17,538 copying build/lib/certora_cli/CertoraProver/erc7201.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-05T20:23:17,539 copying build/lib/certora_cli/CertoraProver/storageExtension.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-05T20:23:17,542 copying build/lib/certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-05T20:23:17,545 copying build/lib/certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-05T20:23:17,547 copying build/lib/certora_cli/CertoraProver/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-05T20:23:17,549 copying build/lib/certora_cli/CertoraProver/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-05T20:23:17,551 copying build/lib/certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-05T20:23:17,554 copying build/lib/certora_cli/CertoraProver/certoraProjectScanner.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-05T20:23:17,556 copying build/lib/certora_cli/CertoraProver/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-05T20:23:17,559 copying build/lib/certora_cli/CertoraProver/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-05T20:23:17,561 copying build/lib/certora_cli/CertoraProver/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-05T20:23:17,564 copying build/lib/certora_cli/CertoraProver/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-05T20:23:17,566 copying build/lib/certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-12-05T20:23:17,569 copying build/lib/certora_cli/certoraRanger.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-12-05T20:23:17,571 creating build/bdist.linux-armv7l/wheel/certora_bins 2025-12-05T20:23:17,572 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins 2025-12-05T20:23:17,575 creating build/bdist.linux-armv7l/wheel/certora_jars 2025-12-05T20:23:17,576 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-12-05T20:23:17,577 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-12-05T20:23:17,579 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-12-05T20:23:17,897 copying build/lib/certora_jars/ASTExtraction.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-12-05T20:23:18,242 running install_egg_info 2025-12-05T20:23:18,276 Copying certora_cli_alpha_master.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_alpha_master-20251205.19.3.122282-py3.11.egg-info 2025-12-05T20:23:18,287 running install_scripts 2025-12-05T20:23:18,299 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_master-20251205.19.3.122282.dist-info/WHEEL 2025-12-05T20:23:18,301 creating '/tmp/pip-wheel-5cewir7c/certora_cli_alpha_master-20251205.19.3.122282-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2025-12-05T20:23:18,303 adding 'certora_bins/__init__.py' 2025-12-05T20:23:18,305 adding 'certora_cli/__init__.py' 2025-12-05T20:23:18,306 adding 'certora_cli/certoraCVLFormatter.py' 2025-12-05T20:23:18,308 adding 'certora_cli/certoraConcord.py' 2025-12-05T20:23:18,309 adding 'certora_cli/certoraEVMProver.py' 2025-12-05T20:23:18,310 adding 'certora_cli/certoraEqCheck.py' 2025-12-05T20:23:18,312 adding 'certora_cli/certoraMutate.py' 2025-12-05T20:23:18,313 adding 'certora_cli/certoraRanger.py' 2025-12-05T20:23:18,315 adding 'certora_cli/certoraRun.py' 2025-12-05T20:23:18,316 adding 'certora_cli/certoraSolanaProver.py' 2025-12-05T20:23:18,318 adding 'certora_cli/certoraSorobanProver.py' 2025-12-05T20:23:18,319 adding 'certora_cli/certoraSuiProver.py' 2025-12-05T20:23:18,321 adding 'certora_cli/rustMutator.py' 2025-12-05T20:23:18,324 adding 'certora_cli/CertoraProver/__init__.py' 2025-12-05T20:23:18,326 adding 'certora_cli/CertoraProver/castingInstrumenter.py' 2025-12-05T20:23:18,327 adding 'certora_cli/CertoraProver/certoraApp.py' 2025-12-05T20:23:18,354 adding 'certora_cli/CertoraProver/certoraBuild.py' 2025-12-05T20:23:18,358 adding 'certora_cli/CertoraProver/certoraBuildCacheManager.py' 2025-12-05T20:23:18,360 adding 'certora_cli/CertoraProver/certoraBuildDataClasses.py' 2025-12-05T20:23:18,362 adding 'certora_cli/CertoraProver/certoraBuildRust.py' 2025-12-05T20:23:18,363 adding 'certora_cli/CertoraProver/certoraBuildSui.py' 2025-12-05T20:23:18,369 adding 'certora_cli/CertoraProver/certoraCloudIO.py' 2025-12-05T20:23:18,372 adding 'certora_cli/CertoraProver/certoraCollectConfigurationLayout.py' 2025-12-05T20:23:18,374 adding 'certora_cli/CertoraProver/certoraCollectRunMetadata.py' 2025-12-05T20:23:18,375 adding 'certora_cli/CertoraProver/certoraCompilerParameters.py' 2025-12-05T20:23:18,377 adding 'certora_cli/CertoraProver/certoraConfigIO.py' 2025-12-05T20:23:18,381 adding 'certora_cli/CertoraProver/certoraContext.py' 2025-12-05T20:23:18,386 adding 'certora_cli/CertoraProver/certoraContextAttributes.py' 2025-12-05T20:23:18,388 adding 'certora_cli/CertoraProver/certoraContextClass.py' 2025-12-05T20:23:18,393 adding 'certora_cli/CertoraProver/certoraContextValidator.py' 2025-12-05T20:23:18,395 adding 'certora_cli/CertoraProver/certoraContractFuncs.py' 2025-12-05T20:23:18,397 adding 'certora_cli/CertoraProver/certoraExtensionInfo.py' 2025-12-05T20:23:18,399 adding 'certora_cli/CertoraProver/certoraJobList.py' 2025-12-05T20:23:18,401 adding 'certora_cli/CertoraProver/certoraMiniSpecParser.py' 2025-12-05T20:23:18,402 adding 'certora_cli/CertoraProver/certoraNodeFilters.py' 2025-12-05T20:23:18,403 adding 'certora_cli/CertoraProver/certoraParseBuildScript.py' 2025-12-05T20:23:18,405 adding 'certora_cli/CertoraProver/certoraProjectScanner.py' 2025-12-05T20:23:18,407 adding 'certora_cli/CertoraProver/certoraSourceFinders.py' 2025-12-05T20:23:18,411 adding 'certora_cli/CertoraProver/certoraType.py' 2025-12-05T20:23:18,413 adding 'certora_cli/CertoraProver/certoraVerifyGenerator.py' 2025-12-05T20:23:18,414 adding 'certora_cli/CertoraProver/erc7201.py' 2025-12-05T20:23:18,416 adding 'certora_cli/CertoraProver/splitRules.py' 2025-12-05T20:23:18,418 adding 'certora_cli/CertoraProver/storageExtension.py' 2025-12-05T20:23:18,420 adding 'certora_cli/CertoraProver/Compiler/CompilerCollector.py' 2025-12-05T20:23:18,422 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py' 2025-12-05T20:23:18,423 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py' 2025-12-05T20:23:18,425 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py' 2025-12-05T20:23:18,432 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py' 2025-12-05T20:23:18,434 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py' 2025-12-05T20:23:18,435 adding 'certora_cli/CertoraProver/Compiler/__init__.py' 2025-12-05T20:23:18,437 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2025-12-05T20:23:18,438 adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec' 2025-12-05T20:23:18,440 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2025-12-05T20:23:18,441 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2025-12-05T20:23:18,442 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2025-12-05T20:23:18,443 adding 'certora_cli/EquivalenceCheck/__init__.py' 2025-12-05T20:23:18,446 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2025-12-05T20:23:18,447 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2025-12-05T20:23:18,449 adding 'certora_cli/Mutate/__init__.py' 2025-12-05T20:23:18,459 adding 'certora_cli/Mutate/mutateApp.py' 2025-12-05T20:23:18,461 adding 'certora_cli/Mutate/mutateAttributes.py' 2025-12-05T20:23:18,463 adding 'certora_cli/Mutate/mutateConstants.py' 2025-12-05T20:23:18,464 adding 'certora_cli/Mutate/mutateUtil.py' 2025-12-05T20:23:18,466 adding 'certora_cli/Mutate/mutateValidate.py' 2025-12-05T20:23:18,469 adding 'certora_cli/Shared/ExpectedComparator.py' 2025-12-05T20:23:18,470 adding 'certora_cli/Shared/__init__.py' 2025-12-05T20:23:18,472 adding 'certora_cli/Shared/certoraAttrUtil.py' 2025-12-05T20:23:18,474 adding 'certora_cli/Shared/certoraLogging.py' 2025-12-05T20:23:18,482 adding 'certora_cli/Shared/certoraUtils.py' 2025-12-05T20:23:18,488 adding 'certora_cli/Shared/certoraValidateFuncs.py' 2025-12-05T20:23:18,490 adding 'certora_cli/Shared/proverCommon.py' 2025-12-05T20:23:18,493 adding 'certora_cli_alpha_master-20251205.19.3.122282.dist-info/licenses/LICENSE' 2025-12-05T20:23:20,939 adding 'certora_jars/ASTExtraction.jar' 2025-12-05T20:23:21,076 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2025-12-05T20:23:23,517 adding 'certora_jars/Typechecker.jar' 2025-12-05T20:23:23,654 adding 'certora_jars/__init__.py' 2025-12-05T20:23:23,655 adding 'certora_cli_alpha_master-20251205.19.3.122282.dist-info/METADATA' 2025-12-05T20:23:23,656 adding 'certora_cli_alpha_master-20251205.19.3.122282.dist-info/WHEEL' 2025-12-05T20:23:23,657 adding 'certora_cli_alpha_master-20251205.19.3.122282.dist-info/entry_points.txt' 2025-12-05T20:23:23,658 adding 'certora_cli_alpha_master-20251205.19.3.122282.dist-info/top_level.txt' 2025-12-05T20:23:23,660 adding 'certora_cli_alpha_master-20251205.19.3.122282.dist-info/RECORD' 2025-12-05T20:23:24,081 removing build/bdist.linux-armv7l/wheel 2025-12-05T20:23:24,231 Building wheel for certora-cli-alpha-master (setup.py): finished with status 'done' 2025-12-05T20:23:25,024 Created wheel for certora-cli-alpha-master: filename=certora_cli_alpha_master-20251205.19.3.122282-py3-none-any.whl size=40891653 sha256=ff391cedc293ef8fdfeb997e071a678dc7687c193e4353a46224830cf34138a2 2025-12-05T20:23:25,025 Stored in directory: /tmp/pip-ephem-wheel-cache-17qfkm1i/wheels/fa/dc/16/b4ecafa32d03c7fbd39a93e8f19be88400139c5c3de3d44853 2025-12-05T20:23:25,051 Successfully built certora-cli-alpha-master 2025-12-05T20:23:26,417 Removed build tracker: '/tmp/pip-build-tracker-yafbqw4b'