2024-11-19T12:31:58,051 Created temporary directory: /tmp/pip-build-tracker-iiyv0h98
2024-11-19T12:31:58,053 Initialized build tracking at /tmp/pip-build-tracker-iiyv0h98
2024-11-19T12:31:58,053 Created build tracker: /tmp/pip-build-tracker-iiyv0h98
2024-11-19T12:31:58,054 Entered build tracker: /tmp/pip-build-tracker-iiyv0h98
2024-11-19T12:31:58,055 Created temporary directory: /tmp/pip-wheel-ogwxwb7l
2024-11-19T12:31:58,060 Created temporary directory: /tmp/pip-ephem-wheel-cache-y5po7879
2024-11-19T12:31:58,106 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2024-11-19T12:31:58,108 2 location(s) to search for versions of certora-cli-beta-mirror:
2024-11-19T12:31:58,108 * https://pypi.org/simple/certora-cli-beta-mirror/
2024-11-19T12:31:58,108 * https://www.piwheels.org/simple/certora-cli-beta-mirror/
2024-11-19T12:31:58,109 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-beta-mirror/
2024-11-19T12:31:58,110 Getting page https://pypi.org/simple/certora-cli-beta-mirror/
2024-11-19T12:31:58,112 Found index url https://pypi.org/simple/
2024-11-19T12:31:58,335 Fetched page https://pypi.org/simple/certora-cli-beta-mirror/ as application/vnd.pypi.simple.v1+json
2024-11-19T12:31:58,343   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/23/89/ccc42a28cb59cbe15a30f037756c18ffb3ea5d8c676beffb102e78ca9aca/certora_cli_beta_mirror-7.17.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2024-11-19T12:31:58,343   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/94/64/a5452ca1c5b031c60ad59619d06a5b08f2a63aee1fe612a5a2ed3731aa24/certora_cli_beta_mirror-7.17.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2024-11-19T12:31:58,344   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/97/f7/943dd777549175d73a3e36a4c3c5322a17c3f6450e025d89f22cc2391d9e/certora_cli_beta_mirror-7.17.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2024-11-19T12:31:58,345   Found link https://files.pythonhosted.org/packages/78/7b/565eb89fa95f53318cfffdfaf3c30fa425edcab7f5c3ff4132afa5d1498e/certora_cli_beta_mirror-7.17.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.17.0
2024-11-19T12:31:58,346   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/a6/50/a2ec88e48ea527dc6ef78484a6569542247bed9c6480c877fa92fd28c0a9/certora_cli_beta_mirror-7.17.1-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2024-11-19T12:31:58,346   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/92/f7/da44e1276b2bf0310e7178ce74078973c9a93a5a21a856591404b2576318/certora_cli_beta_mirror-7.17.1-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2024-11-19T12:31:58,347   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/c2/47/5c875198abbe3bfd099f970f36b5e827db2a6ed46b81daf7d0cc4e5e6f22/certora_cli_beta_mirror-7.17.1-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2024-11-19T12:31:58,348   Found link https://files.pythonhosted.org/packages/1c/36/889047d565e07e872e8a3c9ded451b34f077fe164f26ef2ca34b370322bb/certora_cli_beta_mirror-7.17.1.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.17.1
2024-11-19T12:31:58,349   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/bd/42/ed7a252b516cd24dd958052ae4f8bee8e5650a8048617e6f9fa5fa5d3933/certora_cli_beta_mirror-7.17.2-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2024-11-19T12:31:58,350   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/57/5a/cb27c4050a2ec26f9a903ae8698a09fa13441dc0b5a757558a1fb5810603/certora_cli_beta_mirror-7.17.2-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2024-11-19T12:31:58,351   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/83/fb/df32c065d881c7126eb5a908dbeac0eb950ada7d41313f8596e40e22a6c4/certora_cli_beta_mirror-7.17.2-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2024-11-19T12:31:58,352   Found link https://files.pythonhosted.org/packages/e0/d3/c71bbf1f5c35d7673495e00a0921496f352c13c4af31b7fca71b82f18bbc/certora_cli_beta_mirror-7.17.2.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.17.2
2024-11-19T12:31:58,352   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/7e/06/e51d2f1a35da3bfd056cbd47dc1148ed71a4511b7fac2866860f70351bae/certora_cli_beta_mirror-7.18.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2024-11-19T12:31:58,353   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/29/6d/816b30a79c16791d550e7a476653cd16708c3230d880ba6eeed80627d5af/certora_cli_beta_mirror-7.18.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2024-11-19T12:31:58,353   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/27/73/f6896058ab65932f1e21d69e2f3cc8b2fc35a9b4ffae9edeb57a814ed1f4/certora_cli_beta_mirror-7.18.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2024-11-19T12:31:58,354   Found link https://files.pythonhosted.org/packages/61/67/500481a15ea47b2fca79f0711eb601685a33a3b11b85df4cf4806a4e6284/certora_cli_beta_mirror-7.18.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.18.0
2024-11-19T12:31:58,355   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/ec/0e/7dd4b1ef9ee998336ba8e6ec485b3f8ea2ed1f88368a85a7d5c5c0864811/certora_cli_beta_mirror-7.18.1-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2024-11-19T12:31:58,356   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/fc/03/0c5c2ef1e1d8495ed1be330a6889d42ff1a30297ae8769096a1fcde87a6a/certora_cli_beta_mirror-7.18.1-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2024-11-19T12:31:58,356   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/84/56/bb057e2ec19e619a885ad344ce7d993dfcbd96bc455873e4de96ab48676c/certora_cli_beta_mirror-7.18.1-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2024-11-19T12:31:58,357   Found link https://files.pythonhosted.org/packages/9a/3d/9c21579a44707f6211fbbe0d57f8939f73a83d3b5cf57731446f84c4c803/certora_cli_beta_mirror-7.18.1.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.18.1
2024-11-19T12:31:58,358   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/a1/71/6e7d65a712bb5c447394fa1873f3f6a0eca92c803b41cdc0edc7df36ad0e/certora_cli_beta_mirror-7.18.2-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2024-11-19T12:31:58,358   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/86/e9/a6d0865aee4a2280d94fe73732faab3d6cd275bdc9fb48dd84f8791bb49a/certora_cli_beta_mirror-7.18.2-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2024-11-19T12:31:58,359   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/5e/ca/ca3d250450f59b38a481a903840e9f828dbf701b0e07207dab77a3fed861/certora_cli_beta_mirror-7.18.2-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2024-11-19T12:31:58,360   Found link https://files.pythonhosted.org/packages/80/32/2dc6aff1d5b484ec3ebc4872accb93a68ea7af7a4086e241a798c132ccf4/certora_cli_beta_mirror-7.18.2.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.18.2
2024-11-19T12:31:58,361   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/85/7f/b2df9b936804c70ba85705060eb193ec6c9e39154e4c5691d7fc655aacb9/certora_cli_beta_mirror-7.19.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2024-11-19T12:31:58,361   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/93/fc/86b03fefa7d535721e4256e1df8d4a51d729edfd9b21ddb7c1a89f1f4dc1/certora_cli_beta_mirror-7.19.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2024-11-19T12:31:58,362   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/bc/52/bd815baf5ef6f806ce28f1a37cc73d94a8d33756864f5d663311cfbaa135/certora_cli_beta_mirror-7.19.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2024-11-19T12:31:58,363   Found link https://files.pythonhosted.org/packages/99/9c/0c1ad853c72304b7b70b773b5df52857d482dfe2c15fca3567d4e3499077/certora_cli_beta_mirror-7.19.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.19.0
2024-11-19T12:31:58,363   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/13/48/0247f8a6170a253ee932c31debb1f05c4d082067267a11b66d2e07160bd9/certora_cli_beta_mirror-7.20.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2024-11-19T12:31:58,364   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/cf/34/a220dea233a087e544b06e7197f10dbc4348d2641fb7969848a7e6449b13/certora_cli_beta_mirror-7.20.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2024-11-19T12:31:58,364   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/6c/5e/c30f3ec564f17149db1e5dabe8430b3816b74e59766e063106d3d6d4d93a/certora_cli_beta_mirror-7.20.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2024-11-19T12:31:58,365   Found link https://files.pythonhosted.org/packages/a0/d7/b336403ddc64b9a5600bff1ff8de6d2a04d00f1e78cf857476f51c8853a7/certora_cli_beta_mirror-7.20.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.20.0
2024-11-19T12:31:58,366   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/eb/40/4c779731cd1e2384e6cc0aa80bdddf842bf593f23e4e53db4de63d07435a/certora_cli_beta_mirror-7.20.1-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2024-11-19T12:31:58,367   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/5f/13/c578f2133318dc976cc8237b9b632eca98c0912935b5b818b50c4762349f/certora_cli_beta_mirror-7.20.1-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2024-11-19T12:31:58,367   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/71/97/eb53aec447e3cda70dcecacce1772a7786c1c1d9d5d0b5dfae4620a6bbc9/certora_cli_beta_mirror-7.20.1-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2024-11-19T12:31:58,368   Found link https://files.pythonhosted.org/packages/d1/80/335fe727c35691a4f8da89731fd8bf9d6eb2ebf66c7ecf50f8e17f811a30/certora_cli_beta_mirror-7.20.1.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.20.1
2024-11-19T12:31:58,369 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-beta-mirror/
2024-11-19T12:31:58,370 Getting page https://www.piwheels.org/simple/certora-cli-beta-mirror/
2024-11-19T12:31:58,371 Found index url https://www.piwheels.org/simple/
2024-11-19T12:31:58,545 Fetched page https://www.piwheels.org/simple/certora-cli-beta-mirror/ as text/html
2024-11-19T12:31:58,549   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.20.0-py3-none-any.whl#sha256=b7c9341056df47cd776d2bafc06bd9841087501e157c803ef371e9aa16dc1779 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2024-11-19T12:31:58,549   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.19.0-py3-none-any.whl#sha256=1bcb60ab34d7f94a973a3dbd828226560c06b711a1a1df64d60c01f0fb45ee67 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2024-11-19T12:31:58,550   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.18.2-py3-none-any.whl#sha256=e3c4f26d0056c4eadbe9e924c395fe31ba90e0853c6195bdf50b7a7b4f1d9ff9 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2024-11-19T12:31:58,551   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.18.1-py3-none-any.whl#sha256=46d0114cb857d8b7549c72785815db662370f09ecb136c654fb87cf53b69350e (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2024-11-19T12:31:58,551   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.18.0-py3-none-any.whl#sha256=e7a42a97fd7829ed5211fc7e1d3e5ed06f3474c0980834d12a288c80587d1bec (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2024-11-19T12:31:58,552   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.17.2-py3-none-any.whl#sha256=3b8f73ac7166dadd40015cc5d19ba6b315a077d724c497f68d9a3d677a155771 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2024-11-19T12:31:58,552   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.17.1-py3-none-any.whl#sha256=9618614b09f8a1a9045adf4ef400aeebfc0a15058524dbb0ee24b90111ea721a (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2024-11-19T12:31:58,553   Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.17.0-py3-none-any.whl#sha256=ebd400b65bef47785c001f8de433eee7b13617950ccc62883223c788cf28d6ff (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8)
2024-11-19T12:31:58,553 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-beta-mirror/
2024-11-19T12:31:58,554 Skipping link: not a file: https://pypi.org/simple/certora-cli-beta-mirror/
2024-11-19T12:31:58,582 Given no hashes to check 1 links for project 'certora-cli-beta-mirror': discarding no candidates
2024-11-19T12:31:58,584 Collecting certora-cli-beta-mirror==7.20.1
2024-11-19T12:31:58,587   Created temporary directory: /tmp/pip-unpack-ldyqfie_
2024-11-19T12:31:58,822   Downloading certora_cli_beta_mirror-7.20.1.tar.gz (15.3 MB)
2024-11-19T12:32:01,582   Added certora-cli-beta-mirror==7.20.1 from https://files.pythonhosted.org/packages/d1/80/335fe727c35691a4f8da89731fd8bf9d6eb2ebf66c7ecf50f8e17f811a30/certora_cli_beta_mirror-7.20.1.tar.gz to build tracker '/tmp/pip-build-tracker-iiyv0h98'
2024-11-19T12:32:01,585   Running setup.py (path:/tmp/pip-wheel-ogwxwb7l/certora-cli-beta-mirror_eaeafb4b218346fe825bd4b42a86bed6/setup.py) egg_info for package certora-cli-beta-mirror
2024-11-19T12:32:01,586   Created temporary directory: /tmp/pip-pip-egg-info-dm_zfqha
2024-11-19T12:32:01,586   Preparing metadata (setup.py): started
2024-11-19T12:32:01,588   Running command python setup.py egg_info
2024-11-19T12:32:02,786   running egg_info
2024-11-19T12:32:02,815   creating /tmp/pip-pip-egg-info-dm_zfqha/certora_cli_beta_mirror.egg-info
2024-11-19T12:32:02,817   writing /tmp/pip-pip-egg-info-dm_zfqha/certora_cli_beta_mirror.egg-info/PKG-INFO
2024-11-19T12:32:02,820   writing dependency_links to /tmp/pip-pip-egg-info-dm_zfqha/certora_cli_beta_mirror.egg-info/dependency_links.txt
2024-11-19T12:32:02,822   writing entry points to /tmp/pip-pip-egg-info-dm_zfqha/certora_cli_beta_mirror.egg-info/entry_points.txt
2024-11-19T12:32:02,823   writing requirements to /tmp/pip-pip-egg-info-dm_zfqha/certora_cli_beta_mirror.egg-info/requires.txt
2024-11-19T12:32:02,825   writing top-level names to /tmp/pip-pip-egg-info-dm_zfqha/certora_cli_beta_mirror.egg-info/top_level.txt
2024-11-19T12:32:02,826   writing manifest file '/tmp/pip-pip-egg-info-dm_zfqha/certora_cli_beta_mirror.egg-info/SOURCES.txt'
2024-11-19T12:32:02,926   reading manifest file '/tmp/pip-pip-egg-info-dm_zfqha/certora_cli_beta_mirror.egg-info/SOURCES.txt'
2024-11-19T12:32:02,927   reading manifest template 'MANIFEST.in'
2024-11-19T12:32:02,932   warning: no files found matching 'gambit' under directory 'certora_bins'
2024-11-19T12:32:03,020   adding license file 'LICENSE'
2024-11-19T12:32:03,024   writing manifest file '/tmp/pip-pip-egg-info-dm_zfqha/certora_cli_beta_mirror.egg-info/SOURCES.txt'
2024-11-19T12:32:03,132   Preparing metadata (setup.py): finished with status 'done'
2024-11-19T12:32:03,136   Source in /tmp/pip-wheel-ogwxwb7l/certora-cli-beta-mirror_eaeafb4b218346fe825bd4b42a86bed6 has version 7.20.1, which satisfies requirement certora-cli-beta-mirror==7.20.1 from https://files.pythonhosted.org/packages/d1/80/335fe727c35691a4f8da89731fd8bf9d6eb2ebf66c7ecf50f8e17f811a30/certora_cli_beta_mirror-7.20.1.tar.gz
2024-11-19T12:32:03,137   Removed certora-cli-beta-mirror==7.20.1 from https://files.pythonhosted.org/packages/d1/80/335fe727c35691a4f8da89731fd8bf9d6eb2ebf66c7ecf50f8e17f811a30/certora_cli_beta_mirror-7.20.1.tar.gz from build tracker '/tmp/pip-build-tracker-iiyv0h98'
2024-11-19T12:32:03,144 Created temporary directory: /tmp/pip-unpack-l1ab4w88
2024-11-19T12:32:03,145 Created temporary directory: /tmp/pip-unpack-_jrpo04x
2024-11-19T12:32:03,146 Building wheels for collected packages: certora-cli-beta-mirror
2024-11-19T12:32:03,150   Created temporary directory: /tmp/pip-wheel-cq5j1nuc
2024-11-19T12:32:03,151   Building wheel for certora-cli-beta-mirror (setup.py): started
2024-11-19T12:32:03,152   Destination directory: /tmp/pip-wheel-cq5j1nuc
2024-11-19T12:32:03,152   Running command python setup.py bdist_wheel
2024-11-19T12:32:04,488   running bdist_wheel
2024-11-19T12:32:04,620   running build
2024-11-19T12:32:04,621   running build_py
2024-11-19T12:32:04,651   creating build/lib/certora_jars
2024-11-19T12:32:04,653   copying certora_jars/__init__.py -> build/lib/certora_jars
2024-11-19T12:32:04,656   creating build/lib/certora_bins
2024-11-19T12:32:04,657   copying certora_bins/__init__.py -> build/lib/certora_bins
2024-11-19T12:32:04,659   creating build/lib/certora_cli
2024-11-19T12:32:04,660   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2024-11-19T12:32:04,663   copying certora_cli/__init__.py -> build/lib/certora_cli
2024-11-19T12:32:04,664   copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli
2024-11-19T12:32:04,666   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2024-11-19T12:32:04,669   creating build/lib/certora_cli/Mutate
2024-11-19T12:32:04,670   copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate
2024-11-19T12:32:04,674   copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate
2024-11-19T12:32:04,676   copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate
2024-11-19T12:32:04,677   copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate
2024-11-19T12:32:04,680   copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate
2024-11-19T12:32:04,681   copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate
2024-11-19T12:32:04,684   creating build/lib/certora_cli/EquivalenceCheck
2024-11-19T12:32:04,685   copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck
2024-11-19T12:32:04,687   copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck
2024-11-19T12:32:04,690   creating build/lib/certora_cli/Shared
2024-11-19T12:32:04,691   copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared
2024-11-19T12:32:04,693   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2024-11-19T12:32:04,695   copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared
2024-11-19T12:32:04,698   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2024-11-19T12:32:04,700   copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared
2024-11-19T12:32:04,703   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2024-11-19T12:32:04,707   creating build/lib/certora_cli/EVMVerifier
2024-11-19T12:32:04,709   copying certora_cli/EVMVerifier/certoraContextAttributes.py -> build/lib/certora_cli/EVMVerifier
2024-11-19T12:32:04,712   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2024-11-19T12:32:04,717   copying certora_cli/EVMVerifier/certoraBuildCacheManager.py -> build/lib/certora_cli/EVMVerifier
2024-11-19T12:32:04,720   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2024-11-19T12:32:04,723   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2024-11-19T12:32:04,725   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2024-11-19T12:32:04,729   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2024-11-19T12:32:04,732   copying certora_cli/EVMVerifier/certoraVerifyGenerator.py -> build/lib/certora_cli/EVMVerifier
2024-11-19T12:32:04,735   copying certora_cli/EVMVerifier/certoraSourceFinders.py -> build/lib/certora_cli/EVMVerifier
2024-11-19T12:32:04,738   copying certora_cli/EVMVerifier/certoraBuildDataClasses.py -> build/lib/certora_cli/EVMVerifier
2024-11-19T12:32:04,741   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2024-11-19T12:32:04,745   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2024-11-19T12:32:04,748   copying certora_cli/EVMVerifier/certoraMiniSpecParser.py -> build/lib/certora_cli/EVMVerifier
2024-11-19T12:32:04,750   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2024-11-19T12:32:04,753   copying certora_cli/EVMVerifier/certoraContractFuncs.py -> build/lib/certora_cli/EVMVerifier
2024-11-19T12:32:04,755   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2024-11-19T12:32:04,757   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2024-11-19T12:32:04,760   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2024-11-19T12:32:04,763   copying certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/lib/certora_cli/EVMVerifier
2024-11-19T12:32:04,766   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2024-11-19T12:32:04,768   creating build/lib/certora_cli/EVMVerifier/Compiler
2024-11-19T12:32:04,770   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-11-19T12:32:04,773   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-11-19T12:32:04,776   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-11-19T12:32:04,778   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-11-19T12:32:04,781   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-11-19T12:32:04,784   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-11-19T12:32:04,787   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-11-19T12:32:04,789   running egg_info
2024-11-19T12:32:04,818   writing certora_cli_beta_mirror.egg-info/PKG-INFO
2024-11-19T12:32:04,821   writing dependency_links to certora_cli_beta_mirror.egg-info/dependency_links.txt
2024-11-19T12:32:04,823   writing entry points to certora_cli_beta_mirror.egg-info/entry_points.txt
2024-11-19T12:32:04,825   writing requirements to certora_cli_beta_mirror.egg-info/requires.txt
2024-11-19T12:32:04,826   writing top-level names to certora_cli_beta_mirror.egg-info/top_level.txt
2024-11-19T12:32:04,870   reading manifest file 'certora_cli_beta_mirror.egg-info/SOURCES.txt'
2024-11-19T12:32:04,875   reading manifest template 'MANIFEST.in'
2024-11-19T12:32:04,879   warning: no files found matching 'gambit' under directory 'certora_bins'
2024-11-19T12:32:04,956   adding license file 'LICENSE'
2024-11-19T12:32:04,961   writing manifest file 'certora_cli_beta_mirror.egg-info/SOURCES.txt'
2024-11-19T12:32:04,968   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2024-11-19T12:32:04,970   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2024-11-19T12:32:05,234   copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck
2024-11-19T12:32:05,237   copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck
2024-11-19T12:32:05,240   copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck
2024-11-19T12:32:05,243   copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck
2024-11-19T12:32:05,245   copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck
2024-11-19T12:32:05,248   copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck
2024-11-19T12:32:05,282   /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2024-11-19T12:32:05,283   !!

