2023-05-15T17:08:53,835 Created temporary directory: /tmp/pip-build-tracker-7g9ijxze
2023-05-15T17:08:53,837 Initialized build tracking at /tmp/pip-build-tracker-7g9ijxze
2023-05-15T17:08:53,837 Created build tracker: /tmp/pip-build-tracker-7g9ijxze
2023-05-15T17:08:53,837 Entered build tracker: /tmp/pip-build-tracker-7g9ijxze
2023-05-15T17:08:53,838 Created temporary directory: /tmp/pip-wheel-242h4nzf
2023-05-15T17:08:53,842 Created temporary directory: /tmp/pip-ephem-wheel-cache-mjsk8bcx
2023-05-15T17:08:53,866 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-15T17:08:53,870 2 location(s) to search for versions of certora-cli-alpha-shays-cert-1717-b:
2023-05-15T17:08:53,870 * https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/
2023-05-15T17:08:53,870 * https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/
2023-05-15T17:08:53,871 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/
2023-05-15T17:08:53,872 Getting page https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/
2023-05-15T17:08:53,873 Found index url https://pypi.org/simple/
2023-05-15T17:08:53,925 Fetched page https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/ as application/vnd.pypi.simple.v1+json
2023-05-15T17:08:53,928   Found link https://files.pythonhosted.org/packages/64/27/7d116b8c58d96e64c8ed1e7756cd9788d4e7439aa77a29484d23b3d4d467/certora-cli-alpha-shays-CERT-1717-b-20230515.8.39.685357.tar.gz (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16), version: 20230515.8.39.685357
2023-05-15T17:08:53,928   Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-1717-b: https://files.pythonhosted.org/packages/03/f2/a0dffa11cc30dc0ef9095f24e9c9e526e91c5cc676211e6a4491d6e9297f/certora_cli_alpha_shays_CERT_1717_b-20230515.8.39.685357-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16)
2023-05-15T17:08:53,929   Found link https://files.pythonhosted.org/packages/4f/7c/94ab6dbfc905458640c42779a415e7341aecf8db900799a785455caaa1ad/certora-cli-alpha-shays-CERT-1717-b-20230515.10.8.581349.tar.gz (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16), version: 20230515.10.8.581349
2023-05-15T17:08:53,929   Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-1717-b: https://files.pythonhosted.org/packages/c4/c8/28da776d9b16080d94f407da5fbe55530cebdb91d337e1ae4714e7a44016/certora_cli_alpha_shays_CERT_1717_b-20230515.10.8.581349-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16)
2023-05-15T17:08:53,930   Found link https://files.pythonhosted.org/packages/d3/13/d0c183a6dad3b1d59efe91f8b27b30e9982057a986642493c0a2fa42f0ea/certora-cli-alpha-shays-CERT-1717-b-20230515.13.51.956104.tar.gz (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16), version: 20230515.13.51.956104
2023-05-15T17:08:53,930   Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-1717-b: https://files.pythonhosted.org/packages/a0/35/c3fd1726ac75e088da1893852418aaaa3d873fd34dd7f18d70e7ad64aa9f/certora_cli_alpha_shays_CERT_1717_b-20230515.13.51.956104-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16)
2023-05-15T17:08:53,931   Found link https://files.pythonhosted.org/packages/0b/68/4e86d98b0153bc19e5fded52f8923e541dc84fd69dc6d6a7fb55dad722f0/certora-cli-alpha-shays-CERT-1717-b-20230515.15.6.569177.tar.gz (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16), version: 20230515.15.6.569177
2023-05-15T17:08:53,931   Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-1717-b: https://files.pythonhosted.org/packages/b2/09/de5266ee645839648fcf30b32ba6113419125b87f9d829210682bb9a8959/certora_cli_alpha_shays_CERT_1717_b-20230515.15.6.569177-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16)
2023-05-15T17:08:53,931 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/
2023-05-15T17:08:53,932 Getting page https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/
2023-05-15T17:08:53,933 Found index url https://www.piwheels.org/simple/
2023-05-15T17:08:54,089 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/ as text/html
2023-05-15T17:08:54,091   Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-1717-b: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/certora_cli_alpha_shays_CERT_1717_b-20230515.13.51.956104-py3-none-any.whl#sha256=6e557d3f75a49400a4eaec97c7a08b7fdc40839529177369560ea215c0f2f091 (from https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16)
2023-05-15T17:08:54,091   Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-1717-b: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/certora_cli_alpha_shays_CERT_1717_b-20230515.10.8.581349-py3-none-any.whl#sha256=b659d52d6c4a36c59d237f5fb42c5c3566bba250e17abedaa0d72c8d531aafb1 (from https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16)
2023-05-15T17:08:54,091   Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-1717-b: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/certora_cli_alpha_shays_CERT_1717_b-20230515.8.39.685357-py3-none-any.whl#sha256=fb55397630560018aa3905318e6da64ce9b18e01b195293d23ce3fc128154d56 (from https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16)
2023-05-15T17:08:54,092 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/
2023-05-15T17:08:54,092 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/
2023-05-15T17:08:54,110 Given no hashes to check 1 links for project 'certora-cli-alpha-shays-cert-1717-b': discarding no candidates
2023-05-15T17:08:54,128 Collecting certora-cli-alpha-shays-cert-1717-b==20230515.15.6.569177
2023-05-15T17:08:54,130   Created temporary directory: /tmp/pip-unpack-x031d1my
2023-05-15T17:08:54,260   Downloading certora-cli-alpha-shays-CERT-1717-b-20230515.15.6.569177.tar.gz (39.4 MB)
2023-05-15T17:09:16,476   Added certora-cli-alpha-shays-cert-1717-b==20230515.15.6.569177 from https://files.pythonhosted.org/packages/0b/68/4e86d98b0153bc19e5fded52f8923e541dc84fd69dc6d6a7fb55dad722f0/certora-cli-alpha-shays-CERT-1717-b-20230515.15.6.569177.tar.gz to build tracker '/tmp/pip-build-tracker-7g9ijxze'
2023-05-15T17:09:16,478   Running setup.py (path:/tmp/pip-wheel-242h4nzf/certora-cli-alpha-shays-cert-1717-b_272f17c17a98498aaf73757d20a780ad/setup.py) egg_info for package certora-cli-alpha-shays-cert-1717-b
2023-05-15T17:09:16,479   Created temporary directory: /tmp/pip-pip-egg-info-7l3qclg0
2023-05-15T17:09:16,479   Preparing metadata (setup.py): started
2023-05-15T17:09:16,480   Running command python setup.py egg_info
2023-05-15T17:09:17,144   running egg_info
2023-05-15T17:09:17,146   creating /tmp/pip-pip-egg-info-7l3qclg0/certora_cli_alpha_shays_CERT_1717_b.egg-info
2023-05-15T17:09:17,176   writing /tmp/pip-pip-egg-info-7l3qclg0/certora_cli_alpha_shays_CERT_1717_b.egg-info/PKG-INFO
2023-05-15T17:09:17,179   writing dependency_links to /tmp/pip-pip-egg-info-7l3qclg0/certora_cli_alpha_shays_CERT_1717_b.egg-info/dependency_links.txt
2023-05-15T17:09:17,181   writing entry points to /tmp/pip-pip-egg-info-7l3qclg0/certora_cli_alpha_shays_CERT_1717_b.egg-info/entry_points.txt
2023-05-15T17:09:17,183   writing requirements to /tmp/pip-pip-egg-info-7l3qclg0/certora_cli_alpha_shays_CERT_1717_b.egg-info/requires.txt
2023-05-15T17:09:17,184   writing top-level names to /tmp/pip-pip-egg-info-7l3qclg0/certora_cli_alpha_shays_CERT_1717_b.egg-info/top_level.txt
2023-05-15T17:09:17,186   writing manifest file '/tmp/pip-pip-egg-info-7l3qclg0/certora_cli_alpha_shays_CERT_1717_b.egg-info/SOURCES.txt'
2023-05-15T17:09:17,286   reading manifest file '/tmp/pip-pip-egg-info-7l3qclg0/certora_cli_alpha_shays_CERT_1717_b.egg-info/SOURCES.txt'
2023-05-15T17:09:17,289   reading manifest template 'MANIFEST.in'
2023-05-15T17:09:17,303   adding license file 'LICENSE'
2023-05-15T17:09:17,309   writing manifest file '/tmp/pip-pip-egg-info-7l3qclg0/certora_cli_alpha_shays_CERT_1717_b.egg-info/SOURCES.txt'
2023-05-15T17:09:17,378   Preparing metadata (setup.py): finished with status 'done'
2023-05-15T17:09:17,384   Source in /tmp/pip-wheel-242h4nzf/certora-cli-alpha-shays-cert-1717-b_272f17c17a98498aaf73757d20a780ad has version 20230515.15.6.569177, which satisfies requirement certora-cli-alpha-shays-cert-1717-b==20230515.15.6.569177 from https://files.pythonhosted.org/packages/0b/68/4e86d98b0153bc19e5fded52f8923e541dc84fd69dc6d6a7fb55dad722f0/certora-cli-alpha-shays-CERT-1717-b-20230515.15.6.569177.tar.gz
2023-05-15T17:09:17,385   Removed certora-cli-alpha-shays-cert-1717-b==20230515.15.6.569177 from https://files.pythonhosted.org/packages/0b/68/4e86d98b0153bc19e5fded52f8923e541dc84fd69dc6d6a7fb55dad722f0/certora-cli-alpha-shays-CERT-1717-b-20230515.15.6.569177.tar.gz from build tracker '/tmp/pip-build-tracker-7g9ijxze'
2023-05-15T17:09:17,392 Created temporary directory: /tmp/pip-unpack-fxvgymb0
2023-05-15T17:09:17,393 Building wheels for collected packages: certora-cli-alpha-shays-cert-1717-b
2023-05-15T17:09:17,398   Created temporary directory: /tmp/pip-wheel-uf4os8z8
2023-05-15T17:09:17,398   Building wheel for certora-cli-alpha-shays-cert-1717-b (setup.py): started
2023-05-15T17:09:17,399   Destination directory: /tmp/pip-wheel-uf4os8z8
2023-05-15T17:09:17,399   Running command python setup.py bdist_wheel
2023-05-15T17:09:18,097   running bdist_wheel
2023-05-15T17:09:18,396   running build
2023-05-15T17:09:18,396   running build_py
2023-05-15T17:09:18,428   creating build
2023-05-15T17:09:18,428   creating build/lib
2023-05-15T17:09:18,429   creating build/lib/certora_jars
2023-05-15T17:09:18,431   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-15T17:09:18,433   creating build/lib/certora_cli
2023-05-15T17:09:18,434   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-15T17:09:18,436   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-15T17:09:18,438   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-15T17:09:18,441   creating build/lib/certora_cli/EVMVerifier
2023-05-15T17:09:18,442   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:09:18,444   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:09:18,450   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:09:18,453   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:09:18,456   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:09:18,459   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:09:18,462   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:09:18,466   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:09:18,468   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:09:18,470   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:09:18,473   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:09:18,476   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:09:18,478   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:09:18,481   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:09:18,484   creating build/lib/certora_cli/Shared
2023-05-15T17:09:18,485   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-15T17:09:18,487   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-15T17:09:18,489   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-15T17:09:18,493   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-15T17:09:18,496   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:09:18,497   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:09:18,499   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:09:18,502   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:09:18,504   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:09:18,506   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:09:18,509   running egg_info
2023-05-15T17:09:18,575   writing certora_cli_alpha_shays_CERT_1717_b.egg-info/PKG-INFO
2023-05-15T17:09:18,577   writing dependency_links to certora_cli_alpha_shays_CERT_1717_b.egg-info/dependency_links.txt
2023-05-15T17:09:18,579   writing entry points to certora_cli_alpha_shays_CERT_1717_b.egg-info/entry_points.txt
2023-05-15T17:09:18,581   writing requirements to certora_cli_alpha_shays_CERT_1717_b.egg-info/requires.txt
2023-05-15T17:09:18,582   writing top-level names to certora_cli_alpha_shays_CERT_1717_b.egg-info/top_level.txt
2023-05-15T17:09:18,616   reading manifest file 'certora_cli_alpha_shays_CERT_1717_b.egg-info/SOURCES.txt'
2023-05-15T17:09:18,619   reading manifest template 'MANIFEST.in'
2023-05-15T17:09:18,630   adding license file 'LICENSE'
2023-05-15T17:09:18,634   writing manifest file 'certora_cli_alpha_shays_CERT_1717_b.egg-info/SOURCES.txt'
2023-05-15T17:09:18,637   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-15T17:09:18,640   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-15T17:09:18,853   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-15T17:09:18,994   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-15T17:09:19,177   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-15T17:09:19,303   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-15T17:09:19,435   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-15T17:09:19,436   !!

