2025-09-02T11:22:03,041 Created temporary directory: /tmp/pip-build-tracker-yhox8g0s
2025-09-02T11:22:03,043 Initialized build tracking at /tmp/pip-build-tracker-yhox8g0s
2025-09-02T11:22:03,043 Created build tracker: /tmp/pip-build-tracker-yhox8g0s
2025-09-02T11:22:03,044 Entered build tracker: /tmp/pip-build-tracker-yhox8g0s
2025-09-02T11:22:03,045 Created temporary directory: /tmp/pip-wheel-59bb4qlv
2025-09-02T11:22:03,050 Created temporary directory: /tmp/pip-ephem-wheel-cache-p0zmce3s
2025-09-02T11:22:03,105 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2025-09-02T11:22:03,108 2 location(s) to search for versions of certora-cli-alpha-master:
2025-09-02T11:22:03,108 * https://pypi.org/simple/certora-cli-alpha-master/
2025-09-02T11:22:03,108 * https://www.piwheels.org/simple/certora-cli-alpha-master/
2025-09-02T11:22:03,109 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-master/
2025-09-02T11:22:03,110 Getting page https://pypi.org/simple/certora-cli-alpha-master/
2025-09-02T11:22:03,111 Found index url https://pypi.org/simple/
2025-09-02T11:22:03,287 Fetched page https://pypi.org/simple/certora-cli-alpha-master/ as application/vnd.pypi.simple.v1+json
2025-09-02T11:22:03,296   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-02T11:22:03,297   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-02T11:22:03,298   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-02T11:22:03,299   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-02T11:22:03,300   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-02T11:22:03,301   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-02T11:22:03,302   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-02T11:22:03,303   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-02T11:22:03,304   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-02T11:22:03,304   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-02T11:22:03,306   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-02T11:22:03,306   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-02T11:22:03,307   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-02T11:22:03,308   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-02T11:22:03,309   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-02T11:22:03,309   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-02T11:22:03,310   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-02T11:22:03,311   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-02T11:22:03,312   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-02T11:22:03,313   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-02T11:22:03,313   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-02T11:22:03,314   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-02T11:22:03,315   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-02T11:22:03,316   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-02T11:22:03,316   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-02T11:22:03,317   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-02T11:22:03,317   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-02T11:22:03,318   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-02T11:22:03,319   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-02T11:22:03,320   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-02T11:22:03,321   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-02T11:22:03,321   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-02T11:22:03,322   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-02T11:22:03,323   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-02T11:22:03,324   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-02T11:22:03,324   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-02T11:22:03,325   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-02T11:22:03,326   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-02T11:22:03,327   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-02T11:22:03,328   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-02T11:22:03,328   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-02T11:22:03,329   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-02T11:22:03,330   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-02T11:22:03,331   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-02T11:22:03,332   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-02T11:22:03,332   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-02T11:22:03,333   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-02T11:22:03,334   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-02T11:22:03,334   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-02T11:22:03,335   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-02T11:22:03,336   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-02T11:22:03,337   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-02T11:22:03,337   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-02T11:22:03,338   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-02T11:22:03,339   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-02T11:22:03,340   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-02T11:22:03,341   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/60/a8/4401b7cb63f5082ff085ac35f943ea53760811143ad65d7b75e8900172e7/certora_cli_alpha_master-20250902.6.13.419228-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-09-02T11:22:03,341   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/6d/a2/1600e2eae80c35cf2e260e3a415a0c7107adce949b05a659b31ec3f0f6a8/certora_cli_alpha_master-20250902.6.13.419228-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-09-02T11:22:03,342   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/b3/be/2d1aad9c5d68f5e7b8ec47f55fdebf71306eebf7a2a7a824e093e118ba6f/certora_cli_alpha_master-20250902.6.13.419228-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-09-02T11:22:03,343   Found link https://files.pythonhosted.org/packages/ca/5b/e7ac1e059a534872120c173de577c5fbcb5aef8fd326f71680fd8d80091c/certora_cli_alpha_master-20250902.6.13.419228.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250902.6.13.419228
2025-09-02T11:22:03,343   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/55/16/ee365711de5b11a7bd6e970a5e7d8a25889c74e8f090fdc8d6e6658a0048/certora_cli_alpha_master-20250902.7.17.227451-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-09-02T11:22:03,344   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/47/6c/e955398b97e21a7ea872c16eaeeec3d04c325f0da08fa1016a78a48b7a1b/certora_cli_alpha_master-20250902.7.17.227451-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-09-02T11:22:03,345   Skipping link: No binaries permitted for certora-cli-alpha-master: https://files.pythonhosted.org/packages/04/bd/7fe724ba0ba25428034576470c25ecd250dc228781bccbda3c5acb3b4227/certora_cli_alpha_master-20250902.7.17.227451-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-09-02T11:22:03,346   Found link https://files.pythonhosted.org/packages/03/df/3374f279355c794289374b7ca3c3aa7ea97ad54a8cf95f5573a7f544da95/certora_cli_alpha_master-20250902.7.17.227451.tar.gz (from https://pypi.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9), version: 20250902.7.17.227451
2025-09-02T11:22:03,347 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-master/
2025-09-02T11:22:03,348 Getting page https://www.piwheels.org/simple/certora-cli-alpha-master/
2025-09-02T11:22:03,349 Found index url https://www.piwheels.org/simple/
2025-09-02T11:22:03,552 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-master/ as text/html
2025-09-02T11:22:03,556   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250828.18.43.245709-py3-none-any.whl#sha256=c1d41b3ccb2af1f853ebd74479a85d37e2e20d31b2a9578dfa3ca9740a7975b2 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-09-02T11:22:03,556   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250828.17.53.526204-py3-none-any.whl#sha256=8df1e2e3e176a0fc8334cd3300eaa5a465cff73fcdfe1221397193fee20af70c (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-09-02T11:22:03,557   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250828.14.20.863107-py3-none-any.whl#sha256=88c1c18652c4970de071ea78b68f0770a2aaa6b7cb562c62a8bc7288bd66c9d8 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-09-02T11:22:03,558   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250828.9.2.638125-py3-none-any.whl#sha256=97ac0ac0e6c0921bb9390d0f165e3ed1a0195f1445029e2b11a0464802005dca (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-09-02T11:22:03,558   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250827.19.14.868351-py3-none-any.whl#sha256=f80dae31acae88211d4e7e032fbfcf3c955ac9291b7e7b691e072f6b0a5dffa7 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-09-02T11:22:03,559   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250827.12.48.449321-py3-none-any.whl#sha256=c3a49a316ce20e45e9a86bf685cfdfb0746b95592b19fcfc6350c39239e0a1b8 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-09-02T11:22:03,560   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250826.20.6.86325-py3-none-any.whl#sha256=6561640ea148482f73ccc36a00f735467946bc6fd495f7cdcc120e1d60e05f17 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-09-02T11:22:03,560   Skipping link: No binaries permitted for certora-cli-alpha-master: https://www.piwheels.org/simple/certora-cli-alpha-master/certora_cli_alpha_master-20250826.2.54.225343-py3-none-any.whl#sha256=fc11d6d394146335b1bd82ee39f5da7c0f63dc1feab135f7da060848c5b97386 (from https://www.piwheels.org/simple/certora-cli-alpha-master/) (requires-python:>=3.9)
2025-09-02T11:22:03,561   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-02T11:22:03,561   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-02T11:22:03,562 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-master/
2025-09-02T11:22:03,563 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-master/
2025-09-02T11:22:03,587 Given no hashes to check 1 links for project 'certora-cli-alpha-master': discarding no candidates
2025-09-02T11:22:03,589 Collecting certora-cli-alpha-master==20250828.20.19.775699
2025-09-02T11:22:03,592   Created temporary directory: /tmp/pip-unpack-q0i335p9
2025-09-02T11:22:03,859   Downloading certora_cli_alpha_master-20250828.20.19.775699.tar.gz (32.5 MB)
2025-09-02T11:22:10,082   Added certora-cli-alpha-master==20250828.20.19.775699 from https://files.pythonhosted.org/packages/f8/7a/f202f9289cd4f22397718ebfafa3b7c56e74448462c5a85d4a9084aeb287/certora_cli_alpha_master-20250828.20.19.775699.tar.gz to build tracker '/tmp/pip-build-tracker-yhox8g0s'
2025-09-02T11:22:10,085   Running setup.py (path:/tmp/pip-wheel-59bb4qlv/certora-cli-alpha-master_5158ee482b674547911c858858e1136c/setup.py) egg_info for package certora-cli-alpha-master
2025-09-02T11:22:10,086   Created temporary directory: /tmp/pip-pip-egg-info-3qii9lqm
2025-09-02T11:22:10,087   Preparing metadata (setup.py): started
2025-09-02T11:22:10,089   Running command python setup.py egg_info
2025-09-02T11:22:11,285   /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2025-09-02T11:22:11,285   !!

