2023-05-13T14:48:57,444 Created temporary directory: /tmp/pip-build-tracker-qosforuk
2023-05-13T14:48:57,445 Initialized build tracking at /tmp/pip-build-tracker-qosforuk
2023-05-13T14:48:57,445 Created build tracker: /tmp/pip-build-tracker-qosforuk
2023-05-13T14:48:57,446 Entered build tracker: /tmp/pip-build-tracker-qosforuk
2023-05-13T14:48:57,446 Created temporary directory: /tmp/pip-wheel-9bb4rbov
2023-05-13T14:48:57,450 Created temporary directory: /tmp/pip-ephem-wheel-cache-oew0ktah
2023-05-13T14:48:57,474 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-13T14:48:57,478 2 location(s) to search for versions of certora-cli-alpha-rahav-cert-1849:
2023-05-13T14:48:57,478 * https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/
2023-05-13T14:48:57,478 * https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/
2023-05-13T14:48:57,479 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/
2023-05-13T14:48:57,479 Getting page https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/
2023-05-13T14:48:57,481 Found index url https://pypi.org/simple/
2023-05-13T14:48:57,535 Fetched page https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/ as application/vnd.pypi.simple.v1+json
2023-05-13T14:48:57,538   Found link https://files.pythonhosted.org/packages/fb/2d/b6f601bbdbd48e71e9f8329b4932f82ae7ad90ea7dbe2005cd2113c025ef/certora-cli-alpha-rahav-CERT-1849-20230501.9.3.679493.tar.gz (from https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/) (requires-python:>=3.8.16), version: 20230501.9.3.679493
2023-05-13T14:48:57,538   Skipping link: No binaries permitted for certora-cli-alpha-rahav-cert-1849: https://files.pythonhosted.org/packages/60/73/4b8facbe57543279e23999d2a5b497a600a94b499295be6c4b027d934369/certora_cli_alpha_rahav_CERT_1849-20230501.9.3.679493-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/) (requires-python:>=3.8.16)
2023-05-13T14:48:57,539   Found link https://files.pythonhosted.org/packages/ff/10/ba762e39fe81bb2d6ff4f25c2d2e84b372b9a6d9075bb81f5756b1e4e612/certora-cli-alpha-rahav-CERT-1849-20230501.11.3.354497.tar.gz (from https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/) (requires-python:>=3.8.16), version: 20230501.11.3.354497
2023-05-13T14:48:57,539   Skipping link: No binaries permitted for certora-cli-alpha-rahav-cert-1849: https://files.pythonhosted.org/packages/39/e1/741363d85c0acc1a2e72f59b885e0b1f68adcfe1f40518b1a91769ced736/certora_cli_alpha_rahav_CERT_1849-20230501.11.3.354497-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/) (requires-python:>=3.8.16)
2023-05-13T14:48:57,540   Found link https://files.pythonhosted.org/packages/69/01/acd3033df60ac7344cb2ec6a8c74f42c97ab6e74f1c6c264b6f1c05ed3b6/certora-cli-alpha-rahav-CERT-1849-20230501.11.34.215275.tar.gz (from https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/) (requires-python:>=3.8.16), version: 20230501.11.34.215275
2023-05-13T14:48:57,540   Skipping link: No binaries permitted for certora-cli-alpha-rahav-cert-1849: https://files.pythonhosted.org/packages/5c/24/25d17ed7e7c8ce290db16820c03210e4baa6abdf34319313d7c6cacbf063/certora_cli_alpha_rahav_CERT_1849-20230501.11.34.215275-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/) (requires-python:>=3.8.16)
2023-05-13T14:48:57,540 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/
2023-05-13T14:48:57,541 Getting page https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/
2023-05-13T14:48:57,542 Found index url https://www.piwheels.org/simple/
2023-05-13T14:48:57,693 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/ as text/html
2023-05-13T14:48:57,695   Skipping link: No binaries permitted for certora-cli-alpha-rahav-cert-1849: https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/certora_cli_alpha_rahav_CERT_1849-20230501.11.3.354497-py3-none-any.whl#sha256=f5d385acdb2f8ad0571c688a46cc08f542f74350b600894a2ac3e08c51778c7f (from https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/) (requires-python:>=3.8.16)
2023-05-13T14:48:57,695   Skipping link: No binaries permitted for certora-cli-alpha-rahav-cert-1849: https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/certora_cli_alpha_rahav_CERT_1849-20230501.9.3.679493-py3-none-any.whl#sha256=da4411957ca0a2ad15b8504fcea90a575c31a7cbcb80c77642c8e118487ad592 (from https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/) (requires-python:>=3.8.16)
2023-05-13T14:48:57,695 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/
2023-05-13T14:48:57,695 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/
2023-05-13T14:48:57,714 Given no hashes to check 1 links for project 'certora-cli-alpha-rahav-cert-1849': discarding no candidates
2023-05-13T14:48:57,732 Collecting certora-cli-alpha-rahav-cert-1849==20230501.11.34.215275
2023-05-13T14:48:57,735   Created temporary directory: /tmp/pip-unpack-d3q5c1l8
2023-05-13T14:48:58,270   Downloading certora-cli-alpha-rahav-CERT-1849-20230501.11.34.215275.tar.gz (38.3 MB)
2023-05-13T14:49:07,797   Added certora-cli-alpha-rahav-cert-1849==20230501.11.34.215275 from https://files.pythonhosted.org/packages/69/01/acd3033df60ac7344cb2ec6a8c74f42c97ab6e74f1c6c264b6f1c05ed3b6/certora-cli-alpha-rahav-CERT-1849-20230501.11.34.215275.tar.gz to build tracker '/tmp/pip-build-tracker-qosforuk'
2023-05-13T14:49:07,799   Running setup.py (path:/tmp/pip-wheel-9bb4rbov/certora-cli-alpha-rahav-cert-1849_9834a96983a445f285ab8d59692a1314/setup.py) egg_info for package certora-cli-alpha-rahav-cert-1849
2023-05-13T14:49:07,800   Created temporary directory: /tmp/pip-pip-egg-info-lpexzrcv
2023-05-13T14:49:07,800   Preparing metadata (setup.py): started
2023-05-13T14:49:07,801   Running command python setup.py egg_info
2023-05-13T14:49:08,421   running egg_info
2023-05-13T14:49:08,422   creating /tmp/pip-pip-egg-info-lpexzrcv/certora_cli_alpha_rahav_CERT_1849.egg-info
2023-05-13T14:49:08,448   writing /tmp/pip-pip-egg-info-lpexzrcv/certora_cli_alpha_rahav_CERT_1849.egg-info/PKG-INFO
2023-05-13T14:49:08,450   writing dependency_links to /tmp/pip-pip-egg-info-lpexzrcv/certora_cli_alpha_rahav_CERT_1849.egg-info/dependency_links.txt
2023-05-13T14:49:08,452   writing entry points to /tmp/pip-pip-egg-info-lpexzrcv/certora_cli_alpha_rahav_CERT_1849.egg-info/entry_points.txt
2023-05-13T14:49:08,454   writing requirements to /tmp/pip-pip-egg-info-lpexzrcv/certora_cli_alpha_rahav_CERT_1849.egg-info/requires.txt
2023-05-13T14:49:08,455   writing top-level names to /tmp/pip-pip-egg-info-lpexzrcv/certora_cli_alpha_rahav_CERT_1849.egg-info/top_level.txt
2023-05-13T14:49:08,456   writing manifest file '/tmp/pip-pip-egg-info-lpexzrcv/certora_cli_alpha_rahav_CERT_1849.egg-info/SOURCES.txt'
2023-05-13T14:49:08,540   reading manifest file '/tmp/pip-pip-egg-info-lpexzrcv/certora_cli_alpha_rahav_CERT_1849.egg-info/SOURCES.txt'
2023-05-13T14:49:08,542   reading manifest template 'MANIFEST.in'
2023-05-13T14:49:08,551   adding license file 'LICENSE'
2023-05-13T14:49:08,554   writing manifest file '/tmp/pip-pip-egg-info-lpexzrcv/certora_cli_alpha_rahav_CERT_1849.egg-info/SOURCES.txt'
2023-05-13T14:49:08,614   Preparing metadata (setup.py): finished with status 'done'
2023-05-13T14:49:08,620   Source in /tmp/pip-wheel-9bb4rbov/certora-cli-alpha-rahav-cert-1849_9834a96983a445f285ab8d59692a1314 has version 20230501.11.34.215275, which satisfies requirement certora-cli-alpha-rahav-cert-1849==20230501.11.34.215275 from https://files.pythonhosted.org/packages/69/01/acd3033df60ac7344cb2ec6a8c74f42c97ab6e74f1c6c264b6f1c05ed3b6/certora-cli-alpha-rahav-CERT-1849-20230501.11.34.215275.tar.gz
2023-05-13T14:49:08,621   Removed certora-cli-alpha-rahav-cert-1849==20230501.11.34.215275 from https://files.pythonhosted.org/packages/69/01/acd3033df60ac7344cb2ec6a8c74f42c97ab6e74f1c6c264b6f1c05ed3b6/certora-cli-alpha-rahav-CERT-1849-20230501.11.34.215275.tar.gz from build tracker '/tmp/pip-build-tracker-qosforuk'
2023-05-13T14:49:08,627 Created temporary directory: /tmp/pip-unpack-m1tuz4ms
2023-05-13T14:49:08,628 Building wheels for collected packages: certora-cli-alpha-rahav-cert-1849
2023-05-13T14:49:08,632   Created temporary directory: /tmp/pip-wheel-ast4cq77
2023-05-13T14:49:08,633   Building wheel for certora-cli-alpha-rahav-cert-1849 (setup.py): started
2023-05-13T14:49:08,634   Destination directory: /tmp/pip-wheel-ast4cq77
2023-05-13T14:49:08,634   Running command python setup.py bdist_wheel
2023-05-13T14:49:09,453   running bdist_wheel
2023-05-13T14:49:09,740   running build
2023-05-13T14:49:09,740   running build_py
2023-05-13T14:49:09,769   creating build
2023-05-13T14:49:09,769   creating build/lib
2023-05-13T14:49:09,770   creating build/lib/certora_jars
2023-05-13T14:49:09,771   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-13T14:49:09,773   creating build/lib/certora_cli
2023-05-13T14:49:09,774   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-13T14:49:09,776   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-13T14:49:09,778   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-13T14:49:09,781   creating build/lib/certora_cli/EVMVerifier
2023-05-13T14:49:09,782   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T14:49:09,784   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T14:49:09,789   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T14:49:09,791   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T14:49:09,794   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T14:49:09,797   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T14:49:09,800   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T14:49:09,803   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T14:49:09,805   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T14:49:09,808   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T14:49:09,810   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T14:49:09,812   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T14:49:09,814   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T14:49:09,817   creating build/lib/certora_cli/Shared
2023-05-13T14:49:09,818   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-13T14:49:09,820   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-13T14:49:09,822   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-13T14:49:09,826   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-13T14:49:09,829   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T14:49:09,830   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T14:49:09,831   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T14:49:09,834   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T14:49:09,835   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T14:49:09,838   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T14:49:09,841   running egg_info
2023-05-13T14:49:09,900   writing certora_cli_alpha_rahav_CERT_1849.egg-info/PKG-INFO
2023-05-13T14:49:09,902   writing dependency_links to certora_cli_alpha_rahav_CERT_1849.egg-info/dependency_links.txt
2023-05-13T14:49:09,904   writing entry points to certora_cli_alpha_rahav_CERT_1849.egg-info/entry_points.txt
2023-05-13T14:49:09,906   writing requirements to certora_cli_alpha_rahav_CERT_1849.egg-info/requires.txt
2023-05-13T14:49:09,907   writing top-level names to certora_cli_alpha_rahav_CERT_1849.egg-info/top_level.txt
2023-05-13T14:49:09,937   reading manifest file 'certora_cli_alpha_rahav_CERT_1849.egg-info/SOURCES.txt'
2023-05-13T14:49:09,940   reading manifest template 'MANIFEST.in'
2023-05-13T14:49:09,949   adding license file 'LICENSE'
2023-05-13T14:49:09,953   writing manifest file 'certora_cli_alpha_rahav_CERT_1849.egg-info/SOURCES.txt'
2023-05-13T14:49:09,956   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-13T14:49:09,958   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-13T14:49:10,187   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-13T14:49:10,379   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-13T14:49:10,569   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-13T14:49:10,700   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-13T14:49:10,843   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-13T14:49:10,844   !!

