2024-12-28T20:29:07,336 Created temporary directory: /tmp/pip-build-tracker-r5rfzei9 2024-12-28T20:29:07,337 Initialized build tracking at /tmp/pip-build-tracker-r5rfzei9 2024-12-28T20:29:07,338 Created build tracker: /tmp/pip-build-tracker-r5rfzei9 2024-12-28T20:29:07,338 Entered build tracker: /tmp/pip-build-tracker-r5rfzei9 2024-12-28T20:29:07,339 Created temporary directory: /tmp/pip-wheel-rpqycvmt 2024-12-28T20:29:07,343 Created temporary directory: /tmp/pip-ephem-wheel-cache-fecs085f 2024-12-28T20:29:07,389 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2024-12-28T20:29:07,392 2 location(s) to search for versions of certora-cli-alpha-niv-fix-path-in-soroban-entry: 2024-12-28T20:29:07,392 * https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:29:07,392 * https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:29:07,393 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:29:07,394 Getting page https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:29:07,395 Found index url https://pypi.org/simple/ 2024-12-28T20:29:07,542 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:29:07,548 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:29:07,549 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:29:07,549 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:29:07,550 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:29:07,551 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:29:07,552 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:29:07,552 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:29:07,553 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:29:07,555 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:29:07,555 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:29:07,556 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:29:07,556 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:29:07,557 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:29:07,558 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:29:07,559 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:29:07,560 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:29:07,560 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:29:07,561 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:29:07,562 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:29:07,563 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:29:07,563 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:29:07,564 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:29:07,564 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:29:07,565 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:29:07,566 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:29:07,567 Getting page https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:29:07,568 Found index url https://www.piwheels.org/simple/ 2024-12-28T20:29:07,726 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ as text/html 2024-12-28T20:29:07,729 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:29:07,729 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:29:07,730 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:29:07,731 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:29:07,731 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:29:07,732 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:29:07,751 Given no hashes to check 1 links for project 'certora-cli-alpha-niv-fix-path-in-soroban-entry': discarding no candidates 2024-12-28T20:29:07,753 Collecting certora-cli-alpha-niv-fix-path-in-soroban-entry==20241224.11.23.410711 2024-12-28T20:29:07,756 Created temporary directory: /tmp/pip-unpack-8eqxd30n 2024-12-28T20:29:08,037 Downloading certora_cli_alpha_niv_fix_path_in_soroban_entry-20241224.11.23.410711.tar.gz (15.6 MB) 2024-12-28T20:29:11,496 Added certora-cli-alpha-niv-fix-path-in-soroban-entry==20241224.11.23.410711 from https://files.pythonhosted.org/packages/c1/eb/4be1893ad5d1b0dddbd0eea2d3a9b9825b9856f81958be8d6f0c49235310/certora_cli_alpha_niv_fix_path_in_soroban_entry-20241224.11.23.410711.tar.gz to build tracker '/tmp/pip-build-tracker-r5rfzei9' 2024-12-28T20:29:11,497 Running setup.py (path:/tmp/pip-wheel-rpqycvmt/certora-cli-alpha-niv-fix-path-in-soroban-entry_e15b97887bbb4086a670aca0581527b2/setup.py) egg_info for package certora-cli-alpha-niv-fix-path-in-soroban-entry 2024-12-28T20:29:11,498 Created temporary directory: /tmp/pip-pip-egg-info-7xch4g__ 2024-12-28T20:29:11,499 Preparing metadata (setup.py): started 2024-12-28T20:29:11,500 Running command python setup.py egg_info 2024-12-28T20:29:12,549 running egg_info 2024-12-28T20:29:12,576 creating /tmp/pip-pip-egg-info-7xch4g__/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info 2024-12-28T20:29:12,577 writing /tmp/pip-pip-egg-info-7xch4g__/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/PKG-INFO 2024-12-28T20:29:12,580 writing dependency_links to /tmp/pip-pip-egg-info-7xch4g__/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/dependency_links.txt 2024-12-28T20:29:12,582 writing entry points to /tmp/pip-pip-egg-info-7xch4g__/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/entry_points.txt 2024-12-28T20:29:12,584 writing requirements to /tmp/pip-pip-egg-info-7xch4g__/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/requires.txt 2024-12-28T20:29:12,585 writing top-level names to /tmp/pip-pip-egg-info-7xch4g__/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/top_level.txt 2024-12-28T20:29:12,586 writing manifest file '/tmp/pip-pip-egg-info-7xch4g__/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/SOURCES.txt' 2024-12-28T20:29:12,681 reading manifest file '/tmp/pip-pip-egg-info-7xch4g__/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/SOURCES.txt' 2024-12-28T20:29:12,684 reading manifest template 'MANIFEST.in' 2024-12-28T20:29:12,688 warning: no files found matching 'gambit' under directory 'certora_bins' 2024-12-28T20:29:12,769 adding license file 'LICENSE' 2024-12-28T20:29:12,774 writing manifest file '/tmp/pip-pip-egg-info-7xch4g__/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/SOURCES.txt' 2024-12-28T20:29:12,881 Preparing metadata (setup.py): finished with status 'done' 2024-12-28T20:29:12,886 Source in /tmp/pip-wheel-rpqycvmt/certora-cli-alpha-niv-fix-path-in-soroban-entry_e15b97887bbb4086a670aca0581527b2 has version 20241224.11.23.410711, which satisfies requirement certora-cli-alpha-niv-fix-path-in-soroban-entry==20241224.11.23.410711 from https://files.pythonhosted.org/packages/c1/eb/4be1893ad5d1b0dddbd0eea2d3a9b9825b9856f81958be8d6f0c49235310/certora_cli_alpha_niv_fix_path_in_soroban_entry-20241224.11.23.410711.tar.gz 2024-12-28T20:29:12,887 Removed certora-cli-alpha-niv-fix-path-in-soroban-entry==20241224.11.23.410711 from https://files.pythonhosted.org/packages/c1/eb/4be1893ad5d1b0dddbd0eea2d3a9b9825b9856f81958be8d6f0c49235310/certora_cli_alpha_niv_fix_path_in_soroban_entry-20241224.11.23.410711.tar.gz from build tracker '/tmp/pip-build-tracker-r5rfzei9' 2024-12-28T20:29:12,893 Created temporary directory: /tmp/pip-unpack-vhelg_by 2024-12-28T20:29:12,894 Created temporary directory: /tmp/pip-unpack-f5wgnvmu 2024-12-28T20:29:12,895 Building wheels for collected packages: certora-cli-alpha-niv-fix-path-in-soroban-entry 2024-12-28T20:29:12,898 Created temporary directory: /tmp/pip-wheel-2g95_akd 2024-12-28T20:29:12,899 Building wheel for certora-cli-alpha-niv-fix-path-in-soroban-entry (setup.py): started 2024-12-28T20:29:12,900 Destination directory: /tmp/pip-wheel-2g95_akd 2024-12-28T20:29:12,901 Running command python setup.py bdist_wheel 2024-12-28T20:29:13,933 running bdist_wheel 2024-12-28T20:29:14,070 running build 2024-12-28T20:29:14,070 running build_py 2024-12-28T20:29:14,101 creating build/lib/certora_jars 2024-12-28T20:29:14,103 copying certora_jars/__init__.py -> build/lib/certora_jars 2024-12-28T20:29:14,105 creating build/lib/certora_bins 2024-12-28T20:29:14,106 copying certora_bins/__init__.py -> build/lib/certora_bins 2024-12-28T20:29:14,109 creating build/lib/certora_cli 2024-12-28T20:29:14,110 copying certora_cli/rustMutator.py -> build/lib/certora_cli 2024-12-28T20:29:14,113 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2024-12-28T20:29:14,115 copying certora_cli/certoraSorobanProver.py -> build/lib/certora_cli 2024-12-28T20:29:14,117 copying certora_cli/__init__.py -> build/lib/certora_cli 2024-12-28T20:29:14,118 copying certora_cli/certoraSolanaProver.py -> build/lib/certora_cli 2024-12-28T20:29:14,121 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2024-12-28T20:29:14,122 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2024-12-28T20:29:14,125 copying certora_cli/certoraEVMProver.py -> build/lib/certora_cli 2024-12-28T20:29:14,127 creating build/lib/certora_cli/Mutate 2024-12-28T20:29:14,128 copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate 2024-12-28T20:29:14,132 copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate 2024-12-28T20:29:14,134 copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate 2024-12-28T20:29:14,137 copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate 2024-12-28T20:29:14,139 copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate 2024-12-28T20:29:14,141 copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate 2024-12-28T20:29:14,144 creating build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:29:14,145 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:29:14,146 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:29:14,149 creating build/lib/certora_cli/Shared 2024-12-28T20:29:14,150 copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared 2024-12-28T20:29:14,153 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2024-12-28T20:29:14,155 copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared 2024-12-28T20:29:14,158 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2024-12-28T20:29:14,161 copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared 2024-12-28T20:29:14,163 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2024-12-28T20:29:14,167 creating build/lib/certora_cli/EVMVerifier 2024-12-28T20:29:14,168 copying certora_cli/EVMVerifier/certoraContextAttributes.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:29:14,172 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:29:14,178 copying certora_cli/EVMVerifier/certoraBuildCacheManager.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:29:14,180 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:29:14,185 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:29:14,186 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:29:14,189 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:29:14,192 copying certora_cli/EVMVerifier/certoraVerifyGenerator.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:29:14,195 copying certora_cli/EVMVerifier/certoraSourceFinders.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:29:14,197 copying certora_cli/EVMVerifier/certoraBuildDataClasses.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:29:14,200 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:29:14,203 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:29:14,206 copying certora_cli/EVMVerifier/certoraMiniSpecParser.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:29:14,209 copying certora_cli/EVMVerifier/certoraParseBuildScript.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:29:14,212 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:29:14,214 copying certora_cli/EVMVerifier/certoraContractFuncs.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:29:14,216 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:29:14,218 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:29:14,221 copying certora_cli/EVMVerifier/certoraBuildRust.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:29:14,223 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:29:14,226 copying certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:29:14,229 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:29:14,231 creating build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:29:14,232 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:29:14,235 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:29:14,238 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:29:14,239 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:29:14,241 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:29:14,243 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:29:14,247 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:29:14,249 running egg_info 2024-12-28T20:29:14,278 writing certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/PKG-INFO 2024-12-28T20:29:14,281 writing dependency_links to certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/dependency_links.txt 2024-12-28T20:29:14,282 writing entry points to certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/entry_points.txt 2024-12-28T20:29:14,283 writing requirements to certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/requires.txt 2024-12-28T20:29:14,285 writing top-level names to certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/top_level.txt 2024-12-28T20:29:14,325 reading manifest file 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/SOURCES.txt' 2024-12-28T20:29:14,330 reading manifest template 'MANIFEST.in' 2024-12-28T20:29:14,334 warning: no files found matching 'gambit' under directory 'certora_bins' 2024-12-28T20:29:14,416 adding license file 'LICENSE' 2024-12-28T20:29:14,421 writing manifest file 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/SOURCES.txt' 2024-12-28T20:29:14,428 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2024-12-28T20:29:14,430 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2024-12-28T20:29:14,695 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:29:14,698 copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:29:14,700 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:29:14,703 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:29:14,705 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:29:14,707 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:29:14,740 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2024-12-28T20:29:14,741 !! 2024-12-28T20:29:14,742 ******************************************************************************** 2024-12-28T20:29:14,742 Please avoid running ``setup.py`` directly. 2024-12-28T20:29:14,743 Instead, use pypa/build, pypa/installer or other 2024-12-28T20:29:14,744 standards-based tools. 2024-12-28T20:29:14,745 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2024-12-28T20:29:14,745 ******************************************************************************** 2024-12-28T20:29:14,747 !! 2024-12-28T20:29:14,747 self.initialize_options() 2024-12-28T20:29:14,770 installing to build/bdist.linux-armv7l/wheel 2024-12-28T20:29:14,770 running install 2024-12-28T20:29:14,796 running install_lib 2024-12-28T20:29:14,824 creating build/bdist.linux-armv7l/wheel 2024-12-28T20:29:14,826 creating build/bdist.linux-armv7l/wheel/certora_jars 2024-12-28T20:29:14,827 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars 2024-12-28T20:29:14,829 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2024-12-28T20:29:15,061 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars 2024-12-28T20:29:15,063 creating build/bdist.linux-armv7l/wheel/certora_bins 2024-12-28T20:29:15,064 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins 2024-12-28T20:29:15,067 creating build/bdist.linux-armv7l/wheel/certora_cli 2024-12-28T20:29:15,068 creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate 2024-12-28T20:29:15,069 copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-12-28T20:29:15,074 copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-12-28T20:29:15,076 copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-12-28T20:29:15,077 copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-12-28T20:29:15,079 copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-12-28T20:29:15,081 copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-12-28T20:29:15,083 copying build/lib/certora_cli/rustMutator.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:29:15,086 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:29:15,089 copying build/lib/certora_cli/certoraSorobanProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:29:15,091 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:29:15,092 copying build/lib/certora_cli/certoraSolanaProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:29:15,095 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2024-12-28T20:29:15,097 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:29:15,099 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:29:15,101 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:29:15,102 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:29:15,105 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:29:15,107 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:29:15,109 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:29:15,112 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:29:15,115 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2024-12-28T20:29:15,116 copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-12-28T20:29:15,119 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-12-28T20:29:15,121 copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-12-28T20:29:15,125 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-12-28T20:29:15,127 copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-12-28T20:29:15,130 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-12-28T20:29:15,135 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2024-12-28T20:29:15,136 copying build/lib/certora_cli/EVMVerifier/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:29:15,140 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:29:15,145 copying build/lib/certora_cli/EVMVerifier/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:29:15,148 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:29:15,150 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:29:15,152 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:29:15,155 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:29:15,158 copying build/lib/certora_cli/EVMVerifier/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:29:15,161 copying build/lib/certora_cli/EVMVerifier/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:29:15,163 copying build/lib/certora_cli/EVMVerifier/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:29:15,166 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:29:15,169 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:29:15,172 copying build/lib/certora_cli/EVMVerifier/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:29:15,174 copying build/lib/certora_cli/EVMVerifier/certoraParseBuildScript.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:29:15,177 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2024-12-28T20:29:15,179 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-12-28T20:29:15,181 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-12-28T20:29:15,184 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-12-28T20:29:15,186 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-12-28T20:29:15,188 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-12-28T20:29:15,191 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-12-28T20:29:15,194 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-12-28T20:29:15,197 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:29:15,199 copying build/lib/certora_cli/EVMVerifier/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:29:15,202 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:29:15,204 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:29:15,207 copying build/lib/certora_cli/EVMVerifier/certoraBuildRust.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:29:15,209 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:29:15,212 copying build/lib/certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:29:15,214 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:29:15,216 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:29:15,219 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:29:15,221 copying build/lib/certora_cli/certoraEVMProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:29:15,222 running install_egg_info 2024-12-28T20:29:15,256 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.23.410711-py3.11.egg-info 2024-12-28T20:29:15,269 running install_scripts 2024-12-28T20:29:15,285 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.11.23.410711.dist-info/WHEEL 2024-12-28T20:29:15,287 creating '/tmp/pip-wheel-2g95_akd/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.11.23.410711-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2024-12-28T20:29:15,290 adding 'certora_bins/__init__.py' 2024-12-28T20:29:15,292 adding 'certora_cli/__init__.py' 2024-12-28T20:29:15,294 adding 'certora_cli/certoraEVMProver.py' 2024-12-28T20:29:15,295 adding 'certora_cli/certoraEqCheck.py' 2024-12-28T20:29:15,297 adding 'certora_cli/certoraMutate.py' 2024-12-28T20:29:15,299 adding 'certora_cli/certoraRun.py' 2024-12-28T20:29:15,301 adding 'certora_cli/certoraSolanaProver.py' 2024-12-28T20:29:15,303 adding 'certora_cli/certoraSorobanProver.py' 2024-12-28T20:29:15,305 adding 'certora_cli/rustMutator.py' 2024-12-28T20:29:15,308 adding 'certora_cli/EVMVerifier/__init__.py' 2024-12-28T20:29:15,332 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2024-12-28T20:29:15,335 adding 'certora_cli/EVMVerifier/certoraBuildCacheManager.py' 2024-12-28T20:29:15,338 adding 'certora_cli/EVMVerifier/certoraBuildDataClasses.py' 2024-12-28T20:29:15,339 adding 'certora_cli/EVMVerifier/certoraBuildRust.py' 2024-12-28T20:29:15,346 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2024-12-28T20:29:15,348 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2024-12-28T20:29:15,350 adding 'certora_cli/EVMVerifier/certoraCompilerParameters.py' 2024-12-28T20:29:15,352 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2024-12-28T20:29:15,355 adding 'certora_cli/EVMVerifier/certoraContext.py' 2024-12-28T20:29:15,360 adding 'certora_cli/EVMVerifier/certoraContextAttributes.py' 2024-12-28T20:29:15,361 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2024-12-28T20:29:15,366 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2024-12-28T20:29:15,369 adding 'certora_cli/EVMVerifier/certoraContractFuncs.py' 2024-12-28T20:29:15,370 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2024-12-28T20:29:15,373 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2024-12-28T20:29:15,375 adding 'certora_cli/EVMVerifier/certoraMiniSpecParser.py' 2024-12-28T20:29:15,376 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2024-12-28T20:29:15,378 adding 'certora_cli/EVMVerifier/certoraParseBuildScript.py' 2024-12-28T20:29:15,380 adding 'certora_cli/EVMVerifier/certoraSourceFinders.py' 2024-12-28T20:29:15,384 adding 'certora_cli/EVMVerifier/certoraType.py' 2024-12-28T20:29:15,386 adding 'certora_cli/EVMVerifier/certoraVerifyGenerator.py' 2024-12-28T20:29:15,388 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2024-12-28T20:29:15,390 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2024-12-28T20:29:15,391 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2024-12-28T20:29:15,393 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py' 2024-12-28T20:29:15,400 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2024-12-28T20:29:15,402 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py' 2024-12-28T20:29:15,403 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2024-12-28T20:29:15,405 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2024-12-28T20:29:15,406 adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec' 2024-12-28T20:29:15,408 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2024-12-28T20:29:15,409 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2024-12-28T20:29:15,410 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2024-12-28T20:29:15,411 adding 'certora_cli/EquivalenceCheck/__init__.py' 2024-12-28T20:29:15,414 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2024-12-28T20:29:15,415 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2024-12-28T20:29:15,417 adding 'certora_cli/Mutate/__init__.py' 2024-12-28T20:29:15,426 adding 'certora_cli/Mutate/mutateApp.py' 2024-12-28T20:29:15,429 adding 'certora_cli/Mutate/mutateAttributes.py' 2024-12-28T20:29:15,430 adding 'certora_cli/Mutate/mutateConstants.py' 2024-12-28T20:29:15,431 adding 'certora_cli/Mutate/mutateUtil.py' 2024-12-28T20:29:15,433 adding 'certora_cli/Mutate/mutateValidate.py' 2024-12-28T20:29:15,436 adding 'certora_cli/Shared/ExpectedComparator.py' 2024-12-28T20:29:15,437 adding 'certora_cli/Shared/__init__.py' 2024-12-28T20:29:15,439 adding 'certora_cli/Shared/certoraAttrUtil.py' 2024-12-28T20:29:15,441 adding 'certora_cli/Shared/certoraLogging.py' 2024-12-28T20:29:15,448 adding 'certora_cli/Shared/certoraUtils.py' 2024-12-28T20:29:15,453 adding 'certora_cli/Shared/certoraValidateFuncs.py' 2024-12-28T20:29:15,456 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2024-12-28T20:29:17,402 adding 'certora_jars/Typechecker.jar' 2024-12-28T20:29:17,507 adding 'certora_jars/__init__.py' 2024-12-28T20:29:17,508 adding 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.11.23.410711.dist-info/LICENSE' 2024-12-28T20:29:17,509 adding 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.11.23.410711.dist-info/METADATA' 2024-12-28T20:29:17,510 adding 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.11.23.410711.dist-info/WHEEL' 2024-12-28T20:29:17,511 adding 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.11.23.410711.dist-info/entry_points.txt' 2024-12-28T20:29:17,512 adding 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.11.23.410711.dist-info/top_level.txt' 2024-12-28T20:29:17,513 adding 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.11.23.410711.dist-info/RECORD' 2024-12-28T20:29:17,676 removing build/bdist.linux-armv7l/wheel 2024-12-28T20:29:17,810 Building wheel for certora-cli-alpha-niv-fix-path-in-soroban-entry (setup.py): finished with status 'done' 2024-12-28T20:29:17,968 Created wheel for certora-cli-alpha-niv-fix-path-in-soroban-entry: filename=certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.11.23.410711-py3-none-any.whl size=15641325 sha256=cd09c520ee52d945261cd57103685843dd4e5058ece957315e3f768338db436e 2024-12-28T20:29:17,969 Stored in directory: /tmp/pip-ephem-wheel-cache-fecs085f/wheels/2f/a4/02/ef0291d5d669d59fbb8cc92f9ddaef9caf6d311b31eedbd843 2024-12-28T20:29:17,986 Successfully built certora-cli-alpha-niv-fix-path-in-soroban-entry 2024-12-28T20:29:18,367 Removed build tracker: '/tmp/pip-build-tracker-r5rfzei9'