2023-05-14T13:36:03,168 Created temporary directory: /tmp/pip-build-tracker-or_lfwt5 2023-05-14T13:36:03,169 Initialized build tracking at /tmp/pip-build-tracker-or_lfwt5 2023-05-14T13:36:03,170 Created build tracker: /tmp/pip-build-tracker-or_lfwt5 2023-05-14T13:36:03,170 Entered build tracker: /tmp/pip-build-tracker-or_lfwt5 2023-05-14T13:36:03,170 Created temporary directory: /tmp/pip-wheel-25honcr_ 2023-05-14T13:36:03,174 Created temporary directory: /tmp/pip-ephem-wheel-cache-b7zbvv4p 2023-05-14T13:36:03,198 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-14T13:36:03,202 2 location(s) to search for versions of certora-cli-alpha-uri-broaden-server: 2023-05-14T13:36:03,202 * https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-14T13:36:03,202 * https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-14T13:36:03,202 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-14T13:36:03,203 Getting page https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-14T13:36:03,205 Found index url https://pypi.org/simple/ 2023-05-14T13:36:03,257 Fetched page https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/ as application/vnd.pypi.simple.v1+json 2023-05-14T13:36:03,260 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-14T13:36:03,260 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-14T13:36:03,261 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-14T13:36:03,261 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-14T13:36:03,261 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-14T13:36:03,262 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-14T13:36:03,262 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-14T13:36:03,262 Getting page https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-14T13:36:03,263 Found index url https://www.piwheels.org/simple/ 2023-05-14T13:36:03,427 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/ as text/html 2023-05-14T13:36:03,429 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-20230511.16.10.287047-py3-none-any.whl#sha256=325254eb216dfae9585c7ea279804387747f060a427502204351d095396deb1a (from https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-14T13:36:03,430 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-20230511.7.23.881884-py3-none-any.whl#sha256=cacb71db6f7b41784b103201025edd99a32a07e649074d36d0b8e7ca2cddcab7 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-14T13:36:03,430 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=2e200887f8239cdb46848c6bbffec0217402387518b1a306de86fb78a45ef21d (from https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-14T13:36:03,430 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-14T13:36:03,430 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-14T13:36:03,449 Given no hashes to check 1 links for project 'certora-cli-alpha-uri-broaden-server': discarding no candidates 2023-05-14T13:36:03,466 Collecting certora-cli-alpha-uri-broaden-server==20230510.21.4.35636 2023-05-14T13:36:03,469 Created temporary directory: /tmp/pip-unpack-pu_h5ixi 2023-05-14T13:36:03,516 Downloading certora-cli-alpha-uri-broaden_server-20230510.21.4.35636.tar.gz (39.2 MB) 2023-05-14T13:36:07,965 Added certora-cli-alpha-uri-broaden-server==20230510.21.4.35636 from https://files.pythonhosted.org/packages/46/52/a79d7eea65ed4f07e028b4c9648f83f3222c6da99f1175f0d2e1a872c08d/certora-cli-alpha-uri-broaden_server-20230510.21.4.35636.tar.gz to build tracker '/tmp/pip-build-tracker-or_lfwt5' 2023-05-14T13:36:07,967 Running setup.py (path:/tmp/pip-wheel-25honcr_/certora-cli-alpha-uri-broaden-server_4812eab9b4ee4f15b8aa5a8498d66876/setup.py) egg_info for package certora-cli-alpha-uri-broaden-server 2023-05-14T13:36:07,968 Created temporary directory: /tmp/pip-pip-egg-info-sgt1xfun 2023-05-14T13:36:07,968 Preparing metadata (setup.py): started 2023-05-14T13:36:07,969 Running command python setup.py egg_info 2023-05-14T13:36:08,547 /usr/local/lib/python3.9/dist-packages/setuptools/dist.py:519: InformationOnly: Normalizing '20230510.21.4.035636' to '20230510.21.4.35636' 2023-05-14T13:36:08,547 self.metadata.version = self._normalize_version( 2023-05-14T13:36:08,595 running egg_info 2023-05-14T13:36:08,597 creating /tmp/pip-pip-egg-info-sgt1xfun/certora_cli_alpha_uri_broaden_server.egg-info 2023-05-14T13:36:08,624 writing /tmp/pip-pip-egg-info-sgt1xfun/certora_cli_alpha_uri_broaden_server.egg-info/PKG-INFO 2023-05-14T13:36:08,627 writing dependency_links to /tmp/pip-pip-egg-info-sgt1xfun/certora_cli_alpha_uri_broaden_server.egg-info/dependency_links.txt 2023-05-14T13:36:08,629 writing entry points to /tmp/pip-pip-egg-info-sgt1xfun/certora_cli_alpha_uri_broaden_server.egg-info/entry_points.txt 2023-05-14T13:36:08,630 writing requirements to /tmp/pip-pip-egg-info-sgt1xfun/certora_cli_alpha_uri_broaden_server.egg-info/requires.txt 2023-05-14T13:36:08,632 writing top-level names to /tmp/pip-pip-egg-info-sgt1xfun/certora_cli_alpha_uri_broaden_server.egg-info/top_level.txt 2023-05-14T13:36:08,633 writing manifest file '/tmp/pip-pip-egg-info-sgt1xfun/certora_cli_alpha_uri_broaden_server.egg-info/SOURCES.txt' 2023-05-14T13:36:08,720 reading manifest file '/tmp/pip-pip-egg-info-sgt1xfun/certora_cli_alpha_uri_broaden_server.egg-info/SOURCES.txt' 2023-05-14T13:36:08,722 reading manifest template 'MANIFEST.in' 2023-05-14T13:36:08,731 adding license file 'LICENSE' 2023-05-14T13:36:08,735 writing manifest file '/tmp/pip-pip-egg-info-sgt1xfun/certora_cli_alpha_uri_broaden_server.egg-info/SOURCES.txt' 2023-05-14T13:36:08,795 Preparing metadata (setup.py): finished with status 'done' 2023-05-14T13:36:08,801 Source in /tmp/pip-wheel-25honcr_/certora-cli-alpha-uri-broaden-server_4812eab9b4ee4f15b8aa5a8498d66876 has version 20230510.21.4.35636, which satisfies requirement certora-cli-alpha-uri-broaden-server==20230510.21.4.35636 from https://files.pythonhosted.org/packages/46/52/a79d7eea65ed4f07e028b4c9648f83f3222c6da99f1175f0d2e1a872c08d/certora-cli-alpha-uri-broaden_server-20230510.21.4.35636.tar.gz 2023-05-14T13:36:08,802 Removed certora-cli-alpha-uri-broaden-server==20230510.21.4.35636 from https://files.pythonhosted.org/packages/46/52/a79d7eea65ed4f07e028b4c9648f83f3222c6da99f1175f0d2e1a872c08d/certora-cli-alpha-uri-broaden_server-20230510.21.4.35636.tar.gz from build tracker '/tmp/pip-build-tracker-or_lfwt5' 2023-05-14T13:36:08,808 Created temporary directory: /tmp/pip-unpack-lqy3yyx7 2023-05-14T13:36:08,809 Building wheels for collected packages: certora-cli-alpha-uri-broaden-server 2023-05-14T13:36:08,813 Created temporary directory: /tmp/pip-wheel-lrsp7p3o 2023-05-14T13:36:08,814 Building wheel for certora-cli-alpha-uri-broaden-server (setup.py): started 2023-05-14T13:36:08,815 Destination directory: /tmp/pip-wheel-lrsp7p3o 2023-05-14T13:36:08,815 Running command python setup.py bdist_wheel 2023-05-14T13:36:09,393 /usr/local/lib/python3.9/dist-packages/setuptools/dist.py:519: InformationOnly: Normalizing '20230510.21.4.035636' to '20230510.21.4.35636' 2023-05-14T13:36:09,393 self.metadata.version = self._normalize_version( 2023-05-14T13:36:09,653 running bdist_wheel 2023-05-14T13:36:09,937 running build 2023-05-14T13:36:09,937 running build_py 2023-05-14T13:36:09,966 creating build 2023-05-14T13:36:09,966 creating build/lib 2023-05-14T13:36:09,967 creating build/lib/certora_jars 2023-05-14T13:36:09,968 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-14T13:36:09,971 creating build/lib/certora_cli 2023-05-14T13:36:09,971 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-14T13:36:09,973 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-14T13:36:09,975 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-14T13:36:09,978 creating build/lib/certora_cli/EVMVerifier 2023-05-14T13:36:09,979 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:36:09,981 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:36:09,986 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:36:09,988 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:36:09,991 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:36:09,994 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:36:09,997 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:36:10,000 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:36:10,002 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:36:10,003 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:36:10,007 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:36:10,010 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:36:10,011 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:36:10,014 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:36:10,016 creating build/lib/certora_cli/Shared 2023-05-14T13:36:10,017 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-14T13:36:10,019 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-14T13:36:10,021 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-14T13:36:10,024 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-14T13:36:10,027 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T13:36:10,028 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T13:36:10,030 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T13:36:10,032 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T13:36:10,034 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T13:36:10,036 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T13:36:10,039 running egg_info 2023-05-14T13:36:10,100 writing certora_cli_alpha_uri_broaden_server.egg-info/PKG-INFO 2023-05-14T13:36:10,102 writing dependency_links to certora_cli_alpha_uri_broaden_server.egg-info/dependency_links.txt 2023-05-14T13:36:10,104 writing entry points to certora_cli_alpha_uri_broaden_server.egg-info/entry_points.txt 2023-05-14T13:36:10,105 writing requirements to certora_cli_alpha_uri_broaden_server.egg-info/requires.txt 2023-05-14T13:36:10,106 writing top-level names to certora_cli_alpha_uri_broaden_server.egg-info/top_level.txt 2023-05-14T13:36:10,139 reading manifest file 'certora_cli_alpha_uri_broaden_server.egg-info/SOURCES.txt' 2023-05-14T13:36:10,142 reading manifest template 'MANIFEST.in' 2023-05-14T13:36:10,151 adding license file 'LICENSE' 2023-05-14T13:36:10,155 writing manifest file 'certora_cli_alpha_uri_broaden_server.egg-info/SOURCES.txt' 2023-05-14T13:36:10,158 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-14T13:36:10,161 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-14T13:36:10,393 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-14T13:36:10,574 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-14T13:36:10,789 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-14T13:36:10,898 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-14T13:36:11,020 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-14T13:36:11,020 !! 2023-05-14T13:36:11,020 ******************************************************************************** 2023-05-14T13:36:11,020 Please avoid running ``setup.py`` directly. 2023-05-14T13:36:11,020 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-14T13:36:11,021 other standards-based tools. 2023-05-14T13:36:11,021 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-14T13:36:11,021 ******************************************************************************** 2023-05-14T13:36:11,021 !! 2023-05-14T13:36:11,021 self.initialize_options() 2023-05-14T13:36:11,047 installing to build/bdist.linux-aarch64/wheel 2023-05-14T13:36:11,047 running install 2023-05-14T13:36:11,073 running install_lib 2023-05-14T13:36:11,100 creating build/bdist.linux-aarch64 2023-05-14T13:36:11,100 creating build/bdist.linux-aarch64/wheel 2023-05-14T13:36:11,102 creating build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T13:36:11,103 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T13:36:11,105 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T13:36:11,107 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T13:36:11,473 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T13:36:11,597 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T13:36:11,771 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T13:36:12,035 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T13:36:12,143 creating build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T13:36:12,144 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T13:36:12,146 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T13:36:12,149 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T13:36:12,152 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:36:12,153 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:36:12,155 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:36:12,162 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:36:12,165 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:36:12,169 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:36:12,173 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:36:12,176 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:36:12,180 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:36:12,182 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:36:12,185 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T13:36:12,186 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T13:36:12,188 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T13:36:12,191 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T13:36:12,193 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T13:36:12,196 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T13:36:12,200 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:36:12,204 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:36:12,213 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:36:12,215 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:36:12,217 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:36:12,221 creating build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T13:36:12,222 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T13:36:12,223 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T13:36:12,226 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T13:36:12,229 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T13:36:12,232 running install_egg_info 2023-05-14T13:36:12,263 Copying certora_cli_alpha_uri_broaden_server.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_uri_broaden_server-20230510.21.4.35636-py3.9.egg-info 2023-05-14T13:36:12,275 running install_scripts 2023-05-14T13:36:12,293 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-05-14T13:36:12,297 creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_uri_broaden_server-20230510.21.4.35636.dist-info/WHEEL 2023-05-14T13:36:12,300 creating '/tmp/pip-wheel-lrsp7p3o/certora_cli_alpha_uri_broaden_server-20230510.21.4.35636-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it 2023-05-14T13:36:12,302 adding 'certora_cli/__init__.py' 2023-05-14T13:36:12,304 adding 'certora_cli/certoraMutate.py' 2023-05-14T13:36:12,306 adding 'certora_cli/certoraRun.py' 2023-05-14T13:36:12,308 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-14T13:36:12,330 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-14T13:36:12,337 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-14T13:36:12,339 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-14T13:36:12,341 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-14T13:36:12,345 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-14T13:36:12,349 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-14T13:36:12,350 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-14T13:36:12,356 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-14T13:36:12,358 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-05-14T13:36:12,360 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-14T13:36:12,361 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-14T13:36:12,364 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-14T13:36:12,368 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-14T13:36:12,370 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-14T13:36:12,372 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-14T13:36:12,374 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-14T13:36:12,378 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-14T13:36:12,379 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-14T13:36:12,381 adding 'certora_cli/Shared/__init__.py' 2023-05-14T13:36:12,383 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-14T13:36:12,385 adding 'certora_cli/Shared/certoraTester.py' 2023-05-14T13:36:12,392 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-14T13:36:12,395 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-14T13:36:14,021 adding 'certora_jars/MutationTest.jar' 2023-05-14T13:36:15,331 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-14T13:36:16,865 adding 'certora_jars/Typechecker.jar' 2023-05-14T13:36:16,947 adding 'certora_jars/__init__.py' 2023-05-14T13:36:17,803 adding 'certora_jars/gambit-linux' 2023-05-14T13:36:18,662 adding 'certora_jars/gambit-macos' 2023-05-14T13:36:18,698 adding 'certora_cli_alpha_uri_broaden_server-20230510.21.4.35636.dist-info/LICENSE' 2023-05-14T13:36:18,699 adding 'certora_cli_alpha_uri_broaden_server-20230510.21.4.35636.dist-info/METADATA' 2023-05-14T13:36:18,700 adding 'certora_cli_alpha_uri_broaden_server-20230510.21.4.35636.dist-info/WHEEL' 2023-05-14T13:36:18,701 adding 'certora_cli_alpha_uri_broaden_server-20230510.21.4.35636.dist-info/entry_points.txt' 2023-05-14T13:36:18,702 adding 'certora_cli_alpha_uri_broaden_server-20230510.21.4.35636.dist-info/top_level.txt' 2023-05-14T13:36:18,703 adding 'certora_cli_alpha_uri_broaden_server-20230510.21.4.35636.dist-info/RECORD' 2023-05-14T13:36:19,148 removing build/bdist.linux-aarch64/wheel 2023-05-14T13:36:19,273 Building wheel for certora-cli-alpha-uri-broaden-server (setup.py): finished with status 'done' 2023-05-14T13:36:19,603 Created wheel for certora-cli-alpha-uri-broaden-server: filename=certora_cli_alpha_uri_broaden_server-20230510.21.4.35636-py3-none-any.whl size=39253673 sha256=ae9bffa035c5a7146c9edf280c0008b3180924d40d43656ddf15a772f8649732 2023-05-14T13:36:19,605 Stored in directory: /tmp/pip-ephem-wheel-cache-b7zbvv4p/wheels/50/a6/bb/5522c2b74060b6f92a985c0b6330f1bc6d5a2ec315ef165019 2023-05-14T13:36:19,635 Successfully built certora-cli-alpha-uri-broaden-server 2023-05-14T13:36:20,591 Removed build tracker: '/tmp/pip-build-tracker-or_lfwt5'