2023-05-15T16:57:55,838 Created temporary directory: /tmp/pip-build-tracker-tt09ayn2
2023-05-15T16:57:55,839 Initialized build tracking at /tmp/pip-build-tracker-tt09ayn2
2023-05-15T16:57:55,839 Created build tracker: /tmp/pip-build-tracker-tt09ayn2
2023-05-15T16:57:55,839 Entered build tracker: /tmp/pip-build-tracker-tt09ayn2
2023-05-15T16:57:55,840 Created temporary directory: /tmp/pip-wheel-vbkod3r6
2023-05-15T16:57:55,844 Created temporary directory: /tmp/pip-ephem-wheel-cache-pnhlikx6
2023-05-15T16:57:55,868 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-15T16:57:55,872 2 location(s) to search for versions of certora-cli-alpha-sitvanit-set-can-be-empty:
2023-05-15T16:57:55,872 * https://pypi.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/
2023-05-15T16:57:55,872 * https://www.piwheels.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/
2023-05-15T16:57:55,873 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/
2023-05-15T16:57:55,874 Getting page https://pypi.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/
2023-05-15T16:57:55,875 Found index url https://pypi.org/simple/
2023-05-15T16:57:55,926 Fetched page https://pypi.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/ as application/vnd.pypi.simple.v1+json
2023-05-15T16:57:55,929   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-15T16:57:55,929   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-15T16:57:55,930   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-15T16:57:55,930   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-15T16:57:55,931   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-15T16:57:55,931   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-15T16:57:55,932   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-15T16:57:55,932   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-15T16:57:55,932 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/
2023-05-15T16:57:55,933 Getting page https://www.piwheels.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/
2023-05-15T16:57:55,934 Found index url https://www.piwheels.org/simple/
2023-05-15T16:57:56,108 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/ as text/html
2023-05-15T16:57:56,109   Skipping link: No binaries permitted for certora-cli-alpha-sitvanit-set-can-be-empty: https://www.piwheels.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/certora_cli_alpha_sitvanit_set_can_be_empty-20230515.13.5.657977-py3-none-any.whl#sha256=649d8611021bbfe646416361ed888c2334e06eb18be0c856bc8771f0b4a47756 (from https://www.piwheels.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/) (requires-python:>=3.8.16)
2023-05-15T16:57:56,110   Skipping link: No binaries permitted for certora-cli-alpha-sitvanit-set-can-be-empty: https://www.piwheels.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/certora_cli_alpha_sitvanit_set_can_be_empty-20230515.9.59.985056-py3-none-any.whl#sha256=2ebb689dcf748f70a7b4e283db87fc92e747918da957ecae99f7b816a2776bdb (from https://www.piwheels.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/) (requires-python:>=3.8.16)
2023-05-15T16:57:56,110 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/
2023-05-15T16:57:56,110 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/
2023-05-15T16:57:56,128 Given no hashes to check 1 links for project 'certora-cli-alpha-sitvanit-set-can-be-empty': discarding no candidates
2023-05-15T16:57:56,146 Collecting certora-cli-alpha-sitvanit-set-can-be-empty==20230515.14.4.271035
2023-05-15T16:57:56,148   Created temporary directory: /tmp/pip-unpack-gqud3ccs
2023-05-15T16:57:56,852   Downloading certora-cli-alpha-sitvanit-set-can-be-empty-20230515.14.4.271035.tar.gz (39.4 MB)
2023-05-15T16:58:26,496   Added certora-cli-alpha-sitvanit-set-can-be-empty==20230515.14.4.271035 from https://files.pythonhosted.org/packages/28/a9/33ac6830227be395f79f26b4b583fb9aebc11995721d8cfd3df2f4e59f61/certora-cli-alpha-sitvanit-set-can-be-empty-20230515.14.4.271035.tar.gz to build tracker '/tmp/pip-build-tracker-tt09ayn2'
2023-05-15T16:58:26,499   Running setup.py (path:/tmp/pip-wheel-vbkod3r6/certora-cli-alpha-sitvanit-set-can-be-empty_61a08349a9b2417cbcff594330582674/setup.py) egg_info for package certora-cli-alpha-sitvanit-set-can-be-empty
2023-05-15T16:58:26,499   Created temporary directory: /tmp/pip-pip-egg-info-b8mwbpx1
2023-05-15T16:58:26,500   Preparing metadata (setup.py): started
2023-05-15T16:58:26,503   Running command python setup.py egg_info
2023-05-15T16:58:27,152   running egg_info
2023-05-15T16:58:27,154   creating /tmp/pip-pip-egg-info-b8mwbpx1/certora_cli_alpha_sitvanit_set_can_be_empty.egg-info
2023-05-15T16:58:27,182   writing /tmp/pip-pip-egg-info-b8mwbpx1/certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/PKG-INFO
2023-05-15T16:58:27,184   writing dependency_links to /tmp/pip-pip-egg-info-b8mwbpx1/certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/dependency_links.txt
2023-05-15T16:58:27,187   writing entry points to /tmp/pip-pip-egg-info-b8mwbpx1/certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/entry_points.txt
2023-05-15T16:58:27,188   writing requirements to /tmp/pip-pip-egg-info-b8mwbpx1/certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/requires.txt
2023-05-15T16:58:27,190   writing top-level names to /tmp/pip-pip-egg-info-b8mwbpx1/certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/top_level.txt
2023-05-15T16:58:27,191   writing manifest file '/tmp/pip-pip-egg-info-b8mwbpx1/certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/SOURCES.txt'
2023-05-15T16:58:27,279   reading manifest file '/tmp/pip-pip-egg-info-b8mwbpx1/certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/SOURCES.txt'
2023-05-15T16:58:27,280   reading manifest template 'MANIFEST.in'
2023-05-15T16:58:27,290   adding license file 'LICENSE'
2023-05-15T16:58:27,294   writing manifest file '/tmp/pip-pip-egg-info-b8mwbpx1/certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/SOURCES.txt'
2023-05-15T16:58:27,354   Preparing metadata (setup.py): finished with status 'done'
2023-05-15T16:58:27,360   Source in /tmp/pip-wheel-vbkod3r6/certora-cli-alpha-sitvanit-set-can-be-empty_61a08349a9b2417cbcff594330582674 has version 20230515.14.4.271035, which satisfies requirement certora-cli-alpha-sitvanit-set-can-be-empty==20230515.14.4.271035 from https://files.pythonhosted.org/packages/28/a9/33ac6830227be395f79f26b4b583fb9aebc11995721d8cfd3df2f4e59f61/certora-cli-alpha-sitvanit-set-can-be-empty-20230515.14.4.271035.tar.gz
2023-05-15T16:58:27,361   Removed certora-cli-alpha-sitvanit-set-can-be-empty==20230515.14.4.271035 from https://files.pythonhosted.org/packages/28/a9/33ac6830227be395f79f26b4b583fb9aebc11995721d8cfd3df2f4e59f61/certora-cli-alpha-sitvanit-set-can-be-empty-20230515.14.4.271035.tar.gz from build tracker '/tmp/pip-build-tracker-tt09ayn2'
2023-05-15T16:58:27,368 Created temporary directory: /tmp/pip-unpack-z5owhbyo
2023-05-15T16:58:27,368 Building wheels for collected packages: certora-cli-alpha-sitvanit-set-can-be-empty
2023-05-15T16:58:27,373   Created temporary directory: /tmp/pip-wheel-j4pgq8vh
2023-05-15T16:58:27,373   Building wheel for certora-cli-alpha-sitvanit-set-can-be-empty (setup.py): started
2023-05-15T16:58:27,374   Destination directory: /tmp/pip-wheel-j4pgq8vh
2023-05-15T16:58:27,374   Running command python setup.py bdist_wheel
2023-05-15T16:58:28,051   running bdist_wheel
2023-05-15T16:58:28,353   running build
2023-05-15T16:58:28,353   running build_py
2023-05-15T16:58:28,385   creating build
2023-05-15T16:58:28,386   creating build/lib
2023-05-15T16:58:28,386   creating build/lib/certora_cli
2023-05-15T16:58:28,388   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-15T16:58:28,390   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-15T16:58:28,392   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-15T16:58:28,395   creating build/lib/certora_jars
2023-05-15T16:58:28,396   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-15T16:58:28,398   creating build/lib/certora_cli/Shared
2023-05-15T16:58:28,400   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-15T16:58:28,402   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-15T16:58:28,405   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-15T16:58:28,408   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-15T16:58:28,412   creating build/lib/certora_cli/EVMVerifier
2023-05-15T16:58:28,413   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:58:28,415   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:58:28,418   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:58:28,420   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:58:28,422   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:58:28,425   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:58:28,428   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:58:28,431   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:58:28,434   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:58:28,437   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:58:28,444   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:58:28,447   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:58:28,450   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:58:28,452   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:58:28,455   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T16:58:28,456   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T16:58:28,458   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T16:58:28,461   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T16:58:28,463   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T16:58:28,465   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T16:58:28,468   running egg_info
2023-05-15T16:58:28,534   writing certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/PKG-INFO
2023-05-15T16:58:28,536   writing dependency_links to certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/dependency_links.txt
2023-05-15T16:58:28,538   writing entry points to certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/entry_points.txt
2023-05-15T16:58:28,540   writing requirements to certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/requires.txt
2023-05-15T16:58:28,541   writing top-level names to certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/top_level.txt
2023-05-15T16:58:28,574   reading manifest file 'certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/SOURCES.txt'
2023-05-15T16:58:28,577   reading manifest template 'MANIFEST.in'
2023-05-15T16:58:28,587   adding license file 'LICENSE'
2023-05-15T16:58:28,591   writing manifest file 'certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/SOURCES.txt'
2023-05-15T16:58:28,595   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-15T16:58:28,597   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-15T16:58:28,864   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-15T16:58:29,013   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-15T16:58:29,210   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-15T16:58:29,326   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-15T16:58:29,456   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-15T16:58:29,456   !!

