2024-09-27T22:31:28,356 Created temporary directory: /tmp/pip-build-tracker-dxqahke5
2024-09-27T22:31:28,358 Initialized build tracking at /tmp/pip-build-tracker-dxqahke5
2024-09-27T22:31:28,358 Created build tracker: /tmp/pip-build-tracker-dxqahke5
2024-09-27T22:31:28,359 Entered build tracker: /tmp/pip-build-tracker-dxqahke5
2024-09-27T22:31:28,359 Created temporary directory: /tmp/pip-wheel-2ye3cpcg
2024-09-27T22:31:28,363 Created temporary directory: /tmp/pip-ephem-wheel-cache-p22p0614
2024-09-27T22:31:28,405 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2024-09-27T22:31:28,408 2 location(s) to search for versions of certora-cli-beta-mirror:
2024-09-27T22:31:28,408 * https://pypi.org/simple/certora-cli-beta-mirror/
2024-09-27T22:31:28,408 * https://www.piwheels.org/simple/certora-cli-beta-mirror/
2024-09-27T22:31:28,409 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-beta-mirror/
2024-09-27T22:31:28,410 Getting page https://pypi.org/simple/certora-cli-beta-mirror/
2024-09-27T22:31:28,411 Found index url https://pypi.org/simple/
2024-09-27T22:31:28,633 Fetched page https://pypi.org/simple/certora-cli-beta-mirror/ as application/vnd.pypi.simple.v1+json
2024-09-27T22:31:28,634   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-09-27T22:31:28,635   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-09-27T22:31:28,636   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-09-27T22:31:28,636   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-09-27T22:31:28,637 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-beta-mirror/
2024-09-27T22:31:28,638 Getting page https://www.piwheels.org/simple/certora-cli-beta-mirror/
2024-09-27T22:31:28,639 Found index url https://www.piwheels.org/simple/
2024-09-27T22:31:28,806 Fetched page https://www.piwheels.org/simple/certora-cli-beta-mirror/ as text/html
2024-09-27T22:31:28,807 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-beta-mirror/
2024-09-27T22:31:28,808 Skipping link: not a file: https://pypi.org/simple/certora-cli-beta-mirror/
2024-09-27T22:31:28,825 Given no hashes to check 1 links for project 'certora-cli-beta-mirror': discarding no candidates
2024-09-27T22:31:28,827 Collecting certora-cli-beta-mirror==7.17.0
2024-09-27T22:31:28,830   Created temporary directory: /tmp/pip-unpack-v3z_f_r7
2024-09-27T22:31:29,269   Downloading certora_cli_beta_mirror-7.17.0.tar.gz (15.2 MB)
2024-09-27T22:31:33,332   Added certora-cli-beta-mirror==7.17.0 from https://files.pythonhosted.org/packages/78/7b/565eb89fa95f53318cfffdfaf3c30fa425edcab7f5c3ff4132afa5d1498e/certora_cli_beta_mirror-7.17.0.tar.gz to build tracker '/tmp/pip-build-tracker-dxqahke5'
2024-09-27T22:31:33,336   Running setup.py (path:/tmp/pip-wheel-2ye3cpcg/certora-cli-beta-mirror_809498bb9c784b3c8cc8238091a5fb7a/setup.py) egg_info for package certora-cli-beta-mirror
2024-09-27T22:31:33,337   Created temporary directory: /tmp/pip-pip-egg-info-qh7ztkd5
2024-09-27T22:31:33,338   Preparing metadata (setup.py): started
2024-09-27T22:31:33,339   Running command python setup.py egg_info
2024-09-27T22:31:34,438   running egg_info
2024-09-27T22:31:34,441   creating /tmp/pip-pip-egg-info-qh7ztkd5/certora_cli_beta_mirror.egg-info
2024-09-27T22:31:34,468   writing /tmp/pip-pip-egg-info-qh7ztkd5/certora_cli_beta_mirror.egg-info/PKG-INFO
2024-09-27T22:31:34,472   writing dependency_links to /tmp/pip-pip-egg-info-qh7ztkd5/certora_cli_beta_mirror.egg-info/dependency_links.txt
2024-09-27T22:31:34,474   writing entry points to /tmp/pip-pip-egg-info-qh7ztkd5/certora_cli_beta_mirror.egg-info/entry_points.txt
2024-09-27T22:31:34,476   writing requirements to /tmp/pip-pip-egg-info-qh7ztkd5/certora_cli_beta_mirror.egg-info/requires.txt
2024-09-27T22:31:34,478   writing top-level names to /tmp/pip-pip-egg-info-qh7ztkd5/certora_cli_beta_mirror.egg-info/top_level.txt
2024-09-27T22:31:34,480   writing manifest file '/tmp/pip-pip-egg-info-qh7ztkd5/certora_cli_beta_mirror.egg-info/SOURCES.txt'
2024-09-27T22:31:34,581   reading manifest file '/tmp/pip-pip-egg-info-qh7ztkd5/certora_cli_beta_mirror.egg-info/SOURCES.txt'
2024-09-27T22:31:34,583   reading manifest template 'MANIFEST.in'
2024-09-27T22:31:34,588   warning: no files found matching 'gambit' under directory 'certora_bins'
2024-09-27T22:31:34,669   adding license file 'LICENSE'
2024-09-27T22:31:34,673   writing manifest file '/tmp/pip-pip-egg-info-qh7ztkd5/certora_cli_beta_mirror.egg-info/SOURCES.txt'
2024-09-27T22:31:34,782   Preparing metadata (setup.py): finished with status 'done'
2024-09-27T22:31:34,786   Source in /tmp/pip-wheel-2ye3cpcg/certora-cli-beta-mirror_809498bb9c784b3c8cc8238091a5fb7a has version 7.17.0, which satisfies requirement certora-cli-beta-mirror==7.17.0 from https://files.pythonhosted.org/packages/78/7b/565eb89fa95f53318cfffdfaf3c30fa425edcab7f5c3ff4132afa5d1498e/certora_cli_beta_mirror-7.17.0.tar.gz
2024-09-27T22:31:34,787   Removed certora-cli-beta-mirror==7.17.0 from https://files.pythonhosted.org/packages/78/7b/565eb89fa95f53318cfffdfaf3c30fa425edcab7f5c3ff4132afa5d1498e/certora_cli_beta_mirror-7.17.0.tar.gz from build tracker '/tmp/pip-build-tracker-dxqahke5'
2024-09-27T22:31:34,794 Created temporary directory: /tmp/pip-unpack-5ev6k141
2024-09-27T22:31:34,795 Created temporary directory: /tmp/pip-unpack-rn45s67g
2024-09-27T22:31:34,795 Building wheels for collected packages: certora-cli-beta-mirror
2024-09-27T22:31:34,799   Created temporary directory: /tmp/pip-wheel-05mfrl7q
2024-09-27T22:31:34,800   Building wheel for certora-cli-beta-mirror (setup.py): started
2024-09-27T22:31:34,801   Destination directory: /tmp/pip-wheel-05mfrl7q
2024-09-27T22:31:34,802   Running command python setup.py bdist_wheel
2024-09-27T22:31:35,869   running bdist_wheel
2024-09-27T22:31:36,002   running build
2024-09-27T22:31:36,002   running build_py
2024-09-27T22:31:36,035   creating build/lib/certora_bins
2024-09-27T22:31:36,038   copying certora_bins/__init__.py -> build/lib/certora_bins
2024-09-27T22:31:36,040   creating build/lib/certora_jars
2024-09-27T22:31:36,041   copying certora_jars/__init__.py -> build/lib/certora_jars
2024-09-27T22:31:36,044   creating build/lib/certora_cli
2024-09-27T22:31:36,045   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2024-09-27T22:31:36,047   copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli
2024-09-27T22:31:36,049   copying certora_cli/__init__.py -> build/lib/certora_cli
2024-09-27T22:31:36,050   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2024-09-27T22:31:36,054   creating build/lib/certora_cli/EVMVerifier
2024-09-27T22:31:36,055   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2024-09-27T22:31:36,057   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2024-09-27T22:31:36,059   copying certora_cli/EVMVerifier/certoraVerifyGenerator.py -> build/lib/certora_cli/EVMVerifier
2024-09-27T22:31:36,061   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2024-09-27T22:31:36,063   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2024-09-27T22:31:36,066   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2024-09-27T22:31:36,070   copying certora_cli/EVMVerifier/certoraMiniSpecParser.py -> build/lib/certora_cli/EVMVerifier
2024-09-27T22:31:36,072   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2024-09-27T22:31:36,074   copying certora_cli/EVMVerifier/certoraContextAttributes.py -> build/lib/certora_cli/EVMVerifier
2024-09-27T22:31:36,077   copying certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/lib/certora_cli/EVMVerifier
2024-09-27T22:31:36,079   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2024-09-27T22:31:36,086   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2024-09-27T22:31:36,087   copying certora_cli/EVMVerifier/certoraBuildCacheManager.py -> build/lib/certora_cli/EVMVerifier
2024-09-27T22:31:36,090   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2024-09-27T22:31:36,093   copying certora_cli/EVMVerifier/certoraContractFuncs.py -> build/lib/certora_cli/EVMVerifier
2024-09-27T22:31:36,095   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2024-09-27T22:31:36,098   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2024-09-27T22:31:36,100   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2024-09-27T22:31:36,102   creating build/lib/certora_cli/EquivalenceCheck
2024-09-27T22:31:36,103   copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck
2024-09-27T22:31:36,106   copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck
2024-09-27T22:31:36,108   creating build/lib/certora_cli/Shared
2024-09-27T22:31:36,109   copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared
2024-09-27T22:31:36,112   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2024-09-27T22:31:36,115   copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared
2024-09-27T22:31:36,118   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2024-09-27T22:31:36,120   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2024-09-27T22:31:36,122   copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared
2024-09-27T22:31:36,126   creating build/lib/certora_cli/Mutate
2024-09-27T22:31:36,127   copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate
2024-09-27T22:31:36,130   copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate
2024-09-27T22:31:36,131   copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate
2024-09-27T22:31:36,135   copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate
2024-09-27T22:31:36,137   copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate
2024-09-27T22:31:36,139   copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate
2024-09-27T22:31:36,142   creating build/lib/certora_cli/EVMVerifier/Compiler
2024-09-27T22:31:36,143   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-09-27T22:31:36,145   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-09-27T22:31:36,147   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-09-27T22:31:36,150   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-09-27T22:31:36,153   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-09-27T22:31:36,155   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-09-27T22:31:36,157   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-09-27T22:31:36,159   running egg_info
2024-09-27T22:31:36,186   writing certora_cli_beta_mirror.egg-info/PKG-INFO
2024-09-27T22:31:36,189   writing dependency_links to certora_cli_beta_mirror.egg-info/dependency_links.txt
2024-09-27T22:31:36,191   writing entry points to certora_cli_beta_mirror.egg-info/entry_points.txt
2024-09-27T22:31:36,192   writing requirements to certora_cli_beta_mirror.egg-info/requires.txt
2024-09-27T22:31:36,193   writing top-level names to certora_cli_beta_mirror.egg-info/top_level.txt
2024-09-27T22:31:36,229   reading manifest file 'certora_cli_beta_mirror.egg-info/SOURCES.txt'
2024-09-27T22:31:36,236   reading manifest template 'MANIFEST.in'
2024-09-27T22:31:36,240   warning: no files found matching 'gambit' under directory 'certora_bins'
2024-09-27T22:31:36,320   adding license file 'LICENSE'
2024-09-27T22:31:36,324   writing manifest file 'certora_cli_beta_mirror.egg-info/SOURCES.txt'
2024-09-27T22:31:36,331   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2024-09-27T22:31:36,333   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2024-09-27T22:31:36,571   copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck
2024-09-27T22:31:36,573   copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck
2024-09-27T22:31:36,575   copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck
2024-09-27T22:31:36,577   copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck
2024-09-27T22:31:36,579   copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck
2024-09-27T22:31:36,581   copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck
2024-09-27T22:31:36,613   /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2024-09-27T22:31:36,614   !!

