2023-05-14T08:36:59,170 Created temporary directory: /tmp/pip-build-tracker-zkd8nvs1
2023-05-14T08:36:59,171 Initialized build tracking at /tmp/pip-build-tracker-zkd8nvs1
2023-05-14T08:36:59,171 Created build tracker: /tmp/pip-build-tracker-zkd8nvs1
2023-05-14T08:36:59,171 Entered build tracker: /tmp/pip-build-tracker-zkd8nvs1
2023-05-14T08:36:59,172 Created temporary directory: /tmp/pip-wheel-_0mnvqau
2023-05-14T08:36:59,176 Created temporary directory: /tmp/pip-ephem-wheel-cache-bp08n1dv
2023-05-14T08:36:59,200 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-14T08:36:59,204 2 location(s) to search for versions of certora-cli-alpha-eyalf-improve-iscopyloop:
2023-05-14T08:36:59,204 * https://pypi.org/simple/certora-cli-alpha-eyalf-improve-iscopyloop/
2023-05-14T08:36:59,204 * https://www.piwheels.org/simple/certora-cli-alpha-eyalf-improve-iscopyloop/
2023-05-14T08:36:59,204 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-eyalf-improve-iscopyloop/
2023-05-14T08:36:59,205 Getting page https://pypi.org/simple/certora-cli-alpha-eyalf-improve-iscopyloop/
2023-05-14T08:36:59,207 Found index url https://pypi.org/simple/
2023-05-14T08:36:59,258 Fetched page https://pypi.org/simple/certora-cli-alpha-eyalf-improve-iscopyloop/ as application/vnd.pypi.simple.v1+json
2023-05-14T08:36:59,260   Found link https://files.pythonhosted.org/packages/0e/a6/42d006facaa2237ae4c99cd5e6cd29534420f3804f53e82a15516cb7b3a9/certora-cli-alpha-eyalf-improve-isCopyLoop-20230509.14.7.115101.tar.gz (from https://pypi.org/simple/certora-cli-alpha-eyalf-improve-iscopyloop/) (requires-python:>=3.8.16), version: 20230509.14.7.115101
2023-05-14T08:36:59,260   Skipping link: No binaries permitted for certora-cli-alpha-eyalf-improve-iscopyloop: https://files.pythonhosted.org/packages/7c/b0/c31dc87b5896242b2c39f2fbef12d456eede2a68726f20e35849516e2079/certora_cli_alpha_eyalf_improve_isCopyLoop-20230509.14.7.115101-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-eyalf-improve-iscopyloop/) (requires-python:>=3.8.16)
2023-05-14T08:36:59,260 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-eyalf-improve-iscopyloop/
2023-05-14T08:36:59,261 Getting page https://www.piwheels.org/simple/certora-cli-alpha-eyalf-improve-iscopyloop/
2023-05-14T08:36:59,262 Found index url https://www.piwheels.org/simple/
2023-05-14T08:36:59,433 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-eyalf-improve-iscopyloop/ as text/html
2023-05-14T08:36:59,435   Skipping link: No binaries permitted for certora-cli-alpha-eyalf-improve-iscopyloop: https://www.piwheels.org/simple/certora-cli-alpha-eyalf-improve-iscopyloop/certora_cli_alpha_eyalf_improve_isCopyLoop-20230509.14.7.115101-py3-none-any.whl#sha256=0e93ecfe468d3573ea95d4f4d600ada6cab6587b98b2c8e92ea9ced66cbdf071 (from https://www.piwheels.org/simple/certora-cli-alpha-eyalf-improve-iscopyloop/) (requires-python:>=3.8.16)
2023-05-14T08:36:59,435 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-eyalf-improve-iscopyloop/
2023-05-14T08:36:59,435 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-eyalf-improve-iscopyloop/
2023-05-14T08:36:59,452 Given no hashes to check 1 links for project 'certora-cli-alpha-eyalf-improve-iscopyloop': discarding no candidates
2023-05-14T08:36:59,468 Collecting certora-cli-alpha-eyalf-improve-iscopyloop==20230509.14.7.115101
2023-05-14T08:36:59,470   Created temporary directory: /tmp/pip-unpack-vvd115x_
2023-05-14T08:36:59,517   Downloading certora-cli-alpha-eyalf-improve-isCopyLoop-20230509.14.7.115101.tar.gz (38.5 MB)
2023-05-14T08:37:07,485   Added certora-cli-alpha-eyalf-improve-iscopyloop==20230509.14.7.115101 from https://files.pythonhosted.org/packages/0e/a6/42d006facaa2237ae4c99cd5e6cd29534420f3804f53e82a15516cb7b3a9/certora-cli-alpha-eyalf-improve-isCopyLoop-20230509.14.7.115101.tar.gz to build tracker '/tmp/pip-build-tracker-zkd8nvs1'
2023-05-14T08:37:07,487   Running setup.py (path:/tmp/pip-wheel-_0mnvqau/certora-cli-alpha-eyalf-improve-iscopyloop_bd53814c4161497c861975aa6857efaf/setup.py) egg_info for package certora-cli-alpha-eyalf-improve-iscopyloop
2023-05-14T08:37:07,488   Created temporary directory: /tmp/pip-pip-egg-info-5_6phd6c
2023-05-14T08:37:07,488   Preparing metadata (setup.py): started
2023-05-14T08:37:07,489   Running command python setup.py egg_info
2023-05-14T08:37:08,110   running egg_info
2023-05-14T08:37:08,112   creating /tmp/pip-pip-egg-info-5_6phd6c/certora_cli_alpha_eyalf_improve_isCopyLoop.egg-info
2023-05-14T08:37:08,175   writing /tmp/pip-pip-egg-info-5_6phd6c/certora_cli_alpha_eyalf_improve_isCopyLoop.egg-info/PKG-INFO
2023-05-14T08:37:08,177   writing dependency_links to /tmp/pip-pip-egg-info-5_6phd6c/certora_cli_alpha_eyalf_improve_isCopyLoop.egg-info/dependency_links.txt
2023-05-14T08:37:08,179   writing entry points to /tmp/pip-pip-egg-info-5_6phd6c/certora_cli_alpha_eyalf_improve_isCopyLoop.egg-info/entry_points.txt
2023-05-14T08:37:08,181   writing requirements to /tmp/pip-pip-egg-info-5_6phd6c/certora_cli_alpha_eyalf_improve_isCopyLoop.egg-info/requires.txt
2023-05-14T08:37:08,182   writing top-level names to /tmp/pip-pip-egg-info-5_6phd6c/certora_cli_alpha_eyalf_improve_isCopyLoop.egg-info/top_level.txt
2023-05-14T08:37:08,183   writing manifest file '/tmp/pip-pip-egg-info-5_6phd6c/certora_cli_alpha_eyalf_improve_isCopyLoop.egg-info/SOURCES.txt'
2023-05-14T08:37:08,267   reading manifest file '/tmp/pip-pip-egg-info-5_6phd6c/certora_cli_alpha_eyalf_improve_isCopyLoop.egg-info/SOURCES.txt'
2023-05-14T08:37:08,268   reading manifest template 'MANIFEST.in'
2023-05-14T08:37:08,278   adding license file 'LICENSE'
2023-05-14T08:37:08,281   writing manifest file '/tmp/pip-pip-egg-info-5_6phd6c/certora_cli_alpha_eyalf_improve_isCopyLoop.egg-info/SOURCES.txt'
2023-05-14T08:37:08,341   Preparing metadata (setup.py): finished with status 'done'
2023-05-14T08:37:08,347   Source in /tmp/pip-wheel-_0mnvqau/certora-cli-alpha-eyalf-improve-iscopyloop_bd53814c4161497c861975aa6857efaf has version 20230509.14.7.115101, which satisfies requirement certora-cli-alpha-eyalf-improve-iscopyloop==20230509.14.7.115101 from https://files.pythonhosted.org/packages/0e/a6/42d006facaa2237ae4c99cd5e6cd29534420f3804f53e82a15516cb7b3a9/certora-cli-alpha-eyalf-improve-isCopyLoop-20230509.14.7.115101.tar.gz
2023-05-14T08:37:08,348   Removed certora-cli-alpha-eyalf-improve-iscopyloop==20230509.14.7.115101 from https://files.pythonhosted.org/packages/0e/a6/42d006facaa2237ae4c99cd5e6cd29534420f3804f53e82a15516cb7b3a9/certora-cli-alpha-eyalf-improve-isCopyLoop-20230509.14.7.115101.tar.gz from build tracker '/tmp/pip-build-tracker-zkd8nvs1'
2023-05-14T08:37:08,355 Created temporary directory: /tmp/pip-unpack-2h9vo5tf
2023-05-14T08:37:08,355 Building wheels for collected packages: certora-cli-alpha-eyalf-improve-iscopyloop
2023-05-14T08:37:08,360   Created temporary directory: /tmp/pip-wheel-jcgbe0kc
2023-05-14T08:37:08,360   Building wheel for certora-cli-alpha-eyalf-improve-iscopyloop (setup.py): started
2023-05-14T08:37:08,361   Destination directory: /tmp/pip-wheel-jcgbe0kc
2023-05-14T08:37:08,362   Running command python setup.py bdist_wheel
2023-05-14T08:37:09,251   running bdist_wheel
2023-05-14T08:37:09,529   running build
2023-05-14T08:37:09,529   running build_py
2023-05-14T08:37:09,558   creating build
2023-05-14T08:37:09,558   creating build/lib
2023-05-14T08:37:09,559   creating build/lib/certora_jars
2023-05-14T08:37:09,560   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-14T08:37:09,563   creating build/lib/certora_cli
2023-05-14T08:37:09,563   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-14T08:37:09,565   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-14T08:37:09,567   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-14T08:37:09,570   creating build/lib/certora_cli/Shared
2023-05-14T08:37:09,571   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-14T08:37:09,573   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-14T08:37:09,575   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-14T08:37:09,577   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-14T08:37:09,582   creating build/lib/certora_cli/EVMVerifier
2023-05-14T08:37:09,583   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:37:09,586   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:37:09,590   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:37:09,592   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:37:09,594   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:37:09,598   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:37:09,600   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:37:09,602   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:37:09,606   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:37:09,611   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:37:09,614   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:37:09,616   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:37:09,618   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:37:09,621   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T08:37:09,622   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T08:37:09,624   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T08:37:09,626   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T08:37:09,629   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T08:37:09,631   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T08:37:09,633   running egg_info
2023-05-14T08:37:09,692   writing certora_cli_alpha_eyalf_improve_isCopyLoop.egg-info/PKG-INFO
2023-05-14T08:37:09,694   writing dependency_links to certora_cli_alpha_eyalf_improve_isCopyLoop.egg-info/dependency_links.txt
2023-05-14T08:37:09,696   writing entry points to certora_cli_alpha_eyalf_improve_isCopyLoop.egg-info/entry_points.txt
2023-05-14T08:37:09,698   writing requirements to certora_cli_alpha_eyalf_improve_isCopyLoop.egg-info/requires.txt
2023-05-14T08:37:09,699   writing top-level names to certora_cli_alpha_eyalf_improve_isCopyLoop.egg-info/top_level.txt
2023-05-14T08:37:09,729   reading manifest file 'certora_cli_alpha_eyalf_improve_isCopyLoop.egg-info/SOURCES.txt'
2023-05-14T08:37:09,732   reading manifest template 'MANIFEST.in'
2023-05-14T08:37:09,741   adding license file 'LICENSE'
2023-05-14T08:37:09,745   writing manifest file 'certora_cli_alpha_eyalf_improve_isCopyLoop.egg-info/SOURCES.txt'
2023-05-14T08:37:09,748   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-14T08:37:09,750   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-14T08:37:09,988   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-14T08:37:10,151   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-14T08:37:10,346   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-14T08:37:10,470   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-14T08:37:10,599   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-14T08:37:10,599   !!

