2023-05-17T02:17:03,153 Created temporary directory: /tmp/pip-build-tracker-nm82soma 2023-05-17T02:17:03,154 Initialized build tracking at /tmp/pip-build-tracker-nm82soma 2023-05-17T02:17:03,155 Created build tracker: /tmp/pip-build-tracker-nm82soma 2023-05-17T02:17:03,155 Entered build tracker: /tmp/pip-build-tracker-nm82soma 2023-05-17T02:17:03,155 Created temporary directory: /tmp/pip-wheel-_n5__f6_ 2023-05-17T02:17:03,159 Created temporary directory: /tmp/pip-ephem-wheel-cache-t0am6q3k 2023-05-17T02:17:03,181 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-17T02:17:03,185 2 location(s) to search for versions of certora-cli-alpha-antti-prefer-cvc5: 2023-05-17T02:17:03,185 * https://pypi.org/simple/certora-cli-alpha-antti-prefer-cvc5/ 2023-05-17T02:17:03,185 * https://www.piwheels.org/simple/certora-cli-alpha-antti-prefer-cvc5/ 2023-05-17T02:17:03,186 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-antti-prefer-cvc5/ 2023-05-17T02:17:03,186 Getting page https://pypi.org/simple/certora-cli-alpha-antti-prefer-cvc5/ 2023-05-17T02:17:03,188 Found index url https://pypi.org/simple/ 2023-05-17T02:17:03,236 Fetched page https://pypi.org/simple/certora-cli-alpha-antti-prefer-cvc5/ as application/vnd.pypi.simple.v1+json 2023-05-17T02:17:03,238 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-17T02:17:03,238 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-17T02:17:03,238 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-antti-prefer-cvc5/ 2023-05-17T02:17:03,239 Getting page https://www.piwheels.org/simple/certora-cli-alpha-antti-prefer-cvc5/ 2023-05-17T02:17:03,240 Found index url https://www.piwheels.org/simple/ 2023-05-17T02:17:03,503 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-antti-prefer-cvc5/ as text/html 2023-05-17T02:17:03,504 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-antti-prefer-cvc5/ 2023-05-17T02:17:03,504 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-antti-prefer-cvc5/ 2023-05-17T02:17:03,528 Given no hashes to check 1 links for project 'certora-cli-alpha-antti-prefer-cvc5': discarding no candidates 2023-05-17T02:17:03,550 Collecting certora-cli-alpha-antti-prefer-cvc5==20230516.8.4.14252 2023-05-17T02:17:03,553 Created temporary directory: /tmp/pip-unpack-qzxyuv99 2023-05-17T02:17:03,765 Downloading certora-cli-alpha-antti-prefer-cvc5-20230516.8.4.14252.tar.gz (38.8 MB) 2023-05-17T02:17:12,916 Added certora-cli-alpha-antti-prefer-cvc5==20230516.8.4.14252 from https://files.pythonhosted.org/packages/89/01/db078bb37ba39feff6b9466e8c242dfab3374ccbfda8ee965346ff5a3f29/certora-cli-alpha-antti-prefer-cvc5-20230516.8.4.14252.tar.gz to build tracker '/tmp/pip-build-tracker-nm82soma' 2023-05-17T02:17:12,917 Running setup.py (path:/tmp/pip-wheel-_n5__f6_/certora-cli-alpha-antti-prefer-cvc5_5752e82bb1f9415cab5890ee1aa372b9/setup.py) egg_info for package certora-cli-alpha-antti-prefer-cvc5 2023-05-17T02:17:12,918 Created temporary directory: /tmp/pip-pip-egg-info-hq4c1f7_ 2023-05-17T02:17:12,918 Preparing metadata (setup.py): started 2023-05-17T02:17:12,919 Running command python setup.py egg_info 2023-05-17T02:17:13,467 /usr/local/lib/python3.9/dist-packages/setuptools/dist.py:519: InformationOnly: Normalizing '20230516.8.4.014252' to '20230516.8.4.14252' 2023-05-17T02:17:13,468 self.metadata.version = self._normalize_version( 2023-05-17T02:17:13,517 running egg_info 2023-05-17T02:17:13,518 creating /tmp/pip-pip-egg-info-hq4c1f7_/certora_cli_alpha_antti_prefer_cvc5.egg-info 2023-05-17T02:17:13,543 writing /tmp/pip-pip-egg-info-hq4c1f7_/certora_cli_alpha_antti_prefer_cvc5.egg-info/PKG-INFO 2023-05-17T02:17:13,545 writing dependency_links to /tmp/pip-pip-egg-info-hq4c1f7_/certora_cli_alpha_antti_prefer_cvc5.egg-info/dependency_links.txt 2023-05-17T02:17:13,547 writing entry points to /tmp/pip-pip-egg-info-hq4c1f7_/certora_cli_alpha_antti_prefer_cvc5.egg-info/entry_points.txt 2023-05-17T02:17:13,548 writing requirements to /tmp/pip-pip-egg-info-hq4c1f7_/certora_cli_alpha_antti_prefer_cvc5.egg-info/requires.txt 2023-05-17T02:17:13,549 writing top-level names to /tmp/pip-pip-egg-info-hq4c1f7_/certora_cli_alpha_antti_prefer_cvc5.egg-info/top_level.txt 2023-05-17T02:17:13,551 writing manifest file '/tmp/pip-pip-egg-info-hq4c1f7_/certora_cli_alpha_antti_prefer_cvc5.egg-info/SOURCES.txt' 2023-05-17T02:17:13,634 reading manifest file '/tmp/pip-pip-egg-info-hq4c1f7_/certora_cli_alpha_antti_prefer_cvc5.egg-info/SOURCES.txt' 2023-05-17T02:17:13,635 reading manifest template 'MANIFEST.in' 2023-05-17T02:17:13,644 adding license file 'LICENSE' 2023-05-17T02:17:13,648 writing manifest file '/tmp/pip-pip-egg-info-hq4c1f7_/certora_cli_alpha_antti_prefer_cvc5.egg-info/SOURCES.txt' 2023-05-17T02:17:13,708 Preparing metadata (setup.py): finished with status 'done' 2023-05-17T02:17:13,714 Source in /tmp/pip-wheel-_n5__f6_/certora-cli-alpha-antti-prefer-cvc5_5752e82bb1f9415cab5890ee1aa372b9 has version 20230516.8.4.14252, which satisfies requirement certora-cli-alpha-antti-prefer-cvc5==20230516.8.4.14252 from https://files.pythonhosted.org/packages/89/01/db078bb37ba39feff6b9466e8c242dfab3374ccbfda8ee965346ff5a3f29/certora-cli-alpha-antti-prefer-cvc5-20230516.8.4.14252.tar.gz 2023-05-17T02:17:13,715 Removed certora-cli-alpha-antti-prefer-cvc5==20230516.8.4.14252 from https://files.pythonhosted.org/packages/89/01/db078bb37ba39feff6b9466e8c242dfab3374ccbfda8ee965346ff5a3f29/certora-cli-alpha-antti-prefer-cvc5-20230516.8.4.14252.tar.gz from build tracker '/tmp/pip-build-tracker-nm82soma' 2023-05-17T02:17:13,721 Created temporary directory: /tmp/pip-unpack-9y7k8l1t 2023-05-17T02:17:13,722 Building wheels for collected packages: certora-cli-alpha-antti-prefer-cvc5 2023-05-17T02:17:13,726 Created temporary directory: /tmp/pip-wheel-iw98t7xs 2023-05-17T02:17:13,727 Building wheel for certora-cli-alpha-antti-prefer-cvc5 (setup.py): started 2023-05-17T02:17:13,728 Destination directory: /tmp/pip-wheel-iw98t7xs 2023-05-17T02:17:13,728 Running command python setup.py bdist_wheel 2023-05-17T02:17:14,268 /usr/local/lib/python3.9/dist-packages/setuptools/dist.py:519: InformationOnly: Normalizing '20230516.8.4.014252' to '20230516.8.4.14252' 2023-05-17T02:17:14,268 self.metadata.version = self._normalize_version( 2023-05-17T02:17:14,732 running bdist_wheel 2023-05-17T02:17:15,007 running build 2023-05-17T02:17:15,008 running build_py 2023-05-17T02:17:15,035 creating build 2023-05-17T02:17:15,035 creating build/lib 2023-05-17T02:17:15,036 creating build/lib/certora_cli 2023-05-17T02:17:15,038 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-17T02:17:15,040 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-17T02:17:15,041 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-17T02:17:15,044 creating build/lib/certora_jars 2023-05-17T02:17:15,045 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-17T02:17:15,047 creating build/lib/certora_cli/Shared 2023-05-17T02:17:15,048 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-17T02:17:15,051 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-17T02:17:15,053 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-17T02:17:15,055 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-17T02:17:15,060 creating build/lib/certora_cli/EVMVerifier 2023-05-17T02:17:15,061 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:17:15,063 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:17:15,065 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:17:15,068 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:17:15,070 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:17:15,074 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:17:15,080 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:17:15,082 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:17:15,085 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:17:15,087 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:17:15,089 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:17:15,092 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:17:15,093 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:17:15,095 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:17:15,097 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T02:17:15,098 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T02:17:15,101 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T02:17:15,102 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T02:17:15,104 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T02:17:15,107 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T02:17:15,109 running egg_info 2023-05-17T02:17:15,168 writing certora_cli_alpha_antti_prefer_cvc5.egg-info/PKG-INFO 2023-05-17T02:17:15,169 writing dependency_links to certora_cli_alpha_antti_prefer_cvc5.egg-info/dependency_links.txt 2023-05-17T02:17:15,171 writing entry points to certora_cli_alpha_antti_prefer_cvc5.egg-info/entry_points.txt 2023-05-17T02:17:15,173 writing requirements to certora_cli_alpha_antti_prefer_cvc5.egg-info/requires.txt 2023-05-17T02:17:15,174 writing top-level names to certora_cli_alpha_antti_prefer_cvc5.egg-info/top_level.txt 2023-05-17T02:17:15,203 reading manifest file 'certora_cli_alpha_antti_prefer_cvc5.egg-info/SOURCES.txt' 2023-05-17T02:17:15,205 reading manifest template 'MANIFEST.in' 2023-05-17T02:17:15,214 adding license file 'LICENSE' 2023-05-17T02:17:15,218 writing manifest file 'certora_cli_alpha_antti_prefer_cvc5.egg-info/SOURCES.txt' 2023-05-17T02:17:15,221 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-17T02:17:15,223 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-17T02:17:15,443 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-17T02:17:15,622 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-17T02:17:15,811 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-17T02:17:15,896 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-17T02:17:15,994 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-17T02:17:15,994 !! 2023-05-17T02:17:15,994 ******************************************************************************** 2023-05-17T02:17:15,994 Please avoid running ``setup.py`` directly. 2023-05-17T02:17:15,995 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-17T02:17:15,995 other standards-based tools. 2023-05-17T02:17:15,995 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-17T02:17:15,995 ******************************************************************************** 2023-05-17T02:17:15,995 !! 2023-05-17T02:17:15,996 self.initialize_options() 2023-05-17T02:17:16,019 installing to build/bdist.linux-armv7l/wheel 2023-05-17T02:17:16,020 running install 2023-05-17T02:17:16,045 running install_lib 2023-05-17T02:17:16,074 creating build/bdist.linux-armv7l 2023-05-17T02:17:16,075 creating build/bdist.linux-armv7l/wheel 2023-05-17T02:17:16,076 creating build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T02:17:16,078 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T02:17:16,079 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T02:17:16,081 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T02:17:16,083 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T02:17:16,086 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T02:17:16,089 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T02:17:16,091 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T02:17:16,092 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T02:17:16,095 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:17:16,096 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:17:16,100 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T02:17:16,100 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T02:17:16,102 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T02:17:16,104 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T02:17:16,106 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T02:17:16,109 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T02:17:16,111 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:17:16,113 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:17:16,116 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:17:16,118 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:17:16,121 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:17:16,127 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:17:16,129 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:17:16,132 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:17:16,135 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:17:16,138 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:17:16,141 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:17:16,142 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:17:16,144 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:17:16,147 creating build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T02:17:16,148 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T02:17:16,431 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T02:17:16,636 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T02:17:16,731 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T02:17:16,801 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T02:17:16,957 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T02:17:16,958 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T02:17:16,960 running install_egg_info 2023-05-17T02:17:16,989 Copying certora_cli_alpha_antti_prefer_cvc5.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_antti_prefer_cvc5-20230516.8.4.14252-py3.9.egg-info 2023-05-17T02:17:17,000 running install_scripts 2023-05-17T02:17:17,016 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-05-17T02:17:17,021 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_antti_prefer_cvc5-20230516.8.4.14252.dist-info/WHEEL 2023-05-17T02:17:17,023 creating '/tmp/pip-wheel-iw98t7xs/certora_cli_alpha_antti_prefer_cvc5-20230516.8.4.14252-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-05-17T02:17:17,026 adding 'certora_cli/__init__.py' 2023-05-17T02:17:17,027 adding 'certora_cli/certoraMutate.py' 2023-05-17T02:17:17,029 adding 'certora_cli/certoraRun.py' 2023-05-17T02:17:17,031 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-17T02:17:17,053 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-17T02:17:17,060 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-17T02:17:17,062 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-17T02:17:17,063 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-17T02:17:17,067 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-17T02:17:17,071 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-17T02:17:17,072 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-17T02:17:17,078 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-17T02:17:17,080 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-05-17T02:17:17,082 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-17T02:17:17,083 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-17T02:17:17,086 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-17T02:17:17,089 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-17T02:17:17,092 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-17T02:17:17,093 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-17T02:17:17,095 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-17T02:17:17,099 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-17T02:17:17,100 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-17T02:17:17,102 adding 'certora_cli/Shared/__init__.py' 2023-05-17T02:17:17,104 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-17T02:17:17,106 adding 'certora_cli/Shared/certoraTester.py' 2023-05-17T02:17:17,112 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-17T02:17:17,115 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-17T02:17:18,783 adding 'certora_jars/MutationTest.jar' 2023-05-17T02:17:20,112 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-17T02:17:21,683 adding 'certora_jars/Typechecker.jar' 2023-05-17T02:17:21,765 adding 'certora_jars/__init__.py' 2023-05-17T02:17:22,503 adding 'certora_jars/gambit-linux' 2023-05-17T02:17:23,163 adding 'certora_jars/gambit-macos' 2023-05-17T02:17:23,189 adding 'certora_cli_alpha_antti_prefer_cvc5-20230516.8.4.14252.dist-info/LICENSE' 2023-05-17T02:17:23,190 adding 'certora_cli_alpha_antti_prefer_cvc5-20230516.8.4.14252.dist-info/METADATA' 2023-05-17T02:17:23,191 adding 'certora_cli_alpha_antti_prefer_cvc5-20230516.8.4.14252.dist-info/WHEEL' 2023-05-17T02:17:23,192 adding 'certora_cli_alpha_antti_prefer_cvc5-20230516.8.4.14252.dist-info/entry_points.txt' 2023-05-17T02:17:23,193 adding 'certora_cli_alpha_antti_prefer_cvc5-20230516.8.4.14252.dist-info/top_level.txt' 2023-05-17T02:17:23,194 adding 'certora_cli_alpha_antti_prefer_cvc5-20230516.8.4.14252.dist-info/RECORD' 2023-05-17T02:17:23,598 removing build/bdist.linux-armv7l/wheel 2023-05-17T02:17:23,721 Building wheel for certora-cli-alpha-antti-prefer-cvc5 (setup.py): finished with status 'done' 2023-05-17T02:17:24,106 Created wheel for certora-cli-alpha-antti-prefer-cvc5: filename=certora_cli_alpha_antti_prefer_cvc5-20230516.8.4.14252-py3-none-any.whl size=38784579 sha256=e10de8c93e3d6e3ecf00424ce205861fed37e084e005ed039e465a3bf3ad74c4 2023-05-17T02:17:24,107 Stored in directory: /tmp/pip-ephem-wheel-cache-t0am6q3k/wheels/fd/fd/75/1490d5ae4068b4fcb7cd6b6f17f325aa1e9b14a0d12b0d12e2 2023-05-17T02:17:24,131 Successfully built certora-cli-alpha-antti-prefer-cvc5 2023-05-17T02:17:25,067 Removed build tracker: '/tmp/pip-build-tracker-nm82soma'