2024-12-28T20:30:29,636 Created temporary directory: /tmp/pip-build-tracker-iizzj3rf 2024-12-28T20:30:29,638 Initialized build tracking at /tmp/pip-build-tracker-iizzj3rf 2024-12-28T20:30:29,638 Created build tracker: /tmp/pip-build-tracker-iizzj3rf 2024-12-28T20:30:29,638 Entered build tracker: /tmp/pip-build-tracker-iizzj3rf 2024-12-28T20:30:29,639 Created temporary directory: /tmp/pip-wheel-xm_347st 2024-12-28T20:30:29,644 Created temporary directory: /tmp/pip-ephem-wheel-cache-o14ko5sh 2024-12-28T20:30:29,686 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2024-12-28T20:30:29,689 2 location(s) to search for versions of certora-cli-alpha-niv-fix-path-in-soroban-entry: 2024-12-28T20:30:29,689 * https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:30:29,689 * https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:30:29,690 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:30:29,691 Getting page https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:30:29,692 Found index url https://pypi.org/simple/ 2024-12-28T20:30:29,837 Fetched page https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ as application/vnd.pypi.simple.v1+json 2024-12-28T20:30:29,843 Skipping link: No binaries permitted for certora-cli-alpha-niv-fix-path-in-soroban-entry: https://files.pythonhosted.org/packages/3b/78/9868ccf7d911a923afb7d94d4682c4336c1f8378632179375df487ad6e0e/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.9.13.2229-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/) (requires-python:>=3.8) 2024-12-28T20:30:29,843 Skipping link: No binaries permitted for certora-cli-alpha-niv-fix-path-in-soroban-entry: https://files.pythonhosted.org/packages/a6/ba/8a65a61250a27b216321664c24cef48b4d9ebc1824fe583defbfb165c7bb/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.9.13.2229-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/) (requires-python:>=3.8) 2024-12-28T20:30:29,844 Skipping link: No binaries permitted for certora-cli-alpha-niv-fix-path-in-soroban-entry: https://files.pythonhosted.org/packages/92/0d/935fd494d3bfb7d00df6cc7d9e2e2de90cc6fcf435b321ab54f939afe2a8/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.9.13.2229-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/) (requires-python:>=3.8) 2024-12-28T20:30:29,845 Found link https://files.pythonhosted.org/packages/3a/e7/26b6b491938e11b45892aedd9e2ab3726aba67631a5a494225b27f952b25/certora_cli_alpha_niv_fix_path_in_soroban_entry-20241224.9.13.2229.tar.gz (from https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/) (requires-python:>=3.8), version: 20241224.9.13.2229 2024-12-28T20:30:29,846 Skipping link: No binaries permitted for certora-cli-alpha-niv-fix-path-in-soroban-entry: https://files.pythonhosted.org/packages/50/e5/9a4a899e46be177feb8ac8c961b8fe7ae86cf04d3280033193019576716b/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.9.51.502742-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/) (requires-python:>=3.8) 2024-12-28T20:30:29,846 Skipping link: No binaries permitted for certora-cli-alpha-niv-fix-path-in-soroban-entry: https://files.pythonhosted.org/packages/9e/c8/d5fb5e96ebc3d6fa0618c9201a2607343bbf9c667039fa64ae7d148f3cdd/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.9.51.502742-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/) (requires-python:>=3.8) 2024-12-28T20:30:29,847 Skipping link: No binaries permitted for certora-cli-alpha-niv-fix-path-in-soroban-entry: https://files.pythonhosted.org/packages/db/05/fda5ac5f3fdfb70618f5863fee1628cd97a2751adae914ad6cc1174fd36e/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.9.51.502742-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/) (requires-python:>=3.8) 2024-12-28T20:30:29,848 Found link https://files.pythonhosted.org/packages/cd/0a/b56efab69b6a55c138b3abb5152655759b4d17ebf7934ae4f4116371772a/certora_cli_alpha_niv_fix_path_in_soroban_entry-20241224.9.51.502742.tar.gz (from https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/) (requires-python:>=3.8), version: 20241224.9.51.502742 2024-12-28T20:30:29,849 Skipping link: No binaries permitted for certora-cli-alpha-niv-fix-path-in-soroban-entry: https://files.pythonhosted.org/packages/da/d6/082c46c12cedeedbdc3629aadfe133922883bb187490a6f2302aea740009/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.10.20.434362-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/) (requires-python:>=3.8) 2024-12-28T20:30:29,849 Skipping link: No binaries permitted for certora-cli-alpha-niv-fix-path-in-soroban-entry: https://files.pythonhosted.org/packages/19/0c/b54a4bce3abb552a65075df66949e8472cc5011e0ec79069f2522ee53689/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.10.20.434362-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/) (requires-python:>=3.8) 2024-12-28T20:30:29,850 Skipping link: No binaries permitted for certora-cli-alpha-niv-fix-path-in-soroban-entry: https://files.pythonhosted.org/packages/60/5d/8f313affde74b47ddc4aa9628457b16a7a4099dc091659c209bad4e659cb/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.10.20.434362-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/) (requires-python:>=3.8) 2024-12-28T20:30:29,851 Found link https://files.pythonhosted.org/packages/5b/b3/9ea56962558bde5f5d55d7284b3abc761ff79b13f2a8b45d79ed5237aa79/certora_cli_alpha_niv_fix_path_in_soroban_entry-20241224.10.20.434362.tar.gz (from https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/) (requires-python:>=3.8), version: 20241224.10.20.434362 2024-12-28T20:30:29,851 Skipping link: No binaries permitted for certora-cli-alpha-niv-fix-path-in-soroban-entry: https://files.pythonhosted.org/packages/1b/9c/c4612c525f78257ebc9105f5c528e5af3c034fce57fd394bd18c89e3eb8e/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.10.52.553813-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/) (requires-python:>=3.8) 2024-12-28T20:30:29,852 Skipping link: No binaries permitted for certora-cli-alpha-niv-fix-path-in-soroban-entry: https://files.pythonhosted.org/packages/64/3a/c6a4ce97c4cb9053898f2610070b729f02c018773b80748dbb6743d2f0a6/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.10.52.553813-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/) (requires-python:>=3.8) 2024-12-28T20:30:29,852 Skipping link: No binaries permitted for certora-cli-alpha-niv-fix-path-in-soroban-entry: https://files.pythonhosted.org/packages/a3/07/6b435160010e02ab3acfb6d28b5eb863847cf4ac8d056e0f8b36c0b7c21c/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.10.52.553813-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/) (requires-python:>=3.8) 2024-12-28T20:30:29,854 Found link https://files.pythonhosted.org/packages/96/7c/49fcbfdfe09ac37eb3c168ebb95ed710380e0587a79cc9f58655af333833/certora_cli_alpha_niv_fix_path_in_soroban_entry-20241224.10.52.553813.tar.gz (from https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/) (requires-python:>=3.8), version: 20241224.10.52.553813 2024-12-28T20:30:29,854 Skipping link: No binaries permitted for certora-cli-alpha-niv-fix-path-in-soroban-entry: https://files.pythonhosted.org/packages/f3/26/2b4a38a819b60e68373b7a8043abf4ac4d13c256ffdf6a14105044290975/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.11.23.410711-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/) (requires-python:>=3.8) 2024-12-28T20:30:29,855 Skipping link: No binaries permitted for certora-cli-alpha-niv-fix-path-in-soroban-entry: https://files.pythonhosted.org/packages/88/96/f1fcc98da27cef3d7f0c7b6c24101dc562057426560c3297fc86352d083e/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.11.23.410711-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/) (requires-python:>=3.8) 2024-12-28T20:30:29,856 Skipping link: No binaries permitted for certora-cli-alpha-niv-fix-path-in-soroban-entry: https://files.pythonhosted.org/packages/b7/b2/b4e23e5c6004c140750c14c19468d2fcdb584609c561b6e65b336eff99e9/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.11.23.410711-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/) (requires-python:>=3.8) 2024-12-28T20:30:29,857 Found link https://files.pythonhosted.org/packages/c1/eb/4be1893ad5d1b0dddbd0eea2d3a9b9825b9856f81958be8d6f0c49235310/certora_cli_alpha_niv_fix_path_in_soroban_entry-20241224.11.23.410711.tar.gz (from https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/) (requires-python:>=3.8), version: 20241224.11.23.410711 2024-12-28T20:30:29,857 Skipping link: No binaries permitted for certora-cli-alpha-niv-fix-path-in-soroban-entry: https://files.pythonhosted.org/packages/1b/ec/8f57a395040573d0d7201a87ab65c2863d7bcd9a123b82445c94609cc14c/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.11.41.25008-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/) (requires-python:>=3.8) 2024-12-28T20:30:29,858 Skipping link: No binaries permitted for certora-cli-alpha-niv-fix-path-in-soroban-entry: https://files.pythonhosted.org/packages/74/03/00ee8b55d1c5d20bb5049519f1eba1eec6bb8e95fb84be2e289cdd928559/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.11.41.25008-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/) (requires-python:>=3.8) 2024-12-28T20:30:29,858 Skipping link: No binaries permitted for certora-cli-alpha-niv-fix-path-in-soroban-entry: https://files.pythonhosted.org/packages/64/e8/00e50fc169bf454977fab26a6a6d0a137a30d019d2b214ad0d251b66dec2/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.11.41.25008-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/) (requires-python:>=3.8) 2024-12-28T20:30:29,859 Found link https://files.pythonhosted.org/packages/24/fe/9d5f3dd0e670b40a033b3579fb15b4479ef95cd723db97e9513aa64b7f56/certora_cli_alpha_niv_fix_path_in_soroban_entry-20241224.11.41.25008.tar.gz (from https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/) (requires-python:>=3.8), version: 20241224.11.41.25008 2024-12-28T20:30:29,860 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:30:29,861 Getting page https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:30:29,862 Found index url https://www.piwheels.org/simple/ 2024-12-28T20:30:31,899 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ as text/html 2024-12-28T20:30:31,905 Skipping link: No binaries permitted for certora-cli-alpha-niv-fix-path-in-soroban-entry: https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.11.23.410711-py3-none-any.whl#sha256=cd09c520ee52d945261cd57103685843dd4e5058ece957315e3f768338db436e (from https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/) (requires-python:>=3.8) 2024-12-28T20:30:31,907 Skipping link: No binaries permitted for certora-cli-alpha-niv-fix-path-in-soroban-entry: https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.10.52.553813-py3-none-any.whl#sha256=3fa9e1b50f0416f1752218808b034b68c7bf5cda2d37179804c30fda7397e4b9 (from https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/) (requires-python:>=3.8) 2024-12-28T20:30:31,908 Skipping link: No binaries permitted for certora-cli-alpha-niv-fix-path-in-soroban-entry: https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.10.20.434362-py3-none-any.whl#sha256=9ae8230913eac9ea6a3fe0a30548a3108dacfb4e10aef3d35982e10ea40f5847 (from https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/) (requires-python:>=3.8) 2024-12-28T20:30:31,909 Skipping link: No binaries permitted for certora-cli-alpha-niv-fix-path-in-soroban-entry: https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.9.51.502742-py3-none-any.whl#sha256=afa328666ff4d6ac39ceb583b0b40efcf8b9ff9db7a7ebc9a1f665a173c69db8 (from https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/) (requires-python:>=3.8) 2024-12-28T20:30:31,910 Skipping link: No binaries permitted for certora-cli-alpha-niv-fix-path-in-soroban-entry: https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.9.13.2229-py3-none-any.whl#sha256=773e7831dfedc35188a2bd1e9d22749c285bcdbd67c1a3348dc697261efa412e (from https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/) (requires-python:>=3.8) 2024-12-28T20:30:31,911 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:30:31,912 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:30:31,949 Given no hashes to check 1 links for project 'certora-cli-alpha-niv-fix-path-in-soroban-entry': discarding no candidates 2024-12-28T20:30:31,952 Collecting certora-cli-alpha-niv-fix-path-in-soroban-entry==20241224.11.41.25008 2024-12-28T20:30:31,955 Created temporary directory: /tmp/pip-unpack-16gp3rut 2024-12-28T20:30:32,299 Downloading certora_cli_alpha_niv_fix_path_in_soroban_entry-20241224.11.41.25008.tar.gz (15.6 MB) 2024-12-28T20:30:36,700 Added certora-cli-alpha-niv-fix-path-in-soroban-entry==20241224.11.41.25008 from https://files.pythonhosted.org/packages/24/fe/9d5f3dd0e670b40a033b3579fb15b4479ef95cd723db97e9513aa64b7f56/certora_cli_alpha_niv_fix_path_in_soroban_entry-20241224.11.41.25008.tar.gz to build tracker '/tmp/pip-build-tracker-iizzj3rf' 2024-12-28T20:30:36,701 Running setup.py (path:/tmp/pip-wheel-xm_347st/certora-cli-alpha-niv-fix-path-in-soroban-entry_e97a7f7dfc3046feb9beb97496fb6bdf/setup.py) egg_info for package certora-cli-alpha-niv-fix-path-in-soroban-entry 2024-12-28T20:30:36,702 Created temporary directory: /tmp/pip-pip-egg-info-x86pwh0m 2024-12-28T20:30:36,703 Preparing metadata (setup.py): started 2024-12-28T20:30:36,704 Running command python setup.py egg_info 2024-12-28T20:30:37,740 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:337: InformationOnly: Normalizing '20241224.11.41.025008' to '20241224.11.41.25008' 2024-12-28T20:30:37,740 self.metadata.version = self._normalize_version(self.metadata.version) 2024-12-28T20:30:37,774 running egg_info 2024-12-28T20:30:37,802 creating /tmp/pip-pip-egg-info-x86pwh0m/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info 2024-12-28T20:30:37,803 writing /tmp/pip-pip-egg-info-x86pwh0m/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/PKG-INFO 2024-12-28T20:30:37,806 writing dependency_links to /tmp/pip-pip-egg-info-x86pwh0m/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/dependency_links.txt 2024-12-28T20:30:37,808 writing entry points to /tmp/pip-pip-egg-info-x86pwh0m/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/entry_points.txt 2024-12-28T20:30:37,810 writing requirements to /tmp/pip-pip-egg-info-x86pwh0m/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/requires.txt 2024-12-28T20:30:37,811 writing top-level names to /tmp/pip-pip-egg-info-x86pwh0m/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/top_level.txt 2024-12-28T20:30:37,813 writing manifest file '/tmp/pip-pip-egg-info-x86pwh0m/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/SOURCES.txt' 2024-12-28T20:30:37,912 reading manifest file '/tmp/pip-pip-egg-info-x86pwh0m/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/SOURCES.txt' 2024-12-28T20:30:37,914 reading manifest template 'MANIFEST.in' 2024-12-28T20:30:37,919 warning: no files found matching 'gambit' under directory 'certora_bins' 2024-12-28T20:30:37,997 adding license file 'LICENSE' 2024-12-28T20:30:38,002 writing manifest file '/tmp/pip-pip-egg-info-x86pwh0m/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/SOURCES.txt' 2024-12-28T20:30:38,111 Preparing metadata (setup.py): finished with status 'done' 2024-12-28T20:30:38,166 Source in /tmp/pip-wheel-xm_347st/certora-cli-alpha-niv-fix-path-in-soroban-entry_e97a7f7dfc3046feb9beb97496fb6bdf has version 20241224.11.41.25008, which satisfies requirement certora-cli-alpha-niv-fix-path-in-soroban-entry==20241224.11.41.25008 from https://files.pythonhosted.org/packages/24/fe/9d5f3dd0e670b40a033b3579fb15b4479ef95cd723db97e9513aa64b7f56/certora_cli_alpha_niv_fix_path_in_soroban_entry-20241224.11.41.25008.tar.gz 2024-12-28T20:30:38,167 Removed certora-cli-alpha-niv-fix-path-in-soroban-entry==20241224.11.41.25008 from https://files.pythonhosted.org/packages/24/fe/9d5f3dd0e670b40a033b3579fb15b4479ef95cd723db97e9513aa64b7f56/certora_cli_alpha_niv_fix_path_in_soroban_entry-20241224.11.41.25008.tar.gz from build tracker '/tmp/pip-build-tracker-iizzj3rf' 2024-12-28T20:30:38,174 Created temporary directory: /tmp/pip-unpack-j22yna3n 2024-12-28T20:30:38,175 Created temporary directory: /tmp/pip-unpack-166gc5j0 2024-12-28T20:30:38,176 Building wheels for collected packages: certora-cli-alpha-niv-fix-path-in-soroban-entry 2024-12-28T20:30:38,180 Created temporary directory: /tmp/pip-wheel-uwra24e0 2024-12-28T20:30:38,181 Building wheel for certora-cli-alpha-niv-fix-path-in-soroban-entry (setup.py): started 2024-12-28T20:30:38,182 Destination directory: /tmp/pip-wheel-uwra24e0 2024-12-28T20:30:38,183 Running command python setup.py bdist_wheel 2024-12-28T20:30:39,194 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:337: InformationOnly: Normalizing '20241224.11.41.025008' to '20241224.11.41.25008' 2024-12-28T20:30:39,194 self.metadata.version = self._normalize_version(self.metadata.version) 2024-12-28T20:30:39,202 running bdist_wheel 2024-12-28T20:30:39,336 running build 2024-12-28T20:30:39,337 running build_py 2024-12-28T20:30:39,366 creating build/lib/certora_bins 2024-12-28T20:30:39,369 copying certora_bins/__init__.py -> build/lib/certora_bins 2024-12-28T20:30:39,371 creating build/lib/certora_cli 2024-12-28T20:30:39,372 copying certora_cli/certoraEVMProver.py -> build/lib/certora_cli 2024-12-28T20:30:39,374 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2024-12-28T20:30:39,376 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2024-12-28T20:30:39,378 copying certora_cli/rustMutator.py -> build/lib/certora_cli 2024-12-28T20:30:39,381 copying certora_cli/certoraSolanaProver.py -> build/lib/certora_cli 2024-12-28T20:30:39,383 copying certora_cli/certoraSorobanProver.py -> build/lib/certora_cli 2024-12-28T20:30:39,385 copying certora_cli/__init__.py -> build/lib/certora_cli 2024-12-28T20:30:39,387 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2024-12-28T20:30:39,389 creating build/lib/certora_jars 2024-12-28T20:30:39,390 copying certora_jars/__init__.py -> build/lib/certora_jars 2024-12-28T20:30:39,393 creating build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:30:39,394 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:30:39,396 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:30:39,399 creating build/lib/certora_cli/Mutate 2024-12-28T20:30:39,400 copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate 2024-12-28T20:30:39,402 copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate 2024-12-28T20:30:39,404 copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate 2024-12-28T20:30:39,406 copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate 2024-12-28T20:30:39,409 copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate 2024-12-28T20:30:39,411 copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate 2024-12-28T20:30:39,414 creating build/lib/certora_cli/Shared 2024-12-28T20:30:39,415 copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared 2024-12-28T20:30:39,418 copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared 2024-12-28T20:30:39,420 copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared 2024-12-28T20:30:39,423 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2024-12-28T20:30:39,424 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2024-12-28T20:30:39,427 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2024-12-28T20:30:39,431 creating build/lib/certora_cli/EVMVerifier 2024-12-28T20:30:39,432 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:30:39,435 copying certora_cli/EVMVerifier/certoraContractFuncs.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:30:39,437 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:30:39,439 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:30:39,442 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:30:39,445 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:30:39,447 copying certora_cli/EVMVerifier/certoraBuildCacheManager.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:30:39,449 copying certora_cli/EVMVerifier/certoraBuildRust.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:30:39,451 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:30:39,453 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:30:39,456 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:30:39,459 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:30:39,461 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:30:39,467 copying certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:30:39,469 copying certora_cli/EVMVerifier/certoraParseBuildScript.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:30:39,471 copying certora_cli/EVMVerifier/certoraBuildDataClasses.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:30:39,473 copying certora_cli/EVMVerifier/certoraMiniSpecParser.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:30:39,476 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:30:39,478 copying certora_cli/EVMVerifier/certoraVerifyGenerator.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:30:39,481 copying certora_cli/EVMVerifier/certoraContextAttributes.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:30:39,484 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:30:39,487 copying certora_cli/EVMVerifier/certoraSourceFinders.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:30:39,490 creating build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:30:39,491 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:30:39,494 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:30:39,496 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:30:39,499 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:30:39,501 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:30:39,505 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:30:39,507 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:30:39,509 running egg_info 2024-12-28T20:30:39,537 writing certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/PKG-INFO 2024-12-28T20:30:39,540 writing dependency_links to certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/dependency_links.txt 2024-12-28T20:30:39,542 writing entry points to certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/entry_points.txt 2024-12-28T20:30:39,543 writing requirements to certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/requires.txt 2024-12-28T20:30:39,545 writing top-level names to certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/top_level.txt 2024-12-28T20:30:39,584 reading manifest file 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/SOURCES.txt' 2024-12-28T20:30:39,590 reading manifest template 'MANIFEST.in' 2024-12-28T20:30:39,594 warning: no files found matching 'gambit' under directory 'certora_bins' 2024-12-28T20:30:39,675 adding license file 'LICENSE' 2024-12-28T20:30:39,680 writing manifest file 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/SOURCES.txt' 2024-12-28T20:30:39,687 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2024-12-28T20:30:39,690 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2024-12-28T20:30:39,950 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:30:39,953 copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:30:39,955 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:30:39,957 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:30:39,959 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:30:39,961 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:30:39,994 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2024-12-28T20:30:39,995 !! 2024-12-28T20:30:39,996 ******************************************************************************** 2024-12-28T20:30:39,996 Please avoid running ``setup.py`` directly. 2024-12-28T20:30:39,997 Instead, use pypa/build, pypa/installer or other 2024-12-28T20:30:39,997 standards-based tools. 2024-12-28T20:30:39,998 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2024-12-28T20:30:39,999 ******************************************************************************** 2024-12-28T20:30:40,000 !! 2024-12-28T20:30:40,001 self.initialize_options() 2024-12-28T20:30:40,022 installing to build/bdist.linux-armv7l/wheel 2024-12-28T20:30:40,023 running install 2024-12-28T20:30:40,048 running install_lib 2024-12-28T20:30:40,075 creating build/bdist.linux-armv7l/wheel 2024-12-28T20:30:40,077 creating build/bdist.linux-armv7l/wheel/certora_bins 2024-12-28T20:30:40,079 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins 2024-12-28T20:30:40,081 creating build/bdist.linux-armv7l/wheel/certora_cli 2024-12-28T20:30:40,082 copying build/lib/certora_cli/certoraEVMProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:30:40,085 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2024-12-28T20:30:40,086 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:30:40,088 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:30:40,090 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:30:40,091 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:30:40,093 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:30:40,095 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:30:40,097 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:30:40,099 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:30:40,102 creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate 2024-12-28T20:30:40,103 copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-12-28T20:30:40,105 copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-12-28T20:30:40,107 copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-12-28T20:30:40,109 copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-12-28T20:30:40,113 copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-12-28T20:30:40,115 copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-12-28T20:30:40,118 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2024-12-28T20:30:40,119 copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-12-28T20:30:40,122 copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-12-28T20:30:40,126 copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-12-28T20:30:40,129 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-12-28T20:30:40,130 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-12-28T20:30:40,133 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-12-28T20:30:40,136 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:30:40,138 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:30:40,139 copying build/lib/certora_cli/rustMutator.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:30:40,142 copying build/lib/certora_cli/certoraSolanaProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:30:40,144 copying build/lib/certora_cli/certoraSorobanProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:30:40,146 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:30:40,149 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2024-12-28T20:30:40,150 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:30:40,153 copying build/lib/certora_cli/EVMVerifier/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:30:40,155 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:30:40,157 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:30:40,159 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:30:40,162 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:30:40,164 copying build/lib/certora_cli/EVMVerifier/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:30:40,166 copying build/lib/certora_cli/EVMVerifier/certoraBuildRust.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:30:40,168 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:30:40,170 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:30:40,173 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:30:40,176 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:30:40,178 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:30:40,184 copying build/lib/certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:30:40,186 copying build/lib/certora_cli/EVMVerifier/certoraParseBuildScript.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:30:40,187 copying build/lib/certora_cli/EVMVerifier/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:30:40,190 copying build/lib/certora_cli/EVMVerifier/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:30:40,193 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:30:40,195 copying build/lib/certora_cli/EVMVerifier/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:30:40,197 copying build/lib/certora_cli/EVMVerifier/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:30:40,201 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2024-12-28T20:30:40,202 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-12-28T20:30:40,205 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-12-28T20:30:40,207 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-12-28T20:30:40,209 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-12-28T20:30:40,211 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-12-28T20:30:40,214 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-12-28T20:30:40,216 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-12-28T20:30:40,218 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:30:40,220 copying build/lib/certora_cli/EVMVerifier/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:30:40,223 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:30:40,225 creating build/bdist.linux-armv7l/wheel/certora_jars 2024-12-28T20:30:40,226 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars 2024-12-28T20:30:40,228 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2024-12-28T20:30:40,495 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars 2024-12-28T20:30:40,496 running install_egg_info 2024-12-28T20:30:40,530 Copying certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.11.41.25008-py3.11.egg-info 2024-12-28T20:30:40,542 running install_scripts 2024-12-28T20:30:40,559 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.11.41.25008.dist-info/WHEEL 2024-12-28T20:30:40,562 creating '/tmp/pip-wheel-uwra24e0/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.11.41.25008-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2024-12-28T20:30:40,564 adding 'certora_bins/__init__.py' 2024-12-28T20:30:40,566 adding 'certora_cli/__init__.py' 2024-12-28T20:30:40,568 adding 'certora_cli/certoraEVMProver.py' 2024-12-28T20:30:40,569 adding 'certora_cli/certoraEqCheck.py' 2024-12-28T20:30:40,571 adding 'certora_cli/certoraMutate.py' 2024-12-28T20:30:40,573 adding 'certora_cli/certoraRun.py' 2024-12-28T20:30:40,575 adding 'certora_cli/certoraSolanaProver.py' 2024-12-28T20:30:40,577 adding 'certora_cli/certoraSorobanProver.py' 2024-12-28T20:30:40,579 adding 'certora_cli/rustMutator.py' 2024-12-28T20:30:40,582 adding 'certora_cli/EVMVerifier/__init__.py' 2024-12-28T20:30:40,605 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2024-12-28T20:30:40,609 adding 'certora_cli/EVMVerifier/certoraBuildCacheManager.py' 2024-12-28T20:30:40,611 adding 'certora_cli/EVMVerifier/certoraBuildDataClasses.py' 2024-12-28T20:30:40,613 adding 'certora_cli/EVMVerifier/certoraBuildRust.py' 2024-12-28T20:30:40,619 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2024-12-28T20:30:40,622 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2024-12-28T20:30:40,623 adding 'certora_cli/EVMVerifier/certoraCompilerParameters.py' 2024-12-28T20:30:40,625 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2024-12-28T20:30:40,628 adding 'certora_cli/EVMVerifier/certoraContext.py' 2024-12-28T20:30:40,633 adding 'certora_cli/EVMVerifier/certoraContextAttributes.py' 2024-12-28T20:30:40,635 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2024-12-28T20:30:40,640 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2024-12-28T20:30:40,642 adding 'certora_cli/EVMVerifier/certoraContractFuncs.py' 2024-12-28T20:30:40,643 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2024-12-28T20:30:40,645 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2024-12-28T20:30:40,648 adding 'certora_cli/EVMVerifier/certoraMiniSpecParser.py' 2024-12-28T20:30:40,649 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2024-12-28T20:30:40,651 adding 'certora_cli/EVMVerifier/certoraParseBuildScript.py' 2024-12-28T20:30:40,654 adding 'certora_cli/EVMVerifier/certoraSourceFinders.py' 2024-12-28T20:30:40,657 adding 'certora_cli/EVMVerifier/certoraType.py' 2024-12-28T20:30:40,659 adding 'certora_cli/EVMVerifier/certoraVerifyGenerator.py' 2024-12-28T20:30:40,662 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2024-12-28T20:30:40,664 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2024-12-28T20:30:40,665 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2024-12-28T20:30:40,667 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py' 2024-12-28T20:30:40,675 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2024-12-28T20:30:40,677 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py' 2024-12-28T20:30:40,678 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2024-12-28T20:30:40,680 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2024-12-28T20:30:40,682 adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec' 2024-12-28T20:30:40,683 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2024-12-28T20:30:40,685 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2024-12-28T20:30:40,686 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2024-12-28T20:30:40,687 adding 'certora_cli/EquivalenceCheck/__init__.py' 2024-12-28T20:30:40,690 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2024-12-28T20:30:40,692 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2024-12-28T20:30:40,694 adding 'certora_cli/Mutate/__init__.py' 2024-12-28T20:30:40,704 adding 'certora_cli/Mutate/mutateApp.py' 2024-12-28T20:30:40,706 adding 'certora_cli/Mutate/mutateAttributes.py' 2024-12-28T20:30:40,708 adding 'certora_cli/Mutate/mutateConstants.py' 2024-12-28T20:30:40,710 adding 'certora_cli/Mutate/mutateUtil.py' 2024-12-28T20:30:40,712 adding 'certora_cli/Mutate/mutateValidate.py' 2024-12-28T20:30:40,715 adding 'certora_cli/Shared/ExpectedComparator.py' 2024-12-28T20:30:40,716 adding 'certora_cli/Shared/__init__.py' 2024-12-28T20:30:40,718 adding 'certora_cli/Shared/certoraAttrUtil.py' 2024-12-28T20:30:40,721 adding 'certora_cli/Shared/certoraLogging.py' 2024-12-28T20:30:40,728 adding 'certora_cli/Shared/certoraUtils.py' 2024-12-28T20:30:40,733 adding 'certora_cli/Shared/certoraValidateFuncs.py' 2024-12-28T20:30:40,736 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2024-12-28T20:30:42,693 adding 'certora_jars/Typechecker.jar' 2024-12-28T20:30:42,798 adding 'certora_jars/__init__.py' 2024-12-28T20:30:42,800 adding 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.11.41.25008.dist-info/LICENSE' 2024-12-28T20:30:42,801 adding 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.11.41.25008.dist-info/METADATA' 2024-12-28T20:30:42,802 adding 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.11.41.25008.dist-info/WHEEL' 2024-12-28T20:30:42,804 adding 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.11.41.25008.dist-info/entry_points.txt' 2024-12-28T20:30:42,805 adding 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.11.41.25008.dist-info/top_level.txt' 2024-12-28T20:30:42,807 adding 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.11.41.25008.dist-info/RECORD' 2024-12-28T20:30:42,988 removing build/bdist.linux-armv7l/wheel 2024-12-28T20:30:43,126 Building wheel for certora-cli-alpha-niv-fix-path-in-soroban-entry (setup.py): finished with status 'done' 2024-12-28T20:30:43,282 Created wheel for certora-cli-alpha-niv-fix-path-in-soroban-entry: filename=certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.11.41.25008-py3-none-any.whl size=15641290 sha256=c9c04f7a862b6e163d4af4a5484ba464a6486b5b7800afd45b01075ae1bae95e 2024-12-28T20:30:43,284 Stored in directory: /tmp/pip-ephem-wheel-cache-o14ko5sh/wheels/8c/8e/08/a465c1d32cd74a1cdda1e8021b19b205fdf5eff373b4d8859f 2024-12-28T20:30:43,301 Successfully built certora-cli-alpha-niv-fix-path-in-soroban-entry 2024-12-28T20:30:43,664 Removed build tracker: '/tmp/pip-build-tracker-iizzj3rf'