2023-05-14T14:46:22,544 Created temporary directory: /tmp/pip-build-tracker-en789_rb 2023-05-14T14:46:22,545 Initialized build tracking at /tmp/pip-build-tracker-en789_rb 2023-05-14T14:46:22,546 Created build tracker: /tmp/pip-build-tracker-en789_rb 2023-05-14T14:46:22,546 Entered build tracker: /tmp/pip-build-tracker-en789_rb 2023-05-14T14:46:22,546 Created temporary directory: /tmp/pip-wheel-vz5fe97d 2023-05-14T14:46:22,550 Created temporary directory: /tmp/pip-ephem-wheel-cache-dv8ler3a 2023-05-14T14:46:22,574 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-14T14:46:22,578 2 location(s) to search for versions of certora-cli-alpha-uri-broaden-server: 2023-05-14T14:46:22,578 * https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-14T14:46:22,578 * https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-14T14:46:22,578 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-14T14:46:22,579 Getting page https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-14T14:46:22,581 Found index url https://pypi.org/simple/ 2023-05-14T14:46:22,634 Fetched page https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/ as application/vnd.pypi.simple.v1+json 2023-05-14T14:46:22,636 Found link https://files.pythonhosted.org/packages/46/52/a79d7eea65ed4f07e028b4c9648f83f3222c6da99f1175f0d2e1a872c08d/certora-cli-alpha-uri-broaden_server-20230510.21.4.35636.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16), version: 20230510.21.4.35636 2023-05-14T14:46:22,636 Skipping link: No binaries permitted for certora-cli-alpha-uri-broaden-server: https://files.pythonhosted.org/packages/eb/60/6c0f90e9e6efd60f268da78f72737477ca63d51e5d73f626aac88a27f81d/certora_cli_alpha_uri_broaden_server-20230510.21.4.35636-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-14T14:46:22,637 Found link https://files.pythonhosted.org/packages/44/78/6af44b1d8150d48a3463c16d53280d3cb192e5f405abdb66696e3639e7bc/certora-cli-alpha-uri-broaden_server-20230511.7.23.881884.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16), version: 20230511.7.23.881884 2023-05-14T14:46:22,637 Skipping link: No binaries permitted for certora-cli-alpha-uri-broaden-server: https://files.pythonhosted.org/packages/3f/77/75ddc3949e60db3549cb29a75289a919b3a048ac5a269311c1db2dbe48a8/certora_cli_alpha_uri_broaden_server-20230511.7.23.881884-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-14T14:46:22,638 Found link https://files.pythonhosted.org/packages/13/c5/2751c4205ab0130a28a9ee8954df376d55f9fec7b50814957db993d3c19e/certora-cli-alpha-uri-broaden_server-20230511.16.10.287047.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16), version: 20230511.16.10.287047 2023-05-14T14:46:22,638 Skipping link: No binaries permitted for certora-cli-alpha-uri-broaden-server: https://files.pythonhosted.org/packages/16/ea/cc76925ecaa3c91d5391f6940c7e41f896be8da73c7ea8e6638a830bfe36/certora_cli_alpha_uri_broaden_server-20230511.16.10.287047-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-14T14:46:22,639 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-14T14:46:22,639 Getting page https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-14T14:46:22,640 Found index url https://www.piwheels.org/simple/ 2023-05-14T14:46:22,849 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/ as text/html 2023-05-14T14:46:22,850 Skipping link: No binaries permitted for certora-cli-alpha-uri-broaden-server: https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/certora_cli_alpha_uri_broaden_server-20230510.21.4.35636-py3-none-any.whl#sha256=ae9bffa035c5a7146c9edf280c0008b3180924d40d43656ddf15a772f8649732 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-14T14:46:22,851 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-14T14:46:22,851 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-14T14:46:22,869 Given no hashes to check 1 links for project 'certora-cli-alpha-uri-broaden-server': discarding no candidates 2023-05-14T14:46:22,887 Collecting certora-cli-alpha-uri-broaden-server==20230511.7.23.881884 2023-05-14T14:46:22,889 Created temporary directory: /tmp/pip-unpack-zpxjufde 2023-05-14T14:46:22,935 Downloading certora-cli-alpha-uri-broaden_server-20230511.7.23.881884.tar.gz (39.4 MB) 2023-05-14T14:46:27,756 Added certora-cli-alpha-uri-broaden-server==20230511.7.23.881884 from https://files.pythonhosted.org/packages/44/78/6af44b1d8150d48a3463c16d53280d3cb192e5f405abdb66696e3639e7bc/certora-cli-alpha-uri-broaden_server-20230511.7.23.881884.tar.gz to build tracker '/tmp/pip-build-tracker-en789_rb' 2023-05-14T14:46:27,758 Running setup.py (path:/tmp/pip-wheel-vz5fe97d/certora-cli-alpha-uri-broaden-server_6bdb90561ff84c16b9eaea91176d7651/setup.py) egg_info for package certora-cli-alpha-uri-broaden-server 2023-05-14T14:46:27,758 Created temporary directory: /tmp/pip-pip-egg-info-3vtleus2 2023-05-14T14:46:27,759 Preparing metadata (setup.py): started 2023-05-14T14:46:27,760 Running command python setup.py egg_info 2023-05-14T14:46:28,371 running egg_info 2023-05-14T14:46:28,373 creating /tmp/pip-pip-egg-info-3vtleus2/certora_cli_alpha_uri_broaden_server.egg-info 2023-05-14T14:46:28,399 writing /tmp/pip-pip-egg-info-3vtleus2/certora_cli_alpha_uri_broaden_server.egg-info/PKG-INFO 2023-05-14T14:46:28,401 writing dependency_links to /tmp/pip-pip-egg-info-3vtleus2/certora_cli_alpha_uri_broaden_server.egg-info/dependency_links.txt 2023-05-14T14:46:28,403 writing entry points to /tmp/pip-pip-egg-info-3vtleus2/certora_cli_alpha_uri_broaden_server.egg-info/entry_points.txt 2023-05-14T14:46:28,404 writing requirements to /tmp/pip-pip-egg-info-3vtleus2/certora_cli_alpha_uri_broaden_server.egg-info/requires.txt 2023-05-14T14:46:28,405 writing top-level names to /tmp/pip-pip-egg-info-3vtleus2/certora_cli_alpha_uri_broaden_server.egg-info/top_level.txt 2023-05-14T14:46:28,407 writing manifest file '/tmp/pip-pip-egg-info-3vtleus2/certora_cli_alpha_uri_broaden_server.egg-info/SOURCES.txt' 2023-05-14T14:46:28,493 reading manifest file '/tmp/pip-pip-egg-info-3vtleus2/certora_cli_alpha_uri_broaden_server.egg-info/SOURCES.txt' 2023-05-14T14:46:28,495 reading manifest template 'MANIFEST.in' 2023-05-14T14:46:28,505 adding license file 'LICENSE' 2023-05-14T14:46:28,508 writing manifest file '/tmp/pip-pip-egg-info-3vtleus2/certora_cli_alpha_uri_broaden_server.egg-info/SOURCES.txt' 2023-05-14T14:46:28,568 Preparing metadata (setup.py): finished with status 'done' 2023-05-14T14:46:28,574 Source in /tmp/pip-wheel-vz5fe97d/certora-cli-alpha-uri-broaden-server_6bdb90561ff84c16b9eaea91176d7651 has version 20230511.7.23.881884, which satisfies requirement certora-cli-alpha-uri-broaden-server==20230511.7.23.881884 from https://files.pythonhosted.org/packages/44/78/6af44b1d8150d48a3463c16d53280d3cb192e5f405abdb66696e3639e7bc/certora-cli-alpha-uri-broaden_server-20230511.7.23.881884.tar.gz 2023-05-14T14:46:28,575 Removed certora-cli-alpha-uri-broaden-server==20230511.7.23.881884 from https://files.pythonhosted.org/packages/44/78/6af44b1d8150d48a3463c16d53280d3cb192e5f405abdb66696e3639e7bc/certora-cli-alpha-uri-broaden_server-20230511.7.23.881884.tar.gz from build tracker '/tmp/pip-build-tracker-en789_rb' 2023-05-14T14:46:28,582 Created temporary directory: /tmp/pip-unpack-sotn27_o 2023-05-14T14:46:28,582 Building wheels for collected packages: certora-cli-alpha-uri-broaden-server 2023-05-14T14:46:28,587 Created temporary directory: /tmp/pip-wheel-73ye_v04 2023-05-14T14:46:28,587 Building wheel for certora-cli-alpha-uri-broaden-server (setup.py): started 2023-05-14T14:46:28,588 Destination directory: /tmp/pip-wheel-73ye_v04 2023-05-14T14:46:28,589 Running command python setup.py bdist_wheel 2023-05-14T14:46:29,434 running bdist_wheel 2023-05-14T14:46:29,720 running build 2023-05-14T14:46:29,721 running build_py 2023-05-14T14:46:29,750 creating build 2023-05-14T14:46:29,750 creating build/lib 2023-05-14T14:46:29,751 creating build/lib/certora_jars 2023-05-14T14:46:29,752 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-14T14:46:29,755 creating build/lib/certora_cli 2023-05-14T14:46:29,755 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-14T14:46:29,757 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-14T14:46:29,759 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-14T14:46:29,762 creating build/lib/certora_cli/EVMVerifier 2023-05-14T14:46:29,763 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T14:46:29,765 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T14:46:29,770 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T14:46:29,772 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T14:46:29,775 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T14:46:29,778 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T14:46:29,781 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T14:46:29,784 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T14:46:29,786 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T14:46:29,788 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T14:46:29,791 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T14:46:29,794 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T14:46:29,796 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T14:46:29,798 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T14:46:29,801 creating build/lib/certora_cli/Shared 2023-05-14T14:46:29,802 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-14T14:46:29,804 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-14T14:46:29,807 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-14T14:46:29,810 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-14T14:46:29,814 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T14:46:29,814 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T14:46:29,817 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T14:46:29,819 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T14:46:29,821 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T14:46:29,823 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T14:46:29,826 running egg_info 2023-05-14T14:46:29,887 writing certora_cli_alpha_uri_broaden_server.egg-info/PKG-INFO 2023-05-14T14:46:29,889 writing dependency_links to certora_cli_alpha_uri_broaden_server.egg-info/dependency_links.txt 2023-05-14T14:46:29,891 writing entry points to certora_cli_alpha_uri_broaden_server.egg-info/entry_points.txt 2023-05-14T14:46:29,893 writing requirements to certora_cli_alpha_uri_broaden_server.egg-info/requires.txt 2023-05-14T14:46:29,894 writing top-level names to certora_cli_alpha_uri_broaden_server.egg-info/top_level.txt 2023-05-14T14:46:29,927 reading manifest file 'certora_cli_alpha_uri_broaden_server.egg-info/SOURCES.txt' 2023-05-14T14:46:29,929 reading manifest template 'MANIFEST.in' 2023-05-14T14:46:29,939 adding license file 'LICENSE' 2023-05-14T14:46:29,943 writing manifest file 'certora_cli_alpha_uri_broaden_server.egg-info/SOURCES.txt' 2023-05-14T14:46:29,946 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-14T14:46:29,948 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-14T14:46:30,157 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-14T14:46:30,335 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-14T14:46:30,539 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-14T14:46:30,665 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-14T14:46:30,788 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-14T14:46:30,789 !! 2023-05-14T14:46:30,789 ******************************************************************************** 2023-05-14T14:46:30,789 Please avoid running ``setup.py`` directly. 2023-05-14T14:46:30,789 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-14T14:46:30,789 other standards-based tools. 2023-05-14T14:46:30,790 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-14T14:46:30,790 ******************************************************************************** 2023-05-14T14:46:30,790 !! 2023-05-14T14:46:30,790 self.initialize_options() 2023-05-14T14:46:30,817 installing to build/bdist.linux-aarch64/wheel 2023-05-14T14:46:30,818 running install 2023-05-14T14:46:30,844 running install_lib 2023-05-14T14:46:30,872 creating build/bdist.linux-aarch64 2023-05-14T14:46:30,873 creating build/bdist.linux-aarch64/wheel 2023-05-14T14:46:30,875 creating build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T14:46:30,876 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T14:46:30,878 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T14:46:30,880 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T14:46:31,096 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T14:46:31,213 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T14:46:31,413 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T14:46:31,646 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T14:46:31,759 creating build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T14:46:31,760 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T14:46:31,762 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T14:46:31,765 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T14:46:31,767 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T14:46:31,768 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T14:46:31,770 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T14:46:31,776 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T14:46:31,778 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T14:46:31,781 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T14:46:31,785 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T14:46:31,788 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T14:46:31,791 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T14:46:31,794 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T14:46:31,797 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T14:46:31,798 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T14:46:31,800 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T14:46:31,803 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T14:46:31,805 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T14:46:31,808 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T14:46:31,811 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T14:46:31,815 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T14:46:31,819 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T14:46:31,821 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T14:46:31,824 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T14:46:31,827 creating build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T14:46:31,829 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T14:46:31,831 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T14:46:31,834 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T14:46:31,838 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T14:46:31,840 running install_egg_info 2023-05-14T14:46:31,872 Copying certora_cli_alpha_uri_broaden_server.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_uri_broaden_server-20230511.7.23.881884-py3.9.egg-info 2023-05-14T14:46:31,885 running install_scripts 2023-05-14T14:46:31,903 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-05-14T14:46:31,908 creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_uri_broaden_server-20230511.7.23.881884.dist-info/WHEEL 2023-05-14T14:46:31,911 creating '/tmp/pip-wheel-73ye_v04/certora_cli_alpha_uri_broaden_server-20230511.7.23.881884-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it 2023-05-14T14:46:31,914 adding 'certora_cli/__init__.py' 2023-05-14T14:46:31,916 adding 'certora_cli/certoraMutate.py' 2023-05-14T14:46:31,918 adding 'certora_cli/certoraRun.py' 2023-05-14T14:46:31,921 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-14T14:46:31,943 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-14T14:46:31,950 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-14T14:46:31,953 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-14T14:46:31,955 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-14T14:46:31,960 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-14T14:46:31,964 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-14T14:46:31,966 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-14T14:46:31,971 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-14T14:46:31,973 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-05-14T14:46:31,975 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-14T14:46:31,977 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-14T14:46:31,980 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-14T14:46:31,983 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-14T14:46:31,986 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-14T14:46:31,988 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-14T14:46:31,989 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-14T14:46:31,993 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-14T14:46:31,995 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-14T14:46:31,997 adding 'certora_cli/Shared/__init__.py' 2023-05-14T14:46:31,999 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-14T14:46:32,001 adding 'certora_cli/Shared/certoraTester.py' 2023-05-14T14:46:32,008 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-14T14:46:32,011 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-14T14:46:33,653 adding 'certora_jars/MutationTest.jar' 2023-05-14T14:46:34,964 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-14T14:46:36,511 adding 'certora_jars/Typechecker.jar' 2023-05-14T14:46:36,595 adding 'certora_jars/__init__.py' 2023-05-14T14:46:37,458 adding 'certora_jars/gambit-linux' 2023-05-14T14:46:38,322 adding 'certora_jars/gambit-macos' 2023-05-14T14:46:38,358 adding 'certora_cli_alpha_uri_broaden_server-20230511.7.23.881884.dist-info/LICENSE' 2023-05-14T14:46:38,360 adding 'certora_cli_alpha_uri_broaden_server-20230511.7.23.881884.dist-info/METADATA' 2023-05-14T14:46:38,361 adding 'certora_cli_alpha_uri_broaden_server-20230511.7.23.881884.dist-info/WHEEL' 2023-05-14T14:46:38,362 adding 'certora_cli_alpha_uri_broaden_server-20230511.7.23.881884.dist-info/entry_points.txt' 2023-05-14T14:46:38,363 adding 'certora_cli_alpha_uri_broaden_server-20230511.7.23.881884.dist-info/top_level.txt' 2023-05-14T14:46:38,364 adding 'certora_cli_alpha_uri_broaden_server-20230511.7.23.881884.dist-info/RECORD' 2023-05-14T14:46:38,891 removing build/bdist.linux-aarch64/wheel 2023-05-14T14:46:39,015 Building wheel for certora-cli-alpha-uri-broaden-server (setup.py): finished with status 'done' 2023-05-14T14:46:39,344 Created wheel for certora-cli-alpha-uri-broaden-server: filename=certora_cli_alpha_uri_broaden_server-20230511.7.23.881884-py3-none-any.whl size=39462923 sha256=31c0973b33dd15d892a09c46dc5c8ebd91c99d54b2d21036b40ddde7d7773912 2023-05-14T14:46:39,345 Stored in directory: /tmp/pip-ephem-wheel-cache-dv8ler3a/wheels/20/17/9a/0d7acad4374ba19a146c20500cd26b21e7192b1e294c4c443d 2023-05-14T14:46:39,375 Successfully built certora-cli-alpha-uri-broaden-server 2023-05-14T14:46:40,392 Removed build tracker: '/tmp/pip-build-tracker-en789_rb'