2023-05-24T13:15:05,421 Created temporary directory: /tmp/pip-build-tracker-008546_b 2023-05-24T13:15:05,422 Initialized build tracking at /tmp/pip-build-tracker-008546_b 2023-05-24T13:15:05,423 Created build tracker: /tmp/pip-build-tracker-008546_b 2023-05-24T13:15:05,423 Entered build tracker: /tmp/pip-build-tracker-008546_b 2023-05-24T13:15:05,423 Created temporary directory: /tmp/pip-wheel-2d3gcdxq 2023-05-24T13:15:05,427 Created temporary directory: /tmp/pip-ephem-wheel-cache-zehzrgf9 2023-05-24T13:15:05,453 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-24T13:15:05,457 2 location(s) to search for versions of certora-cli-alpha-eyalh-separationofcompileandcheck: 2023-05-24T13:15:05,457 * https://pypi.org/simple/certora-cli-alpha-eyalh-separationofcompileandcheck/ 2023-05-24T13:15:05,457 * https://www.piwheels.org/simple/certora-cli-alpha-eyalh-separationofcompileandcheck/ 2023-05-24T13:15:05,457 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-eyalh-separationofcompileandcheck/ 2023-05-24T13:15:05,458 Getting page https://pypi.org/simple/certora-cli-alpha-eyalh-separationofcompileandcheck/ 2023-05-24T13:15:05,459 Found index url https://pypi.org/simple/ 2023-05-24T13:15:05,510 Fetched page https://pypi.org/simple/certora-cli-alpha-eyalh-separationofcompileandcheck/ as application/vnd.pypi.simple.v1+json 2023-05-24T13:15:05,512 Found link https://files.pythonhosted.org/packages/0a/35/167cc4bf7cfce733238a3c86cf3f1e599d38734aa7048bc8c79157c5f3ce/certora-cli-alpha-EyalH-SeparationOfCompileAndCheck-20230523.17.4.94537.tar.gz (from https://pypi.org/simple/certora-cli-alpha-eyalh-separationofcompileandcheck/) (requires-python:>=3.8.16), version: 20230523.17.4.94537 2023-05-24T13:15:05,513 Skipping link: No binaries permitted for certora-cli-alpha-eyalh-separationofcompileandcheck: https://files.pythonhosted.org/packages/ad/bc/9a6f81b10767d9b402004b1b291c6bab3fe02e0ba367bccf59e46155358c/certora_cli_alpha_EyalH_SeparationOfCompileAndCheck-20230523.17.4.94537-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-eyalh-separationofcompileandcheck/) (requires-python:>=3.8.16) 2023-05-24T13:15:05,513 Found link https://files.pythonhosted.org/packages/88/7e/89e06ca1b36b3f65649b9f0e235e7b2fa65bdffbf00c72a7a95f51b56daf/certora-cli-alpha-EyalH-SeparationOfCompileAndCheck-20230524.12.22.565643.tar.gz (from https://pypi.org/simple/certora-cli-alpha-eyalh-separationofcompileandcheck/) (requires-python:>=3.8.16), version: 20230524.12.22.565643 2023-05-24T13:15:05,513 Skipping link: No binaries permitted for certora-cli-alpha-eyalh-separationofcompileandcheck: https://files.pythonhosted.org/packages/73/2b/c7f8a9a0255f824aefca004816cd67987398f8ba8f36aeaabb9a57c26f27/certora_cli_alpha_EyalH_SeparationOfCompileAndCheck-20230524.12.22.565643-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-eyalh-separationofcompileandcheck/) (requires-python:>=3.8.16) 2023-05-24T13:15:05,514 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-eyalh-separationofcompileandcheck/ 2023-05-24T13:15:05,514 Getting page https://www.piwheels.org/simple/certora-cli-alpha-eyalh-separationofcompileandcheck/ 2023-05-24T13:15:05,515 Found index url https://www.piwheels.org/simple/ 2023-05-24T13:15:05,680 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-eyalh-separationofcompileandcheck/ as text/html 2023-05-24T13:15:05,682 Skipping link: No binaries permitted for certora-cli-alpha-eyalh-separationofcompileandcheck: https://www.piwheels.org/simple/certora-cli-alpha-eyalh-separationofcompileandcheck/certora_cli_alpha_EyalH_SeparationOfCompileAndCheck-20230523.17.4.94537-py3-none-any.whl#sha256=e375f4dd00e97c0264e4d664ac74119b900987540db292da25b8cad72eac8e84 (from https://www.piwheels.org/simple/certora-cli-alpha-eyalh-separationofcompileandcheck/) (requires-python:>=3.8.16) 2023-05-24T13:15:05,682 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-eyalh-separationofcompileandcheck/ 2023-05-24T13:15:05,682 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-eyalh-separationofcompileandcheck/ 2023-05-24T13:15:05,699 Given no hashes to check 1 links for project 'certora-cli-alpha-eyalh-separationofcompileandcheck': discarding no candidates 2023-05-24T13:15:05,716 Collecting certora-cli-alpha-eyalh-separationofcompileandcheck==20230524.12.22.565643 2023-05-24T13:15:05,718 Created temporary directory: /tmp/pip-unpack-zilqb1ob 2023-05-24T13:15:06,112 Downloading certora-cli-alpha-EyalH-SeparationOfCompileAndCheck-20230524.12.22.565643.tar.gz (39.0 MB) 2023-05-24T13:15:16,193 Added certora-cli-alpha-eyalh-separationofcompileandcheck==20230524.12.22.565643 from https://files.pythonhosted.org/packages/88/7e/89e06ca1b36b3f65649b9f0e235e7b2fa65bdffbf00c72a7a95f51b56daf/certora-cli-alpha-EyalH-SeparationOfCompileAndCheck-20230524.12.22.565643.tar.gz to build tracker '/tmp/pip-build-tracker-008546_b' 2023-05-24T13:15:16,195 Running setup.py (path:/tmp/pip-wheel-2d3gcdxq/certora-cli-alpha-eyalh-separationofcompileandcheck_cf989665eaa24a17922a3c9731925c58/setup.py) egg_info for package certora-cli-alpha-eyalh-separationofcompileandcheck 2023-05-24T13:15:16,196 Created temporary directory: /tmp/pip-pip-egg-info-51_eijua 2023-05-24T13:15:16,196 Preparing metadata (setup.py): started 2023-05-24T13:15:16,197 Running command python setup.py egg_info 2023-05-24T13:15:16,982 running egg_info 2023-05-24T13:15:16,983 creating /tmp/pip-pip-egg-info-51_eijua/certora_cli_alpha_EyalH_SeparationOfCompileAndCheck.egg-info 2023-05-24T13:15:17,012 writing /tmp/pip-pip-egg-info-51_eijua/certora_cli_alpha_EyalH_SeparationOfCompileAndCheck.egg-info/PKG-INFO 2023-05-24T13:15:17,014 writing dependency_links to /tmp/pip-pip-egg-info-51_eijua/certora_cli_alpha_EyalH_SeparationOfCompileAndCheck.egg-info/dependency_links.txt 2023-05-24T13:15:17,016 writing entry points to /tmp/pip-pip-egg-info-51_eijua/certora_cli_alpha_EyalH_SeparationOfCompileAndCheck.egg-info/entry_points.txt 2023-05-24T13:15:17,017 writing requirements to /tmp/pip-pip-egg-info-51_eijua/certora_cli_alpha_EyalH_SeparationOfCompileAndCheck.egg-info/requires.txt 2023-05-24T13:15:17,018 writing top-level names to /tmp/pip-pip-egg-info-51_eijua/certora_cli_alpha_EyalH_SeparationOfCompileAndCheck.egg-info/top_level.txt 2023-05-24T13:15:17,020 writing manifest file '/tmp/pip-pip-egg-info-51_eijua/certora_cli_alpha_EyalH_SeparationOfCompileAndCheck.egg-info/SOURCES.txt' 2023-05-24T13:15:17,105 reading manifest file '/tmp/pip-pip-egg-info-51_eijua/certora_cli_alpha_EyalH_SeparationOfCompileAndCheck.egg-info/SOURCES.txt' 2023-05-24T13:15:17,107 reading manifest template 'MANIFEST.in' 2023-05-24T13:15:17,116 adding license file 'LICENSE' 2023-05-24T13:15:17,120 writing manifest file '/tmp/pip-pip-egg-info-51_eijua/certora_cli_alpha_EyalH_SeparationOfCompileAndCheck.egg-info/SOURCES.txt' 2023-05-24T13:15:17,179 Preparing metadata (setup.py): finished with status 'done' 2023-05-24T13:15:17,185 Source in /tmp/pip-wheel-2d3gcdxq/certora-cli-alpha-eyalh-separationofcompileandcheck_cf989665eaa24a17922a3c9731925c58 has version 20230524.12.22.565643, which satisfies requirement certora-cli-alpha-eyalh-separationofcompileandcheck==20230524.12.22.565643 from https://files.pythonhosted.org/packages/88/7e/89e06ca1b36b3f65649b9f0e235e7b2fa65bdffbf00c72a7a95f51b56daf/certora-cli-alpha-EyalH-SeparationOfCompileAndCheck-20230524.12.22.565643.tar.gz 2023-05-24T13:15:17,186 Removed certora-cli-alpha-eyalh-separationofcompileandcheck==20230524.12.22.565643 from https://files.pythonhosted.org/packages/88/7e/89e06ca1b36b3f65649b9f0e235e7b2fa65bdffbf00c72a7a95f51b56daf/certora-cli-alpha-EyalH-SeparationOfCompileAndCheck-20230524.12.22.565643.tar.gz from build tracker '/tmp/pip-build-tracker-008546_b' 2023-05-24T13:15:17,192 Created temporary directory: /tmp/pip-unpack-gzf9cjvr 2023-05-24T13:15:17,193 Building wheels for collected packages: certora-cli-alpha-eyalh-separationofcompileandcheck 2023-05-24T13:15:17,197 Created temporary directory: /tmp/pip-wheel-jfj72_e2 2023-05-24T13:15:17,197 Building wheel for certora-cli-alpha-eyalh-separationofcompileandcheck (setup.py): started 2023-05-24T13:15:17,198 Destination directory: /tmp/pip-wheel-jfj72_e2 2023-05-24T13:15:17,198 Running command python setup.py bdist_wheel 2023-05-24T13:15:17,826 running bdist_wheel 2023-05-24T13:15:18,107 running build 2023-05-24T13:15:18,107 running build_py 2023-05-24T13:15:18,135 creating build 2023-05-24T13:15:18,136 creating build/lib 2023-05-24T13:15:18,136 creating build/lib/certora_cli 2023-05-24T13:15:18,138 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-24T13:15:18,139 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-24T13:15:18,141 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-24T13:15:18,143 creating build/lib/certora_jars 2023-05-24T13:15:18,144 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-24T13:15:18,146 creating build/lib/certora_cli/Shared 2023-05-24T13:15:18,147 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-24T13:15:18,149 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-24T13:15:18,151 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-24T13:15:18,153 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-24T13:15:18,157 creating build/lib/certora_cli/EVMVerifier 2023-05-24T13:15:18,157 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-24T13:15:18,160 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-24T13:15:18,161 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-24T13:15:18,164 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-24T13:15:18,166 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-24T13:15:18,169 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-24T13:15:18,175 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-24T13:15:18,177 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-24T13:15:18,180 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-24T13:15:18,182 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-24T13:15:18,184 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-24T13:15:18,187 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-24T13:15:18,189 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-05-24T13:15:18,191 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-24T13:15:18,193 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-24T13:15:18,194 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-24T13:15:18,196 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-24T13:15:18,197 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-24T13:15:18,199 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-24T13:15:18,202 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-24T13:15:18,205 running egg_info 2023-05-24T13:15:18,264 writing certora_cli_alpha_EyalH_SeparationOfCompileAndCheck.egg-info/PKG-INFO 2023-05-24T13:15:18,266 writing dependency_links to certora_cli_alpha_EyalH_SeparationOfCompileAndCheck.egg-info/dependency_links.txt 2023-05-24T13:15:18,268 writing entry points to certora_cli_alpha_EyalH_SeparationOfCompileAndCheck.egg-info/entry_points.txt 2023-05-24T13:15:18,269 writing requirements to certora_cli_alpha_EyalH_SeparationOfCompileAndCheck.egg-info/requires.txt 2023-05-24T13:15:18,270 writing top-level names to certora_cli_alpha_EyalH_SeparationOfCompileAndCheck.egg-info/top_level.txt 2023-05-24T13:15:18,300 reading manifest file 'certora_cli_alpha_EyalH_SeparationOfCompileAndCheck.egg-info/SOURCES.txt' 2023-05-24T13:15:18,303 reading manifest template 'MANIFEST.in' 2023-05-24T13:15:18,311 adding license file 'LICENSE' 2023-05-24T13:15:18,315 writing manifest file 'certora_cli_alpha_EyalH_SeparationOfCompileAndCheck.egg-info/SOURCES.txt' 2023-05-24T13:15:18,318 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-24T13:15:18,320 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-24T13:15:18,543 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-24T13:15:18,697 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-24T13:15:18,887 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-24T13:15:18,982 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-24T13:15:19,077 /home/piwheels/.local/lib/python3.9/site-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-24T13:15:19,077 !! 2023-05-24T13:15:19,078 ******************************************************************************** 2023-05-24T13:15:19,078 Please avoid running ``setup.py`` directly. 2023-05-24T13:15:19,078 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-24T13:15:19,078 other standards-based tools. 2023-05-24T13:15:19,078 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-24T13:15:19,078 ******************************************************************************** 2023-05-24T13:15:19,079 !! 2023-05-24T13:15:19,079 self.initialize_options() 2023-05-24T13:15:19,105 installing to build/bdist.linux-armv7l/wheel 2023-05-24T13:15:19,105 running install 2023-05-24T13:15:19,130 running install_lib 2023-05-24T13:15:19,157 creating build/bdist.linux-armv7l 2023-05-24T13:15:19,158 creating build/bdist.linux-armv7l/wheel 2023-05-24T13:15:19,160 creating build/bdist.linux-armv7l/wheel/certora_cli 2023-05-24T13:15:19,161 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-24T13:15:19,162 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-24T13:15:19,165 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-24T13:15:19,167 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-24T13:15:19,171 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-24T13:15:19,174 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-24T13:15:19,176 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-24T13:15:19,178 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-24T13:15:19,182 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-24T13:15:19,183 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-24T13:15:19,187 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-24T13:15:19,188 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-24T13:15:19,190 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-24T13:15:19,192 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-24T13:15:19,194 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-24T13:15:19,197 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-24T13:15:19,199 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-24T13:15:19,201 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-24T13:15:19,204 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-24T13:15:19,206 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-24T13:15:19,209 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-24T13:15:19,215 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-24T13:15:19,217 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-24T13:15:19,220 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-24T13:15:19,222 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-24T13:15:19,224 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-24T13:15:19,228 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-24T13:15:19,229 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-24T13:15:19,231 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-24T13:15:19,233 creating build/bdist.linux-armv7l/wheel/certora_jars 2023-05-24T13:15:19,234 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-24T13:15:19,462 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-24T13:15:19,663 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-24T13:15:19,757 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-24T13:15:19,817 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-24T13:15:19,985 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-24T13:15:19,987 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-24T13:15:19,989 running install_egg_info 2023-05-24T13:15:20,020 Copying certora_cli_alpha_EyalH_SeparationOfCompileAndCheck.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_EyalH_SeparationOfCompileAndCheck-20230524.12.22.565643-py3.9.egg-info 2023-05-24T13:15:20,031 running install_scripts 2023-05-24T13:15:20,046 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_EyalH_SeparationOfCompileAndCheck-20230524.12.22.565643.dist-info/WHEEL 2023-05-24T13:15:20,049 creating '/tmp/pip-wheel-jfj72_e2/certora_cli_alpha_EyalH_SeparationOfCompileAndCheck-20230524.12.22.565643-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-05-24T13:15:20,052 adding 'certora_cli/__init__.py' 2023-05-24T13:15:20,053 adding 'certora_cli/certoraMutate.py' 2023-05-24T13:15:20,055 adding 'certora_cli/certoraRun.py' 2023-05-24T13:15:20,057 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-24T13:15:20,079 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-24T13:15:20,086 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-24T13:15:20,088 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-24T13:15:20,090 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-24T13:15:20,094 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-24T13:15:20,097 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-24T13:15:20,099 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-24T13:15:20,104 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-24T13:15:20,106 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-05-24T13:15:20,108 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-24T13:15:20,109 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-24T13:15:20,112 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-24T13:15:20,116 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-24T13:15:20,118 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-24T13:15:20,120 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-24T13:15:20,121 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-24T13:15:20,125 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-24T13:15:20,127 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-24T13:15:20,128 adding 'certora_cli/Shared/__init__.py' 2023-05-24T13:15:20,130 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-24T13:15:20,132 adding 'certora_cli/Shared/certoraTester.py' 2023-05-24T13:15:20,139 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-24T13:15:20,142 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-24T13:15:21,877 adding 'certora_jars/MutationTest.jar' 2023-05-24T13:15:23,219 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-24T13:15:24,818 adding 'certora_jars/Typechecker.jar' 2023-05-24T13:15:24,902 adding 'certora_jars/__init__.py' 2023-05-24T13:15:25,645 adding 'certora_jars/gambit-linux' 2023-05-24T13:15:26,309 adding 'certora_jars/gambit-macos' 2023-05-24T13:15:26,335 adding 'certora_cli_alpha_EyalH_SeparationOfCompileAndCheck-20230524.12.22.565643.dist-info/LICENSE' 2023-05-24T13:15:26,336 adding 'certora_cli_alpha_EyalH_SeparationOfCompileAndCheck-20230524.12.22.565643.dist-info/METADATA' 2023-05-24T13:15:26,337 adding 'certora_cli_alpha_EyalH_SeparationOfCompileAndCheck-20230524.12.22.565643.dist-info/WHEEL' 2023-05-24T13:15:26,338 adding 'certora_cli_alpha_EyalH_SeparationOfCompileAndCheck-20230524.12.22.565643.dist-info/entry_points.txt' 2023-05-24T13:15:26,339 adding 'certora_cli_alpha_EyalH_SeparationOfCompileAndCheck-20230524.12.22.565643.dist-info/top_level.txt' 2023-05-24T13:15:26,340 adding 'certora_cli_alpha_EyalH_SeparationOfCompileAndCheck-20230524.12.22.565643.dist-info/RECORD' 2023-05-24T13:15:26,759 removing build/bdist.linux-armv7l/wheel 2023-05-24T13:15:26,870 Building wheel for certora-cli-alpha-eyalh-separationofcompileandcheck (setup.py): finished with status 'done' 2023-05-24T13:15:27,708 Created wheel for certora-cli-alpha-eyalh-separationofcompileandcheck: filename=certora_cli_alpha_EyalH_SeparationOfCompileAndCheck-20230524.12.22.565643-py3-none-any.whl size=39010135 sha256=cc4f9f5bf05f22355e789f489a9b6bf50dc335749c2e2a916ecaf2ada15d17db 2023-05-24T13:15:27,709 Stored in directory: /tmp/pip-ephem-wheel-cache-zehzrgf9/wheels/de/00/18/5f599ad462635c58ff352806cc425a11f946054295439f0ec2 2023-05-24T13:15:27,733 Successfully built certora-cli-alpha-eyalh-separationofcompileandcheck 2023-05-24T13:15:28,700 Removed build tracker: '/tmp/pip-build-tracker-008546_b'