2024-11-02T19:25:58,426 Disabling truststore because Python version isn't 3.10+
2024-11-02T19:25:58,899 Created temporary directory: /tmp/pip-build-tracker-ecrnpytz
2024-11-02T19:25:58,900 Initialized build tracking at /tmp/pip-build-tracker-ecrnpytz
2024-11-02T19:25:58,900 Created build tracker: /tmp/pip-build-tracker-ecrnpytz
2024-11-02T19:25:58,900 Entered build tracker: /tmp/pip-build-tracker-ecrnpytz
2024-11-02T19:25:58,901 Created temporary directory: /tmp/pip-wheel-ttqc2avj
2024-11-02T19:25:58,906 Created temporary directory: /tmp/pip-ephem-wheel-cache-oae3dxe4
2024-11-02T19:25:58,948 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2024-11-02T19:25:58,951 2 location(s) to search for versions of certora-cli-beta-mirror:
2024-11-02T19:25:58,951 * https://pypi.org/simple/certora-cli-beta-mirror/
2024-11-02T19:25:58,951 * https://www.piwheels.org/simple/certora-cli-beta-mirror/
2024-11-02T19:25:58,952 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-beta-mirror/
2024-11-02T19:25:58,952 Getting page https://pypi.org/simple/certora-cli-beta-mirror/
2024-11-02T19:25:58,954 Found index url https://pypi.org/simple/
2024-11-02T19:25:59,118 Fetched page https://pypi.org/simple/certora-cli-beta-mirror/ as application/vnd.pypi.simple.v1+json
2024-11-02T19:25:59,123   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-02T19:25:59,124   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-02T19:25:59,124   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-02T19:25:59,124   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-02T19:25:59,125   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-02T19:25:59,125   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-02T19:25:59,125   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-02T19:25:59,126   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-02T19:25:59,126   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-02T19:25:59,126   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-02T19:25:59,126   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-02T19:25:59,127   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-02T19:25:59,127   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-02T19:25:59,127   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-02T19:25:59,128   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-02T19:25:59,128   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-02T19:25:59,128   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-02T19:25:59,128   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-02T19:25:59,129   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-02T19:25:59,129   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-02T19:25:59,129   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-02T19:25:59,130   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-02T19:25:59,130   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-02T19:25:59,130   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-02T19:25:59,131 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-beta-mirror/
2024-11-02T19:25:59,131 Getting page https://www.piwheels.org/simple/certora-cli-beta-mirror/
2024-11-02T19:25:59,132 Found index url https://www.piwheels.org/simple/
2024-11-02T19:25:59,177 Fetched page https://www.piwheels.org/simple/certora-cli-beta-mirror/ as text/html
2024-11-02T19:25:59,179   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-02T19:25:59,179   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-02T19:25:59,180   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-02T19:25:59,180   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-02T19:25:59,180   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-02T19:25:59,180 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-beta-mirror/
2024-11-02T19:25:59,180 Skipping link: not a file: https://pypi.org/simple/certora-cli-beta-mirror/
2024-11-02T19:25:59,196 Given no hashes to check 1 links for project 'certora-cli-beta-mirror': discarding no candidates
2024-11-02T19:25:59,197 Collecting certora-cli-beta-mirror==7.18.2
2024-11-02T19:25:59,199   Created temporary directory: /tmp/pip-unpack-ww5_3rc3
2024-11-02T19:25:59,369   Downloading certora_cli_beta_mirror-7.18.2.tar.gz (15.3 MB)
2024-11-02T19:26:02,655   Added certora-cli-beta-mirror==7.18.2 from https://files.pythonhosted.org/packages/80/32/2dc6aff1d5b484ec3ebc4872accb93a68ea7af7a4086e241a798c132ccf4/certora_cli_beta_mirror-7.18.2.tar.gz to build tracker '/tmp/pip-build-tracker-ecrnpytz'
2024-11-02T19:26:02,657   Running setup.py (path:/tmp/pip-wheel-ttqc2avj/certora-cli-beta-mirror_d12eda9c413d4abf84e3fb4422c4f08c/setup.py) egg_info for package certora-cli-beta-mirror
2024-11-02T19:26:02,658   Created temporary directory: /tmp/pip-pip-egg-info-86rf4yef
2024-11-02T19:26:02,658   Preparing metadata (setup.py): started
2024-11-02T19:26:02,659   Running command python setup.py egg_info
2024-11-02T19:26:03,722   running egg_info
2024-11-02T19:26:03,748   creating /tmp/pip-pip-egg-info-86rf4yef/certora_cli_beta_mirror.egg-info
2024-11-02T19:26:03,749   writing /tmp/pip-pip-egg-info-86rf4yef/certora_cli_beta_mirror.egg-info/PKG-INFO
2024-11-02T19:26:03,752   writing dependency_links to /tmp/pip-pip-egg-info-86rf4yef/certora_cli_beta_mirror.egg-info/dependency_links.txt
2024-11-02T19:26:03,754   writing entry points to /tmp/pip-pip-egg-info-86rf4yef/certora_cli_beta_mirror.egg-info/entry_points.txt
2024-11-02T19:26:03,756   writing requirements to /tmp/pip-pip-egg-info-86rf4yef/certora_cli_beta_mirror.egg-info/requires.txt
2024-11-02T19:26:03,756   writing top-level names to /tmp/pip-pip-egg-info-86rf4yef/certora_cli_beta_mirror.egg-info/top_level.txt
2024-11-02T19:26:03,758   writing manifest file '/tmp/pip-pip-egg-info-86rf4yef/certora_cli_beta_mirror.egg-info/SOURCES.txt'
2024-11-02T19:26:03,851   reading manifest file '/tmp/pip-pip-egg-info-86rf4yef/certora_cli_beta_mirror.egg-info/SOURCES.txt'
2024-11-02T19:26:03,853   reading manifest template 'MANIFEST.in'
2024-11-02T19:26:03,858   warning: no files found matching 'gambit' under directory 'certora_bins'
2024-11-02T19:26:03,926   adding license file 'LICENSE'
2024-11-02T19:26:03,932   writing manifest file '/tmp/pip-pip-egg-info-86rf4yef/certora_cli_beta_mirror.egg-info/SOURCES.txt'
2024-11-02T19:26:04,021   Preparing metadata (setup.py): finished with status 'done'
2024-11-02T19:26:04,026   Source in /tmp/pip-wheel-ttqc2avj/certora-cli-beta-mirror_d12eda9c413d4abf84e3fb4422c4f08c has version 7.18.2, which satisfies requirement certora-cli-beta-mirror==7.18.2 from https://files.pythonhosted.org/packages/80/32/2dc6aff1d5b484ec3ebc4872accb93a68ea7af7a4086e241a798c132ccf4/certora_cli_beta_mirror-7.18.2.tar.gz
2024-11-02T19:26:04,026   Removed certora-cli-beta-mirror==7.18.2 from https://files.pythonhosted.org/packages/80/32/2dc6aff1d5b484ec3ebc4872accb93a68ea7af7a4086e241a798c132ccf4/certora_cli_beta_mirror-7.18.2.tar.gz from build tracker '/tmp/pip-build-tracker-ecrnpytz'
2024-11-02T19:26:04,036 Created temporary directory: /tmp/pip-unpack-rblpdjnr
2024-11-02T19:26:04,036 Created temporary directory: /tmp/pip-unpack-7hmyfwyg
2024-11-02T19:26:04,037 Building wheels for collected packages: certora-cli-beta-mirror
2024-11-02T19:26:04,041   Created temporary directory: /tmp/pip-wheel-08fhgn6q
2024-11-02T19:26:04,041   Building wheel for certora-cli-beta-mirror (setup.py): started
2024-11-02T19:26:04,042   Destination directory: /tmp/pip-wheel-08fhgn6q
2024-11-02T19:26:04,042   Running command python setup.py bdist_wheel
2024-11-02T19:26:05,066   running bdist_wheel
2024-11-02T19:26:05,196   running build
2024-11-02T19:26:05,196   running build_py
2024-11-02T19:26:05,225   creating build/lib/certora_bins
2024-11-02T19:26:05,227   copying certora_bins/__init__.py -> build/lib/certora_bins
2024-11-02T19:26:05,229   creating build/lib/certora_cli
2024-11-02T19:26:05,230   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2024-11-02T19:26:05,233   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2024-11-02T19:26:05,235   copying certora_cli/__init__.py -> build/lib/certora_cli
2024-11-02T19:26:05,236   copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli
2024-11-02T19:26:05,238   creating build/lib/certora_jars
2024-11-02T19:26:05,239   copying certora_jars/__init__.py -> build/lib/certora_jars
2024-11-02T19:26:05,241   creating build/lib/certora_cli/Mutate
2024-11-02T19:26:05,242   copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate
2024-11-02T19:26:05,245   copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate
2024-11-02T19:26:05,247   copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate
2024-11-02T19:26:05,249   copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate
2024-11-02T19:26:05,250   copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate
2024-11-02T19:26:05,252   copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate
2024-11-02T19:26:05,256   creating build/lib/certora_cli/EquivalenceCheck
2024-11-02T19:26:05,257   copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck
2024-11-02T19:26:05,259   copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck
2024-11-02T19:26:05,262   creating build/lib/certora_cli/Shared
2024-11-02T19:26:05,263   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2024-11-02T19:26:05,266   copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared
2024-11-02T19:26:05,269   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2024-11-02T19:26:05,270   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2024-11-02T19:26:05,273   copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared
2024-11-02T19:26:05,275   copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared
2024-11-02T19:26:05,279   creating build/lib/certora_cli/EVMVerifier
2024-11-02T19:26:05,280   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2024-11-02T19:26:05,286   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2024-11-02T19:26:05,288   copying certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/lib/certora_cli/EVMVerifier
2024-11-02T19:26:05,290   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2024-11-02T19:26:05,292   copying certora_cli/EVMVerifier/certoraContextAttributes.py -> build/lib/certora_cli/EVMVerifier
2024-11-02T19:26:05,295   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2024-11-02T19:26:05,297   copying certora_cli/EVMVerifier/certoraMiniSpecParser.py -> build/lib/certora_cli/EVMVerifier
2024-11-02T19:26:05,299   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2024-11-02T19:26:05,301   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2024-11-02T19:26:05,302   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2024-11-02T19:26:05,305   copying certora_cli/EVMVerifier/certoraVerifyGenerator.py -> build/lib/certora_cli/EVMVerifier
2024-11-02T19:26:05,308   copying certora_cli/EVMVerifier/certoraBuildCacheManager.py -> build/lib/certora_cli/EVMVerifier
2024-11-02T19:26:05,310   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2024-11-02T19:26:05,313   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2024-11-02T19:26:05,315   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2024-11-02T19:26:05,317   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2024-11-02T19:26:05,320   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2024-11-02T19:26:05,322   copying certora_cli/EVMVerifier/certoraContractFuncs.py -> build/lib/certora_cli/EVMVerifier
2024-11-02T19:26:05,325   creating build/lib/certora_cli/EVMVerifier/Compiler
2024-11-02T19:26:05,326   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-11-02T19:26:05,328   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-11-02T19:26:05,330   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-11-02T19:26:05,333   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-11-02T19:26:05,335   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-11-02T19:26:05,337   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-11-02T19:26:05,340   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-11-02T19:26:05,341   running egg_info
2024-11-02T19:26:05,368   writing certora_cli_beta_mirror.egg-info/PKG-INFO
2024-11-02T19:26:05,371   writing dependency_links to certora_cli_beta_mirror.egg-info/dependency_links.txt
2024-11-02T19:26:05,373   writing entry points to certora_cli_beta_mirror.egg-info/entry_points.txt
2024-11-02T19:26:05,374   writing requirements to certora_cli_beta_mirror.egg-info/requires.txt
2024-11-02T19:26:05,375   writing top-level names to certora_cli_beta_mirror.egg-info/top_level.txt
2024-11-02T19:26:05,411   reading manifest file 'certora_cli_beta_mirror.egg-info/SOURCES.txt'
2024-11-02T19:26:05,416   reading manifest template 'MANIFEST.in'
2024-11-02T19:26:05,420   warning: no files found matching 'gambit' under directory 'certora_bins'
2024-11-02T19:26:05,488   adding license file 'LICENSE'
2024-11-02T19:26:05,495   writing manifest file 'certora_cli_beta_mirror.egg-info/SOURCES.txt'
2024-11-02T19:26:05,502   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2024-11-02T19:26:05,504   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2024-11-02T19:26:05,750   copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck
2024-11-02T19:26:05,752   copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck
2024-11-02T19:26:05,754   copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck
2024-11-02T19:26:05,757   copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck
2024-11-02T19:26:05,759   copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck
2024-11-02T19:26:05,761   copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck
2024-11-02T19:26:05,796   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2024-11-02T19:26:05,797   !!

