2023-05-24T08:46:11,028 Created temporary directory: /tmp/pip-build-tracker-6f2b9qy1
2023-05-24T08:46:11,029 Initialized build tracking at /tmp/pip-build-tracker-6f2b9qy1
2023-05-24T08:46:11,029 Created build tracker: /tmp/pip-build-tracker-6f2b9qy1
2023-05-24T08:46:11,029 Entered build tracker: /tmp/pip-build-tracker-6f2b9qy1
2023-05-24T08:46:11,030 Created temporary directory: /tmp/pip-wheel-hxf6wo20
2023-05-24T08:46:11,034 Created temporary directory: /tmp/pip-ephem-wheel-cache-uxjc55yl
2023-05-24T08:46:11,058 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-24T08:46:11,062 2 location(s) to search for versions of certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor:
2023-05-24T08:46:11,062 * https://pypi.org/simple/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor/
2023-05-24T08:46:11,062 * https://www.piwheels.org/simple/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor/
2023-05-24T08:46:11,063 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor/
2023-05-24T08:46:11,063 Getting page https://pypi.org/simple/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor/
2023-05-24T08:46:11,065 Found index url https://pypi.org/simple/
2023-05-24T08:46:11,115 Fetched page https://pypi.org/simple/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor/ as application/vnd.pypi.simple.v1+json
2023-05-24T08:46:11,117   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:46:11,117   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:46:11,118   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:46:11,118   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:46:11,118 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor/
2023-05-24T08:46:11,119 Getting page https://www.piwheels.org/simple/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor/
2023-05-24T08:46:11,120 Found index url https://www.piwheels.org/simple/
2023-05-24T08:46:11,290 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor/ as text/html
2023-05-24T08:46:11,292   Skipping link: No binaries permitted for certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor: https://www.piwheels.org/simple/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor/certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor-20230524.8.0.211770-py3-none-any.whl#sha256=c4638549235df0389dd554ceb8006ba7734bb00d6c0665026848fde7d86b5a64 (from https://www.piwheels.org/simple/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor/) (requires-python:>=3.8.16)
2023-05-24T08:46:11,292 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor/
2023-05-24T08:46:11,292 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor/
2023-05-24T08:46:11,309 Given no hashes to check 1 links for project 'certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor': discarding no candidates
2023-05-24T08:46:11,326 Collecting certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor==20230524.8.19.696974
2023-05-24T08:46:11,329   Created temporary directory: /tmp/pip-unpack-zhil9yvc
2023-05-24T08:46:11,456   Downloading certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor-20230524.8.19.696974.tar.gz (39.0 MB)
2023-05-24T08:46:21,273   Added certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor==20230524.8.19.696974 from https://files.pythonhosted.org/packages/6f/90/c5199175f3d2434252be062ad0b24a7d96513387e13f419470236037befe/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor-20230524.8.19.696974.tar.gz to build tracker '/tmp/pip-build-tracker-6f2b9qy1'
2023-05-24T08:46:21,275   Running setup.py (path:/tmp/pip-wheel-hxf6wo20/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor_f580ce3e1fdd42bbbdaa23836d0e260f/setup.py) egg_info for package certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor
2023-05-24T08:46:21,276   Created temporary directory: /tmp/pip-pip-egg-info-l30ppg2m
2023-05-24T08:46:21,276   Preparing metadata (setup.py): started
2023-05-24T08:46:21,277   Running command python setup.py egg_info
2023-05-24T08:46:21,868   running egg_info
2023-05-24T08:46:21,869   creating /tmp/pip-pip-egg-info-l30ppg2m/certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor.egg-info
2023-05-24T08:46:21,894   writing /tmp/pip-pip-egg-info-l30ppg2m/certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor.egg-info/PKG-INFO
2023-05-24T08:46:21,896   writing dependency_links to /tmp/pip-pip-egg-info-l30ppg2m/certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor.egg-info/dependency_links.txt
2023-05-24T08:46:21,897   writing entry points to /tmp/pip-pip-egg-info-l30ppg2m/certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor.egg-info/entry_points.txt
2023-05-24T08:46:21,899   writing requirements to /tmp/pip-pip-egg-info-l30ppg2m/certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor.egg-info/requires.txt
2023-05-24T08:46:21,900   writing top-level names to /tmp/pip-pip-egg-info-l30ppg2m/certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor.egg-info/top_level.txt
2023-05-24T08:46:21,901   writing manifest file '/tmp/pip-pip-egg-info-l30ppg2m/certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor.egg-info/SOURCES.txt'
2023-05-24T08:46:21,980   reading manifest file '/tmp/pip-pip-egg-info-l30ppg2m/certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor.egg-info/SOURCES.txt'
2023-05-24T08:46:21,982   reading manifest template 'MANIFEST.in'
2023-05-24T08:46:21,990   adding license file 'LICENSE'
2023-05-24T08:46:21,994   writing manifest file '/tmp/pip-pip-egg-info-l30ppg2m/certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor.egg-info/SOURCES.txt'
2023-05-24T08:46:22,053   Preparing metadata (setup.py): finished with status 'done'
2023-05-24T08:46:22,058   Source in /tmp/pip-wheel-hxf6wo20/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor_f580ce3e1fdd42bbbdaa23836d0e260f has version 20230524.8.19.696974, which satisfies requirement certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor==20230524.8.19.696974 from https://files.pythonhosted.org/packages/6f/90/c5199175f3d2434252be062ad0b24a7d96513387e13f419470236037befe/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor-20230524.8.19.696974.tar.gz
2023-05-24T08:46:22,059   Removed certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor==20230524.8.19.696974 from https://files.pythonhosted.org/packages/6f/90/c5199175f3d2434252be062ad0b24a7d96513387e13f419470236037befe/certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor-20230524.8.19.696974.tar.gz from build tracker '/tmp/pip-build-tracker-6f2b9qy1'
2023-05-24T08:46:22,065 Created temporary directory: /tmp/pip-unpack-2b0spldt
2023-05-24T08:46:22,066 Building wheels for collected packages: certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor
2023-05-24T08:46:22,070   Created temporary directory: /tmp/pip-wheel-8mg73dws
2023-05-24T08:46:22,070   Building wheel for certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor (setup.py): started
2023-05-24T08:46:22,071   Destination directory: /tmp/pip-wheel-8mg73dws
2023-05-24T08:46:22,071   Running command python setup.py bdist_wheel
2023-05-24T08:46:22,853   running bdist_wheel
2023-05-24T08:46:23,130   running build
2023-05-24T08:46:23,130   running build_py
2023-05-24T08:46:23,158   creating build
2023-05-24T08:46:23,158   creating build/lib
2023-05-24T08:46:23,159   creating build/lib/certora_jars
2023-05-24T08:46:23,160   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-24T08:46:23,162   creating build/lib/certora_cli
2023-05-24T08:46:23,163   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-24T08:46:23,164   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-24T08:46:23,166   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-24T08:46:23,169   creating build/lib/certora_cli/Shared
2023-05-24T08:46:23,170   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-24T08:46:23,173   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-24T08:46:23,175   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-24T08:46:23,177   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-24T08:46:23,180   creating build/lib/certora_cli/EVMVerifier
2023-05-24T08:46:23,180   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-24T08:46:23,182   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-24T08:46:23,185   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-24T08:46:23,187   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-24T08:46:23,190   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2023-05-24T08:46:23,191   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-24T08:46:23,194   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-24T08:46:23,196   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-24T08:46:23,199   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-24T08:46:23,203   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-24T08:46:23,209   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-24T08:46:23,210   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-24T08:46:23,213   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-24T08:46:23,215   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-24T08:46:23,218   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-24T08:46:23,219   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-24T08:46:23,221   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-24T08:46:23,222   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-24T08:46:23,224   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-24T08:46:23,226   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-24T08:46:23,229   running egg_info
2023-05-24T08:46:23,287   writing certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor.egg-info/PKG-INFO
2023-05-24T08:46:23,288   writing dependency_links to certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor.egg-info/dependency_links.txt
2023-05-24T08:46:23,290   writing entry points to certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor.egg-info/entry_points.txt
2023-05-24T08:46:23,292   writing requirements to certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor.egg-info/requires.txt
2023-05-24T08:46:23,293   writing top-level names to certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor.egg-info/top_level.txt
2023-05-24T08:46:23,325   reading manifest file 'certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor.egg-info/SOURCES.txt'
2023-05-24T08:46:23,327   reading manifest template 'MANIFEST.in'
2023-05-24T08:46:23,336   adding license file 'LICENSE'
2023-05-24T08:46:23,340   writing manifest file 'certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor.egg-info/SOURCES.txt'
2023-05-24T08:46:23,343   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-24T08:46:23,345   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-24T08:46:23,566   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-24T08:46:23,718   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-24T08:46:23,904   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-24T08:46:23,991   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-24T08:46:24,084   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-24T08:46:24,084   !!

