2024-12-28T20:16:26,845 Created temporary directory: /tmp/pip-build-tracker-zusvfzw6 2024-12-28T20:16:26,847 Initialized build tracking at /tmp/pip-build-tracker-zusvfzw6 2024-12-28T20:16:26,847 Created build tracker: /tmp/pip-build-tracker-zusvfzw6 2024-12-28T20:16:26,848 Entered build tracker: /tmp/pip-build-tracker-zusvfzw6 2024-12-28T20:16:26,849 Created temporary directory: /tmp/pip-wheel-boybv004 2024-12-28T20:16:26,853 Created temporary directory: /tmp/pip-ephem-wheel-cache-dypp5w_a 2024-12-28T20:16:26,897 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2024-12-28T20:16:26,900 2 location(s) to search for versions of certora-cli-alpha-niv-fix-path-in-soroban-entry: 2024-12-28T20:16:26,900 * https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:16:26,900 * https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:16:26,900 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:16:26,901 Getting page https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:16:26,903 Found index url https://pypi.org/simple/ 2024-12-28T20:16:27,127 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:16:27,133 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:16:27,133 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:16:27,134 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:16:27,135 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:16:27,136 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:16:27,137 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:16:27,137 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:16:27,138 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:16:27,140 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:16:27,140 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:16:27,141 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:16:27,141 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:16:27,142 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:16:27,143 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:16:27,143 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:16:27,144 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:16:27,145 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:16:27,146 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:16:27,146 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:16:27,147 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:16:27,148 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:16:27,149 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:16:27,149 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:16:27,150 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:16:27,151 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:16:27,152 Getting page https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:16:27,153 Found index url https://www.piwheels.org/simple/ 2024-12-28T20:16:27,316 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ as text/html 2024-12-28T20:16:27,318 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:16:27,318 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:16:27,319 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:16:27,344 Given no hashes to check 1 links for project 'certora-cli-alpha-niv-fix-path-in-soroban-entry': discarding no candidates 2024-12-28T20:16:27,347 Collecting certora-cli-alpha-niv-fix-path-in-soroban-entry==20241224.9.51.502742 2024-12-28T20:16:27,350 Created temporary directory: /tmp/pip-unpack-u10fbovn 2024-12-28T20:16:27,608 Downloading certora_cli_alpha_niv_fix_path_in_soroban_entry-20241224.9.51.502742.tar.gz (15.6 MB) 2024-12-28T20:16:31,751 Added certora-cli-alpha-niv-fix-path-in-soroban-entry==20241224.9.51.502742 from https://files.pythonhosted.org/packages/cd/0a/b56efab69b6a55c138b3abb5152655759b4d17ebf7934ae4f4116371772a/certora_cli_alpha_niv_fix_path_in_soroban_entry-20241224.9.51.502742.tar.gz to build tracker '/tmp/pip-build-tracker-zusvfzw6' 2024-12-28T20:16:31,753 Running setup.py (path:/tmp/pip-wheel-boybv004/certora-cli-alpha-niv-fix-path-in-soroban-entry_1ee04554d9334b2bb2bf49b50edf675e/setup.py) egg_info for package certora-cli-alpha-niv-fix-path-in-soroban-entry 2024-12-28T20:16:31,754 Created temporary directory: /tmp/pip-pip-egg-info-e8d50_n8 2024-12-28T20:16:31,754 Preparing metadata (setup.py): started 2024-12-28T20:16:31,756 Running command python setup.py egg_info 2024-12-28T20:16:32,804 running egg_info 2024-12-28T20:16:32,833 creating /tmp/pip-pip-egg-info-e8d50_n8/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info 2024-12-28T20:16:32,834 writing /tmp/pip-pip-egg-info-e8d50_n8/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/PKG-INFO 2024-12-28T20:16:32,838 writing dependency_links to /tmp/pip-pip-egg-info-e8d50_n8/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/dependency_links.txt 2024-12-28T20:16:32,839 writing entry points to /tmp/pip-pip-egg-info-e8d50_n8/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/entry_points.txt 2024-12-28T20:16:32,841 writing requirements to /tmp/pip-pip-egg-info-e8d50_n8/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/requires.txt 2024-12-28T20:16:32,842 writing top-level names to /tmp/pip-pip-egg-info-e8d50_n8/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/top_level.txt 2024-12-28T20:16:32,843 writing manifest file '/tmp/pip-pip-egg-info-e8d50_n8/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/SOURCES.txt' 2024-12-28T20:16:32,937 reading manifest file '/tmp/pip-pip-egg-info-e8d50_n8/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/SOURCES.txt' 2024-12-28T20:16:32,939 reading manifest template 'MANIFEST.in' 2024-12-28T20:16:32,943 warning: no files found matching 'gambit' under directory 'certora_bins' 2024-12-28T20:16:33,025 adding license file 'LICENSE' 2024-12-28T20:16:33,029 writing manifest file '/tmp/pip-pip-egg-info-e8d50_n8/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/SOURCES.txt' 2024-12-28T20:16:33,138 Preparing metadata (setup.py): finished with status 'done' 2024-12-28T20:16:33,142 Source in /tmp/pip-wheel-boybv004/certora-cli-alpha-niv-fix-path-in-soroban-entry_1ee04554d9334b2bb2bf49b50edf675e has version 20241224.9.51.502742, which satisfies requirement certora-cli-alpha-niv-fix-path-in-soroban-entry==20241224.9.51.502742 from https://files.pythonhosted.org/packages/cd/0a/b56efab69b6a55c138b3abb5152655759b4d17ebf7934ae4f4116371772a/certora_cli_alpha_niv_fix_path_in_soroban_entry-20241224.9.51.502742.tar.gz 2024-12-28T20:16:33,143 Removed certora-cli-alpha-niv-fix-path-in-soroban-entry==20241224.9.51.502742 from https://files.pythonhosted.org/packages/cd/0a/b56efab69b6a55c138b3abb5152655759b4d17ebf7934ae4f4116371772a/certora_cli_alpha_niv_fix_path_in_soroban_entry-20241224.9.51.502742.tar.gz from build tracker '/tmp/pip-build-tracker-zusvfzw6' 2024-12-28T20:16:33,150 Created temporary directory: /tmp/pip-unpack-nx8_y3xw 2024-12-28T20:16:33,151 Created temporary directory: /tmp/pip-unpack-pmj473_8 2024-12-28T20:16:33,152 Building wheels for collected packages: certora-cli-alpha-niv-fix-path-in-soroban-entry 2024-12-28T20:16:33,156 Created temporary directory: /tmp/pip-wheel-enaxpwb2 2024-12-28T20:16:33,156 Building wheel for certora-cli-alpha-niv-fix-path-in-soroban-entry (setup.py): started 2024-12-28T20:16:33,158 Destination directory: /tmp/pip-wheel-enaxpwb2 2024-12-28T20:16:33,158 Running command python setup.py bdist_wheel 2024-12-28T20:16:34,180 running bdist_wheel 2024-12-28T20:16:34,312 running build 2024-12-28T20:16:34,312 running build_py 2024-12-28T20:16:34,343 creating build/lib/certora_bins 2024-12-28T20:16:34,345 copying certora_bins/__init__.py -> build/lib/certora_bins 2024-12-28T20:16:34,347 creating build/lib/certora_jars 2024-12-28T20:16:34,348 copying certora_jars/__init__.py -> build/lib/certora_jars 2024-12-28T20:16:34,350 creating build/lib/certora_cli 2024-12-28T20:16:34,351 copying certora_cli/__init__.py -> build/lib/certora_cli 2024-12-28T20:16:34,353 copying certora_cli/certoraSorobanProver.py -> build/lib/certora_cli 2024-12-28T20:16:34,355 copying certora_cli/rustMutator.py -> build/lib/certora_cli 2024-12-28T20:16:34,357 copying certora_cli/certoraSolanaProver.py -> build/lib/certora_cli 2024-12-28T20:16:34,359 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2024-12-28T20:16:34,361 copying certora_cli/certoraEVMProver.py -> build/lib/certora_cli 2024-12-28T20:16:34,363 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2024-12-28T20:16:34,365 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2024-12-28T20:16:34,367 creating build/lib/certora_cli/Mutate 2024-12-28T20:16:34,369 copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate 2024-12-28T20:16:34,371 copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate 2024-12-28T20:16:34,374 copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate 2024-12-28T20:16:34,377 copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate 2024-12-28T20:16:34,378 copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate 2024-12-28T20:16:34,381 copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate 2024-12-28T20:16:34,383 creating build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:16:34,385 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:16:34,386 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:16:34,390 creating build/lib/certora_cli/Shared 2024-12-28T20:16:34,391 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2024-12-28T20:16:34,393 copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared 2024-12-28T20:16:34,395 copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared 2024-12-28T20:16:34,398 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2024-12-28T20:16:34,401 copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared 2024-12-28T20:16:34,403 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2024-12-28T20:16:34,407 creating build/lib/certora_cli/EVMVerifier 2024-12-28T20:16:34,408 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:16:34,411 copying certora_cli/EVMVerifier/certoraVerifyGenerator.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:16:34,413 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:16:34,415 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:16:34,417 copying certora_cli/EVMVerifier/certoraSourceFinders.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:16:34,419 copying certora_cli/EVMVerifier/certoraBuildRust.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:16:34,421 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:16:34,423 copying certora_cli/EVMVerifier/certoraBuildCacheManager.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:16:34,426 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:16:34,427 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:16:34,429 copying certora_cli/EVMVerifier/certoraContextAttributes.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:16:34,432 copying certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:16:34,434 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:16:34,439 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:16:34,442 copying certora_cli/EVMVerifier/certoraParseBuildScript.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:16:34,444 copying certora_cli/EVMVerifier/certoraContractFuncs.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:16:34,446 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:16:34,449 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:16:34,451 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:16:34,454 copying certora_cli/EVMVerifier/certoraMiniSpecParser.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:16:34,456 copying certora_cli/EVMVerifier/certoraBuildDataClasses.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:16:34,459 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:16:34,461 creating build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:16:34,462 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:16:34,465 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:16:34,467 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:16:34,469 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:16:34,473 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:16:34,475 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:16:34,477 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:16:34,479 running egg_info 2024-12-28T20:16:34,506 writing certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/PKG-INFO 2024-12-28T20:16:34,509 writing dependency_links to certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/dependency_links.txt 2024-12-28T20:16:34,510 writing entry points to certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/entry_points.txt 2024-12-28T20:16:34,512 writing requirements to certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/requires.txt 2024-12-28T20:16:34,513 writing top-level names to certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/top_level.txt 2024-12-28T20:16:34,553 reading manifest file 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/SOURCES.txt' 2024-12-28T20:16:34,559 reading manifest template 'MANIFEST.in' 2024-12-28T20:16:34,563 warning: no files found matching 'gambit' under directory 'certora_bins' 2024-12-28T20:16:34,646 adding license file 'LICENSE' 2024-12-28T20:16:34,651 writing manifest file 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/SOURCES.txt' 2024-12-28T20:16:34,658 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2024-12-28T20:16:34,661 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2024-12-28T20:16:34,898 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:16:34,901 copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:16:34,903 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:16:34,906 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:16:34,908 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:16:34,910 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:16:34,943 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2024-12-28T20:16:34,944 !! 2024-12-28T20:16:34,945 ******************************************************************************** 2024-12-28T20:16:34,946 Please avoid running ``setup.py`` directly. 2024-12-28T20:16:34,946 Instead, use pypa/build, pypa/installer or other 2024-12-28T20:16:34,947 standards-based tools. 2024-12-28T20:16:34,948 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2024-12-28T20:16:34,948 ******************************************************************************** 2024-12-28T20:16:34,949 !! 2024-12-28T20:16:34,950 self.initialize_options() 2024-12-28T20:16:34,975 installing to build/bdist.linux-armv7l/wheel 2024-12-28T20:16:34,976 running install 2024-12-28T20:16:35,001 running install_lib 2024-12-28T20:16:35,031 creating build/bdist.linux-armv7l/wheel 2024-12-28T20:16:35,034 creating build/bdist.linux-armv7l/wheel/certora_bins 2024-12-28T20:16:35,035 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins 2024-12-28T20:16:35,038 creating build/bdist.linux-armv7l/wheel/certora_jars 2024-12-28T20:16:35,039 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars 2024-12-28T20:16:35,041 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars 2024-12-28T20:16:35,043 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2024-12-28T20:16:35,299 creating build/bdist.linux-armv7l/wheel/certora_cli 2024-12-28T20:16:35,301 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:16:35,302 copying build/lib/certora_cli/certoraSorobanProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:16:35,305 creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate 2024-12-28T20:16:35,306 copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-12-28T20:16:35,308 copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-12-28T20:16:35,312 copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-12-28T20:16:35,315 copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-12-28T20:16:35,317 copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-12-28T20:16:35,319 copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-12-28T20:16:35,321 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2024-12-28T20:16:35,322 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:16:35,324 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:16:35,326 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:16:35,328 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:16:35,331 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:16:35,332 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:16:35,334 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:16:35,336 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:16:35,338 copying build/lib/certora_cli/rustMutator.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:16:35,341 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2024-12-28T20:16:35,342 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-12-28T20:16:35,343 copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-12-28T20:16:35,346 copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-12-28T20:16:35,350 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-12-28T20:16:35,352 copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-12-28T20:16:35,354 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-12-28T20:16:35,359 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2024-12-28T20:16:35,360 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:16:35,362 copying build/lib/certora_cli/EVMVerifier/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:16:35,365 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:16:35,367 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:16:35,369 copying build/lib/certora_cli/EVMVerifier/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:16:35,371 copying build/lib/certora_cli/EVMVerifier/certoraBuildRust.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:16:35,374 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:16:35,376 copying build/lib/certora_cli/EVMVerifier/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:16:35,379 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:16:35,381 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:16:35,382 copying build/lib/certora_cli/EVMVerifier/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:16:35,386 copying build/lib/certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:16:35,387 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:16:35,394 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:16:35,397 copying build/lib/certora_cli/EVMVerifier/certoraParseBuildScript.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:16:35,400 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2024-12-28T20:16:35,401 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-12-28T20:16:35,403 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-12-28T20:16:35,406 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-12-28T20:16:35,409 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-12-28T20:16:35,412 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-12-28T20:16:35,414 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-12-28T20:16:35,416 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-12-28T20:16:35,418 copying build/lib/certora_cli/EVMVerifier/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:16:35,420 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:16:35,423 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:16:35,426 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:16:35,429 copying build/lib/certora_cli/EVMVerifier/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:16:35,431 copying build/lib/certora_cli/EVMVerifier/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:16:35,433 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:16:35,435 copying build/lib/certora_cli/certoraSolanaProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:16:35,438 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:16:35,440 copying build/lib/certora_cli/certoraEVMProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:16:35,442 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:16:35,443 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:16:35,445 running install_egg_info 2024-12-28T20:16:35,479 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.9.51.502742-py3.11.egg-info 2024-12-28T20:16:35,490 running install_scripts 2024-12-28T20:16:35,506 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.9.51.502742.dist-info/WHEEL 2024-12-28T20:16:35,508 creating '/tmp/pip-wheel-enaxpwb2/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.9.51.502742-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2024-12-28T20:16:35,510 adding 'certora_bins/__init__.py' 2024-12-28T20:16:35,512 adding 'certora_cli/__init__.py' 2024-12-28T20:16:35,513 adding 'certora_cli/certoraEVMProver.py' 2024-12-28T20:16:35,514 adding 'certora_cli/certoraEqCheck.py' 2024-12-28T20:16:35,516 adding 'certora_cli/certoraMutate.py' 2024-12-28T20:16:35,518 adding 'certora_cli/certoraRun.py' 2024-12-28T20:16:35,520 adding 'certora_cli/certoraSolanaProver.py' 2024-12-28T20:16:35,521 adding 'certora_cli/certoraSorobanProver.py' 2024-12-28T20:16:35,523 adding 'certora_cli/rustMutator.py' 2024-12-28T20:16:35,525 adding 'certora_cli/EVMVerifier/__init__.py' 2024-12-28T20:16:35,549 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2024-12-28T20:16:35,552 adding 'certora_cli/EVMVerifier/certoraBuildCacheManager.py' 2024-12-28T20:16:35,554 adding 'certora_cli/EVMVerifier/certoraBuildDataClasses.py' 2024-12-28T20:16:35,555 adding 'certora_cli/EVMVerifier/certoraBuildRust.py' 2024-12-28T20:16:35,562 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2024-12-28T20:16:35,564 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2024-12-28T20:16:35,565 adding 'certora_cli/EVMVerifier/certoraCompilerParameters.py' 2024-12-28T20:16:35,567 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2024-12-28T20:16:35,570 adding 'certora_cli/EVMVerifier/certoraContext.py' 2024-12-28T20:16:35,574 adding 'certora_cli/EVMVerifier/certoraContextAttributes.py' 2024-12-28T20:16:35,575 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2024-12-28T20:16:35,580 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2024-12-28T20:16:35,581 adding 'certora_cli/EVMVerifier/certoraContractFuncs.py' 2024-12-28T20:16:35,583 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2024-12-28T20:16:35,584 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2024-12-28T20:16:35,586 adding 'certora_cli/EVMVerifier/certoraMiniSpecParser.py' 2024-12-28T20:16:35,587 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2024-12-28T20:16:35,589 adding 'certora_cli/EVMVerifier/certoraParseBuildScript.py' 2024-12-28T20:16:35,591 adding 'certora_cli/EVMVerifier/certoraSourceFinders.py' 2024-12-28T20:16:35,594 adding 'certora_cli/EVMVerifier/certoraType.py' 2024-12-28T20:16:35,596 adding 'certora_cli/EVMVerifier/certoraVerifyGenerator.py' 2024-12-28T20:16:35,598 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2024-12-28T20:16:35,599 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2024-12-28T20:16:35,601 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2024-12-28T20:16:35,602 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py' 2024-12-28T20:16:35,609 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2024-12-28T20:16:35,611 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py' 2024-12-28T20:16:35,612 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2024-12-28T20:16:35,614 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2024-12-28T20:16:35,615 adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec' 2024-12-28T20:16:35,617 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2024-12-28T20:16:35,618 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2024-12-28T20:16:35,619 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2024-12-28T20:16:35,620 adding 'certora_cli/EquivalenceCheck/__init__.py' 2024-12-28T20:16:35,623 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2024-12-28T20:16:35,624 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2024-12-28T20:16:35,626 adding 'certora_cli/Mutate/__init__.py' 2024-12-28T20:16:35,636 adding 'certora_cli/Mutate/mutateApp.py' 2024-12-28T20:16:35,638 adding 'certora_cli/Mutate/mutateAttributes.py' 2024-12-28T20:16:35,639 adding 'certora_cli/Mutate/mutateConstants.py' 2024-12-28T20:16:35,641 adding 'certora_cli/Mutate/mutateUtil.py' 2024-12-28T20:16:35,643 adding 'certora_cli/Mutate/mutateValidate.py' 2024-12-28T20:16:35,645 adding 'certora_cli/Shared/ExpectedComparator.py' 2024-12-28T20:16:35,647 adding 'certora_cli/Shared/__init__.py' 2024-12-28T20:16:35,648 adding 'certora_cli/Shared/certoraAttrUtil.py' 2024-12-28T20:16:35,650 adding 'certora_cli/Shared/certoraLogging.py' 2024-12-28T20:16:35,658 adding 'certora_cli/Shared/certoraUtils.py' 2024-12-28T20:16:35,663 adding 'certora_cli/Shared/certoraValidateFuncs.py' 2024-12-28T20:16:35,666 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2024-12-28T20:16:37,599 adding 'certora_jars/Typechecker.jar' 2024-12-28T20:16:37,704 adding 'certora_jars/__init__.py' 2024-12-28T20:16:37,705 adding 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.9.51.502742.dist-info/LICENSE' 2024-12-28T20:16:37,706 adding 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.9.51.502742.dist-info/METADATA' 2024-12-28T20:16:37,707 adding 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.9.51.502742.dist-info/WHEEL' 2024-12-28T20:16:37,708 adding 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.9.51.502742.dist-info/entry_points.txt' 2024-12-28T20:16:37,709 adding 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.9.51.502742.dist-info/top_level.txt' 2024-12-28T20:16:37,710 adding 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.9.51.502742.dist-info/RECORD' 2024-12-28T20:16:37,877 removing build/bdist.linux-armv7l/wheel 2024-12-28T20:16:38,011 Building wheel for certora-cli-alpha-niv-fix-path-in-soroban-entry (setup.py): finished with status 'done' 2024-12-28T20:16:38,167 Created wheel for certora-cli-alpha-niv-fix-path-in-soroban-entry: filename=certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.9.51.502742-py3-none-any.whl size=15641254 sha256=afa328666ff4d6ac39ceb583b0b40efcf8b9ff9db7a7ebc9a1f665a173c69db8 2024-12-28T20:16:38,169 Stored in directory: /tmp/pip-ephem-wheel-cache-dypp5w_a/wheels/70/9b/76/53c40ab3359b28ff55909d3af3e1c181a936e56b6092c0cc9d 2024-12-28T20:16:38,185 Successfully built certora-cli-alpha-niv-fix-path-in-soroban-entry 2024-12-28T20:16:38,570 Removed build tracker: '/tmp/pip-build-tracker-zusvfzw6'