2025-09-02T11:22:11,286           ********************************************************************************
2025-09-02T11:22:11,287           Please consider removing the following classifiers in favor of a SPDX license expression:

2025-09-02T11:22:11,288           License :: OSI Approved :: GNU General Public License v3 (GPLv3)

2025-09-02T11:22:11,289           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2025-09-02T11:22:11,290           ********************************************************************************

2025-09-02T11:22:11,291   !!
2025-09-02T11:22:11,291     self._finalize_license_expression()
2025-09-02T11:22:11,327   running egg_info
2025-09-02T11:22:11,363   creating /tmp/pip-pip-egg-info-3qii9lqm/certora_cli_alpha_master.egg-info
2025-09-02T11:22:11,364   writing /tmp/pip-pip-egg-info-3qii9lqm/certora_cli_alpha_master.egg-info/PKG-INFO
2025-09-02T11:22:11,368   writing dependency_links to /tmp/pip-pip-egg-info-3qii9lqm/certora_cli_alpha_master.egg-info/dependency_links.txt
2025-09-02T11:22:11,371   writing entry points to /tmp/pip-pip-egg-info-3qii9lqm/certora_cli_alpha_master.egg-info/entry_points.txt
2025-09-02T11:22:11,374   writing requirements to /tmp/pip-pip-egg-info-3qii9lqm/certora_cli_alpha_master.egg-info/requires.txt
2025-09-02T11:22:11,375   writing top-level names to /tmp/pip-pip-egg-info-3qii9lqm/certora_cli_alpha_master.egg-info/top_level.txt
2025-09-02T11:22:11,378   writing manifest file '/tmp/pip-pip-egg-info-3qii9lqm/certora_cli_alpha_master.egg-info/SOURCES.txt'
2025-09-02T11:22:11,499   reading manifest file '/tmp/pip-pip-egg-info-3qii9lqm/certora_cli_alpha_master.egg-info/SOURCES.txt'
2025-09-02T11:22:11,502   reading manifest template 'MANIFEST.in'
2025-09-02T11:22:11,680   warning: no files found matching 'gambit' under directory 'certora_bins'
2025-09-02T11:22:11,816   adding license file 'LICENSE'
2025-09-02T11:22:11,822   writing manifest file '/tmp/pip-pip-egg-info-3qii9lqm/certora_cli_alpha_master.egg-info/SOURCES.txt'
2025-09-02T11:22:11,939   Preparing metadata (setup.py): finished with status 'done'
2025-09-02T11:22:11,944   Source in /tmp/pip-wheel-59bb4qlv/certora-cli-alpha-master_5158ee482b674547911c858858e1136c has version 20250828.20.19.775699, which satisfies requirement certora-cli-alpha-master==20250828.20.19.775699 from https://files.pythonhosted.org/packages/f8/7a/f202f9289cd4f22397718ebfafa3b7c56e74448462c5a85d4a9084aeb287/certora_cli_alpha_master-20250828.20.19.775699.tar.gz
2025-09-02T11:22:11,945   Removed certora-cli-alpha-master==20250828.20.19.775699 from https://files.pythonhosted.org/packages/f8/7a/f202f9289cd4f22397718ebfafa3b7c56e74448462c5a85d4a9084aeb287/certora_cli_alpha_master-20250828.20.19.775699.tar.gz from build tracker '/tmp/pip-build-tracker-yhox8g0s'
2025-09-02T11:22:11,954 Created temporary directory: /tmp/pip-unpack-p6wpn1tm
2025-09-02T11:22:11,955 Created temporary directory: /tmp/pip-unpack-fi1uebhm
2025-09-02T11:22:11,956 Building wheels for collected packages: certora-cli-alpha-master
2025-09-02T11:22:11,960   Created temporary directory: /tmp/pip-wheel-we4cvsn6
2025-09-02T11:22:11,961   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-02T11:22:11,963   Building wheel for certora-cli-alpha-master (setup.py): started
2025-09-02T11:22:11,964   Destination directory: /tmp/pip-wheel-we4cvsn6
2025-09-02T11:22:11,965   Running command python setup.py bdist_wheel
2025-09-02T11:22:12,918   /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2025-09-02T11:22:12,918   !!