2023-05-24T08:46:24,084           ********************************************************************************
2023-05-24T08:46:24,084           Please avoid running ``setup.py`` directly.
2023-05-24T08:46:24,084           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-24T08:46:24,085           other standards-based tools.

2023-05-24T08:46:24,085           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-24T08:46:24,085           ********************************************************************************

2023-05-24T08:46:24,085   !!
2023-05-24T08:46:24,085     self.initialize_options()
2023-05-24T08:46:24,112   installing to build/bdist.linux-armv7l/wheel
2023-05-24T08:46:24,113   running install
2023-05-24T08:46:24,138   running install_lib
2023-05-24T08:46:24,165   creating build/bdist.linux-armv7l
2023-05-24T08:46:24,166   creating build/bdist.linux-armv7l/wheel
2023-05-24T08:46:24,168   creating build/bdist.linux-armv7l/wheel/certora_jars
2023-05-24T08:46:24,169   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-24T08:46:24,338   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-24T08:46:24,553   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-24T08:46:24,555   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-24T08:46:24,743   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-24T08:46:24,745   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-24T08:46:24,808   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-24T08:46:24,912   creating build/bdist.linux-armv7l/wheel/certora_cli
2023-05-24T08:46:24,912   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-24T08:46:24,914   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-24T08:46:24,916   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-24T08:46:24,917   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-24T08:46:24,920   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-24T08:46:24,922   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-24T08:46:24,924   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-24T08:46:24,926   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-24T08:46:24,927   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-24T08:46:24,929   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-24T08:46:24,932   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-24T08:46:24,933   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-24T08:46:24,935   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-24T08:46:24,937   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-24T08:46:24,939   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-24T08:46:24,941   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-24T08:46:24,944   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-24T08:46:24,946   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-24T08:46:24,948   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-24T08:46:24,950   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-24T08:46:24,953   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-24T08:46:24,955   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-24T08:46:24,958   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-24T08:46:24,962   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-24T08:46:24,965   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-24T08:46:24,966   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-24T08:46:24,969   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-24T08:46:24,971   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-24T08:46:24,974   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-24T08:46:24,975   running install_egg_info
2023-05-24T08:46:25,005   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.19.696974-py3.9.egg-info
2023-05-24T08:46:25,015   running install_scripts
2023-05-24T08:46:25,031   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2023-05-24T08:46:25,035   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor-20230524.8.19.696974.dist-info/WHEEL
2023-05-24T08:46:25,037   creating '/tmp/pip-wheel-8mg73dws/certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor-20230524.8.19.696974-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2023-05-24T08:46:25,039   adding 'certora_cli/__init__.py'
2023-05-24T08:46:25,041   adding 'certora_cli/certoraMutate.py'
2023-05-24T08:46:25,043   adding 'certora_cli/certoraRun.py'
2023-05-24T08:46:25,045   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-24T08:46:25,067   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-24T08:46:25,073   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-24T08:46:25,075   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-24T08:46:25,077   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-24T08:46:25,081   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-24T08:46:25,085   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-24T08:46:25,086   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-24T08:46:25,092   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-24T08:46:25,093   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2023-05-24T08:46:25,095   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-24T08:46:25,096   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-24T08:46:25,099   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-24T08:46:25,103   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-24T08:46:25,105   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-24T08:46:25,107   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-24T08:46:25,109   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-24T08:46:25,113   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-24T08:46:25,115   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-24T08:46:25,116   adding 'certora_cli/Shared/__init__.py'
2023-05-24T08:46:25,119   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-24T08:46:25,120   adding 'certora_cli/Shared/certoraTester.py'
2023-05-24T08:46:25,127   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-24T08:46:25,130   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-24T08:46:26,807   adding 'certora_jars/MutationTest.jar'
2023-05-24T08:46:28,134   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-24T08:46:29,715   adding 'certora_jars/Typechecker.jar'
2023-05-24T08:46:29,798   adding 'certora_jars/__init__.py'
2023-05-24T08:46:30,534   adding 'certora_jars/gambit-linux'
2023-05-24T08:46:31,194   adding 'certora_jars/gambit-macos'
2023-05-24T08:46:31,219   adding 'certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor-20230524.8.19.696974.dist-info/LICENSE'
2023-05-24T08:46:31,220   adding 'certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor-20230524.8.19.696974.dist-info/METADATA'
2023-05-24T08:46:31,221   adding 'certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor-20230524.8.19.696974.dist-info/WHEEL'
2023-05-24T08:46:31,222   adding 'certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor-20230524.8.19.696974.dist-info/entry_points.txt'
2023-05-24T08:46:31,223   adding 'certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor-20230524.8.19.696974.dist-info/top_level.txt'
2023-05-24T08:46:31,224   adding 'certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor-20230524.8.19.696974.dist-info/RECORD'
2023-05-24T08:46:31,633   removing build/bdist.linux-armv7l/wheel
2023-05-24T08:46:31,749   Building wheel for certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor (setup.py): finished with status 'done'
2023-05-24T08:46:32,137   Created wheel for certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor: filename=certora_cli_alpha_gereon_cert_2325_cleanup_interactingcmdprocessor-20230524.8.19.696974-py3-none-any.whl size=39009435 sha256=d440ccf96c57fcd0bdd97033996127a75834dd8bab38574d6fdf73ead44bbde7
2023-05-24T08:46:32,138   Stored in directory: /tmp/pip-ephem-wheel-cache-uxjc55yl/wheels/a2/1f/6f/4e02da95f5f4f293ded348aa01ed723f16deb38760e61013ce
2023-05-24T08:46:32,162 Successfully built certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor
2023-05-24T08:46:33,106 Removed build tracker: '/tmp/pip-build-tracker-6f2b9qy1'