2023-05-14T16:12:43,037 Created temporary directory: /tmp/pip-build-tracker-ehsfs_vh 2023-05-14T16:12:43,038 Initialized build tracking at /tmp/pip-build-tracker-ehsfs_vh 2023-05-14T16:12:43,039 Created build tracker: /tmp/pip-build-tracker-ehsfs_vh 2023-05-14T16:12:43,039 Entered build tracker: /tmp/pip-build-tracker-ehsfs_vh 2023-05-14T16:12:43,039 Created temporary directory: /tmp/pip-wheel-ew79rfj2 2023-05-14T16:12:43,043 Created temporary directory: /tmp/pip-ephem-wheel-cache-5tq6hytg 2023-05-14T16:12:43,070 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-14T16:12:43,073 2 location(s) to search for versions of certora-cli-alpha-uri-broaden-server: 2023-05-14T16:12:43,073 * https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-14T16:12:43,073 * https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-14T16:12:43,074 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-14T16:12:43,074 Getting page https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-14T16:12:43,076 Found index url https://pypi.org/simple/ 2023-05-14T16:12:43,127 Fetched page https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/ as application/vnd.pypi.simple.v1+json 2023-05-14T16:12:43,129 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-14T16:12:43,130 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-14T16:12:43,130 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-14T16:12:43,131 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-14T16:12:43,131 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-14T16:12:43,132 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-14T16:12:43,132 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-14T16:12:43,132 Getting page https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-14T16:12:43,133 Found index url https://www.piwheels.org/simple/ 2023-05-14T16:12:44,196 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/ as text/html 2023-05-14T16:12:44,197 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=31c0973b33dd15d892a09c46dc5c8ebd91c99d54b2d21036b40ddde7d7773912 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-14T16:12:44,198 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-14T16:12:44,198 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-14T16:12:44,198 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-14T16:12:44,215 Given no hashes to check 1 links for project 'certora-cli-alpha-uri-broaden-server': discarding no candidates 2023-05-14T16:12:44,231 Collecting certora-cli-alpha-uri-broaden-server==20230511.16.10.287047 2023-05-14T16:12:44,233 Created temporary directory: /tmp/pip-unpack-8xpad_a7 2023-05-14T16:12:44,278 Downloading certora-cli-alpha-uri-broaden_server-20230511.16.10.287047.tar.gz (39.4 MB) 2023-05-14T16:12:48,760 Added certora-cli-alpha-uri-broaden-server==20230511.16.10.287047 from https://files.pythonhosted.org/packages/13/c5/2751c4205ab0130a28a9ee8954df376d55f9fec7b50814957db993d3c19e/certora-cli-alpha-uri-broaden_server-20230511.16.10.287047.tar.gz to build tracker '/tmp/pip-build-tracker-ehsfs_vh' 2023-05-14T16:12:48,762 Running setup.py (path:/tmp/pip-wheel-ew79rfj2/certora-cli-alpha-uri-broaden-server_e39486ba2bf34b69af25ae0d2b1dded8/setup.py) egg_info for package certora-cli-alpha-uri-broaden-server 2023-05-14T16:12:48,763 Created temporary directory: /tmp/pip-pip-egg-info-kny0feg4 2023-05-14T16:12:48,763 Preparing metadata (setup.py): started 2023-05-14T16:12:48,764 Running command python setup.py egg_info 2023-05-14T16:12:49,489 running egg_info 2023-05-14T16:12:49,491 creating /tmp/pip-pip-egg-info-kny0feg4/certora_cli_alpha_uri_broaden_server.egg-info 2023-05-14T16:12:49,515 writing /tmp/pip-pip-egg-info-kny0feg4/certora_cli_alpha_uri_broaden_server.egg-info/PKG-INFO 2023-05-14T16:12:49,518 writing dependency_links to /tmp/pip-pip-egg-info-kny0feg4/certora_cli_alpha_uri_broaden_server.egg-info/dependency_links.txt 2023-05-14T16:12:49,520 writing entry points to /tmp/pip-pip-egg-info-kny0feg4/certora_cli_alpha_uri_broaden_server.egg-info/entry_points.txt 2023-05-14T16:12:49,521 writing requirements to /tmp/pip-pip-egg-info-kny0feg4/certora_cli_alpha_uri_broaden_server.egg-info/requires.txt 2023-05-14T16:12:49,522 writing top-level names to /tmp/pip-pip-egg-info-kny0feg4/certora_cli_alpha_uri_broaden_server.egg-info/top_level.txt 2023-05-14T16:12:49,524 writing manifest file '/tmp/pip-pip-egg-info-kny0feg4/certora_cli_alpha_uri_broaden_server.egg-info/SOURCES.txt' 2023-05-14T16:12:49,608 reading manifest file '/tmp/pip-pip-egg-info-kny0feg4/certora_cli_alpha_uri_broaden_server.egg-info/SOURCES.txt' 2023-05-14T16:12:49,610 reading manifest template 'MANIFEST.in' 2023-05-14T16:12:49,619 adding license file 'LICENSE' 2023-05-14T16:12:49,623 writing manifest file '/tmp/pip-pip-egg-info-kny0feg4/certora_cli_alpha_uri_broaden_server.egg-info/SOURCES.txt' 2023-05-14T16:12:49,685 Preparing metadata (setup.py): finished with status 'done' 2023-05-14T16:12:49,691 Source in /tmp/pip-wheel-ew79rfj2/certora-cli-alpha-uri-broaden-server_e39486ba2bf34b69af25ae0d2b1dded8 has version 20230511.16.10.287047, which satisfies requirement certora-cli-alpha-uri-broaden-server==20230511.16.10.287047 from https://files.pythonhosted.org/packages/13/c5/2751c4205ab0130a28a9ee8954df376d55f9fec7b50814957db993d3c19e/certora-cli-alpha-uri-broaden_server-20230511.16.10.287047.tar.gz 2023-05-14T16:12:49,692 Removed certora-cli-alpha-uri-broaden-server==20230511.16.10.287047 from https://files.pythonhosted.org/packages/13/c5/2751c4205ab0130a28a9ee8954df376d55f9fec7b50814957db993d3c19e/certora-cli-alpha-uri-broaden_server-20230511.16.10.287047.tar.gz from build tracker '/tmp/pip-build-tracker-ehsfs_vh' 2023-05-14T16:12:49,699 Created temporary directory: /tmp/pip-unpack-7qc8h_2i 2023-05-14T16:12:49,700 Building wheels for collected packages: certora-cli-alpha-uri-broaden-server 2023-05-14T16:12:49,704 Created temporary directory: /tmp/pip-wheel-ggkyatnr 2023-05-14T16:12:49,705 Building wheel for certora-cli-alpha-uri-broaden-server (setup.py): started 2023-05-14T16:12:49,706 Destination directory: /tmp/pip-wheel-ggkyatnr 2023-05-14T16:12:49,706 Running command python setup.py bdist_wheel 2023-05-14T16:12:50,523 running bdist_wheel 2023-05-14T16:12:50,808 running build 2023-05-14T16:12:50,808 running build_py 2023-05-14T16:12:50,838 creating build 2023-05-14T16:12:50,839 creating build/lib 2023-05-14T16:12:50,840 creating build/lib/certora_jars 2023-05-14T16:12:50,841 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-14T16:12:50,843 creating build/lib/certora_cli 2023-05-14T16:12:50,844 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-14T16:12:50,846 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-14T16:12:50,848 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-14T16:12:50,851 creating build/lib/certora_cli/Shared 2023-05-14T16:12:50,852 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-14T16:12:50,854 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-14T16:12:50,856 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-14T16:12:50,859 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-14T16:12:50,863 creating build/lib/certora_cli/EVMVerifier 2023-05-14T16:12:50,864 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T16:12:50,867 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T16:12:50,870 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T16:12:50,872 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T16:12:50,874 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T16:12:50,877 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T16:12:50,879 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T16:12:50,881 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T16:12:50,884 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T16:12:50,887 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T16:12:50,895 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T16:12:50,897 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T16:12:50,900 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T16:12:50,902 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T16:12:50,905 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T16:12:50,906 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T16:12:50,908 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T16:12:50,910 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T16:12:50,914 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T16:12:50,916 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T16:12:50,918 running egg_info 2023-05-14T16:12:50,981 writing certora_cli_alpha_uri_broaden_server.egg-info/PKG-INFO 2023-05-14T16:12:50,983 writing dependency_links to certora_cli_alpha_uri_broaden_server.egg-info/dependency_links.txt 2023-05-14T16:12:50,986 writing entry points to certora_cli_alpha_uri_broaden_server.egg-info/entry_points.txt 2023-05-14T16:12:50,987 writing requirements to certora_cli_alpha_uri_broaden_server.egg-info/requires.txt 2023-05-14T16:12:50,988 writing top-level names to certora_cli_alpha_uri_broaden_server.egg-info/top_level.txt 2023-05-14T16:12:51,019 reading manifest file 'certora_cli_alpha_uri_broaden_server.egg-info/SOURCES.txt' 2023-05-14T16:12:51,022 reading manifest template 'MANIFEST.in' 2023-05-14T16:12:51,032 adding license file 'LICENSE' 2023-05-14T16:12:51,036 writing manifest file 'certora_cli_alpha_uri_broaden_server.egg-info/SOURCES.txt' 2023-05-14T16:12:51,039 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-14T16:12:51,041 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-14T16:12:51,273 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-14T16:12:51,429 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-14T16:12:51,638 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-14T16:12:51,751 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-14T16:12:51,875 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-14T16:12:51,875 !! 2023-05-14T16:12:51,875 ******************************************************************************** 2023-05-14T16:12:51,875 Please avoid running ``setup.py`` directly. 2023-05-14T16:12:51,875 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-14T16:12:51,875 other standards-based tools. 2023-05-14T16:12:51,876 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-14T16:12:51,876 ******************************************************************************** 2023-05-14T16:12:51,876 !! 2023-05-14T16:12:51,876 self.initialize_options() 2023-05-14T16:12:51,902 installing to build/bdist.linux-aarch64/wheel 2023-05-14T16:12:51,903 running install 2023-05-14T16:12:51,928 running install_lib 2023-05-14T16:12:51,954 creating build/bdist.linux-aarch64 2023-05-14T16:12:51,955 creating build/bdist.linux-aarch64/wheel 2023-05-14T16:12:51,957 creating build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T16:12:51,958 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T16:12:52,182 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T16:12:52,183 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T16:12:52,539 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T16:12:52,616 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T16:12:52,749 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T16:12:52,751 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T16:12:52,922 creating build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T16:12:52,923 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T16:12:52,926 creating build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T16:12:52,927 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T16:12:52,930 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T16:12:52,932 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T16:12:52,935 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T16:12:52,939 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T16:12:52,942 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T16:12:52,945 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T16:12:52,946 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T16:12:52,949 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T16:12:52,952 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T16:12:52,955 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T16:12:52,958 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T16:12:52,961 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T16:12:52,964 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T16:12:52,966 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T16:12:52,969 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T16:12:52,973 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T16:12:52,974 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T16:12:52,976 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T16:12:52,979 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T16:12:52,982 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T16:12:52,984 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T16:12:52,986 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T16:12:52,992 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T16:12:52,995 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T16:12:52,998 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T16:12:53,000 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T16:12:53,002 running install_egg_info 2023-05-14T16:12:53,033 Copying certora_cli_alpha_uri_broaden_server.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_uri_broaden_server-20230511.16.10.287047-py3.9.egg-info 2023-05-14T16:12:53,046 running install_scripts 2023-05-14T16:12:53,064 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-05-14T16:12:53,069 creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_uri_broaden_server-20230511.16.10.287047.dist-info/WHEEL 2023-05-14T16:12:53,071 creating '/tmp/pip-wheel-ggkyatnr/certora_cli_alpha_uri_broaden_server-20230511.16.10.287047-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it 2023-05-14T16:12:53,074 adding 'certora_cli/__init__.py' 2023-05-14T16:12:53,075 adding 'certora_cli/certoraMutate.py' 2023-05-14T16:12:53,077 adding 'certora_cli/certoraRun.py' 2023-05-14T16:12:53,080 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-14T16:12:53,102 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-14T16:12:53,109 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-14T16:12:53,111 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-14T16:12:53,113 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-14T16:12:53,117 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-14T16:12:53,122 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-14T16:12:53,123 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-14T16:12:53,129 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-14T16:12:53,131 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-05-14T16:12:53,134 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-14T16:12:53,135 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-14T16:12:53,138 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-14T16:12:53,142 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-14T16:12:53,145 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-14T16:12:53,147 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-14T16:12:53,148 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-14T16:12:53,152 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-14T16:12:53,154 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-14T16:12:53,156 adding 'certora_cli/Shared/__init__.py' 2023-05-14T16:12:53,158 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-14T16:12:53,160 adding 'certora_cli/Shared/certoraTester.py' 2023-05-14T16:12:53,167 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-14T16:12:53,170 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-14T16:12:54,815 adding 'certora_jars/MutationTest.jar' 2023-05-14T16:12:56,130 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-14T16:12:57,683 adding 'certora_jars/Typechecker.jar' 2023-05-14T16:12:57,769 adding 'certora_jars/__init__.py' 2023-05-14T16:12:58,623 adding 'certora_jars/gambit-linux' 2023-05-14T16:12:59,484 adding 'certora_jars/gambit-macos' 2023-05-14T16:12:59,520 adding 'certora_cli_alpha_uri_broaden_server-20230511.16.10.287047.dist-info/LICENSE' 2023-05-14T16:12:59,522 adding 'certora_cli_alpha_uri_broaden_server-20230511.16.10.287047.dist-info/METADATA' 2023-05-14T16:12:59,523 adding 'certora_cli_alpha_uri_broaden_server-20230511.16.10.287047.dist-info/WHEEL' 2023-05-14T16:12:59,524 adding 'certora_cli_alpha_uri_broaden_server-20230511.16.10.287047.dist-info/entry_points.txt' 2023-05-14T16:12:59,525 adding 'certora_cli_alpha_uri_broaden_server-20230511.16.10.287047.dist-info/top_level.txt' 2023-05-14T16:12:59,527 adding 'certora_cli_alpha_uri_broaden_server-20230511.16.10.287047.dist-info/RECORD' 2023-05-14T16:12:59,959 removing build/bdist.linux-aarch64/wheel 2023-05-14T16:13:00,086 Building wheel for certora-cli-alpha-uri-broaden-server (setup.py): finished with status 'done' 2023-05-14T16:13:00,415 Created wheel for certora-cli-alpha-uri-broaden-server: filename=certora_cli_alpha_uri_broaden_server-20230511.16.10.287047-py3-none-any.whl size=39462941 sha256=b06c424ffe708acdd02e862b4ba90fe60ae284c235eb109c9968aeb0a6cbe696 2023-05-14T16:13:00,417 Stored in directory: /tmp/pip-ephem-wheel-cache-5tq6hytg/wheels/15/49/49/ea419429ceb0e1faee17c358102ea7c9852a7ebf930d93e7cd 2023-05-14T16:13:00,447 Successfully built certora-cli-alpha-uri-broaden-server 2023-05-14T16:13:01,391 Removed build tracker: '/tmp/pip-build-tracker-ehsfs_vh'