2023-05-13T14:49:10,844           ********************************************************************************
2023-05-13T14:49:10,844           Please avoid running ``setup.py`` directly.
2023-05-13T14:49:10,844           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-13T14:49:10,844           other standards-based tools.

2023-05-13T14:49:10,845           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-13T14:49:10,845           ********************************************************************************

2023-05-13T14:49:10,845   !!
2023-05-13T14:49:10,845     self.initialize_options()
2023-05-13T14:49:10,871   installing to build/bdist.linux-aarch64/wheel
2023-05-13T14:49:10,871   running install
2023-05-13T14:49:10,896   running install_lib
2023-05-13T14:49:10,923   creating build/bdist.linux-aarch64
2023-05-13T14:49:10,924   creating build/bdist.linux-aarch64/wheel
2023-05-13T14:49:10,926   creating build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T14:49:10,926   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T14:49:10,928   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T14:49:10,930   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T14:49:11,138   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T14:49:11,251   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T14:49:11,412   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T14:49:11,619   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T14:49:11,713   creating build/bdist.linux-aarch64/wheel/certora_cli
2023-05-13T14:49:11,714   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-13T14:49:11,715   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-13T14:49:11,718   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-13T14:49:11,720   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T14:49:11,721   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T14:49:11,723   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T14:49:11,728   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T14:49:11,730   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T14:49:11,734   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T14:49:11,737   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T14:49:11,740   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T14:49:11,743   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T14:49:11,745   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T14:49:11,746   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T14:49:11,748   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T14:49:11,750   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T14:49:11,752   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T14:49:11,755   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T14:49:11,757   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T14:49:11,760   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T14:49:11,763   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T14:49:11,765   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T14:49:11,767   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T14:49:11,770   creating build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T14:49:11,771   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T14:49:11,773   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T14:49:11,775   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T14:49:11,779   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T14:49:11,781   running install_egg_info
2023-05-13T14:49:11,811   Copying certora_cli_alpha_rahav_CERT_1849.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_rahav_CERT_1849-20230501.11.34.215275-py3.9.egg-info
2023-05-13T14:49:11,823   running install_scripts
2023-05-13T14:49:11,839   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2023-05-13T14:49:11,844   creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_rahav_CERT_1849-20230501.11.34.215275.dist-info/WHEEL
2023-05-13T14:49:11,846   creating '/tmp/pip-wheel-ast4cq77/certora_cli_alpha_rahav_CERT_1849-20230501.11.34.215275-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it
2023-05-13T14:49:11,849   adding 'certora_cli/__init__.py'
2023-05-13T14:49:11,850   adding 'certora_cli/certoraMutate.py'
2023-05-13T14:49:11,852   adding 'certora_cli/certoraRun.py'
2023-05-13T14:49:11,854   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-13T14:49:11,875   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-13T14:49:11,882   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-13T14:49:11,884   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-13T14:49:11,886   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-13T14:49:11,890   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-13T14:49:11,894   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-13T14:49:11,896   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-13T14:49:11,901   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-13T14:49:11,904   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-13T14:49:11,905   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-13T14:49:11,908   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-13T14:49:11,912   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-13T14:49:11,914   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-13T14:49:11,916   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-13T14:49:11,917   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-13T14:49:11,921   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-13T14:49:11,923   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-13T14:49:11,925   adding 'certora_cli/Shared/__init__.py'
2023-05-13T14:49:11,927   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-13T14:49:11,929   adding 'certora_cli/Shared/certoraTester.py'
2023-05-13T14:49:11,935   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-13T14:49:11,938   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-13T14:49:13,523   adding 'certora_jars/MutationTest.jar'
2023-05-13T14:49:14,843   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-13T14:49:16,333   adding 'certora_jars/Typechecker.jar'
2023-05-13T14:49:16,431   adding 'certora_jars/__init__.py'
2023-05-13T14:49:17,285   adding 'certora_jars/gambit-linux'
2023-05-13T14:49:18,141   adding 'certora_jars/gambit-macos'
2023-05-13T14:49:18,177   adding 'certora_cli_alpha_rahav_CERT_1849-20230501.11.34.215275.dist-info/LICENSE'
2023-05-13T14:49:18,178   adding 'certora_cli_alpha_rahav_CERT_1849-20230501.11.34.215275.dist-info/METADATA'
2023-05-13T14:49:18,179   adding 'certora_cli_alpha_rahav_CERT_1849-20230501.11.34.215275.dist-info/WHEEL'
2023-05-13T14:49:18,180   adding 'certora_cli_alpha_rahav_CERT_1849-20230501.11.34.215275.dist-info/entry_points.txt'
2023-05-13T14:49:18,181   adding 'certora_cli_alpha_rahav_CERT_1849-20230501.11.34.215275.dist-info/top_level.txt'
2023-05-13T14:49:18,183   adding 'certora_cli_alpha_rahav_CERT_1849-20230501.11.34.215275.dist-info/RECORD'
2023-05-13T14:49:18,692   removing build/bdist.linux-aarch64/wheel
2023-05-13T14:49:18,815   Building wheel for certora-cli-alpha-rahav-cert-1849 (setup.py): finished with status 'done'
2023-05-13T14:49:19,135   Created wheel for certora-cli-alpha-rahav-cert-1849: filename=certora_cli_alpha_rahav_CERT_1849-20230501.11.34.215275-py3-none-any.whl size=38337622 sha256=fa3136575c509da5525be438f5fbfe4941fb879113fc5294be990273088ce00a
2023-05-13T14:49:19,136   Stored in directory: /tmp/pip-ephem-wheel-cache-oew0ktah/wheels/02/3b/6d/0c3d58e64652e3d71919fb0c39c192349d767586344612da54
2023-05-13T14:49:19,165 Successfully built certora-cli-alpha-rahav-cert-1849
2023-05-13T14:49:20,260 Removed build tracker: '/tmp/pip-build-tracker-qosforuk'