2023-05-13T14:43:26,819 Created temporary directory: /tmp/pip-build-tracker-hlpn6n7m 2023-05-13T14:43:26,821 Initialized build tracking at /tmp/pip-build-tracker-hlpn6n7m 2023-05-13T14:43:26,821 Created build tracker: /tmp/pip-build-tracker-hlpn6n7m 2023-05-13T14:43:26,821 Entered build tracker: /tmp/pip-build-tracker-hlpn6n7m 2023-05-13T14:43:26,822 Created temporary directory: /tmp/pip-wheel-4ua37m9p 2023-05-13T14:43:26,826 Created temporary directory: /tmp/pip-ephem-wheel-cache-kbuy61cv 2023-05-13T14:43:26,851 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-13T14:43:26,855 2 location(s) to search for versions of certora-cli-alpha-rahav-cert-1849: 2023-05-13T14:43:26,855 * https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/ 2023-05-13T14:43:26,855 * https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/ 2023-05-13T14:43:26,855 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/ 2023-05-13T14:43:26,856 Getting page https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/ 2023-05-13T14:43:26,857 Found index url https://pypi.org/simple/ 2023-05-13T14:43:26,917 Fetched page https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/ as application/vnd.pypi.simple.v1+json 2023-05-13T14:43:26,920 Found link https://files.pythonhosted.org/packages/fb/2d/b6f601bbdbd48e71e9f8329b4932f82ae7ad90ea7dbe2005cd2113c025ef/certora-cli-alpha-rahav-CERT-1849-20230501.9.3.679493.tar.gz (from https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/) (requires-python:>=3.8.16), version: 20230501.9.3.679493 2023-05-13T14:43:26,920 Skipping link: No binaries permitted for certora-cli-alpha-rahav-cert-1849: https://files.pythonhosted.org/packages/60/73/4b8facbe57543279e23999d2a5b497a600a94b499295be6c4b027d934369/certora_cli_alpha_rahav_CERT_1849-20230501.9.3.679493-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/) (requires-python:>=3.8.16) 2023-05-13T14:43:26,921 Found link https://files.pythonhosted.org/packages/ff/10/ba762e39fe81bb2d6ff4f25c2d2e84b372b9a6d9075bb81f5756b1e4e612/certora-cli-alpha-rahav-CERT-1849-20230501.11.3.354497.tar.gz (from https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/) (requires-python:>=3.8.16), version: 20230501.11.3.354497 2023-05-13T14:43:26,921 Skipping link: No binaries permitted for certora-cli-alpha-rahav-cert-1849: https://files.pythonhosted.org/packages/39/e1/741363d85c0acc1a2e72f59b885e0b1f68adcfe1f40518b1a91769ced736/certora_cli_alpha_rahav_CERT_1849-20230501.11.3.354497-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/) (requires-python:>=3.8.16) 2023-05-13T14:43:26,921 Found link https://files.pythonhosted.org/packages/69/01/acd3033df60ac7344cb2ec6a8c74f42c97ab6e74f1c6c264b6f1c05ed3b6/certora-cli-alpha-rahav-CERT-1849-20230501.11.34.215275.tar.gz (from https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/) (requires-python:>=3.8.16), version: 20230501.11.34.215275 2023-05-13T14:43:26,922 Skipping link: No binaries permitted for certora-cli-alpha-rahav-cert-1849: https://files.pythonhosted.org/packages/5c/24/25d17ed7e7c8ce290db16820c03210e4baa6abdf34319313d7c6cacbf063/certora_cli_alpha_rahav_CERT_1849-20230501.11.34.215275-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/) (requires-python:>=3.8.16) 2023-05-13T14:43:26,922 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/ 2023-05-13T14:43:26,922 Getting page https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/ 2023-05-13T14:43:26,923 Found index url https://www.piwheels.org/simple/ 2023-05-13T14:43:27,089 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/ as text/html 2023-05-13T14:43:27,090 Skipping link: No binaries permitted for certora-cli-alpha-rahav-cert-1849: https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/certora_cli_alpha_rahav_CERT_1849-20230501.11.34.215275-py3-none-any.whl#sha256=cda759e55e25ad455cafc57892cf779260ca9299a514a825b7bffc059ed732ad (from https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/) (requires-python:>=3.8.16) 2023-05-13T14:43:27,091 Skipping link: No binaries permitted for certora-cli-alpha-rahav-cert-1849: https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/certora_cli_alpha_rahav_CERT_1849-20230501.11.3.354497-py3-none-any.whl#sha256=4a0cb0e2a3336c3ccc520ce37bd37826b2bddb6562fe3c56964430b0c36988c6 (from https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/) (requires-python:>=3.8.16) 2023-05-13T14:43:27,091 Skipping link: No binaries permitted for certora-cli-alpha-rahav-cert-1849: https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/certora_cli_alpha_rahav_CERT_1849-20230501.9.3.679493-py3-none-any.whl#sha256=b3ad4cc6018c538c315197b5ec8589c463bbae7fcc79b3e79ac0f130ce93ffd7 (from https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/) (requires-python:>=3.8.16) 2023-05-13T14:43:27,091 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/ 2023-05-13T14:43:27,091 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/ 2023-05-13T14:43:27,110 Given no hashes to check 1 links for project 'certora-cli-alpha-rahav-cert-1849': discarding no candidates 2023-05-13T14:43:27,128 Collecting certora-cli-alpha-rahav-cert-1849==20230501.9.3.679493 2023-05-13T14:43:27,130 Created temporary directory: /tmp/pip-unpack-jovrvs0x 2023-05-13T14:43:27,570 Downloading certora-cli-alpha-rahav-CERT-1849-20230501.9.3.679493.tar.gz (38.3 MB) 2023-05-13T14:43:37,133 Added certora-cli-alpha-rahav-cert-1849==20230501.9.3.679493 from https://files.pythonhosted.org/packages/fb/2d/b6f601bbdbd48e71e9f8329b4932f82ae7ad90ea7dbe2005cd2113c025ef/certora-cli-alpha-rahav-CERT-1849-20230501.9.3.679493.tar.gz to build tracker '/tmp/pip-build-tracker-hlpn6n7m' 2023-05-13T14:43:37,136 Running setup.py (path:/tmp/pip-wheel-4ua37m9p/certora-cli-alpha-rahav-cert-1849_51cf4123d4b946aca49c5242e2c7e0b7/setup.py) egg_info for package certora-cli-alpha-rahav-cert-1849 2023-05-13T14:43:37,137 Created temporary directory: /tmp/pip-pip-egg-info-475h4e_0 2023-05-13T14:43:37,137 Preparing metadata (setup.py): started 2023-05-13T14:43:37,138 Running command python setup.py egg_info 2023-05-13T14:43:37,793 running egg_info 2023-05-13T14:43:37,795 creating /tmp/pip-pip-egg-info-475h4e_0/certora_cli_alpha_rahav_CERT_1849.egg-info 2023-05-13T14:43:37,822 writing /tmp/pip-pip-egg-info-475h4e_0/certora_cli_alpha_rahav_CERT_1849.egg-info/PKG-INFO 2023-05-13T14:43:37,824 writing dependency_links to /tmp/pip-pip-egg-info-475h4e_0/certora_cli_alpha_rahav_CERT_1849.egg-info/dependency_links.txt 2023-05-13T14:43:37,826 writing entry points to /tmp/pip-pip-egg-info-475h4e_0/certora_cli_alpha_rahav_CERT_1849.egg-info/entry_points.txt 2023-05-13T14:43:37,828 writing requirements to /tmp/pip-pip-egg-info-475h4e_0/certora_cli_alpha_rahav_CERT_1849.egg-info/requires.txt 2023-05-13T14:43:37,829 writing top-level names to /tmp/pip-pip-egg-info-475h4e_0/certora_cli_alpha_rahav_CERT_1849.egg-info/top_level.txt 2023-05-13T14:43:37,831 writing manifest file '/tmp/pip-pip-egg-info-475h4e_0/certora_cli_alpha_rahav_CERT_1849.egg-info/SOURCES.txt' 2023-05-13T14:43:37,924 reading manifest file '/tmp/pip-pip-egg-info-475h4e_0/certora_cli_alpha_rahav_CERT_1849.egg-info/SOURCES.txt' 2023-05-13T14:43:37,926 reading manifest template 'MANIFEST.in' 2023-05-13T14:43:37,936 adding license file 'LICENSE' 2023-05-13T14:43:37,940 writing manifest file '/tmp/pip-pip-egg-info-475h4e_0/certora_cli_alpha_rahav_CERT_1849.egg-info/SOURCES.txt' 2023-05-13T14:43:37,999 Preparing metadata (setup.py): finished with status 'done' 2023-05-13T14:43:38,005 Source in /tmp/pip-wheel-4ua37m9p/certora-cli-alpha-rahav-cert-1849_51cf4123d4b946aca49c5242e2c7e0b7 has version 20230501.9.3.679493, which satisfies requirement certora-cli-alpha-rahav-cert-1849==20230501.9.3.679493 from https://files.pythonhosted.org/packages/fb/2d/b6f601bbdbd48e71e9f8329b4932f82ae7ad90ea7dbe2005cd2113c025ef/certora-cli-alpha-rahav-CERT-1849-20230501.9.3.679493.tar.gz 2023-05-13T14:43:38,006 Removed certora-cli-alpha-rahav-cert-1849==20230501.9.3.679493 from https://files.pythonhosted.org/packages/fb/2d/b6f601bbdbd48e71e9f8329b4932f82ae7ad90ea7dbe2005cd2113c025ef/certora-cli-alpha-rahav-CERT-1849-20230501.9.3.679493.tar.gz from build tracker '/tmp/pip-build-tracker-hlpn6n7m' 2023-05-13T14:43:38,013 Created temporary directory: /tmp/pip-unpack-mms04pne 2023-05-13T14:43:38,013 Building wheels for collected packages: certora-cli-alpha-rahav-cert-1849 2023-05-13T14:43:38,018 Created temporary directory: /tmp/pip-wheel-yxmed9ge 2023-05-13T14:43:38,018 Building wheel for certora-cli-alpha-rahav-cert-1849 (setup.py): started 2023-05-13T14:43:38,019 Destination directory: /tmp/pip-wheel-yxmed9ge 2023-05-13T14:43:38,020 Running command python setup.py bdist_wheel 2023-05-13T14:43:38,683 running bdist_wheel 2023-05-13T14:43:38,978 running build 2023-05-13T14:43:38,978 running build_py 2023-05-13T14:43:39,009 creating build 2023-05-13T14:43:39,009 creating build/lib 2023-05-13T14:43:39,010 creating build/lib/certora_jars 2023-05-13T14:43:39,012 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-13T14:43:39,014 creating build/lib/certora_cli 2023-05-13T14:43:39,015 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-13T14:43:39,017 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-13T14:43:39,019 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-13T14:43:39,023 creating build/lib/certora_cli/EVMVerifier 2023-05-13T14:43:39,023 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T14:43:39,026 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T14:43:39,029 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T14:43:39,032 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T14:43:39,038 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T14:43:39,040 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T14:43:39,043 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T14:43:39,045 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T14:43:39,048 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T14:43:39,050 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T14:43:39,052 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T14:43:39,055 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T14:43:39,058 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T14:43:39,061 creating build/lib/certora_cli/Shared 2023-05-13T14:43:39,062 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-13T14:43:39,064 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-13T14:43:39,066 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-13T14:43:39,069 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-13T14:43:39,073 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T14:43:39,074 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T14:43:39,076 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T14:43:39,079 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T14:43:39,081 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T14:43:39,084 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T14:43:39,085 running egg_info 2023-05-13T14:43:39,148 writing certora_cli_alpha_rahav_CERT_1849.egg-info/PKG-INFO 2023-05-13T14:43:39,150 writing dependency_links to certora_cli_alpha_rahav_CERT_1849.egg-info/dependency_links.txt 2023-05-13T14:43:39,152 writing entry points to certora_cli_alpha_rahav_CERT_1849.egg-info/entry_points.txt 2023-05-13T14:43:39,154 writing requirements to certora_cli_alpha_rahav_CERT_1849.egg-info/requires.txt 2023-05-13T14:43:39,155 writing top-level names to certora_cli_alpha_rahav_CERT_1849.egg-info/top_level.txt 2023-05-13T14:43:39,189 reading manifest file 'certora_cli_alpha_rahav_CERT_1849.egg-info/SOURCES.txt' 2023-05-13T14:43:39,192 reading manifest template 'MANIFEST.in' 2023-05-13T14:43:39,201 adding license file 'LICENSE' 2023-05-13T14:43:39,205 writing manifest file 'certora_cli_alpha_rahav_CERT_1849.egg-info/SOURCES.txt' 2023-05-13T14:43:39,209 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-13T14:43:39,212 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-13T14:43:39,461 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-13T14:43:39,641 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-13T14:43:39,826 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-13T14:43:39,944 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-13T14:43:40,072 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-13T14:43:40,072 !! 2023-05-13T14:43:40,073 ******************************************************************************** 2023-05-13T14:43:40,073 Please avoid running ``setup.py`` directly. 2023-05-13T14:43:40,073 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-13T14:43:40,073 other standards-based tools. 2023-05-13T14:43:40,073 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-13T14:43:40,073 ******************************************************************************** 2023-05-13T14:43:40,074 !! 2023-05-13T14:43:40,074 self.initialize_options() 2023-05-13T14:43:40,102 installing to build/bdist.linux-aarch64/wheel 2023-05-13T14:43:40,102 running install 2023-05-13T14:43:40,127 running install_lib 2023-05-13T14:43:40,157 creating build/bdist.linux-aarch64 2023-05-13T14:43:40,158 creating build/bdist.linux-aarch64/wheel 2023-05-13T14:43:40,160 creating build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T14:43:40,161 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T14:43:40,396 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T14:43:40,398 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T14:43:40,521 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T14:43:40,603 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T14:43:40,799 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T14:43:40,801 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T14:43:40,969 creating build/bdist.linux-aarch64/wheel/certora_cli 2023-05-13T14:43:40,971 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T14:43:40,972 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T14:43:40,974 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T14:43:40,977 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T14:43:40,981 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T14:43:40,987 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T14:43:40,988 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T14:43:40,991 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T14:43:40,994 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T14:43:40,997 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T14:43:41,000 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T14:43:41,002 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T14:43:41,005 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T14:43:41,008 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T14:43:41,010 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T14:43:41,014 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T14:43:41,018 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T14:43:41,020 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T14:43:41,024 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T14:43:41,028 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T14:43:41,031 creating build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T14:43:41,032 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T14:43:41,035 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T14:43:41,037 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T14:43:41,041 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T14:43:41,044 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-13T14:43:41,046 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-13T14:43:41,048 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-13T14:43:41,051 running install_egg_info 2023-05-13T14:43:41,083 Copying certora_cli_alpha_rahav_CERT_1849.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_rahav_CERT_1849-20230501.9.3.679493-py3.9.egg-info 2023-05-13T14:43:41,097 running install_scripts 2023-05-13T14:43:41,116 creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_rahav_CERT_1849-20230501.9.3.679493.dist-info/WHEEL 2023-05-13T14:43:41,119 creating '/tmp/pip-wheel-yxmed9ge/certora_cli_alpha_rahav_CERT_1849-20230501.9.3.679493-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it 2023-05-13T14:43:41,122 adding 'certora_cli/__init__.py' 2023-05-13T14:43:41,124 adding 'certora_cli/certoraMutate.py' 2023-05-13T14:43:41,126 adding 'certora_cli/certoraRun.py' 2023-05-13T14:43:41,129 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-13T14:43:41,150 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-13T14:43:41,158 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-13T14:43:41,160 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-13T14:43:41,162 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-13T14:43:41,167 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-13T14:43:41,171 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-13T14:43:41,173 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-13T14:43:41,179 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-13T14:43:41,181 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-13T14:43:41,183 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-13T14:43:41,185 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-13T14:43:41,189 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-13T14:43:41,192 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-13T14:43:41,194 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-13T14:43:41,195 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-13T14:43:41,199 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-13T14:43:41,201 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-13T14:43:41,203 adding 'certora_cli/Shared/__init__.py' 2023-05-13T14:43:41,205 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-13T14:43:41,207 adding 'certora_cli/Shared/certoraTester.py' 2023-05-13T14:43:41,213 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-13T14:43:41,216 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-13T14:43:42,786 adding 'certora_jars/MutationTest.jar' 2023-05-13T14:43:44,091 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-13T14:43:45,572 adding 'certora_jars/Typechecker.jar' 2023-05-13T14:43:45,651 adding 'certora_jars/__init__.py' 2023-05-13T14:43:46,505 adding 'certora_jars/gambit-linux' 2023-05-13T14:43:47,362 adding 'certora_jars/gambit-macos' 2023-05-13T14:43:47,397 adding 'certora_cli_alpha_rahav_CERT_1849-20230501.9.3.679493.dist-info/LICENSE' 2023-05-13T14:43:47,399 adding 'certora_cli_alpha_rahav_CERT_1849-20230501.9.3.679493.dist-info/METADATA' 2023-05-13T14:43:47,400 adding 'certora_cli_alpha_rahav_CERT_1849-20230501.9.3.679493.dist-info/WHEEL' 2023-05-13T14:43:47,401 adding 'certora_cli_alpha_rahav_CERT_1849-20230501.9.3.679493.dist-info/entry_points.txt' 2023-05-13T14:43:47,402 adding 'certora_cli_alpha_rahav_CERT_1849-20230501.9.3.679493.dist-info/top_level.txt' 2023-05-13T14:43:47,403 adding 'certora_cli_alpha_rahav_CERT_1849-20230501.9.3.679493.dist-info/RECORD' 2023-05-13T14:43:47,879 removing build/bdist.linux-aarch64/wheel 2023-05-13T14:43:47,996 Building wheel for certora-cli-alpha-rahav-cert-1849 (setup.py): finished with status 'done' 2023-05-13T14:43:48,319 Created wheel for certora-cli-alpha-rahav-cert-1849: filename=certora_cli_alpha_rahav_CERT_1849-20230501.9.3.679493-py3-none-any.whl size=38337594 sha256=da4411957ca0a2ad15b8504fcea90a575c31a7cbcb80c77642c8e118487ad592 2023-05-13T14:43:48,320 Stored in directory: /tmp/pip-ephem-wheel-cache-kbuy61cv/wheels/06/47/a6/96827e6bc14bcf28dcbbf0d13f6ab5793c81925ab157730127 2023-05-13T14:43:48,350 Successfully built certora-cli-alpha-rahav-cert-1849 2023-05-13T14:43:49,367 Removed build tracker: '/tmp/pip-build-tracker-hlpn6n7m'