2025-09-02T11:22:12,919           ********************************************************************************
2025-09-02T11:22:12,919           Please consider removing the following classifiers in favor of a SPDX license expression:

2025-09-02T11:22:12,921           License :: OSI Approved :: GNU General Public License v3 (GPLv3)

2025-09-02T11:22:12,922           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2025-09-02T11:22:12,922           ********************************************************************************

2025-09-02T11:22:12,924   !!
2025-09-02T11:22:12,924     self._finalize_license_expression()
2025-09-02T11:22:12,925   running bdist_wheel
2025-09-02T11:22:13,092   running build
2025-09-02T11:22:13,092   running build_py
2025-09-02T11:22:13,129   creating build/lib/certora_bins
2025-09-02T11:22:13,132   copying certora_bins/__init__.py -> build/lib/certora_bins
2025-09-02T11:22:13,135   creating build/lib/certora_cli
2025-09-02T11:22:13,136   copying certora_cli/certoraConcord.py -> build/lib/certora_cli
2025-09-02T11:22:13,138   copying certora_cli/__init__.py -> build/lib/certora_cli
2025-09-02T11:22:13,140   copying certora_cli/rustMutator.py -> build/lib/certora_cli
2025-09-02T11:22:13,143   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2025-09-02T11:22:13,145   copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli
2025-09-02T11:22:13,147   copying certora_cli/certoraRanger.py -> build/lib/certora_cli
2025-09-02T11:22:13,150   copying certora_cli/certoraSolanaProver.py -> build/lib/certora_cli
2025-09-02T11:22:13,152   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2025-09-02T11:22:13,155   copying certora_cli/certoraSorobanProver.py -> build/lib/certora_cli
2025-09-02T11:22:13,157   copying certora_cli/certoraCVLFormatter.py -> build/lib/certora_cli
2025-09-02T11:22:13,159   copying certora_cli/certoraEVMProver.py -> build/lib/certora_cli
2025-09-02T11:22:13,162   creating build/lib/certora_jars
2025-09-02T11:22:13,163   copying certora_jars/__init__.py -> build/lib/certora_jars
2025-09-02T11:22:13,166   creating build/lib/certora_cli/Mutate
2025-09-02T11:22:13,167   copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate
2025-09-02T11:22:13,170   copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate
2025-09-02T11:22:13,173   copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate
2025-09-02T11:22:13,175   copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate
2025-09-02T11:22:13,180   copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate
2025-09-02T11:22:13,182   copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate
2025-09-02T11:22:13,185   creating build/lib/certora_cli/EquivalenceCheck
2025-09-02T11:22:13,186   copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck
2025-09-02T11:22:13,188   copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck
2025-09-02T11:22:13,192   creating build/lib/certora_cli/Shared
2025-09-02T11:22:13,193   copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared
2025-09-02T11:22:13,196   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2025-09-02T11:22:13,198   copying certora_cli/Shared/proverCommon.py -> build/lib/certora_cli/Shared
2025-09-02T11:22:13,201   copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared
2025-09-02T11:22:13,205   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2025-09-02T11:22:13,208   copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared
2025-09-02T11:22:13,211   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2025-09-02T11:22:13,216   creating build/lib/certora_cli/CertoraProver
2025-09-02T11:22:13,217   copying certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/lib/certora_cli/CertoraProver
2025-09-02T11:22:13,220   copying certora_cli/CertoraProver/certoraContractFuncs.py -> build/lib/certora_cli/CertoraProver
2025-09-02T11:22:13,222   copying certora_cli/CertoraProver/certoraBuildSui.py -> build/lib/certora_cli/CertoraProver
2025-09-02T11:22:13,224   copying certora_cli/CertoraProver/certoraProjectScanner.py -> build/lib/certora_cli/CertoraProver
2025-09-02T11:22:13,227   copying certora_cli/CertoraProver/__init__.py -> build/lib/certora_cli/CertoraProver
2025-09-02T11:22:13,229   copying certora_cli/CertoraProver/certoraCompilerParameters.py -> build/lib/certora_cli/CertoraProver
2025-09-02T11:22:13,231   copying certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/lib/certora_cli/CertoraProver
2025-09-02T11:22:13,235   copying certora_cli/CertoraProver/certoraSourceFinders.py -> build/lib/certora_cli/CertoraProver
2025-09-02T11:22:13,238   copying certora_cli/CertoraProver/certoraContextClass.py -> build/lib/certora_cli/CertoraProver
2025-09-02T11:22:13,240   copying certora_cli/CertoraProver/certoraContextAttributes.py -> build/lib/certora_cli/CertoraProver
2025-09-02T11:22:13,244   copying certora_cli/CertoraProver/certoraApp.py -> build/lib/certora_cli/CertoraProver
2025-09-02T11:22:13,246   copying certora_cli/CertoraProver/certoraExtensionInfo.py -> build/lib/certora_cli/CertoraProver
2025-09-02T11:22:13,249   copying certora_cli/CertoraProver/certoraBuildRust.py -> build/lib/certora_cli/CertoraProver
2025-09-02T11:22:13,251   copying certora_cli/CertoraProver/storageExtension.py -> build/lib/certora_cli/CertoraProver
2025-09-02T11:22:13,254   copying certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/lib/certora_cli/CertoraProver
2025-09-02T11:22:13,257   copying certora_cli/CertoraProver/certoraCloudIO.py -> build/lib/certora_cli/CertoraProver
2025-09-02T11:22:13,262   copying certora_cli/CertoraProver/certoraType.py -> build/lib/certora_cli/CertoraProver
2025-09-02T11:22:13,265   copying certora_cli/CertoraProver/certoraConfigIO.py -> build/lib/certora_cli/CertoraProver
2025-09-02T11:22:13,268   copying certora_cli/CertoraProver/certoraParseBuildScript.py -> build/lib/certora_cli/CertoraProver
2025-09-02T11:22:13,271   copying certora_cli/CertoraProver/certoraContext.py -> build/lib/certora_cli/CertoraProver
2025-09-02T11:22:13,274   copying certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/lib/certora_cli/CertoraProver
2025-09-02T11:22:13,277   copying certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/lib/certora_cli/CertoraProver
2025-09-02T11:22:13,280   copying certora_cli/CertoraProver/certoraContextValidator.py -> build/lib/certora_cli/CertoraProver
2025-09-02T11:22:13,283   copying certora_cli/CertoraProver/certoraBuild.py -> build/lib/certora_cli/CertoraProver
2025-09-02T11:22:13,292   copying certora_cli/CertoraProver/splitRules.py -> build/lib/certora_cli/CertoraProver
2025-09-02T11:22:13,295   copying certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/lib/certora_cli/CertoraProver
2025-09-02T11:22:13,298   copying certora_cli/CertoraProver/certoraNodeFilters.py -> build/lib/certora_cli/CertoraProver
2025-09-02T11:22:13,300   copying certora_cli/CertoraProver/certoraJobList.py -> build/lib/certora_cli/CertoraProver
2025-09-02T11:22:13,303   copying certora_cli/CertoraProver/erc7201.py -> build/lib/certora_cli/CertoraProver
2025-09-02T11:22:13,305   creating build/lib/certora_cli/CertoraProver/Compiler
2025-09-02T11:22:13,307   copying certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-09-02T11:22:13,309   copying certora_cli/CertoraProver/Compiler/__init__.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-09-02T11:22:13,312   copying certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-09-02T11:22:13,314   copying certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-09-02T11:22:13,317   copying certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-09-02T11:22:13,319   copying certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-09-02T11:22:13,322   copying certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-09-02T11:22:13,325   running egg_info
2025-09-02T11:22:13,360   writing certora_cli_alpha_master.egg-info/PKG-INFO
2025-09-02T11:22:13,363   writing dependency_links to certora_cli_alpha_master.egg-info/dependency_links.txt
2025-09-02T11:22:13,365   writing entry points to certora_cli_alpha_master.egg-info/entry_points.txt
2025-09-02T11:22:13,367   writing requirements to certora_cli_alpha_master.egg-info/requires.txt
2025-09-02T11:22:13,368   writing top-level names to certora_cli_alpha_master.egg-info/top_level.txt
2025-09-02T11:22:13,417   reading manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt'
2025-09-02T11:22:13,423   reading manifest template 'MANIFEST.in'
2025-09-02T11:22:13,430   warning: no files found matching 'gambit' under directory 'certora_bins'
2025-09-02T11:22:13,546   adding license file 'LICENSE'
2025-09-02T11:22:13,552   writing manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt'
2025-09-02T11:22:13,561   copying certora_jars/ASTExtraction.jar -> build/lib/certora_jars
2025-09-02T11:22:13,861   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2025-09-02T11:22:13,864   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2025-09-02T11:22:14,132   copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck
2025-09-02T11:22:14,135   copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck
2025-09-02T11:22:14,137   copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck
2025-09-02T11:22:14,140   copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck
2025-09-02T11:22:14,142   copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck
2025-09-02T11:22:14,145   copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck
2025-09-02T11:22:14,187   /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:90: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2025-09-02T11:22:14,188   !!

