2024-09-30T15:38:15,034 Created temporary directory: /tmp/pip-build-tracker-eywrutt_
2024-09-30T15:38:15,035 Initialized build tracking at /tmp/pip-build-tracker-eywrutt_
2024-09-30T15:38:15,036 Created build tracker: /tmp/pip-build-tracker-eywrutt_
2024-09-30T15:38:15,036 Entered build tracker: /tmp/pip-build-tracker-eywrutt_
2024-09-30T15:38:15,037 Created temporary directory: /tmp/pip-wheel-f8zm1r40
2024-09-30T15:38:15,041 Created temporary directory: /tmp/pip-ephem-wheel-cache-mvh1f2ze
2024-09-30T15:38:15,086 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2024-09-30T15:38:15,089 2 location(s) to search for versions of certora-cli-beta-mirror:
2024-09-30T15:38:15,089 * https://pypi.org/simple/certora-cli-beta-mirror/
2024-09-30T15:38:15,089 * https://www.piwheels.org/simple/certora-cli-beta-mirror/
2024-09-30T15:38:15,090 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-beta-mirror/
2024-09-30T15:38:15,091 Getting page https://pypi.org/simple/certora-cli-beta-mirror/
2024-09-30T15:38:15,092 Found index url https://pypi.org/simple/
2024-09-30T15:38:15,312 Fetched page https://pypi.org/simple/certora-cli-beta-mirror/ as application/vnd.pypi.simple.v1+json
2024-09-30T15:38:15,315   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-30T15:38:15,316   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-30T15:38:15,316   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-30T15:38:15,317   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-30T15:38:15,318   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-09-30T15:38:15,318   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-09-30T15:38:15,319   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-09-30T15:38:15,320   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-09-30T15:38:15,321 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-beta-mirror/
2024-09-30T15:38:15,321 Getting page https://www.piwheels.org/simple/certora-cli-beta-mirror/
2024-09-30T15:38:15,323 Found index url https://www.piwheels.org/simple/
2024-09-30T15:38:15,484 Fetched page https://www.piwheels.org/simple/certora-cli-beta-mirror/ as text/html
2024-09-30T15:38:15,486   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-09-30T15:38:15,487 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-beta-mirror/
2024-09-30T15:38:15,488 Skipping link: not a file: https://pypi.org/simple/certora-cli-beta-mirror/
2024-09-30T15:38:15,506 Given no hashes to check 1 links for project 'certora-cli-beta-mirror': discarding no candidates
2024-09-30T15:38:15,507 Collecting certora-cli-beta-mirror==7.17.1
2024-09-30T15:38:15,510   Created temporary directory: /tmp/pip-unpack-36g7xsuu
2024-09-30T15:38:15,733   Downloading certora_cli_beta_mirror-7.17.1.tar.gz (15.3 MB)
2024-09-30T15:38:18,473   Added certora-cli-beta-mirror==7.17.1 from https://files.pythonhosted.org/packages/1c/36/889047d565e07e872e8a3c9ded451b34f077fe164f26ef2ca34b370322bb/certora_cli_beta_mirror-7.17.1.tar.gz to build tracker '/tmp/pip-build-tracker-eywrutt_'
2024-09-30T15:38:18,475   Running setup.py (path:/tmp/pip-wheel-f8zm1r40/certora-cli-beta-mirror_624e997ba61f4263bed561a610d5ef2f/setup.py) egg_info for package certora-cli-beta-mirror
2024-09-30T15:38:18,476   Created temporary directory: /tmp/pip-pip-egg-info-xkbndmkl
2024-09-30T15:38:18,476   Preparing metadata (setup.py): started
2024-09-30T15:38:18,477   Running command python setup.py egg_info
2024-09-30T15:38:19,569   running egg_info
2024-09-30T15:38:19,571   creating /tmp/pip-pip-egg-info-xkbndmkl/certora_cli_beta_mirror.egg-info
2024-09-30T15:38:19,598   writing /tmp/pip-pip-egg-info-xkbndmkl/certora_cli_beta_mirror.egg-info/PKG-INFO
2024-09-30T15:38:19,601   writing dependency_links to /tmp/pip-pip-egg-info-xkbndmkl/certora_cli_beta_mirror.egg-info/dependency_links.txt
2024-09-30T15:38:19,602   writing entry points to /tmp/pip-pip-egg-info-xkbndmkl/certora_cli_beta_mirror.egg-info/entry_points.txt
2024-09-30T15:38:19,604   writing requirements to /tmp/pip-pip-egg-info-xkbndmkl/certora_cli_beta_mirror.egg-info/requires.txt
2024-09-30T15:38:19,605   writing top-level names to /tmp/pip-pip-egg-info-xkbndmkl/certora_cli_beta_mirror.egg-info/top_level.txt
2024-09-30T15:38:19,606   writing manifest file '/tmp/pip-pip-egg-info-xkbndmkl/certora_cli_beta_mirror.egg-info/SOURCES.txt'
2024-09-30T15:38:19,702   reading manifest file '/tmp/pip-pip-egg-info-xkbndmkl/certora_cli_beta_mirror.egg-info/SOURCES.txt'
2024-09-30T15:38:19,704   reading manifest template 'MANIFEST.in'
2024-09-30T15:38:19,708   warning: no files found matching 'gambit' under directory 'certora_bins'
2024-09-30T15:38:19,773   adding license file 'LICENSE'
2024-09-30T15:38:19,778   writing manifest file '/tmp/pip-pip-egg-info-xkbndmkl/certora_cli_beta_mirror.egg-info/SOURCES.txt'
2024-09-30T15:38:19,887   Preparing metadata (setup.py): finished with status 'done'
2024-09-30T15:38:19,892   Source in /tmp/pip-wheel-f8zm1r40/certora-cli-beta-mirror_624e997ba61f4263bed561a610d5ef2f has version 7.17.1, which satisfies requirement certora-cli-beta-mirror==7.17.1 from https://files.pythonhosted.org/packages/1c/36/889047d565e07e872e8a3c9ded451b34f077fe164f26ef2ca34b370322bb/certora_cli_beta_mirror-7.17.1.tar.gz
2024-09-30T15:38:19,893   Removed certora-cli-beta-mirror==7.17.1 from https://files.pythonhosted.org/packages/1c/36/889047d565e07e872e8a3c9ded451b34f077fe164f26ef2ca34b370322bb/certora_cli_beta_mirror-7.17.1.tar.gz from build tracker '/tmp/pip-build-tracker-eywrutt_'
2024-09-30T15:38:19,899 Created temporary directory: /tmp/pip-unpack-cirjgp5u
2024-09-30T15:38:19,900 Created temporary directory: /tmp/pip-unpack-js8xmjj_
2024-09-30T15:38:19,901 Building wheels for collected packages: certora-cli-beta-mirror
2024-09-30T15:38:19,905   Created temporary directory: /tmp/pip-wheel-jvxovcuo
2024-09-30T15:38:19,905   Building wheel for certora-cli-beta-mirror (setup.py): started
2024-09-30T15:38:19,907   Destination directory: /tmp/pip-wheel-jvxovcuo
2024-09-30T15:38:19,908   Running command python setup.py bdist_wheel
2024-09-30T15:38:20,935   running bdist_wheel
2024-09-30T15:38:21,067   running build
2024-09-30T15:38:21,067   running build_py
2024-09-30T15:38:21,100   creating build/lib/certora_cli
2024-09-30T15:38:21,102   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2024-09-30T15:38:21,104   copying certora_cli/__init__.py -> build/lib/certora_cli
2024-09-30T15:38:21,105   copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli
2024-09-30T15:38:21,107   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2024-09-30T15:38:21,109   creating build/lib/certora_bins
2024-09-30T15:38:21,110   copying certora_bins/__init__.py -> build/lib/certora_bins
2024-09-30T15:38:21,112   creating build/lib/certora_jars
2024-09-30T15:38:21,113   copying certora_jars/__init__.py -> build/lib/certora_jars
2024-09-30T15:38:21,116   creating build/lib/certora_cli/Mutate
2024-09-30T15:38:21,117   copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate
2024-09-30T15:38:21,119   copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate
2024-09-30T15:38:21,121   copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate
2024-09-30T15:38:21,123   copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate
2024-09-30T15:38:21,125   copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate
2024-09-30T15:38:21,127   copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate
2024-09-30T15:38:21,131   creating build/lib/certora_cli/EVMVerifier
2024-09-30T15:38:21,132   copying certora_cli/EVMVerifier/certoraMiniSpecParser.py -> build/lib/certora_cli/EVMVerifier
2024-09-30T15:38:21,134   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2024-09-30T15:38:21,137   copying certora_cli/EVMVerifier/certoraBuildCacheManager.py -> build/lib/certora_cli/EVMVerifier
2024-09-30T15:38:21,139   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2024-09-30T15:38:21,145   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2024-09-30T15:38:21,147   copying certora_cli/EVMVerifier/certoraVerifyGenerator.py -> build/lib/certora_cli/EVMVerifier
2024-09-30T15:38:21,149   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2024-09-30T15:38:21,152   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2024-09-30T15:38:21,155   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2024-09-30T15:38:21,156   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2024-09-30T15:38:21,158   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2024-09-30T15:38:21,160   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2024-09-30T15:38:21,164   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2024-09-30T15:38:21,166   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2024-09-30T15:38:21,168   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2024-09-30T15:38:21,170   copying certora_cli/EVMVerifier/certoraContextAttributes.py -> build/lib/certora_cli/EVMVerifier
2024-09-30T15:38:21,173   copying certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/lib/certora_cli/EVMVerifier
2024-09-30T15:38:21,175   copying certora_cli/EVMVerifier/certoraContractFuncs.py -> build/lib/certora_cli/EVMVerifier
2024-09-30T15:38:21,177   creating build/lib/certora_cli/Shared
2024-09-30T15:38:21,179   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2024-09-30T15:38:21,181   copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared
2024-09-30T15:38:21,184   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2024-09-30T15:38:21,185   copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared
2024-09-30T15:38:21,188   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2024-09-30T15:38:21,190   copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared
2024-09-30T15:38:21,194   creating build/lib/certora_cli/EquivalenceCheck
2024-09-30T15:38:21,195   copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck
2024-09-30T15:38:21,196   copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck
2024-09-30T15:38:21,200   creating build/lib/certora_cli/EVMVerifier/Compiler
2024-09-30T15:38:21,201   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-09-30T15:38:21,203   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-09-30T15:38:21,205   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-09-30T15:38:21,207   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-09-30T15:38:21,209   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-09-30T15:38:21,211   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-09-30T15:38:21,215   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/EVMVerifier/Compiler
2024-09-30T15:38:21,217   running egg_info
2024-09-30T15:38:21,244   writing certora_cli_beta_mirror.egg-info/PKG-INFO
2024-09-30T15:38:21,246   writing dependency_links to certora_cli_beta_mirror.egg-info/dependency_links.txt
2024-09-30T15:38:21,248   writing entry points to certora_cli_beta_mirror.egg-info/entry_points.txt
2024-09-30T15:38:21,249   writing requirements to certora_cli_beta_mirror.egg-info/requires.txt
2024-09-30T15:38:21,251   writing top-level names to certora_cli_beta_mirror.egg-info/top_level.txt
2024-09-30T15:38:21,286   reading manifest file 'certora_cli_beta_mirror.egg-info/SOURCES.txt'
2024-09-30T15:38:21,294   reading manifest template 'MANIFEST.in'
2024-09-30T15:38:21,298   warning: no files found matching 'gambit' under directory 'certora_bins'
2024-09-30T15:38:21,362   adding license file 'LICENSE'
2024-09-30T15:38:21,367   writing manifest file 'certora_cli_beta_mirror.egg-info/SOURCES.txt'
2024-09-30T15:38:21,373   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2024-09-30T15:38:21,375   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2024-09-30T15:38:21,616   copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck
2024-09-30T15:38:21,618   copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck
2024-09-30T15:38:21,621   copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck
2024-09-30T15:38:21,623   copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck
2024-09-30T15:38:21,625   copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck
2024-09-30T15:38:21,627   copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck
2024-09-30T15:38:21,659   /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2024-09-30T15:38:21,660   !!

