2023-05-14T08:11:33,680 Created temporary directory: /tmp/pip-build-tracker-bvft8ehg 2023-05-14T08:11:33,681 Initialized build tracking at /tmp/pip-build-tracker-bvft8ehg 2023-05-14T08:11:33,681 Created build tracker: /tmp/pip-build-tracker-bvft8ehg 2023-05-14T08:11:33,681 Entered build tracker: /tmp/pip-build-tracker-bvft8ehg 2023-05-14T08:11:33,682 Created temporary directory: /tmp/pip-wheel-pu1k6fgg 2023-05-14T08:11:33,686 Created temporary directory: /tmp/pip-ephem-wheel-cache-gq5c421f 2023-05-14T08:11:33,710 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-14T08:11:33,714 2 location(s) to search for versions of certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files: 2023-05-14T08:11:33,714 * https://pypi.org/simple/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files/ 2023-05-14T08:11:33,714 * https://www.piwheels.org/simple/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files/ 2023-05-14T08:11:33,715 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files/ 2023-05-14T08:11:33,716 Getting page https://pypi.org/simple/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files/ 2023-05-14T08:11:33,717 Found index url https://pypi.org/simple/ 2023-05-14T08:11:33,772 Fetched page https://pypi.org/simple/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files/ as application/vnd.pypi.simple.v1+json 2023-05-14T08:11:33,774 Found link https://files.pythonhosted.org/packages/2d/d2/9e5928fd00a5b8ef8ba03d6cb552c7ef69ff2508fcf634033c8d8bb81f1d/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files-20230502.7.40.713430.tar.gz (from https://pypi.org/simple/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files/) (requires-python:>=3.8.16), version: 20230502.7.40.713430 2023-05-14T08:11:33,775 Skipping link: No binaries permitted for certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files: https://files.pythonhosted.org/packages/d6/0d/c6b826726cd416e642f4723ef72f413536889bd73ae4f6a8c8d3cce3ff81/certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files-20230502.7.40.713430-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files/) (requires-python:>=3.8.16) 2023-05-14T08:11:33,775 Found link https://files.pythonhosted.org/packages/42/03/13b25ff08b714a8eb3024311d04112e0c5b3947135059a13ce3922b5f4cf/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files-20230509.8.42.562952.tar.gz (from https://pypi.org/simple/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files/) (requires-python:>=3.8.16), version: 20230509.8.42.562952 2023-05-14T08:11:33,775 Skipping link: No binaries permitted for certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files: https://files.pythonhosted.org/packages/94/ef/71e70215cf4e1921d8fc690339b92d14d8be282de328853302ab7723731b/certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files-20230509.8.42.562952-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files/) (requires-python:>=3.8.16) 2023-05-14T08:11:33,776 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files/ 2023-05-14T08:11:33,776 Getting page https://www.piwheels.org/simple/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files/ 2023-05-14T08:11:33,777 Found index url https://www.piwheels.org/simple/ 2023-05-14T08:11:33,958 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files/ as text/html 2023-05-14T08:11:33,960 Skipping link: No binaries permitted for certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files: https://www.piwheels.org/simple/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files/certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files-20230502.7.40.713430-py3-none-any.whl#sha256=865246f04a1e29bee33c38863ed33902dec7ded5ee0369ba489cd930ba367612 (from https://www.piwheels.org/simple/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files/) (requires-python:>=3.8.16) 2023-05-14T08:11:33,960 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files/ 2023-05-14T08:11:33,960 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files/ 2023-05-14T08:11:33,979 Given no hashes to check 1 links for project 'certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files': discarding no candidates 2023-05-14T08:11:33,996 Collecting certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files==20230509.8.42.562952 2023-05-14T08:11:33,998 Created temporary directory: /tmp/pip-unpack-c2irn79k 2023-05-14T08:11:34,131 Downloading certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files-20230509.8.42.562952.tar.gz (39.2 MB) 2023-05-14T08:11:45,175 Added certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files==20230509.8.42.562952 from https://files.pythonhosted.org/packages/42/03/13b25ff08b714a8eb3024311d04112e0c5b3947135059a13ce3922b5f4cf/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files-20230509.8.42.562952.tar.gz to build tracker '/tmp/pip-build-tracker-bvft8ehg' 2023-05-14T08:11:45,178 Running setup.py (path:/tmp/pip-wheel-pu1k6fgg/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files_df18fa558f104a21a9678fc584fea6ae/setup.py) egg_info for package certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files 2023-05-14T08:11:45,179 Created temporary directory: /tmp/pip-pip-egg-info-gy4vm_oj 2023-05-14T08:11:45,179 Preparing metadata (setup.py): started 2023-05-14T08:11:45,180 Running command python setup.py egg_info 2023-05-14T08:11:45,817 running egg_info 2023-05-14T08:11:45,818 creating /tmp/pip-pip-egg-info-gy4vm_oj/certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files.egg-info 2023-05-14T08:11:45,850 writing /tmp/pip-pip-egg-info-gy4vm_oj/certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files.egg-info/PKG-INFO 2023-05-14T08:11:45,852 writing dependency_links to /tmp/pip-pip-egg-info-gy4vm_oj/certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files.egg-info/dependency_links.txt 2023-05-14T08:11:45,855 writing entry points to /tmp/pip-pip-egg-info-gy4vm_oj/certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files.egg-info/entry_points.txt 2023-05-14T08:11:45,856 writing requirements to /tmp/pip-pip-egg-info-gy4vm_oj/certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files.egg-info/requires.txt 2023-05-14T08:11:45,858 writing top-level names to /tmp/pip-pip-egg-info-gy4vm_oj/certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files.egg-info/top_level.txt 2023-05-14T08:11:45,859 writing manifest file '/tmp/pip-pip-egg-info-gy4vm_oj/certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files.egg-info/SOURCES.txt' 2023-05-14T08:11:45,947 reading manifest file '/tmp/pip-pip-egg-info-gy4vm_oj/certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files.egg-info/SOURCES.txt' 2023-05-14T08:11:45,949 reading manifest template 'MANIFEST.in' 2023-05-14T08:11:45,958 adding license file 'LICENSE' 2023-05-14T08:11:45,962 writing manifest file '/tmp/pip-pip-egg-info-gy4vm_oj/certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files.egg-info/SOURCES.txt' 2023-05-14T08:11:46,022 Preparing metadata (setup.py): finished with status 'done' 2023-05-14T08:11:46,028 Source in /tmp/pip-wheel-pu1k6fgg/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files_df18fa558f104a21a9678fc584fea6ae has version 20230509.8.42.562952, which satisfies requirement certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files==20230509.8.42.562952 from https://files.pythonhosted.org/packages/42/03/13b25ff08b714a8eb3024311d04112e0c5b3947135059a13ce3922b5f4cf/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files-20230509.8.42.562952.tar.gz 2023-05-14T08:11:46,029 Removed certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files==20230509.8.42.562952 from https://files.pythonhosted.org/packages/42/03/13b25ff08b714a8eb3024311d04112e0c5b3947135059a13ce3922b5f4cf/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files-20230509.8.42.562952.tar.gz from build tracker '/tmp/pip-build-tracker-bvft8ehg' 2023-05-14T08:11:46,036 Created temporary directory: /tmp/pip-unpack-9nwdcm5s 2023-05-14T08:11:46,036 Building wheels for collected packages: certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files 2023-05-14T08:11:46,041 Created temporary directory: /tmp/pip-wheel-gypwne2z 2023-05-14T08:11:46,041 Building wheel for certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files (setup.py): started 2023-05-14T08:11:46,042 Destination directory: /tmp/pip-wheel-gypwne2z 2023-05-14T08:11:46,042 Running command python setup.py bdist_wheel 2023-05-14T08:11:46,879 running bdist_wheel 2023-05-14T08:11:47,170 running build 2023-05-14T08:11:47,170 running build_py 2023-05-14T08:11:47,200 creating build 2023-05-14T08:11:47,200 creating build/lib 2023-05-14T08:11:47,202 creating build/lib/certora_jars 2023-05-14T08:11:47,203 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-14T08:11:47,206 creating build/lib/certora_cli 2023-05-14T08:11:47,207 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-14T08:11:47,209 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-14T08:11:47,212 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-14T08:11:47,215 creating build/lib/certora_cli/EVMVerifier 2023-05-14T08:11:47,216 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T08:11:47,219 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T08:11:47,224 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T08:11:47,227 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T08:11:47,230 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T08:11:47,234 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T08:11:47,237 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T08:11:47,240 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T08:11:47,243 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T08:11:47,247 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T08:11:47,251 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T08:11:47,253 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T08:11:47,256 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T08:11:47,259 creating build/lib/certora_cli/Shared 2023-05-14T08:11:47,261 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-14T08:11:47,263 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-14T08:11:47,266 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-14T08:11:47,269 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-14T08:11:47,273 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T08:11:47,274 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T08:11:47,277 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T08:11:47,279 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T08:11:47,282 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T08:11:47,284 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T08:11:47,287 running egg_info 2023-05-14T08:11:47,349 writing certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files.egg-info/PKG-INFO 2023-05-14T08:11:47,351 writing dependency_links to certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files.egg-info/dependency_links.txt 2023-05-14T08:11:47,353 writing entry points to certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files.egg-info/entry_points.txt 2023-05-14T08:11:47,354 writing requirements to certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files.egg-info/requires.txt 2023-05-14T08:11:47,355 writing top-level names to certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files.egg-info/top_level.txt 2023-05-14T08:11:47,388 reading manifest file 'certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files.egg-info/SOURCES.txt' 2023-05-14T08:11:47,391 reading manifest template 'MANIFEST.in' 2023-05-14T08:11:47,400 adding license file 'LICENSE' 2023-05-14T08:11:47,405 writing manifest file 'certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files.egg-info/SOURCES.txt' 2023-05-14T08:11:47,408 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-14T08:11:47,410 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-14T08:11:47,612 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-14T08:11:47,769 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-14T08:11:47,960 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-14T08:11:48,082 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-14T08:11:48,207 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-14T08:11:48,207 !! 2023-05-14T08:11:48,208 ******************************************************************************** 2023-05-14T08:11:48,208 Please avoid running ``setup.py`` directly. 2023-05-14T08:11:48,208 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-14T08:11:48,208 other standards-based tools. 2023-05-14T08:11:48,208 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-14T08:11:48,208 ******************************************************************************** 2023-05-14T08:11:48,209 !! 2023-05-14T08:11:48,209 self.initialize_options() 2023-05-14T08:11:48,235 installing to build/bdist.linux-aarch64/wheel 2023-05-14T08:11:48,235 running install 2023-05-14T08:11:48,261 running install_lib 2023-05-14T08:11:48,288 creating build/bdist.linux-aarch64 2023-05-14T08:11:48,289 creating build/bdist.linux-aarch64/wheel 2023-05-14T08:11:48,291 creating build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T08:11:48,292 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T08:11:48,294 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T08:11:48,295 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T08:11:48,516 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T08:11:48,644 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T08:11:48,815 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T08:11:49,054 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T08:11:49,137 creating build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T08:11:49,138 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T08:11:49,140 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T08:11:49,143 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T08:11:49,145 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T08:11:49,147 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T08:11:49,149 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T08:11:49,155 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T08:11:49,157 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T08:11:49,160 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T08:11:49,163 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T08:11:49,166 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T08:11:49,169 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T08:11:49,171 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T08:11:49,172 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T08:11:49,174 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T08:11:49,176 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T08:11:49,178 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T08:11:49,181 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T08:11:49,184 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T08:11:49,187 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T08:11:49,190 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T08:11:49,192 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T08:11:49,194 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T08:11:49,197 creating build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T08:11:49,198 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T08:11:49,200 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T08:11:49,203 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T08:11:49,206 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T08:11:49,208 running install_egg_info 2023-05-14T08:11:49,239 Copying certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files-20230509.8.42.562952-py3.9.egg-info 2023-05-14T08:11:49,265 running install_scripts 2023-05-14T08:11:49,283 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-05-14T08:11:49,288 creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files-20230509.8.42.562952.dist-info/WHEEL 2023-05-14T08:11:49,290 creating '/tmp/pip-wheel-gypwne2z/certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files-20230509.8.42.562952-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it 2023-05-14T08:11:49,293 adding 'certora_cli/__init__.py' 2023-05-14T08:11:49,294 adding 'certora_cli/certoraMutate.py' 2023-05-14T08:11:49,297 adding 'certora_cli/certoraRun.py' 2023-05-14T08:11:49,299 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-14T08:11:49,320 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-14T08:11:49,327 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-14T08:11:49,330 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-14T08:11:49,331 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-14T08:11:49,336 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-14T08:11:49,339 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-14T08:11:49,341 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-14T08:11:49,347 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-14T08:11:49,349 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-14T08:11:49,351 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-14T08:11:49,353 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-14T08:11:49,357 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-14T08:11:49,360 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-14T08:11:49,361 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-14T08:11:49,363 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-14T08:11:49,367 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-14T08:11:49,369 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-14T08:11:49,371 adding 'certora_cli/Shared/__init__.py' 2023-05-14T08:11:49,373 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-14T08:11:49,375 adding 'certora_cli/Shared/certoraTester.py' 2023-05-14T08:11:49,381 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-14T08:11:49,385 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-14T08:11:51,008 adding 'certora_jars/MutationTest.jar' 2023-05-14T08:11:52,315 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-14T08:11:53,845 adding 'certora_jars/Typechecker.jar' 2023-05-14T08:11:53,928 adding 'certora_jars/__init__.py' 2023-05-14T08:11:54,784 adding 'certora_jars/gambit-linux' 2023-05-14T08:11:55,641 adding 'certora_jars/gambit-macos' 2023-05-14T08:11:55,676 adding 'certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files-20230509.8.42.562952.dist-info/LICENSE' 2023-05-14T08:11:55,678 adding 'certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files-20230509.8.42.562952.dist-info/METADATA' 2023-05-14T08:11:55,679 adding 'certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files-20230509.8.42.562952.dist-info/WHEEL' 2023-05-14T08:11:55,680 adding 'certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files-20230509.8.42.562952.dist-info/entry_points.txt' 2023-05-14T08:11:55,681 adding 'certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files-20230509.8.42.562952.dist-info/top_level.txt' 2023-05-14T08:11:55,682 adding 'certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files-20230509.8.42.562952.dist-info/RECORD' 2023-05-14T08:11:56,109 removing build/bdist.linux-aarch64/wheel 2023-05-14T08:11:56,233 Building wheel for certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files (setup.py): finished with status 'done' 2023-05-14T08:11:56,559 Created wheel for certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files: filename=certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files-20230509.8.42.562952-py3-none-any.whl size=39252857 sha256=e4b2427c36b1f9e1aea5b1e4077fb9d88f5c7b8cc4fc5db4aaeb0d16abfcb8ad 2023-05-14T08:11:56,560 Stored in directory: /tmp/pip-ephem-wheel-cache-gq5c421f/wheels/67/08/bd/73dd7a51f9b6fba4689e98f8d178b23584e999a0034c7c0b0e 2023-05-14T08:11:56,590 Successfully built certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files 2023-05-14T08:11:57,787 Removed build tracker: '/tmp/pip-build-tracker-bvft8ehg'