2023-05-24T08:33:25,047 Created temporary directory: /tmp/pip-build-tracker-h7iro1bh 2023-05-24T08:33:25,048 Initialized build tracking at /tmp/pip-build-tracker-h7iro1bh 2023-05-24T08:33:25,048 Created build tracker: /tmp/pip-build-tracker-h7iro1bh 2023-05-24T08:33:25,048 Entered build tracker: /tmp/pip-build-tracker-h7iro1bh 2023-05-24T08:33:25,049 Created temporary directory: /tmp/pip-wheel-k96fsni3 2023-05-24T08:33:25,053 Created temporary directory: /tmp/pip-ephem-wheel-cache-2_19wune 2023-05-24T08:33:25,075 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-24T08:33:25,079 2 location(s) to search for versions of certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor: 2023-05-24T08:33:25,079 * https://pypi.org/simple/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor/ 2023-05-24T08:33:25,079 * https://www.piwheels.org/simple/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor/ 2023-05-24T08:33:25,080 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor/ 2023-05-24T08:33:25,080 Getting page https://pypi.org/simple/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor/ 2023-05-24T08:33:25,082 Found index url https://pypi.org/simple/ 2023-05-24T08:33:25,131 Fetched page https://pypi.org/simple/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor/ as application/vnd.pypi.simple.v1+json 2023-05-24T08:33:25,133 Found link https://files.pythonhosted.org/packages/5b/96/db9cb1a08d28772d0ef5e96bda07a1cf3691ad71e4c8a395c55c11197704/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor-20230524.8.0.211770.tar.gz (from https://pypi.org/simple/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor/) (requires-python:>=3.8.16), version: 20230524.8.0.211770 2023-05-24T08:33:25,133 Skipping link: No binaries permitted for certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor: https://files.pythonhosted.org/packages/b5/c3/29c59eae5c3ec51fadbbe861a08ef659023cfa188f580f45f6ae47ced8ff/certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor-20230524.8.0.211770-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor/) (requires-python:>=3.8.16) 2023-05-24T08:33:25,134 Found link https://files.pythonhosted.org/packages/6f/90/c5199175f3d2434252be062ad0b24a7d96513387e13f419470236037befe/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor-20230524.8.19.696974.tar.gz (from https://pypi.org/simple/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor/) (requires-python:>=3.8.16), version: 20230524.8.19.696974 2023-05-24T08:33:25,134 Skipping link: No binaries permitted for certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor: https://files.pythonhosted.org/packages/3c/4e/397627e9388fad46023ff8aea50dfb7ce7e869cdc950468ae75533c31dd5/certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor-20230524.8.19.696974-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor/) (requires-python:>=3.8.16) 2023-05-24T08:33:25,134 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor/ 2023-05-24T08:33:25,134 Getting page https://www.piwheels.org/simple/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor/ 2023-05-24T08:33:25,136 Found index url https://www.piwheels.org/simple/ 2023-05-24T08:33:25,303 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor/ as text/html 2023-05-24T08:33:25,303 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor/ 2023-05-24T08:33:25,304 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor/ 2023-05-24T08:33:25,321 Given no hashes to check 1 links for project 'certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor': discarding no candidates 2023-05-24T08:33:25,343 Collecting certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor==20230524.8.0.211770 2023-05-24T08:33:25,345 Created temporary directory: /tmp/pip-unpack-ise5ml_9 2023-05-24T08:33:25,634 Downloading certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor-20230524.8.0.211770.tar.gz (39.0 MB) 2023-05-24T08:33:34,892 Added certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor==20230524.8.0.211770 from https://files.pythonhosted.org/packages/5b/96/db9cb1a08d28772d0ef5e96bda07a1cf3691ad71e4c8a395c55c11197704/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor-20230524.8.0.211770.tar.gz to build tracker '/tmp/pip-build-tracker-h7iro1bh' 2023-05-24T08:33:34,895 Running setup.py (path:/tmp/pip-wheel-k96fsni3/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor_6d139f27d4f9436192093d1da81f75f3/setup.py) egg_info for package certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor 2023-05-24T08:33:34,895 Created temporary directory: /tmp/pip-pip-egg-info-4n9977o9 2023-05-24T08:33:34,896 Preparing metadata (setup.py): started 2023-05-24T08:33:34,897 Running command python setup.py egg_info 2023-05-24T08:33:35,510 running egg_info 2023-05-24T08:33:35,511 creating /tmp/pip-pip-egg-info-4n9977o9/certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor.egg-info 2023-05-24T08:33:35,539 writing /tmp/pip-pip-egg-info-4n9977o9/certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor.egg-info/PKG-INFO 2023-05-24T08:33:35,541 writing dependency_links to /tmp/pip-pip-egg-info-4n9977o9/certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor.egg-info/dependency_links.txt 2023-05-24T08:33:35,543 writing entry points to /tmp/pip-pip-egg-info-4n9977o9/certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor.egg-info/entry_points.txt 2023-05-24T08:33:35,545 writing requirements to /tmp/pip-pip-egg-info-4n9977o9/certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor.egg-info/requires.txt 2023-05-24T08:33:35,546 writing top-level names to /tmp/pip-pip-egg-info-4n9977o9/certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor.egg-info/top_level.txt 2023-05-24T08:33:35,547 writing manifest file '/tmp/pip-pip-egg-info-4n9977o9/certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor.egg-info/SOURCES.txt' 2023-05-24T08:33:35,631 reading manifest file '/tmp/pip-pip-egg-info-4n9977o9/certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor.egg-info/SOURCES.txt' 2023-05-24T08:33:35,633 reading manifest template 'MANIFEST.in' 2023-05-24T08:33:35,641 adding license file 'LICENSE' 2023-05-24T08:33:35,645 writing manifest file '/tmp/pip-pip-egg-info-4n9977o9/certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor.egg-info/SOURCES.txt' 2023-05-24T08:33:35,705 Preparing metadata (setup.py): finished with status 'done' 2023-05-24T08:33:35,710 Source in /tmp/pip-wheel-k96fsni3/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor_6d139f27d4f9436192093d1da81f75f3 has version 20230524.8.0.211770, which satisfies requirement certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor==20230524.8.0.211770 from https://files.pythonhosted.org/packages/5b/96/db9cb1a08d28772d0ef5e96bda07a1cf3691ad71e4c8a395c55c11197704/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor-20230524.8.0.211770.tar.gz 2023-05-24T08:33:35,711 Removed certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor==20230524.8.0.211770 from https://files.pythonhosted.org/packages/5b/96/db9cb1a08d28772d0ef5e96bda07a1cf3691ad71e4c8a395c55c11197704/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor-20230524.8.0.211770.tar.gz from build tracker '/tmp/pip-build-tracker-h7iro1bh' 2023-05-24T08:33:35,718 Created temporary directory: /tmp/pip-unpack-649rgpvm 2023-05-24T08:33:35,718 Building wheels for collected packages: certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor 2023-05-24T08:33:35,723 Created temporary directory: /tmp/pip-wheel-9u93ycfz 2023-05-24T08:33:35,723 Building wheel for certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor (setup.py): started 2023-05-24T08:33:35,724 Destination directory: /tmp/pip-wheel-9u93ycfz 2023-05-24T08:33:35,724 Running command python setup.py bdist_wheel 2023-05-24T08:33:36,367 running bdist_wheel 2023-05-24T08:33:36,652 running build 2023-05-24T08:33:36,653 running build_py 2023-05-24T08:33:36,681 creating build 2023-05-24T08:33:36,682 creating build/lib 2023-05-24T08:33:36,683 creating build/lib/certora_cli 2023-05-24T08:33:36,684 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-24T08:33:36,685 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-24T08:33:36,687 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-24T08:33:36,689 creating build/lib/certora_jars 2023-05-24T08:33:36,690 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-24T08:33:36,692 creating build/lib/certora_cli/Shared 2023-05-24T08:33:36,693 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-24T08:33:36,695 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-24T08:33:36,697 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-24T08:33:36,699 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-24T08:33:36,703 creating build/lib/certora_cli/EVMVerifier 2023-05-24T08:33:36,704 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-24T08:33:36,706 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-24T08:33:36,707 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-24T08:33:36,710 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-24T08:33:36,712 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-24T08:33:36,715 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-24T08:33:36,723 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-24T08:33:36,725 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-24T08:33:36,728 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-24T08:33:36,731 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-24T08:33:36,733 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-24T08:33:36,736 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-24T08:33:36,738 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-05-24T08:33:36,739 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-24T08:33:36,742 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-24T08:33:36,742 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-24T08:33:36,744 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-24T08:33:36,746 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-24T08:33:36,748 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-24T08:33:36,751 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-24T08:33:36,753 running egg_info 2023-05-24T08:33:36,813 writing certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor.egg-info/PKG-INFO 2023-05-24T08:33:36,815 writing dependency_links to certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor.egg-info/dependency_links.txt 2023-05-24T08:33:36,816 writing entry points to certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor.egg-info/entry_points.txt 2023-05-24T08:33:36,818 writing requirements to certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor.egg-info/requires.txt 2023-05-24T08:33:36,819 writing top-level names to certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor.egg-info/top_level.txt 2023-05-24T08:33:36,849 reading manifest file 'certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor.egg-info/SOURCES.txt' 2023-05-24T08:33:36,852 reading manifest template 'MANIFEST.in' 2023-05-24T08:33:36,860 adding license file 'LICENSE' 2023-05-24T08:33:36,865 writing manifest file 'certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor.egg-info/SOURCES.txt' 2023-05-24T08:33:36,868 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-24T08:33:36,870 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-24T08:33:37,080 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-24T08:33:37,240 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-24T08:33:37,461 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-24T08:33:37,549 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-24T08:33:37,637 /home/piwheels/.local/lib/python3.9/site-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-24T08:33:37,637 !! 2023-05-24T08:33:37,638 ******************************************************************************** 2023-05-24T08:33:37,638 Please avoid running ``setup.py`` directly. 2023-05-24T08:33:37,638 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-24T08:33:37,638 other standards-based tools. 2023-05-24T08:33:37,638 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-24T08:33:37,638 ******************************************************************************** 2023-05-24T08:33:37,639 !! 2023-05-24T08:33:37,639 self.initialize_options() 2023-05-24T08:33:37,665 installing to build/bdist.linux-armv7l/wheel 2023-05-24T08:33:37,665 running install 2023-05-24T08:33:37,691 running install_lib 2023-05-24T08:33:37,718 creating build/bdist.linux-armv7l 2023-05-24T08:33:37,719 creating build/bdist.linux-armv7l/wheel 2023-05-24T08:33:37,720 creating build/bdist.linux-armv7l/wheel/certora_cli 2023-05-24T08:33:37,722 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-24T08:33:37,723 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-24T08:33:37,725 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-24T08:33:37,727 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-24T08:33:37,730 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-24T08:33:37,733 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-24T08:33:37,734 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-24T08:33:37,736 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-24T08:33:37,739 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-24T08:33:37,740 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-24T08:33:37,743 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-24T08:33:37,744 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-24T08:33:37,746 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-24T08:33:37,747 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-24T08:33:37,750 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-24T08:33:37,752 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-24T08:33:37,755 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-24T08:33:37,757 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-24T08:33:37,760 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-24T08:33:37,762 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-24T08:33:37,765 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-24T08:33:37,771 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-24T08:33:37,774 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-24T08:33:37,777 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-24T08:33:37,780 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-24T08:33:37,782 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-24T08:33:37,785 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-24T08:33:37,787 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-24T08:33:37,789 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-24T08:33:37,791 creating build/bdist.linux-armv7l/wheel/certora_jars 2023-05-24T08:33:37,792 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-24T08:33:38,023 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-24T08:33:38,218 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-24T08:33:38,302 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-24T08:33:38,358 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-24T08:33:38,522 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-24T08:33:38,523 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-24T08:33:38,525 running install_egg_info 2023-05-24T08:33:38,557 Copying certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor-20230524.8.0.211770-py3.9.egg-info 2023-05-24T08:33:38,568 running install_scripts 2023-05-24T08:33:38,583 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor-20230524.8.0.211770.dist-info/WHEEL 2023-05-24T08:33:38,586 creating '/tmp/pip-wheel-9u93ycfz/certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor-20230524.8.0.211770-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-05-24T08:33:38,589 adding 'certora_cli/__init__.py' 2023-05-24T08:33:38,590 adding 'certora_cli/certoraMutate.py' 2023-05-24T08:33:38,593 adding 'certora_cli/certoraRun.py' 2023-05-24T08:33:38,595 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-24T08:33:38,617 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-24T08:33:38,624 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-24T08:33:38,627 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-24T08:33:38,629 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-24T08:33:38,633 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-24T08:33:38,637 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-24T08:33:38,639 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-24T08:33:38,645 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-24T08:33:38,646 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-05-24T08:33:38,649 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-24T08:33:38,650 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-24T08:33:38,653 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-24T08:33:38,657 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-24T08:33:38,660 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-24T08:33:38,662 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-24T08:33:38,664 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-24T08:33:38,668 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-24T08:33:38,670 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-24T08:33:38,672 adding 'certora_cli/Shared/__init__.py' 2023-05-24T08:33:38,674 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-24T08:33:38,677 adding 'certora_cli/Shared/certoraTester.py' 2023-05-24T08:33:38,683 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-24T08:33:38,687 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-24T08:33:40,364 adding 'certora_jars/MutationTest.jar' 2023-05-24T08:33:41,691 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-24T08:33:43,272 adding 'certora_jars/Typechecker.jar' 2023-05-24T08:33:43,356 adding 'certora_jars/__init__.py' 2023-05-24T08:33:44,094 adding 'certora_jars/gambit-linux' 2023-05-24T08:33:44,756 adding 'certora_jars/gambit-macos' 2023-05-24T08:33:44,782 adding 'certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor-20230524.8.0.211770.dist-info/LICENSE' 2023-05-24T08:33:44,783 adding 'certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor-20230524.8.0.211770.dist-info/METADATA' 2023-05-24T08:33:44,785 adding 'certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor-20230524.8.0.211770.dist-info/WHEEL' 2023-05-24T08:33:44,786 adding 'certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor-20230524.8.0.211770.dist-info/entry_points.txt' 2023-05-24T08:33:44,787 adding 'certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor-20230524.8.0.211770.dist-info/top_level.txt' 2023-05-24T08:33:44,789 adding 'certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor-20230524.8.0.211770.dist-info/RECORD' 2023-05-24T08:33:45,196 removing build/bdist.linux-armv7l/wheel 2023-05-24T08:33:45,306 Building wheel for certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor (setup.py): finished with status 'done' 2023-05-24T08:33:45,694 Created wheel for certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor: filename=certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor-20230524.8.0.211770-py3-none-any.whl size=39009416 sha256=c4638549235df0389dd554ceb8006ba7734bb00d6c0665026848fde7d86b5a64 2023-05-24T08:33:45,695 Stored in directory: /tmp/pip-ephem-wheel-cache-2_19wune/wheels/53/12/dc/ff167eb83d0b5d88012f7d0bd9a300ebd362bf393a8211ea29 2023-05-24T08:33:45,719 Successfully built certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor 2023-05-24T08:33:46,641 Removed build tracker: '/tmp/pip-build-tracker-h7iro1bh'