2023-05-14T08:37:10,600           ********************************************************************************
2023-05-14T08:37:10,600           Please avoid running ``setup.py`` directly.
2023-05-14T08:37:10,600           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-14T08:37:10,600           other standards-based tools.

2023-05-14T08:37:10,600           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-14T08:37:10,601           ********************************************************************************

2023-05-14T08:37:10,601   !!
2023-05-14T08:37:10,601     self.initialize_options()
2023-05-14T08:37:10,626   installing to build/bdist.linux-aarch64/wheel
2023-05-14T08:37:10,626   running install
2023-05-14T08:37:10,651   running install_lib
2023-05-14T08:37:10,678   creating build/bdist.linux-aarch64
2023-05-14T08:37:10,678   creating build/bdist.linux-aarch64/wheel
2023-05-14T08:37:10,680   creating build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T08:37:10,681   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T08:37:10,913   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T08:37:10,915   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T08:37:11,111   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T08:37:11,202   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T08:37:11,328   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T08:37:11,330   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T08:37:11,495   creating build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T08:37:11,497   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T08:37:11,500   creating build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T08:37:11,501   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T08:37:11,504   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T08:37:11,506   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T08:37:11,509   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T08:37:11,512   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T08:37:11,515   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T08:37:11,518   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:37:11,519   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:37:11,523   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:37:11,527   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:37:11,530   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:37:11,532   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:37:11,535   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:37:11,537   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:37:11,539   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:37:11,543   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T08:37:11,544   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T08:37:11,546   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T08:37:11,548   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T08:37:11,551   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T08:37:11,553   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T08:37:11,555   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:37:11,561   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:37:11,564   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:37:11,566   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:37:11,568   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:37:11,570   running install_egg_info
2023-05-14T08:37:11,600   Copying certora_cli_alpha_eyalf_improve_isCopyLoop.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_eyalf_improve_isCopyLoop-20230509.14.7.115101-py3.9.egg-info
2023-05-14T08:37:11,612   running install_scripts
2023-05-14T08:37:11,631   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2023-05-14T08:37:11,635   creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_eyalf_improve_isCopyLoop-20230509.14.7.115101.dist-info/WHEEL
2023-05-14T08:37:11,638   creating '/tmp/pip-wheel-jcgbe0kc/certora_cli_alpha_eyalf_improve_isCopyLoop-20230509.14.7.115101-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it
2023-05-14T08:37:11,641   adding 'certora_cli/__init__.py'
2023-05-14T08:37:11,642   adding 'certora_cli/certoraMutate.py'
2023-05-14T08:37:11,644   adding 'certora_cli/certoraRun.py'
2023-05-14T08:37:11,647   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-14T08:37:11,668   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-14T08:37:11,675   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-14T08:37:11,677   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-14T08:37:11,679   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-14T08:37:11,683   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-14T08:37:11,687   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-14T08:37:11,689   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-14T08:37:11,694   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-14T08:37:11,697   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-14T08:37:11,698   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-14T08:37:11,701   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-14T08:37:11,705   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-14T08:37:11,707   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-14T08:37:11,709   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-14T08:37:11,711   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-14T08:37:11,715   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-14T08:37:11,717   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-14T08:37:11,719   adding 'certora_cli/Shared/__init__.py'
2023-05-14T08:37:11,721   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-14T08:37:11,723   adding 'certora_cli/Shared/certoraTester.py'
2023-05-14T08:37:11,729   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-14T08:37:11,733   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-14T08:37:13,321   adding 'certora_jars/MutationTest.jar'
2023-05-14T08:37:14,633   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-14T08:37:16,285   adding 'certora_jars/Typechecker.jar'
2023-05-14T08:37:16,366   adding 'certora_jars/__init__.py'
2023-05-14T08:37:17,219   adding 'certora_jars/gambit-linux'
2023-05-14T08:37:18,124   adding 'certora_jars/gambit-macos'
2023-05-14T08:37:18,197   adding 'certora_cli_alpha_eyalf_improve_isCopyLoop-20230509.14.7.115101.dist-info/LICENSE'
2023-05-14T08:37:18,199   adding 'certora_cli_alpha_eyalf_improve_isCopyLoop-20230509.14.7.115101.dist-info/METADATA'
2023-05-14T08:37:18,201   adding 'certora_cli_alpha_eyalf_improve_isCopyLoop-20230509.14.7.115101.dist-info/WHEEL'
2023-05-14T08:37:18,202   adding 'certora_cli_alpha_eyalf_improve_isCopyLoop-20230509.14.7.115101.dist-info/entry_points.txt'
2023-05-14T08:37:18,203   adding 'certora_cli_alpha_eyalf_improve_isCopyLoop-20230509.14.7.115101.dist-info/top_level.txt'
2023-05-14T08:37:18,204   adding 'certora_cli_alpha_eyalf_improve_isCopyLoop-20230509.14.7.115101.dist-info/RECORD'
2023-05-14T08:37:18,910   removing build/bdist.linux-aarch64/wheel
2023-05-14T08:37:19,036   Building wheel for certora-cli-alpha-eyalf-improve-iscopyloop (setup.py): finished with status 'done'
2023-05-14T08:37:19,357   Created wheel for certora-cli-alpha-eyalf-improve-iscopyloop: filename=certora_cli_alpha_eyalf_improve_isCopyLoop-20230509.14.7.115101-py3-none-any.whl size=38514439 sha256=4b3fe874627b2bb744bd0d93a1557ad96eebf526db811efbafcdc1716e2bf072
2023-05-14T08:37:19,359   Stored in directory: /tmp/pip-ephem-wheel-cache-bp08n1dv/wheels/b5/97/d9/6c78a102934e953bcfcccdd16c9f8b17c1ad9d5bf61cf9232c
2023-05-14T08:37:19,387 Successfully built certora-cli-alpha-eyalf-improve-iscopyloop
2023-05-14T08:37:20,406 Removed build tracker: '/tmp/pip-build-tracker-zkd8nvs1'