2024-09-30T15:38:21,661           ********************************************************************************
2024-09-30T15:38:21,662           Please avoid running ``setup.py`` directly.
2024-09-30T15:38:21,662           Instead, use pypa/build, pypa/installer or other
2024-09-30T15:38:21,663           standards-based tools.

2024-09-30T15:38:21,664           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2024-09-30T15:38:21,664           ********************************************************************************

2024-09-30T15:38:21,665   !!
2024-09-30T15:38:21,666     self.initialize_options()
2024-09-30T15:38:21,688   installing to build/bdist.linux-armv7l/wheel
2024-09-30T15:38:21,688   running install
2024-09-30T15:38:21,713   running install_lib
2024-09-30T15:38:21,739   creating build/bdist.linux-armv7l/wheel
2024-09-30T15:38:21,741   creating build/bdist.linux-armv7l/wheel/certora_cli
2024-09-30T15:38:21,743   creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate
2024-09-30T15:38:21,744   copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2024-09-30T15:38:21,747   copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2024-09-30T15:38:21,749   copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2024-09-30T15:38:21,750   copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2024-09-30T15:38:21,752   copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2024-09-30T15:38:21,754   copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2024-09-30T15:38:21,759   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2024-09-30T15:38:21,760   copying build/lib/certora_cli/EVMVerifier/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-09-30T15:38:21,762   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-09-30T15:38:21,765   copying build/lib/certora_cli/EVMVerifier/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-09-30T15:38:21,767   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-09-30T15:38:21,773   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-09-30T15:38:21,775   copying build/lib/certora_cli/EVMVerifier/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-09-30T15:38:21,777   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-09-30T15:38:21,780   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-09-30T15:38:21,783   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-09-30T15:38:21,785   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-09-30T15:38:21,786   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-09-30T15:38:21,789   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-09-30T15:38:21,792   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-09-30T15:38:21,794   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-09-30T15:38:21,796   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-09-30T15:38:21,798   copying build/lib/certora_cli/EVMVerifier/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-09-30T15:38:21,801   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2024-09-30T15:38:21,803   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-09-30T15:38:21,805   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-09-30T15:38:21,807   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-09-30T15:38:21,809   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-09-30T15:38:21,811   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-09-30T15:38:21,813   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-09-30T15:38:21,816   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler
2024-09-30T15:38:21,818   copying build/lib/certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-09-30T15:38:21,819   copying build/lib/certora_cli/EVMVerifier/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier
2024-09-30T15:38:21,821   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2024-09-30T15:38:21,823   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2024-09-30T15:38:21,825   copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2024-09-30T15:38:21,827   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2024-09-30T15:38:21,828   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2024-09-30T15:38:21,831   copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2024-09-30T15:38:21,833   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2024-09-30T15:38:21,835   copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2024-09-30T15:38:21,837   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2024-09-30T15:38:21,840   copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2024-09-30T15:38:21,843   creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2024-09-30T15:38:21,844   copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-09-30T15:38:21,846   copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-09-30T15:38:21,848   copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-09-30T15:38:21,849   copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-09-30T15:38:21,851   copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-09-30T15:38:21,853   copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-09-30T15:38:21,855   copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-09-30T15:38:21,857   copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2024-09-30T15:38:21,859   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2024-09-30T15:38:21,862   creating build/bdist.linux-armv7l/wheel/certora_bins
2024-09-30T15:38:21,863   copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins
2024-09-30T15:38:21,865   creating build/bdist.linux-armv7l/wheel/certora_jars
2024-09-30T15:38:21,866   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars
2024-09-30T15:38:21,867   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars
2024-09-30T15:38:22,112   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars
2024-09-30T15:38:22,114   running install_egg_info
2024-09-30T15:38:22,148   Copying certora_cli_beta_mirror.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_beta_mirror-7.17.1-py3.11.egg-info
2024-09-30T15:38:22,159   running install_scripts
2024-09-30T15:38:22,174   creating build/bdist.linux-armv7l/wheel/certora_cli_beta_mirror-7.17.1.dist-info/WHEEL
2024-09-30T15:38:22,177   creating '/tmp/pip-wheel-jvxovcuo/certora_cli_beta_mirror-7.17.1-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2024-09-30T15:38:22,179   adding 'certora_bins/__init__.py'
2024-09-30T15:38:22,181   adding 'certora_cli/__init__.py'
2024-09-30T15:38:22,182   adding 'certora_cli/certoraEqCheck.py'
2024-09-30T15:38:22,184   adding 'certora_cli/certoraMutate.py'
2024-09-30T15:38:22,186   adding 'certora_cli/certoraRun.py'
2024-09-30T15:38:22,188   adding 'certora_cli/EVMVerifier/__init__.py'
2024-09-30T15:38:22,213   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2024-09-30T15:38:22,216   adding 'certora_cli/EVMVerifier/certoraBuildCacheManager.py'
2024-09-30T15:38:22,222   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2024-09-30T15:38:22,225   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2024-09-30T15:38:22,227   adding 'certora_cli/EVMVerifier/certoraCompilerParameters.py'
2024-09-30T15:38:22,228   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2024-09-30T15:38:22,232   adding 'certora_cli/EVMVerifier/certoraContext.py'
2024-09-30T15:38:22,236   adding 'certora_cli/EVMVerifier/certoraContextAttributes.py'
2024-09-30T15:38:22,238   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2024-09-30T15:38:22,243   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2024-09-30T15:38:22,245   adding 'certora_cli/EVMVerifier/certoraContractFuncs.py'
2024-09-30T15:38:22,247   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2024-09-30T15:38:22,249   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2024-09-30T15:38:22,251   adding 'certora_cli/EVMVerifier/certoraMiniSpecParser.py'
2024-09-30T15:38:22,253   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2024-09-30T15:38:22,256   adding 'certora_cli/EVMVerifier/certoraType.py'
2024-09-30T15:38:22,258   adding 'certora_cli/EVMVerifier/certoraVerifyGenerator.py'
2024-09-30T15:38:22,260   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2024-09-30T15:38:22,262   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2024-09-30T15:38:22,264   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2024-09-30T15:38:22,266   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py'
2024-09-30T15:38:22,273   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2024-09-30T15:38:22,275   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py'
2024-09-30T15:38:22,277   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2024-09-30T15:38:22,279   adding 'certora_cli/EquivalenceCheck/Eq_default.conf'
2024-09-30T15:38:22,281   adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec'
2024-09-30T15:38:22,282   adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec'
2024-09-30T15:38:22,284   adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf'
2024-09-30T15:38:22,285   adding 'certora_cli/EquivalenceCheck/Eq_template.spec'
2024-09-30T15:38:22,286   adding 'certora_cli/EquivalenceCheck/__init__.py'
2024-09-30T15:38:22,289   adding 'certora_cli/EquivalenceCheck/equivCheck.py'
2024-09-30T15:38:22,291   adding 'certora_cli/EquivalenceCheck/sanity.spec'
2024-09-30T15:38:22,292   adding 'certora_cli/Mutate/__init__.py'
2024-09-30T15:38:22,302   adding 'certora_cli/Mutate/mutateApp.py'
2024-09-30T15:38:22,304   adding 'certora_cli/Mutate/mutateAttributes.py'
2024-09-30T15:38:22,305   adding 'certora_cli/Mutate/mutateConstants.py'
2024-09-30T15:38:22,306   adding 'certora_cli/Mutate/mutateUtil.py'
2024-09-30T15:38:22,308   adding 'certora_cli/Mutate/mutateValidate.py'
2024-09-30T15:38:22,310   adding 'certora_cli/Shared/ExpectedComparator.py'
2024-09-30T15:38:22,312   adding 'certora_cli/Shared/__init__.py'
2024-09-30T15:38:22,313   adding 'certora_cli/Shared/certoraAttrUtil.py'
2024-09-30T15:38:22,315   adding 'certora_cli/Shared/certoraLogging.py'
2024-09-30T15:38:22,322   adding 'certora_cli/Shared/certoraUtils.py'
2024-09-30T15:38:22,326   adding 'certora_cli/Shared/certoraValidateFuncs.py'
2024-09-30T15:38:22,329   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2024-09-30T15:38:24,191   adding 'certora_jars/Typechecker.jar'
2024-09-30T15:38:24,294   adding 'certora_jars/__init__.py'
2024-09-30T15:38:24,295   adding 'certora_cli_beta_mirror-7.17.1.dist-info/LICENSE'
2024-09-30T15:38:24,296   adding 'certora_cli_beta_mirror-7.17.1.dist-info/METADATA'
2024-09-30T15:38:24,297   adding 'certora_cli_beta_mirror-7.17.1.dist-info/WHEEL'
2024-09-30T15:38:24,298   adding 'certora_cli_beta_mirror-7.17.1.dist-info/entry_points.txt'
2024-09-30T15:38:24,299   adding 'certora_cli_beta_mirror-7.17.1.dist-info/top_level.txt'
2024-09-30T15:38:24,300   adding 'certora_cli_beta_mirror-7.17.1.dist-info/RECORD'
2024-09-30T15:38:24,456   removing build/bdist.linux-armv7l/wheel
2024-09-30T15:38:24,591   Building wheel for certora-cli-beta-mirror (setup.py): finished with status 'done'
2024-09-30T15:38:24,744   Created wheel for certora-cli-beta-mirror: filename=certora_cli_beta_mirror-7.17.1-py3-none-any.whl size=15277739 sha256=9618614b09f8a1a9045adf4ef400aeebfc0a15058524dbb0ee24b90111ea721a
2024-09-30T15:38:24,745   Stored in directory: /tmp/pip-ephem-wheel-cache-mvh1f2ze/wheels/bc/27/b2/4afc5ddf8d1ba6d7561751b598348521e30abdd864df91c1de
2024-09-30T15:38:24,762 Successfully built certora-cli-beta-mirror
2024-09-30T15:38:25,106 Removed build tracker: '/tmp/pip-build-tracker-eywrutt_'