2024-10-13T18:21:24,322 Created temporary directory: /tmp/pip-build-tracker-znyvgugz
2024-10-13T18:21:24,323 Initialized build tracking at /tmp/pip-build-tracker-znyvgugz
2024-10-13T18:21:24,324 Created build tracker: /tmp/pip-build-tracker-znyvgugz
2024-10-13T18:21:24,324 Entered build tracker: /tmp/pip-build-tracker-znyvgugz
2024-10-13T18:21:24,325 Created temporary directory: /tmp/pip-wheel-_zpsh4ci
2024-10-13T18:21:24,329 Created temporary directory: /tmp/pip-ephem-wheel-cache-fqv_i48j
2024-10-13T18:21:24,374 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2024-10-13T18:21:24,376 2 location(s) to search for versions of certora-cli-beta-mirror:
2024-10-13T18:21:24,376 * https://pypi.org/simple/certora-cli-beta-mirror/
2024-10-13T18:21:24,376 * https://www.piwheels.org/simple/certora-cli-beta-mirror/
2024-10-13T18:21:24,377 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-beta-mirror/
2024-10-13T18:21:24,378 Getting page https://pypi.org/simple/certora-cli-beta-mirror/
2024-10-13T18:21:24,380 Found index url https://pypi.org/simple/
2024-10-13T18:21:24,602 Fetched page https://pypi.org/simple/certora-cli-beta-mirror/ as application/vnd.pypi.simple.v1+json
2024-10-13T18:21:24,606   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-10-13T18:21:24,607   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-10-13T18:21:24,607   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-10-13T18:21:24,608   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-10-13T18:21:24,609   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-10-13T18:21:24,609   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-10-13T18:21:24,610   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-10-13T18:21:24,611   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-10-13T18:21:24,612   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-10-13T18:21:24,612   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-10-13T18:21:24,613   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-10-13T18:21:24,614   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-10-13T18:21:24,615   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-10-13T18:21:24,615   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-10-13T18:21:24,616   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-10-13T18:21:24,616   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-10-13T18:21:24,617 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-beta-mirror/
2024-10-13T18:21:24,618 Getting page https://www.piwheels.org/simple/certora-cli-beta-mirror/
2024-10-13T18:21:24,619 Found index url https://www.piwheels.org/simple/
2024-10-13T18:21:24,779 Fetched page https://www.piwheels.org/simple/certora-cli-beta-mirror/ as text/html
2024-10-13T18:21:24,781   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-10-13T18:21:24,782   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-10-13T18:21:24,783   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-10-13T18:21:24,783 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-beta-mirror/
2024-10-13T18:21:24,784 Skipping link: not a file: https://pypi.org/simple/certora-cli-beta-mirror/
2024-10-13T18:21:24,802 Given no hashes to check 1 links for project 'certora-cli-beta-mirror': discarding no candidates
2024-10-13T18:21:24,804 Collecting certora-cli-beta-mirror==7.18.0
2024-10-13T18:21:24,807   Created temporary directory: /tmp/pip-unpack-vkvoph6l
2024-10-13T18:21:25,044   Downloading certora_cli_beta_mirror-7.18.0.tar.gz (15.3 MB)
2024-10-13T18:21:27,842   Added certora-cli-beta-mirror==7.18.0 from https://files.pythonhosted.org/packages/61/67/500481a15ea47b2fca79f0711eb601685a33a3b11b85df4cf4806a4e6284/certora_cli_beta_mirror-7.18.0.tar.gz to build tracker '/tmp/pip-build-tracker-znyvgugz'
2024-10-13T18:21:27,844   Running setup.py (path:/tmp/pip-wheel-_zpsh4ci/certora-cli-beta-mirror_30ff9fd20ff64a4b882f04edc96273b0/setup.py) egg_info for package certora-cli-beta-mirror
2024-10-13T18:21:27,845   Created temporary directory: /tmp/pip-pip-egg-info-2oev8f81
2024-10-13T18:21:27,845   Preparing metadata (setup.py): started
2024-10-13T18:21:27,846   Running command python setup.py egg_info
2024-10-13T18:21:28,937   running egg_info
2024-10-13T18:21:28,939   creating /tmp/pip-pip-egg-info-2oev8f81/certora_cli_beta_mirror.egg-info
2024-10-13T18:21:28,967   writing /tmp/pip-pip-egg-info-2oev8f81/certora_cli_beta_mirror.egg-info/PKG-INFO
2024-10-13T18:21:28,970   writing dependency_links to /tmp/pip-pip-egg-info-2oev8f81/certora_cli_beta_mirror.egg-info/dependency_links.txt
2024-10-13T18:21:28,972   writing entry points to /tmp/pip-pip-egg-info-2oev8f81/certora_cli_beta_mirror.egg-info/entry_points.txt
2024-10-13T18:21:28,973   writing requirements to /tmp/pip-pip-egg-info-2oev8f81/certora_cli_beta_mirror.egg-info/requires.txt
2024-10-13T18:21:28,974   writing top-level names to /tmp/pip-pip-egg-info-2oev8f81/certora_cli_beta_mirror.egg-info/top_level.txt
2024-10-13T18:21:28,975   writing manifest file '/tmp/pip-pip-egg-info-2oev8f81/certora_cli_beta_mirror.egg-info/SOURCES.txt'
2024-10-13T18:21:29,073   reading manifest file '/tmp/pip-pip-egg-info-2oev8f81/certora_cli_beta_mirror.egg-info/SOURCES.txt'
2024-10-13T18:21:29,074   reading manifest template 'MANIFEST.in'
2024-10-13T18:21:29,079   warning: no files found matching 'gambit' under directory 'certora_bins'
2024-10-13T18:21:29,144   adding license file 'LICENSE'
2024-10-13T18:21:29,148   writing manifest file '/tmp/pip-pip-egg-info-2oev8f81/certora_cli_beta_mirror.egg-info/SOURCES.txt'
2024-10-13T18:21:29,258   Preparing metadata (setup.py): finished with status 'done'
2024-10-13T18:21:29,263   Source in /tmp/pip-wheel-_zpsh4ci/certora-cli-beta-mirror_30ff9fd20ff64a4b882f04edc96273b0 has version 7.18.0, which satisfies requirement certora-cli-beta-mirror==7.18.0 from https://files.pythonhosted.org/packages/61/67/500481a15ea47b2fca79f0711eb601685a33a3b11b85df4cf4806a4e6284/certora_cli_beta_mirror-7.18.0.tar.gz
2024-10-13T18:21:29,263   Removed certora-cli-beta-mirror==7.18.0 from https://files.pythonhosted.org/packages/61/67/500481a15ea47b2fca79f0711eb601685a33a3b11b85df4cf4806a4e6284/certora_cli_beta_mirror-7.18.0.tar.gz from build tracker '/tmp/pip-build-tracker-znyvgugz'
2024-10-13T18:21:29,270 Created temporary directory: /tmp/pip-unpack-65i84jaw
2024-10-13T18:21:29,271 Created temporary directory: /tmp/pip-unpack-0jwuc_2n
2024-10-13T18:21:29,272 Building wheels for collected packages: certora-cli-beta-mirror
2024-10-13T18:21:29,276   Created temporary directory: /tmp/pip-wheel-tk05dzsd
2024-10-13T18:21:29,276   Building wheel for certora-cli-beta-mirror (setup.py): started
2024-10-13T18:21:29,278   Destination directory: /tmp/pip-wheel-tk05dzsd
2024-10-13T18:21:29,278   Running command python setup.py bdist_wheel
2024-10-13T18:21:30,363   running bdist_wheel
2024-10-13T18:21:30,506   running build
2024-10-13T18:21:30,507   running build_py
2024-10-13T18:21:30,541   creating build/lib/certora_cli
2024-10-13T18:21:30,543   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2024-10-13T18:21:30,545   copying certora_cli/__init__.py -> build/lib/certora_cli
2024-10-13T18:21:30,547   copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli
2024-10-13T18:21:30,549   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2024-10-13T18:21:30,552   creating build/lib/certora_bins
2024-10-13T18:21:30,553   copying certora_bins/__init__.py -> build/lib/certora_bins
2024-10-13T18:21:30,555   creating build/lib/certora_jars
2024-10-13T18:21:30,556   copying certora_jars/__init__.py -> build/lib/certora_jars
2024-10-13T18:21:30,559   creating build/lib/certora_cli/Mutate
2024-10-13T18:21:30,560   copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate
2024-10-13T18:21:30,563   copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate
2024-10-13T18:21:30,565   copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate
2024-10-13T18:21:30,567   copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate
2024-10-13T18:21:30,568   copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate
2024-10-13T18:21:30,571   copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate
2024-10-13T18:21:30,576   creating build/lib/certora_cli/EVMVerifier
2024-10-13T18:21:30,577   copying certora_cli/EVMVerifier/certoraMiniSpecParser.py -> build/lib/certora_cli/EVMVerifier
2024-10-13T18:21:30,579   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2024-10-13T18:21:30,582   copying certora_cli/EVMVerifier/certoraBuildCacheManager.py -> build/lib/certora_cli/EVMVerifier
2024-10-13T18:21:30,585   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2024-10-13T18:21:30,594   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2024-10-13T18:21:30,596   copying certora_cli/EVMVerifier/certoraVerifyGenerator.py -> build/lib/certora_cli/EVMVerifier
2024-10-13T18:21:30,598   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2024-10-13T18:21:30,601   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2024-10-13T18:21:30,604   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2024-10-13T18:21:30,606   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2024-10-13T18:21:30,608   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2024-10-13T18:21:30,610   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2024-10-13T18:21:30,614   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2024-10-13T18:21:30,616   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2024-10-13T18:21:30,618   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2024-10-13T18:21:30,620   copying certora_cli/EVMVerifier/certoraContextAttributes.py -> build/lib/certora_cli/EVMVerifier
2024-10-13T18:21:30,623   copying certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/lib/certora_cli/EVMVerifier
2024-10-13T18:21:30,625   copying certora_cli/EVMVerifier/certoraContractFuncs.py -> build/lib/certora_cli/EVMVerifier
2024-10-13T18:21:30,628   creating build/lib/certora_cli/Shared
2024-10-13T18:21:30,629   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2024-10-13T18:21:30,632   copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared
2024-10-13T18:21:30,634   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2024-10-13T18:21:30,636   copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared
2024-10-13T18:21:30,639   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2024-10-13T18:21:30,643   copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared
2024-10-13T18:21:30,646   creating build/lib/certora_cli/EquivalenceCheck
2024-10-13T18:21:30,647   copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck
2024-10-13T18:21:30,649   copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck
2024-10-13T18:21:30,653   creating build/lib/certora_cli/EVMVerifier/Compiler
2024-10-13T18:21:30,654   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-10-13T18:21:30,656   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-10-13T18:21:30,658   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-10-13T18:21:30,660   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-10-13T18:21:30,662   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-10-13T18:21:30,664   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-10-13T18:21:30,668   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-10-13T18:21:30,669   running egg_info
2024-10-13T18:21:30,697   writing certora_cli_beta_mirror.egg-info/PKG-INFO
2024-10-13T18:21:30,700   writing dependency_links to certora_cli_beta_mirror.egg-info/dependency_links.txt
2024-10-13T18:21:30,702   writing entry points to certora_cli_beta_mirror.egg-info/entry_points.txt
2024-10-13T18:21:30,703   writing requirements to certora_cli_beta_mirror.egg-info/requires.txt
2024-10-13T18:21:30,704   writing top-level names to certora_cli_beta_mirror.egg-info/top_level.txt
2024-10-13T18:21:30,741   reading manifest file 'certora_cli_beta_mirror.egg-info/SOURCES.txt'
2024-10-13T18:21:30,748   reading manifest template 'MANIFEST.in'
2024-10-13T18:21:30,753   warning: no files found matching 'gambit' under directory 'certora_bins'
2024-10-13T18:21:30,826   adding license file 'LICENSE'
2024-10-13T18:21:30,831   writing manifest file 'certora_cli_beta_mirror.egg-info/SOURCES.txt'
2024-10-13T18:21:30,837   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2024-10-13T18:21:30,840   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2024-10-13T18:21:31,098   copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck
2024-10-13T18:21:31,101   copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck
2024-10-13T18:21:31,103   copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck
2024-10-13T18:21:31,106   copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck
2024-10-13T18:21:31,108   copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck
2024-10-13T18:21:31,111   copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck
2024-10-13T18:21:31,145   /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2024-10-13T18:21:31,145   !!

