2023-05-17T02:43:29,455 Created temporary directory: /tmp/pip-build-tracker-zp0ebi08 2023-05-17T02:43:29,457 Initialized build tracking at /tmp/pip-build-tracker-zp0ebi08 2023-05-17T02:43:29,457 Created build tracker: /tmp/pip-build-tracker-zp0ebi08 2023-05-17T02:43:29,457 Entered build tracker: /tmp/pip-build-tracker-zp0ebi08 2023-05-17T02:43:29,457 Created temporary directory: /tmp/pip-wheel-f7oiqdk2 2023-05-17T02:43:29,461 Created temporary directory: /tmp/pip-ephem-wheel-cache-nmu2ko6m 2023-05-17T02:43:29,485 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-17T02:43:29,488 2 location(s) to search for versions of certora-cli-alpha-uri-broaden-server: 2023-05-17T02:43:29,488 * https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-17T02:43:29,488 * https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-17T02:43:29,489 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-17T02:43:29,489 Getting page https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-17T02:43:29,491 Found index url https://pypi.org/simple/ 2023-05-17T02:43:29,540 Fetched page https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/ as application/vnd.pypi.simple.v1+json 2023-05-17T02:43:29,543 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-17T02:43:29,544 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-17T02:43:29,544 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-17T02:43:29,545 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-17T02:43:29,545 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-17T02:43:29,546 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-17T02:43:29,546 Found link https://files.pythonhosted.org/packages/80/e7/3df6881da749519722324d21b01938abe8c1ab68bacaaa5ef0932a92eb72/certora-cli-alpha-uri-broaden_server-20230516.8.44.57245.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16), version: 20230516.8.44.57245 2023-05-17T02:43:29,546 Skipping link: No binaries permitted for certora-cli-alpha-uri-broaden-server: https://files.pythonhosted.org/packages/85/db/705736a801cac0222641ba12fe8c2b87ee0047501b8cd511eb6d17db7ab1/certora_cli_alpha_uri_broaden_server-20230516.8.44.57245-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-17T02:43:29,547 Found link https://files.pythonhosted.org/packages/2f/1e/6ab038070de64743819909ee157306dc7f565258236ae3ca66376bfcfc1f/certora-cli-alpha-uri-broaden_server-20230516.10.42.493463.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16), version: 20230516.10.42.493463 2023-05-17T02:43:29,547 Skipping link: No binaries permitted for certora-cli-alpha-uri-broaden-server: https://files.pythonhosted.org/packages/84/2e/6fa6202967300940513174d3237a04c19975d5dcf16467af7269d4791967/certora_cli_alpha_uri_broaden_server-20230516.10.42.493463-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-17T02:43:29,548 Found link https://files.pythonhosted.org/packages/f8/60/5115f204ddf4ca0a03a4ecabf6ce85b240f910aef0d25427c6bc8df72eda/certora-cli-alpha-uri-broaden_server-20230516.11.5.786137.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16), version: 20230516.11.5.786137 2023-05-17T02:43:29,548 Skipping link: No binaries permitted for certora-cli-alpha-uri-broaden-server: https://files.pythonhosted.org/packages/14/04/a0ba5d71510476a799e78481c50cc66ffacfa51df375c907b10af6caa02b/certora_cli_alpha_uri_broaden_server-20230516.11.5.786137-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-17T02:43:29,549 Found link https://files.pythonhosted.org/packages/8b/b6/dc333c96b814d2ca7410da9ca52c33068cfb2b3d5989227bf8a58dd39d70/certora-cli-alpha-uri-broaden_server-20230516.12.38.185464.tar.gz (from https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16), version: 20230516.12.38.185464 2023-05-17T02:43:29,549 Skipping link: No binaries permitted for certora-cli-alpha-uri-broaden-server: https://files.pythonhosted.org/packages/58/07/1652c52e9471430485004609fe71d2f615c19f08fac450d6b22b07017948/certora_cli_alpha_uri_broaden_server-20230516.12.38.185464-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-17T02:43:29,549 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-17T02:43:29,550 Getting page https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-17T02:43:29,551 Found index url https://www.piwheels.org/simple/ 2023-05-17T02:43:29,709 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/ as text/html 2023-05-17T02:43:29,712 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-20230516.11.5.786137-py3-none-any.whl#sha256=0069bbfd250778b8acd4420fa79ead3e589b90a2f3b2974d69dba50ed22b52e5 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-17T02:43:29,712 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-20230516.10.42.493463-py3-none-any.whl#sha256=5db70acf1b71fcd80588b388b90feb8b88cd8e30a9e560d62bf35a4d0bb299d4 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-17T02:43:29,712 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-20230516.8.44.57245-py3-none-any.whl#sha256=56ab0d9697a4fdb736306b66be8e43b1884bfa0ab28e783a4d5b55d4e4aacd01 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-17T02:43:29,712 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=b06c424ffe708acdd02e862b4ba90fe60ae284c235eb109c9968aeb0a6cbe696 (from https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/) (requires-python:>=3.8.16) 2023-05-17T02:43:29,712 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-17T02:43:29,713 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-17T02:43:29,713 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-17T02:43:29,713 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-17T02:43:29,730 Given no hashes to check 1 links for project 'certora-cli-alpha-uri-broaden-server': discarding no candidates 2023-05-17T02:43:29,745 Collecting certora-cli-alpha-uri-broaden-server==20230516.12.38.185464 2023-05-17T02:43:29,747 Created temporary directory: /tmp/pip-unpack-a9jm7vaw 2023-05-17T02:43:30,130 Downloading certora-cli-alpha-uri-broaden_server-20230516.12.38.185464.tar.gz (39.0 MB) 2023-05-17T02:43:39,199 Added certora-cli-alpha-uri-broaden-server==20230516.12.38.185464 from https://files.pythonhosted.org/packages/8b/b6/dc333c96b814d2ca7410da9ca52c33068cfb2b3d5989227bf8a58dd39d70/certora-cli-alpha-uri-broaden_server-20230516.12.38.185464.tar.gz to build tracker '/tmp/pip-build-tracker-zp0ebi08' 2023-05-17T02:43:39,201 Running setup.py (path:/tmp/pip-wheel-f7oiqdk2/certora-cli-alpha-uri-broaden-server_284a322d239c4b38998b7b5ba38cd183/setup.py) egg_info for package certora-cli-alpha-uri-broaden-server 2023-05-17T02:43:39,202 Created temporary directory: /tmp/pip-pip-egg-info-e3m0958c 2023-05-17T02:43:39,202 Preparing metadata (setup.py): started 2023-05-17T02:43:39,203 Running command python setup.py egg_info 2023-05-17T02:43:39,809 running egg_info 2023-05-17T02:43:39,810 creating /tmp/pip-pip-egg-info-e3m0958c/certora_cli_alpha_uri_broaden_server.egg-info 2023-05-17T02:43:39,834 writing /tmp/pip-pip-egg-info-e3m0958c/certora_cli_alpha_uri_broaden_server.egg-info/PKG-INFO 2023-05-17T02:43:39,836 writing dependency_links to /tmp/pip-pip-egg-info-e3m0958c/certora_cli_alpha_uri_broaden_server.egg-info/dependency_links.txt 2023-05-17T02:43:39,838 writing entry points to /tmp/pip-pip-egg-info-e3m0958c/certora_cli_alpha_uri_broaden_server.egg-info/entry_points.txt 2023-05-17T02:43:39,839 writing requirements to /tmp/pip-pip-egg-info-e3m0958c/certora_cli_alpha_uri_broaden_server.egg-info/requires.txt 2023-05-17T02:43:39,840 writing top-level names to /tmp/pip-pip-egg-info-e3m0958c/certora_cli_alpha_uri_broaden_server.egg-info/top_level.txt 2023-05-17T02:43:39,841 writing manifest file '/tmp/pip-pip-egg-info-e3m0958c/certora_cli_alpha_uri_broaden_server.egg-info/SOURCES.txt' 2023-05-17T02:43:39,921 reading manifest file '/tmp/pip-pip-egg-info-e3m0958c/certora_cli_alpha_uri_broaden_server.egg-info/SOURCES.txt' 2023-05-17T02:43:39,922 reading manifest template 'MANIFEST.in' 2023-05-17T02:43:39,931 adding license file 'LICENSE' 2023-05-17T02:43:39,935 writing manifest file '/tmp/pip-pip-egg-info-e3m0958c/certora_cli_alpha_uri_broaden_server.egg-info/SOURCES.txt' 2023-05-17T02:43:39,996 Preparing metadata (setup.py): finished with status 'done' 2023-05-17T02:43:40,001 Source in /tmp/pip-wheel-f7oiqdk2/certora-cli-alpha-uri-broaden-server_284a322d239c4b38998b7b5ba38cd183 has version 20230516.12.38.185464, which satisfies requirement certora-cli-alpha-uri-broaden-server==20230516.12.38.185464 from https://files.pythonhosted.org/packages/8b/b6/dc333c96b814d2ca7410da9ca52c33068cfb2b3d5989227bf8a58dd39d70/certora-cli-alpha-uri-broaden_server-20230516.12.38.185464.tar.gz 2023-05-17T02:43:40,002 Removed certora-cli-alpha-uri-broaden-server==20230516.12.38.185464 from https://files.pythonhosted.org/packages/8b/b6/dc333c96b814d2ca7410da9ca52c33068cfb2b3d5989227bf8a58dd39d70/certora-cli-alpha-uri-broaden_server-20230516.12.38.185464.tar.gz from build tracker '/tmp/pip-build-tracker-zp0ebi08' 2023-05-17T02:43:40,009 Created temporary directory: /tmp/pip-unpack-rg6_z684 2023-05-17T02:43:40,009 Building wheels for collected packages: certora-cli-alpha-uri-broaden-server 2023-05-17T02:43:40,013 Created temporary directory: /tmp/pip-wheel-0wj22gf2 2023-05-17T02:43:40,013 Building wheel for certora-cli-alpha-uri-broaden-server (setup.py): started 2023-05-17T02:43:40,014 Destination directory: /tmp/pip-wheel-0wj22gf2 2023-05-17T02:43:40,014 Running command python setup.py bdist_wheel 2023-05-17T02:43:40,811 running bdist_wheel 2023-05-17T02:43:41,088 running build 2023-05-17T02:43:41,088 running build_py 2023-05-17T02:43:41,115 creating build 2023-05-17T02:43:41,116 creating build/lib 2023-05-17T02:43:41,116 creating build/lib/certora_jars 2023-05-17T02:43:41,117 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-17T02:43:41,120 creating build/lib/certora_cli 2023-05-17T02:43:41,120 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-17T02:43:41,122 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-17T02:43:41,124 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-17T02:43:41,127 creating build/lib/certora_cli/Shared 2023-05-17T02:43:41,127 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-17T02:43:41,131 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-17T02:43:41,132 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-17T02:43:41,135 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-17T02:43:41,138 creating build/lib/certora_cli/EVMVerifier 2023-05-17T02:43:41,139 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:43:41,145 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:43:41,148 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:43:41,150 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:43:41,152 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:43:41,154 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:43:41,156 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:43:41,158 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:43:41,161 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:43:41,162 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:43:41,165 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:43:41,168 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:43:41,171 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:43:41,173 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:43:41,176 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T02:43:41,177 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T02:43:41,180 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T02:43:41,182 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T02:43:41,184 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T02:43:41,186 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T02:43:41,188 running egg_info 2023-05-17T02:43:41,245 writing certora_cli_alpha_uri_broaden_server.egg-info/PKG-INFO 2023-05-17T02:43:41,247 writing dependency_links to certora_cli_alpha_uri_broaden_server.egg-info/dependency_links.txt 2023-05-17T02:43:41,249 writing entry points to certora_cli_alpha_uri_broaden_server.egg-info/entry_points.txt 2023-05-17T02:43:41,250 writing requirements to certora_cli_alpha_uri_broaden_server.egg-info/requires.txt 2023-05-17T02:43:41,251 writing top-level names to certora_cli_alpha_uri_broaden_server.egg-info/top_level.txt 2023-05-17T02:43:41,279 reading manifest file 'certora_cli_alpha_uri_broaden_server.egg-info/SOURCES.txt' 2023-05-17T02:43:41,282 reading manifest template 'MANIFEST.in' 2023-05-17T02:43:41,290 adding license file 'LICENSE' 2023-05-17T02:43:41,294 writing manifest file 'certora_cli_alpha_uri_broaden_server.egg-info/SOURCES.txt' 2023-05-17T02:43:41,297 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-17T02:43:41,300 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-17T02:43:41,512 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-17T02:43:41,674 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-17T02:43:41,875 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-17T02:43:41,966 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-17T02:43:42,057 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-17T02:43:42,057 !! 2023-05-17T02:43:42,058 ******************************************************************************** 2023-05-17T02:43:42,058 Please avoid running ``setup.py`` directly. 2023-05-17T02:43:42,058 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-17T02:43:42,058 other standards-based tools. 2023-05-17T02:43:42,058 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-17T02:43:42,058 ******************************************************************************** 2023-05-17T02:43:42,059 !! 2023-05-17T02:43:42,059 self.initialize_options() 2023-05-17T02:43:42,083 installing to build/bdist.linux-armv7l/wheel 2023-05-17T02:43:42,083 running install 2023-05-17T02:43:42,109 running install_lib 2023-05-17T02:43:42,134 creating build/bdist.linux-armv7l 2023-05-17T02:43:42,134 creating build/bdist.linux-armv7l/wheel 2023-05-17T02:43:42,136 creating build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T02:43:42,137 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T02:43:42,326 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T02:43:42,476 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T02:43:42,536 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T02:43:42,538 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T02:43:42,540 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T02:43:42,632 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T02:43:42,873 creating build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T02:43:42,874 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T02:43:42,876 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T02:43:42,879 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T02:43:42,881 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T02:43:42,882 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T02:43:42,885 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T02:43:42,886 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T02:43:42,889 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T02:43:42,891 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:43:42,892 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:43:42,898 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:43:42,900 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:43:42,902 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:43:42,905 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:43:42,906 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:43:42,908 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:43:42,910 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:43:42,913 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:43:42,914 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:43:42,917 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:43:42,920 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T02:43:42,921 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T02:43:42,924 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T02:43:42,926 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T02:43:42,928 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T02:43:42,930 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T02:43:42,932 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:43:42,934 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:43:42,937 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:43:42,939 running install_egg_info 2023-05-17T02:43:42,967 Copying certora_cli_alpha_uri_broaden_server.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_uri_broaden_server-20230516.12.38.185464-py3.9.egg-info 2023-05-17T02:43:42,978 running install_scripts 2023-05-17T02:43:42,993 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-05-17T02:43:42,997 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_uri_broaden_server-20230516.12.38.185464.dist-info/WHEEL 2023-05-17T02:43:43,000 creating '/tmp/pip-wheel-0wj22gf2/certora_cli_alpha_uri_broaden_server-20230516.12.38.185464-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-05-17T02:43:43,002 adding 'certora_cli/__init__.py' 2023-05-17T02:43:43,003 adding 'certora_cli/certoraMutate.py' 2023-05-17T02:43:43,005 adding 'certora_cli/certoraRun.py' 2023-05-17T02:43:43,007 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-17T02:43:43,029 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-17T02:43:43,036 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-17T02:43:43,038 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-17T02:43:43,040 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-17T02:43:43,044 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-17T02:43:43,048 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-17T02:43:43,049 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-17T02:43:43,055 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-17T02:43:43,056 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-05-17T02:43:43,058 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-17T02:43:43,060 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-17T02:43:43,062 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-17T02:43:43,066 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-17T02:43:43,068 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-17T02:43:43,070 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-17T02:43:43,071 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-17T02:43:43,076 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-17T02:43:43,077 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-17T02:43:43,079 adding 'certora_cli/Shared/__init__.py' 2023-05-17T02:43:43,081 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-17T02:43:43,083 adding 'certora_cli/Shared/certoraTester.py' 2023-05-17T02:43:43,089 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-17T02:43:43,092 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-17T02:43:44,773 adding 'certora_jars/MutationTest.jar' 2023-05-17T02:43:46,105 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-17T02:43:47,690 adding 'certora_jars/Typechecker.jar' 2023-05-17T02:43:47,773 adding 'certora_jars/__init__.py' 2023-05-17T02:43:48,512 adding 'certora_jars/gambit-linux' 2023-05-17T02:43:49,174 adding 'certora_jars/gambit-macos' 2023-05-17T02:43:49,199 adding 'certora_cli_alpha_uri_broaden_server-20230516.12.38.185464.dist-info/LICENSE' 2023-05-17T02:43:49,201 adding 'certora_cli_alpha_uri_broaden_server-20230516.12.38.185464.dist-info/METADATA' 2023-05-17T02:43:49,202 adding 'certora_cli_alpha_uri_broaden_server-20230516.12.38.185464.dist-info/WHEEL' 2023-05-17T02:43:49,203 adding 'certora_cli_alpha_uri_broaden_server-20230516.12.38.185464.dist-info/entry_points.txt' 2023-05-17T02:43:49,203 adding 'certora_cli_alpha_uri_broaden_server-20230516.12.38.185464.dist-info/top_level.txt' 2023-05-17T02:43:49,205 adding 'certora_cli_alpha_uri_broaden_server-20230516.12.38.185464.dist-info/RECORD' 2023-05-17T02:43:49,620 removing build/bdist.linux-armv7l/wheel 2023-05-17T02:43:49,741 Building wheel for certora-cli-alpha-uri-broaden-server (setup.py): finished with status 'done' 2023-05-17T02:43:50,131 Created wheel for certora-cli-alpha-uri-broaden-server: filename=certora_cli_alpha_uri_broaden_server-20230516.12.38.185464-py3-none-any.whl size=39005694 sha256=a7097546f8ef52b05a5b19f14a7ad873a0260945291936acde8ed3c4090fc0ab 2023-05-17T02:43:50,132 Stored in directory: /tmp/pip-ephem-wheel-cache-nmu2ko6m/wheels/c7/d6/82/50a9a33b01605629f2dc88b22efd0fa35bcd1d344f191c9dee 2023-05-17T02:43:50,155 Successfully built certora-cli-alpha-uri-broaden-server 2023-05-17T02:43:51,046 Removed build tracker: '/tmp/pip-build-tracker-zp0ebi08'