2024-12-28T20:11:53,244 Created temporary directory: /tmp/pip-build-tracker-o4tn7180
2024-12-28T20:11:53,245 Initialized build tracking at /tmp/pip-build-tracker-o4tn7180
2024-12-28T20:11:53,246 Created build tracker: /tmp/pip-build-tracker-o4tn7180
2024-12-28T20:11:53,246 Entered build tracker: /tmp/pip-build-tracker-o4tn7180
2024-12-28T20:11:53,247 Created temporary directory: /tmp/pip-wheel-cecipybh
2024-12-28T20:11:53,251 Created temporary directory: /tmp/pip-ephem-wheel-cache-iiv5lk6o
2024-12-28T20:11:53,297 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2024-12-28T20:11:53,300 2 location(s) to search for versions of certora-cli-alpha-niv-fix-path-in-soroban-entry:
2024-12-28T20:11:53,300 * https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/
2024-12-28T20:11:53,300 * https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/
2024-12-28T20:11:53,301 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/
2024-12-28T20:11:53,302 Getting page https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/
2024-12-28T20:11:53,303 Found index url https://pypi.org/simple/
2024-12-28T20:11:53,630 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:11:53,639   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:11:53,640   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:11:53,641   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:11:53,642   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:11:53,643   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:11:53,643   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:11:53,644   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:11:53,645   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:11:53,647   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:11:53,647   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:11:53,648   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:11:53,649   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:11:53,650   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:11:53,650   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:11:53,651   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:11:53,652   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:11:53,653   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:11:53,654   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:11:53,655   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:11:53,656   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:11:53,657   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:11:53,657   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:11:53,658   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:11:53,659   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:11:53,660 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/
2024-12-28T20:11:53,661 Getting page https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/
2024-12-28T20:11:53,663 Found index url https://www.piwheels.org/simple/
2024-12-28T20:11:53,860 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/ as text/html
2024-12-28T20:11:53,861 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/
2024-12-28T20:11:53,862 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-niv-fix-path-in-soroban-entry/
2024-12-28T20:11:53,881 Given no hashes to check 1 links for project 'certora-cli-alpha-niv-fix-path-in-soroban-entry': discarding no candidates
2024-12-28T20:11:53,883 Collecting certora-cli-alpha-niv-fix-path-in-soroban-entry==20241224.9.13.2229
2024-12-28T20:11:53,886   Created temporary directory: /tmp/pip-unpack-8vo1twxn
2024-12-28T20:11:54,028   Downloading certora_cli_alpha_niv_fix_path_in_soroban_entry-20241224.9.13.2229.tar.gz (15.6 MB)
2024-12-28T20:11:57,515   Added certora-cli-alpha-niv-fix-path-in-soroban-entry==20241224.9.13.2229 from https://files.pythonhosted.org/packages/3a/e7/26b6b491938e11b45892aedd9e2ab3726aba67631a5a494225b27f952b25/certora_cli_alpha_niv_fix_path_in_soroban_entry-20241224.9.13.2229.tar.gz to build tracker '/tmp/pip-build-tracker-o4tn7180'
2024-12-28T20:11:57,517   Running setup.py (path:/tmp/pip-wheel-cecipybh/certora-cli-alpha-niv-fix-path-in-soroban-entry_02ed1bf90a3946998eef146647d6690d/setup.py) egg_info for package certora-cli-alpha-niv-fix-path-in-soroban-entry
2024-12-28T20:11:57,518   Created temporary directory: /tmp/pip-pip-egg-info-5vzduhkw
2024-12-28T20:11:57,519   Preparing metadata (setup.py): started
2024-12-28T20:11:57,520   Running command python setup.py egg_info
2024-12-28T20:11:58,594   /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:337: InformationOnly: Normalizing '20241224.9.13.002229' to '20241224.9.13.2229'
2024-12-28T20:11:58,594     self.metadata.version = self._normalize_version(self.metadata.version)
2024-12-28T20:11:58,629   running egg_info
2024-12-28T20:11:58,657   creating /tmp/pip-pip-egg-info-5vzduhkw/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info
2024-12-28T20:11:58,659   writing /tmp/pip-pip-egg-info-5vzduhkw/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/PKG-INFO
2024-12-28T20:11:58,663   writing dependency_links to /tmp/pip-pip-egg-info-5vzduhkw/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/dependency_links.txt
2024-12-28T20:11:58,669   writing entry points to /tmp/pip-pip-egg-info-5vzduhkw/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/entry_points.txt
2024-12-28T20:11:58,675   writing requirements to /tmp/pip-pip-egg-info-5vzduhkw/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/requires.txt
2024-12-28T20:11:58,679   writing top-level names to /tmp/pip-pip-egg-info-5vzduhkw/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/top_level.txt
2024-12-28T20:11:58,684   writing manifest file '/tmp/pip-pip-egg-info-5vzduhkw/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/SOURCES.txt'
2024-12-28T20:11:58,791   reading manifest file '/tmp/pip-pip-egg-info-5vzduhkw/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/SOURCES.txt'
2024-12-28T20:11:58,793   reading manifest template 'MANIFEST.in'
2024-12-28T20:11:58,797   warning: no files found matching 'gambit' under directory 'certora_bins'
2024-12-28T20:11:58,887   adding license file 'LICENSE'
2024-12-28T20:11:58,891   writing manifest file '/tmp/pip-pip-egg-info-5vzduhkw/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/SOURCES.txt'
2024-12-28T20:11:58,999   Preparing metadata (setup.py): finished with status 'done'
2024-12-28T20:11:59,003   Source in /tmp/pip-wheel-cecipybh/certora-cli-alpha-niv-fix-path-in-soroban-entry_02ed1bf90a3946998eef146647d6690d has version 20241224.9.13.2229, which satisfies requirement certora-cli-alpha-niv-fix-path-in-soroban-entry==20241224.9.13.2229 from https://files.pythonhosted.org/packages/3a/e7/26b6b491938e11b45892aedd9e2ab3726aba67631a5a494225b27f952b25/certora_cli_alpha_niv_fix_path_in_soroban_entry-20241224.9.13.2229.tar.gz
2024-12-28T20:11:59,004   Removed certora-cli-alpha-niv-fix-path-in-soroban-entry==20241224.9.13.2229 from https://files.pythonhosted.org/packages/3a/e7/26b6b491938e11b45892aedd9e2ab3726aba67631a5a494225b27f952b25/certora_cli_alpha_niv_fix_path_in_soroban_entry-20241224.9.13.2229.tar.gz from build tracker '/tmp/pip-build-tracker-o4tn7180'
2024-12-28T20:11:59,011 Created temporary directory: /tmp/pip-unpack-tdwlppys
2024-12-28T20:11:59,012 Created temporary directory: /tmp/pip-unpack-l3meitj_
2024-12-28T20:11:59,013 Building wheels for collected packages: certora-cli-alpha-niv-fix-path-in-soroban-entry
2024-12-28T20:11:59,017   Created temporary directory: /tmp/pip-wheel-2ad5a7mm
2024-12-28T20:11:59,018   Building wheel for certora-cli-alpha-niv-fix-path-in-soroban-entry (setup.py): started
2024-12-28T20:11:59,019   Destination directory: /tmp/pip-wheel-2ad5a7mm
2024-12-28T20:11:59,020   Running command python setup.py bdist_wheel
2024-12-28T20:12:00,053   /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:337: InformationOnly: Normalizing '20241224.9.13.002229' to '20241224.9.13.2229'
2024-12-28T20:12:00,054     self.metadata.version = self._normalize_version(self.metadata.version)
2024-12-28T20:12:00,062   running bdist_wheel
2024-12-28T20:12:00,195   running build
2024-12-28T20:12:00,195   running build_py
2024-12-28T20:12:00,226   creating build/lib/certora_bins
2024-12-28T20:12:00,228   copying certora_bins/__init__.py -> build/lib/certora_bins
2024-12-28T20:12:00,230   creating build/lib/certora_jars
2024-12-28T20:12:00,231   copying certora_jars/__init__.py -> build/lib/certora_jars
2024-12-28T20:12:00,234   creating build/lib/certora_cli
2024-12-28T20:12:00,235   copying certora_cli/__init__.py -> build/lib/certora_cli
2024-12-28T20:12:00,236   copying certora_cli/certoraSorobanProver.py -> build/lib/certora_cli
2024-12-28T20:12:00,238   copying certora_cli/rustMutator.py -> build/lib/certora_cli
2024-12-28T20:12:00,241   copying certora_cli/certoraSolanaProver.py -> build/lib/certora_cli
2024-12-28T20:12:00,243   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2024-12-28T20:12:00,245   copying certora_cli/certoraEVMProver.py -> build/lib/certora_cli
2024-12-28T20:12:00,247   copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli
2024-12-28T20:12:00,249   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2024-12-28T20:12:00,251   creating build/lib/certora_cli/Mutate
2024-12-28T20:12:00,252   copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate
2024-12-28T20:12:00,254   copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate
2024-12-28T20:12:00,258   copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate
2024-12-28T20:12:00,260   copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate
2024-12-28T20:12:00,262   copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate
2024-12-28T20:12:00,264   copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate
2024-12-28T20:12:00,267   creating build/lib/certora_cli/EquivalenceCheck
2024-12-28T20:12:00,268   copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck
2024-12-28T20:12:00,269   copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck
2024-12-28T20:12:00,273   creating build/lib/certora_cli/Shared
2024-12-28T20:12:00,274   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2024-12-28T20:12:00,275   copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared
2024-12-28T20:12:00,278   copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared
2024-12-28T20:12:00,281   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2024-12-28T20:12:00,283   copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared
2024-12-28T20:12:00,287   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2024-12-28T20:12:00,291   creating build/lib/certora_cli/EVMVerifier
2024-12-28T20:12:00,292   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2024-12-28T20:12:00,294   copying certora_cli/EVMVerifier/certoraVerifyGenerator.py -> build/lib/certora_cli/EVMVerifier
2024-12-28T20:12:00,297   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2024-12-28T20:12:00,299   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2024-12-28T20:12:00,302   copying certora_cli/EVMVerifier/certoraSourceFinders.py -> build/lib/certora_cli/EVMVerifier
2024-12-28T20:12:00,307   copying certora_cli/EVMVerifier/certoraBuildRust.py -> build/lib/certora_cli/EVMVerifier
2024-12-28T20:12:00,311   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2024-12-28T20:12:00,313   copying certora_cli/EVMVerifier/certoraBuildCacheManager.py -> build/lib/certora_cli/EVMVerifier
2024-12-28T20:12:00,315   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2024-12-28T20:12:00,317   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2024-12-28T20:12:00,319   copying certora_cli/EVMVerifier/certoraContextAttributes.py -> build/lib/certora_cli/EVMVerifier
2024-12-28T20:12:00,322   copying certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/lib/certora_cli/EVMVerifier
2024-12-28T20:12:00,324   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2024-12-28T20:12:00,332   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2024-12-28T20:12:00,334   copying certora_cli/EVMVerifier/certoraParseBuildScript.py -> build/lib/certora_cli/EVMVerifier
2024-12-28T20:12:00,336   copying certora_cli/EVMVerifier/certoraContractFuncs.py -> build/lib/certora_cli/EVMVerifier
2024-12-28T20:12:00,339   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2024-12-28T20:12:00,341   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2024-12-28T20:12:00,344   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2024-12-28T20:12:00,347   copying certora_cli/EVMVerifier/certoraMiniSpecParser.py -> build/lib/certora_cli/EVMVerifier
2024-12-28T20:12:00,350   copying certora_cli/EVMVerifier/certoraBuildDataClasses.py -> build/lib/certora_cli/EVMVerifier
2024-12-28T20:12:00,352   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2024-12-28T20:12:00,355   creating build/lib/certora_cli/EVMVerifier/Compiler
2024-12-28T20:12:00,356   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-12-28T20:12:00,358   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-12-28T20:12:00,360   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-12-28T20:12:00,362   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-12-28T20:12:00,366   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-12-28T20:12:00,368   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-12-28T20:12:00,370   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-12-28T20:12:00,372   running egg_info
2024-12-28T20:12:00,400   writing certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/PKG-INFO
2024-12-28T20:12:00,403   writing dependency_links to certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/dependency_links.txt
2024-12-28T20:12:00,405   writing entry points to certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/entry_points.txt
2024-12-28T20:12:00,406   writing requirements to certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/requires.txt
2024-12-28T20:12:00,407   writing top-level names to certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/top_level.txt
2024-12-28T20:12:00,447   reading manifest file 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/SOURCES.txt'
2024-12-28T20:12:00,452   reading manifest template 'MANIFEST.in'
2024-12-28T20:12:00,456   warning: no files found matching 'gambit' under directory 'certora_bins'
2024-12-28T20:12:00,532   adding license file 'LICENSE'
2024-12-28T20:12:00,538   writing manifest file 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info/SOURCES.txt'
2024-12-28T20:12:00,544   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2024-12-28T20:12:00,546   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2024-12-28T20:12:00,786   copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck
2024-12-28T20:12:00,788   copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck
2024-12-28T20:12:00,790   copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck
2024-12-28T20:12:00,793   copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck
2024-12-28T20:12:00,794   copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck
2024-12-28T20:12:00,797   copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck
2024-12-28T20:12:00,829   /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2024-12-28T20:12:00,829   !!

