2023-05-23T11:29:46,005 Created temporary directory: /tmp/pip-build-tracker-yl_p_l2d
2023-05-23T11:29:46,006 Initialized build tracking at /tmp/pip-build-tracker-yl_p_l2d
2023-05-23T11:29:46,006 Created build tracker: /tmp/pip-build-tracker-yl_p_l2d
2023-05-23T11:29:46,007 Entered build tracker: /tmp/pip-build-tracker-yl_p_l2d
2023-05-23T11:29:46,007 Created temporary directory: /tmp/pip-wheel-0sry61_e
2023-05-23T11:29:46,011 Created temporary directory: /tmp/pip-ephem-wheel-cache-pkw57si2
2023-05-23T11:29:46,039 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-23T11:29:46,043 2 location(s) to search for versions of certora-cli-alpha-shays-cert-2259:
2023-05-23T11:29:46,043 * https://pypi.org/simple/certora-cli-alpha-shays-cert-2259/
2023-05-23T11:29:46,043 * https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-2259/
2023-05-23T11:29:46,043 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-shays-cert-2259/
2023-05-23T11:29:46,043 Getting page https://pypi.org/simple/certora-cli-alpha-shays-cert-2259/
2023-05-23T11:29:46,045 Found index url https://pypi.org/simple/
2023-05-23T11:29:46,096 Fetched page https://pypi.org/simple/certora-cli-alpha-shays-cert-2259/ as application/vnd.pypi.simple.v1+json
2023-05-23T11:29:46,098   Found link https://files.pythonhosted.org/packages/be/90/360baafe80e6c16272195933f1a9d8cd9f9be2743fcee63ee1ca80f34718/certora-cli-alpha-shays-CERT-2259-20230518.14.30.943042.tar.gz (from https://pypi.org/simple/certora-cli-alpha-shays-cert-2259/) (requires-python:>=3.8), version: 20230518.14.30.943042
2023-05-23T11:29:46,098   Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-2259: https://files.pythonhosted.org/packages/92/60/aa77ca1cd3b71eed54d52bf5693b8945569ea82208e185dae8875bdf5354/certora_cli_alpha_shays_CERT_2259-20230518.14.30.943042-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-shays-cert-2259/) (requires-python:>=3.8)
2023-05-23T11:29:46,099   Found link https://files.pythonhosted.org/packages/a6/42/40dae60022c1a3f27c42d3faec05c5f1b87a676d0a74377ab7a19a4aca83/certora-cli-alpha-shays-CERT-2259-20230523.10.50.879141.tar.gz (from https://pypi.org/simple/certora-cli-alpha-shays-cert-2259/) (requires-python:>=3.8), version: 20230523.10.50.879141
2023-05-23T11:29:46,099   Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-2259: https://files.pythonhosted.org/packages/a3/23/eb74b94ac1f63c6295e045d1407290e97a0809915ae357bd5970b9c74d24/certora_cli_alpha_shays_CERT_2259-20230523.10.50.879141-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-shays-cert-2259/) (requires-python:>=3.8)
2023-05-23T11:29:46,099 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-2259/
2023-05-23T11:29:46,100 Getting page https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-2259/
2023-05-23T11:29:46,100 Found index url https://www.piwheels.org/simple/
2023-05-23T11:29:46,272 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-2259/ as text/html
2023-05-23T11:29:46,273   Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-2259: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-2259/certora_cli_alpha_shays_CERT_2259-20230518.14.30.943042-py3-none-any.whl#sha256=15ead7f4d28ed4a30637effd25abcc2fa97339e47e58129ac54ac7da69696a6c (from https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-2259/) (requires-python:>=3.8)
2023-05-23T11:29:46,273 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-2259/
2023-05-23T11:29:46,273 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-shays-cert-2259/
2023-05-23T11:29:46,291 Given no hashes to check 1 links for project 'certora-cli-alpha-shays-cert-2259': discarding no candidates
2023-05-23T11:29:46,313 Collecting certora-cli-alpha-shays-cert-2259==20230523.10.50.879141
2023-05-23T11:29:46,315   Created temporary directory: /tmp/pip-unpack-h4mkhmud
2023-05-23T11:29:46,623   Downloading certora-cli-alpha-shays-CERT-2259-20230523.10.50.879141.tar.gz (39.0 MB)
2023-05-23T11:29:56,872   Added certora-cli-alpha-shays-cert-2259==20230523.10.50.879141 from https://files.pythonhosted.org/packages/a6/42/40dae60022c1a3f27c42d3faec05c5f1b87a676d0a74377ab7a19a4aca83/certora-cli-alpha-shays-CERT-2259-20230523.10.50.879141.tar.gz to build tracker '/tmp/pip-build-tracker-yl_p_l2d'
2023-05-23T11:29:56,875   Running setup.py (path:/tmp/pip-wheel-0sry61_e/certora-cli-alpha-shays-cert-2259_4ec6e1a6c266468cb3e8336daeae3a6a/setup.py) egg_info for package certora-cli-alpha-shays-cert-2259
2023-05-23T11:29:56,875   Created temporary directory: /tmp/pip-pip-egg-info-5gjhs4gm
2023-05-23T11:29:56,875   Preparing metadata (setup.py): started
2023-05-23T11:29:56,876   Running command python setup.py egg_info
2023-05-23T11:29:57,475   running egg_info
2023-05-23T11:29:57,477   creating /tmp/pip-pip-egg-info-5gjhs4gm/certora_cli_alpha_shays_CERT_2259.egg-info
2023-05-23T11:29:57,501   writing /tmp/pip-pip-egg-info-5gjhs4gm/certora_cli_alpha_shays_CERT_2259.egg-info/PKG-INFO
2023-05-23T11:29:57,503   writing dependency_links to /tmp/pip-pip-egg-info-5gjhs4gm/certora_cli_alpha_shays_CERT_2259.egg-info/dependency_links.txt
2023-05-23T11:29:57,505   writing entry points to /tmp/pip-pip-egg-info-5gjhs4gm/certora_cli_alpha_shays_CERT_2259.egg-info/entry_points.txt
2023-05-23T11:29:57,506   writing requirements to /tmp/pip-pip-egg-info-5gjhs4gm/certora_cli_alpha_shays_CERT_2259.egg-info/requires.txt
2023-05-23T11:29:57,507   writing top-level names to /tmp/pip-pip-egg-info-5gjhs4gm/certora_cli_alpha_shays_CERT_2259.egg-info/top_level.txt
2023-05-23T11:29:57,508   writing manifest file '/tmp/pip-pip-egg-info-5gjhs4gm/certora_cli_alpha_shays_CERT_2259.egg-info/SOURCES.txt'
2023-05-23T11:29:57,601   reading manifest file '/tmp/pip-pip-egg-info-5gjhs4gm/certora_cli_alpha_shays_CERT_2259.egg-info/SOURCES.txt'
2023-05-23T11:29:57,603   reading manifest template 'MANIFEST.in'
2023-05-23T11:29:57,614   adding license file 'LICENSE'
2023-05-23T11:29:57,617   writing manifest file '/tmp/pip-pip-egg-info-5gjhs4gm/certora_cli_alpha_shays_CERT_2259.egg-info/SOURCES.txt'
2023-05-23T11:29:57,677   Preparing metadata (setup.py): finished with status 'done'
2023-05-23T11:29:57,682   Source in /tmp/pip-wheel-0sry61_e/certora-cli-alpha-shays-cert-2259_4ec6e1a6c266468cb3e8336daeae3a6a has version 20230523.10.50.879141, which satisfies requirement certora-cli-alpha-shays-cert-2259==20230523.10.50.879141 from https://files.pythonhosted.org/packages/a6/42/40dae60022c1a3f27c42d3faec05c5f1b87a676d0a74377ab7a19a4aca83/certora-cli-alpha-shays-CERT-2259-20230523.10.50.879141.tar.gz
2023-05-23T11:29:57,683   Removed certora-cli-alpha-shays-cert-2259==20230523.10.50.879141 from https://files.pythonhosted.org/packages/a6/42/40dae60022c1a3f27c42d3faec05c5f1b87a676d0a74377ab7a19a4aca83/certora-cli-alpha-shays-CERT-2259-20230523.10.50.879141.tar.gz from build tracker '/tmp/pip-build-tracker-yl_p_l2d'
2023-05-23T11:29:57,690 Created temporary directory: /tmp/pip-unpack-hx1v6jfq
2023-05-23T11:29:57,690 Building wheels for collected packages: certora-cli-alpha-shays-cert-2259
2023-05-23T11:29:57,695   Created temporary directory: /tmp/pip-wheel-sbm3mohw
2023-05-23T11:29:57,695   Building wheel for certora-cli-alpha-shays-cert-2259 (setup.py): started
2023-05-23T11:29:57,696   Destination directory: /tmp/pip-wheel-sbm3mohw
2023-05-23T11:29:57,696   Running command python setup.py bdist_wheel
2023-05-23T11:29:58,543   running bdist_wheel
2023-05-23T11:29:58,836   running build
2023-05-23T11:29:58,836   running build_py
2023-05-23T11:29:58,865   creating build
2023-05-23T11:29:58,865   creating build/lib
2023-05-23T11:29:58,866   creating build/lib/certora_jars
2023-05-23T11:29:58,867   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-23T11:29:58,869   creating build/lib/certora_cli
2023-05-23T11:29:58,870   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-23T11:29:58,872   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-23T11:29:58,874   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-23T11:29:58,876   creating build/lib/certora_cli/Shared
2023-05-23T11:29:58,877   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-23T11:29:58,880   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-23T11:29:58,882   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-23T11:29:58,884   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-23T11:29:58,888   creating build/lib/certora_cli/EVMVerifier
2023-05-23T11:29:58,889   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-23T11:29:58,894   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-23T11:29:58,897   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2023-05-23T11:29:58,899   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-23T11:29:58,901   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-23T11:29:58,903   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-23T11:29:58,905   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-23T11:29:58,907   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-23T11:29:58,909   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-23T11:29:58,911   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-23T11:29:58,914   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-23T11:29:58,916   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-23T11:29:58,920   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-23T11:29:58,922   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-23T11:29:58,925   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-23T11:29:58,926   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-23T11:29:58,929   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-23T11:29:58,931   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-23T11:29:58,933   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-23T11:29:58,935   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-23T11:29:58,937   running egg_info
2023-05-23T11:29:58,998   writing certora_cli_alpha_shays_CERT_2259.egg-info/PKG-INFO
2023-05-23T11:29:59,000   writing dependency_links to certora_cli_alpha_shays_CERT_2259.egg-info/dependency_links.txt
2023-05-23T11:29:59,002   writing entry points to certora_cli_alpha_shays_CERT_2259.egg-info/entry_points.txt
2023-05-23T11:29:59,003   writing requirements to certora_cli_alpha_shays_CERT_2259.egg-info/requires.txt
2023-05-23T11:29:59,004   writing top-level names to certora_cli_alpha_shays_CERT_2259.egg-info/top_level.txt
2023-05-23T11:29:59,036   reading manifest file 'certora_cli_alpha_shays_CERT_2259.egg-info/SOURCES.txt'
2023-05-23T11:29:59,039   reading manifest template 'MANIFEST.in'
2023-05-23T11:29:59,048   adding license file 'LICENSE'
2023-05-23T11:29:59,052   writing manifest file 'certora_cli_alpha_shays_CERT_2259.egg-info/SOURCES.txt'
2023-05-23T11:29:59,056   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-23T11:29:59,058   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-23T11:29:59,272   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-23T11:29:59,430   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-23T11:29:59,642   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-23T11:29:59,743   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-23T11:29:59,839   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-23T11:29:59,839   !!