2024-11-19T12:32:05,284           ********************************************************************************
2024-11-19T12:32:05,285           Please avoid running ``setup.py`` directly.
2024-11-19T12:32:05,285           Instead, use pypa/build, pypa/installer or other
2024-11-19T12:32:05,286           standards-based tools.

2024-11-19T12:32:05,287           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2024-11-19T12:32:05,288           ********************************************************************************

2024-11-19T12:32:05,289   !!
2024-11-19T12:32:05,289     self.initialize_options()
2024-11-19T12:32:05,317   installing to build/bdist.linux-armv7l/wheel
2024-11-19T12:32:05,318   running install
2024-11-19T12:32:05,344   running install_lib
2024-11-19T12:32:05,382   creating build/bdist.linux-armv7l/wheel
2024-11-19T12:32:05,392   creating build/bdist.linux-armv7l/wheel/certora_jars
2024-11-19T12:32:05,397   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars
2024-11-19T12:32:05,406   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars
2024-11-19T12:32:05,666   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars
2024-11-19T12:32:05,669   creating build/bdist.linux-armv7l/wheel/certora_bins
2024-11-19T12:32:05,670   copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins
2024-11-19T12:32:05,673   creating build/bdist.linux-armv7l/wheel/certora_cli
2024-11-19T12:32:05,675   creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate
2024-11-19T12:32:05,676   copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2024-11-19T12:32:05,680   copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2024-11-19T12:32:05,682   copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2024-11-19T12:32:05,684   copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2024-11-19T12:32:05,686   copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2024-11-19T12:32:05,689   copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2024-11-19T12:32:05,691   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2024-11-19T12:32:05,693   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2024-11-19T12:32:05,696   creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2024-11-19T12:32:05,697   copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-11-19T12:32:05,699   copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-11-19T12:32:05,701   copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-11-19T12:32:05,703   copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-11-19T12:32:05,705   copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-11-19T12:32:05,707   copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-11-19T12:32:05,709   copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-11-19T12:32:05,712   copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-11-19T12:32:05,715   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2024-11-19T12:32:05,716   copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2024-11-19T12:32:05,718   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2024-11-19T12:32:05,720   copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2024-11-19T12:32:05,723   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2024-11-19T12:32:05,726   copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2024-11-19T12:32:05,729   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2024-11-19T12:32:05,733   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2024-11-19T12:32:05,734   copying build/lib/certora_cli/EVMVerifier/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-11-19T12:32:05,738   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-11-19T12:32:05,745   copying build/lib/certora_cli/EVMVerifier/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-11-19T12:32:05,747   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-11-19T12:32:05,750   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-11-19T12:32:05,752   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-11-19T12:32:05,754   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-11-19T12:32:05,758   copying build/lib/certora_cli/EVMVerifier/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-11-19T12:32:05,761   copying build/lib/certora_cli/EVMVerifier/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-11-19T12:32:05,764   copying build/lib/certora_cli/EVMVerifier/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-11-19T12:32:05,766   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-11-19T12:32:05,769   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-11-19T12:32:05,772   copying build/lib/certora_cli/EVMVerifier/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-11-19T12:32:05,776   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2024-11-19T12:32:05,778   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-11-19T12:32:05,781   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-11-19T12:32:05,784   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-11-19T12:32:05,786   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-11-19T12:32:05,788   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-11-19T12:32:05,790   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-11-19T12:32:05,793   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-11-19T12:32:05,796   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-11-19T12:32:05,798   copying build/lib/certora_cli/EVMVerifier/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-11-19T12:32:05,800   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-11-19T12:32:05,802   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-11-19T12:32:05,805   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-11-19T12:32:05,808   copying build/lib/certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-11-19T12:32:05,810   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-11-19T12:32:05,812   copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2024-11-19T12:32:05,813   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2024-11-19T12:32:05,815   running install_egg_info
2024-11-19T12:32:05,850   Copying certora_cli_beta_mirror.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_beta_mirror-7.20.1-py3.11.egg-info
2024-11-19T12:32:05,863   running install_scripts
2024-11-19T12:32:05,881   creating build/bdist.linux-armv7l/wheel/certora_cli_beta_mirror-7.20.1.dist-info/WHEEL
2024-11-19T12:32:05,884   creating '/tmp/pip-wheel-cq5j1nuc/certora_cli_beta_mirror-7.20.1-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2024-11-19T12:32:05,886   adding 'certora_bins/__init__.py'
2024-11-19T12:32:05,888   adding 'certora_cli/__init__.py'
2024-11-19T12:32:05,889   adding 'certora_cli/certoraEqCheck.py'
2024-11-19T12:32:05,891   adding 'certora_cli/certoraMutate.py'
2024-11-19T12:32:05,893   adding 'certora_cli/certoraRun.py'
2024-11-19T12:32:05,895   adding 'certora_cli/EVMVerifier/__init__.py'
2024-11-19T12:32:05,919   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2024-11-19T12:32:05,922   adding 'certora_cli/EVMVerifier/certoraBuildCacheManager.py'
2024-11-19T12:32:05,925   adding 'certora_cli/EVMVerifier/certoraBuildDataClasses.py'
2024-11-19T12:32:05,931   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2024-11-19T12:32:05,934   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2024-11-19T12:32:05,935   adding 'certora_cli/EVMVerifier/certoraCompilerParameters.py'
2024-11-19T12:32:05,937   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2024-11-19T12:32:05,940   adding 'certora_cli/EVMVerifier/certoraContext.py'
2024-11-19T12:32:05,945   adding 'certora_cli/EVMVerifier/certoraContextAttributes.py'
2024-11-19T12:32:05,946   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2024-11-19T12:32:05,951   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2024-11-19T12:32:05,953   adding 'certora_cli/EVMVerifier/certoraContractFuncs.py'
2024-11-19T12:32:05,955   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2024-11-19T12:32:05,957   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2024-11-19T12:32:05,959   adding 'certora_cli/EVMVerifier/certoraMiniSpecParser.py'
2024-11-19T12:32:05,960   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2024-11-19T12:32:05,963   adding 'certora_cli/EVMVerifier/certoraSourceFinders.py'
2024-11-19T12:32:05,966   adding 'certora_cli/EVMVerifier/certoraType.py'
2024-11-19T12:32:05,969   adding 'certora_cli/EVMVerifier/certoraVerifyGenerator.py'
2024-11-19T12:32:05,971   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2024-11-19T12:32:05,973   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2024-11-19T12:32:05,974   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2024-11-19T12:32:05,976   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py'
2024-11-19T12:32:05,983   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2024-11-19T12:32:05,985   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py'
2024-11-19T12:32:05,987   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2024-11-19T12:32:05,989   adding 'certora_cli/EquivalenceCheck/Eq_default.conf'
2024-11-19T12:32:05,990   adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec'
2024-11-19T12:32:05,992   adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec'
2024-11-19T12:32:05,994   adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf'
2024-11-19T12:32:05,995   adding 'certora_cli/EquivalenceCheck/Eq_template.spec'
2024-11-19T12:32:05,997   adding 'certora_cli/EquivalenceCheck/__init__.py'
2024-11-19T12:32:05,999   adding 'certora_cli/EquivalenceCheck/equivCheck.py'
2024-11-19T12:32:06,001   adding 'certora_cli/EquivalenceCheck/sanity.spec'
2024-11-19T12:32:06,002   adding 'certora_cli/Mutate/__init__.py'
2024-11-19T12:32:06,012   adding 'certora_cli/Mutate/mutateApp.py'
2024-11-19T12:32:06,015   adding 'certora_cli/Mutate/mutateAttributes.py'
2024-11-19T12:32:06,016   adding 'certora_cli/Mutate/mutateConstants.py'
2024-11-19T12:32:06,018   adding 'certora_cli/Mutate/mutateUtil.py'
2024-11-19T12:32:06,019   adding 'certora_cli/Mutate/mutateValidate.py'
2024-11-19T12:32:06,022   adding 'certora_cli/Shared/ExpectedComparator.py'
2024-11-19T12:32:06,023   adding 'certora_cli/Shared/__init__.py'
2024-11-19T12:32:06,025   adding 'certora_cli/Shared/certoraAttrUtil.py'
2024-11-19T12:32:06,027   adding 'certora_cli/Shared/certoraLogging.py'
2024-11-19T12:32:06,034   adding 'certora_cli/Shared/certoraUtils.py'
2024-11-19T12:32:06,039   adding 'certora_cli/Shared/certoraValidateFuncs.py'
2024-11-19T12:32:06,043   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2024-11-19T12:32:07,917   adding 'certora_jars/Typechecker.jar'
2024-11-19T12:32:08,020   adding 'certora_jars/__init__.py'
2024-11-19T12:32:08,021   adding 'certora_cli_beta_mirror-7.20.1.dist-info/LICENSE'
2024-11-19T12:32:08,022   adding 'certora_cli_beta_mirror-7.20.1.dist-info/METADATA'
2024-11-19T12:32:08,023   adding 'certora_cli_beta_mirror-7.20.1.dist-info/WHEEL'
2024-11-19T12:32:08,024   adding 'certora_cli_beta_mirror-7.20.1.dist-info/entry_points.txt'
2024-11-19T12:32:08,025   adding 'certora_cli_beta_mirror-7.20.1.dist-info/top_level.txt'
2024-11-19T12:32:08,027   adding 'certora_cli_beta_mirror-7.20.1.dist-info/RECORD'
2024-11-19T12:32:08,208   removing build/bdist.linux-armv7l/wheel
2024-11-19T12:32:08,341   Building wheel for certora-cli-beta-mirror (setup.py): finished with status 'done'
2024-11-19T12:32:08,494   Created wheel for certora-cli-beta-mirror: filename=certora_cli_beta_mirror-7.20.1-py3-none-any.whl size=15367730 sha256=4707888361056f07e31e94cc08dbf372e59e7487f05cb4c730b944dcf061af0a
2024-11-19T12:32:08,496   Stored in directory: /tmp/pip-ephem-wheel-cache-y5po7879/wheels/dd/98/11/63e2adf62340e288ebfc9e75b76797aeda1ee1a3052e963069
2024-11-19T12:32:08,517 Successfully built certora-cli-beta-mirror
2024-11-19T12:32:08,911 Removed build tracker: '/tmp/pip-build-tracker-iiyv0h98'