2024-12-28T20:21:16,959 Created temporary directory: /tmp/pip-build-tracker-co1yauq1 2024-12-28T20:21:16,961 Initialized build tracking at /tmp/pip-build-tracker-co1yauq1 2024-12-28T20:21:16,961 Created build tracker: /tmp/pip-build-tracker-co1yauq1 2024-12-28T20:21:16,962 Entered build tracker: /tmp/pip-build-tracker-co1yauq1 2024-12-28T20:21:16,963 Created temporary directory: /tmp/pip-wheel-27sqjjic 2024-12-28T20:21:16,967 Created temporary directory: /tmp/pip-ephem-wheel-cache-3d12yyh1 2024-12-28T20:21:17,010 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2024-12-28T20:21:17,013 2 location(s) to search for versions of certora-cli-alpha-niv-fix-path-in-soroban-entry: 2024-12-28T20:21:17,013 * https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:21:17,013 * https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:21:17,014 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:21:17,015 Getting page https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:21:17,016 Found index url https://pypi.org/simple/ 2024-12-28T20:21:17,162 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:21:17,168 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:21:17,169 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:21:17,169 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:21:17,170 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:21:17,171 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:21:17,171 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:21:17,172 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:21:17,173 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:21:17,173 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:21:17,174 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:21:17,174 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:21:17,175 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:21:17,176 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:21:17,176 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:21:17,177 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:21:17,178 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:21:17,179 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:21:17,179 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:21:17,180 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:21:17,181 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:21:17,182 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:21:17,182 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:21:17,183 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:21:17,184 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:21:17,185 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:21:17,185 Getting page https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:21:17,187 Found index url https://www.piwheels.org/simple/ 2024-12-28T20:21:17,350 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ as text/html 2024-12-28T20:21:17,351 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:21:17,352 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:21:17,353 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:21:17,354 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ 2024-12-28T20:21:17,373 Given no hashes to check 1 links for project 'certora-cli-alpha-niv-fix-path-in-soroban-entry': discarding no candidates 2024-12-28T20:21:17,375 Collecting certora-cli-alpha-niv-fix-path-in-soroban-entry==20241224.10.20.434362 2024-12-28T20:21:17,377 Created temporary directory: /tmp/pip-unpack-wyrdr1b7 2024-12-28T20:21:17,602 Downloading certora_cli_alpha_niv_fix_path_in_soroban_entry-20241224.10.20.434362.tar.gz (15.6 MB) 2024-12-28T20:21:21,207 Added certora-cli-alpha-niv-fix-path-in-soroban-entry==20241224.10.20.434362 from https://files.pythonhosted.org/packages/5b/b3/9ea56962558bde5f5d55d7284b3abc761ff79b13f2a8b45d79ed5237aa79/certora_cli_alpha_niv_fix_path_in_soroban_entry-20241224.10.20.434362.tar.gz to build tracker '/tmp/pip-build-tracker-co1yauq1' 2024-12-28T20:21:21,209 Running setup.py (path:/tmp/pip-wheel-27sqjjic/certora-cli-alpha-niv-fix-path-in-soroban-entry_faacad974b4048d0842171fe8d70fa3d/setup.py) egg_info for package certora-cli-alpha-niv-fix-path-in-soroban-entry 2024-12-28T20:21:21,210 Created temporary directory: /tmp/pip-pip-egg-info-kta2dho6 2024-12-28T20:21:21,211 Preparing metadata (setup.py): started 2024-12-28T20:21:21,212 Running command python setup.py egg_info 2024-12-28T20:21:22,289 running egg_info 2024-12-28T20:21:22,316 creating /tmp/pip-pip-egg-info-kta2dho6/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info 2024-12-28T20:21:22,317 writing /tmp/pip-pip-egg-info-kta2dho6/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/PKG-INFO 2024-12-28T20:21:22,320 writing dependency_links to /tmp/pip-pip-egg-info-kta2dho6/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/dependency_links.txt 2024-12-28T20:21:22,322 writing entry points to /tmp/pip-pip-egg-info-kta2dho6/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/entry_points.txt 2024-12-28T20:21:22,323 writing requirements to /tmp/pip-pip-egg-info-kta2dho6/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/requires.txt 2024-12-28T20:21:22,325 writing top-level names to /tmp/pip-pip-egg-info-kta2dho6/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/top_level.txt 2024-12-28T20:21:22,326 writing manifest file '/tmp/pip-pip-egg-info-kta2dho6/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/SOURCES.txt' 2024-12-28T20:21:22,422 reading manifest file '/tmp/pip-pip-egg-info-kta2dho6/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/SOURCES.txt' 2024-12-28T20:21:22,424 reading manifest template 'MANIFEST.in' 2024-12-28T20:21:22,428 warning: no files found matching 'gambit' under directory 'certora_bins' 2024-12-28T20:21:22,506 adding license file 'LICENSE' 2024-12-28T20:21:22,511 writing manifest file '/tmp/pip-pip-egg-info-kta2dho6/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/SOURCES.txt' 2024-12-28T20:21:22,621 Preparing metadata (setup.py): finished with status 'done' 2024-12-28T20:21:22,625 Source in /tmp/pip-wheel-27sqjjic/certora-cli-alpha-niv-fix-path-in-soroban-entry_faacad974b4048d0842171fe8d70fa3d has version 20241224.10.20.434362, which satisfies requirement certora-cli-alpha-niv-fix-path-in-soroban-entry==20241224.10.20.434362 from https://files.pythonhosted.org/packages/5b/b3/9ea56962558bde5f5d55d7284b3abc761ff79b13f2a8b45d79ed5237aa79/certora_cli_alpha_niv_fix_path_in_soroban_entry-20241224.10.20.434362.tar.gz 2024-12-28T20:21:22,626 Removed certora-cli-alpha-niv-fix-path-in-soroban-entry==20241224.10.20.434362 from https://files.pythonhosted.org/packages/5b/b3/9ea56962558bde5f5d55d7284b3abc761ff79b13f2a8b45d79ed5237aa79/certora_cli_alpha_niv_fix_path_in_soroban_entry-20241224.10.20.434362.tar.gz from build tracker '/tmp/pip-build-tracker-co1yauq1' 2024-12-28T20:21:22,633 Created temporary directory: /tmp/pip-unpack-_6wdw92s 2024-12-28T20:21:22,634 Created temporary directory: /tmp/pip-unpack-mwy3_1aw 2024-12-28T20:21:22,634 Building wheels for collected packages: certora-cli-alpha-niv-fix-path-in-soroban-entry 2024-12-28T20:21:22,638 Created temporary directory: /tmp/pip-wheel-l_kpr03d 2024-12-28T20:21:22,639 Building wheel for certora-cli-alpha-niv-fix-path-in-soroban-entry (setup.py): started 2024-12-28T20:21:22,640 Destination directory: /tmp/pip-wheel-l_kpr03d 2024-12-28T20:21:22,640 Running command python setup.py bdist_wheel 2024-12-28T20:21:23,671 running bdist_wheel 2024-12-28T20:21:23,806 running build 2024-12-28T20:21:23,807 running build_py 2024-12-28T20:21:23,838 creating build/lib/certora_cli 2024-12-28T20:21:23,840 copying certora_cli/certoraEVMProver.py -> build/lib/certora_cli 2024-12-28T20:21:23,842 copying certora_cli/__init__.py -> build/lib/certora_cli 2024-12-28T20:21:23,844 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2024-12-28T20:21:23,846 copying certora_cli/certoraSolanaProver.py -> build/lib/certora_cli 2024-12-28T20:21:23,848 copying certora_cli/certoraSorobanProver.py -> build/lib/certora_cli 2024-12-28T20:21:23,850 copying certora_cli/rustMutator.py -> build/lib/certora_cli 2024-12-28T20:21:23,852 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2024-12-28T20:21:23,854 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2024-12-28T20:21:23,857 creating build/lib/certora_jars 2024-12-28T20:21:23,858 copying certora_jars/__init__.py -> build/lib/certora_jars 2024-12-28T20:21:23,860 creating build/lib/certora_bins 2024-12-28T20:21:23,861 copying certora_bins/__init__.py -> build/lib/certora_bins 2024-12-28T20:21:23,863 creating build/lib/certora_cli/Mutate 2024-12-28T20:21:23,865 copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate 2024-12-28T20:21:23,866 copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate 2024-12-28T20:21:23,868 copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate 2024-12-28T20:21:23,870 copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate 2024-12-28T20:21:23,872 copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate 2024-12-28T20:21:23,875 copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate 2024-12-28T20:21:23,879 creating build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:21:23,880 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:21:23,882 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:21:23,885 creating build/lib/certora_cli/EVMVerifier 2024-12-28T20:21:23,886 copying certora_cli/EVMVerifier/certoraContractFuncs.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:21:23,889 copying certora_cli/EVMVerifier/certoraBuildRust.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:21:23,891 copying certora_cli/EVMVerifier/certoraBuildDataClasses.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:21:23,894 copying certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:21:23,895 copying certora_cli/EVMVerifier/certoraContextAttributes.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:21:23,899 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:21:23,901 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:21:23,902 copying certora_cli/EVMVerifier/certoraMiniSpecParser.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:21:23,905 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:21:23,908 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:21:23,911 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:21:23,913 copying certora_cli/EVMVerifier/certoraVerifyGenerator.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:21:23,915 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:21:23,918 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:21:23,921 copying certora_cli/EVMVerifier/certoraSourceFinders.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:21:23,924 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:21:23,926 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:21:23,928 copying certora_cli/EVMVerifier/certoraBuildCacheManager.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:21:23,931 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:21:23,936 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:21:23,938 copying certora_cli/EVMVerifier/certoraParseBuildScript.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:21:23,940 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2024-12-28T20:21:23,942 creating build/lib/certora_cli/Shared 2024-12-28T20:21:23,943 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2024-12-28T20:21:23,946 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2024-12-28T20:21:23,948 copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared 2024-12-28T20:21:23,951 copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared 2024-12-28T20:21:23,953 copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared 2024-12-28T20:21:23,956 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2024-12-28T20:21:23,959 creating build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:21:23,961 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:21:23,963 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:21:23,965 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:21:23,967 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:21:23,969 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:21:23,971 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:21:23,974 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-12-28T20:21:23,977 running egg_info 2024-12-28T20:21:24,004 writing certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/PKG-INFO 2024-12-28T20:21:24,008 writing dependency_links to certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/dependency_links.txt 2024-12-28T20:21:24,009 writing entry points to certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/entry_points.txt 2024-12-28T20:21:24,011 writing requirements to certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/requires.txt 2024-12-28T20:21:24,012 writing top-level names to certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/top_level.txt 2024-12-28T20:21:24,052 reading manifest file 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/SOURCES.txt' 2024-12-28T20:21:24,057 reading manifest template 'MANIFEST.in' 2024-12-28T20:21:24,061 warning: no files found matching 'gambit' under directory 'certora_bins' 2024-12-28T20:21:24,139 adding license file 'LICENSE' 2024-12-28T20:21:24,145 writing manifest file 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/SOURCES.txt' 2024-12-28T20:21:24,151 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2024-12-28T20:21:24,154 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2024-12-28T20:21:24,405 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:21:24,407 copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:21:24,410 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:21:24,412 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:21:24,415 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:21:24,418 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2024-12-28T20:21:24,451 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2024-12-28T20:21:24,451 !! 2024-12-28T20:21:24,452 ******************************************************************************** 2024-12-28T20:21:24,453 Please avoid running ``setup.py`` directly. 2024-12-28T20:21:24,453 Instead, use pypa/build, pypa/installer or other 2024-12-28T20:21:24,454 standards-based tools. 2024-12-28T20:21:24,455 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2024-12-28T20:21:24,455 ******************************************************************************** 2024-12-28T20:21:24,457 !! 2024-12-28T20:21:24,457 self.initialize_options() 2024-12-28T20:21:24,482 installing to build/bdist.linux-armv7l/wheel 2024-12-28T20:21:24,483 running install 2024-12-28T20:21:24,507 running install_lib 2024-12-28T20:21:24,535 creating build/bdist.linux-armv7l/wheel 2024-12-28T20:21:24,537 creating build/bdist.linux-armv7l/wheel/certora_cli 2024-12-28T20:21:24,539 creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate 2024-12-28T20:21:24,541 copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-12-28T20:21:24,543 copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-12-28T20:21:24,545 copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-12-28T20:21:24,547 copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-12-28T20:21:24,549 copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-12-28T20:21:24,552 copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-12-28T20:21:24,556 copying build/lib/certora_cli/certoraEVMProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:21:24,559 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2024-12-28T20:21:24,560 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:21:24,562 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:21:24,564 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:21:24,566 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:21:24,568 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:21:24,570 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:21:24,572 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:21:24,574 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-12-28T20:21:24,577 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:21:24,578 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:21:24,580 copying build/lib/certora_cli/certoraSolanaProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:21:24,584 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2024-12-28T20:21:24,585 copying build/lib/certora_cli/EVMVerifier/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:21:24,588 copying build/lib/certora_cli/EVMVerifier/certoraBuildRust.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:21:24,590 copying build/lib/certora_cli/EVMVerifier/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:21:24,592 copying build/lib/certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:21:24,595 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2024-12-28T20:21:24,596 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-12-28T20:21:24,599 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-12-28T20:21:24,601 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-12-28T20:21:24,603 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-12-28T20:21:24,606 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-12-28T20:21:24,608 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-12-28T20:21:24,610 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-12-28T20:21:24,614 copying build/lib/certora_cli/EVMVerifier/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:21:24,617 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:21:24,619 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:21:24,620 copying build/lib/certora_cli/EVMVerifier/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:21:24,623 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:21:24,625 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:21:24,628 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:21:24,630 copying build/lib/certora_cli/EVMVerifier/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:21:24,632 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:21:24,635 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:21:24,638 copying build/lib/certora_cli/EVMVerifier/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:21:24,640 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:21:24,643 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:21:24,645 copying build/lib/certora_cli/EVMVerifier/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:21:24,648 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:21:24,653 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:21:24,655 copying build/lib/certora_cli/EVMVerifier/certoraParseBuildScript.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:21:24,657 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-12-28T20:21:24,659 copying build/lib/certora_cli/certoraSorobanProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:21:24,661 copying build/lib/certora_cli/rustMutator.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:21:24,664 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:21:24,666 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-12-28T20:21:24,668 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2024-12-28T20:21:24,669 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-12-28T20:21:24,672 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-12-28T20:21:24,674 copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-12-28T20:21:24,676 copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-12-28T20:21:24,679 copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-12-28T20:21:24,681 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-12-28T20:21:24,684 creating build/bdist.linux-armv7l/wheel/certora_jars 2024-12-28T20:21:24,685 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars 2024-12-28T20:21:24,687 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2024-12-28T20:21:24,936 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars 2024-12-28T20:21:24,939 creating build/bdist.linux-armv7l/wheel/certora_bins 2024-12-28T20:21:24,940 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins 2024-12-28T20:21:24,941 running install_egg_info 2024-12-28T20:21:24,975 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.20.434362-py3.11.egg-info 2024-12-28T20:21:24,986 running install_scripts 2024-12-28T20:21:25,002 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.10.20.434362.dist-info/WHEEL 2024-12-28T20:21:25,005 creating '/tmp/pip-wheel-l_kpr03d/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.10.20.434362-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2024-12-28T20:21:25,007 adding 'certora_bins/__init__.py' 2024-12-28T20:21:25,009 adding 'certora_cli/__init__.py' 2024-12-28T20:21:25,010 adding 'certora_cli/certoraEVMProver.py' 2024-12-28T20:21:25,011 adding 'certora_cli/certoraEqCheck.py' 2024-12-28T20:21:25,012 adding 'certora_cli/certoraMutate.py' 2024-12-28T20:21:25,014 adding 'certora_cli/certoraRun.py' 2024-12-28T20:21:25,017 adding 'certora_cli/certoraSolanaProver.py' 2024-12-28T20:21:25,018 adding 'certora_cli/certoraSorobanProver.py' 2024-12-28T20:21:25,020 adding 'certora_cli/rustMutator.py' 2024-12-28T20:21:25,022 adding 'certora_cli/EVMVerifier/__init__.py' 2024-12-28T20:21:25,045 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2024-12-28T20:21:25,048 adding 'certora_cli/EVMVerifier/certoraBuildCacheManager.py' 2024-12-28T20:21:25,050 adding 'certora_cli/EVMVerifier/certoraBuildDataClasses.py' 2024-12-28T20:21:25,052 adding 'certora_cli/EVMVerifier/certoraBuildRust.py' 2024-12-28T20:21:25,058 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2024-12-28T20:21:25,060 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2024-12-28T20:21:25,061 adding 'certora_cli/EVMVerifier/certoraCompilerParameters.py' 2024-12-28T20:21:25,063 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2024-12-28T20:21:25,066 adding 'certora_cli/EVMVerifier/certoraContext.py' 2024-12-28T20:21:25,070 adding 'certora_cli/EVMVerifier/certoraContextAttributes.py' 2024-12-28T20:21:25,071 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2024-12-28T20:21:25,076 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2024-12-28T20:21:25,078 adding 'certora_cli/EVMVerifier/certoraContractFuncs.py' 2024-12-28T20:21:25,079 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2024-12-28T20:21:25,081 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2024-12-28T20:21:25,083 adding 'certora_cli/EVMVerifier/certoraMiniSpecParser.py' 2024-12-28T20:21:25,084 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2024-12-28T20:21:25,085 adding 'certora_cli/EVMVerifier/certoraParseBuildScript.py' 2024-12-28T20:21:25,088 adding 'certora_cli/EVMVerifier/certoraSourceFinders.py' 2024-12-28T20:21:25,091 adding 'certora_cli/EVMVerifier/certoraType.py' 2024-12-28T20:21:25,093 adding 'certora_cli/EVMVerifier/certoraVerifyGenerator.py' 2024-12-28T20:21:25,095 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2024-12-28T20:21:25,096 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2024-12-28T20:21:25,098 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2024-12-28T20:21:25,099 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py' 2024-12-28T20:21:25,107 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2024-12-28T20:21:25,108 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py' 2024-12-28T20:21:25,109 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2024-12-28T20:21:25,111 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2024-12-28T20:21:25,112 adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec' 2024-12-28T20:21:25,114 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2024-12-28T20:21:25,115 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2024-12-28T20:21:25,116 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2024-12-28T20:21:25,117 adding 'certora_cli/EquivalenceCheck/__init__.py' 2024-12-28T20:21:25,120 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2024-12-28T20:21:25,121 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2024-12-28T20:21:25,123 adding 'certora_cli/Mutate/__init__.py' 2024-12-28T20:21:25,132 adding 'certora_cli/Mutate/mutateApp.py' 2024-12-28T20:21:25,135 adding 'certora_cli/Mutate/mutateAttributes.py' 2024-12-28T20:21:25,136 adding 'certora_cli/Mutate/mutateConstants.py' 2024-12-28T20:21:25,137 adding 'certora_cli/Mutate/mutateUtil.py' 2024-12-28T20:21:25,139 adding 'certora_cli/Mutate/mutateValidate.py' 2024-12-28T20:21:25,142 adding 'certora_cli/Shared/ExpectedComparator.py' 2024-12-28T20:21:25,143 adding 'certora_cli/Shared/__init__.py' 2024-12-28T20:21:25,144 adding 'certora_cli/Shared/certoraAttrUtil.py' 2024-12-28T20:21:25,146 adding 'certora_cli/Shared/certoraLogging.py' 2024-12-28T20:21:25,154 adding 'certora_cli/Shared/certoraUtils.py' 2024-12-28T20:21:25,158 adding 'certora_cli/Shared/certoraValidateFuncs.py' 2024-12-28T20:21:25,161 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2024-12-28T20:21:27,091 adding 'certora_jars/Typechecker.jar' 2024-12-28T20:21:27,196 adding 'certora_jars/__init__.py' 2024-12-28T20:21:27,197 adding 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.10.20.434362.dist-info/LICENSE' 2024-12-28T20:21:27,198 adding 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.10.20.434362.dist-info/METADATA' 2024-12-28T20:21:27,199 adding 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.10.20.434362.dist-info/WHEEL' 2024-12-28T20:21:27,200 adding 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.10.20.434362.dist-info/entry_points.txt' 2024-12-28T20:21:27,201 adding 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.10.20.434362.dist-info/top_level.txt' 2024-12-28T20:21:27,203 adding 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.10.20.434362.dist-info/RECORD' 2024-12-28T20:21:27,374 removing build/bdist.linux-armv7l/wheel 2024-12-28T20:21:27,510 Building wheel for certora-cli-alpha-niv-fix-path-in-soroban-entry (setup.py): finished with status 'done' 2024-12-28T20:21:27,666 Created wheel for certora-cli-alpha-niv-fix-path-in-soroban-entry: filename=certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.10.20.434362-py3-none-any.whl size=15641277 sha256=9ae8230913eac9ea6a3fe0a30548a3108dacfb4e10aef3d35982e10ea40f5847 2024-12-28T20:21:27,667 Stored in directory: /tmp/pip-ephem-wheel-cache-3d12yyh1/wheels/34/1e/70/4f4eed004f338deb48ff993a656c1880e9b61cc0b7554cee43 2024-12-28T20:21:27,685 Successfully built certora-cli-alpha-niv-fix-path-in-soroban-entry 2024-12-28T20:21:28,071 Removed build tracker: '/tmp/pip-build-tracker-co1yauq1'