2023-05-15T15:06:24,923 Created temporary directory: /tmp/pip-build-tracker-s5qvxdfj
2023-05-15T15:06:24,924 Initialized build tracking at /tmp/pip-build-tracker-s5qvxdfj
2023-05-15T15:06:24,924 Created build tracker: /tmp/pip-build-tracker-s5qvxdfj
2023-05-15T15:06:24,924 Entered build tracker: /tmp/pip-build-tracker-s5qvxdfj
2023-05-15T15:06:24,925 Created temporary directory: /tmp/pip-wheel-i2a6morj
2023-05-15T15:06:24,929 Created temporary directory: /tmp/pip-ephem-wheel-cache-ah2rvygp
2023-05-15T15:06:24,953 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-15T15:06:24,957 2 location(s) to search for versions of certora-cli-alpha-sitvanit-set-can-be-empty:
2023-05-15T15:06:24,957 * https://pypi.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/
2023-05-15T15:06:24,957 * https://www.piwheels.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/
2023-05-15T15:06:24,957 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/
2023-05-15T15:06:24,958 Getting page https://pypi.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/
2023-05-15T15:06:24,960 Found index url https://pypi.org/simple/
2023-05-15T15:06:25,110 Fetched page https://pypi.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/ as application/vnd.pypi.simple.v1+json
2023-05-15T15:06:25,113   Found link https://files.pythonhosted.org/packages/22/58/00c5d59fc132c21f46a0ffd4760a3a9959c77546bb688faebf0999a4fda5/certora-cli-alpha-sitvanit-set-can-be-empty-20230515.9.59.985056.tar.gz (from https://pypi.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/) (requires-python:>=3.8.16), version: 20230515.9.59.985056
2023-05-15T15:06:25,114   Skipping link: No binaries permitted for certora-cli-alpha-sitvanit-set-can-be-empty: https://files.pythonhosted.org/packages/1b/66/22dabd92c7b29f0ab01c7818bb12f1f238e47f4d2910f27a0ea8aab61cb9/certora_cli_alpha_sitvanit_set_can_be_empty-20230515.9.59.985056-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/) (requires-python:>=3.8.16)
2023-05-15T15:06:25,114   Found link https://files.pythonhosted.org/packages/cf/86/6cd1f31a74d5656d33efb3c32effdc62813fbdb3c2118acff1435dadb21e/certora-cli-alpha-sitvanit-set-can-be-empty-20230515.13.5.657977.tar.gz (from https://pypi.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/) (requires-python:>=3.8.16), version: 20230515.13.5.657977
2023-05-15T15:06:25,115   Skipping link: No binaries permitted for certora-cli-alpha-sitvanit-set-can-be-empty: https://files.pythonhosted.org/packages/08/cf/d6f26042b05f82c09dfcd2c7a1e9b3949ae4183f6c076bea371819d1c728/certora_cli_alpha_sitvanit_set_can_be_empty-20230515.13.5.657977-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/) (requires-python:>=3.8.16)
2023-05-15T15:06:25,115   Found link https://files.pythonhosted.org/packages/28/a9/33ac6830227be395f79f26b4b583fb9aebc11995721d8cfd3df2f4e59f61/certora-cli-alpha-sitvanit-set-can-be-empty-20230515.14.4.271035.tar.gz (from https://pypi.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/) (requires-python:>=3.8.16), version: 20230515.14.4.271035
2023-05-15T15:06:25,115   Skipping link: No binaries permitted for certora-cli-alpha-sitvanit-set-can-be-empty: https://files.pythonhosted.org/packages/76/19/2a9848b30ffe2f5c30cd384959d21efe7e7bea91a667aae53a64f2fdbfb0/certora_cli_alpha_sitvanit_set_can_be_empty-20230515.14.4.271035-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/) (requires-python:>=3.8.16)
2023-05-15T15:06:25,116   Found link https://files.pythonhosted.org/packages/47/56/9b79f63a16194cd8c17d5bc3c2f1f093b670d168d0a67140207a70f15916/certora-cli-alpha-sitvanit-set-can-be-empty-20230515.14.51.126518.tar.gz (from https://pypi.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/) (requires-python:>=3.8.16), version: 20230515.14.51.126518
2023-05-15T15:06:25,116   Skipping link: No binaries permitted for certora-cli-alpha-sitvanit-set-can-be-empty: https://files.pythonhosted.org/packages/e1/77/d7868234727f8726e2de3e8195547b4746c73c903293c5c9096006940862/certora_cli_alpha_sitvanit_set_can_be_empty-20230515.14.51.126518-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/) (requires-python:>=3.8.16)
2023-05-15T15:06:25,117 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/
2023-05-15T15:06:25,117 Getting page https://www.piwheels.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/
2023-05-15T15:06:25,118 Found index url https://www.piwheels.org/simple/
2023-05-15T15:06:25,323 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/ as text/html
2023-05-15T15:06:25,324 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/
2023-05-15T15:06:25,325 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/
2023-05-15T15:06:25,343 Given no hashes to check 1 links for project 'certora-cli-alpha-sitvanit-set-can-be-empty': discarding no candidates
2023-05-15T15:06:25,360 Collecting certora-cli-alpha-sitvanit-set-can-be-empty==20230515.9.59.985056
2023-05-15T15:06:25,363   Created temporary directory: /tmp/pip-unpack-ff81s7b0
2023-05-15T15:06:25,507   Downloading certora-cli-alpha-sitvanit-set-can-be-empty-20230515.9.59.985056.tar.gz (39.4 MB)
2023-05-15T15:06:35,858   Added certora-cli-alpha-sitvanit-set-can-be-empty==20230515.9.59.985056 from https://files.pythonhosted.org/packages/22/58/00c5d59fc132c21f46a0ffd4760a3a9959c77546bb688faebf0999a4fda5/certora-cli-alpha-sitvanit-set-can-be-empty-20230515.9.59.985056.tar.gz to build tracker '/tmp/pip-build-tracker-s5qvxdfj'
2023-05-15T15:06:35,860   Running setup.py (path:/tmp/pip-wheel-i2a6morj/certora-cli-alpha-sitvanit-set-can-be-empty_6824082c4a064d89bc5587c4319034e3/setup.py) egg_info for package certora-cli-alpha-sitvanit-set-can-be-empty
2023-05-15T15:06:35,861   Created temporary directory: /tmp/pip-pip-egg-info-ulrgn5jl
2023-05-15T15:06:35,861   Preparing metadata (setup.py): started
2023-05-15T15:06:35,862   Running command python setup.py egg_info
2023-05-15T15:06:36,485   running egg_info
2023-05-15T15:06:36,487   creating /tmp/pip-pip-egg-info-ulrgn5jl/certora_cli_alpha_sitvanit_set_can_be_empty.egg-info
2023-05-15T15:06:36,516   writing /tmp/pip-pip-egg-info-ulrgn5jl/certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/PKG-INFO
2023-05-15T15:06:36,519   writing dependency_links to /tmp/pip-pip-egg-info-ulrgn5jl/certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/dependency_links.txt
2023-05-15T15:06:36,521   writing entry points to /tmp/pip-pip-egg-info-ulrgn5jl/certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/entry_points.txt
2023-05-15T15:06:36,523   writing requirements to /tmp/pip-pip-egg-info-ulrgn5jl/certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/requires.txt
2023-05-15T15:06:36,524   writing top-level names to /tmp/pip-pip-egg-info-ulrgn5jl/certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/top_level.txt
2023-05-15T15:06:36,525   writing manifest file '/tmp/pip-pip-egg-info-ulrgn5jl/certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/SOURCES.txt'
2023-05-15T15:06:36,615   reading manifest file '/tmp/pip-pip-egg-info-ulrgn5jl/certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/SOURCES.txt'
2023-05-15T15:06:36,616   reading manifest template 'MANIFEST.in'
2023-05-15T15:06:36,626   adding license file 'LICENSE'
2023-05-15T15:06:36,629   writing manifest file '/tmp/pip-pip-egg-info-ulrgn5jl/certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/SOURCES.txt'
2023-05-15T15:06:36,689   Preparing metadata (setup.py): finished with status 'done'
2023-05-15T15:06:36,695   Source in /tmp/pip-wheel-i2a6morj/certora-cli-alpha-sitvanit-set-can-be-empty_6824082c4a064d89bc5587c4319034e3 has version 20230515.9.59.985056, which satisfies requirement certora-cli-alpha-sitvanit-set-can-be-empty==20230515.9.59.985056 from https://files.pythonhosted.org/packages/22/58/00c5d59fc132c21f46a0ffd4760a3a9959c77546bb688faebf0999a4fda5/certora-cli-alpha-sitvanit-set-can-be-empty-20230515.9.59.985056.tar.gz
2023-05-15T15:06:36,696   Removed certora-cli-alpha-sitvanit-set-can-be-empty==20230515.9.59.985056 from https://files.pythonhosted.org/packages/22/58/00c5d59fc132c21f46a0ffd4760a3a9959c77546bb688faebf0999a4fda5/certora-cli-alpha-sitvanit-set-can-be-empty-20230515.9.59.985056.tar.gz from build tracker '/tmp/pip-build-tracker-s5qvxdfj'
2023-05-15T15:06:36,703 Created temporary directory: /tmp/pip-unpack-xva889ys
2023-05-15T15:06:36,704 Building wheels for collected packages: certora-cli-alpha-sitvanit-set-can-be-empty
2023-05-15T15:06:36,708   Created temporary directory: /tmp/pip-wheel-unmk7jcj
2023-05-15T15:06:36,709   Building wheel for certora-cli-alpha-sitvanit-set-can-be-empty (setup.py): started
2023-05-15T15:06:36,710   Destination directory: /tmp/pip-wheel-unmk7jcj
2023-05-15T15:06:36,710   Running command python setup.py bdist_wheel
2023-05-15T15:06:37,370   running bdist_wheel
2023-05-15T15:06:37,659   running build
2023-05-15T15:06:37,660   running build_py
2023-05-15T15:06:37,691   creating build
2023-05-15T15:06:37,692   creating build/lib
2023-05-15T15:06:37,693   creating build/lib/certora_jars
2023-05-15T15:06:37,694   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-15T15:06:37,696   creating build/lib/certora_cli
2023-05-15T15:06:37,697   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-15T15:06:37,699   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-15T15:06:37,701   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-15T15:06:37,705   creating build/lib/certora_cli/EVMVerifier
2023-05-15T15:06:37,706   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T15:06:37,708   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T15:06:37,714   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T15:06:37,716   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T15:06:37,720   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T15:06:37,723   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T15:06:37,726   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T15:06:37,730   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T15:06:37,732   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T15:06:37,734   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T15:06:37,739   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T15:06:37,742   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T15:06:37,744   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T15:06:37,746   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T15:06:37,749   creating build/lib/certora_cli/Shared
2023-05-15T15:06:37,750   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-15T15:06:37,752   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-15T15:06:37,755   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-15T15:06:37,758   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-15T15:06:37,762   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T15:06:37,763   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T15:06:37,765   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T15:06:37,767   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T15:06:37,769   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T15:06:37,772   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T15:06:37,775   running egg_info
2023-05-15T15:06:37,839   writing certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/PKG-INFO
2023-05-15T15:06:37,841   writing dependency_links to certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/dependency_links.txt
2023-05-15T15:06:37,843   writing entry points to certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/entry_points.txt
2023-05-15T15:06:37,845   writing requirements to certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/requires.txt
2023-05-15T15:06:37,847   writing top-level names to certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/top_level.txt
2023-05-15T15:06:37,880   reading manifest file 'certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/SOURCES.txt'
2023-05-15T15:06:37,883   reading manifest template 'MANIFEST.in'
2023-05-15T15:06:37,892   adding license file 'LICENSE'
2023-05-15T15:06:37,897   writing manifest file 'certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/SOURCES.txt'
2023-05-15T15:06:37,900   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-15T15:06:37,903   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-15T15:06:38,129   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-15T15:06:38,294   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-15T15:06:38,488   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-15T15:06:38,617   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-15T15:06:38,744   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-15T15:06:38,745   !!

