2025-09-02T05:55:55,764 Created temporary directory: /tmp/pip-build-tracker-rjez7nzh 2025-09-02T05:55:55,766 Initialized build tracking at /tmp/pip-build-tracker-rjez7nzh 2025-09-02T05:55:55,766 Created build tracker: /tmp/pip-build-tracker-rjez7nzh 2025-09-02T05:55:55,767 Entered build tracker: /tmp/pip-build-tracker-rjez7nzh 2025-09-02T05:55:55,767 Created temporary directory: /tmp/pip-wheel-9_zk8yp0 2025-09-02T05:55:55,771 Created temporary directory: /tmp/pip-ephem-wheel-cache-zst7xr8q 2025-09-02T05:55:55,827 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-09-02T05:55:55,829 2 location(s) to search for versions of certora-cli-alpha-master: 2025-09-02T05:55:55,829 * https://pypi.org/simple/certora-cli-alpha-master/ 2025-09-02T05:55:55,829 * https://www.piwheels.org/simple/certora-cli-alpha-master/ 2025-09-02T05:55:55,830 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-master/ 2025-09-02T05:55:55,831 Getting page https://pypi.org/simple/certora-cli-alpha-master/ 2025-09-02T05:55:55,832 Found index url https://pypi.org/simple/ 2025-09-02T05:55:55,985 Fetched page https://pypi.org/simple/certora-cli-alpha-master/ as application/vnd.pypi.simple.v1+json 2025-09-02T05:55:55,993 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e0/fd/a33fcc0e85a9054fb2a5dc1903a1ef4bbaacdb02172ced67e2f8bbd34136/certora_cli_alpha_master-20250825.8.47.780977-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:55,994 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/3c/41/ccc8895ef53bd803551533042b206feb9fdf3db11112c507deb85740d7bb/certora_cli_alpha_master-20250825.8.47.780977-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:55,995 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6d/7d/b3e742d1446f2d1a73bd8f8f43856edefb850d9ccec27fb5dfb31a336f18/certora_cli_alpha_master-20250825.8.47.780977-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:55,996 Found link https://files.pythonhosted.org/packages/eb/fe/d2d0e27b2baf453e681eb66c4c3d182e365c815fa0d68001d65367ea363e/certora_cli_alpha_master-20250825.8.47.780977.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250825.8.47.780977 2025-09-02T05:55:55,996 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/24/2b/a2331df89f27417e41393c8d48419cc8b8518195b5baa24e924218cbb8f6/certora_cli_alpha_master-20250825.14.33.734588-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:55,997 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a1/78/7e09c179d3f03d0f1bf526049bbfafc406b0b0ebd6c36a57394a6d66fa7b/certora_cli_alpha_master-20250825.14.33.734588-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:55,998 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/88/c6/eb612046786e0657b0d3dff7ea096fd9a445664a58a8fdf6282f693c4c6c/certora_cli_alpha_master-20250825.14.33.734588-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:55,998 Found link https://files.pythonhosted.org/packages/ae/bf/0df9d60268b9c8c153ca3c642778eb04fdd205063794707fd898dc438799/certora_cli_alpha_master-20250825.14.33.734588.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250825.14.33.734588 2025-09-02T05:55:55,999 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/3e/6e/dbcbc5c33377161f729e120b41ccf227d5d1e80ad130f14ecbe3ae522397/certora_cli_alpha_master-20250826.2.54.225343-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:55,999 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/05/4d/970e142cc8e572a776ea7138e609462130f060358fbf763f57f83f19ed51/certora_cli_alpha_master-20250826.2.54.225343-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:56,000 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/45/4b/02e94f0769fe640a2144b6dae5950ce1a3d713b5751ede9e9356d162caf1/certora_cli_alpha_master-20250826.2.54.225343-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:56,001 Found link https://files.pythonhosted.org/packages/2b/07/9b1e61ad8eabc7ab12102dba370d2afe56413465703c92b9f833986c3955/certora_cli_alpha_master-20250826.2.54.225343.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250826.2.54.225343 2025-09-02T05:55:56,001 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6e/0a/2139309922fe755c033a3da77afec816dc4f23d8b7da3161df4a4dea101d/certora_cli_alpha_master-20250826.20.6.86325-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:56,002 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a1/8a/eaf36b5cda7a0adc834bc689e3e0b60fe01e7793cefb3c057b540d91b1bd/certora_cli_alpha_master-20250826.20.6.86325-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:56,002 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/c7/3d/5898eb18eb5cb5a8447ee76f67a0511a689076fe80212fa37f4013e8618f/certora_cli_alpha_master-20250826.20.6.86325-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:56,003 Found link https://files.pythonhosted.org/packages/ae/b5/1d48e12ba50145266d2464289f23a11a1fd9d5da2ea53316c2d0678150a6/certora_cli_alpha_master-20250826.20.6.86325.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250826.20.6.86325 2025-09-02T05:55:56,003 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d1/52/33f2534b4c1ccac86a1b744c48e87d128029c6eeb9440b823a259f3a0d39/certora_cli_alpha_master-20250827.12.48.449321-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:56,004 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/d6/84/7a130284f3df2e0032c497df67e4c850aa06d605c251c6278f4a5039bdbd/certora_cli_alpha_master-20250827.12.48.449321-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:56,004 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e9/96/6ca09f2bf7ad4696f6ded7e56549da316044a32759b3cd82b4c0f7fcf27f/certora_cli_alpha_master-20250827.12.48.449321-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:56,005 Found link https://files.pythonhosted.org/packages/97/ab/4cbba500937bc9026f801e2fb45fb8d56207201bc5fafaa20cc6885473d6/certora_cli_alpha_master-20250827.12.48.449321.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250827.12.48.449321 2025-09-02T05:55:56,005 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/fe/e2/ed5a6784dbb6a190d71648340ab4a16b62e5a78975bdf8ccd34342ff531e/certora_cli_alpha_master-20250827.19.14.868351-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:56,006 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ad/33/0903d3296e1b6e2f4f28bb15d0740e1271b5aaf7981da365596f2490aad0/certora_cli_alpha_master-20250827.19.14.868351-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:56,007 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/2a/0b/0f0ce98d3a42621d031c307cb587d483b3411ab640e556cb0eb42414a358/certora_cli_alpha_master-20250827.19.14.868351-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:56,007 Found link https://files.pythonhosted.org/packages/ea/60/4c8e4944b3a14b7bdf4ba6322697f39c391e027f84882b4e93363172f019/certora_cli_alpha_master-20250827.19.14.868351.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250827.19.14.868351 2025-09-02T05:55:56,008 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/22/2f/4872826842575a27da8f7e31c2a4fd4f5ddfa16d32c0756838794f6d9cbb/certora_cli_alpha_master-20250828.9.2.638125-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:56,008 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a9/5a/95933b0378ecf05f8b3efe1d191621b285e1849eba18367e7583513fea63/certora_cli_alpha_master-20250828.9.2.638125-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:56,009 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e1/56/00376aa953f591506026dd19440e3864a3db2cd6eca30e8af28863da3328/certora_cli_alpha_master-20250828.9.2.638125-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:56,009 Found link https://files.pythonhosted.org/packages/d6/ca/21a6e95461161152b879112c95e7315a42a0b0436598e1cd10d489c4f42f/certora_cli_alpha_master-20250828.9.2.638125.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250828.9.2.638125 2025-09-02T05:55:56,010 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/98/ea/66fa99694a80a9dfb31e5506f3b2e99e9698ea59b1735bea7aa1058c82a7/certora_cli_alpha_master-20250828.14.20.863107-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:56,011 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/e8/10/82183349a94716a0d090579580211b2de6e3fd138d914feb0c059ae697a2/certora_cli_alpha_master-20250828.14.20.863107-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:56,011 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/0b/a8/3c71f19435119af33502906fb1bbd8564064b357e97975311208f963d50e/certora_cli_alpha_master-20250828.14.20.863107-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:56,012 Found link https://files.pythonhosted.org/packages/ed/45/8de527c0b7ea1d3b65cb6e9fed45823caaff0d78450043f9367d7f175a02/certora_cli_alpha_master-20250828.14.20.863107.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250828.14.20.863107 2025-09-02T05:55:56,013 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6c/fb/82448d8c466c7eac18d325e50ccbf26c922d09686a9d9c27d05cb96b1fa3/certora_cli_alpha_master-20250828.17.53.526204-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:56,013 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/ed/40/01e6cf984cd962910c1e531bc98fa21df45b70ec15da0eb97b606e984954/certora_cli_alpha_master-20250828.17.53.526204-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:56,014 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/33/a8/f08ae8a18f5aa4362bf6c8ca9d6e87efbdbdfa8aae5e1b694e216df32a9f/certora_cli_alpha_master-20250828.17.53.526204-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:56,014 Found link https://files.pythonhosted.org/packages/43/e0/6490b8e7a915fd992985abc5698d522bc5e4452dbdb49c4f13cbd5393f09/certora_cli_alpha_master-20250828.17.53.526204.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250828.17.53.526204 2025-09-02T05:55:56,015 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/47/38/7379d4ad25b0e6e6208cefe7d8830e7d9ca44b2e628c58355cea38a50324/certora_cli_alpha_master-20250828.18.43.245709-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:56,015 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/44/dc/f6f7d656a7c5f62c3878dd4653b799050f0010c2d7c0e56fc23beaf9a2c9/certora_cli_alpha_master-20250828.18.43.245709-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:56,016 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a7/8d/a97c4138e32a2c32a57f644a193596733641de34a77a0ed01f9551fc6245/certora_cli_alpha_master-20250828.18.43.245709-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:56,017 Found link https://files.pythonhosted.org/packages/83/f5/624ca1e2f31b4911d890cf5ca71bb57c5773ae425b688b1666d993b90458/certora_cli_alpha_master-20250828.18.43.245709.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250828.18.43.245709 2025-09-02T05:55:56,017 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/59/35/f422d26c63e38730fc4f954b2ed776a6ca03ade3f0a6b954af97dea857a3/certora_cli_alpha_master-20250828.20.19.775699-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:56,018 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/87/7e/72fb0041e59734e11462fd1820a15e1d05552f6a79d9c622efa08393941e/certora_cli_alpha_master-20250828.20.19.775699-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:56,019 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/41/a0/fbf22ce01ff9f0ce766014ad923e2d78eea8944ea926054f5267e8228fdc/certora_cli_alpha_master-20250828.20.19.775699-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:56,020 Found link https://files.pythonhosted.org/packages/f8/7a/f202f9289cd4f22397718ebfafa3b7c56e74448462c5a85d4a9084aeb287/certora_cli_alpha_master-20250828.20.19.775699.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250828.20.19.775699 2025-09-02T05:55:56,020 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/aa/68/3c5a1abdb234a9081907f1abcd89fdb92275dd4cceee9b764bd0d44939d7/certora_cli_alpha_master-20250829.13.40.732046-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:56,021 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/72/73/109339c34f99ba5399c8c23c73a1403a9f20574306ef07fbb396c77b473c/certora_cli_alpha_master-20250829.13.40.732046-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:56,021 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/de/d2/77a4454150d3815cacb46bbb4298ef8f079c639ef38cb93d24eb3b6d2f1f/certora_cli_alpha_master-20250829.13.40.732046-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:56,022 Found link https://files.pythonhosted.org/packages/dd/8f/915f3feaa0054a3350a8e66a4fd4397a70869edcfd74dec2ae857e89fdc0/certora_cli_alpha_master-20250829.13.40.732046.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250829.13.40.732046 2025-09-02T05:55:56,023 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/eb/13/2b9868112d9160cea334d26a52ea30df895d7d0160ce2001ad23de184561/certora_cli_alpha_master-20250901.10.11.347209-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:56,023 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/13/2b/c0b6ed0f32fa91a4d04b9139e689ba0d7cf028f6a503f3a27714f90ab278/certora_cli_alpha_master-20250901.10.11.347209-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:56,024 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/a3/3a/760596d65c4623aedda881254e4cbdf0073326b71a1c9ba9dd0b45a55982/certora_cli_alpha_master-20250901.10.11.347209-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:56,024 Found link https://files.pythonhosted.org/packages/e2/db/611746c5867370b52c7d2b8dbc1140bab1037c8a8c8126dccaab15206fe8/certora_cli_alpha_master-20250901.10.11.347209.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250901.10.11.347209 2025-09-02T05:55:56,025 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/79/d2/6f659659c41363635102cc3e1db3394c0e309e2ec054441d9aad823af169/certora_cli_alpha_master-20250902.4.14.555313-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:56,026 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/9c/7b/ff64969ce7b786faf892a083f50c7d1ceef310f288236a17a23dc5315456/certora_cli_alpha_master-20250902.4.14.555313-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:56,027 Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/60/9c/20cc908dcaed4540c351033fdd72237c8beb41c211cde193dc6c6c566556/certora_cli_alpha_master-20250902.4.14.555313-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:56,027 Found link https://files.pythonhosted.org/packages/11/9f/293fa78d95d81f0a34b64f30dd85d699b1f39b0bd2cb161769d6fe90e224/certora_cli_alpha_master-20250902.4.14.555313.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250902.4.14.555313 2025-09-02T05:55:56,028 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-master/ 2025-09-02T05:55:56,029 Getting page https://www.piwheels.org/simple/certora-cli-alpha-master/ 2025-09-02T05:55:56,030 Found index url https://www.piwheels.org/simple/ 2025-09-02T05:55:56,377 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-master/ as text/html 2025-09-02T05:55:56,381 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250825.14.33.734588-py3-none-any.whl#sha256=11357be7003ba7890ce5c78b5562ecac4dc0b6691af8b9b61e30a260d58cd848 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:56,382 Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250825.8.47.780977-py3-none-any.whl#sha256=c726d90c6627167d37198548ad315882b8d1c0cdffe1902ffab54ae3eed68f0f (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9) 2025-09-02T05:55:56,383 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-master/ 2025-09-02T05:55:56,384 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-master/ 2025-09-02T05:55:56,414 Given no hashes to check 1 links for project 'certora-cli-alpha-master': discarding no candidates 2025-09-02T05:55:56,416 Collecting certora-cli-alpha-master==20250826.2.54.225343 2025-09-02T05:55:56,420 Created temporary directory: /tmp/pip-unpack-4rerw80k 2025-09-02T05:55:56,748 Downloading certora_cli_alpha_master-20250826.2.54.225343.tar.gz (32.5 MB) 2025-09-02T05:56:03,945 Added certora-cli-alpha-master==20250826.2.54.225343 from https://files.pythonhosted.org/packages/2b/07/9b1e61ad8eabc7ab12102dba370d2afe56413465703c92b9f833986c3955/certora_cli_alpha_master-20250826.2.54.225343.tar.gz to build tracker '/tmp/pip-build-tracker-rjez7nzh' 2025-09-02T05:56:03,948 Running setup.py (path:/tmp/pip-wheel-9_zk8yp0/certora-cli-alpha-master_9650aa7f1bb64208b592a9e679132cd6/setup.py) egg_info for package certora-cli-alpha-master 2025-09-02T05:56:03,949 Created temporary directory: /tmp/pip-pip-egg-info-cnpllmmb 2025-09-02T05:56:03,950 Preparing metadata (setup.py): started 2025-09-02T05:56:03,951 Running command python setup.py egg_info 2025-09-02T05:56:05,598 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2025-09-02T05:56:05,598 !! 2025-09-02T05:56:05,599 ******************************************************************************** 2025-09-02T05:56:05,600 Please consider removing the following classifiers in favor of a SPDX license expression: 2025-09-02T05:56:05,602 License :: OSI Approved :: GNU General Public License v3 (GPLv3) 2025-09-02T05:56:05,604 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-09-02T05:56:05,605 ******************************************************************************** 2025-09-02T05:56:05,607 !! 2025-09-02T05:56:05,607 self._finalize_license_expression() 2025-09-02T05:56:05,632 running egg_info 2025-09-02T05:56:05,666 creating /tmp/pip-pip-egg-info-cnpllmmb/certora_cli_alpha_master.egg-info 2025-09-02T05:56:05,667 writing /tmp/pip-pip-egg-info-cnpllmmb/certora_cli_alpha_master.egg-info/PKG-INFO 2025-09-02T05:56:05,877 writing dependency_links to /tmp/pip-pip-egg-info-cnpllmmb/certora_cli_alpha_master.egg-info/dependency_links.txt 2025-09-02T05:56:05,880 writing entry points to /tmp/pip-pip-egg-info-cnpllmmb/certora_cli_alpha_master.egg-info/entry_points.txt 2025-09-02T05:56:05,883 writing requirements to /tmp/pip-pip-egg-info-cnpllmmb/certora_cli_alpha_master.egg-info/requires.txt 2025-09-02T05:56:05,886 writing top-level names to /tmp/pip-pip-egg-info-cnpllmmb/certora_cli_alpha_master.egg-info/top_level.txt 2025-09-02T05:56:05,889 writing manifest file '/tmp/pip-pip-egg-info-cnpllmmb/certora_cli_alpha_master.egg-info/SOURCES.txt' 2025-09-02T05:56:06,003 reading manifest file '/tmp/pip-pip-egg-info-cnpllmmb/certora_cli_alpha_master.egg-info/SOURCES.txt' 2025-09-02T05:56:06,006 reading manifest template 'MANIFEST.in' 2025-09-02T05:56:06,010 warning: no files found matching 'gambit' under directory 'certora_bins' 2025-09-02T05:56:06,794 adding license file 'LICENSE' 2025-09-02T05:56:06,801 writing manifest file '/tmp/pip-pip-egg-info-cnpllmmb/certora_cli_alpha_master.egg-info/SOURCES.txt' 2025-09-02T05:56:06,908 Preparing metadata (setup.py): finished with status 'done' 2025-09-02T05:56:06,912 Source in /tmp/pip-wheel-9_zk8yp0/certora-cli-alpha-master_9650aa7f1bb64208b592a9e679132cd6 has version 20250826.2.54.225343, which satisfies requirement certora-cli-alpha-master==20250826.2.54.225343 from https://files.pythonhosted.org/packages/2b/07/9b1e61ad8eabc7ab12102dba370d2afe56413465703c92b9f833986c3955/certora_cli_alpha_master-20250826.2.54.225343.tar.gz 2025-09-02T05:56:06,913 Removed certora-cli-alpha-master==20250826.2.54.225343 from https://files.pythonhosted.org/packages/2b/07/9b1e61ad8eabc7ab12102dba370d2afe56413465703c92b9f833986c3955/certora_cli_alpha_master-20250826.2.54.225343.tar.gz from build tracker '/tmp/pip-build-tracker-rjez7nzh' 2025-09-02T05:56:06,920 Created temporary directory: /tmp/pip-unpack-4icfl5po 2025-09-02T05:56:06,921 Created temporary directory: /tmp/pip-unpack-fye47d4f 2025-09-02T05:56:06,922 Building wheels for collected packages: certora-cli-alpha-master 2025-09-02T05:56:06,926 Created temporary directory: /tmp/pip-wheel-vmzqosmj 2025-09-02T05:56:06,927 DEPRECATION: Building 'certora-cli-alpha-master' using the legacy setup.py bdist_wheel mechanism, which will be removed in a future version. pip 25.3 will enforce this behaviour change. A possible replacement is to use the standardized build interface by setting the `--use-pep517` option, (possibly combined with `--no-build-isolation`), or adding a `pyproject.toml` file to the source tree of 'certora-cli-alpha-master'. Discussion can be found at https://github.com/pypa/pip/issues/6334 2025-09-02T05:56:06,928 Building wheel for certora-cli-alpha-master (setup.py): started 2025-09-02T05:56:06,930 Destination directory: /tmp/pip-wheel-vmzqosmj 2025-09-02T05:56:06,931 Running command python setup.py bdist_wheel 2025-09-02T05:56:09,069 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated. 2025-09-02T05:56:09,070 !! 2025-09-02T05:56:09,071 ******************************************************************************** 2025-09-02T05:56:09,072 Please consider removing the following classifiers in favor of a SPDX license expression: 2025-09-02T05:56:09,073 License :: OSI Approved :: GNU General Public License v3 (GPLv3) 2025-09-02T05:56:09,084 See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details. 2025-09-02T05:56:09,085 ******************************************************************************** 2025-09-02T05:56:09,086 !! 2025-09-02T05:56:09,086 self._finalize_license_expression() 2025-09-02T05:56:09,087 running bdist_wheel 2025-09-02T05:56:09,467 running build 2025-09-02T05:56:09,468 running build_py 2025-09-02T05:56:09,718 creating build/lib/certora_jars 2025-09-02T05:56:09,720 copying certora_jars/__init__.py -> build/lib/certora_jars 2025-09-02T05:56:09,723 creating build/lib/certora_bins 2025-09-02T05:56:09,724 copying certora_bins/__init__.py -> build/lib/certora_bins 2025-09-02T05:56:09,729 creating build/lib/certora_cli 2025-09-02T05:56:09,730 copying certora_cli/certoraSorobanProver.py -> build/lib/certora_cli 2025-09-02T05:56:09,733 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2025-09-02T05:56:09,736 copying certora_cli/certoraEVMProver.py -> build/lib/certora_cli 2025-09-02T05:56:09,740 copying certora_cli/__init__.py -> build/lib/certora_cli 2025-09-02T05:56:09,743 copying certora_cli/certoraRanger.py -> build/lib/certora_cli 2025-09-02T05:56:09,958 copying certora_cli/certoraSolanaProver.py -> build/lib/certora_cli 2025-09-02T05:56:09,963 copying certora_cli/rustMutator.py -> build/lib/certora_cli 2025-09-02T05:56:10,174 copying certora_cli/certoraCVLFormatter.py -> build/lib/certora_cli 2025-09-02T05:56:10,178 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2025-09-02T05:56:10,182 copying certora_cli/certoraConcord.py -> build/lib/certora_cli 2025-09-02T05:56:10,186 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2025-09-02T05:56:10,193 creating build/lib/certora_cli/EquivalenceCheck 2025-09-02T05:56:10,195 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2025-09-02T05:56:10,197 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2025-09-02T05:56:10,415 creating build/lib/certora_cli/Shared 2025-09-02T05:56:10,417 copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared 2025-09-02T05:56:10,422 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2025-09-02T05:56:10,427 copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared 2025-09-02T05:56:10,430 copying certora_cli/Shared/proverCommon.py -> build/lib/certora_cli/Shared 2025-09-02T05:56:10,433 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2025-09-02T05:56:10,437 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2025-09-02T05:56:10,441 copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared 2025-09-02T05:56:10,446 creating build/lib/certora_cli/Mutate 2025-09-02T05:56:10,449 copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate 2025-09-02T05:56:10,454 copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate 2025-09-02T05:56:10,461 copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate 2025-09-02T05:56:10,464 copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate 2025-09-02T05:56:10,468 copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate 2025-09-02T05:56:10,471 copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate 2025-09-02T05:56:10,477 creating build/lib/certora_cli/CertoraProver 2025-09-02T05:56:10,479 copying certora_cli/CertoraProver/certoraContextAttributes.py -> build/lib/certora_cli/CertoraProver 2025-09-02T05:56:10,697 copying certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/lib/certora_cli/CertoraProver 2025-09-02T05:56:10,701 copying certora_cli/CertoraProver/certoraContext.py -> build/lib/certora_cli/CertoraProver 2025-09-02T05:56:10,707 copying certora_cli/CertoraProver/certoraCloudIO.py -> build/lib/certora_cli/CertoraProver 2025-09-02T05:56:10,713 copying certora_cli/CertoraProver/certoraContractFuncs.py -> build/lib/certora_cli/CertoraProver 2025-09-02T05:56:10,717 copying certora_cli/CertoraProver/certoraConfigIO.py -> build/lib/certora_cli/CertoraProver 2025-09-02T05:56:10,721 copying certora_cli/CertoraProver/certoraBuild.py -> build/lib/certora_cli/CertoraProver 2025-09-02T05:56:10,731 copying certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/lib/certora_cli/CertoraProver 2025-09-02T05:56:10,738 copying certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/lib/certora_cli/CertoraProver 2025-09-02T05:56:10,745 copying certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/lib/certora_cli/CertoraProver 2025-09-02T05:56:10,752 copying certora_cli/CertoraProver/certoraExtensionInfo.py -> build/lib/certora_cli/CertoraProver 2025-09-02T05:56:10,755 copying certora_cli/CertoraProver/__init__.py -> build/lib/certora_cli/CertoraProver 2025-09-02T05:56:10,965 copying certora_cli/CertoraProver/certoraProjectScanner.py -> build/lib/certora_cli/CertoraProver 2025-09-02T05:56:11,612 copying certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/lib/certora_cli/CertoraProver 2025-09-02T05:56:11,617 copying certora_cli/CertoraProver/certoraBuildRust.py -> build/lib/certora_cli/CertoraProver 2025-09-02T05:56:11,624 copying certora_cli/CertoraProver/splitRules.py -> build/lib/certora_cli/CertoraProver 2025-09-02T05:56:11,630 copying certora_cli/CertoraProver/certoraContextValidator.py -> build/lib/certora_cli/CertoraProver 2025-09-02T05:56:11,845 copying certora_cli/CertoraProver/certoraType.py -> build/lib/certora_cli/CertoraProver 2025-09-02T05:56:11,852 copying certora_cli/CertoraProver/storageExtension.py -> build/lib/certora_cli/CertoraProver 2025-09-02T05:56:11,857 copying certora_cli/CertoraProver/certoraNodeFilters.py -> build/lib/certora_cli/CertoraProver 2025-09-02T05:56:11,861 copying certora_cli/CertoraProver/certoraApp.py -> build/lib/certora_cli/CertoraProver 2025-09-02T05:56:11,864 copying certora_cli/CertoraProver/erc7201.py -> build/lib/certora_cli/CertoraProver 2025-09-02T05:56:11,867 copying certora_cli/CertoraProver/certoraBuildSui.py -> build/lib/certora_cli/CertoraProver 2025-09-02T05:56:11,869 copying certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/lib/certora_cli/CertoraProver 2025-09-02T05:56:11,872 copying certora_cli/CertoraProver/certoraParseBuildScript.py -> build/lib/certora_cli/CertoraProver 2025-09-02T05:56:11,875 copying certora_cli/CertoraProver/certoraCompilerParameters.py -> build/lib/certora_cli/CertoraProver 2025-09-02T05:56:11,879 copying certora_cli/CertoraProver/certoraJobList.py -> build/lib/certora_cli/CertoraProver 2025-09-02T05:56:11,884 copying certora_cli/CertoraProver/certoraSourceFinders.py -> build/lib/certora_cli/CertoraProver 2025-09-02T05:56:11,891 copying certora_cli/CertoraProver/certoraContextClass.py -> build/lib/certora_cli/CertoraProver 2025-09-02T05:56:11,899 creating build/lib/certora_cli/CertoraProver/Compiler 2025-09-02T05:56:11,904 copying certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-09-02T05:56:11,916 copying certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-09-02T05:56:11,920 copying certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-09-02T05:56:11,923 copying certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-09-02T05:56:11,929 copying certora_cli/CertoraProver/Compiler/__init__.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-09-02T05:56:11,933 copying certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-09-02T05:56:11,939 copying certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-09-02T05:56:11,945 running egg_info 2025-09-02T05:56:11,984 writing certora_cli_alpha_master.egg-info/PKG-INFO 2025-09-02T05:56:11,988 writing dependency_links to certora_cli_alpha_master.egg-info/dependency_links.txt 2025-09-02T05:56:11,991 writing entry points to certora_cli_alpha_master.egg-info/entry_points.txt 2025-09-02T05:56:11,993 writing requirements to certora_cli_alpha_master.egg-info/requires.txt 2025-09-02T05:56:11,995 writing top-level names to certora_cli_alpha_master.egg-info/top_level.txt 2025-09-02T05:56:12,090 reading manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' 2025-09-02T05:56:12,124 reading manifest template 'MANIFEST.in' 2025-09-02T05:56:12,161 warning: no files found matching 'gambit' under directory 'certora_bins' 2025-09-02T05:56:12,634 adding license file 'LICENSE' 2025-09-02T05:56:12,646 writing manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' 2025-09-02T05:56:12,656 copying certora_jars/ASTExtraction.jar -> build/lib/certora_jars 2025-09-02T05:56:13,707 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2025-09-02T05:56:13,714 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2025-09-02T05:56:14,566 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2025-09-02T05:56:14,569 copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck 2025-09-02T05:56:14,571 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2025-09-02T05:56:14,574 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2025-09-02T05:56:14,577 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2025-09-02T05:56:14,580 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2025-09-02T05:56:14,622 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:90: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2025-09-02T05:56:14,622 !! 2025-09-02T05:56:14,623 ******************************************************************************** 2025-09-02T05:56:14,624 Please avoid running ``setup.py`` directly. 2025-09-02T05:56:14,625 Instead, use pypa/build, pypa/installer or other 2025-09-02T05:56:14,625 standards-based tools. 2025-09-02T05:56:14,626 By 2025-Oct-31, you need to update your project and remove deprecated calls 2025-09-02T05:56:14,626 or your builds will no longer be supported. 2025-09-02T05:56:14,628 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2025-09-02T05:56:14,628 ******************************************************************************** 2025-09-02T05:56:14,629 !! 2025-09-02T05:56:14,630 self.initialize_options() 2025-09-02T05:56:14,652 installing to build/bdist.linux-armv7l/wheel 2025-09-02T05:56:14,678 running install 2025-09-02T05:56:14,679 running install_lib 2025-09-02T05:56:14,706 creating build/bdist.linux-armv7l/wheel 2025-09-02T05:56:14,708 creating build/bdist.linux-armv7l/wheel/certora_jars 2025-09-02T05:56:14,709 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-09-02T05:56:14,713 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-09-02T05:56:14,991 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-09-02T05:56:14,993 copying build/lib/certora_jars/ASTExtraction.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-09-02T05:56:15,252 creating build/bdist.linux-armv7l/wheel/certora_bins 2025-09-02T05:56:15,254 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins 2025-09-02T05:56:15,256 creating build/bdist.linux-armv7l/wheel/certora_cli 2025-09-02T05:56:15,258 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2025-09-02T05:56:15,260 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-09-02T05:56:15,262 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-09-02T05:56:15,265 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-09-02T05:56:15,267 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-09-02T05:56:15,269 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-09-02T05:56:15,272 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-09-02T05:56:15,275 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-09-02T05:56:15,277 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-09-02T05:56:15,279 copying build/lib/certora_cli/certoraSorobanProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-09-02T05:56:15,281 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-09-02T05:56:15,283 copying build/lib/certora_cli/certoraEVMProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-09-02T05:56:15,286 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-09-02T05:56:15,288 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2025-09-02T05:56:15,289 copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-09-02T05:56:15,293 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-09-02T05:56:15,299 copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-09-02T05:56:15,302 copying build/lib/certora_cli/Shared/proverCommon.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-09-02T05:56:15,305 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-09-02T05:56:15,307 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-09-02T05:56:15,310 copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-09-02T05:56:15,314 creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate 2025-09-02T05:56:15,316 copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-09-02T05:56:15,318 copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-09-02T05:56:15,323 copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-09-02T05:56:15,325 copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-09-02T05:56:15,328 copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-09-02T05:56:15,330 copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-09-02T05:56:15,333 copying build/lib/certora_cli/certoraRanger.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-09-02T05:56:15,336 copying build/lib/certora_cli/certoraSolanaProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-09-02T05:56:15,338 copying build/lib/certora_cli/rustMutator.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-09-02T05:56:15,343 creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver 2025-09-02T05:56:15,345 copying build/lib/certora_cli/CertoraProver/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-02T05:56:15,349 copying build/lib/certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-02T05:56:15,352 copying build/lib/certora_cli/CertoraProver/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-02T05:56:15,356 copying build/lib/certora_cli/CertoraProver/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-02T05:56:15,360 copying build/lib/certora_cli/CertoraProver/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-02T05:56:15,363 copying build/lib/certora_cli/CertoraProver/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-02T05:56:15,366 copying build/lib/certora_cli/CertoraProver/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-02T05:56:15,375 copying build/lib/certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-02T05:56:15,377 copying build/lib/certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-02T05:56:15,381 copying build/lib/certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-02T05:56:15,384 copying build/lib/certora_cli/CertoraProver/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-02T05:56:15,387 copying build/lib/certora_cli/CertoraProver/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-02T05:56:15,389 copying build/lib/certora_cli/CertoraProver/certoraProjectScanner.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-02T05:56:15,392 copying build/lib/certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-02T05:56:15,395 copying build/lib/certora_cli/CertoraProver/certoraBuildRust.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-02T05:56:15,398 copying build/lib/certora_cli/CertoraProver/splitRules.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-02T05:56:15,400 copying build/lib/certora_cli/CertoraProver/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-02T05:56:15,404 copying build/lib/certora_cli/CertoraProver/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-02T05:56:15,408 copying build/lib/certora_cli/CertoraProver/storageExtension.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-02T05:56:15,411 creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver/Compiler 2025-09-02T05:56:15,413 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-09-02T05:56:15,415 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-09-02T05:56:15,418 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-09-02T05:56:15,421 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-09-02T05:56:15,425 copying build/lib/certora_cli/CertoraProver/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-09-02T05:56:15,427 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-09-02T05:56:15,431 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-09-02T05:56:15,434 copying build/lib/certora_cli/CertoraProver/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-02T05:56:15,437 copying build/lib/certora_cli/CertoraProver/certoraApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-02T05:56:15,440 copying build/lib/certora_cli/CertoraProver/erc7201.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-02T05:56:15,443 copying build/lib/certora_cli/CertoraProver/certoraBuildSui.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-02T05:56:15,446 copying build/lib/certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-02T05:56:15,657 copying build/lib/certora_cli/CertoraProver/certoraParseBuildScript.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-02T05:56:15,662 copying build/lib/certora_cli/CertoraProver/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-02T05:56:15,666 copying build/lib/certora_cli/CertoraProver/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-02T05:56:15,670 copying build/lib/certora_cli/CertoraProver/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-02T05:56:15,674 copying build/lib/certora_cli/CertoraProver/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-09-02T05:56:15,676 copying build/lib/certora_cli/certoraCVLFormatter.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-09-02T05:56:15,679 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-09-02T05:56:15,682 copying build/lib/certora_cli/certoraConcord.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-09-02T05:56:15,684 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-09-02T05:56:15,687 running install_egg_info 2025-09-02T05:56:15,730 Copying certora_cli_alpha_master.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_alpha_master-20250826.2.54.225343-py3.11.egg-info 2025-09-02T05:56:15,746 running install_scripts 2025-09-02T05:56:15,765 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_master-20250826.2.54.225343.dist-info/WHEEL 2025-09-02T05:56:15,768 creating '/tmp/pip-wheel-vmzqosmj/certora_cli_alpha_master-20250826.2.54.225343-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2025-09-02T05:56:15,771 adding 'certora_bins/__init__.py' 2025-09-02T05:56:15,774 adding 'certora_cli/__init__.py' 2025-09-02T05:56:15,776 adding 'certora_cli/certoraCVLFormatter.py' 2025-09-02T05:56:15,778 adding 'certora_cli/certoraConcord.py' 2025-09-02T05:56:15,780 adding 'certora_cli/certoraEVMProver.py' 2025-09-02T05:56:15,782 adding 'certora_cli/certoraEqCheck.py' 2025-09-02T05:56:15,784 adding 'certora_cli/certoraMutate.py' 2025-09-02T05:56:15,786 adding 'certora_cli/certoraRanger.py' 2025-09-02T05:56:15,788 adding 'certora_cli/certoraRun.py' 2025-09-02T05:56:15,998 adding 'certora_cli/certoraSolanaProver.py' 2025-09-02T05:56:16,001 adding 'certora_cli/certoraSorobanProver.py' 2025-09-02T05:56:16,007 adding 'certora_cli/rustMutator.py' 2025-09-02T05:56:16,012 adding 'certora_cli/CertoraProver/__init__.py' 2025-09-02T05:56:16,015 adding 'certora_cli/CertoraProver/certoraApp.py' 2025-09-02T05:56:16,045 adding 'certora_cli/CertoraProver/certoraBuild.py' 2025-09-02T05:56:16,049 adding 'certora_cli/CertoraProver/certoraBuildCacheManager.py' 2025-09-02T05:56:16,051 adding 'certora_cli/CertoraProver/certoraBuildDataClasses.py' 2025-09-02T05:56:16,053 adding 'certora_cli/CertoraProver/certoraBuildRust.py' 2025-09-02T05:56:16,055 adding 'certora_cli/CertoraProver/certoraBuildSui.py' 2025-09-02T05:56:16,061 adding 'certora_cli/CertoraProver/certoraCloudIO.py' 2025-09-02T05:56:16,065 adding 'certora_cli/CertoraProver/certoraCollectConfigurationLayout.py' 2025-09-02T05:56:16,068 adding 'certora_cli/CertoraProver/certoraCollectRunMetadata.py' 2025-09-02T05:56:16,070 adding 'certora_cli/CertoraProver/certoraCompilerParameters.py' 2025-09-02T05:56:16,071 adding 'certora_cli/CertoraProver/certoraConfigIO.py' 2025-09-02T05:56:16,075 adding 'certora_cli/CertoraProver/certoraContext.py' 2025-09-02T05:56:16,082 adding 'certora_cli/CertoraProver/certoraContextAttributes.py' 2025-09-02T05:56:16,084 adding 'certora_cli/CertoraProver/certoraContextClass.py' 2025-09-02T05:56:16,091 adding 'certora_cli/CertoraProver/certoraContextValidator.py' 2025-09-02T05:56:16,094 adding 'certora_cli/CertoraProver/certoraContractFuncs.py' 2025-09-02T05:56:16,095 adding 'certora_cli/CertoraProver/certoraExtensionInfo.py' 2025-09-02T05:56:16,098 adding 'certora_cli/CertoraProver/certoraJobList.py' 2025-09-02T05:56:16,101 adding 'certora_cli/CertoraProver/certoraMiniSpecParser.py' 2025-09-02T05:56:16,102 adding 'certora_cli/CertoraProver/certoraNodeFilters.py' 2025-09-02T05:56:16,104 adding 'certora_cli/CertoraProver/certoraParseBuildScript.py' 2025-09-02T05:56:16,106 adding 'certora_cli/CertoraProver/certoraProjectScanner.py' 2025-09-02T05:56:16,108 adding 'certora_cli/CertoraProver/certoraSourceFinders.py' 2025-09-02T05:56:16,112 adding 'certora_cli/CertoraProver/certoraType.py' 2025-09-02T05:56:16,126 adding 'certora_cli/CertoraProver/certoraVerifyGenerator.py' 2025-09-02T05:56:16,127 adding 'certora_cli/CertoraProver/erc7201.py' 2025-09-02T05:56:16,129 adding 'certora_cli/CertoraProver/splitRules.py' 2025-09-02T05:56:16,132 adding 'certora_cli/CertoraProver/storageExtension.py' 2025-09-02T05:56:16,135 adding 'certora_cli/CertoraProver/Compiler/CompilerCollector.py' 2025-09-02T05:56:16,138 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py' 2025-09-02T05:56:16,140 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py' 2025-09-02T05:56:16,143 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py' 2025-09-02T05:56:16,152 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py' 2025-09-02T05:56:16,154 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py' 2025-09-02T05:56:16,155 adding 'certora_cli/CertoraProver/Compiler/__init__.py' 2025-09-02T05:56:16,157 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2025-09-02T05:56:16,158 adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec' 2025-09-02T05:56:16,160 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2025-09-02T05:56:16,161 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2025-09-02T05:56:16,162 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2025-09-02T05:56:16,164 adding 'certora_cli/EquivalenceCheck/__init__.py' 2025-09-02T05:56:16,167 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2025-09-02T05:56:16,168 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2025-09-02T05:56:16,170 adding 'certora_cli/Mutate/__init__.py' 2025-09-02T05:56:16,181 adding 'certora_cli/Mutate/mutateApp.py' 2025-09-02T05:56:16,183 adding 'certora_cli/Mutate/mutateAttributes.py' 2025-09-02T05:56:16,185 adding 'certora_cli/Mutate/mutateConstants.py' 2025-09-02T05:56:16,187 adding 'certora_cli/Mutate/mutateUtil.py' 2025-09-02T05:56:16,188 adding 'certora_cli/Mutate/mutateValidate.py' 2025-09-02T05:56:16,192 adding 'certora_cli/Shared/ExpectedComparator.py' 2025-09-02T05:56:16,194 adding 'certora_cli/Shared/__init__.py' 2025-09-02T05:56:16,196 adding 'certora_cli/Shared/certoraAttrUtil.py' 2025-09-02T05:56:16,198 adding 'certora_cli/Shared/certoraLogging.py' 2025-09-02T05:56:16,207 adding 'certora_cli/Shared/certoraUtils.py' 2025-09-02T05:56:16,214 adding 'certora_cli/Shared/certoraValidateFuncs.py' 2025-09-02T05:56:16,216 adding 'certora_cli/Shared/proverCommon.py' 2025-09-02T05:56:16,220 adding 'certora_cli_alpha_master-20250826.2.54.225343.dist-info/licenses/LICENSE' 2025-09-02T05:56:18,208 adding 'certora_jars/ASTExtraction.jar' 2025-09-02T05:56:18,318 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2025-09-02T05:56:20,295 adding 'certora_jars/Typechecker.jar' 2025-09-02T05:56:20,405 adding 'certora_jars/__init__.py' 2025-09-02T05:56:20,406 adding 'certora_cli_alpha_master-20250826.2.54.225343.dist-info/METADATA' 2025-09-02T05:56:20,407 adding 'certora_cli_alpha_master-20250826.2.54.225343.dist-info/WHEEL' 2025-09-02T05:56:20,408 adding 'certora_cli_alpha_master-20250826.2.54.225343.dist-info/entry_points.txt' 2025-09-02T05:56:20,408 adding 'certora_cli_alpha_master-20250826.2.54.225343.dist-info/top_level.txt' 2025-09-02T05:56:20,410 adding 'certora_cli_alpha_master-20250826.2.54.225343.dist-info/RECORD' 2025-09-02T05:56:20,758 removing build/bdist.linux-armv7l/wheel 2025-09-02T05:56:20,924 Building wheel for certora-cli-alpha-master (setup.py): finished with status 'done' 2025-09-02T05:56:21,249 Created wheel for certora-cli-alpha-master: filename=certora_cli_alpha_master-20250826.2.54.225343-py3-none-any.whl size=32555319 sha256=fc11d6d394146335b1bd82ee39f5da7c0f63dc1feab135f7da060848c5b97386 2025-09-02T05:56:21,250 Stored in directory: /tmp/pip-ephem-wheel-cache-zst7xr8q/wheels/5b/38/59/90bdcc64cb98b0ff49a1d937be826beefd987089744c96b94e 2025-09-02T05:56:21,275 Successfully built certora-cli-alpha-master 2025-09-02T05:56:22,074 Removed build tracker: '/tmp/pip-build-tracker-rjez7nzh'