2023-05-15T15:07:15,209 Created temporary directory: /tmp/pip-build-tracker-mrjees5v 2023-05-15T15:07:15,210 Initialized build tracking at /tmp/pip-build-tracker-mrjees5v 2023-05-15T15:07:15,211 Created build tracker: /tmp/pip-build-tracker-mrjees5v 2023-05-15T15:07:15,211 Entered build tracker: /tmp/pip-build-tracker-mrjees5v 2023-05-15T15:07:15,211 Created temporary directory: /tmp/pip-wheel-3rd7s2b0 2023-05-15T15:07:15,215 Created temporary directory: /tmp/pip-ephem-wheel-cache-tx8qf9be 2023-05-15T15:07:15,240 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-15T15:07:15,244 2 location(s) to search for versions of certora-cli-alpha-shays-cert-1717-b: 2023-05-15T15:07:15,244 * https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/ 2023-05-15T15:07:15,244 * https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/ 2023-05-15T15:07:15,245 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/ 2023-05-15T15:07:15,246 Getting page https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/ 2023-05-15T15:07:15,247 Found index url https://pypi.org/simple/ 2023-05-15T15:07:15,304 Fetched page https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/ as application/vnd.pypi.simple.v1+json 2023-05-15T15:07:15,306 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-15T15:07:15,306 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-15T15:07:15,307 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-15T15:07:15,307 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-15T15:07:15,308 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-15T15:07:15,308 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-15T15:07:15,309 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/ 2023-05-15T15:07:15,309 Getting page https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/ 2023-05-15T15:07:15,310 Found index url https://www.piwheels.org/simple/ 2023-05-15T15:07:15,471 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/ as text/html 2023-05-15T15:07:15,473 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-15T15:07:15,473 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/ 2023-05-15T15:07:15,473 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/ 2023-05-15T15:07:15,491 Given no hashes to check 1 links for project 'certora-cli-alpha-shays-cert-1717-b': discarding no candidates 2023-05-15T15:07:15,509 Collecting certora-cli-alpha-shays-cert-1717-b==20230515.10.8.581349 2023-05-15T15:07:15,511 Created temporary directory: /tmp/pip-unpack-7x_gxnwc 2023-05-15T15:07:15,675 Downloading certora-cli-alpha-shays-CERT-1717-b-20230515.10.8.581349.tar.gz (39.4 MB) 2023-05-15T15:07:29,094 Added certora-cli-alpha-shays-cert-1717-b==20230515.10.8.581349 from https://files.pythonhosted.org/packages/4f/7c/94ab6dbfc905458640c42779a415e7341aecf8db900799a785455caaa1ad/certora-cli-alpha-shays-CERT-1717-b-20230515.10.8.581349.tar.gz to build tracker '/tmp/pip-build-tracker-mrjees5v' 2023-05-15T15:07:29,096 Running setup.py (path:/tmp/pip-wheel-3rd7s2b0/certora-cli-alpha-shays-cert-1717-b_d4a6801d6f8e4d7fb85e923a7c474b40/setup.py) egg_info for package certora-cli-alpha-shays-cert-1717-b 2023-05-15T15:07:29,097 Created temporary directory: /tmp/pip-pip-egg-info-pq_tn12c 2023-05-15T15:07:29,097 Preparing metadata (setup.py): started 2023-05-15T15:07:29,098 Running command python setup.py egg_info 2023-05-15T15:07:29,726 running egg_info 2023-05-15T15:07:29,728 creating /tmp/pip-pip-egg-info-pq_tn12c/certora_cli_alpha_shays_CERT_1717_b.egg-info 2023-05-15T15:07:29,753 writing /tmp/pip-pip-egg-info-pq_tn12c/certora_cli_alpha_shays_CERT_1717_b.egg-info/PKG-INFO 2023-05-15T15:07:29,756 writing dependency_links to /tmp/pip-pip-egg-info-pq_tn12c/certora_cli_alpha_shays_CERT_1717_b.egg-info/dependency_links.txt 2023-05-15T15:07:29,758 writing entry points to /tmp/pip-pip-egg-info-pq_tn12c/certora_cli_alpha_shays_CERT_1717_b.egg-info/entry_points.txt 2023-05-15T15:07:29,759 writing requirements to /tmp/pip-pip-egg-info-pq_tn12c/certora_cli_alpha_shays_CERT_1717_b.egg-info/requires.txt 2023-05-15T15:07:29,761 writing top-level names to /tmp/pip-pip-egg-info-pq_tn12c/certora_cli_alpha_shays_CERT_1717_b.egg-info/top_level.txt 2023-05-15T15:07:29,762 writing manifest file '/tmp/pip-pip-egg-info-pq_tn12c/certora_cli_alpha_shays_CERT_1717_b.egg-info/SOURCES.txt' 2023-05-15T15:07:29,847 reading manifest file '/tmp/pip-pip-egg-info-pq_tn12c/certora_cli_alpha_shays_CERT_1717_b.egg-info/SOURCES.txt' 2023-05-15T15:07:29,849 reading manifest template 'MANIFEST.in' 2023-05-15T15:07:29,858 adding license file 'LICENSE' 2023-05-15T15:07:29,862 writing manifest file '/tmp/pip-pip-egg-info-pq_tn12c/certora_cli_alpha_shays_CERT_1717_b.egg-info/SOURCES.txt' 2023-05-15T15:07:29,922 Preparing metadata (setup.py): finished with status 'done' 2023-05-15T15:07:29,927 Source in /tmp/pip-wheel-3rd7s2b0/certora-cli-alpha-shays-cert-1717-b_d4a6801d6f8e4d7fb85e923a7c474b40 has version 20230515.10.8.581349, which satisfies requirement certora-cli-alpha-shays-cert-1717-b==20230515.10.8.581349 from https://files.pythonhosted.org/packages/4f/7c/94ab6dbfc905458640c42779a415e7341aecf8db900799a785455caaa1ad/certora-cli-alpha-shays-CERT-1717-b-20230515.10.8.581349.tar.gz 2023-05-15T15:07:29,928 Removed certora-cli-alpha-shays-cert-1717-b==20230515.10.8.581349 from https://files.pythonhosted.org/packages/4f/7c/94ab6dbfc905458640c42779a415e7341aecf8db900799a785455caaa1ad/certora-cli-alpha-shays-CERT-1717-b-20230515.10.8.581349.tar.gz from build tracker '/tmp/pip-build-tracker-mrjees5v' 2023-05-15T15:07:29,935 Created temporary directory: /tmp/pip-unpack-bnrrimg0 2023-05-15T15:07:29,936 Building wheels for collected packages: certora-cli-alpha-shays-cert-1717-b 2023-05-15T15:07:29,940 Created temporary directory: /tmp/pip-wheel-dypseva3 2023-05-15T15:07:29,941 Building wheel for certora-cli-alpha-shays-cert-1717-b (setup.py): started 2023-05-15T15:07:29,942 Destination directory: /tmp/pip-wheel-dypseva3 2023-05-15T15:07:29,942 Running command python setup.py bdist_wheel 2023-05-15T15:07:30,595 running bdist_wheel 2023-05-15T15:07:30,886 running build 2023-05-15T15:07:30,886 running build_py 2023-05-15T15:07:30,916 creating build 2023-05-15T15:07:30,916 creating build/lib 2023-05-15T15:07:30,917 creating build/lib/certora_jars 2023-05-15T15:07:30,918 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-15T15:07:30,920 creating build/lib/certora_cli 2023-05-15T15:07:30,921 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-15T15:07:30,923 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-15T15:07:30,925 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-15T15:07:30,927 creating build/lib/certora_cli/Shared 2023-05-15T15:07:30,928 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-15T15:07:30,931 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-15T15:07:30,933 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-15T15:07:30,935 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-15T15:07:30,939 creating build/lib/certora_cli/EVMVerifier 2023-05-15T15:07:30,940 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T15:07:30,943 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T15:07:30,946 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T15:07:30,949 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T15:07:30,951 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T15:07:30,953 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T15:07:30,956 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T15:07:30,957 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T15:07:30,960 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T15:07:30,963 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T15:07:30,968 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T15:07:30,970 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T15:07:30,973 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T15:07:30,975 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T15:07:30,977 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T15:07:30,978 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T15:07:30,981 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T15:07:30,982 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T15:07:30,985 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T15:07:30,987 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T15:07:30,989 running egg_info 2023-05-15T15:07:31,053 writing certora_cli_alpha_shays_CERT_1717_b.egg-info/PKG-INFO 2023-05-15T15:07:31,055 writing dependency_links to certora_cli_alpha_shays_CERT_1717_b.egg-info/dependency_links.txt 2023-05-15T15:07:31,057 writing entry points to certora_cli_alpha_shays_CERT_1717_b.egg-info/entry_points.txt 2023-05-15T15:07:31,058 writing requirements to certora_cli_alpha_shays_CERT_1717_b.egg-info/requires.txt 2023-05-15T15:07:31,059 writing top-level names to certora_cli_alpha_shays_CERT_1717_b.egg-info/top_level.txt 2023-05-15T15:07:31,091 reading manifest file 'certora_cli_alpha_shays_CERT_1717_b.egg-info/SOURCES.txt' 2023-05-15T15:07:31,094 reading manifest template 'MANIFEST.in' 2023-05-15T15:07:31,103 adding license file 'LICENSE' 2023-05-15T15:07:31,107 writing manifest file 'certora_cli_alpha_shays_CERT_1717_b.egg-info/SOURCES.txt' 2023-05-15T15:07:31,110 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-15T15:07:31,113 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-15T15:07:31,339 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-15T15:07:31,509 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-15T15:07:31,716 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-15T15:07:31,821 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-15T15:07:31,934 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-15T15:07:31,934 !! 2023-05-15T15:07:31,934 ******************************************************************************** 2023-05-15T15:07:31,935 Please avoid running ``setup.py`` directly. 2023-05-15T15:07:31,935 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-15T15:07:31,935 other standards-based tools. 2023-05-15T15:07:31,935 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-15T15:07:31,935 ******************************************************************************** 2023-05-15T15:07:31,936 !! 2023-05-15T15:07:31,936 self.initialize_options() 2023-05-15T15:07:31,962 installing to build/bdist.linux-aarch64/wheel 2023-05-15T15:07:31,962 running install 2023-05-15T15:07:31,987 running install_lib 2023-05-15T15:07:32,015 creating build/bdist.linux-aarch64 2023-05-15T15:07:32,016 creating build/bdist.linux-aarch64/wheel 2023-05-15T15:07:32,018 creating build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T15:07:32,019 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T15:07:32,231 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T15:07:32,233 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T15:07:32,426 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T15:07:32,515 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T15:07:32,638 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T15:07:32,641 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T15:07:32,808 creating build/bdist.linux-aarch64/wheel/certora_cli 2023-05-15T15:07:32,809 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-15T15:07:32,812 creating build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-15T15:07:32,813 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-15T15:07:32,816 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-15T15:07:32,817 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-15T15:07:32,820 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-15T15:07:32,823 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-15T15:07:32,826 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-15T15:07:32,829 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T15:07:32,830 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T15:07:32,833 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T15:07:32,836 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T15:07:32,839 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T15:07:32,841 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T15:07:32,844 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T15:07:32,847 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T15:07:32,849 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T15:07:32,851 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T15:07:32,855 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T15:07:32,856 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T15:07:32,858 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T15:07:32,860 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T15:07:32,864 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T15:07:32,866 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T15:07:32,868 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T15:07:32,876 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T15:07:32,878 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T15:07:32,881 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T15:07:32,883 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T15:07:32,885 running install_egg_info 2023-05-15T15:07:32,917 Copying certora_cli_alpha_shays_CERT_1717_b.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_shays_CERT_1717_b-20230515.10.8.581349-py3.9.egg-info 2023-05-15T15:07:32,929 running install_scripts 2023-05-15T15:07:32,946 creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_shays_CERT_1717_b-20230515.10.8.581349.dist-info/WHEEL 2023-05-15T15:07:32,949 creating '/tmp/pip-wheel-dypseva3/certora_cli_alpha_shays_CERT_1717_b-20230515.10.8.581349-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it 2023-05-15T15:07:32,951 adding 'certora_cli/__init__.py' 2023-05-15T15:07:32,952 adding 'certora_cli/certoraMutate.py' 2023-05-15T15:07:32,955 adding 'certora_cli/certoraRun.py' 2023-05-15T15:07:32,957 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-15T15:07:32,979 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-15T15:07:32,986 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-15T15:07:32,988 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-15T15:07:32,990 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-15T15:07:32,995 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-15T15:07:32,998 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-15T15:07:33,000 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-15T15:07:33,006 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-15T15:07:33,007 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-05-15T15:07:33,010 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-15T15:07:33,011 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-15T15:07:33,014 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-15T15:07:33,018 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-15T15:07:33,021 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-15T15:07:33,022 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-15T15:07:33,024 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-15T15:07:33,028 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-15T15:07:33,030 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-15T15:07:33,032 adding 'certora_cli/Shared/__init__.py' 2023-05-15T15:07:33,034 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-15T15:07:33,036 adding 'certora_cli/Shared/certoraTester.py' 2023-05-15T15:07:33,043 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-15T15:07:33,046 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-15T15:07:34,692 adding 'certora_jars/MutationTest.jar' 2023-05-15T15:07:36,007 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-15T15:07:37,561 adding 'certora_jars/Typechecker.jar' 2023-05-15T15:07:37,645 adding 'certora_jars/__init__.py' 2023-05-15T15:07:38,501 adding 'certora_jars/gambit-linux' 2023-05-15T15:07:39,361 adding 'certora_jars/gambit-macos' 2023-05-15T15:07:39,397 adding 'certora_cli_alpha_shays_CERT_1717_b-20230515.10.8.581349.dist-info/LICENSE' 2023-05-15T15:07:39,398 adding 'certora_cli_alpha_shays_CERT_1717_b-20230515.10.8.581349.dist-info/METADATA' 2023-05-15T15:07:39,399 adding 'certora_cli_alpha_shays_CERT_1717_b-20230515.10.8.581349.dist-info/WHEEL' 2023-05-15T15:07:39,400 adding 'certora_cli_alpha_shays_CERT_1717_b-20230515.10.8.581349.dist-info/entry_points.txt' 2023-05-15T15:07:39,401 adding 'certora_cli_alpha_shays_CERT_1717_b-20230515.10.8.581349.dist-info/top_level.txt' 2023-05-15T15:07:39,402 adding 'certora_cli_alpha_shays_CERT_1717_b-20230515.10.8.581349.dist-info/RECORD' 2023-05-15T15:07:39,894 removing build/bdist.linux-aarch64/wheel 2023-05-15T15:07:40,011 Building wheel for certora-cli-alpha-shays-cert-1717-b (setup.py): finished with status 'done' 2023-05-15T15:07:40,341 Created wheel for certora-cli-alpha-shays-cert-1717-b: filename=certora_cli_alpha_shays_CERT_1717_b-20230515.10.8.581349-py3-none-any.whl size=39473560 sha256=b659d52d6c4a36c59d237f5fb42c5c3566bba250e17abedaa0d72c8d531aafb1 2023-05-15T15:07:40,342 Stored in directory: /tmp/pip-ephem-wheel-cache-tx8qf9be/wheels/f0/24/0a/2cbff91fa5d2d77297849187052752b17da422eff8e05b32dd 2023-05-15T15:07:40,372 Successfully built certora-cli-alpha-shays-cert-1717-b 2023-05-15T15:07:41,541 Removed build tracker: '/tmp/pip-build-tracker-mrjees5v'