2024-11-02T19:26:05,797           ********************************************************************************
2024-11-02T19:26:05,797           Please avoid running ``setup.py`` directly.
2024-11-02T19:26:05,797           Instead, use pypa/build, pypa/installer or other
2024-11-02T19:26:05,797           standards-based tools.

2024-11-02T19:26:05,797           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2024-11-02T19:26:05,797           ********************************************************************************

2024-11-02T19:26:05,798   !!
2024-11-02T19:26:05,798     self.initialize_options()
2024-11-02T19:26:05,822   installing to build/bdist.linux-armv7l/wheel
2024-11-02T19:26:05,823   running install
2024-11-02T19:26:05,849   running install_lib
2024-11-02T19:26:05,875   creating build/bdist.linux-armv7l/wheel
2024-11-02T19:26:05,877   creating build/bdist.linux-armv7l/wheel/certora_bins
2024-11-02T19:26:05,879   copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins
2024-11-02T19:26:05,881   creating build/bdist.linux-armv7l/wheel/certora_cli
2024-11-02T19:26:05,882   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2024-11-02T19:26:05,885   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2024-11-02T19:26:05,887   creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate
2024-11-02T19:26:05,889   copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2024-11-02T19:26:05,891   copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2024-11-02T19:26:05,894   copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2024-11-02T19:26:05,896   copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2024-11-02T19:26:05,898   copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2024-11-02T19:26:05,900   copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2024-11-02T19:26:05,904   creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2024-11-02T19:26:05,905   copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-11-02T19:26:05,908   copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-11-02T19:26:05,910   copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-11-02T19:26:05,912   copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-11-02T19:26:05,914   copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-11-02T19:26:05,915   copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-11-02T19:26:05,918   copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-11-02T19:26:05,920   copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-11-02T19:26:05,922   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2024-11-02T19:26:05,924   copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2024-11-02T19:26:05,926   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2024-11-02T19:26:05,928   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2024-11-02T19:26:05,931   copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2024-11-02T19:26:05,934   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2024-11-02T19:26:05,936   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2024-11-02T19:26:05,939   copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2024-11-02T19:26:05,942   copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2024-11-02T19:26:05,946   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2024-11-02T19:26:05,948   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2024-11-02T19:26:05,949   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-11-02T19:26:05,952   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-11-02T19:26:05,954   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-11-02T19:26:05,957   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-11-02T19:26:05,959   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-11-02T19:26:05,961   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-11-02T19:26:05,965   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-11-02T19:26:05,967   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-11-02T19:26:05,973   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-11-02T19:26:05,976   copying build/lib/certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-11-02T19:26:05,978   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-11-02T19:26:05,980   copying build/lib/certora_cli/EVMVerifier/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-11-02T19:26:05,984   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-11-02T19:26:05,986   copying build/lib/certora_cli/EVMVerifier/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-11-02T19:26:05,989   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-11-02T19:26:05,991   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-11-02T19:26:05,993   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-11-02T19:26:05,996   copying build/lib/certora_cli/EVMVerifier/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-11-02T19:26:05,999   copying build/lib/certora_cli/EVMVerifier/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-11-02T19:26:06,001   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-11-02T19:26:06,004   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-11-02T19:26:06,007   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-11-02T19:26:06,009   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-11-02T19:26:06,012   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-11-02T19:26:06,014   copying build/lib/certora_cli/EVMVerifier/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-11-02T19:26:06,018   creating build/bdist.linux-armv7l/wheel/certora_jars
2024-11-02T19:26:06,019   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars
2024-11-02T19:26:06,021   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars
2024-11-02T19:26:06,023   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars
2024-11-02T19:26:06,274   running install_egg_info
2024-11-02T19:26:06,306   Copying certora_cli_beta_mirror.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_beta_mirror-7.18.2-py3.9.egg-info
2024-11-02T19:26:06,316   running install_scripts
2024-11-02T19:26:06,333   creating build/bdist.linux-armv7l/wheel/certora_cli_beta_mirror-7.18.2.dist-info/WHEEL
2024-11-02T19:26:06,336   creating '/tmp/pip-wheel-08fhgn6q/certora_cli_beta_mirror-7.18.2-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2024-11-02T19:26:06,338   adding 'certora_bins/__init__.py'
2024-11-02T19:26:06,339   adding 'certora_cli/__init__.py'
2024-11-02T19:26:06,341   adding 'certora_cli/certoraEqCheck.py'
2024-11-02T19:26:06,342   adding 'certora_cli/certoraMutate.py'
2024-11-02T19:26:06,344   adding 'certora_cli/certoraRun.py'
2024-11-02T19:26:06,346   adding 'certora_cli/EVMVerifier/__init__.py'
2024-11-02T19:26:06,371   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2024-11-02T19:26:06,374   adding 'certora_cli/EVMVerifier/certoraBuildCacheManager.py'
2024-11-02T19:26:06,380   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2024-11-02T19:26:06,382   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2024-11-02T19:26:06,384   adding 'certora_cli/EVMVerifier/certoraCompilerParameters.py'
2024-11-02T19:26:06,385   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2024-11-02T19:26:06,389   adding 'certora_cli/EVMVerifier/certoraContext.py'
2024-11-02T19:26:06,393   adding 'certora_cli/EVMVerifier/certoraContextAttributes.py'
2024-11-02T19:26:06,394   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2024-11-02T19:26:06,399   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2024-11-02T19:26:06,401   adding 'certora_cli/EVMVerifier/certoraContractFuncs.py'
2024-11-02T19:26:06,402   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2024-11-02T19:26:06,404   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2024-11-02T19:26:06,406   adding 'certora_cli/EVMVerifier/certoraMiniSpecParser.py'
2024-11-02T19:26:06,407   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2024-11-02T19:26:06,410   adding 'certora_cli/EVMVerifier/certoraType.py'
2024-11-02T19:26:06,412   adding 'certora_cli/EVMVerifier/certoraVerifyGenerator.py'
2024-11-02T19:26:06,414   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2024-11-02T19:26:06,416   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2024-11-02T19:26:06,418   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2024-11-02T19:26:06,419   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py'
2024-11-02T19:26:06,426   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2024-11-02T19:26:06,428   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py'
2024-11-02T19:26:06,429   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2024-11-02T19:26:06,431   adding 'certora_cli/EquivalenceCheck/Eq_default.conf'
2024-11-02T19:26:06,432   adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec'
2024-11-02T19:26:06,434   adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec'
2024-11-02T19:26:06,435   adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf'
2024-11-02T19:26:06,436   adding 'certora_cli/EquivalenceCheck/Eq_template.spec'
2024-11-02T19:26:06,437   adding 'certora_cli/EquivalenceCheck/__init__.py'
2024-11-02T19:26:06,440   adding 'certora_cli/EquivalenceCheck/equivCheck.py'
2024-11-02T19:26:06,441   adding 'certora_cli/EquivalenceCheck/sanity.spec'
2024-11-02T19:26:06,443   adding 'certora_cli/Mutate/__init__.py'
2024-11-02T19:26:06,452   adding 'certora_cli/Mutate/mutateApp.py'
2024-11-02T19:26:06,455   adding 'certora_cli/Mutate/mutateAttributes.py'
2024-11-02T19:26:06,456   adding 'certora_cli/Mutate/mutateConstants.py'
2024-11-02T19:26:06,458   adding 'certora_cli/Mutate/mutateUtil.py'
2024-11-02T19:26:06,459   adding 'certora_cli/Mutate/mutateValidate.py'
2024-11-02T19:26:06,462   adding 'certora_cli/Shared/ExpectedComparator.py'
2024-11-02T19:26:06,464   adding 'certora_cli/Shared/__init__.py'
2024-11-02T19:26:06,465   adding 'certora_cli/Shared/certoraAttrUtil.py'
2024-11-02T19:26:06,467   adding 'certora_cli/Shared/certoraLogging.py'
2024-11-02T19:26:06,475   adding 'certora_cli/Shared/certoraUtils.py'
2024-11-02T19:26:06,480   adding 'certora_cli/Shared/certoraValidateFuncs.py'
2024-11-02T19:26:06,483   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2024-11-02T19:26:08,420   adding 'certora_jars/Typechecker.jar'
2024-11-02T19:26:08,522   adding 'certora_jars/__init__.py'
2024-11-02T19:26:08,523   adding 'certora_cli_beta_mirror-7.18.2.dist-info/LICENSE'
2024-11-02T19:26:08,525   adding 'certora_cli_beta_mirror-7.18.2.dist-info/METADATA'
2024-11-02T19:26:08,525   adding 'certora_cli_beta_mirror-7.18.2.dist-info/WHEEL'
2024-11-02T19:26:08,526   adding 'certora_cli_beta_mirror-7.18.2.dist-info/entry_points.txt'
2024-11-02T19:26:08,527   adding 'certora_cli_beta_mirror-7.18.2.dist-info/top_level.txt'
2024-11-02T19:26:08,529   adding 'certora_cli_beta_mirror-7.18.2.dist-info/RECORD'
2024-11-02T19:26:08,687   removing build/bdist.linux-armv7l/wheel
2024-11-02T19:26:08,801   Building wheel for certora-cli-beta-mirror (setup.py): finished with status 'done'
2024-11-02T19:26:08,954   Created wheel for certora-cli-beta-mirror: filename=certora_cli_beta_mirror-7.18.2-py3-none-any.whl size=15335417 sha256=e3c4f26d0056c4eadbe9e924c395fe31ba90e0853c6195bdf50b7a7b4f1d9ff9
2024-11-02T19:26:08,955   Stored in directory: /tmp/pip-ephem-wheel-cache-oae3dxe4/wheels/73/0b/21/76f397014225adf1a852adab2e64ce4f8432f83f1bcbb22e59
2024-11-02T19:26:08,972 Successfully built certora-cli-beta-mirror
2024-11-02T19:26:09,352 Removed build tracker: '/tmp/pip-build-tracker-ecrnpytz'