2025-09-02T11:22:14,189           ********************************************************************************
2025-09-02T11:22:14,190           Please avoid running ``setup.py`` directly.
2025-09-02T11:22:14,191           Instead, use pypa/build, pypa/installer or other
2025-09-02T11:22:14,192           standards-based tools.

2025-09-02T11:22:14,193           By 2025-Oct-31, you need to update your project and remove deprecated calls
2025-09-02T11:22:14,194           or your builds will no longer be supported.

2025-09-02T11:22:14,195           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2025-09-02T11:22:14,196           ********************************************************************************

2025-09-02T11:22:14,197   !!
2025-09-02T11:22:14,198     self.initialize_options()
2025-09-02T11:22:14,225   installing to build/bdist.linux-armv7l/wheel
2025-09-02T11:22:14,226   running install
2025-09-02T11:22:14,252   running install_lib
2025-09-02T11:22:14,286   creating build/bdist.linux-armv7l/wheel
2025-09-02T11:22:14,289   creating build/bdist.linux-armv7l/wheel/certora_bins
2025-09-02T11:22:14,290   copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins
2025-09-02T11:22:14,294   creating build/bdist.linux-armv7l/wheel/certora_cli
2025-09-02T11:22:14,295   copying build/lib/certora_cli/certoraConcord.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-09-02T11:22:14,297   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-09-02T11:22:14,299   copying build/lib/certora_cli/rustMutator.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-09-02T11:22:14,301   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-09-02T11:22:14,303   copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-09-02T11:22:14,305   copying build/lib/certora_cli/certoraRanger.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-09-02T11:22:14,308   creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate
2025-09-02T11:22:14,309   copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2025-09-02T11:22:14,312   copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2025-09-02T11:22:14,313   copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2025-09-02T11:22:14,316   copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2025-09-02T11:22:14,320   copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2025-09-02T11:22:14,322   copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2025-09-02T11:22:14,325   creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2025-09-02T11:22:14,326   copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-09-02T11:22:14,329   copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-09-02T11:22:14,331   copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-09-02T11:22:14,333   copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-09-02T11:22:14,335   copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-09-02T11:22:14,337   copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-09-02T11:22:14,340   copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-09-02T11:22:14,343   copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-09-02T11:22:14,345   copying build/lib/certora_cli/certoraSolanaProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-09-02T11:22:14,347   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-09-02T11:22:14,351   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2025-09-02T11:22:14,352   copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-09-02T11:22:14,356   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-09-02T11:22:14,358   copying build/lib/certora_cli/Shared/proverCommon.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-09-02T11:22:14,362   copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-09-02T11:22:14,365   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-09-02T11:22:14,368   copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-09-02T11:22:14,371   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-09-02T11:22:14,374   copying build/lib/certora_cli/certoraSorobanProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-09-02T11:22:14,378   creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver
2025-09-02T11:22:14,379   copying build/lib/certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-09-02T11:22:14,382   copying build/lib/certora_cli/CertoraProver/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-09-02T11:22:14,384   copying build/lib/certora_cli/CertoraProver/certoraBuildSui.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-09-02T11:22:14,386   copying build/lib/certora_cli/CertoraProver/certoraProjectScanner.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-09-02T11:22:14,389   copying build/lib/certora_cli/CertoraProver/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-09-02T11:22:14,391   copying build/lib/certora_cli/CertoraProver/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-09-02T11:22:14,393   copying build/lib/certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-09-02T11:22:14,395   copying build/lib/certora_cli/CertoraProver/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-09-02T11:22:14,398   copying build/lib/certora_cli/CertoraProver/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-09-02T11:22:14,400   copying build/lib/certora_cli/CertoraProver/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-09-02T11:22:14,405   creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver/Compiler
2025-09-02T11:22:14,406   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-09-02T11:22:14,408   copying build/lib/certora_cli/CertoraProver/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-09-02T11:22:14,410   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-09-02T11:22:14,413   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-09-02T11:22:14,416   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-09-02T11:22:14,418   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-09-02T11:22:14,420   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-09-02T11:22:14,424   copying build/lib/certora_cli/CertoraProver/certoraApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-09-02T11:22:14,426   copying build/lib/certora_cli/CertoraProver/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-09-02T11:22:14,428   copying build/lib/certora_cli/CertoraProver/certoraBuildRust.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-09-02T11:22:14,431   copying build/lib/certora_cli/CertoraProver/storageExtension.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-09-02T11:22:14,434   copying build/lib/certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-09-02T11:22:14,436   copying build/lib/certora_cli/CertoraProver/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-09-02T11:22:14,440   copying build/lib/certora_cli/CertoraProver/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-09-02T11:22:14,443   copying build/lib/certora_cli/CertoraProver/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-09-02T11:22:14,446   copying build/lib/certora_cli/CertoraProver/certoraParseBuildScript.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-09-02T11:22:14,448   copying build/lib/certora_cli/CertoraProver/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-09-02T11:22:14,451   copying build/lib/certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-09-02T11:22:14,454   copying build/lib/certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-09-02T11:22:14,456   copying build/lib/certora_cli/CertoraProver/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-09-02T11:22:14,460   copying build/lib/certora_cli/CertoraProver/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-09-02T11:22:14,466   copying build/lib/certora_cli/CertoraProver/splitRules.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-09-02T11:22:14,468   copying build/lib/certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-09-02T11:22:14,471   copying build/lib/certora_cli/CertoraProver/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-09-02T11:22:14,473   copying build/lib/certora_cli/CertoraProver/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-09-02T11:22:14,476   copying build/lib/certora_cli/CertoraProver/erc7201.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-09-02T11:22:14,478   copying build/lib/certora_cli/certoraCVLFormatter.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-09-02T11:22:14,480   copying build/lib/certora_cli/certoraEVMProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-09-02T11:22:14,483   creating build/bdist.linux-armv7l/wheel/certora_jars
2025-09-02T11:22:14,484   copying build/lib/certora_jars/ASTExtraction.jar -> build/bdist.linux-armv7l/wheel/./certora_jars
2025-09-02T11:22:15,041   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars
2025-09-02T11:22:15,044   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars
2025-09-02T11:22:15,046   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars
2025-09-02T11:22:15,312   running install_egg_info
2025-09-02T11:22:15,359   Copying certora_cli_alpha_master.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_alpha_master-20250828.20.19.775699-py3.11.egg-info
2025-09-02T11:22:15,372   running install_scripts
2025-09-02T11:22:15,386   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_master-20250828.20.19.775699.dist-info/WHEEL
2025-09-02T11:22:15,389   creating '/tmp/pip-wheel-we4cvsn6/certora_cli_alpha_master-20250828.20.19.775699-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2025-09-02T11:22:15,391   adding 'certora_bins/__init__.py'
2025-09-02T11:22:15,393   adding 'certora_cli/__init__.py'
2025-09-02T11:22:15,395   adding 'certora_cli/certoraCVLFormatter.py'
2025-09-02T11:22:15,396   adding 'certora_cli/certoraConcord.py'
2025-09-02T11:22:15,398   adding 'certora_cli/certoraEVMProver.py'
2025-09-02T11:22:15,399   adding 'certora_cli/certoraEqCheck.py'
2025-09-02T11:22:15,401   adding 'certora_cli/certoraMutate.py'
2025-09-02T11:22:15,402   adding 'certora_cli/certoraRanger.py'
2025-09-02T11:22:15,404   adding 'certora_cli/certoraRun.py'
2025-09-02T11:22:15,406   adding 'certora_cli/certoraSolanaProver.py'
2025-09-02T11:22:15,407   adding 'certora_cli/certoraSorobanProver.py'
2025-09-02T11:22:15,410   adding 'certora_cli/rustMutator.py'
2025-09-02T11:22:15,412   adding 'certora_cli/CertoraProver/__init__.py'
2025-09-02T11:22:15,413   adding 'certora_cli/CertoraProver/certoraApp.py'
2025-09-02T11:22:15,440   adding 'certora_cli/CertoraProver/certoraBuild.py'
2025-09-02T11:22:15,444   adding 'certora_cli/CertoraProver/certoraBuildCacheManager.py'
2025-09-02T11:22:15,446   adding 'certora_cli/CertoraProver/certoraBuildDataClasses.py'
2025-09-02T11:22:15,448   adding 'certora_cli/CertoraProver/certoraBuildRust.py'
2025-09-02T11:22:15,450   adding 'certora_cli/CertoraProver/certoraBuildSui.py'
2025-09-02T11:22:15,456   adding 'certora_cli/CertoraProver/certoraCloudIO.py'
2025-09-02T11:22:15,459   adding 'certora_cli/CertoraProver/certoraCollectConfigurationLayout.py'
2025-09-02T11:22:15,461   adding 'certora_cli/CertoraProver/certoraCollectRunMetadata.py'
2025-09-02T11:22:15,463   adding 'certora_cli/CertoraProver/certoraCompilerParameters.py'
2025-09-02T11:22:15,464   adding 'certora_cli/CertoraProver/certoraConfigIO.py'
2025-09-02T11:22:15,469   adding 'certora_cli/CertoraProver/certoraContext.py'
2025-09-02T11:22:15,474   adding 'certora_cli/CertoraProver/certoraContextAttributes.py'
2025-09-02T11:22:15,476   adding 'certora_cli/CertoraProver/certoraContextClass.py'
2025-09-02T11:22:15,482   adding 'certora_cli/CertoraProver/certoraContextValidator.py'
2025-09-02T11:22:15,484   adding 'certora_cli/CertoraProver/certoraContractFuncs.py'
2025-09-02T11:22:15,485   adding 'certora_cli/CertoraProver/certoraExtensionInfo.py'
2025-09-02T11:22:15,487   adding 'certora_cli/CertoraProver/certoraJobList.py'
2025-09-02T11:22:15,489   adding 'certora_cli/CertoraProver/certoraMiniSpecParser.py'
2025-09-02T11:22:15,491   adding 'certora_cli/CertoraProver/certoraNodeFilters.py'
2025-09-02T11:22:15,493   adding 'certora_cli/CertoraProver/certoraParseBuildScript.py'
2025-09-02T11:22:15,495   adding 'certora_cli/CertoraProver/certoraProjectScanner.py'
2025-09-02T11:22:15,498   adding 'certora_cli/CertoraProver/certoraSourceFinders.py'
2025-09-02T11:22:15,501   adding 'certora_cli/CertoraProver/certoraType.py'
2025-09-02T11:22:15,503   adding 'certora_cli/CertoraProver/certoraVerifyGenerator.py'
2025-09-02T11:22:15,505   adding 'certora_cli/CertoraProver/erc7201.py'
2025-09-02T11:22:15,506   adding 'certora_cli/CertoraProver/splitRules.py'
2025-09-02T11:22:15,509   adding 'certora_cli/CertoraProver/storageExtension.py'
2025-09-02T11:22:15,511   adding 'certora_cli/CertoraProver/Compiler/CompilerCollector.py'
2025-09-02T11:22:15,513   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py'
2025-09-02T11:22:15,515   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py'
2025-09-02T11:22:15,516   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py'
2025-09-02T11:22:15,524   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py'
2025-09-02T11:22:15,526   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py'
2025-09-02T11:22:15,527   adding 'certora_cli/CertoraProver/Compiler/__init__.py'
2025-09-02T11:22:15,529   adding 'certora_cli/EquivalenceCheck/Eq_default.conf'
2025-09-02T11:22:15,531   adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec'
2025-09-02T11:22:15,532   adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec'
2025-09-02T11:22:15,534   adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf'
2025-09-02T11:22:15,535   adding 'certora_cli/EquivalenceCheck/Eq_template.spec'
2025-09-02T11:22:15,536   adding 'certora_cli/EquivalenceCheck/__init__.py'
2025-09-02T11:22:15,539   adding 'certora_cli/EquivalenceCheck/equivCheck.py'
2025-09-02T11:22:15,541   adding 'certora_cli/EquivalenceCheck/sanity.spec'
2025-09-02T11:22:15,543   adding 'certora_cli/Mutate/__init__.py'
2025-09-02T11:22:15,554   adding 'certora_cli/Mutate/mutateApp.py'
2025-09-02T11:22:15,557   adding 'certora_cli/Mutate/mutateAttributes.py'
2025-09-02T11:22:15,558   adding 'certora_cli/Mutate/mutateConstants.py'
2025-09-02T11:22:15,560   adding 'certora_cli/Mutate/mutateUtil.py'
2025-09-02T11:22:15,562   adding 'certora_cli/Mutate/mutateValidate.py'
2025-09-02T11:22:15,565   adding 'certora_cli/Shared/ExpectedComparator.py'
2025-09-02T11:22:15,567   adding 'certora_cli/Shared/__init__.py'
2025-09-02T11:22:15,568   adding 'certora_cli/Shared/certoraAttrUtil.py'
2025-09-02T11:22:15,571   adding 'certora_cli/Shared/certoraLogging.py'
2025-09-02T11:22:15,579   adding 'certora_cli/Shared/certoraUtils.py'
2025-09-02T11:22:15,584   adding 'certora_cli/Shared/certoraValidateFuncs.py'
2025-09-02T11:22:15,587   adding 'certora_cli/Shared/proverCommon.py'
2025-09-02T11:22:15,590   adding 'certora_cli_alpha_master-20250828.20.19.775699.dist-info/licenses/LICENSE'
2025-09-02T11:22:17,786   adding 'certora_jars/ASTExtraction.jar'
2025-09-02T11:22:17,897   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2025-09-02T11:22:19,978   adding 'certora_jars/Typechecker.jar'
2025-09-02T11:22:20,088   adding 'certora_jars/__init__.py'
2025-09-02T11:22:20,089   adding 'certora_cli_alpha_master-20250828.20.19.775699.dist-info/METADATA'
2025-09-02T11:22:20,091   adding 'certora_cli_alpha_master-20250828.20.19.775699.dist-info/WHEEL'
2025-09-02T11:22:20,092   adding 'certora_cli_alpha_master-20250828.20.19.775699.dist-info/entry_points.txt'
2025-09-02T11:22:20,093   adding 'certora_cli_alpha_master-20250828.20.19.775699.dist-info/top_level.txt'
2025-09-02T11:22:20,095   adding 'certora_cli_alpha_master-20250828.20.19.775699.dist-info/RECORD'
2025-09-02T11:22:20,417   removing build/bdist.linux-armv7l/wheel
2025-09-02T11:22:20,499   error: [Errno 39] Directory not empty: 'certora_jars'
2025-09-02T11:22:20,618   ERROR: python setup.py bdist_wheel exited with 1
2025-09-02T11:22:20,631   [bold magenta]full command[/]: [blue]/usr/bin/python3 -u -c '
2025-09-02T11:22:20,631   exec(compile('"'"''"'"''"'"'
2025-09-02T11:22:20,631   # This is <pip-setuptools-caller> -- a caller that pip uses to run setup.py
2025-09-02T11:22:20,631   #
2025-09-02T11:22:20,631   # - It imports setuptools before invoking setup.py, to enable projects that directly
2025-09-02T11:22:20,631   #   import from `distutils.core` to work with newer packaging standards.
2025-09-02T11:22:20,631   # - It provides a clear error message when setuptools is not installed.
2025-09-02T11:22:20,631   # - It sets `sys.argv[0]` to the underlying `setup.py`, when invoking `setup.py` so
2025-09-02T11:22:20,631   #   setuptools doesn'"'"'t think the script is `-c`. This avoids the following warning:
2025-09-02T11:22:20,631   #     manifest_maker: standard file '"'"'-c'"'"' not found".
2025-09-02T11:22:20,631   # - It generates a shim setup.py, for handling setup.cfg-only projects.
2025-09-02T11:22:20,631   import os, sys, tokenize, traceback
2025-09-02T11:22:20,631   
2025-09-02T11:22:20,631   try:
2025-09-02T11:22:20,631       import setuptools
2025-09-02T11:22:20,631   except ImportError:
2025-09-02T11:22:20,631       print(
2025-09-02T11:22:20,631           "ERROR: Can not execute `setup.py` since setuptools failed to import in "
2025-09-02T11:22:20,631           "the build environment with exception:",
2025-09-02T11:22:20,631           file=sys.stderr,
2025-09-02T11:22:20,631       )
2025-09-02T11:22:20,631       traceback.print_exc()
2025-09-02T11:22:20,631       sys.exit(1)
2025-09-02T11:22:20,631   
2025-09-02T11:22:20,631   __file__ = %r
2025-09-02T11:22:20,631   sys.argv[0] = __file__
2025-09-02T11:22:20,631   
2025-09-02T11:22:20,631   if os.path.exists(__file__):
2025-09-02T11:22:20,631       filename = __file__
2025-09-02T11:22:20,631       with tokenize.open(__file__) as f:
2025-09-02T11:22:20,631           setup_py_code = f.read()
2025-09-02T11:22:20,631   else:
2025-09-02T11:22:20,631       filename = "<auto-generated setuptools caller>"
2025-09-02T11:22:20,631       setup_py_code = "from setuptools import setup; setup()"
2025-09-02T11:22:20,631   
2025-09-02T11:22:20,631   exec(compile(setup_py_code, filename, "exec"))
2025-09-02T11:22:20,631   '"'"''"'"''"'"' % ('"'"'/tmp/pip-wheel-59bb4qlv/certora-cli-alpha-master_5158ee482b674547911c858858e1136c/setup.py'"'"',), "<pip-setuptools-caller>", "exec"))' bdist_wheel -d /tmp/pip-wheel-we4cvsn6[/]
2025-09-02T11:22:20,632   [bold magenta]cwd[/]: /tmp/pip-wheel-59bb4qlv/certora-cli-alpha-master_5158ee482b674547911c858858e1136c/
2025-09-02T11:22:20,633   Building wheel for certora-cli-alpha-master (setup.py): finished with status 'error'
2025-09-02T11:22:20,634   ERROR: Failed building wheel for certora-cli-alpha-master
2025-09-02T11:22:20,636   Running setup.py clean for certora-cli-alpha-master
2025-09-02T11:22:20,637   Running command python setup.py clean
2025-09-02T11:22:21,603   /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated.
2025-09-02T11:22:21,603   !!

2025-09-02T11:22:21,604           ********************************************************************************
2025-09-02T11:22:21,605           Please consider removing the following classifiers in favor of a SPDX license expression:

2025-09-02T11:22:21,606           License :: OSI Approved :: GNU General Public License v3 (GPLv3)

2025-09-02T11:22:21,607           See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
2025-09-02T11:22:21,608           ********************************************************************************

2025-09-02T11:22:21,609   !!
2025-09-02T11:22:21,609     self._finalize_license_expression()
2025-09-02T11:22:21,641   running clean
2025-09-02T11:22:21,703   removing 'build/lib' (and everything under it)
2025-09-02T11:22:21,745   removing 'build/bdist.linux-armv7l' (and everything under it)
2025-09-02T11:22:21,776   error removing build/bdist.linux-armv7l: [Errno 2] No such file or directory: 'build/bdist.linux-armv7l/wheel/certora_jars/.nfs00000000002411fa00004892'
2025-09-02T11:22:21,781   'build/scripts-3.11' does not exist -- can't clean it
2025-09-02T11:22:21,782   removing 'build'
2025-09-02T11:22:21,902 Failed to build certora-cli-alpha-master
2025-09-02T11:22:21,903 ERROR: Failed to build one or more wheels
2025-09-02T11:22:21,905 Exception information:
2025-09-02T11:22:21,905 Traceback (most recent call last):
2025-09-02T11:22:21,905   File "/usr/local/lib/python3.11/dist-packages/pip/_internal/cli/base_command.py", line 107, in _run_wrapper
2025-09-02T11:22:21,905     status = _inner_run()
2025-09-02T11:22:21,905              ^^^^^^^^^^^^
2025-09-02T11:22:21,905   File "/usr/local/lib/python3.11/dist-packages/pip/_internal/cli/base_command.py", line 98, in _inner_run
2025-09-02T11:22:21,905     return self.run(options, args)
2025-09-02T11:22:21,905            ^^^^^^^^^^^^^^^^^^^^^^^
2025-09-02T11:22:21,905   File "/usr/local/lib/python3.11/dist-packages/pip/_internal/cli/req_command.py", line 71, in wrapper
2025-09-02T11:22:21,905     return func(self, options, args)
2025-09-02T11:22:21,905            ^^^^^^^^^^^^^^^^^^^^^^^^^
2025-09-02T11:22:21,905   File "/usr/local/lib/python3.11/dist-packages/pip/_internal/commands/wheel.py", line 179, in run
2025-09-02T11:22:21,905     raise CommandError("Failed to build one or more wheels")
2025-09-02T11:22:21,905 pip._internal.exceptions.CommandError: Failed to build one or more wheels
2025-09-02T11:22:21,909 Removed build tracker: '/tmp/pip-build-tracker-yhox8g0s'