2023-05-15T16:58:29,456           ********************************************************************************
2023-05-15T16:58:29,457           Please avoid running ``setup.py`` directly.
2023-05-15T16:58:29,457           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-15T16:58:29,457           other standards-based tools.

2023-05-15T16:58:29,457           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-15T16:58:29,457           ********************************************************************************

2023-05-15T16:58:29,458   !!
2023-05-15T16:58:29,458     self.initialize_options()
2023-05-15T16:58:29,485   installing to build/bdist.linux-aarch64/wheel
2023-05-15T16:58:29,485   running install
2023-05-15T16:58:29,511   running install_lib
2023-05-15T16:58:29,540   creating build/bdist.linux-aarch64
2023-05-15T16:58:29,541   creating build/bdist.linux-aarch64/wheel
2023-05-15T16:58:29,543   creating build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T16:58:29,544   creating build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T16:58:29,546   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T16:58:29,548   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T16:58:29,551   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T16:58:29,554   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T16:58:29,557   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:58:29,558   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:58:29,560   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:58:29,563   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:58:29,565   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:58:29,567   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T16:58:29,568   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T16:58:29,570   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T16:58:29,573   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T16:58:29,575   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T16:58:29,577   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T16:58:29,581   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:58:29,584   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:58:29,587   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:58:29,590   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:58:29,592   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:58:29,596   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:58:29,602   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:58:29,605   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:58:29,607   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:58:29,609   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:58:29,612   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T16:58:29,614   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T16:58:29,616   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T16:58:29,619   creating build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T16:58:29,620   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T16:58:29,622   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T16:58:29,820   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T16:58:29,822   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T16:58:29,997   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T16:58:30,090   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T16:58:30,224   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T16:58:30,486   running install_egg_info
2023-05-15T16:58:30,518   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.14.4.271035-py3.9.egg-info
2023-05-15T16:58:30,530   running install_scripts
2023-05-15T16:58:30,548   creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_sitvanit_set_can_be_empty-20230515.14.4.271035.dist-info/WHEEL
2023-05-15T16:58:30,551   creating '/tmp/pip-wheel-j4pgq8vh/certora_cli_alpha_sitvanit_set_can_be_empty-20230515.14.4.271035-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it
2023-05-15T16:58:30,554   adding 'certora_cli/__init__.py'
2023-05-15T16:58:30,556   adding 'certora_cli/certoraMutate.py'
2023-05-15T16:58:30,558   adding 'certora_cli/certoraRun.py'
2023-05-15T16:58:30,560   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-15T16:58:30,583   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-15T16:58:30,590   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-15T16:58:30,593   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-15T16:58:30,595   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-15T16:58:30,599   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-15T16:58:30,603   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-15T16:58:30,605   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-15T16:58:30,611   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-15T16:58:30,614   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2023-05-15T16:58:30,616   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-15T16:58:30,618   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-15T16:58:30,621   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-15T16:58:30,625   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-15T16:58:30,628   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-15T16:58:30,630   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-15T16:58:30,632   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-15T16:58:30,637   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-15T16:58:30,639   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-15T16:58:30,641   adding 'certora_cli/Shared/__init__.py'
2023-05-15T16:58:30,643   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-15T16:58:30,645   adding 'certora_cli/Shared/certoraTester.py'
2023-05-15T16:58:30,652   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-15T16:58:30,655   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-15T16:58:32,294   adding 'certora_jars/MutationTest.jar'
2023-05-15T16:58:33,602   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-15T16:58:35,147   adding 'certora_jars/Typechecker.jar'
2023-05-15T16:58:35,230   adding 'certora_jars/__init__.py'
2023-05-15T16:58:36,082   adding 'certora_jars/gambit-linux'
2023-05-15T16:58:36,937   adding 'certora_jars/gambit-macos'
2023-05-15T16:58:36,973   adding 'certora_cli_alpha_sitvanit_set_can_be_empty-20230515.14.4.271035.dist-info/LICENSE'
2023-05-15T16:58:36,974   adding 'certora_cli_alpha_sitvanit_set_can_be_empty-20230515.14.4.271035.dist-info/METADATA'
2023-05-15T16:58:36,975   adding 'certora_cli_alpha_sitvanit_set_can_be_empty-20230515.14.4.271035.dist-info/WHEEL'
2023-05-15T16:58:36,976   adding 'certora_cli_alpha_sitvanit_set_can_be_empty-20230515.14.4.271035.dist-info/entry_points.txt'
2023-05-15T16:58:36,977   adding 'certora_cli_alpha_sitvanit_set_can_be_empty-20230515.14.4.271035.dist-info/top_level.txt'
2023-05-15T16:58:36,979   adding 'certora_cli_alpha_sitvanit_set_can_be_empty-20230515.14.4.271035.dist-info/RECORD'
2023-05-15T16:58:37,507   removing build/bdist.linux-aarch64/wheel
2023-05-15T16:58:37,623   Building wheel for certora-cli-alpha-sitvanit-set-can-be-empty (setup.py): finished with status 'done'
2023-05-15T16:58:37,956   Created wheel for certora-cli-alpha-sitvanit-set-can-be-empty: filename=certora_cli_alpha_sitvanit_set_can_be_empty-20230515.14.4.271035-py3-none-any.whl size=39489074 sha256=b37a3ef9a0a06c874fa5bf238dfac4afe201ec45efef4723bd336f9dde8201e5
2023-05-15T16:58:37,958   Stored in directory: /tmp/pip-ephem-wheel-cache-pnhlikx6/wheels/23/05/9b/26ed6457307a8337fa965b0b3a9e1bdf5475cdf89a7d28a121
2023-05-15T16:58:37,988 Successfully built certora-cli-alpha-sitvanit-set-can-be-empty
2023-05-15T16:58:38,991 Removed build tracker: '/tmp/pip-build-tracker-tt09ayn2'