2024-12-28T20:25:14,961 Created temporary directory: /tmp/pip-build-tracker-bwtac31p 2024-12-28T20:25:14,963 Initialized build tracking at /tmp/pip-build-tracker-bwtac31p 2024-12-28T20:25:14,963 Created build tracker: /tmp/pip-build-tracker-bwtac31p 2024-12-28T20:25:14,964 Entered build tracker: /tmp/pip-build-tracker-bwtac31p 2024-12-28T20:25:14,964 Created temporary directory: /tmp/pip-wheel-qdl98vmz 2024-12-28T20:25:14,968 Created temporary directory: /tmp/pip-ephem-wheel-cache-pbnb5tth 2024-12-28T20:25:15,012 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2024-12-28T20:25:15,015 2 location(s) to search for versions of certora-cli-alpha-niv-fix-path-in-soroban-entry: 2024-12-28T20:25:15,015 * https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:25:15,015 * https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:25:15,016 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:25:15,016 Getting page https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:25:15,018 Found index url https://pypi.org/simple/ 2024-12-28T20:25:15,165 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:25:15,171 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:25:15,171 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:25:15,172 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:25:15,173 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:25:15,174 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:25:15,174 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:25:15,175 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:25:15,176 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:25:15,177 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:25:15,177 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:25:15,177 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:25:15,178 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:25:15,179 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:25:15,179 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:25:15,180 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:25:15,181 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:25:15,181 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:25:15,182 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:25:15,183 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:25:15,184 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:25:15,184 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:25:15,185 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:25:15,185 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:25:15,186 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:25:15,187 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:25:15,188 Getting page https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:25:15,189 Found index url https://www.piwheels.org/simple/ 2024-12-28T20:25:15,355 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ as text/html 2024-12-28T20:25:15,357 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:25:15,358 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:25:15,358 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:25:15,359 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:25:15,359 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:25:15,379 Given no hashes to check 1 links for project 'certora-cli-alpha-niv-fix-path-in-soroban-entry': discarding no candidates 2024-12-28T20:25:15,381 Collecting certora-cli-alpha-niv-fix-path-in-soroban-entry==20241224.10.52.553813 2024-12-28T20:25:15,383 Created temporary directory: /tmp/pip-unpack-y1cvbqyo 2024-12-28T20:25:15,716 Downloading certora_cli_alpha_niv_fix_path_in_soroban_entry-20241224.10.52.553813.tar.gz (15.6 MB) 2024-12-28T20:25:19,524 Added certora-cli-alpha-niv-fix-path-in-soroban-entry==20241224.10.52.553813 from https://files.pythonhosted.org/packages/96/7c/49fcbfdfe09ac37eb3c168ebb95ed710380e0587a79cc9f58655af333833/certora_cli_alpha_niv_fix_path_in_soroban_entry-20241224.10.52.553813.tar.gz to build tracker '/tmp/pip-build-tracker-bwtac31p' 2024-12-28T20:25:19,526 Running setup.py (path:/tmp/pip-wheel-qdl98vmz/certora-cli-alpha-niv-fix-path-in-soroban-entry_edfe3a9bf8114f248b9b000d53980732/setup.py) egg_info for package certora-cli-alpha-niv-fix-path-in-soroban-entry 2024-12-28T20:25:19,527 Created temporary directory: /tmp/pip-pip-egg-info-9i0_j9ys 2024-12-28T20:25:19,527 Preparing metadata (setup.py): started 2024-12-28T20:25:19,529 Running command python setup.py egg_info 2024-12-28T20:25:20,578 running egg_info 2024-12-28T20:25:20,606 creating /tmp/pip-pip-egg-info-9i0_j9ys/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info 2024-12-28T20:25:20,607 writing /tmp/pip-pip-egg-info-9i0_j9ys/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/PKG-INFO 2024-12-28T20:25:20,610 writing dependency_links to /tmp/pip-pip-egg-info-9i0_j9ys/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/dependency_links.txt 2024-12-28T20:25:20,612 writing entry points to /tmp/pip-pip-egg-info-9i0_j9ys/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/entry_points.txt 2024-12-28T20:25:20,614 writing requirements to /tmp/pip-pip-egg-info-9i0_j9ys/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/requires.txt 2024-12-28T20:25:20,615 writing top-level names to /tmp/pip-pip-egg-info-9i0_j9ys/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/top_level.txt 2024-12-28T20:25:20,617 writing manifest file '/tmp/pip-pip-egg-info-9i0_j9ys/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/SOURCES.txt' 2024-12-28T20:25:20,714 reading manifest file '/tmp/pip-pip-egg-info-9i0_j9ys/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/SOURCES.txt' 2024-12-28T20:25:20,715 reading manifest template 'MANIFEST.in' 2024-12-28T20:25:20,719 warning: no files found matching 'gambit' under directory 'certora_bins' 2024-12-28T20:25:20,805 adding license file 'LICENSE' 2024-12-28T20:25:20,809 writing manifest file '/tmp/pip-pip-egg-info-9i0_j9ys/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/SOURCES.txt' 2024-12-28T20:25:20,917 Preparing metadata (setup.py): finished with status 'done' 2024-12-28T20:25:20,921 Source in /tmp/pip-wheel-qdl98vmz/certora-cli-alpha-niv-fix-path-in-soroban-entry_edfe3a9bf8114f248b9b000d53980732 has version 20241224.10.52.553813, which satisfies requirement certora-cli-alpha-niv-fix-path-in-soroban-entry==20241224.10.52.553813 from https://files.pythonhosted.org/packages/96/7c/49fcbfdfe09ac37eb3c168ebb95ed710380e0587a79cc9f58655af333833/certora_cli_alpha_niv_fix_path_in_soroban_entry-20241224.10.52.553813.tar.gz 2024-12-28T20:25:20,922 Removed certora-cli-alpha-niv-fix-path-in-soroban-entry==20241224.10.52.553813 from https://files.pythonhosted.org/packages/96/7c/49fcbfdfe09ac37eb3c168ebb95ed710380e0587a79cc9f58655af333833/certora_cli_alpha_niv_fix_path_in_soroban_entry-20241224.10.52.553813.tar.gz from build tracker '/tmp/pip-build-tracker-bwtac31p' 2024-12-28T20:25:20,929 Created temporary directory: /tmp/pip-unpack-h9j5rkt8 2024-12-28T20:25:20,930 Created temporary directory: /tmp/pip-unpack-rj16rh22 2024-12-28T20:25:20,931 Building wheels for collected packages: certora-cli-alpha-niv-fix-path-in-soroban-entry 2024-12-28T20:25:20,935 Created temporary directory: /tmp/pip-wheel-jwdb5le3 2024-12-28T20:25:20,935 Building wheel for certora-cli-alpha-niv-fix-path-in-soroban-entry (setup.py): started 2024-12-28T20:25:20,937 Destination directory: /tmp/pip-wheel-jwdb5le3 2024-12-28T20:25:20,937 Running command python setup.py bdist_wheel 2024-12-28T20:25:22,178 running bdist_wheel 2024-12-28T20:25:22,316 running build 2024-12-28T20:25:22,317 running build_py 2024-12-28T20:25:22,347 creating build/lib/certora_bins 2024-12-28T20:25:22,349 copying certora_bins/__init__.py -> build/lib/certora_bins 2024-12-28T20:25:22,352 creating build/lib/certora_cli 2024-12-28T20:25:22,353 copying certora_cli/certoraEVMProver.py -> build/lib/certora_cli 2024-12-28T20:25:22,355 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2024-12-28T20:25:22,357 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2024-12-28T20:25:22,359 copying certora_cli/certoraSorobanProver.py -> build/lib/certora_cli 2024-12-28T20:25:22,361 copying certora_cli/rustMutator.py -> build/lib/certora_cli 2024-12-28T20:25:22,363 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2024-12-28T20:25:22,366 copying certora_cli/__init__.py -> build/lib/certora_cli 2024-12-28T20:25:22,367 copying certora_cli/certoraSolanaProver.py -> build/lib/certora_cli 2024-12-28T20:25:22,370 creating build/lib/certora_jars 2024-12-28T20:25:22,372 copying certora_jars/__init__.py -> build/lib/certora_jars 2024-12-28T20:25:22,374 creating build/lib/certora_cli/EVMVerifier 2024-12-28T20:25:22,376 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:25:22,379 copying certora_cli/EVMVerifier/certoraParseBuildScript.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:25:22,381 copying certora_cli/EVMVerifier/certoraBuildCacheManager.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:25:22,383 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:25:22,387 copying certora_cli/EVMVerifier/certoraBuildDataClasses.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:25:22,390 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:25:22,392 copying certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:25:22,394 copying certora_cli/EVMVerifier/certoraBuildRust.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:25:22,396 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:25:22,399 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:25:22,402 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:25:22,444 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:25:22,446 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:25:22,449 copying certora_cli/EVMVerifier/certoraMiniSpecParser.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:25:22,451 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:25:22,454 copying certora_cli/EVMVerifier/certoraContextAttributes.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:25:22,457 copying certora_cli/EVMVerifier/certoraContractFuncs.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:25:22,459 copying certora_cli/EVMVerifier/certoraVerifyGenerator.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:25:22,461 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:25:22,463 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:25:22,465 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:25:22,466 copying certora_cli/EVMVerifier/certoraSourceFinders.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:25:22,470 creating build/lib/certora_cli/Shared 2024-12-28T20:25:22,471 copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared 2024-12-28T20:25:22,473 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2024-12-28T20:25:22,477 copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared 2024-12-28T20:25:22,479 copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared 2024-12-28T20:25:22,482 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2024-12-28T20:25:22,485 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2024-12-28T20:25:22,487 creating build/lib/certora_cli/Mutate 2024-12-28T20:25:22,488 copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate 2024-12-28T20:25:22,492 copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate 2024-12-28T20:25:22,494 copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate 2024-12-28T20:25:22,496 copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate 2024-12-28T20:25:22,498 copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate 2024-12-28T20:25:22,500 copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate 2024-12-28T20:25:22,503 creating build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:25:22,504 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:25:22,507 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:25:22,509 creating build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:25:22,511 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:25:22,514 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:25:22,515 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:25:22,518 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:25:22,520 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:25:22,523 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:25:22,525 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:25:22,527 running egg_info 2024-12-28T20:25:22,555 writing certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/PKG-INFO 2024-12-28T20:25:22,558 writing dependency_links to certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/dependency_links.txt 2024-12-28T20:25:22,559 writing entry points to certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/entry_points.txt 2024-12-28T20:25:22,561 writing requirements to certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/requires.txt 2024-12-28T20:25:22,562 writing top-level names to certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/top_level.txt 2024-12-28T20:25:22,602 reading manifest file 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/SOURCES.txt' 2024-12-28T20:25:22,607 reading manifest template 'MANIFEST.in' 2024-12-28T20:25:22,612 warning: no files found matching 'gambit' under directory 'certora_bins' 2024-12-28T20:25:22,713 adding license file 'LICENSE' 2024-12-28T20:25:22,718 writing manifest file 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/SOURCES.txt' 2024-12-28T20:25:22,725 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2024-12-28T20:25:22,727 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2024-12-28T20:25:22,988 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:25:22,990 copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:25:22,992 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:25:22,994 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:25:22,997 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:25:22,998 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:25:23,031 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2024-12-28T20:25:23,032 !! 2024-12-28T20:25:23,033 ******************************************************************************** 2024-12-28T20:25:23,033 Please avoid running ``setup.py`` directly. 2024-12-28T20:25:23,034 Instead, use pypa/build, pypa/installer or other 2024-12-28T20:25:23,034 standards-based tools. 2024-12-28T20:25:23,035 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2024-12-28T20:25:23,036 ******************************************************************************** 2024-12-28T20:25:23,037 !! 2024-12-28T20:25:23,038 self.initialize_options() 2024-12-28T20:25:23,059 installing to build/bdist.linux-armv7l/wheel 2024-12-28T20:25:23,059 running install 2024-12-28T20:25:23,084 running install_lib 2024-12-28T20:25:23,111 creating build/bdist.linux-armv7l/wheel 2024-12-28T20:25:23,113 creating build/bdist.linux-armv7l/wheel/certora_bins 2024-12-28T20:25:23,114 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins 2024-12-28T20:25:23,117 creating build/bdist.linux-armv7l/wheel/certora_cli 2024-12-28T20:25:23,119 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2024-12-28T20:25:23,120 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:25:23,123 copying build/lib/certora_cli/EVMVerifier/certoraParseBuildScript.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:25:23,125 copying build/lib/certora_cli/EVMVerifier/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:25:23,128 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:25:23,130 copying build/lib/certora_cli/EVMVerifier/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:25:23,132 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:25:23,134 copying build/lib/certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:25:23,136 copying build/lib/certora_cli/EVMVerifier/certoraBuildRust.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:25:23,138 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:25:23,140 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:25:23,144 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:25:23,151 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:25:23,153 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:25:23,156 copying build/lib/certora_cli/EVMVerifier/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:25:23,158 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:25:23,161 copying build/lib/certora_cli/EVMVerifier/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:25:23,165 copying build/lib/certora_cli/EVMVerifier/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:25:23,167 copying build/lib/certora_cli/EVMVerifier/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:25:23,170 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:25:23,173 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2024-12-28T20:25:23,174 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-12-28T20:25:23,177 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-12-28T20:25:23,179 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-12-28T20:25:23,181 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-12-28T20:25:23,184 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-12-28T20:25:23,188 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-12-28T20:25:23,190 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-12-28T20:25:23,192 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:25:23,194 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:25:23,196 copying build/lib/certora_cli/EVMVerifier/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:25:23,199 copying build/lib/certora_cli/certoraEVMProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:25:23,202 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2024-12-28T20:25:23,204 copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-12-28T20:25:23,206 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-12-28T20:25:23,210 copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-12-28T20:25:23,213 copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-12-28T20:25:23,216 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-12-28T20:25:23,219 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-12-28T20:25:23,221 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:25:23,224 creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate 2024-12-28T20:25:23,225 copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-12-28T20:25:23,230 copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-12-28T20:25:23,232 copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-12-28T20:25:23,234 copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-12-28T20:25:23,236 copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-12-28T20:25:23,238 copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-12-28T20:25:23,242 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2024-12-28T20:25:23,243 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:25:23,245 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:25:23,248 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:25:23,250 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:25:23,252 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:25:23,254 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:25:23,256 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:25:23,258 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:25:23,261 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:25:23,263 copying build/lib/certora_cli/certoraSorobanProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:25:23,265 copying build/lib/certora_cli/rustMutator.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:25:23,268 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:25:23,272 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:25:23,275 copying build/lib/certora_cli/certoraSolanaProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:25:23,278 creating build/bdist.linux-armv7l/wheel/certora_jars 2024-12-28T20:25:23,279 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars 2024-12-28T20:25:23,281 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2024-12-28T20:25:23,543 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars 2024-12-28T20:25:23,545 running install_egg_info 2024-12-28T20:25:23,579 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.10.52.553813-py3.11.egg-info 2024-12-28T20:25:23,590 running install_scripts 2024-12-28T20:25:23,606 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.10.52.553813.dist-info/WHEEL 2024-12-28T20:25:23,608 creating '/tmp/pip-wheel-jwdb5le3/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.10.52.553813-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2024-12-28T20:25:23,610 adding 'certora_bins/__init__.py' 2024-12-28T20:25:23,612 adding 'certora_cli/__init__.py' 2024-12-28T20:25:23,613 adding 'certora_cli/certoraEVMProver.py' 2024-12-28T20:25:23,614 adding 'certora_cli/certoraEqCheck.py' 2024-12-28T20:25:23,615 adding 'certora_cli/certoraMutate.py' 2024-12-28T20:25:23,617 adding 'certora_cli/certoraRun.py' 2024-12-28T20:25:23,619 adding 'certora_cli/certoraSolanaProver.py' 2024-12-28T20:25:23,620 adding 'certora_cli/certoraSorobanProver.py' 2024-12-28T20:25:23,622 adding 'certora_cli/rustMutator.py' 2024-12-28T20:25:23,624 adding 'certora_cli/EVMVerifier/__init__.py' 2024-12-28T20:25:23,648 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2024-12-28T20:25:23,651 adding 'certora_cli/EVMVerifier/certoraBuildCacheManager.py' 2024-12-28T20:25:23,653 adding 'certora_cli/EVMVerifier/certoraBuildDataClasses.py' 2024-12-28T20:25:23,654 adding 'certora_cli/EVMVerifier/certoraBuildRust.py' 2024-12-28T20:25:23,660 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2024-12-28T20:25:23,662 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2024-12-28T20:25:23,663 adding 'certora_cli/EVMVerifier/certoraCompilerParameters.py' 2024-12-28T20:25:23,665 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2024-12-28T20:25:23,668 adding 'certora_cli/EVMVerifier/certoraContext.py' 2024-12-28T20:25:23,672 adding 'certora_cli/EVMVerifier/certoraContextAttributes.py' 2024-12-28T20:25:23,673 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2024-12-28T20:25:23,678 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2024-12-28T20:25:23,680 adding 'certora_cli/EVMVerifier/certoraContractFuncs.py' 2024-12-28T20:25:23,681 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2024-12-28T20:25:23,683 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2024-12-28T20:25:23,685 adding 'certora_cli/EVMVerifier/certoraMiniSpecParser.py' 2024-12-28T20:25:23,686 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2024-12-28T20:25:23,688 adding 'certora_cli/EVMVerifier/certoraParseBuildScript.py' 2024-12-28T20:25:23,690 adding 'certora_cli/EVMVerifier/certoraSourceFinders.py' 2024-12-28T20:25:23,694 adding 'certora_cli/EVMVerifier/certoraType.py' 2024-12-28T20:25:23,696 adding 'certora_cli/EVMVerifier/certoraVerifyGenerator.py' 2024-12-28T20:25:23,698 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2024-12-28T20:25:23,699 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2024-12-28T20:25:23,701 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2024-12-28T20:25:23,702 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py' 2024-12-28T20:25:23,709 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2024-12-28T20:25:23,711 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py' 2024-12-28T20:25:23,712 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2024-12-28T20:25:23,714 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2024-12-28T20:25:23,716 adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec' 2024-12-28T20:25:23,717 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2024-12-28T20:25:23,719 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2024-12-28T20:25:23,720 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2024-12-28T20:25:23,721 adding 'certora_cli/EquivalenceCheck/__init__.py' 2024-12-28T20:25:23,724 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2024-12-28T20:25:23,726 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2024-12-28T20:25:23,727 adding 'certora_cli/Mutate/__init__.py' 2024-12-28T20:25:23,737 adding 'certora_cli/Mutate/mutateApp.py' 2024-12-28T20:25:23,739 adding 'certora_cli/Mutate/mutateAttributes.py' 2024-12-28T20:25:23,740 adding 'certora_cli/Mutate/mutateConstants.py' 2024-12-28T20:25:23,741 adding 'certora_cli/Mutate/mutateUtil.py' 2024-12-28T20:25:23,743 adding 'certora_cli/Mutate/mutateValidate.py' 2024-12-28T20:25:23,746 adding 'certora_cli/Shared/ExpectedComparator.py' 2024-12-28T20:25:23,747 adding 'certora_cli/Shared/__init__.py' 2024-12-28T20:25:23,748 adding 'certora_cli/Shared/certoraAttrUtil.py' 2024-12-28T20:25:23,750 adding 'certora_cli/Shared/certoraLogging.py' 2024-12-28T20:25:23,758 adding 'certora_cli/Shared/certoraUtils.py' 2024-12-28T20:25:23,762 adding 'certora_cli/Shared/certoraValidateFuncs.py' 2024-12-28T20:25:23,765 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2024-12-28T20:25:25,721 adding 'certora_jars/Typechecker.jar' 2024-12-28T20:25:25,826 adding 'certora_jars/__init__.py' 2024-12-28T20:25:25,827 adding 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.10.52.553813.dist-info/LICENSE' 2024-12-28T20:25:25,828 adding 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.10.52.553813.dist-info/METADATA' 2024-12-28T20:25:25,829 adding 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.10.52.553813.dist-info/WHEEL' 2024-12-28T20:25:25,830 adding 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.10.52.553813.dist-info/entry_points.txt' 2024-12-28T20:25:25,831 adding 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.10.52.553813.dist-info/top_level.txt' 2024-12-28T20:25:25,832 adding 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.10.52.553813.dist-info/RECORD' 2024-12-28T20:25:25,993 removing build/bdist.linux-armv7l/wheel 2024-12-28T20:25:26,132 Building wheel for certora-cli-alpha-niv-fix-path-in-soroban-entry (setup.py): finished with status 'done' 2024-12-28T20:25:26,288 Created wheel for certora-cli-alpha-niv-fix-path-in-soroban-entry: filename=certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.10.52.553813-py3-none-any.whl size=15641326 sha256=3fa9e1b50f0416f1752218808b034b68c7bf5cda2d37179804c30fda7397e4b9 2024-12-28T20:25:26,289 Stored in directory: /tmp/pip-ephem-wheel-cache-pbnb5tth/wheels/24/ac/c5/43d39f4f4172f6c2faaca84045315546366ec16493380673f1 2024-12-28T20:25:26,307 Successfully built certora-cli-alpha-niv-fix-path-in-soroban-entry 2024-12-28T20:25:26,688 Removed build tracker: '/tmp/pip-build-tracker-bwtac31p'