2024-10-13T18:21:31,147           ********************************************************************************
2024-10-13T18:21:31,147           Please avoid running ``setup.py`` directly.
2024-10-13T18:21:31,148           Instead, use pypa/build, pypa/installer or other
2024-10-13T18:21:31,148           standards-based tools.

2024-10-13T18:21:31,149           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2024-10-13T18:21:31,150           ********************************************************************************

2024-10-13T18:21:31,151   !!
2024-10-13T18:21:31,152     self.initialize_options()
2024-10-13T18:21:31,176   installing to build/bdist.linux-armv7l/wheel
2024-10-13T18:21:31,177   running install
2024-10-13T18:21:31,202   running install_lib
2024-10-13T18:21:31,230   creating build/bdist.linux-armv7l/wheel
2024-10-13T18:21:31,232   creating build/bdist.linux-armv7l/wheel/certora_cli
2024-10-13T18:21:31,234   creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate
2024-10-13T18:21:31,236   copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2024-10-13T18:21:31,239   copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2024-10-13T18:21:31,241   copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2024-10-13T18:21:31,243   copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2024-10-13T18:21:31,245   copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2024-10-13T18:21:31,248   copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2024-10-13T18:21:31,252   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2024-10-13T18:21:31,253   copying build/lib/certora_cli/EVMVerifier/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-10-13T18:21:31,256   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-10-13T18:21:31,259   copying build/lib/certora_cli/EVMVerifier/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-10-13T18:21:31,261   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-10-13T18:21:31,267   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-10-13T18:21:31,270   copying build/lib/certora_cli/EVMVerifier/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-10-13T18:21:31,272   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-10-13T18:21:31,275   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-10-13T18:21:31,278   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-10-13T18:21:31,280   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-10-13T18:21:31,282   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-10-13T18:21:31,285   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-10-13T18:21:31,288   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-10-13T18:21:31,291   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-10-13T18:21:31,294   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-10-13T18:21:31,296   copying build/lib/certora_cli/EVMVerifier/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-10-13T18:21:31,302   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2024-10-13T18:21:31,303   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-10-13T18:21:31,307   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-10-13T18:21:31,309   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-10-13T18:21:31,312   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-10-13T18:21:31,315   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-10-13T18:21:31,318   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-10-13T18:21:31,322   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-10-13T18:21:31,325   copying build/lib/certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-10-13T18:21:31,327   copying build/lib/certora_cli/EVMVerifier/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-10-13T18:21:31,330   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2024-10-13T18:21:31,332   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2024-10-13T18:21:31,334   copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2024-10-13T18:21:31,337   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2024-10-13T18:21:31,338   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2024-10-13T18:21:31,341   copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2024-10-13T18:21:31,344   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2024-10-13T18:21:31,346   copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2024-10-13T18:21:31,349   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2024-10-13T18:21:31,352   copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2024-10-13T18:21:31,356   creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2024-10-13T18:21:31,358   copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-10-13T18:21:31,360   copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-10-13T18:21:31,362   copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-10-13T18:21:31,364   copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-10-13T18:21:31,366   copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-10-13T18:21:31,368   copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-10-13T18:21:31,371   copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-10-13T18:21:31,373   copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-10-13T18:21:31,375   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2024-10-13T18:21:31,379   creating build/bdist.linux-armv7l/wheel/certora_bins
2024-10-13T18:21:31,380   copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins
2024-10-13T18:21:31,383   creating build/bdist.linux-armv7l/wheel/certora_jars
2024-10-13T18:21:31,384   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars
2024-10-13T18:21:31,386   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars
2024-10-13T18:21:31,635   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars
2024-10-13T18:21:31,636   running install_egg_info
2024-10-13T18:21:31,671   Copying certora_cli_beta_mirror.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_beta_mirror-7.18.0-py3.11.egg-info
2024-10-13T18:21:31,682   running install_scripts
2024-10-13T18:21:31,696   creating build/bdist.linux-armv7l/wheel/certora_cli_beta_mirror-7.18.0.dist-info/WHEEL
2024-10-13T18:21:31,698   creating '/tmp/pip-wheel-tk05dzsd/certora_cli_beta_mirror-7.18.0-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2024-10-13T18:21:31,700   adding 'certora_bins/__init__.py'
2024-10-13T18:21:31,702   adding 'certora_cli/__init__.py'
2024-10-13T18:21:31,703   adding 'certora_cli/certoraEqCheck.py'
2024-10-13T18:21:31,705   adding 'certora_cli/certoraMutate.py'
2024-10-13T18:21:31,707   adding 'certora_cli/certoraRun.py'
2024-10-13T18:21:31,708   adding 'certora_cli/EVMVerifier/__init__.py'
2024-10-13T18:21:31,732   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2024-10-13T18:21:31,735   adding 'certora_cli/EVMVerifier/certoraBuildCacheManager.py'
2024-10-13T18:21:31,741   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2024-10-13T18:21:31,743   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2024-10-13T18:21:31,745   adding 'certora_cli/EVMVerifier/certoraCompilerParameters.py'
2024-10-13T18:21:31,746   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2024-10-13T18:21:31,749   adding 'certora_cli/EVMVerifier/certoraContext.py'
2024-10-13T18:21:31,754   adding 'certora_cli/EVMVerifier/certoraContextAttributes.py'
2024-10-13T18:21:31,755   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2024-10-13T18:21:31,759   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2024-10-13T18:21:31,761   adding 'certora_cli/EVMVerifier/certoraContractFuncs.py'
2024-10-13T18:21:31,762   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2024-10-13T18:21:31,764   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2024-10-13T18:21:31,766   adding 'certora_cli/EVMVerifier/certoraMiniSpecParser.py'
2024-10-13T18:21:31,767   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2024-10-13T18:21:31,770   adding 'certora_cli/EVMVerifier/certoraType.py'
2024-10-13T18:21:31,772   adding 'certora_cli/EVMVerifier/certoraVerifyGenerator.py'
2024-10-13T18:21:31,774   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2024-10-13T18:21:31,776   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2024-10-13T18:21:31,778   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2024-10-13T18:21:31,779   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py'
2024-10-13T18:21:31,786   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2024-10-13T18:21:31,788   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py'
2024-10-13T18:21:31,789   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2024-10-13T18:21:31,791   adding 'certora_cli/EquivalenceCheck/Eq_default.conf'
2024-10-13T18:21:31,792   adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec'
2024-10-13T18:21:31,794   adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec'
2024-10-13T18:21:31,795   adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf'
2024-10-13T18:21:31,796   adding 'certora_cli/EquivalenceCheck/Eq_template.spec'
2024-10-13T18:21:31,797   adding 'certora_cli/EquivalenceCheck/__init__.py'
2024-10-13T18:21:31,800   adding 'certora_cli/EquivalenceCheck/equivCheck.py'
2024-10-13T18:21:31,801   adding 'certora_cli/EquivalenceCheck/sanity.spec'
2024-10-13T18:21:31,803   adding 'certora_cli/Mutate/__init__.py'
2024-10-13T18:21:31,812   adding 'certora_cli/Mutate/mutateApp.py'
2024-10-13T18:21:31,814   adding 'certora_cli/Mutate/mutateAttributes.py'
2024-10-13T18:21:31,816   adding 'certora_cli/Mutate/mutateConstants.py'
2024-10-13T18:21:31,817   adding 'certora_cli/Mutate/mutateUtil.py'
2024-10-13T18:21:31,819   adding 'certora_cli/Mutate/mutateValidate.py'
2024-10-13T18:21:31,822   adding 'certora_cli/Shared/ExpectedComparator.py'
2024-10-13T18:21:31,823   adding 'certora_cli/Shared/__init__.py'
2024-10-13T18:21:31,824   adding 'certora_cli/Shared/certoraAttrUtil.py'
2024-10-13T18:21:31,826   adding 'certora_cli/Shared/certoraLogging.py'
2024-10-13T18:21:31,833   adding 'certora_cli/Shared/certoraUtils.py'
2024-10-13T18:21:31,838   adding 'certora_cli/Shared/certoraValidateFuncs.py'
2024-10-13T18:21:31,840   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2024-10-13T18:21:33,707   adding 'certora_jars/Typechecker.jar'
2024-10-13T18:21:33,810   adding 'certora_jars/__init__.py'
2024-10-13T18:21:33,811   adding 'certora_cli_beta_mirror-7.18.0.dist-info/LICENSE'
2024-10-13T18:21:33,812   adding 'certora_cli_beta_mirror-7.18.0.dist-info/METADATA'
2024-10-13T18:21:33,813   adding 'certora_cli_beta_mirror-7.18.0.dist-info/WHEEL'
2024-10-13T18:21:33,814   adding 'certora_cli_beta_mirror-7.18.0.dist-info/entry_points.txt'
2024-10-13T18:21:33,815   adding 'certora_cli_beta_mirror-7.18.0.dist-info/top_level.txt'
2024-10-13T18:21:33,816   adding 'certora_cli_beta_mirror-7.18.0.dist-info/RECORD'
2024-10-13T18:21:33,892   removing build/bdist.linux-armv7l/wheel
2024-10-13T18:21:34,032   Building wheel for certora-cli-beta-mirror (setup.py): finished with status 'done'
2024-10-13T18:21:34,185   Created wheel for certora-cli-beta-mirror: filename=certora_cli_beta_mirror-7.18.0-py3-none-any.whl size=15316394 sha256=e7a42a97fd7829ed5211fc7e1d3e5ed06f3474c0980834d12a288c80587d1bec
2024-10-13T18:21:34,186   Stored in directory: /tmp/pip-ephem-wheel-cache-fqv_i48j/wheels/30/01/32/e696bd587a836d8c7f64cf7d9d06ca1b2b2df700fa8e307a63
2024-10-13T18:21:34,203 Successfully built certora-cli-beta-mirror
2024-10-13T18:21:34,557 Removed build tracker: '/tmp/pip-build-tracker-znyvgugz'