2023-05-15T17:09:19,436           ********************************************************************************
2023-05-15T17:09:19,436           Please avoid running ``setup.py`` directly.
2023-05-15T17:09:19,436           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-15T17:09:19,437           other standards-based tools.

2023-05-15T17:09:19,437           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-15T17:09:19,437           ********************************************************************************

2023-05-15T17:09:19,437   !!
2023-05-15T17:09:19,437     self.initialize_options()
2023-05-15T17:09:19,466   installing to build/bdist.linux-aarch64/wheel
2023-05-15T17:09:19,466   running install
2023-05-15T17:09:19,491   running install_lib
2023-05-15T17:09:19,521   creating build/bdist.linux-aarch64
2023-05-15T17:09:19,521   creating build/bdist.linux-aarch64/wheel
2023-05-15T17:09:19,523   creating build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:09:19,524   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:09:19,526   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:09:19,528   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:09:19,732   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:09:19,845   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:09:20,016   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:09:20,226   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:09:20,315   creating build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T17:09:20,316   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T17:09:20,318   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T17:09:20,321   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T17:09:20,323   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:09:20,324   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:09:20,327   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:09:20,332   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:09:20,334   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:09:20,338   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:09:20,341   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:09:20,344   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:09:20,348   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:09:20,350   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:09:20,352   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:09:20,353   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:09:20,355   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:09:20,358   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:09:20,360   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:09:20,363   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:09:20,366   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:09:20,370   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:09:20,373   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:09:20,375   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:09:20,378   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:09:20,381   creating build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T17:09:20,382   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T17:09:20,384   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T17:09:20,387   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T17:09:20,390   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T17:09:20,393   running install_egg_info
2023-05-15T17:09:20,427   Copying certora_cli_alpha_shays_CERT_1717_b.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_shays_CERT_1717_b-20230515.15.6.569177-py3.9.egg-info
2023-05-15T17:09:20,440   running install_scripts
2023-05-15T17:09:20,458   creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_shays_CERT_1717_b-20230515.15.6.569177.dist-info/WHEEL
2023-05-15T17:09:20,461   creating '/tmp/pip-wheel-uf4os8z8/certora_cli_alpha_shays_CERT_1717_b-20230515.15.6.569177-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it
2023-05-15T17:09:20,464   adding 'certora_cli/__init__.py'
2023-05-15T17:09:20,465   adding 'certora_cli/certoraMutate.py'
2023-05-15T17:09:20,467   adding 'certora_cli/certoraRun.py'
2023-05-15T17:09:20,470   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-15T17:09:20,491   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-15T17:09:20,498   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-15T17:09:20,501   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-15T17:09:20,503   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-15T17:09:20,507   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-15T17:09:20,511   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-15T17:09:20,513   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-15T17:09:20,518   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-15T17:09:20,520   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2023-05-15T17:09:20,522   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-15T17:09:20,524   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-15T17:09:20,527   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-15T17:09:20,530   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-15T17:09:20,533   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-15T17:09:20,535   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-15T17:09:20,536   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-15T17:09:20,541   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-15T17:09:20,542   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-15T17:09:20,544   adding 'certora_cli/Shared/__init__.py'
2023-05-15T17:09:20,546   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-15T17:09:20,548   adding 'certora_cli/Shared/certoraTester.py'
2023-05-15T17:09:20,555   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-15T17:09:20,558   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-15T17:09:22,198   adding 'certora_jars/MutationTest.jar'
2023-05-15T17:09:23,510   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-15T17:09:25,058   adding 'certora_jars/Typechecker.jar'
2023-05-15T17:09:25,142   adding 'certora_jars/__init__.py'
2023-05-15T17:09:25,994   adding 'certora_jars/gambit-linux'
2023-05-15T17:09:26,849   adding 'certora_jars/gambit-macos'
2023-05-15T17:09:26,885   adding 'certora_cli_alpha_shays_CERT_1717_b-20230515.15.6.569177.dist-info/LICENSE'
2023-05-15T17:09:26,886   adding 'certora_cli_alpha_shays_CERT_1717_b-20230515.15.6.569177.dist-info/METADATA'
2023-05-15T17:09:26,887   adding 'certora_cli_alpha_shays_CERT_1717_b-20230515.15.6.569177.dist-info/WHEEL'
2023-05-15T17:09:26,889   adding 'certora_cli_alpha_shays_CERT_1717_b-20230515.15.6.569177.dist-info/entry_points.txt'
2023-05-15T17:09:26,890   adding 'certora_cli_alpha_shays_CERT_1717_b-20230515.15.6.569177.dist-info/top_level.txt'
2023-05-15T17:09:26,891   adding 'certora_cli_alpha_shays_CERT_1717_b-20230515.15.6.569177.dist-info/RECORD'
2023-05-15T17:09:27,365   removing build/bdist.linux-aarch64/wheel
2023-05-15T17:09:27,485   Building wheel for certora-cli-alpha-shays-cert-1717-b (setup.py): finished with status 'done'
2023-05-15T17:09:27,816   Created wheel for certora-cli-alpha-shays-cert-1717-b: filename=certora_cli_alpha_shays_CERT_1717_b-20230515.15.6.569177-py3-none-any.whl size=39473560 sha256=1ad744fba06fc03ede1cecc64e052765408cfe9ba5c41716a3c8678dc595c83a
2023-05-15T17:09:27,817   Stored in directory: /tmp/pip-ephem-wheel-cache-mjsk8bcx/wheels/8a/a7/4f/a98e67c2f572c5df40e4417caf7940c0c570f834ffbc16a1e5
2023-05-15T17:09:27,847 Successfully built certora-cli-alpha-shays-cert-1717-b
2023-05-15T17:09:28,895 Removed build tracker: '/tmp/pip-build-tracker-7g9ijxze'