2024-09-27T22:31:36,615           ********************************************************************************
2024-09-27T22:31:36,616           Please avoid running ``setup.py`` directly.
2024-09-27T22:31:36,616           Instead, use pypa/build, pypa/installer or other
2024-09-27T22:31:36,617           standards-based tools.

2024-09-27T22:31:36,618           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2024-09-27T22:31:36,619           ********************************************************************************

2024-09-27T22:31:36,620   !!
2024-09-27T22:31:36,621     self.initialize_options()
2024-09-27T22:31:36,642   installing to build/bdist.linux-armv7l/wheel
2024-09-27T22:31:36,643   running install
2024-09-27T22:31:36,668   running install_lib
2024-09-27T22:31:36,696   creating build/bdist.linux-armv7l/wheel
2024-09-27T22:31:36,698   creating build/bdist.linux-armv7l/wheel/certora_bins
2024-09-27T22:31:36,700   copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins
2024-09-27T22:31:36,702   creating build/bdist.linux-armv7l/wheel/certora_jars
2024-09-27T22:31:36,703   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars
2024-09-27T22:31:36,705   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars
2024-09-27T22:31:36,953   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars
2024-09-27T22:31:36,955   creating build/bdist.linux-armv7l/wheel/certora_cli
2024-09-27T22:31:36,957   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2024-09-27T22:31:36,958   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-09-27T22:31:36,960   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-09-27T22:31:36,962   copying build/lib/certora_cli/EVMVerifier/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-09-27T22:31:36,964   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-09-27T22:31:36,967   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-09-27T22:31:36,969   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-09-27T22:31:36,972   copying build/lib/certora_cli/EVMVerifier/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-09-27T22:31:36,974   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-09-27T22:31:36,976   copying build/lib/certora_cli/EVMVerifier/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-09-27T22:31:36,980   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2024-09-27T22:31:36,981   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-09-27T22:31:36,983   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-09-27T22:31:36,985   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-09-27T22:31:36,987   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-09-27T22:31:36,991   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-09-27T22:31:36,993   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-09-27T22:31:36,995   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-09-27T22:31:36,997   copying build/lib/certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-09-27T22:31:36,999   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-09-27T22:31:37,006   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-09-27T22:31:37,008   copying build/lib/certora_cli/EVMVerifier/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-09-27T22:31:37,010   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-09-27T22:31:37,013   copying build/lib/certora_cli/EVMVerifier/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-09-27T22:31:37,015   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-09-27T22:31:37,018   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-09-27T22:31:37,020   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-09-27T22:31:37,022   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2024-09-27T22:31:37,024   copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2024-09-27T22:31:37,027   creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2024-09-27T22:31:37,028   copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-09-27T22:31:37,031   copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-09-27T22:31:37,033   copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-09-27T22:31:37,034   copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-09-27T22:31:37,036   copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-09-27T22:31:37,038   copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-09-27T22:31:37,039   copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-09-27T22:31:37,041   copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-09-27T22:31:37,043   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2024-09-27T22:31:37,044   copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2024-09-27T22:31:37,047   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2024-09-27T22:31:37,050   copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2024-09-27T22:31:37,052   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2024-09-27T22:31:37,055   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2024-09-27T22:31:37,056   copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2024-09-27T22:31:37,059   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2024-09-27T22:31:37,061   creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate
2024-09-27T22:31:37,062   copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2024-09-27T22:31:37,065   copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2024-09-27T22:31:37,067   copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2024-09-27T22:31:37,070   copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2024-09-27T22:31:37,072   copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2024-09-27T22:31:37,074   copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2024-09-27T22:31:37,076   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2024-09-27T22:31:37,078   running install_egg_info
2024-09-27T22:31:37,112   Copying certora_cli_beta_mirror.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_beta_mirror-7.17.0-py3.11.egg-info
2024-09-27T22:31:37,124   running install_scripts
2024-09-27T22:31:37,140   creating build/bdist.linux-armv7l/wheel/certora_cli_beta_mirror-7.17.0.dist-info/WHEEL
2024-09-27T22:31:37,142   creating '/tmp/pip-wheel-05mfrl7q/certora_cli_beta_mirror-7.17.0-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2024-09-27T22:31:37,145   adding 'certora_bins/__init__.py'
2024-09-27T22:31:37,146   adding 'certora_cli/__init__.py'
2024-09-27T22:31:37,148   adding 'certora_cli/certoraEqCheck.py'
2024-09-27T22:31:37,149   adding 'certora_cli/certoraMutate.py'
2024-09-27T22:31:37,151   adding 'certora_cli/certoraRun.py'
2024-09-27T22:31:37,153   adding 'certora_cli/EVMVerifier/__init__.py'
2024-09-27T22:31:37,177   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2024-09-27T22:31:37,180   adding 'certora_cli/EVMVerifier/certoraBuildCacheManager.py'
2024-09-27T22:31:37,186   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2024-09-27T22:31:37,188   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2024-09-27T22:31:37,189   adding 'certora_cli/EVMVerifier/certoraCompilerParameters.py'
2024-09-27T22:31:37,190   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2024-09-27T22:31:37,193   adding 'certora_cli/EVMVerifier/certoraContext.py'
2024-09-27T22:31:37,197   adding 'certora_cli/EVMVerifier/certoraContextAttributes.py'
2024-09-27T22:31:37,199   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2024-09-27T22:31:37,203   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2024-09-27T22:31:37,205   adding 'certora_cli/EVMVerifier/certoraContractFuncs.py'
2024-09-27T22:31:37,206   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2024-09-27T22:31:37,208   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2024-09-27T22:31:37,210   adding 'certora_cli/EVMVerifier/certoraMiniSpecParser.py'
2024-09-27T22:31:37,211   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2024-09-27T22:31:37,214   adding 'certora_cli/EVMVerifier/certoraType.py'
2024-09-27T22:31:37,216   adding 'certora_cli/EVMVerifier/certoraVerifyGenerator.py'
2024-09-27T22:31:37,218   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2024-09-27T22:31:37,220   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2024-09-27T22:31:37,221   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2024-09-27T22:31:37,222   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py'
2024-09-27T22:31:37,230   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2024-09-27T22:31:37,231   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py'
2024-09-27T22:31:37,232   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2024-09-27T22:31:37,234   adding 'certora_cli/EquivalenceCheck/Eq_default.conf'
2024-09-27T22:31:37,236   adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec'
2024-09-27T22:31:37,237   adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec'
2024-09-27T22:31:37,238   adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf'
2024-09-27T22:31:37,239   adding 'certora_cli/EquivalenceCheck/Eq_template.spec'
2024-09-27T22:31:37,240   adding 'certora_cli/EquivalenceCheck/__init__.py'
2024-09-27T22:31:37,243   adding 'certora_cli/EquivalenceCheck/equivCheck.py'
2024-09-27T22:31:37,244   adding 'certora_cli/EquivalenceCheck/sanity.spec'
2024-09-27T22:31:37,246   adding 'certora_cli/Mutate/__init__.py'
2024-09-27T22:31:37,255   adding 'certora_cli/Mutate/mutateApp.py'
2024-09-27T22:31:37,257   adding 'certora_cli/Mutate/mutateAttributes.py'
2024-09-27T22:31:37,259   adding 'certora_cli/Mutate/mutateConstants.py'
2024-09-27T22:31:37,260   adding 'certora_cli/Mutate/mutateUtil.py'
2024-09-27T22:31:37,261   adding 'certora_cli/Mutate/mutateValidate.py'
2024-09-27T22:31:37,264   adding 'certora_cli/Shared/ExpectedComparator.py'
2024-09-27T22:31:37,265   adding 'certora_cli/Shared/__init__.py'
2024-09-27T22:31:37,267   adding 'certora_cli/Shared/certoraAttrUtil.py'
2024-09-27T22:31:37,269   adding 'certora_cli/Shared/certoraLogging.py'
2024-09-27T22:31:37,276   adding 'certora_cli/Shared/certoraUtils.py'
2024-09-27T22:31:37,281   adding 'certora_cli/Shared/certoraValidateFuncs.py'
2024-09-27T22:31:37,283   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2024-09-27T22:31:39,125   adding 'certora_jars/Typechecker.jar'
2024-09-27T22:31:39,226   adding 'certora_jars/__init__.py'
2024-09-27T22:31:39,227   adding 'certora_cli_beta_mirror-7.17.0.dist-info/LICENSE'
2024-09-27T22:31:39,228   adding 'certora_cli_beta_mirror-7.17.0.dist-info/METADATA'
2024-09-27T22:31:39,229   adding 'certora_cli_beta_mirror-7.17.0.dist-info/WHEEL'
2024-09-27T22:31:39,231   adding 'certora_cli_beta_mirror-7.17.0.dist-info/entry_points.txt'
2024-09-27T22:31:39,232   adding 'certora_cli_beta_mirror-7.17.0.dist-info/top_level.txt'
2024-09-27T22:31:39,233   adding 'certora_cli_beta_mirror-7.17.0.dist-info/RECORD'
2024-09-27T22:31:39,492   removing build/bdist.linux-armv7l/wheel
2024-09-27T22:31:39,634   Building wheel for certora-cli-beta-mirror (setup.py): finished with status 'done'
2024-09-27T22:31:39,786   Created wheel for certora-cli-beta-mirror: filename=certora_cli_beta_mirror-7.17.0-py3-none-any.whl size=15190509 sha256=ebd400b65bef47785c001f8de433eee7b13617950ccc62883223c788cf28d6ff
2024-09-27T22:31:39,787   Stored in directory: /tmp/pip-ephem-wheel-cache-p22p0614/wheels/3f/ca/8d/8c9db163d8ac58f764d343d0a755b9f8236239bfd27146b8bc
2024-09-27T22:31:39,803 Successfully built certora-cli-beta-mirror
2024-09-27T22:31:40,199 Removed build tracker: '/tmp/pip-build-tracker-dxqahke5'