2023-05-14T15:50:42,803 Created temporary directory: /tmp/pip-build-tracker-xwu5c7cc 2023-05-14T15:50:42,804 Initialized build tracking at /tmp/pip-build-tracker-xwu5c7cc 2023-05-14T15:50:42,804 Created build tracker: /tmp/pip-build-tracker-xwu5c7cc 2023-05-14T15:50:42,804 Entered build tracker: /tmp/pip-build-tracker-xwu5c7cc 2023-05-14T15:50:42,805 Created temporary directory: /tmp/pip-wheel-_szxtzln 2023-05-14T15:50:42,809 Created temporary directory: /tmp/pip-ephem-wheel-cache-z3zv3kzm 2023-05-14T15:50:42,833 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-14T15:50:42,837 2 location(s) to search for versions of certora-cli-alpha-shelly-releasewithci: 2023-05-14T15:50:42,837 * https://pypi.org/simple/certora-cli-alpha-shelly-releasewithci/ 2023-05-14T15:50:42,837 * https://www.piwheels.org/simple/certora-cli-alpha-shelly-releasewithci/ 2023-05-14T15:50:42,838 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-shelly-releasewithci/ 2023-05-14T15:50:42,838 Getting page https://pypi.org/simple/certora-cli-alpha-shelly-releasewithci/ 2023-05-14T15:50:42,840 Found index url https://pypi.org/simple/ 2023-05-14T15:50:42,891 Fetched page https://pypi.org/simple/certora-cli-alpha-shelly-releasewithci/ as application/vnd.pypi.simple.v1+json 2023-05-14T15:50:42,893 Found link https://files.pythonhosted.org/packages/df/ce/5ffd64d1d222750b793f075c37a0a00790055d5dd3b7c609d224b381f351/certora-cli-alpha-shelly-releasewithci-20230511.13.13.556295.tar.gz (from https://pypi.org/simple/certora-cli-alpha-shelly-releasewithci/) (requires-python:>=3.8.16), version: 20230511.13.13.556295 2023-05-14T15:50:42,894 Skipping link: No binaries permitted for certora-cli-alpha-shelly-releasewithci: https://files.pythonhosted.org/packages/5d/7e/76b5580af0b7e26b393eaeee5a3c63a39fd401c26dda7cf5fa1fe410ce4d/certora_cli_alpha_shelly_releasewithci-20230511.13.13.556295-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-shelly-releasewithci/) (requires-python:>=3.8.16) 2023-05-14T15:50:42,894 Found link https://files.pythonhosted.org/packages/d9/8a/bb88cedadfbb9e99f807b1d6be967e327d3668ea714588a5bb93f5ee4b68/certora-cli-alpha-shelly-releasewithci-20230511.16.38.220144.tar.gz (from https://pypi.org/simple/certora-cli-alpha-shelly-releasewithci/) (requires-python:>=3.8.16), version: 20230511.16.38.220144 2023-05-14T15:50:42,894 Skipping link: No binaries permitted for certora-cli-alpha-shelly-releasewithci: https://files.pythonhosted.org/packages/ed/19/fce09a2ebb34ee8299bc3d0c8271f64dc36574a57eee8a0ed055b13bd007/certora_cli_alpha_shelly_releasewithci-20230511.16.38.220144-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-shelly-releasewithci/) (requires-python:>=3.8.16) 2023-05-14T15:50:42,895 Found link https://files.pythonhosted.org/packages/c7/97/f3c51c5f63e1e91231afc3b399e60a5ab350de413f584b972cfc1fb75e2a/certora-cli-alpha-shelly-releasewithci-20230512.8.59.390786.tar.gz (from https://pypi.org/simple/certora-cli-alpha-shelly-releasewithci/) (requires-python:>=3.8.16), version: 20230512.8.59.390786 2023-05-14T15:50:42,895 Skipping link: No binaries permitted for certora-cli-alpha-shelly-releasewithci: https://files.pythonhosted.org/packages/a3/66/daa645bf859c5b6519034c51842bd63e4706d3b1363a41cc454e31238ebd/certora_cli_alpha_shelly_releasewithci-20230512.8.59.390786-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-shelly-releasewithci/) (requires-python:>=3.8.16) 2023-05-14T15:50:42,896 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-shelly-releasewithci/ 2023-05-14T15:50:42,896 Getting page https://www.piwheels.org/simple/certora-cli-alpha-shelly-releasewithci/ 2023-05-14T15:50:42,897 Found index url https://www.piwheels.org/simple/ 2023-05-14T15:50:43,111 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-shelly-releasewithci/ as text/html 2023-05-14T15:50:43,112 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-shelly-releasewithci/ 2023-05-14T15:50:43,112 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-shelly-releasewithci/ 2023-05-14T15:50:43,130 Given no hashes to check 1 links for project 'certora-cli-alpha-shelly-releasewithci': discarding no candidates 2023-05-14T15:50:43,146 Collecting certora-cli-alpha-shelly-releasewithci==20230511.13.13.556295 2023-05-14T15:50:43,149 Created temporary directory: /tmp/pip-unpack-33f9h1je 2023-05-14T15:50:43,197 Downloading certora-cli-alpha-shelly-releasewithci-20230511.13.13.556295.tar.gz (39.4 MB) 2023-05-14T15:50:47,661 Added certora-cli-alpha-shelly-releasewithci==20230511.13.13.556295 from https://files.pythonhosted.org/packages/df/ce/5ffd64d1d222750b793f075c37a0a00790055d5dd3b7c609d224b381f351/certora-cli-alpha-shelly-releasewithci-20230511.13.13.556295.tar.gz to build tracker '/tmp/pip-build-tracker-xwu5c7cc' 2023-05-14T15:50:47,663 Running setup.py (path:/tmp/pip-wheel-_szxtzln/certora-cli-alpha-shelly-releasewithci_800d40ef7f4945aa9f8b0da0790319d4/setup.py) egg_info for package certora-cli-alpha-shelly-releasewithci 2023-05-14T15:50:47,663 Created temporary directory: /tmp/pip-pip-egg-info-ewaq8f2j 2023-05-14T15:50:47,664 Preparing metadata (setup.py): started 2023-05-14T15:50:47,665 Running command python setup.py egg_info 2023-05-14T15:50:48,292 running egg_info 2023-05-14T15:50:48,294 creating /tmp/pip-pip-egg-info-ewaq8f2j/certora_cli_alpha_shelly_releasewithci.egg-info 2023-05-14T15:50:48,321 writing /tmp/pip-pip-egg-info-ewaq8f2j/certora_cli_alpha_shelly_releasewithci.egg-info/PKG-INFO 2023-05-14T15:50:48,323 writing dependency_links to /tmp/pip-pip-egg-info-ewaq8f2j/certora_cli_alpha_shelly_releasewithci.egg-info/dependency_links.txt 2023-05-14T15:50:48,325 writing entry points to /tmp/pip-pip-egg-info-ewaq8f2j/certora_cli_alpha_shelly_releasewithci.egg-info/entry_points.txt 2023-05-14T15:50:48,326 writing requirements to /tmp/pip-pip-egg-info-ewaq8f2j/certora_cli_alpha_shelly_releasewithci.egg-info/requires.txt 2023-05-14T15:50:48,327 writing top-level names to /tmp/pip-pip-egg-info-ewaq8f2j/certora_cli_alpha_shelly_releasewithci.egg-info/top_level.txt 2023-05-14T15:50:48,329 writing manifest file '/tmp/pip-pip-egg-info-ewaq8f2j/certora_cli_alpha_shelly_releasewithci.egg-info/SOURCES.txt' 2023-05-14T15:50:48,415 reading manifest file '/tmp/pip-pip-egg-info-ewaq8f2j/certora_cli_alpha_shelly_releasewithci.egg-info/SOURCES.txt' 2023-05-14T15:50:48,416 reading manifest template 'MANIFEST.in' 2023-05-14T15:50:48,426 adding license file 'LICENSE' 2023-05-14T15:50:48,430 writing manifest file '/tmp/pip-pip-egg-info-ewaq8f2j/certora_cli_alpha_shelly_releasewithci.egg-info/SOURCES.txt' 2023-05-14T15:50:48,489 Preparing metadata (setup.py): finished with status 'done' 2023-05-14T15:50:48,495 Source in /tmp/pip-wheel-_szxtzln/certora-cli-alpha-shelly-releasewithci_800d40ef7f4945aa9f8b0da0790319d4 has version 20230511.13.13.556295, which satisfies requirement certora-cli-alpha-shelly-releasewithci==20230511.13.13.556295 from https://files.pythonhosted.org/packages/df/ce/5ffd64d1d222750b793f075c37a0a00790055d5dd3b7c609d224b381f351/certora-cli-alpha-shelly-releasewithci-20230511.13.13.556295.tar.gz 2023-05-14T15:50:48,496 Removed certora-cli-alpha-shelly-releasewithci==20230511.13.13.556295 from https://files.pythonhosted.org/packages/df/ce/5ffd64d1d222750b793f075c37a0a00790055d5dd3b7c609d224b381f351/certora-cli-alpha-shelly-releasewithci-20230511.13.13.556295.tar.gz from build tracker '/tmp/pip-build-tracker-xwu5c7cc' 2023-05-14T15:50:48,503 Created temporary directory: /tmp/pip-unpack-4uy_id1f 2023-05-14T15:50:48,504 Building wheels for collected packages: certora-cli-alpha-shelly-releasewithci 2023-05-14T15:50:48,508 Created temporary directory: /tmp/pip-wheel-86fm8dm8 2023-05-14T15:50:48,508 Building wheel for certora-cli-alpha-shelly-releasewithci (setup.py): started 2023-05-14T15:50:48,509 Destination directory: /tmp/pip-wheel-86fm8dm8 2023-05-14T15:50:48,510 Running command python setup.py bdist_wheel 2023-05-14T15:50:49,343 running bdist_wheel 2023-05-14T15:50:49,643 running build 2023-05-14T15:50:49,644 running build_py 2023-05-14T15:50:49,673 creating build 2023-05-14T15:50:49,673 creating build/lib 2023-05-14T15:50:49,674 creating build/lib/certora_jars 2023-05-14T15:50:49,675 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-14T15:50:49,678 creating build/lib/certora_cli 2023-05-14T15:50:49,679 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-14T15:50:49,680 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-14T15:50:49,683 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-14T15:50:49,685 creating build/lib/certora_cli/Shared 2023-05-14T15:50:49,686 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-14T15:50:49,689 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-14T15:50:49,690 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-14T15:50:49,693 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-14T15:50:49,697 creating build/lib/certora_cli/EVMVerifier 2023-05-14T15:50:49,698 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T15:50:49,702 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T15:50:49,706 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T15:50:49,709 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T15:50:49,711 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T15:50:49,714 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T15:50:49,717 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T15:50:49,719 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T15:50:49,721 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T15:50:49,725 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T15:50:49,735 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T15:50:49,737 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T15:50:49,740 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T15:50:49,742 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T15:50:49,745 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T15:50:49,746 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T15:50:49,748 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T15:50:49,750 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T15:50:49,754 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T15:50:49,756 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T15:50:49,758 running egg_info 2023-05-14T15:50:49,818 writing certora_cli_alpha_shelly_releasewithci.egg-info/PKG-INFO 2023-05-14T15:50:49,820 writing dependency_links to certora_cli_alpha_shelly_releasewithci.egg-info/dependency_links.txt 2023-05-14T15:50:49,822 writing entry points to certora_cli_alpha_shelly_releasewithci.egg-info/entry_points.txt 2023-05-14T15:50:49,824 writing requirements to certora_cli_alpha_shelly_releasewithci.egg-info/requires.txt 2023-05-14T15:50:49,825 writing top-level names to certora_cli_alpha_shelly_releasewithci.egg-info/top_level.txt 2023-05-14T15:50:49,855 reading manifest file 'certora_cli_alpha_shelly_releasewithci.egg-info/SOURCES.txt' 2023-05-14T15:50:49,858 reading manifest template 'MANIFEST.in' 2023-05-14T15:50:49,868 adding license file 'LICENSE' 2023-05-14T15:50:49,872 writing manifest file 'certora_cli_alpha_shelly_releasewithci.egg-info/SOURCES.txt' 2023-05-14T15:50:49,875 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-14T15:50:49,878 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-14T15:50:50,114 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-14T15:50:50,291 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-14T15:50:50,493 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-14T15:50:50,596 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-14T15:50:50,721 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-14T15:50:50,721 !! 2023-05-14T15:50:50,722 ******************************************************************************** 2023-05-14T15:50:50,722 Please avoid running ``setup.py`` directly. 2023-05-14T15:50:50,722 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-14T15:50:50,722 other standards-based tools. 2023-05-14T15:50:50,722 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-14T15:50:50,722 ******************************************************************************** 2023-05-14T15:50:50,723 !! 2023-05-14T15:50:50,723 self.initialize_options() 2023-05-14T15:50:50,749 installing to build/bdist.linux-aarch64/wheel 2023-05-14T15:50:50,749 running install 2023-05-14T15:50:50,774 running install_lib 2023-05-14T15:50:50,801 creating build/bdist.linux-aarch64 2023-05-14T15:50:50,802 creating build/bdist.linux-aarch64/wheel 2023-05-14T15:50:50,804 creating build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T15:50:50,806 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T15:50:51,035 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T15:50:51,037 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T15:50:51,271 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T15:50:51,353 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T15:50:51,473 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T15:50:51,475 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T15:50:51,656 creating build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T15:50:51,657 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T15:50:51,659 creating build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T15:50:51,660 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T15:50:51,663 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T15:50:51,665 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T15:50:51,668 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T15:50:51,671 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T15:50:51,673 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T15:50:51,676 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T15:50:51,677 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T15:50:51,680 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T15:50:51,684 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T15:50:51,687 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T15:50:51,688 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T15:50:51,692 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T15:50:51,694 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T15:50:51,696 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T15:50:51,699 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T15:50:51,702 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T15:50:51,703 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T15:50:51,706 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T15:50:51,708 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T15:50:51,711 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T15:50:51,713 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T15:50:51,716 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T15:50:51,722 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T15:50:51,724 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T15:50:51,727 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T15:50:51,729 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T15:50:51,731 running install_egg_info 2023-05-14T15:50:51,762 Copying certora_cli_alpha_shelly_releasewithci.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_shelly_releasewithci-20230511.13.13.556295-py3.9.egg-info 2023-05-14T15:50:51,774 running install_scripts 2023-05-14T15:50:51,791 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-05-14T15:50:51,796 creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_shelly_releasewithci-20230511.13.13.556295.dist-info/WHEEL 2023-05-14T15:50:51,799 creating '/tmp/pip-wheel-86fm8dm8/certora_cli_alpha_shelly_releasewithci-20230511.13.13.556295-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it 2023-05-14T15:50:51,801 adding 'certora_cli/__init__.py' 2023-05-14T15:50:51,803 adding 'certora_cli/certoraMutate.py' 2023-05-14T15:50:51,805 adding 'certora_cli/certoraRun.py' 2023-05-14T15:50:51,807 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-14T15:50:51,829 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-14T15:50:51,836 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-14T15:50:51,838 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-14T15:50:51,840 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-14T15:50:51,844 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-14T15:50:51,848 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-14T15:50:51,849 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-14T15:50:51,855 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-14T15:50:51,857 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-05-14T15:50:51,859 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-14T15:50:51,861 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-14T15:50:51,863 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-14T15:50:51,867 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-14T15:50:51,870 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-14T15:50:51,871 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-14T15:50:51,873 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-14T15:50:51,877 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-14T15:50:51,879 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-14T15:50:51,881 adding 'certora_cli/Shared/__init__.py' 2023-05-14T15:50:51,883 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-14T15:50:51,885 adding 'certora_cli/Shared/certoraTester.py' 2023-05-14T15:50:51,892 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-14T15:50:51,896 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-14T15:50:53,540 adding 'certora_jars/MutationTest.jar' 2023-05-14T15:50:54,855 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-14T15:50:56,407 adding 'certora_jars/Typechecker.jar' 2023-05-14T15:50:56,490 adding 'certora_jars/__init__.py' 2023-05-14T15:50:57,343 adding 'certora_jars/gambit-linux' 2023-05-14T15:50:58,201 adding 'certora_jars/gambit-macos' 2023-05-14T15:50:58,237 adding 'certora_cli_alpha_shelly_releasewithci-20230511.13.13.556295.dist-info/LICENSE' 2023-05-14T15:50:58,238 adding 'certora_cli_alpha_shelly_releasewithci-20230511.13.13.556295.dist-info/METADATA' 2023-05-14T15:50:58,239 adding 'certora_cli_alpha_shelly_releasewithci-20230511.13.13.556295.dist-info/WHEEL' 2023-05-14T15:50:58,240 adding 'certora_cli_alpha_shelly_releasewithci-20230511.13.13.556295.dist-info/entry_points.txt' 2023-05-14T15:50:58,241 adding 'certora_cli_alpha_shelly_releasewithci-20230511.13.13.556295.dist-info/top_level.txt' 2023-05-14T15:50:58,242 adding 'certora_cli_alpha_shelly_releasewithci-20230511.13.13.556295.dist-info/RECORD' 2023-05-14T15:50:58,746 removing build/bdist.linux-aarch64/wheel 2023-05-14T15:50:58,869 Building wheel for certora-cli-alpha-shelly-releasewithci (setup.py): finished with status 'done' 2023-05-14T15:50:59,200 Created wheel for certora-cli-alpha-shelly-releasewithci: filename=certora_cli_alpha_shelly_releasewithci-20230511.13.13.556295-py3-none-any.whl size=39462898 sha256=d4184f88027bce4d4280aa807bf5935448d003fd5aab2b54406cd6d18bc47832 2023-05-14T15:50:59,201 Stored in directory: /tmp/pip-ephem-wheel-cache-z3zv3kzm/wheels/23/03/5d/cad0908083c5aec8f18464dbcf5ec333004feb47a890d5d985 2023-05-14T15:50:59,231 Successfully built certora-cli-alpha-shelly-releasewithci 2023-05-14T15:51:00,256 Removed build tracker: '/tmp/pip-build-tracker-xwu5c7cc'