2023-05-17T10:31:45,537 Created temporary directory: /tmp/pip-build-tracker-mswjmqgm 2023-05-17T10:31:45,538 Initialized build tracking at /tmp/pip-build-tracker-mswjmqgm 2023-05-17T10:31:45,538 Created build tracker: /tmp/pip-build-tracker-mswjmqgm 2023-05-17T10:31:45,538 Entered build tracker: /tmp/pip-build-tracker-mswjmqgm 2023-05-17T10:31:45,539 Created temporary directory: /tmp/pip-wheel-wcrlhxps 2023-05-17T10:31:45,543 Created temporary directory: /tmp/pip-ephem-wheel-cache-103ytvbf 2023-05-17T10:31:45,570 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-17T10:31:45,573 2 location(s) to search for versions of certora-cli-alpha-antti-prefer-cvc5: 2023-05-17T10:31:45,573 * https://pypi.org/simple/certora-cli-alpha-antti-prefer-cvc5/ 2023-05-17T10:31:45,573 * https://www.piwheels.org/simple/certora-cli-alpha-antti-prefer-cvc5/ 2023-05-17T10:31:45,574 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-antti-prefer-cvc5/ 2023-05-17T10:31:45,574 Getting page https://pypi.org/simple/certora-cli-alpha-antti-prefer-cvc5/ 2023-05-17T10:31:45,576 Found index url https://pypi.org/simple/ 2023-05-17T10:31:45,629 Fetched page https://pypi.org/simple/certora-cli-alpha-antti-prefer-cvc5/ as application/vnd.pypi.simple.v1+json 2023-05-17T10:31:45,631 Found link https://files.pythonhosted.org/packages/89/01/db078bb37ba39feff6b9466e8c242dfab3374ccbfda8ee965346ff5a3f29/certora-cli-alpha-antti-prefer-cvc5-20230516.8.4.14252.tar.gz (from https://pypi.org/simple/certora-cli-alpha-antti-prefer-cvc5/) (requires-python:>=3.8.16), version: 20230516.8.4.14252 2023-05-17T10:31:45,631 Skipping link: No binaries permitted for certora-cli-alpha-antti-prefer-cvc5: https://files.pythonhosted.org/packages/2c/93/417e6baf26847685028e8dbf86efe524202845fe35696cd7b69005ff34d8/certora_cli_alpha_antti_prefer_cvc5-20230516.8.4.14252-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-antti-prefer-cvc5/) (requires-python:>=3.8.16) 2023-05-17T10:31:45,632 Found link https://files.pythonhosted.org/packages/b4/6e/eb636d780219cb0c930b302f7037d8538bf101df61483a8c907707cc0771/certora-cli-alpha-antti-prefer-cvc5-20230517.9.51.374495.tar.gz (from https://pypi.org/simple/certora-cli-alpha-antti-prefer-cvc5/) (requires-python:>=3.8.16), version: 20230517.9.51.374495 2023-05-17T10:31:45,632 Skipping link: No binaries permitted for certora-cli-alpha-antti-prefer-cvc5: https://files.pythonhosted.org/packages/28/7f/b767ef559cbd99ba1d513e1f74a731b205741828e01baf90599d36011528/certora_cli_alpha_antti_prefer_cvc5-20230517.9.51.374495-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-antti-prefer-cvc5/) (requires-python:>=3.8.16) 2023-05-17T10:31:45,633 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-antti-prefer-cvc5/ 2023-05-17T10:31:45,633 Getting page https://www.piwheels.org/simple/certora-cli-alpha-antti-prefer-cvc5/ 2023-05-17T10:31:45,634 Found index url https://www.piwheels.org/simple/ 2023-05-17T10:31:45,811 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-antti-prefer-cvc5/ as text/html 2023-05-17T10:31:45,812 Skipping link: No binaries permitted for certora-cli-alpha-antti-prefer-cvc5: https://www.piwheels.org/simple/certora-cli-alpha-antti-prefer-cvc5/certora_cli_alpha_antti_prefer_cvc5-20230516.8.4.14252-py3-none-any.whl#sha256=e10de8c93e3d6e3ecf00424ce205861fed37e084e005ed039e465a3bf3ad74c4 (from https://www.piwheels.org/simple/certora-cli-alpha-antti-prefer-cvc5/) (requires-python:>=3.8.16) 2023-05-17T10:31:45,812 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-antti-prefer-cvc5/ 2023-05-17T10:31:45,813 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-antti-prefer-cvc5/ 2023-05-17T10:31:45,830 Given no hashes to check 1 links for project 'certora-cli-alpha-antti-prefer-cvc5': discarding no candidates 2023-05-17T10:31:45,847 Collecting certora-cli-alpha-antti-prefer-cvc5==20230517.9.51.374495 2023-05-17T10:31:45,849 Created temporary directory: /tmp/pip-unpack-l_ce81jk 2023-05-17T10:31:46,006 Downloading certora-cli-alpha-antti-prefer-cvc5-20230517.9.51.374495.tar.gz (38.8 MB) 2023-05-17T10:31:55,513 Added certora-cli-alpha-antti-prefer-cvc5==20230517.9.51.374495 from https://files.pythonhosted.org/packages/b4/6e/eb636d780219cb0c930b302f7037d8538bf101df61483a8c907707cc0771/certora-cli-alpha-antti-prefer-cvc5-20230517.9.51.374495.tar.gz to build tracker '/tmp/pip-build-tracker-mswjmqgm' 2023-05-17T10:31:55,515 Running setup.py (path:/tmp/pip-wheel-wcrlhxps/certora-cli-alpha-antti-prefer-cvc5_d42a995116f1463ab4d5980d22d7d478/setup.py) egg_info for package certora-cli-alpha-antti-prefer-cvc5 2023-05-17T10:31:55,516 Created temporary directory: /tmp/pip-pip-egg-info-5c5d3q25 2023-05-17T10:31:55,516 Preparing metadata (setup.py): started 2023-05-17T10:31:55,517 Running command python setup.py egg_info 2023-05-17T10:31:56,117 running egg_info 2023-05-17T10:31:56,118 creating /tmp/pip-pip-egg-info-5c5d3q25/certora_cli_alpha_antti_prefer_cvc5.egg-info 2023-05-17T10:31:56,142 writing /tmp/pip-pip-egg-info-5c5d3q25/certora_cli_alpha_antti_prefer_cvc5.egg-info/PKG-INFO 2023-05-17T10:31:56,144 writing dependency_links to /tmp/pip-pip-egg-info-5c5d3q25/certora_cli_alpha_antti_prefer_cvc5.egg-info/dependency_links.txt 2023-05-17T10:31:56,146 writing entry points to /tmp/pip-pip-egg-info-5c5d3q25/certora_cli_alpha_antti_prefer_cvc5.egg-info/entry_points.txt 2023-05-17T10:31:56,147 writing requirements to /tmp/pip-pip-egg-info-5c5d3q25/certora_cli_alpha_antti_prefer_cvc5.egg-info/requires.txt 2023-05-17T10:31:56,148 writing top-level names to /tmp/pip-pip-egg-info-5c5d3q25/certora_cli_alpha_antti_prefer_cvc5.egg-info/top_level.txt 2023-05-17T10:31:56,150 writing manifest file '/tmp/pip-pip-egg-info-5c5d3q25/certora_cli_alpha_antti_prefer_cvc5.egg-info/SOURCES.txt' 2023-05-17T10:31:56,231 reading manifest file '/tmp/pip-pip-egg-info-5c5d3q25/certora_cli_alpha_antti_prefer_cvc5.egg-info/SOURCES.txt' 2023-05-17T10:31:56,232 reading manifest template 'MANIFEST.in' 2023-05-17T10:31:56,241 adding license file 'LICENSE' 2023-05-17T10:31:56,245 writing manifest file '/tmp/pip-pip-egg-info-5c5d3q25/certora_cli_alpha_antti_prefer_cvc5.egg-info/SOURCES.txt' 2023-05-17T10:31:56,306 Preparing metadata (setup.py): finished with status 'done' 2023-05-17T10:31:56,311 Source in /tmp/pip-wheel-wcrlhxps/certora-cli-alpha-antti-prefer-cvc5_d42a995116f1463ab4d5980d22d7d478 has version 20230517.9.51.374495, which satisfies requirement certora-cli-alpha-antti-prefer-cvc5==20230517.9.51.374495 from https://files.pythonhosted.org/packages/b4/6e/eb636d780219cb0c930b302f7037d8538bf101df61483a8c907707cc0771/certora-cli-alpha-antti-prefer-cvc5-20230517.9.51.374495.tar.gz 2023-05-17T10:31:56,312 Removed certora-cli-alpha-antti-prefer-cvc5==20230517.9.51.374495 from https://files.pythonhosted.org/packages/b4/6e/eb636d780219cb0c930b302f7037d8538bf101df61483a8c907707cc0771/certora-cli-alpha-antti-prefer-cvc5-20230517.9.51.374495.tar.gz from build tracker '/tmp/pip-build-tracker-mswjmqgm' 2023-05-17T10:31:56,319 Created temporary directory: /tmp/pip-unpack-1u04pomg 2023-05-17T10:31:56,319 Building wheels for collected packages: certora-cli-alpha-antti-prefer-cvc5 2023-05-17T10:31:56,323 Created temporary directory: /tmp/pip-wheel-wkm2kqsq 2023-05-17T10:31:56,323 Building wheel for certora-cli-alpha-antti-prefer-cvc5 (setup.py): started 2023-05-17T10:31:56,324 Destination directory: /tmp/pip-wheel-wkm2kqsq 2023-05-17T10:31:56,325 Running command python setup.py bdist_wheel 2023-05-17T10:31:57,115 running bdist_wheel 2023-05-17T10:31:57,393 running build 2023-05-17T10:31:57,393 running build_py 2023-05-17T10:31:57,421 creating build 2023-05-17T10:31:57,422 creating build/lib 2023-05-17T10:31:57,423 creating build/lib/certora_cli 2023-05-17T10:31:57,424 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-17T10:31:57,426 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-17T10:31:57,427 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-17T10:31:57,430 creating build/lib/certora_jars 2023-05-17T10:31:57,431 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-17T10:31:57,433 creating build/lib/certora_cli/Shared 2023-05-17T10:31:57,434 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-17T10:31:57,436 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-17T10:31:57,438 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-17T10:31:57,440 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-17T10:31:57,444 creating build/lib/certora_cli/EVMVerifier 2023-05-17T10:31:57,445 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T10:31:57,448 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T10:31:57,449 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T10:31:57,453 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T10:31:57,455 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T10:31:57,458 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T10:31:57,463 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T10:31:57,466 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T10:31:57,468 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T10:31:57,471 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T10:31:57,473 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T10:31:57,477 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T10:31:57,478 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T10:31:57,480 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T10:31:57,482 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T10:31:57,483 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T10:31:57,485 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T10:31:57,487 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T10:31:57,489 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T10:31:57,492 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T10:31:57,494 running egg_info 2023-05-17T10:31:57,554 writing certora_cli_alpha_antti_prefer_cvc5.egg-info/PKG-INFO 2023-05-17T10:31:57,556 writing dependency_links to certora_cli_alpha_antti_prefer_cvc5.egg-info/dependency_links.txt 2023-05-17T10:31:57,558 writing entry points to certora_cli_alpha_antti_prefer_cvc5.egg-info/entry_points.txt 2023-05-17T10:31:57,559 writing requirements to certora_cli_alpha_antti_prefer_cvc5.egg-info/requires.txt 2023-05-17T10:31:57,560 writing top-level names to certora_cli_alpha_antti_prefer_cvc5.egg-info/top_level.txt 2023-05-17T10:31:57,593 reading manifest file 'certora_cli_alpha_antti_prefer_cvc5.egg-info/SOURCES.txt' 2023-05-17T10:31:57,595 reading manifest template 'MANIFEST.in' 2023-05-17T10:31:57,605 adding license file 'LICENSE' 2023-05-17T10:31:57,609 writing manifest file 'certora_cli_alpha_antti_prefer_cvc5.egg-info/SOURCES.txt' 2023-05-17T10:31:57,612 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-17T10:31:57,614 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-17T10:31:57,842 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-17T10:31:58,006 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-17T10:31:58,197 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-17T10:31:58,286 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-17T10:31:58,377 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-17T10:31:58,377 !! 2023-05-17T10:31:58,377 ******************************************************************************** 2023-05-17T10:31:58,377 Please avoid running ``setup.py`` directly. 2023-05-17T10:31:58,377 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-17T10:31:58,377 other standards-based tools. 2023-05-17T10:31:58,378 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-17T10:31:58,378 ******************************************************************************** 2023-05-17T10:31:58,378 !! 2023-05-17T10:31:58,378 self.initialize_options() 2023-05-17T10:31:58,404 installing to build/bdist.linux-armv7l/wheel 2023-05-17T10:31:58,404 running install 2023-05-17T10:31:58,430 running install_lib 2023-05-17T10:31:58,456 creating build/bdist.linux-armv7l 2023-05-17T10:31:58,457 creating build/bdist.linux-armv7l/wheel 2023-05-17T10:31:58,458 creating build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T10:31:58,460 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T10:31:58,461 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T10:31:58,464 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T10:31:58,466 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T10:31:58,468 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T10:31:58,471 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T10:31:58,473 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T10:31:58,475 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T10:31:58,478 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T10:31:58,478 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T10:31:58,482 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T10:31:58,483 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T10:31:58,485 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T10:31:58,487 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T10:31:58,489 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T10:31:58,492 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T10:31:58,494 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T10:31:58,496 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T10:31:58,499 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T10:31:58,501 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T10:31:58,504 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T10:31:58,510 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T10:31:58,512 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T10:31:58,515 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T10:31:58,517 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T10:31:58,520 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T10:31:58,522 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T10:31:58,524 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T10:31:58,526 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T10:31:58,528 creating build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T10:31:58,529 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T10:31:58,737 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T10:31:58,923 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T10:31:59,009 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T10:31:59,065 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T10:31:59,221 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T10:31:59,223 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T10:31:59,225 running install_egg_info 2023-05-17T10:31:59,254 Copying certora_cli_alpha_antti_prefer_cvc5.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_antti_prefer_cvc5-20230517.9.51.374495-py3.9.egg-info 2023-05-17T10:31:59,265 running install_scripts 2023-05-17T10:31:59,280 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-05-17T10:31:59,285 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_antti_prefer_cvc5-20230517.9.51.374495.dist-info/WHEEL 2023-05-17T10:31:59,287 creating '/tmp/pip-wheel-wkm2kqsq/certora_cli_alpha_antti_prefer_cvc5-20230517.9.51.374495-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-05-17T10:31:59,289 adding 'certora_cli/__init__.py' 2023-05-17T10:31:59,291 adding 'certora_cli/certoraMutate.py' 2023-05-17T10:31:59,293 adding 'certora_cli/certoraRun.py' 2023-05-17T10:31:59,296 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-17T10:31:59,318 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-17T10:31:59,325 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-17T10:31:59,327 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-17T10:31:59,329 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-17T10:31:59,333 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-17T10:31:59,337 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-17T10:31:59,339 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-17T10:31:59,345 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-17T10:31:59,347 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-05-17T10:31:59,349 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-17T10:31:59,351 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-17T10:31:59,354 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-17T10:31:59,358 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-17T10:31:59,360 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-17T10:31:59,362 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-17T10:31:59,364 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-17T10:31:59,369 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-17T10:31:59,370 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-17T10:31:59,372 adding 'certora_cli/Shared/__init__.py' 2023-05-17T10:31:59,375 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-17T10:31:59,377 adding 'certora_cli/Shared/certoraTester.py' 2023-05-17T10:31:59,383 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-17T10:31:59,387 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-17T10:32:01,058 adding 'certora_jars/MutationTest.jar' 2023-05-17T10:32:02,391 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-17T10:32:03,967 adding 'certora_jars/Typechecker.jar' 2023-05-17T10:32:04,049 adding 'certora_jars/__init__.py' 2023-05-17T10:32:04,785 adding 'certora_jars/gambit-linux' 2023-05-17T10:32:05,444 adding 'certora_jars/gambit-macos' 2023-05-17T10:32:05,470 adding 'certora_cli_alpha_antti_prefer_cvc5-20230517.9.51.374495.dist-info/LICENSE' 2023-05-17T10:32:05,471 adding 'certora_cli_alpha_antti_prefer_cvc5-20230517.9.51.374495.dist-info/METADATA' 2023-05-17T10:32:05,472 adding 'certora_cli_alpha_antti_prefer_cvc5-20230517.9.51.374495.dist-info/WHEEL' 2023-05-17T10:32:05,473 adding 'certora_cli_alpha_antti_prefer_cvc5-20230517.9.51.374495.dist-info/entry_points.txt' 2023-05-17T10:32:05,474 adding 'certora_cli_alpha_antti_prefer_cvc5-20230517.9.51.374495.dist-info/top_level.txt' 2023-05-17T10:32:05,475 adding 'certora_cli_alpha_antti_prefer_cvc5-20230517.9.51.374495.dist-info/RECORD' 2023-05-17T10:32:05,897 removing build/bdist.linux-armv7l/wheel 2023-05-17T10:32:06,016 Building wheel for certora-cli-alpha-antti-prefer-cvc5 (setup.py): finished with status 'done' 2023-05-17T10:32:06,403 Created wheel for certora-cli-alpha-antti-prefer-cvc5: filename=certora_cli_alpha_antti_prefer_cvc5-20230517.9.51.374495-py3-none-any.whl size=38783861 sha256=638ccb2da7dd7e9cbe5a9fdb88799a79d0707ef60989884b5b029a9b59dbe6eb 2023-05-17T10:32:06,405 Stored in directory: /tmp/pip-ephem-wheel-cache-103ytvbf/wheels/86/44/3c/bf456237a6a6b64f4417d14f876f04d47452c8e93fae2bfd99 2023-05-17T10:32:06,428 Successfully built certora-cli-alpha-antti-prefer-cvc5 2023-05-17T10:32:07,313 Removed build tracker: '/tmp/pip-build-tracker-mswjmqgm'