2023-05-17T02:37:11,150 Created temporary directory: /tmp/pip-build-tracker-0a0bjibl 2023-05-17T02:37:11,151 Initialized build tracking at /tmp/pip-build-tracker-0a0bjibl 2023-05-17T02:37:11,151 Created build tracker: /tmp/pip-build-tracker-0a0bjibl 2023-05-17T02:37:11,151 Entered build tracker: /tmp/pip-build-tracker-0a0bjibl 2023-05-17T02:37:11,152 Created temporary directory: /tmp/pip-wheel-1mye9qrj 2023-05-17T02:37:11,156 Created temporary directory: /tmp/pip-ephem-wheel-cache-62es2m_6 2023-05-17T02:37:11,182 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-17T02:37:11,186 2 location(s) to search for versions of certora-cli-alpha-uri-broaden-server: 2023-05-17T02:37:11,186 * https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-17T02:37:11,186 * https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-17T02:37:11,187 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-17T02:37:11,187 Getting page https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-17T02:37:11,189 Found index url https://pypi.org/simple/ 2023-05-17T02:37:11,239 Fetched page https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/ as application/vnd.pypi.simple.v1+json 2023-05-17T02:37:11,243 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:37:11,243 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:37:11,244 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:37:11,244 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:37:11,245 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:37:11,245 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:37:11,245 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:37:11,246 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:37:11,246 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:37:11,247 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:37:11,247 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:37:11,247 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:37:11,248 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:37:11,248 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:37:11,249 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-17T02:37:11,249 Getting page https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-17T02:37:11,250 Found index url https://www.piwheels.org/simple/ 2023-05-17T02:37:11,411 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/ as text/html 2023-05-17T02:37:11,414 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:37:11,414 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:37:11,414 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:37:11,414 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:37:11,415 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:37:11,415 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-17T02:37:11,415 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-uri-broaden-server/ 2023-05-17T02:37:11,432 Given no hashes to check 1 links for project 'certora-cli-alpha-uri-broaden-server': discarding no candidates 2023-05-17T02:37:11,447 Collecting certora-cli-alpha-uri-broaden-server==20230516.11.5.786137 2023-05-17T02:37:11,450 Created temporary directory: /tmp/pip-unpack-kjeloytw 2023-05-17T02:37:11,667 Downloading certora-cli-alpha-uri-broaden_server-20230516.11.5.786137.tar.gz (39.0 MB) 2023-05-17T02:37:19,987 Added certora-cli-alpha-uri-broaden-server==20230516.11.5.786137 from https://files.pythonhosted.org/packages/f8/60/5115f204ddf4ca0a03a4ecabf6ce85b240f910aef0d25427c6bc8df72eda/certora-cli-alpha-uri-broaden_server-20230516.11.5.786137.tar.gz to build tracker '/tmp/pip-build-tracker-0a0bjibl' 2023-05-17T02:37:19,989 Running setup.py (path:/tmp/pip-wheel-1mye9qrj/certora-cli-alpha-uri-broaden-server_f4463b806b334a1aa7e65f4da04d9625/setup.py) egg_info for package certora-cli-alpha-uri-broaden-server 2023-05-17T02:37:19,990 Created temporary directory: /tmp/pip-pip-egg-info-427_sfxx 2023-05-17T02:37:19,990 Preparing metadata (setup.py): started 2023-05-17T02:37:19,991 Running command python setup.py egg_info 2023-05-17T02:37:20,600 running egg_info 2023-05-17T02:37:20,602 creating /tmp/pip-pip-egg-info-427_sfxx/certora_cli_alpha_uri_broaden_server.egg-info 2023-05-17T02:37:20,626 writing /tmp/pip-pip-egg-info-427_sfxx/certora_cli_alpha_uri_broaden_server.egg-info/PKG-INFO 2023-05-17T02:37:20,628 writing dependency_links to /tmp/pip-pip-egg-info-427_sfxx/certora_cli_alpha_uri_broaden_server.egg-info/dependency_links.txt 2023-05-17T02:37:20,630 writing entry points to /tmp/pip-pip-egg-info-427_sfxx/certora_cli_alpha_uri_broaden_server.egg-info/entry_points.txt 2023-05-17T02:37:20,632 writing requirements to /tmp/pip-pip-egg-info-427_sfxx/certora_cli_alpha_uri_broaden_server.egg-info/requires.txt 2023-05-17T02:37:20,633 writing top-level names to /tmp/pip-pip-egg-info-427_sfxx/certora_cli_alpha_uri_broaden_server.egg-info/top_level.txt 2023-05-17T02:37:20,634 writing manifest file '/tmp/pip-pip-egg-info-427_sfxx/certora_cli_alpha_uri_broaden_server.egg-info/SOURCES.txt' 2023-05-17T02:37:20,715 reading manifest file '/tmp/pip-pip-egg-info-427_sfxx/certora_cli_alpha_uri_broaden_server.egg-info/SOURCES.txt' 2023-05-17T02:37:20,716 reading manifest template 'MANIFEST.in' 2023-05-17T02:37:20,725 adding license file 'LICENSE' 2023-05-17T02:37:20,728 writing manifest file '/tmp/pip-pip-egg-info-427_sfxx/certora_cli_alpha_uri_broaden_server.egg-info/SOURCES.txt' 2023-05-17T02:37:20,790 Preparing metadata (setup.py): finished with status 'done' 2023-05-17T02:37:20,795 Source in /tmp/pip-wheel-1mye9qrj/certora-cli-alpha-uri-broaden-server_f4463b806b334a1aa7e65f4da04d9625 has version 20230516.11.5.786137, which satisfies requirement certora-cli-alpha-uri-broaden-server==20230516.11.5.786137 from https://files.pythonhosted.org/packages/f8/60/5115f204ddf4ca0a03a4ecabf6ce85b240f910aef0d25427c6bc8df72eda/certora-cli-alpha-uri-broaden_server-20230516.11.5.786137.tar.gz 2023-05-17T02:37:20,796 Removed certora-cli-alpha-uri-broaden-server==20230516.11.5.786137 from https://files.pythonhosted.org/packages/f8/60/5115f204ddf4ca0a03a4ecabf6ce85b240f910aef0d25427c6bc8df72eda/certora-cli-alpha-uri-broaden_server-20230516.11.5.786137.tar.gz from build tracker '/tmp/pip-build-tracker-0a0bjibl' 2023-05-17T02:37:20,803 Created temporary directory: /tmp/pip-unpack-bn1ew9oy 2023-05-17T02:37:20,803 Building wheels for collected packages: certora-cli-alpha-uri-broaden-server 2023-05-17T02:37:20,807 Created temporary directory: /tmp/pip-wheel-vnso63fp 2023-05-17T02:37:20,808 Building wheel for certora-cli-alpha-uri-broaden-server (setup.py): started 2023-05-17T02:37:20,808 Destination directory: /tmp/pip-wheel-vnso63fp 2023-05-17T02:37:20,809 Running command python setup.py bdist_wheel 2023-05-17T02:37:21,857 running bdist_wheel 2023-05-17T02:37:22,134 running build 2023-05-17T02:37:22,134 running build_py 2023-05-17T02:37:22,161 creating build 2023-05-17T02:37:22,161 creating build/lib 2023-05-17T02:37:22,162 creating build/lib/certora_jars 2023-05-17T02:37:22,163 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-17T02:37:22,165 creating build/lib/certora_cli 2023-05-17T02:37:22,166 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-17T02:37:22,168 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-17T02:37:22,170 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-17T02:37:22,172 creating build/lib/certora_cli/Shared 2023-05-17T02:37:22,173 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-17T02:37:22,176 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-17T02:37:22,178 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-17T02:37:22,180 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-17T02:37:22,183 creating build/lib/certora_cli/EVMVerifier 2023-05-17T02:37:22,184 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:37:22,192 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:37:22,194 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:37:22,196 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:37:22,200 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:37:22,202 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:37:22,204 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:37:22,206 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:37:22,209 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:37:22,211 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:37:22,214 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:37:22,217 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:37:22,220 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:37:22,222 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:37:22,225 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T02:37:22,226 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T02:37:22,229 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T02:37:22,230 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T02:37:22,232 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T02:37:22,234 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T02:37:22,236 running egg_info 2023-05-17T02:37:22,293 writing certora_cli_alpha_uri_broaden_server.egg-info/PKG-INFO 2023-05-17T02:37:22,295 writing dependency_links to certora_cli_alpha_uri_broaden_server.egg-info/dependency_links.txt 2023-05-17T02:37:22,297 writing entry points to certora_cli_alpha_uri_broaden_server.egg-info/entry_points.txt 2023-05-17T02:37:22,298 writing requirements to certora_cli_alpha_uri_broaden_server.egg-info/requires.txt 2023-05-17T02:37:22,300 writing top-level names to certora_cli_alpha_uri_broaden_server.egg-info/top_level.txt 2023-05-17T02:37:22,328 reading manifest file 'certora_cli_alpha_uri_broaden_server.egg-info/SOURCES.txt' 2023-05-17T02:37:22,330 reading manifest template 'MANIFEST.in' 2023-05-17T02:37:22,338 adding license file 'LICENSE' 2023-05-17T02:37:22,342 writing manifest file 'certora_cli_alpha_uri_broaden_server.egg-info/SOURCES.txt' 2023-05-17T02:37:22,345 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-17T02:37:22,347 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-17T02:37:22,577 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-17T02:37:22,739 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-17T02:37:22,923 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-17T02:37:23,014 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-17T02:37:23,107 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-17T02:37:23,107 !! 2023-05-17T02:37:23,107 ******************************************************************************** 2023-05-17T02:37:23,107 Please avoid running ``setup.py`` directly. 2023-05-17T02:37:23,107 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-17T02:37:23,108 other standards-based tools. 2023-05-17T02:37:23,108 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-17T02:37:23,108 ******************************************************************************** 2023-05-17T02:37:23,108 !! 2023-05-17T02:37:23,108 self.initialize_options() 2023-05-17T02:37:23,133 installing to build/bdist.linux-armv7l/wheel 2023-05-17T02:37:23,133 running install 2023-05-17T02:37:23,158 running install_lib 2023-05-17T02:37:23,184 creating build/bdist.linux-armv7l 2023-05-17T02:37:23,184 creating build/bdist.linux-armv7l/wheel 2023-05-17T02:37:23,186 creating build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T02:37:23,187 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T02:37:23,380 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T02:37:23,547 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T02:37:23,608 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T02:37:23,609 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T02:37:23,611 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T02:37:23,705 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T02:37:23,916 creating build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T02:37:23,918 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T02:37:23,920 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T02:37:23,922 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T02:37:23,924 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T02:37:23,925 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T02:37:23,928 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T02:37:23,930 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T02:37:23,932 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T02:37:23,935 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:37:23,936 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:37:23,942 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:37:23,945 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:37:23,947 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:37:23,950 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:37:23,952 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:37:23,955 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:37:23,957 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:37:23,959 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:37:23,961 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:37:23,964 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:37:23,967 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T02:37:23,968 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T02:37:23,971 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T02:37:23,973 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T02:37:23,975 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T02:37:23,977 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T02:37:23,979 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:37:23,982 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:37:23,984 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:37:23,986 running install_egg_info 2023-05-17T02:37:24,015 Copying certora_cli_alpha_uri_broaden_server.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_uri_broaden_server-20230516.11.5.786137-py3.9.egg-info 2023-05-17T02:37:24,026 running install_scripts 2023-05-17T02:37:24,044 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-05-17T02:37:24,048 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_uri_broaden_server-20230516.11.5.786137.dist-info/WHEEL 2023-05-17T02:37:24,050 creating '/tmp/pip-wheel-vnso63fp/certora_cli_alpha_uri_broaden_server-20230516.11.5.786137-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-05-17T02:37:24,053 adding 'certora_cli/__init__.py' 2023-05-17T02:37:24,054 adding 'certora_cli/certoraMutate.py' 2023-05-17T02:37:24,056 adding 'certora_cli/certoraRun.py' 2023-05-17T02:37:24,058 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-17T02:37:24,080 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-17T02:37:24,087 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-17T02:37:24,089 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-17T02:37:24,091 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-17T02:37:24,095 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-17T02:37:24,099 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-17T02:37:24,100 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-17T02:37:24,106 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-17T02:37:24,107 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-05-17T02:37:24,109 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-17T02:37:24,111 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-17T02:37:24,114 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-17T02:37:24,117 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-17T02:37:24,120 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-17T02:37:24,121 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-17T02:37:24,123 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-17T02:37:24,127 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-17T02:37:24,128 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-17T02:37:24,130 adding 'certora_cli/Shared/__init__.py' 2023-05-17T02:37:24,132 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-17T02:37:24,134 adding 'certora_cli/Shared/certoraTester.py' 2023-05-17T02:37:24,140 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-17T02:37:24,144 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-17T02:37:25,824 adding 'certora_jars/MutationTest.jar' 2023-05-17T02:37:27,156 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-17T02:37:28,740 adding 'certora_jars/Typechecker.jar' 2023-05-17T02:37:28,823 adding 'certora_jars/__init__.py' 2023-05-17T02:37:29,561 adding 'certora_jars/gambit-linux' 2023-05-17T02:37:30,222 adding 'certora_jars/gambit-macos' 2023-05-17T02:37:30,248 adding 'certora_cli_alpha_uri_broaden_server-20230516.11.5.786137.dist-info/LICENSE' 2023-05-17T02:37:30,249 adding 'certora_cli_alpha_uri_broaden_server-20230516.11.5.786137.dist-info/METADATA' 2023-05-17T02:37:30,250 adding 'certora_cli_alpha_uri_broaden_server-20230516.11.5.786137.dist-info/WHEEL' 2023-05-17T02:37:30,251 adding 'certora_cli_alpha_uri_broaden_server-20230516.11.5.786137.dist-info/entry_points.txt' 2023-05-17T02:37:30,252 adding 'certora_cli_alpha_uri_broaden_server-20230516.11.5.786137.dist-info/top_level.txt' 2023-05-17T02:37:30,253 adding 'certora_cli_alpha_uri_broaden_server-20230516.11.5.786137.dist-info/RECORD' 2023-05-17T02:37:30,688 removing build/bdist.linux-armv7l/wheel 2023-05-17T02:37:30,811 Building wheel for certora-cli-alpha-uri-broaden-server (setup.py): finished with status 'done' 2023-05-17T02:37:31,198 Created wheel for certora-cli-alpha-uri-broaden-server: filename=certora_cli_alpha_uri_broaden_server-20230516.11.5.786137-py3-none-any.whl size=39005683 sha256=0069bbfd250778b8acd4420fa79ead3e589b90a2f3b2974d69dba50ed22b52e5 2023-05-17T02:37:31,199 Stored in directory: /tmp/pip-ephem-wheel-cache-62es2m_6/wheels/e8/9c/9c/bc1aeb33f65d214ebcb05e846b8e4887d69504aca358bb5867 2023-05-17T02:37:31,223 Successfully built certora-cli-alpha-uri-broaden-server 2023-05-17T02:37:32,127 Removed build tracker: '/tmp/pip-build-tracker-0a0bjibl'