2023-05-15T16:18:25,804 Created temporary directory: /tmp/pip-build-tracker-439fkaef 2023-05-15T16:18:25,805 Initialized build tracking at /tmp/pip-build-tracker-439fkaef 2023-05-15T16:18:25,806 Created build tracker: /tmp/pip-build-tracker-439fkaef 2023-05-15T16:18:25,806 Entered build tracker: /tmp/pip-build-tracker-439fkaef 2023-05-15T16:18:25,806 Created temporary directory: /tmp/pip-wheel-6xwwlzar 2023-05-15T16:18:25,811 Created temporary directory: /tmp/pip-ephem-wheel-cache-e2gej5ri 2023-05-15T16:18:25,843 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-15T16:18:25,849 2 location(s) to search for versions of certora-cli-alpha-sitvanit-set-can-be-empty: 2023-05-15T16:18:25,849 * https://pypi.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/ 2023-05-15T16:18:25,849 * https://www.piwheels.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/ 2023-05-15T16:18:25,850 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/ 2023-05-15T16:18:25,851 Getting page https://pypi.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/ 2023-05-15T16:18:25,853 Found index url https://pypi.org/simple/ 2023-05-15T16:18:25,922 Fetched page https://pypi.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/ as application/vnd.pypi.simple.v1+json 2023-05-15T16:18:25,925 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:18:25,925 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:18:25,926 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:18:25,926 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:18:25,927 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:18:25,927 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:18:25,927 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:18:25,928 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:18:25,928 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/ 2023-05-15T16:18:25,928 Getting page https://www.piwheels.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/ 2023-05-15T16:18:25,929 Found index url https://www.piwheels.org/simple/ 2023-05-15T16:18:26,109 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/ as text/html 2023-05-15T16:18:26,111 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:18:26,111 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/ 2023-05-15T16:18:26,111 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/ 2023-05-15T16:18:26,129 Given no hashes to check 1 links for project 'certora-cli-alpha-sitvanit-set-can-be-empty': discarding no candidates 2023-05-15T16:18:26,147 Collecting certora-cli-alpha-sitvanit-set-can-be-empty==20230515.13.5.657977 2023-05-15T16:18:26,149 Created temporary directory: /tmp/pip-unpack-p9jggxv5 2023-05-15T16:18:26,277 Downloading certora-cli-alpha-sitvanit-set-can-be-empty-20230515.13.5.657977.tar.gz (39.4 MB) 2023-05-15T16:18:44,815 Added certora-cli-alpha-sitvanit-set-can-be-empty==20230515.13.5.657977 from https://files.pythonhosted.org/packages/cf/86/6cd1f31a74d5656d33efb3c32effdc62813fbdb3c2118acff1435dadb21e/certora-cli-alpha-sitvanit-set-can-be-empty-20230515.13.5.657977.tar.gz to build tracker '/tmp/pip-build-tracker-439fkaef' 2023-05-15T16:18:44,818 Running setup.py (path:/tmp/pip-wheel-6xwwlzar/certora-cli-alpha-sitvanit-set-can-be-empty_341d62e14fc44cfcbb9d412342c4c5f7/setup.py) egg_info for package certora-cli-alpha-sitvanit-set-can-be-empty 2023-05-15T16:18:44,819 Created temporary directory: /tmp/pip-pip-egg-info-eosu6hwl 2023-05-15T16:18:44,819 Preparing metadata (setup.py): started 2023-05-15T16:18:44,820 Running command python setup.py egg_info 2023-05-15T16:18:45,466 running egg_info 2023-05-15T16:18:45,468 creating /tmp/pip-pip-egg-info-eosu6hwl/certora_cli_alpha_sitvanit_set_can_be_empty.egg-info 2023-05-15T16:18:45,497 writing /tmp/pip-pip-egg-info-eosu6hwl/certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/PKG-INFO 2023-05-15T16:18:45,499 writing dependency_links to /tmp/pip-pip-egg-info-eosu6hwl/certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/dependency_links.txt 2023-05-15T16:18:45,501 writing entry points to /tmp/pip-pip-egg-info-eosu6hwl/certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/entry_points.txt 2023-05-15T16:18:45,503 writing requirements to /tmp/pip-pip-egg-info-eosu6hwl/certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/requires.txt 2023-05-15T16:18:45,504 writing top-level names to /tmp/pip-pip-egg-info-eosu6hwl/certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/top_level.txt 2023-05-15T16:18:45,506 writing manifest file '/tmp/pip-pip-egg-info-eosu6hwl/certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/SOURCES.txt' 2023-05-15T16:18:45,593 reading manifest file '/tmp/pip-pip-egg-info-eosu6hwl/certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/SOURCES.txt' 2023-05-15T16:18:45,595 reading manifest template 'MANIFEST.in' 2023-05-15T16:18:45,605 adding license file 'LICENSE' 2023-05-15T16:18:45,609 writing manifest file '/tmp/pip-pip-egg-info-eosu6hwl/certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/SOURCES.txt' 2023-05-15T16:18:45,669 Preparing metadata (setup.py): finished with status 'done' 2023-05-15T16:18:45,674 Source in /tmp/pip-wheel-6xwwlzar/certora-cli-alpha-sitvanit-set-can-be-empty_341d62e14fc44cfcbb9d412342c4c5f7 has version 20230515.13.5.657977, which satisfies requirement certora-cli-alpha-sitvanit-set-can-be-empty==20230515.13.5.657977 from https://files.pythonhosted.org/packages/cf/86/6cd1f31a74d5656d33efb3c32effdc62813fbdb3c2118acff1435dadb21e/certora-cli-alpha-sitvanit-set-can-be-empty-20230515.13.5.657977.tar.gz 2023-05-15T16:18:45,675 Removed certora-cli-alpha-sitvanit-set-can-be-empty==20230515.13.5.657977 from https://files.pythonhosted.org/packages/cf/86/6cd1f31a74d5656d33efb3c32effdc62813fbdb3c2118acff1435dadb21e/certora-cli-alpha-sitvanit-set-can-be-empty-20230515.13.5.657977.tar.gz from build tracker '/tmp/pip-build-tracker-439fkaef' 2023-05-15T16:18:45,682 Created temporary directory: /tmp/pip-unpack-zgph0lcl 2023-05-15T16:18:45,683 Building wheels for collected packages: certora-cli-alpha-sitvanit-set-can-be-empty 2023-05-15T16:18:45,688 Created temporary directory: /tmp/pip-wheel-klwl0z8u 2023-05-15T16:18:45,688 Building wheel for certora-cli-alpha-sitvanit-set-can-be-empty (setup.py): started 2023-05-15T16:18:45,689 Destination directory: /tmp/pip-wheel-klwl0z8u 2023-05-15T16:18:45,689 Running command python setup.py bdist_wheel 2023-05-15T16:18:46,348 running bdist_wheel 2023-05-15T16:18:46,643 running build 2023-05-15T16:18:46,644 running build_py 2023-05-15T16:18:46,674 creating build 2023-05-15T16:18:46,675 creating build/lib 2023-05-15T16:18:46,676 creating build/lib/certora_cli 2023-05-15T16:18:46,677 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-15T16:18:46,679 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-15T16:18:46,681 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-15T16:18:46,684 creating build/lib/certora_jars 2023-05-15T16:18:46,685 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-15T16:18:46,687 creating build/lib/certora_cli/Shared 2023-05-15T16:18:46,688 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-15T16:18:46,691 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-15T16:18:46,694 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-15T16:18:46,696 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-15T16:18:46,700 creating build/lib/certora_cli/EVMVerifier 2023-05-15T16:18:46,701 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T16:18:46,703 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T16:18:46,706 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T16:18:46,708 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T16:18:46,709 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T16:18:46,713 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T16:18:46,716 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T16:18:46,719 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T16:18:46,722 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T16:18:46,726 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T16:18:46,732 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T16:18:46,736 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T16:18:46,738 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T16:18:46,740 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T16:18:46,744 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T16:18:46,745 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T16:18:46,747 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T16:18:46,749 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T16:18:46,752 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T16:18:46,754 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T16:18:46,757 running egg_info 2023-05-15T16:18:46,821 writing certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/PKG-INFO 2023-05-15T16:18:46,823 writing dependency_links to certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/dependency_links.txt 2023-05-15T16:18:46,826 writing entry points to certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/entry_points.txt 2023-05-15T16:18:46,827 writing requirements to certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/requires.txt 2023-05-15T16:18:46,829 writing top-level names to certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/top_level.txt 2023-05-15T16:18:46,862 reading manifest file 'certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/SOURCES.txt' 2023-05-15T16:18:46,865 reading manifest template 'MANIFEST.in' 2023-05-15T16:18:46,875 adding license file 'LICENSE' 2023-05-15T16:18:46,879 writing manifest file 'certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/SOURCES.txt' 2023-05-15T16:18:46,883 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-15T16:18:46,885 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-15T16:18:47,105 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-15T16:18:47,270 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-15T16:18:47,535 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-15T16:18:47,633 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-15T16:18:47,752 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-15T16:18:47,752 !! 2023-05-15T16:18:47,753 ******************************************************************************** 2023-05-15T16:18:47,753 Please avoid running ``setup.py`` directly. 2023-05-15T16:18:47,753 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-15T16:18:47,753 other standards-based tools. 2023-05-15T16:18:47,753 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-15T16:18:47,753 ******************************************************************************** 2023-05-15T16:18:47,754 !! 2023-05-15T16:18:47,754 self.initialize_options() 2023-05-15T16:18:47,781 installing to build/bdist.linux-aarch64/wheel 2023-05-15T16:18:47,782 running install 2023-05-15T16:18:47,807 running install_lib 2023-05-15T16:18:47,835 creating build/bdist.linux-aarch64 2023-05-15T16:18:47,835 creating build/bdist.linux-aarch64/wheel 2023-05-15T16:18:47,837 creating build/bdist.linux-aarch64/wheel/certora_cli 2023-05-15T16:18:47,839 creating build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-15T16:18:47,840 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-15T16:18:47,842 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-15T16:18:47,845 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-15T16:18:47,848 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-15T16:18:47,851 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T16:18:47,852 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T16:18:47,854 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T16:18:47,857 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T16:18:47,859 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T16:18:47,861 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T16:18:47,862 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T16:18:47,865 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T16:18:47,867 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T16:18:47,870 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T16:18:47,872 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T16:18:47,875 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T16:18:47,878 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T16:18:47,881 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T16:18:47,884 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T16:18:47,886 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T16:18:47,890 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T16:18:47,896 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T16:18:47,899 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T16:18:47,902 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T16:18:47,904 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T16:18:47,907 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-15T16:18:47,908 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-15T16:18:47,910 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-15T16:18:47,913 creating build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T16:18:47,914 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T16:18:47,916 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T16:18:48,111 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T16:18:48,113 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T16:18:48,263 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T16:18:48,345 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T16:18:48,448 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T16:18:48,668 running install_egg_info 2023-05-15T16:18:48,702 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.13.5.657977-py3.9.egg-info 2023-05-15T16:18:48,714 running install_scripts 2023-05-15T16:18:48,731 creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_sitvanit_set_can_be_empty-20230515.13.5.657977.dist-info/WHEEL 2023-05-15T16:18:48,735 creating '/tmp/pip-wheel-klwl0z8u/certora_cli_alpha_sitvanit_set_can_be_empty-20230515.13.5.657977-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it 2023-05-15T16:18:48,738 adding 'certora_cli/__init__.py' 2023-05-15T16:18:48,740 adding 'certora_cli/certoraMutate.py' 2023-05-15T16:18:48,742 adding 'certora_cli/certoraRun.py' 2023-05-15T16:18:48,745 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-15T16:18:48,767 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-15T16:18:48,775 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-15T16:18:48,777 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-15T16:18:48,779 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-15T16:18:48,784 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-15T16:18:48,788 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-15T16:18:48,790 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-15T16:18:48,796 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-15T16:18:48,799 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-05-15T16:18:48,801 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-15T16:18:48,803 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-15T16:18:48,807 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-15T16:18:48,812 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-15T16:18:48,815 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-15T16:18:48,817 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-15T16:18:48,819 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-15T16:18:48,824 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-15T16:18:48,826 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-15T16:18:48,829 adding 'certora_cli/Shared/__init__.py' 2023-05-15T16:18:48,831 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-15T16:18:48,834 adding 'certora_cli/Shared/certoraTester.py' 2023-05-15T16:18:48,840 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-15T16:18:48,844 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-15T16:18:50,507 adding 'certora_jars/MutationTest.jar' 2023-05-15T16:18:51,831 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-15T16:18:53,397 adding 'certora_jars/Typechecker.jar' 2023-05-15T16:18:53,481 adding 'certora_jars/__init__.py' 2023-05-15T16:18:54,333 adding 'certora_jars/gambit-linux' 2023-05-15T16:18:55,188 adding 'certora_jars/gambit-macos' 2023-05-15T16:18:55,224 adding 'certora_cli_alpha_sitvanit_set_can_be_empty-20230515.13.5.657977.dist-info/LICENSE' 2023-05-15T16:18:55,226 adding 'certora_cli_alpha_sitvanit_set_can_be_empty-20230515.13.5.657977.dist-info/METADATA' 2023-05-15T16:18:55,227 adding 'certora_cli_alpha_sitvanit_set_can_be_empty-20230515.13.5.657977.dist-info/WHEEL' 2023-05-15T16:18:55,229 adding 'certora_cli_alpha_sitvanit_set_can_be_empty-20230515.13.5.657977.dist-info/entry_points.txt' 2023-05-15T16:18:55,230 adding 'certora_cli_alpha_sitvanit_set_can_be_empty-20230515.13.5.657977.dist-info/top_level.txt' 2023-05-15T16:18:55,231 adding 'certora_cli_alpha_sitvanit_set_can_be_empty-20230515.13.5.657977.dist-info/RECORD' 2023-05-15T16:18:55,679 removing build/bdist.linux-aarch64/wheel 2023-05-15T16:18:55,795 Building wheel for certora-cli-alpha-sitvanit-set-can-be-empty (setup.py): finished with status 'done' 2023-05-15T16:18:56,129 Created wheel for certora-cli-alpha-sitvanit-set-can-be-empty: filename=certora_cli_alpha_sitvanit_set_can_be_empty-20230515.13.5.657977-py3-none-any.whl size=39489074 sha256=649d8611021bbfe646416361ed888c2334e06eb18be0c856bc8771f0b4a47756 2023-05-15T16:18:56,130 Stored in directory: /tmp/pip-ephem-wheel-cache-e2gej5ri/wheels/6c/64/dc/d7943bfcfd2c2a5b6d8153e5aec336753d02216ea3a0644bbb 2023-05-15T16:18:56,161 Successfully built certora-cli-alpha-sitvanit-set-can-be-empty 2023-05-15T16:18:57,106 Removed build tracker: '/tmp/pip-build-tracker-439fkaef'