2023-05-13T17:06:42,955 Created temporary directory: /tmp/pip-build-tracker-3nryxut1 2023-05-13T17:06:42,956 Initialized build tracking at /tmp/pip-build-tracker-3nryxut1 2023-05-13T17:06:42,956 Created build tracker: /tmp/pip-build-tracker-3nryxut1 2023-05-13T17:06:42,957 Entered build tracker: /tmp/pip-build-tracker-3nryxut1 2023-05-13T17:06:42,957 Created temporary directory: /tmp/pip-wheel-94kljdz9 2023-05-13T17:06:42,961 Created temporary directory: /tmp/pip-ephem-wheel-cache-u5r87d64 2023-05-13T17:06:42,986 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-13T17:06:42,990 2 location(s) to search for versions of certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files: 2023-05-13T17:06:42,990 * https://pypi.org/simple/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files/ 2023-05-13T17:06:42,990 * https://www.piwheels.org/simple/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files/ 2023-05-13T17:06:42,990 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files/ 2023-05-13T17:06:42,991 Getting page https://pypi.org/simple/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files/ 2023-05-13T17:06:42,993 Found index url https://pypi.org/simple/ 2023-05-13T17:06:43,045 Fetched page https://pypi.org/simple/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files/ as application/vnd.pypi.simple.v1+json 2023-05-13T17:06:43,047 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-13T17:06:43,047 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-13T17:06:43,048 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-13T17:06:43,048 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-13T17:06:43,048 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files/ 2023-05-13T17:06:43,049 Getting page https://www.piwheels.org/simple/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files/ 2023-05-13T17:06:43,050 Found index url https://www.piwheels.org/simple/ 2023-05-13T17:06:43,249 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files/ as text/html 2023-05-13T17:06:43,250 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-20230509.8.42.562952-py3-none-any.whl#sha256=1359a08e0ac028f8f5ff08a543739d54fc53e3a86e3885187cc5d7d798c5aaa5 (from https://www.piwheels.org/simple/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files/) (requires-python:>=3.8.16) 2023-05-13T17:06:43,251 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=6faeb269d3788fae9a4116674bba834660863304f3e9cc143db196f5546d5308 (from https://www.piwheels.org/simple/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files/) (requires-python:>=3.8.16) 2023-05-13T17:06:43,251 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files/ 2023-05-13T17:06:43,251 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files/ 2023-05-13T17:06:43,268 Given no hashes to check 1 links for project 'certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files': discarding no candidates 2023-05-13T17:06:43,284 Collecting certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files==20230502.7.40.713430 2023-05-13T17:06:43,287 Created temporary directory: /tmp/pip-unpack-73qkfgy7 2023-05-13T17:06:43,672 Downloading certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files-20230502.7.40.713430.tar.gz (38.3 MB) 2023-05-13T17:06:53,094 Added certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files==20230502.7.40.713430 from https://files.pythonhosted.org/packages/2d/d2/9e5928fd00a5b8ef8ba03d6cb552c7ef69ff2508fcf634033c8d8bb81f1d/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files-20230502.7.40.713430.tar.gz to build tracker '/tmp/pip-build-tracker-3nryxut1' 2023-05-13T17:06:53,096 Running setup.py (path:/tmp/pip-wheel-94kljdz9/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files_59887d8da82c40bfbcc385176104766a/setup.py) egg_info for package certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files 2023-05-13T17:06:53,097 Created temporary directory: /tmp/pip-pip-egg-info-eth9c41i 2023-05-13T17:06:53,097 Preparing metadata (setup.py): started 2023-05-13T17:06:53,098 Running command python setup.py egg_info 2023-05-13T17:06:53,738 running egg_info 2023-05-13T17:06:53,739 creating /tmp/pip-pip-egg-info-eth9c41i/certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files.egg-info 2023-05-13T17:06:53,764 writing /tmp/pip-pip-egg-info-eth9c41i/certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files.egg-info/PKG-INFO 2023-05-13T17:06:53,767 writing dependency_links to /tmp/pip-pip-egg-info-eth9c41i/certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files.egg-info/dependency_links.txt 2023-05-13T17:06:53,769 writing entry points to /tmp/pip-pip-egg-info-eth9c41i/certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files.egg-info/entry_points.txt 2023-05-13T17:06:53,770 writing requirements to /tmp/pip-pip-egg-info-eth9c41i/certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files.egg-info/requires.txt 2023-05-13T17:06:53,771 writing top-level names to /tmp/pip-pip-egg-info-eth9c41i/certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files.egg-info/top_level.txt 2023-05-13T17:06:53,773 writing manifest file '/tmp/pip-pip-egg-info-eth9c41i/certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files.egg-info/SOURCES.txt' 2023-05-13T17:06:53,855 reading manifest file '/tmp/pip-pip-egg-info-eth9c41i/certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files.egg-info/SOURCES.txt' 2023-05-13T17:06:53,857 reading manifest template 'MANIFEST.in' 2023-05-13T17:06:53,867 adding license file 'LICENSE' 2023-05-13T17:06:53,871 writing manifest file '/tmp/pip-pip-egg-info-eth9c41i/certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files.egg-info/SOURCES.txt' 2023-05-13T17:06:53,932 Preparing metadata (setup.py): finished with status 'done' 2023-05-13T17:06:53,938 Source in /tmp/pip-wheel-94kljdz9/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files_59887d8da82c40bfbcc385176104766a has version 20230502.7.40.713430, which satisfies requirement certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files==20230502.7.40.713430 from https://files.pythonhosted.org/packages/2d/d2/9e5928fd00a5b8ef8ba03d6cb552c7ef69ff2508fcf634033c8d8bb81f1d/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files-20230502.7.40.713430.tar.gz 2023-05-13T17:06:53,939 Removed certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files==20230502.7.40.713430 from https://files.pythonhosted.org/packages/2d/d2/9e5928fd00a5b8ef8ba03d6cb552c7ef69ff2508fcf634033c8d8bb81f1d/certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files-20230502.7.40.713430.tar.gz from build tracker '/tmp/pip-build-tracker-3nryxut1' 2023-05-13T17:06:53,946 Created temporary directory: /tmp/pip-unpack-lgagxv5z 2023-05-13T17:06:53,946 Building wheels for collected packages: certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files 2023-05-13T17:06:53,950 Created temporary directory: /tmp/pip-wheel-25eo7nsx 2023-05-13T17:06:53,951 Building wheel for certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files (setup.py): started 2023-05-13T17:06:53,952 Destination directory: /tmp/pip-wheel-25eo7nsx 2023-05-13T17:06:53,952 Running command python setup.py bdist_wheel 2023-05-13T17:06:54,772 running bdist_wheel 2023-05-13T17:06:55,542 running build 2023-05-13T17:06:55,542 running build_py 2023-05-13T17:06:55,571 creating build 2023-05-13T17:06:55,571 creating build/lib 2023-05-13T17:06:55,572 creating build/lib/certora_jars 2023-05-13T17:06:55,573 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-13T17:06:55,575 creating build/lib/certora_cli 2023-05-13T17:06:55,576 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-13T17:06:55,578 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-13T17:06:55,581 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-13T17:06:55,583 creating build/lib/certora_cli/Shared 2023-05-13T17:06:55,584 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-13T17:06:55,587 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-13T17:06:55,588 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-13T17:06:55,591 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-13T17:06:55,595 creating build/lib/certora_cli/EVMVerifier 2023-05-13T17:06:55,596 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:06:55,599 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:06:55,603 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:06:55,606 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:06:55,608 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:06:55,611 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:06:55,613 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:06:55,616 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:06:55,619 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:06:55,627 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:06:55,629 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:06:55,632 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:06:55,634 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T17:06:55,637 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T17:06:55,638 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T17:06:55,640 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T17:06:55,642 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T17:06:55,645 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T17:06:55,647 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T17:06:55,649 running egg_info 2023-05-13T17:06:55,708 writing certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files.egg-info/PKG-INFO 2023-05-13T17:06:55,710 writing dependency_links to certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files.egg-info/dependency_links.txt 2023-05-13T17:06:55,712 writing entry points to certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files.egg-info/entry_points.txt 2023-05-13T17:06:55,714 writing requirements to certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files.egg-info/requires.txt 2023-05-13T17:06:55,715 writing top-level names to certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files.egg-info/top_level.txt 2023-05-13T17:06:55,745 reading manifest file 'certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files.egg-info/SOURCES.txt' 2023-05-13T17:06:55,747 reading manifest template 'MANIFEST.in' 2023-05-13T17:06:55,757 adding license file 'LICENSE' 2023-05-13T17:06:55,761 writing manifest file 'certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files.egg-info/SOURCES.txt' 2023-05-13T17:06:55,764 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-13T17:06:55,766 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-13T17:06:56,017 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-13T17:06:56,176 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-13T17:06:56,369 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-13T17:06:56,482 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-13T17:06:56,604 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-13T17:06:56,604 !! 2023-05-13T17:06:56,604 ******************************************************************************** 2023-05-13T17:06:56,604 Please avoid running ``setup.py`` directly. 2023-05-13T17:06:56,605 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-13T17:06:56,605 other standards-based tools. 2023-05-13T17:06:56,605 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-13T17:06:56,605 ******************************************************************************** 2023-05-13T17:06:56,605 !! 2023-05-13T17:06:56,606 self.initialize_options() 2023-05-13T17:06:56,630 installing to build/bdist.linux-aarch64/wheel 2023-05-13T17:06:56,630 running install 2023-05-13T17:06:56,657 running install_lib 2023-05-13T17:06:56,683 creating build/bdist.linux-aarch64 2023-05-13T17:06:56,684 creating build/bdist.linux-aarch64/wheel 2023-05-13T17:06:56,686 creating build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T17:06:56,687 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T17:06:56,915 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T17:06:56,917 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T17:06:57,105 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T17:06:57,188 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T17:06:57,298 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T17:06:57,300 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T17:06:57,465 creating build/bdist.linux-aarch64/wheel/certora_cli 2023-05-13T17:06:57,465 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-13T17:06:57,468 creating build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T17:06:57,469 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T17:06:57,471 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T17:06:57,473 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T17:06:57,476 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T17:06:57,479 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-13T17:06:57,482 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-13T17:06:57,484 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:06:57,485 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:06:57,489 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:06:57,492 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:06:57,495 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:06:57,497 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:06:57,500 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:06:57,502 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:06:57,504 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:06:57,509 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T17:06:57,510 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T17:06:57,512 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T17:06:57,514 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T17:06:57,518 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T17:06:57,520 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T17:06:57,523 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:06:57,528 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:06:57,531 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:06:57,534 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:06:57,536 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T17:06:57,538 running install_egg_info 2023-05-13T17:06:57,569 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-20230502.7.40.713430-py3.9.egg-info 2023-05-13T17:06:57,582 running install_scripts 2023-05-13T17:06:57,601 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-05-13T17:06:57,606 creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files-20230502.7.40.713430.dist-info/WHEEL 2023-05-13T17:06:57,609 creating '/tmp/pip-wheel-25eo7nsx/certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files-20230502.7.40.713430-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it 2023-05-13T17:06:57,611 adding 'certora_cli/__init__.py' 2023-05-13T17:06:57,613 adding 'certora_cli/certoraMutate.py' 2023-05-13T17:06:57,615 adding 'certora_cli/certoraRun.py' 2023-05-13T17:06:57,617 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-13T17:06:57,639 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-13T17:06:57,646 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-13T17:06:57,648 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-13T17:06:57,650 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-13T17:06:57,655 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-13T17:06:57,659 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-13T17:06:57,660 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-13T17:06:57,666 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-13T17:06:57,669 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-13T17:06:57,671 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-13T17:06:57,674 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-13T17:06:57,677 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-13T17:06:57,680 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-13T17:06:57,682 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-13T17:06:57,684 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-13T17:06:57,688 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-13T17:06:57,690 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-13T17:06:57,692 adding 'certora_cli/Shared/__init__.py' 2023-05-13T17:06:57,694 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-13T17:06:57,696 adding 'certora_cli/Shared/certoraTester.py' 2023-05-13T17:06:57,703 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-13T17:06:57,706 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-13T17:06:59,286 adding 'certora_jars/MutationTest.jar' 2023-05-13T17:07:00,596 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-13T17:07:02,079 adding 'certora_jars/Typechecker.jar' 2023-05-13T17:07:02,159 adding 'certora_jars/__init__.py' 2023-05-13T17:07:03,014 adding 'certora_jars/gambit-linux' 2023-05-13T17:07:03,873 adding 'certora_jars/gambit-macos' 2023-05-13T17:07:03,909 adding 'certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files-20230502.7.40.713430.dist-info/LICENSE' 2023-05-13T17:07:03,910 adding 'certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files-20230502.7.40.713430.dist-info/METADATA' 2023-05-13T17:07:03,911 adding 'certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files-20230502.7.40.713430.dist-info/WHEEL' 2023-05-13T17:07:03,912 adding 'certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files-20230502.7.40.713430.dist-info/entry_points.txt' 2023-05-13T17:07:03,913 adding 'certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files-20230502.7.40.713430.dist-info/top_level.txt' 2023-05-13T17:07:03,915 adding 'certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files-20230502.7.40.713430.dist-info/RECORD' 2023-05-13T17:07:04,671 removing build/bdist.linux-aarch64/wheel 2023-05-13T17:07:04,795 Building wheel for certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files (setup.py): finished with status 'done' 2023-05-13T17:07:05,122 Created wheel for certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files: filename=certora_cli_alpha_eyalf_diagnosability_codeowners_missing_files-20230502.7.40.713430-py3-none-any.whl size=38361995 sha256=865246f04a1e29bee33c38863ed33902dec7ded5ee0369ba489cd930ba367612 2023-05-13T17:07:05,123 Stored in directory: /tmp/pip-ephem-wheel-cache-u5r87d64/wheels/74/f4/58/858412e9a5b6858997a569f76ba0d49452fbbde22a91627c98 2023-05-13T17:07:05,152 Successfully built certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files 2023-05-13T17:07:06,169 Removed build tracker: '/tmp/pip-build-tracker-3nryxut1'