2023-05-23T11:29:59,839           ********************************************************************************
2023-05-23T11:29:59,839           Please avoid running ``setup.py`` directly.
2023-05-23T11:29:59,840           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-23T11:29:59,840           other standards-based tools.

2023-05-23T11:29:59,840           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-23T11:29:59,840           ********************************************************************************

2023-05-23T11:29:59,840   !!
2023-05-23T11:29:59,841     self.initialize_options()
2023-05-23T11:29:59,864   installing to build/bdist.linux-armv7l/wheel
2023-05-23T11:29:59,865   running install
2023-05-23T11:29:59,890   running install_lib
2023-05-23T11:29:59,916   creating build/bdist.linux-armv7l
2023-05-23T11:29:59,917   creating build/bdist.linux-armv7l/wheel
2023-05-23T11:29:59,918   creating build/bdist.linux-armv7l/wheel/certora_jars
2023-05-23T11:29:59,919   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-23T11:30:00,125   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-23T11:30:00,298   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-23T11:30:00,366   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-23T11:30:00,368   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-23T11:30:00,369   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-23T11:30:00,459   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-23T11:30:00,708   creating build/bdist.linux-armv7l/wheel/certora_cli
2023-05-23T11:30:00,710   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-23T11:30:00,712   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-23T11:30:00,715   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-23T11:30:00,717   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-23T11:30:00,718   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-23T11:30:00,722   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-23T11:30:00,724   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-23T11:30:00,727   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-23T11:30:00,730   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-23T11:30:00,731   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-23T11:30:00,737   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-23T11:30:00,740   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-23T11:30:00,742   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-23T11:30:00,745   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-23T11:30:00,747   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-23T11:30:00,751   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-23T11:30:00,752   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-23T11:30:00,755   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-23T11:30:00,758   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-23T11:30:00,761   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-23T11:30:00,764   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-23T11:30:00,765   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-23T11:30:00,768   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-23T11:30:00,770   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-23T11:30:00,772   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-23T11:30:00,774   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-23T11:30:00,776   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-23T11:30:00,779   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-23T11:30:00,781   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-23T11:30:00,783   running install_egg_info
2023-05-23T11:30:00,813   Copying certora_cli_alpha_shays_CERT_2259.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_shays_CERT_2259-20230523.10.50.879141-py3.9.egg-info
2023-05-23T11:30:00,825   running install_scripts
2023-05-23T11:30:00,841   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2023-05-23T11:30:00,845   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_shays_CERT_2259-20230523.10.50.879141.dist-info/WHEEL
2023-05-23T11:30:00,848   creating '/tmp/pip-wheel-sbm3mohw/certora_cli_alpha_shays_CERT_2259-20230523.10.50.879141-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2023-05-23T11:30:00,850   adding 'certora_cli/__init__.py'
2023-05-23T11:30:00,851   adding 'certora_cli/certoraMutate.py'
2023-05-23T11:30:00,853   adding 'certora_cli/certoraRun.py'
2023-05-23T11:30:00,855   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-23T11:30:00,877   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-23T11:30:00,884   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-23T11:30:00,886   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-23T11:30:00,888   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-23T11:30:00,892   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-23T11:30:00,895   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-23T11:30:00,897   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-23T11:30:00,902   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-23T11:30:00,904   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2023-05-23T11:30:00,906   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-23T11:30:00,907   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-23T11:30:00,910   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-23T11:30:00,914   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-23T11:30:00,916   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-23T11:30:00,918   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-23T11:30:00,919   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-23T11:30:00,924   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-23T11:30:00,925   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-23T11:30:00,927   adding 'certora_cli/Shared/__init__.py'
2023-05-23T11:30:00,929   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-23T11:30:00,931   adding 'certora_cli/Shared/certoraTester.py'
2023-05-23T11:30:00,937   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-23T11:30:00,940   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-23T11:30:02,649   adding 'certora_jars/MutationTest.jar'
2023-05-23T11:30:03,977   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-23T11:30:05,559   adding 'certora_jars/Typechecker.jar'
2023-05-23T11:30:05,642   adding 'certora_jars/__init__.py'
2023-05-23T11:30:06,380   adding 'certora_jars/gambit-linux'
2023-05-23T11:30:07,040   adding 'certora_jars/gambit-macos'
2023-05-23T11:30:07,066   adding 'certora_cli_alpha_shays_CERT_2259-20230523.10.50.879141.dist-info/LICENSE'
2023-05-23T11:30:07,067   adding 'certora_cli_alpha_shays_CERT_2259-20230523.10.50.879141.dist-info/METADATA'
2023-05-23T11:30:07,068   adding 'certora_cli_alpha_shays_CERT_2259-20230523.10.50.879141.dist-info/WHEEL'
2023-05-23T11:30:07,069   adding 'certora_cli_alpha_shays_CERT_2259-20230523.10.50.879141.dist-info/entry_points.txt'
2023-05-23T11:30:07,070   adding 'certora_cli_alpha_shays_CERT_2259-20230523.10.50.879141.dist-info/top_level.txt'
2023-05-23T11:30:07,071   adding 'certora_cli_alpha_shays_CERT_2259-20230523.10.50.879141.dist-info/RECORD'
2023-05-23T11:30:07,484   removing build/bdist.linux-armv7l/wheel
2023-05-23T11:30:07,599   Building wheel for certora-cli-alpha-shays-cert-2259 (setup.py): finished with status 'done'
2023-05-23T11:30:07,988   Created wheel for certora-cli-alpha-shays-cert-2259: filename=certora_cli_alpha_shays_CERT_2259-20230523.10.50.879141-py3-none-any.whl size=39020203 sha256=c9f15fc4a4442ff133e65fff9e5af3cb29e2b49513b860b65413931d9f83ab9a
2023-05-23T11:30:07,989   Stored in directory: /tmp/pip-ephem-wheel-cache-pkw57si2/wheels/74/3e/2c/85db67898ef4c681666032aa1f2f8e32f0e71c2d4676eb011c
2023-05-23T11:30:08,013 Successfully built certora-cli-alpha-shays-cert-2259
2023-05-23T11:30:08,916 Removed build tracker: '/tmp/pip-build-tracker-yl_p_l2d'