2024-12-28T20:12:00,830           ********************************************************************************
2024-12-28T20:12:00,831           Please avoid running ``setup.py`` directly.
2024-12-28T20:12:00,831           Instead, use pypa/build, pypa/installer or other
2024-12-28T20:12:00,832           standards-based tools.

2024-12-28T20:12:00,833           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2024-12-28T20:12:00,834           ********************************************************************************

2024-12-28T20:12:00,834   !!
2024-12-28T20:12:00,835     self.initialize_options()
2024-12-28T20:12:00,856   installing to build/bdist.linux-armv7l/wheel
2024-12-28T20:12:00,857   running install
2024-12-28T20:12:00,881   running install_lib
2024-12-28T20:12:00,909   creating build/bdist.linux-armv7l/wheel
2024-12-28T20:12:00,911   creating build/bdist.linux-armv7l/wheel/certora_bins
2024-12-28T20:12:00,912   copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins
2024-12-28T20:12:00,914   creating build/bdist.linux-armv7l/wheel/certora_jars
2024-12-28T20:12:00,915   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars
2024-12-28T20:12:00,917   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars
2024-12-28T20:12:00,919   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars
2024-12-28T20:12:01,168   creating build/bdist.linux-armv7l/wheel/certora_cli
2024-12-28T20:12:01,169   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2024-12-28T20:12:01,171   copying build/lib/certora_cli/certoraSorobanProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2024-12-28T20:12:01,173   creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate
2024-12-28T20:12:01,174   copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2024-12-28T20:12:01,176   copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2024-12-28T20:12:01,179   copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2024-12-28T20:12:01,181   copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2024-12-28T20:12:01,183   copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2024-12-28T20:12:01,185   copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2024-12-28T20:12:01,188   creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2024-12-28T20:12:01,189   copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-12-28T20:12:01,190   copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-12-28T20:12:01,192   copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-12-28T20:12:01,194   copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-12-28T20:12:01,198   copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-12-28T20:12:01,199   copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-12-28T20:12:01,201   copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-12-28T20:12:01,203   copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-12-28T20:12:01,205   copying build/lib/certora_cli/rustMutator.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2024-12-28T20:12:01,208   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2024-12-28T20:12:01,209   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2024-12-28T20:12:01,211   copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2024-12-28T20:12:01,214   copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2024-12-28T20:12:01,216   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2024-12-28T20:12:01,219   copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2024-12-28T20:12:01,221   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2024-12-28T20:12:01,224   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2024-12-28T20:12:01,225   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-12-28T20:12:01,228   copying build/lib/certora_cli/EVMVerifier/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-12-28T20:12:01,230   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-12-28T20:12:01,232   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-12-28T20:12:01,234   copying build/lib/certora_cli/EVMVerifier/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-12-28T20:12:01,237   copying build/lib/certora_cli/EVMVerifier/certoraBuildRust.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-12-28T20:12:01,238   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-12-28T20:12:01,241   copying build/lib/certora_cli/EVMVerifier/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-12-28T20:12:01,243   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-12-28T20:12:01,245   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-12-28T20:12:01,246   copying build/lib/certora_cli/EVMVerifier/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-12-28T20:12:01,249   copying build/lib/certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-12-28T20:12:01,251   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-12-28T20:12:01,256   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-12-28T20:12:01,259   copying build/lib/certora_cli/EVMVerifier/certoraParseBuildScript.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-12-28T20:12:01,262   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2024-12-28T20:12:01,263   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-12-28T20:12:01,265   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-12-28T20:12:01,267   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-12-28T20:12:01,269   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-12-28T20:12:01,272   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-12-28T20:12:01,274   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-12-28T20:12:01,277   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-12-28T20:12:01,278   copying build/lib/certora_cli/EVMVerifier/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-12-28T20:12:01,280   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-12-28T20:12:01,283   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-12-28T20:12:01,286   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-12-28T20:12:01,289   copying build/lib/certora_cli/EVMVerifier/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-12-28T20:12:01,291   copying build/lib/certora_cli/EVMVerifier/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-12-28T20:12:01,294   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-12-28T20:12:01,296   copying build/lib/certora_cli/certoraSolanaProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2024-12-28T20:12:01,298   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2024-12-28T20:12:01,300   copying build/lib/certora_cli/certoraEVMProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2024-12-28T20:12:01,302   copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2024-12-28T20:12:01,304   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2024-12-28T20:12:01,306   running install_egg_info
2024-12-28T20:12:01,339   Copying certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.9.13.2229-py3.11.egg-info
2024-12-28T20:12:01,350   running install_scripts
2024-12-28T20:12:01,367   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.9.13.2229.dist-info/WHEEL
2024-12-28T20:12:01,369   creating '/tmp/pip-wheel-2ad5a7mm/certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.9.13.2229-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2024-12-28T20:12:01,371   adding 'certora_bins/__init__.py'
2024-12-28T20:12:01,373   adding 'certora_cli/__init__.py'
2024-12-28T20:12:01,374   adding 'certora_cli/certoraEVMProver.py'
2024-12-28T20:12:01,376   adding 'certora_cli/certoraEqCheck.py'
2024-12-28T20:12:01,377   adding 'certora_cli/certoraMutate.py'
2024-12-28T20:12:01,379   adding 'certora_cli/certoraRun.py'
2024-12-28T20:12:01,381   adding 'certora_cli/certoraSolanaProver.py'
2024-12-28T20:12:01,382   adding 'certora_cli/certoraSorobanProver.py'
2024-12-28T20:12:01,384   adding 'certora_cli/rustMutator.py'
2024-12-28T20:12:01,387   adding 'certora_cli/EVMVerifier/__init__.py'
2024-12-28T20:12:01,410   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2024-12-28T20:12:01,413   adding 'certora_cli/EVMVerifier/certoraBuildCacheManager.py'
2024-12-28T20:12:01,415   adding 'certora_cli/EVMVerifier/certoraBuildDataClasses.py'
2024-12-28T20:12:01,416   adding 'certora_cli/EVMVerifier/certoraBuildRust.py'
2024-12-28T20:12:01,422   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2024-12-28T20:12:01,424   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2024-12-28T20:12:01,426   adding 'certora_cli/EVMVerifier/certoraCompilerParameters.py'
2024-12-28T20:12:01,427   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2024-12-28T20:12:01,430   adding 'certora_cli/EVMVerifier/certoraContext.py'
2024-12-28T20:12:01,434   adding 'certora_cli/EVMVerifier/certoraContextAttributes.py'
2024-12-28T20:12:01,435   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2024-12-28T20:12:01,440   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2024-12-28T20:12:01,442   adding 'certora_cli/EVMVerifier/certoraContractFuncs.py'
2024-12-28T20:12:01,443   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2024-12-28T20:12:01,445   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2024-12-28T20:12:01,446   adding 'certora_cli/EVMVerifier/certoraMiniSpecParser.py'
2024-12-28T20:12:01,448   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2024-12-28T20:12:01,449   adding 'certora_cli/EVMVerifier/certoraParseBuildScript.py'
2024-12-28T20:12:01,451   adding 'certora_cli/EVMVerifier/certoraSourceFinders.py'
2024-12-28T20:12:01,455   adding 'certora_cli/EVMVerifier/certoraType.py'
2024-12-28T20:12:01,456   adding 'certora_cli/EVMVerifier/certoraVerifyGenerator.py'
2024-12-28T20:12:01,459   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2024-12-28T20:12:01,460   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2024-12-28T20:12:01,462   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2024-12-28T20:12:01,463   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py'
2024-12-28T20:12:01,470   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2024-12-28T20:12:01,472   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py'
2024-12-28T20:12:01,473   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2024-12-28T20:12:01,475   adding 'certora_cli/EquivalenceCheck/Eq_default.conf'
2024-12-28T20:12:01,476   adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec'
2024-12-28T20:12:01,478   adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec'
2024-12-28T20:12:01,479   adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf'
2024-12-28T20:12:01,480   adding 'certora_cli/EquivalenceCheck/Eq_template.spec'
2024-12-28T20:12:01,481   adding 'certora_cli/EquivalenceCheck/__init__.py'
2024-12-28T20:12:01,484   adding 'certora_cli/EquivalenceCheck/equivCheck.py'
2024-12-28T20:12:01,485   adding 'certora_cli/EquivalenceCheck/sanity.spec'
2024-12-28T20:12:01,487   adding 'certora_cli/Mutate/__init__.py'
2024-12-28T20:12:01,497   adding 'certora_cli/Mutate/mutateApp.py'
2024-12-28T20:12:01,499   adding 'certora_cli/Mutate/mutateAttributes.py'
2024-12-28T20:12:01,500   adding 'certora_cli/Mutate/mutateConstants.py'
2024-12-28T20:12:01,502   adding 'certora_cli/Mutate/mutateUtil.py'
2024-12-28T20:12:01,503   adding 'certora_cli/Mutate/mutateValidate.py'
2024-12-28T20:12:01,506   adding 'certora_cli/Shared/ExpectedComparator.py'
2024-12-28T20:12:01,508   adding 'certora_cli/Shared/__init__.py'
2024-12-28T20:12:01,510   adding 'certora_cli/Shared/certoraAttrUtil.py'
2024-12-28T20:12:01,512   adding 'certora_cli/Shared/certoraLogging.py'
2024-12-28T20:12:01,520   adding 'certora_cli/Shared/certoraUtils.py'
2024-12-28T20:12:01,524   adding 'certora_cli/Shared/certoraValidateFuncs.py'
2024-12-28T20:12:01,527   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2024-12-28T20:12:03,460   adding 'certora_jars/Typechecker.jar'
2024-12-28T20:12:03,961   adding 'certora_jars/__init__.py'
2024-12-28T20:12:04,141   adding 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.9.13.2229.dist-info/LICENSE'
2024-12-28T20:12:04,347   adding 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.9.13.2229.dist-info/METADATA'
2024-12-28T20:12:04,522   adding 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.9.13.2229.dist-info/WHEEL'
2024-12-28T20:12:04,703   adding 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.9.13.2229.dist-info/entry_points.txt'
2024-12-28T20:12:04,705   adding 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.9.13.2229.dist-info/top_level.txt'
2024-12-28T20:12:04,708   adding 'certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.9.13.2229.dist-info/RECORD'
2024-12-28T20:12:06,125   removing build/bdist.linux-armv7l/wheel
2024-12-28T20:12:06,293   Building wheel for certora-cli-alpha-niv-fix-path-in-soroban-entry (setup.py): finished with status 'done'
2024-12-28T20:12:06,450   Created wheel for certora-cli-alpha-niv-fix-path-in-soroban-entry: filename=certora_cli_alpha_niv_Fix_Path_In_Soroban_Entry-20241224.9.13.2229-py3-none-any.whl size=15641225 sha256=773e7831dfedc35188a2bd1e9d22749c285bcdbd67c1a3348dc697261efa412e
2024-12-28T20:12:06,451   Stored in directory: /tmp/pip-ephem-wheel-cache-iiv5lk6o/wheels/81/59/b7/382a4e83e2295a28b9ec864fd96d9bb29373d8f434a445f0ac
2024-12-28T20:12:06,469 Successfully built certora-cli-alpha-niv-fix-path-in-soroban-entry
2024-12-28T20:12:06,876 Removed build tracker: '/tmp/pip-build-tracker-o4tn7180'