2023-05-15T15:06:38,745           ********************************************************************************
2023-05-15T15:06:38,745           Please avoid running ``setup.py`` directly.
2023-05-15T15:06:38,745           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-15T15:06:38,745           other standards-based tools.

2023-05-15T15:06:38,746           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-15T15:06:38,746           ********************************************************************************

2023-05-15T15:06:38,746   !!
2023-05-15T15:06:38,746     self.initialize_options()
2023-05-15T15:06:38,773   installing to build/bdist.linux-aarch64/wheel
2023-05-15T15:06:38,773   running install
2023-05-15T15:06:38,798   running install_lib
2023-05-15T15:06:38,826   creating build/bdist.linux-aarch64
2023-05-15T15:06:38,827   creating build/bdist.linux-aarch64/wheel
2023-05-15T15:06:38,829   creating build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T15:06:38,830   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T15:06:38,834   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T15:06:38,835   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T15:06:39,030   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T15:06:39,133   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T15:06:39,320   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T15:06:39,549   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T15:06:39,635   creating build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T15:06:39,636   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T15:06:39,638   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T15:06:39,641   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T15:06:39,644   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T15:06:39,645   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T15:06:39,647   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T15:06:39,654   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T15:06:39,657   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T15:06:39,660   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T15:06:39,663   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T15:06:39,667   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T15:06:39,670   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T15:06:39,672   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T15:06:39,675   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T15:06:39,676   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T15:06:39,679   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T15:06:39,681   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T15:06:39,684   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T15:06:39,686   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T15:06:39,689   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T15:06:39,693   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T15:06:39,696   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T15:06:39,698   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T15:06:39,701   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T15:06:39,704   creating build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T15:06:39,706   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T15:06:39,708   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T15:06:39,711   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T15:06:39,714   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T15:06:39,717   running install_egg_info
2023-05-15T15:06:39,750   Copying certora_cli_alpha_sitvanit_set_can_be_empty.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_sitvanit_set_can_be_empty-20230515.9.59.985056-py3.9.egg-info
2023-05-15T15:06:39,762   running install_scripts
2023-05-15T15:06:39,781   creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_sitvanit_set_can_be_empty-20230515.9.59.985056.dist-info/WHEEL
2023-05-15T15:06:39,783   creating '/tmp/pip-wheel-unmk7jcj/certora_cli_alpha_sitvanit_set_can_be_empty-20230515.9.59.985056-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it
2023-05-15T15:06:39,786   adding 'certora_cli/__init__.py'
2023-05-15T15:06:39,788   adding 'certora_cli/certoraMutate.py'
2023-05-15T15:06:39,791   adding 'certora_cli/certoraRun.py'
2023-05-15T15:06:39,793   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-15T15:06:39,816   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-15T15:06:39,823   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-15T15:06:39,826   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-15T15:06:39,828   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-15T15:06:39,833   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-15T15:06:39,836   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-15T15:06:39,838   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-15T15:06:39,844   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-15T15:06:39,846   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2023-05-15T15:06:39,848   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-15T15:06:39,849   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-15T15:06:39,852   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-15T15:06:39,856   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-15T15:06:39,858   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-15T15:06:39,860   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-15T15:06:39,862   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-15T15:06:39,866   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-15T15:06:39,868   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-15T15:06:39,870   adding 'certora_cli/Shared/__init__.py'
2023-05-15T15:06:39,872   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-15T15:06:39,874   adding 'certora_cli/Shared/certoraTester.py'
2023-05-15T15:06:39,880   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-15T15:06:39,884   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-15T15:06:41,525   adding 'certora_jars/MutationTest.jar'
2023-05-15T15:06:42,837   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-15T15:06:44,386   adding 'certora_jars/Typechecker.jar'
2023-05-15T15:06:44,470   adding 'certora_jars/__init__.py'
2023-05-15T15:06:45,321   adding 'certora_jars/gambit-linux'
2023-05-15T15:06:46,175   adding 'certora_jars/gambit-macos'
2023-05-15T15:06:46,211   adding 'certora_cli_alpha_sitvanit_set_can_be_empty-20230515.9.59.985056.dist-info/LICENSE'
2023-05-15T15:06:46,212   adding 'certora_cli_alpha_sitvanit_set_can_be_empty-20230515.9.59.985056.dist-info/METADATA'
2023-05-15T15:06:46,214   adding 'certora_cli_alpha_sitvanit_set_can_be_empty-20230515.9.59.985056.dist-info/WHEEL'
2023-05-15T15:06:46,215   adding 'certora_cli_alpha_sitvanit_set_can_be_empty-20230515.9.59.985056.dist-info/entry_points.txt'
2023-05-15T15:06:46,215   adding 'certora_cli_alpha_sitvanit_set_can_be_empty-20230515.9.59.985056.dist-info/top_level.txt'
2023-05-15T15:06:46,217   adding 'certora_cli_alpha_sitvanit_set_can_be_empty-20230515.9.59.985056.dist-info/RECORD'
2023-05-15T15:06:46,626   removing build/bdist.linux-aarch64/wheel
2023-05-15T15:06:46,743   Building wheel for certora-cli-alpha-sitvanit-set-can-be-empty (setup.py): finished with status 'done'
2023-05-15T15:06:47,071   Created wheel for certora-cli-alpha-sitvanit-set-can-be-empty: filename=certora_cli_alpha_sitvanit_set_can_be_empty-20230515.9.59.985056-py3-none-any.whl size=39467956 sha256=2ebb689dcf748f70a7b4e283db87fc92e747918da957ecae99f7b816a2776bdb
2023-05-15T15:06:47,073   Stored in directory: /tmp/pip-ephem-wheel-cache-ah2rvygp/wheels/9c/3b/c0/3feb0543f2ab68df408f5c8a5d7bf76749f36ba01bcf1fc08e
2023-05-15T15:06:47,102 Successfully built certora-cli-alpha-sitvanit-set-can-be-empty
2023-05-15T15:06:48,096 Removed build tracker: '/tmp/pip-build-tracker-s5qvxdfj'