2023-05-17T14:06:51,478 Created temporary directory: /tmp/pip-build-tracker-gdka_wnr 2023-05-17T14:06:51,479 Initialized build tracking at /tmp/pip-build-tracker-gdka_wnr 2023-05-17T14:06:51,479 Created build tracker: /tmp/pip-build-tracker-gdka_wnr 2023-05-17T14:06:51,479 Entered build tracker: /tmp/pip-build-tracker-gdka_wnr 2023-05-17T14:06:51,480 Created temporary directory: /tmp/pip-wheel-j8evzucl 2023-05-17T14:06:51,484 Created temporary directory: /tmp/pip-ephem-wheel-cache-3n5335pc 2023-05-17T14:06:51,506 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-17T14:06:51,510 2 location(s) to search for versions of certora-cli-alpha-shays-cert-1717-b: 2023-05-17T14:06:51,510 * https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/ 2023-05-17T14:06:51,510 * https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/ 2023-05-17T14:06:51,510 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/ 2023-05-17T14:06:51,511 Getting page https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/ 2023-05-17T14:06:51,513 Found index url https://pypi.org/simple/ 2023-05-17T14:06:51,565 Fetched page https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/ as application/vnd.pypi.simple.v1+json 2023-05-17T14:06:51,568 Found link https://files.pythonhosted.org/packages/64/27/7d116b8c58d96e64c8ed1e7756cd9788d4e7439aa77a29484d23b3d4d467/certora-cli-alpha-shays-CERT-1717-b-20230515.8.39.685357.tar.gz (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16), version: 20230515.8.39.685357 2023-05-17T14:06:51,569 Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-1717-b: https://files.pythonhosted.org/packages/03/f2/a0dffa11cc30dc0ef9095f24e9c9e526e91c5cc676211e6a4491d6e9297f/certora_cli_alpha_shays_CERT_1717_b-20230515.8.39.685357-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16) 2023-05-17T14:06:51,569 Found link https://files.pythonhosted.org/packages/4f/7c/94ab6dbfc905458640c42779a415e7341aecf8db900799a785455caaa1ad/certora-cli-alpha-shays-CERT-1717-b-20230515.10.8.581349.tar.gz (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16), version: 20230515.10.8.581349 2023-05-17T14:06:51,570 Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-1717-b: https://files.pythonhosted.org/packages/c4/c8/28da776d9b16080d94f407da5fbe55530cebdb91d337e1ae4714e7a44016/certora_cli_alpha_shays_CERT_1717_b-20230515.10.8.581349-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16) 2023-05-17T14:06:51,570 Found link https://files.pythonhosted.org/packages/d3/13/d0c183a6dad3b1d59efe91f8b27b30e9982057a986642493c0a2fa42f0ea/certora-cli-alpha-shays-CERT-1717-b-20230515.13.51.956104.tar.gz (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16), version: 20230515.13.51.956104 2023-05-17T14:06:51,571 Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-1717-b: https://files.pythonhosted.org/packages/a0/35/c3fd1726ac75e088da1893852418aaaa3d873fd34dd7f18d70e7ad64aa9f/certora_cli_alpha_shays_CERT_1717_b-20230515.13.51.956104-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16) 2023-05-17T14:06:51,571 Found link https://files.pythonhosted.org/packages/0b/68/4e86d98b0153bc19e5fded52f8923e541dc84fd69dc6d6a7fb55dad722f0/certora-cli-alpha-shays-CERT-1717-b-20230515.15.6.569177.tar.gz (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16), version: 20230515.15.6.569177 2023-05-17T14:06:51,571 Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-1717-b: https://files.pythonhosted.org/packages/b2/09/de5266ee645839648fcf30b32ba6113419125b87f9d829210682bb9a8959/certora_cli_alpha_shays_CERT_1717_b-20230515.15.6.569177-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16) 2023-05-17T14:06:51,572 Found link https://files.pythonhosted.org/packages/59/e6/abb501a262def0fed4e569d4458a56570d4d5dc3d00c54bb4b3b14d344cf/certora-cli-alpha-shays-CERT-1717-b-20230517.9.54.28934.tar.gz (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16), version: 20230517.9.54.28934 2023-05-17T14:06:51,572 Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-1717-b: https://files.pythonhosted.org/packages/e3/de/e0514af19dcd84abc1485e168da2d4d328fd443d6a9afd24b803669e4deb/certora_cli_alpha_shays_CERT_1717_b-20230517.9.54.28934-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16) 2023-05-17T14:06:51,573 Found link https://files.pythonhosted.org/packages/a8/8b/946aa00817193fc56ca85c5a87ed9a5883b0323a651416e4fcb660c7772f/certora-cli-alpha-shays-CERT-1717-b-20230517.11.42.895594.tar.gz (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16), version: 20230517.11.42.895594 2023-05-17T14:06:51,573 Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-1717-b: https://files.pythonhosted.org/packages/71/be/45fdfa96fd4ca22eb04801eb1e1c8b339b27bee1da3d43a76ccd819f1ced/certora_cli_alpha_shays_CERT_1717_b-20230517.11.42.895594-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16) 2023-05-17T14:06:51,574 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/ 2023-05-17T14:06:51,574 Getting page https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/ 2023-05-17T14:06:51,575 Found index url https://www.piwheels.org/simple/ 2023-05-17T14:06:51,754 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/ as text/html 2023-05-17T14:06:51,757 Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-1717-b: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/certora_cli_alpha_shays_CERT_1717_b-20230517.9.54.28934-py3-none-any.whl#sha256=70c61d841348cd6249027d70aa03959863138b620086e907c4435b671d9f59a0 (from https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16) 2023-05-17T14:06:51,757 Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-1717-b: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/certora_cli_alpha_shays_CERT_1717_b-20230515.15.6.569177-py3-none-any.whl#sha256=1ad744fba06fc03ede1cecc64e052765408cfe9ba5c41716a3c8678dc595c83a (from https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16) 2023-05-17T14:06:51,757 Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-1717-b: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/certora_cli_alpha_shays_CERT_1717_b-20230515.13.51.956104-py3-none-any.whl#sha256=6e557d3f75a49400a4eaec97c7a08b7fdc40839529177369560ea215c0f2f091 (from https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16) 2023-05-17T14:06:51,758 Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-1717-b: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/certora_cli_alpha_shays_CERT_1717_b-20230515.10.8.581349-py3-none-any.whl#sha256=b659d52d6c4a36c59d237f5fb42c5c3566bba250e17abedaa0d72c8d531aafb1 (from https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16) 2023-05-17T14:06:51,758 Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-1717-b: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/certora_cli_alpha_shays_CERT_1717_b-20230515.8.39.685357-py3-none-any.whl#sha256=fb55397630560018aa3905318e6da64ce9b18e01b195293d23ce3fc128154d56 (from https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/) (requires-python:>=3.8.16) 2023-05-17T14:06:51,758 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/ 2023-05-17T14:06:51,758 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/ 2023-05-17T14:06:51,776 Given no hashes to check 1 links for project 'certora-cli-alpha-shays-cert-1717-b': discarding no candidates 2023-05-17T14:06:51,793 Collecting certora-cli-alpha-shays-cert-1717-b==20230517.11.42.895594 2023-05-17T14:06:51,795 Created temporary directory: /tmp/pip-unpack-tbz4fhf2 2023-05-17T14:06:52,188 Downloading certora-cli-alpha-shays-CERT-1717-b-20230517.11.42.895594.tar.gz (38.8 MB) 2023-05-17T14:07:03,059 Added certora-cli-alpha-shays-cert-1717-b==20230517.11.42.895594 from https://files.pythonhosted.org/packages/a8/8b/946aa00817193fc56ca85c5a87ed9a5883b0323a651416e4fcb660c7772f/certora-cli-alpha-shays-CERT-1717-b-20230517.11.42.895594.tar.gz to build tracker '/tmp/pip-build-tracker-gdka_wnr' 2023-05-17T14:07:03,062 Running setup.py (path:/tmp/pip-wheel-j8evzucl/certora-cli-alpha-shays-cert-1717-b_e96caa2c5df545aea930c5734caef844/setup.py) egg_info for package certora-cli-alpha-shays-cert-1717-b 2023-05-17T14:07:03,062 Created temporary directory: /tmp/pip-pip-egg-info-ctnhxhs3 2023-05-17T14:07:03,063 Preparing metadata (setup.py): started 2023-05-17T14:07:03,064 Running command python setup.py egg_info 2023-05-17T14:07:03,905 running egg_info 2023-05-17T14:07:03,906 creating /tmp/pip-pip-egg-info-ctnhxhs3/certora_cli_alpha_shays_CERT_1717_b.egg-info 2023-05-17T14:07:03,931 writing /tmp/pip-pip-egg-info-ctnhxhs3/certora_cli_alpha_shays_CERT_1717_b.egg-info/PKG-INFO 2023-05-17T14:07:03,933 writing dependency_links to /tmp/pip-pip-egg-info-ctnhxhs3/certora_cli_alpha_shays_CERT_1717_b.egg-info/dependency_links.txt 2023-05-17T14:07:03,935 writing entry points to /tmp/pip-pip-egg-info-ctnhxhs3/certora_cli_alpha_shays_CERT_1717_b.egg-info/entry_points.txt 2023-05-17T14:07:03,937 writing requirements to /tmp/pip-pip-egg-info-ctnhxhs3/certora_cli_alpha_shays_CERT_1717_b.egg-info/requires.txt 2023-05-17T14:07:03,938 writing top-level names to /tmp/pip-pip-egg-info-ctnhxhs3/certora_cli_alpha_shays_CERT_1717_b.egg-info/top_level.txt 2023-05-17T14:07:03,939 writing manifest file '/tmp/pip-pip-egg-info-ctnhxhs3/certora_cli_alpha_shays_CERT_1717_b.egg-info/SOURCES.txt' 2023-05-17T14:07:04,025 reading manifest file '/tmp/pip-pip-egg-info-ctnhxhs3/certora_cli_alpha_shays_CERT_1717_b.egg-info/SOURCES.txt' 2023-05-17T14:07:04,027 reading manifest template 'MANIFEST.in' 2023-05-17T14:07:04,037 adding license file 'LICENSE' 2023-05-17T14:07:04,040 writing manifest file '/tmp/pip-pip-egg-info-ctnhxhs3/certora_cli_alpha_shays_CERT_1717_b.egg-info/SOURCES.txt' 2023-05-17T14:07:04,101 Preparing metadata (setup.py): finished with status 'done' 2023-05-17T14:07:04,106 Source in /tmp/pip-wheel-j8evzucl/certora-cli-alpha-shays-cert-1717-b_e96caa2c5df545aea930c5734caef844 has version 20230517.11.42.895594, which satisfies requirement certora-cli-alpha-shays-cert-1717-b==20230517.11.42.895594 from https://files.pythonhosted.org/packages/a8/8b/946aa00817193fc56ca85c5a87ed9a5883b0323a651416e4fcb660c7772f/certora-cli-alpha-shays-CERT-1717-b-20230517.11.42.895594.tar.gz 2023-05-17T14:07:04,107 Removed certora-cli-alpha-shays-cert-1717-b==20230517.11.42.895594 from https://files.pythonhosted.org/packages/a8/8b/946aa00817193fc56ca85c5a87ed9a5883b0323a651416e4fcb660c7772f/certora-cli-alpha-shays-CERT-1717-b-20230517.11.42.895594.tar.gz from build tracker '/tmp/pip-build-tracker-gdka_wnr' 2023-05-17T14:07:04,113 Created temporary directory: /tmp/pip-unpack-mt_ew9s5 2023-05-17T14:07:04,114 Building wheels for collected packages: certora-cli-alpha-shays-cert-1717-b 2023-05-17T14:07:04,118 Created temporary directory: /tmp/pip-wheel-mbl6e3vk 2023-05-17T14:07:04,119 Building wheel for certora-cli-alpha-shays-cert-1717-b (setup.py): started 2023-05-17T14:07:04,120 Destination directory: /tmp/pip-wheel-mbl6e3vk 2023-05-17T14:07:04,120 Running command python setup.py bdist_wheel 2023-05-17T14:07:05,525 running bdist_wheel 2023-05-17T14:07:06,707 running build 2023-05-17T14:07:06,708 running build_py 2023-05-17T14:07:06,747 creating build 2023-05-17T14:07:06,748 creating build/lib 2023-05-17T14:07:06,748 creating build/lib/certora_jars 2023-05-17T14:07:06,749 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-17T14:07:06,752 creating build/lib/certora_cli 2023-05-17T14:07:06,752 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-17T14:07:06,754 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-17T14:07:06,756 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-17T14:07:06,758 creating build/lib/certora_cli/Shared 2023-05-17T14:07:06,759 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-17T14:07:06,762 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-17T14:07:06,764 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-17T14:07:06,766 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-17T14:07:06,769 creating build/lib/certora_cli/EVMVerifier 2023-05-17T14:07:06,770 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T14:07:06,772 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T14:07:06,775 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T14:07:06,777 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T14:07:06,779 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T14:07:06,781 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T14:07:06,784 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T14:07:06,785 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T14:07:06,788 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T14:07:06,794 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T14:07:06,797 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T14:07:06,799 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T14:07:06,801 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T14:07:06,803 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T14:07:06,806 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T14:07:06,807 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T14:07:06,809 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T14:07:06,811 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T14:07:06,813 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T14:07:06,815 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T14:07:06,817 running egg_info 2023-05-17T14:07:06,876 writing certora_cli_alpha_shays_CERT_1717_b.egg-info/PKG-INFO 2023-05-17T14:07:06,877 writing dependency_links to certora_cli_alpha_shays_CERT_1717_b.egg-info/dependency_links.txt 2023-05-17T14:07:06,880 writing entry points to certora_cli_alpha_shays_CERT_1717_b.egg-info/entry_points.txt 2023-05-17T14:07:06,881 writing requirements to certora_cli_alpha_shays_CERT_1717_b.egg-info/requires.txt 2023-05-17T14:07:06,882 writing top-level names to certora_cli_alpha_shays_CERT_1717_b.egg-info/top_level.txt 2023-05-17T14:07:06,914 reading manifest file 'certora_cli_alpha_shays_CERT_1717_b.egg-info/SOURCES.txt' 2023-05-17T14:07:06,916 reading manifest template 'MANIFEST.in' 2023-05-17T14:07:06,925 adding license file 'LICENSE' 2023-05-17T14:07:06,929 writing manifest file 'certora_cli_alpha_shays_CERT_1717_b.egg-info/SOURCES.txt' 2023-05-17T14:07:06,932 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-17T14:07:06,934 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-17T14:07:07,141 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-17T14:07:07,297 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-17T14:07:07,510 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-17T14:07:07,600 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-17T14:07:07,743 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-17T14:07:07,744 !! 2023-05-17T14:07:07,744 ******************************************************************************** 2023-05-17T14:07:07,744 Please avoid running ``setup.py`` directly. 2023-05-17T14:07:07,744 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-17T14:07:07,744 other standards-based tools. 2023-05-17T14:07:07,745 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-17T14:07:07,745 ******************************************************************************** 2023-05-17T14:07:07,745 !! 2023-05-17T14:07:07,745 self.initialize_options() 2023-05-17T14:07:07,771 installing to build/bdist.linux-armv7l/wheel 2023-05-17T14:07:07,772 running install 2023-05-17T14:07:07,797 running install_lib 2023-05-17T14:07:07,824 creating build/bdist.linux-armv7l 2023-05-17T14:07:07,825 creating build/bdist.linux-armv7l/wheel 2023-05-17T14:07:07,827 creating build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T14:07:07,828 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T14:07:07,988 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T14:07:08,194 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T14:07:08,196 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T14:07:08,422 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T14:07:08,424 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T14:07:08,493 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T14:07:08,590 creating build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T14:07:08,591 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T14:07:08,593 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T14:07:08,595 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T14:07:08,595 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T14:07:08,598 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T14:07:08,601 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T14:07:08,603 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T14:07:08,605 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T14:07:08,606 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T14:07:08,608 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T14:07:08,611 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T14:07:08,612 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T14:07:08,614 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T14:07:08,616 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T14:07:08,617 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T14:07:08,619 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T14:07:08,622 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T14:07:08,624 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T14:07:08,626 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T14:07:08,628 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T14:07:08,631 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T14:07:08,632 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T14:07:08,635 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T14:07:08,641 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T14:07:08,644 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T14:07:08,645 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T14:07:08,648 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T14:07:08,650 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T14:07:08,653 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T14:07:08,655 running install_egg_info 2023-05-17T14:07:08,685 Copying certora_cli_alpha_shays_CERT_1717_b.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_shays_CERT_1717_b-20230517.11.42.895594-py3.9.egg-info 2023-05-17T14:07:08,696 running install_scripts 2023-05-17T14:07:08,712 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-05-17T14:07:08,716 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_shays_CERT_1717_b-20230517.11.42.895594.dist-info/WHEEL 2023-05-17T14:07:08,718 creating '/tmp/pip-wheel-mbl6e3vk/certora_cli_alpha_shays_CERT_1717_b-20230517.11.42.895594-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-05-17T14:07:08,720 adding 'certora_cli/__init__.py' 2023-05-17T14:07:08,722 adding 'certora_cli/certoraMutate.py' 2023-05-17T14:07:08,724 adding 'certora_cli/certoraRun.py' 2023-05-17T14:07:08,725 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-17T14:07:08,747 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-17T14:07:08,754 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-17T14:07:08,756 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-17T14:07:08,758 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-17T14:07:08,762 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-17T14:07:08,765 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-17T14:07:08,767 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-17T14:07:08,772 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-17T14:07:08,774 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-05-17T14:07:08,776 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-17T14:07:08,777 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-17T14:07:08,780 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-17T14:07:08,783 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-17T14:07:08,785 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-17T14:07:08,787 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-17T14:07:08,789 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-17T14:07:08,793 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-17T14:07:08,794 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-17T14:07:08,796 adding 'certora_cli/Shared/__init__.py' 2023-05-17T14:07:08,798 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-17T14:07:08,800 adding 'certora_cli/Shared/certoraTester.py' 2023-05-17T14:07:08,806 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-17T14:07:08,809 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-17T14:07:10,474 adding 'certora_jars/MutationTest.jar' 2023-05-17T14:07:11,803 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-17T14:07:13,372 adding 'certora_jars/Typechecker.jar' 2023-05-17T14:07:13,454 adding 'certora_jars/__init__.py' 2023-05-17T14:07:14,191 adding 'certora_jars/gambit-linux' 2023-05-17T14:07:14,849 adding 'certora_jars/gambit-macos' 2023-05-17T14:07:14,875 adding 'certora_cli_alpha_shays_CERT_1717_b-20230517.11.42.895594.dist-info/LICENSE' 2023-05-17T14:07:14,876 adding 'certora_cli_alpha_shays_CERT_1717_b-20230517.11.42.895594.dist-info/METADATA' 2023-05-17T14:07:14,877 adding 'certora_cli_alpha_shays_CERT_1717_b-20230517.11.42.895594.dist-info/WHEEL' 2023-05-17T14:07:14,878 adding 'certora_cli_alpha_shays_CERT_1717_b-20230517.11.42.895594.dist-info/entry_points.txt' 2023-05-17T14:07:14,879 adding 'certora_cli_alpha_shays_CERT_1717_b-20230517.11.42.895594.dist-info/top_level.txt' 2023-05-17T14:07:14,880 adding 'certora_cli_alpha_shays_CERT_1717_b-20230517.11.42.895594.dist-info/RECORD' 2023-05-17T14:07:15,275 removing build/bdist.linux-armv7l/wheel 2023-05-17T14:07:15,396 Building wheel for certora-cli-alpha-shays-cert-1717-b (setup.py): finished with status 'done' 2023-05-17T14:07:15,782 Created wheel for certora-cli-alpha-shays-cert-1717-b: filename=certora_cli_alpha_shays_CERT_1717_b-20230517.11.42.895594-py3-none-any.whl size=38781275 sha256=e2b9da6a9ed0c0dbc2d16843616f4da548ef18de9df5c56c14b39574841c3367 2023-05-17T14:07:15,783 Stored in directory: /tmp/pip-ephem-wheel-cache-3n5335pc/wheels/e5/2b/20/057f4b343591ade705b446b5cc38124528cdaed95c03d45792 2023-05-17T14:07:15,807 Successfully built certora-cli-alpha-shays-cert-1717-b 2023-05-17T14:07:16,720 Removed build tracker: '/tmp/pip-build-tracker-gdka_wnr'