2023-05-15T17:06:25,748 Created temporary directory: /tmp/pip-build-tracker-xbkuu64p 2023-05-15T17:06:25,750 Initialized build tracking at /tmp/pip-build-tracker-xbkuu64p 2023-05-15T17:06:25,750 Created build tracker: /tmp/pip-build-tracker-xbkuu64p 2023-05-15T17:06:25,750 Entered build tracker: /tmp/pip-build-tracker-xbkuu64p 2023-05-15T17:06:25,751 Created temporary directory: /tmp/pip-wheel-v8fviqd6 2023-05-15T17:06:25,755 Created temporary directory: /tmp/pip-ephem-wheel-cache-xs97ii5q 2023-05-15T17:06:25,780 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-15T17:06:25,784 2 location(s) to search for versions of certora-cli-alpha-sitvanit-set-can-be-empty: 2023-05-15T17:06:25,784 * https://pypi.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/ 2023-05-15T17:06:25,784 * https://www.piwheels.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/ 2023-05-15T17:06:25,784 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/ 2023-05-15T17:06:25,785 Getting page https://pypi.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/ 2023-05-15T17:06:25,787 Found index url https://pypi.org/simple/ 2023-05-15T17:06:25,842 Fetched page https://pypi.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/ as application/vnd.pypi.simple.v1+json 2023-05-15T17:06:25,845 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-15T17:06:25,846 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-15T17:06:25,846 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-15T17:06:25,847 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-15T17:06:25,847 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-15T17:06:25,847 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-15T17:06:25,848 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-15T17:06:25,848 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-15T17:06:25,849 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/ 2023-05-15T17:06:25,849 Getting page https://www.piwheels.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/ 2023-05-15T17:06:25,850 Found index url https://www.piwheels.org/simple/ 2023-05-15T17:06:26,023 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/ as text/html 2023-05-15T17:06:26,025 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.14.4.271035-py3-none-any.whl#sha256=b37a3ef9a0a06c874fa5bf238dfac4afe201ec45efef4723bd336f9dde8201e5 (from https://www.piwheels.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/) (requires-python:>=3.8.16) 2023-05-15T17:06:26,025 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-15T17:06:26,025 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-15T17:06:26,025 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/ 2023-05-15T17:06:26,026 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-sitvanit-set-can-be-empty/ 2023-05-15T17:06:26,044 Given no hashes to check 1 links for project 'certora-cli-alpha-sitvanit-set-can-be-empty': discarding no candidates 2023-05-15T17:06:26,062 Collecting certora-cli-alpha-sitvanit-set-can-be-empty==20230515.14.51.126518 2023-05-15T17:06:26,064 Created temporary directory: /tmp/pip-unpack-7pj7yosd 2023-05-15T17:06:26,800 Downloading certora-cli-alpha-sitvanit-set-can-be-empty-20230515.14.51.126518.tar.gz (39.5 MB) 2023-05-15T17:06:44,583 Added certora-cli-alpha-sitvanit-set-can-be-empty==20230515.14.51.126518 from https://files.pythonhosted.org/packages/47/56/9b79f63a16194cd8c17d5bc3c2f1f093b670d168d0a67140207a70f15916/certora-cli-alpha-sitvanit-set-can-be-empty-20230515.14.51.126518.tar.gz to build tracker '/tmp/pip-build-tracker-xbkuu64p' 2023-05-15T17:06:44,585 Running setup.py (path:/tmp/pip-wheel-v8fviqd6/certora-cli-alpha-sitvanit-set-can-be-empty_e9cf51e2c61a4885a1ac8ccaf18b023c/setup.py) egg_info for package certora-cli-alpha-sitvanit-set-can-be-empty 2023-05-15T17:06:44,586 Created temporary directory: /tmp/pip-pip-egg-info-4b36p7mj 2023-05-15T17:06:44,586 Preparing metadata (setup.py): started 2023-05-15T17:06:44,587 Running command python setup.py egg_info 2023-05-15T17:06:45,214 running egg_info 2023-05-15T17:06:45,215 creating /tmp/pip-pip-egg-info-4b36p7mj/certora_cli_alpha_sitvanit_set_can_be_empty.egg-info 2023-05-15T17:06:45,243 writing /tmp/pip-pip-egg-info-4b36p7mj/certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/PKG-INFO 2023-05-15T17:06:45,245 writing dependency_links to /tmp/pip-pip-egg-info-4b36p7mj/certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/dependency_links.txt 2023-05-15T17:06:45,247 writing entry points to /tmp/pip-pip-egg-info-4b36p7mj/certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/entry_points.txt 2023-05-15T17:06:45,249 writing requirements to /tmp/pip-pip-egg-info-4b36p7mj/certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/requires.txt 2023-05-15T17:06:45,250 writing top-level names to /tmp/pip-pip-egg-info-4b36p7mj/certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/top_level.txt 2023-05-15T17:06:45,252 writing manifest file '/tmp/pip-pip-egg-info-4b36p7mj/certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/SOURCES.txt' 2023-05-15T17:06:45,342 reading manifest file '/tmp/pip-pip-egg-info-4b36p7mj/certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/SOURCES.txt' 2023-05-15T17:06:45,344 reading manifest template 'MANIFEST.in' 2023-05-15T17:06:45,355 adding license file 'LICENSE' 2023-05-15T17:06:45,359 writing manifest file '/tmp/pip-pip-egg-info-4b36p7mj/certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/SOURCES.txt' 2023-05-15T17:06:45,419 Preparing metadata (setup.py): finished with status 'done' 2023-05-15T17:06:45,424 Source in /tmp/pip-wheel-v8fviqd6/certora-cli-alpha-sitvanit-set-can-be-empty_e9cf51e2c61a4885a1ac8ccaf18b023c has version 20230515.14.51.126518, which satisfies requirement certora-cli-alpha-sitvanit-set-can-be-empty==20230515.14.51.126518 from https://files.pythonhosted.org/packages/47/56/9b79f63a16194cd8c17d5bc3c2f1f093b670d168d0a67140207a70f15916/certora-cli-alpha-sitvanit-set-can-be-empty-20230515.14.51.126518.tar.gz 2023-05-15T17:06:45,425 Removed certora-cli-alpha-sitvanit-set-can-be-empty==20230515.14.51.126518 from https://files.pythonhosted.org/packages/47/56/9b79f63a16194cd8c17d5bc3c2f1f093b670d168d0a67140207a70f15916/certora-cli-alpha-sitvanit-set-can-be-empty-20230515.14.51.126518.tar.gz from build tracker '/tmp/pip-build-tracker-xbkuu64p' 2023-05-15T17:06:45,432 Created temporary directory: /tmp/pip-unpack-ih0rxlmt 2023-05-15T17:06:45,433 Building wheels for collected packages: certora-cli-alpha-sitvanit-set-can-be-empty 2023-05-15T17:06:45,438 Created temporary directory: /tmp/pip-wheel-fghb3shi 2023-05-15T17:06:45,438 Building wheel for certora-cli-alpha-sitvanit-set-can-be-empty (setup.py): started 2023-05-15T17:06:45,439 Destination directory: /tmp/pip-wheel-fghb3shi 2023-05-15T17:06:45,439 Running command python setup.py bdist_wheel 2023-05-15T17:06:46,113 running bdist_wheel 2023-05-15T17:06:46,399 running build 2023-05-15T17:06:46,399 running build_py 2023-05-15T17:06:46,430 creating build 2023-05-15T17:06:46,431 creating build/lib 2023-05-15T17:06:46,432 creating build/lib/certora_jars 2023-05-15T17:06:46,433 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-15T17:06:46,435 creating build/lib/certora_cli 2023-05-15T17:06:46,436 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-15T17:06:46,438 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-15T17:06:46,441 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-15T17:06:46,444 creating build/lib/certora_cli/Shared 2023-05-15T17:06:46,445 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-15T17:06:46,447 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-15T17:06:46,449 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-15T17:06:46,452 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-15T17:06:46,456 creating build/lib/certora_cli/EVMVerifier 2023-05-15T17:06:46,457 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T17:06:46,461 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T17:06:46,465 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T17:06:46,468 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T17:06:46,470 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T17:06:46,473 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T17:06:46,475 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T17:06:46,477 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T17:06:46,480 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T17:06:46,484 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T17:06:46,491 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T17:06:46,494 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T17:06:46,497 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T17:06:46,499 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T17:06:46,501 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T17:06:46,502 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T17:06:46,505 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T17:06:46,507 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T17:06:46,510 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T17:06:46,512 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T17:06:46,514 running egg_info 2023-05-15T17:06:46,577 writing certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/PKG-INFO 2023-05-15T17:06:46,579 writing dependency_links to certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/dependency_links.txt 2023-05-15T17:06:46,581 writing entry points to certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/entry_points.txt 2023-05-15T17:06:46,583 writing requirements to certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/requires.txt 2023-05-15T17:06:46,584 writing top-level names to certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/top_level.txt 2023-05-15T17:06:46,616 reading manifest file 'certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/SOURCES.txt' 2023-05-15T17:06:46,619 reading manifest template 'MANIFEST.in' 2023-05-15T17:06:46,629 adding license file 'LICENSE' 2023-05-15T17:06:46,633 writing manifest file 'certora_cli_alpha_sitvanit_set_can_be_empty.egg-info/SOURCES.txt' 2023-05-15T17:06:46,636 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-15T17:06:46,638 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-15T17:06:46,862 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-15T17:06:47,039 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-15T17:06:47,242 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-15T17:06:47,356 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-15T17:06:47,478 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-15T17:06:47,478 !! 2023-05-15T17:06:47,478 ******************************************************************************** 2023-05-15T17:06:47,479 Please avoid running ``setup.py`` directly. 2023-05-15T17:06:47,479 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-15T17:06:47,479 other standards-based tools. 2023-05-15T17:06:47,479 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-15T17:06:47,479 ******************************************************************************** 2023-05-15T17:06:47,480 !! 2023-05-15T17:06:47,480 self.initialize_options() 2023-05-15T17:06:47,505 installing to build/bdist.linux-aarch64/wheel 2023-05-15T17:06:47,506 running install 2023-05-15T17:06:47,530 running install_lib 2023-05-15T17:06:47,558 creating build/bdist.linux-aarch64 2023-05-15T17:06:47,558 creating build/bdist.linux-aarch64/wheel 2023-05-15T17:06:47,560 creating build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T17:06:47,561 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T17:06:47,772 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T17:06:47,774 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T17:06:47,999 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T17:06:48,106 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T17:06:48,219 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T17:06:48,222 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T17:06:48,391 creating build/bdist.linux-aarch64/wheel/certora_cli 2023-05-15T17:06:48,392 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-15T17:06:48,395 creating build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-15T17:06:48,396 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-15T17:06:48,399 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-15T17:06:48,401 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-15T17:06:48,404 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-15T17:06:48,408 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-15T17:06:48,410 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-15T17:06:48,413 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T17:06:48,414 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T17:06:48,418 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T17:06:48,421 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T17:06:48,424 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T17:06:48,426 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T17:06:48,430 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T17:06:48,432 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T17:06:48,435 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T17:06:48,437 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T17:06:48,441 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T17:06:48,443 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T17:06:48,446 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T17:06:48,447 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T17:06:48,451 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T17:06:48,453 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T17:06:48,456 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T17:06:48,463 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T17:06:48,466 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T17:06:48,470 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T17:06:48,472 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T17:06:48,474 running install_egg_info 2023-05-15T17:06:48,505 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.51.126518-py3.9.egg-info 2023-05-15T17:06:48,518 running install_scripts 2023-05-15T17:06:48,536 creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_sitvanit_set_can_be_empty-20230515.14.51.126518.dist-info/WHEEL 2023-05-15T17:06:48,538 creating '/tmp/pip-wheel-fghb3shi/certora_cli_alpha_sitvanit_set_can_be_empty-20230515.14.51.126518-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it 2023-05-15T17:06:48,541 adding 'certora_cli/__init__.py' 2023-05-15T17:06:48,542 adding 'certora_cli/certoraMutate.py' 2023-05-15T17:06:48,544 adding 'certora_cli/certoraRun.py' 2023-05-15T17:06:48,546 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-15T17:06:48,568 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-15T17:06:48,575 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-15T17:06:48,578 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-15T17:06:48,579 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-15T17:06:48,584 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-15T17:06:48,588 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-15T17:06:48,589 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-15T17:06:48,595 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-15T17:06:48,596 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-05-15T17:06:48,599 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-15T17:06:48,600 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-15T17:06:48,603 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-15T17:06:48,607 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-15T17:06:48,609 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-15T17:06:48,611 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-15T17:06:48,613 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-15T17:06:48,617 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-15T17:06:48,619 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-15T17:06:48,621 adding 'certora_cli/Shared/__init__.py' 2023-05-15T17:06:48,623 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-15T17:06:48,625 adding 'certora_cli/Shared/certoraTester.py' 2023-05-15T17:06:48,631 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-15T17:06:48,635 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-15T17:06:50,285 adding 'certora_jars/MutationTest.jar' 2023-05-15T17:06:51,608 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-15T17:06:53,177 adding 'certora_jars/Typechecker.jar' 2023-05-15T17:06:53,261 adding 'certora_jars/__init__.py' 2023-05-15T17:06:54,116 adding 'certora_jars/gambit-linux' 2023-05-15T17:06:54,973 adding 'certora_jars/gambit-macos' 2023-05-15T17:06:55,009 adding 'certora_cli_alpha_sitvanit_set_can_be_empty-20230515.14.51.126518.dist-info/LICENSE' 2023-05-15T17:06:55,010 adding 'certora_cli_alpha_sitvanit_set_can_be_empty-20230515.14.51.126518.dist-info/METADATA' 2023-05-15T17:06:55,011 adding 'certora_cli_alpha_sitvanit_set_can_be_empty-20230515.14.51.126518.dist-info/WHEEL' 2023-05-15T17:06:55,013 adding 'certora_cli_alpha_sitvanit_set_can_be_empty-20230515.14.51.126518.dist-info/entry_points.txt' 2023-05-15T17:06:55,014 adding 'certora_cli_alpha_sitvanit_set_can_be_empty-20230515.14.51.126518.dist-info/top_level.txt' 2023-05-15T17:06:55,015 adding 'certora_cli_alpha_sitvanit_set_can_be_empty-20230515.14.51.126518.dist-info/RECORD' 2023-05-15T17:06:55,469 removing build/bdist.linux-aarch64/wheel 2023-05-15T17:06:55,586 Building wheel for certora-cli-alpha-sitvanit-set-can-be-empty (setup.py): finished with status 'done' 2023-05-15T17:06:55,915 Created wheel for certora-cli-alpha-sitvanit-set-can-be-empty: filename=certora_cli_alpha_sitvanit_set_can_be_empty-20230515.14.51.126518-py3-none-any.whl size=39500697 sha256=1b9ddffe3d23f46e993e58985177b13dce77016de1566e3bc19d38489ab82126 2023-05-15T17:06:55,916 Stored in directory: /tmp/pip-ephem-wheel-cache-xs97ii5q/wheels/d2/4a/5e/954f4568d51eca869cf2b652c1ed6982a64fc8afcbc78e739c 2023-05-15T17:06:55,947 Successfully built certora-cli-alpha-sitvanit-set-can-be-empty 2023-05-15T17:06:56,913 Removed build tracker: '/tmp/pip-build-tracker-xbkuu64p'