2023-05-15T16:56:54,593 Created temporary directory: /tmp/pip-build-tracker-w6en802d
2023-05-15T16:56:54,594 Initialized build tracking at /tmp/pip-build-tracker-w6en802d
2023-05-15T16:56:54,595 Created build tracker: /tmp/pip-build-tracker-w6en802d
2023-05-15T16:56:54,595 Entered build tracker: /tmp/pip-build-tracker-w6en802d
2023-05-15T16:56:54,595 Created temporary directory: /tmp/pip-wheel-swfs90ke
2023-05-15T16:56:54,600 Created temporary directory: /tmp/pip-ephem-wheel-cache-l85pjwq8
2023-05-15T16:56:54,623 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-15T16:56:54,627 2 location(s) to search for versions of certora-cli-alpha-shays-cert-1717-b:
2023-05-15T16:56:54,627 * https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/
2023-05-15T16:56:54,627 * https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/
2023-05-15T16:56:54,628 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/
2023-05-15T16:56:54,629 Getting page https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/
2023-05-15T16:56:54,630 Found index url https://pypi.org/simple/
2023-05-15T16:56:54,680 Fetched page https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/ as application/vnd.pypi.simple.v1+json
2023-05-15T16:56:54,683   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-15T16:56:54,683   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-15T16:56:54,684   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-15T16:56:54,684   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-15T16:56:54,685   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-15T16:56:54,685   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-15T16:56:54,686   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-15T16:56:54,686   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-15T16:56:54,686 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/
2023-05-15T16:56:54,687 Getting page https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/
2023-05-15T16:56:54,688 Found index url https://www.piwheels.org/simple/
2023-05-15T16:56:54,859 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/ as text/html
2023-05-15T16:56:54,860   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-15T16:56:54,861   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-15T16:56:54,861 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-1717-b/
2023-05-15T16:56:54,861 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-shays-cert-1717-b/
2023-05-15T16:56:54,879 Given no hashes to check 1 links for project 'certora-cli-alpha-shays-cert-1717-b': discarding no candidates
2023-05-15T16:56:54,897 Collecting certora-cli-alpha-shays-cert-1717-b==20230515.13.51.956104
2023-05-15T16:56:54,899   Created temporary directory: /tmp/pip-unpack-skn732og
2023-05-15T16:56:55,874   Downloading certora-cli-alpha-shays-CERT-1717-b-20230515.13.51.956104.tar.gz (39.4 MB)
2023-05-15T16:57:21,038   Added certora-cli-alpha-shays-cert-1717-b==20230515.13.51.956104 from https://files.pythonhosted.org/packages/d3/13/d0c183a6dad3b1d59efe91f8b27b30e9982057a986642493c0a2fa42f0ea/certora-cli-alpha-shays-CERT-1717-b-20230515.13.51.956104.tar.gz to build tracker '/tmp/pip-build-tracker-w6en802d'
2023-05-15T16:57:21,042   Running setup.py (path:/tmp/pip-wheel-swfs90ke/certora-cli-alpha-shays-cert-1717-b_1d08f9227289493a9b36dbf7b3530ad0/setup.py) egg_info for package certora-cli-alpha-shays-cert-1717-b
2023-05-15T16:57:21,042   Created temporary directory: /tmp/pip-pip-egg-info-oleo1rea
2023-05-15T16:57:21,043   Preparing metadata (setup.py): started
2023-05-15T16:57:21,044   Running command python setup.py egg_info
2023-05-15T16:57:21,691   running egg_info
2023-05-15T16:57:21,693   creating /tmp/pip-pip-egg-info-oleo1rea/certora_cli_alpha_shays_CERT_1717_b.egg-info
2023-05-15T16:57:21,722   writing /tmp/pip-pip-egg-info-oleo1rea/certora_cli_alpha_shays_CERT_1717_b.egg-info/PKG-INFO
2023-05-15T16:57:21,724   writing dependency_links to /tmp/pip-pip-egg-info-oleo1rea/certora_cli_alpha_shays_CERT_1717_b.egg-info/dependency_links.txt
2023-05-15T16:57:21,726   writing entry points to /tmp/pip-pip-egg-info-oleo1rea/certora_cli_alpha_shays_CERT_1717_b.egg-info/entry_points.txt
2023-05-15T16:57:21,728   writing requirements to /tmp/pip-pip-egg-info-oleo1rea/certora_cli_alpha_shays_CERT_1717_b.egg-info/requires.txt
2023-05-15T16:57:21,729   writing top-level names to /tmp/pip-pip-egg-info-oleo1rea/certora_cli_alpha_shays_CERT_1717_b.egg-info/top_level.txt
2023-05-15T16:57:21,730   writing manifest file '/tmp/pip-pip-egg-info-oleo1rea/certora_cli_alpha_shays_CERT_1717_b.egg-info/SOURCES.txt'
2023-05-15T16:57:21,818   reading manifest file '/tmp/pip-pip-egg-info-oleo1rea/certora_cli_alpha_shays_CERT_1717_b.egg-info/SOURCES.txt'
2023-05-15T16:57:21,819   reading manifest template 'MANIFEST.in'
2023-05-15T16:57:21,829   adding license file 'LICENSE'
2023-05-15T16:57:21,832   writing manifest file '/tmp/pip-pip-egg-info-oleo1rea/certora_cli_alpha_shays_CERT_1717_b.egg-info/SOURCES.txt'
2023-05-15T16:57:21,892   Preparing metadata (setup.py): finished with status 'done'
2023-05-15T16:57:21,898   Source in /tmp/pip-wheel-swfs90ke/certora-cli-alpha-shays-cert-1717-b_1d08f9227289493a9b36dbf7b3530ad0 has version 20230515.13.51.956104, which satisfies requirement certora-cli-alpha-shays-cert-1717-b==20230515.13.51.956104 from https://files.pythonhosted.org/packages/d3/13/d0c183a6dad3b1d59efe91f8b27b30e9982057a986642493c0a2fa42f0ea/certora-cli-alpha-shays-CERT-1717-b-20230515.13.51.956104.tar.gz
2023-05-15T16:57:21,899   Removed certora-cli-alpha-shays-cert-1717-b==20230515.13.51.956104 from https://files.pythonhosted.org/packages/d3/13/d0c183a6dad3b1d59efe91f8b27b30e9982057a986642493c0a2fa42f0ea/certora-cli-alpha-shays-CERT-1717-b-20230515.13.51.956104.tar.gz from build tracker '/tmp/pip-build-tracker-w6en802d'
2023-05-15T16:57:21,906 Created temporary directory: /tmp/pip-unpack-frhld30l
2023-05-15T16:57:21,906 Building wheels for collected packages: certora-cli-alpha-shays-cert-1717-b
2023-05-15T16:57:21,910   Created temporary directory: /tmp/pip-wheel-gmba6k0i
2023-05-15T16:57:21,911   Building wheel for certora-cli-alpha-shays-cert-1717-b (setup.py): started
2023-05-15T16:57:21,912   Destination directory: /tmp/pip-wheel-gmba6k0i
2023-05-15T16:57:21,912   Running command python setup.py bdist_wheel
2023-05-15T16:57:22,569   running bdist_wheel
2023-05-15T16:57:22,863   running build
2023-05-15T16:57:22,863   running build_py
2023-05-15T16:57:22,894   creating build
2023-05-15T16:57:22,895   creating build/lib
2023-05-15T16:57:22,896   creating build/lib/certora_jars
2023-05-15T16:57:22,897   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-15T16:57:22,899   creating build/lib/certora_cli
2023-05-15T16:57:22,900   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-15T16:57:22,902   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-15T16:57:22,904   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-15T16:57:22,907   creating build/lib/certora_cli/EVMVerifier
2023-05-15T16:57:22,908   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:57:22,910   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:57:22,916   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:57:22,918   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:57:22,922   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:57:22,925   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:57:22,928   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:57:22,931   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:57:22,933   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:57:22,935   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:57:22,939   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:57:22,942   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:57:22,944   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:57:22,946   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T16:57:22,950   creating build/lib/certora_cli/Shared
2023-05-15T16:57:22,951   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-15T16:57:22,953   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-15T16:57:22,955   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-15T16:57:22,959   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-15T16:57:22,962   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T16:57:22,963   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T16:57:22,965   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T16:57:22,967   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T16:57:22,969   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T16:57:22,972   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T16:57:22,975   running egg_info
2023-05-15T16:57:23,039   writing certora_cli_alpha_shays_CERT_1717_b.egg-info/PKG-INFO
2023-05-15T16:57:23,041   writing dependency_links to certora_cli_alpha_shays_CERT_1717_b.egg-info/dependency_links.txt
2023-05-15T16:57:23,043   writing entry points to certora_cli_alpha_shays_CERT_1717_b.egg-info/entry_points.txt
2023-05-15T16:57:23,044   writing requirements to certora_cli_alpha_shays_CERT_1717_b.egg-info/requires.txt
2023-05-15T16:57:23,046   writing top-level names to certora_cli_alpha_shays_CERT_1717_b.egg-info/top_level.txt
2023-05-15T16:57:23,078   reading manifest file 'certora_cli_alpha_shays_CERT_1717_b.egg-info/SOURCES.txt'
2023-05-15T16:57:23,081   reading manifest template 'MANIFEST.in'
2023-05-15T16:57:23,090   adding license file 'LICENSE'
2023-05-15T16:57:23,094   writing manifest file 'certora_cli_alpha_shays_CERT_1717_b.egg-info/SOURCES.txt'
2023-05-15T16:57:23,098   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-15T16:57:23,100   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-15T16:57:23,356   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-15T16:57:23,544   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-15T16:57:23,748   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-15T16:57:23,865   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-15T16:57:23,985   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-15T16:57:23,985   !!

2023-05-15T16:57:23,986           ********************************************************************************
2023-05-15T16:57:23,986           Please avoid running ``setup.py`` directly.
2023-05-15T16:57:23,986           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-15T16:57:23,986           other standards-based tools.

2023-05-15T16:57:23,986           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-15T16:57:23,986           ********************************************************************************

2023-05-15T16:57:23,987   !!
2023-05-15T16:57:23,987     self.initialize_options()
2023-05-15T16:57:24,014   installing to build/bdist.linux-aarch64/wheel
2023-05-15T16:57:24,014   running install
2023-05-15T16:57:24,040   running install_lib
2023-05-15T16:57:24,069   creating build/bdist.linux-aarch64
2023-05-15T16:57:24,069   creating build/bdist.linux-aarch64/wheel
2023-05-15T16:57:24,071   creating build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T16:57:24,072   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T16:57:24,074   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T16:57:24,076   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T16:57:24,271   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T16:57:24,388   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T16:57:24,542   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T16:57:24,762   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T16:57:24,842   creating build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T16:57:24,843   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T16:57:24,845   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T16:57:24,848   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T16:57:24,851   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:57:24,852   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:57:24,855   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:57:24,860   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:57:24,863   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:57:24,866   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:57:24,870   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:57:24,873   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:57:24,877   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:57:24,879   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:57:24,882   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T16:57:24,883   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T16:57:24,885   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T16:57:24,888   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T16:57:24,890   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T16:57:24,893   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T16:57:24,896   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:57:24,900   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:57:24,904   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:57:24,906   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:57:24,909   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T16:57:24,912   creating build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T16:57:24,913   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T16:57:24,915   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T16:57:24,918   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T16:57:24,922   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T16:57:24,924   running install_egg_info
2023-05-15T16:57:24,957   Copying certora_cli_alpha_shays_CERT_1717_b.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_shays_CERT_1717_b-20230515.13.51.956104-py3.9.egg-info
2023-05-15T16:57:24,969   running install_scripts
2023-05-15T16:57:24,986   creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_shays_CERT_1717_b-20230515.13.51.956104.dist-info/WHEEL
2023-05-15T16:57:24,989   creating '/tmp/pip-wheel-gmba6k0i/certora_cli_alpha_shays_CERT_1717_b-20230515.13.51.956104-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it
2023-05-15T16:57:24,991   adding 'certora_cli/__init__.py'
2023-05-15T16:57:24,993   adding 'certora_cli/certoraMutate.py'
2023-05-15T16:57:24,996   adding 'certora_cli/certoraRun.py'
2023-05-15T16:57:24,998   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-15T16:57:25,021   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-15T16:57:25,028   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-15T16:57:25,031   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-15T16:57:25,033   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-15T16:57:25,038   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-15T16:57:25,042   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-15T16:57:25,044   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-15T16:57:25,050   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-15T16:57:25,052   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2023-05-15T16:57:25,054   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-15T16:57:25,056   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-15T16:57:25,060   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-15T16:57:25,064   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-15T16:57:25,067   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-15T16:57:25,069   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-15T16:57:25,071   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-15T16:57:25,075   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-15T16:57:25,077   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-15T16:57:25,079   adding 'certora_cli/Shared/__init__.py'
2023-05-15T16:57:25,082   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-15T16:57:25,084   adding 'certora_cli/Shared/certoraTester.py'
2023-05-15T16:57:25,091   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-15T16:57:25,095   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-15T16:57:26,732   adding 'certora_jars/MutationTest.jar'
2023-05-15T16:57:28,043   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-15T16:57:29,591   adding 'certora_jars/Typechecker.jar'
2023-05-15T16:57:29,675   adding 'certora_jars/__init__.py'
2023-05-15T16:57:30,531   adding 'certora_jars/gambit-linux'
2023-05-15T16:57:31,387   adding 'certora_jars/gambit-macos'
2023-05-15T16:57:31,423   adding 'certora_cli_alpha_shays_CERT_1717_b-20230515.13.51.956104.dist-info/LICENSE'
2023-05-15T16:57:31,424   adding 'certora_cli_alpha_shays_CERT_1717_b-20230515.13.51.956104.dist-info/METADATA'
2023-05-15T16:57:31,425   adding 'certora_cli_alpha_shays_CERT_1717_b-20230515.13.51.956104.dist-info/WHEEL'
2023-05-15T16:57:31,426   adding 'certora_cli_alpha_shays_CERT_1717_b-20230515.13.51.956104.dist-info/entry_points.txt'
2023-05-15T16:57:31,427   adding 'certora_cli_alpha_shays_CERT_1717_b-20230515.13.51.956104.dist-info/top_level.txt'
2023-05-15T16:57:31,429   adding 'certora_cli_alpha_shays_CERT_1717_b-20230515.13.51.956104.dist-info/RECORD'
2023-05-15T16:57:31,890   removing build/bdist.linux-aarch64/wheel
2023-05-15T16:57:32,004   Building wheel for certora-cli-alpha-shays-cert-1717-b (setup.py): finished with status 'done'
2023-05-15T16:57:32,333   Created wheel for certora-cli-alpha-shays-cert-1717-b: filename=certora_cli_alpha_shays_CERT_1717_b-20230515.13.51.956104-py3-none-any.whl size=39473574 sha256=6e557d3f75a49400a4eaec97c7a08b7fdc40839529177369560ea215c0f2f091
2023-05-15T16:57:32,334   Stored in directory: /tmp/pip-ephem-wheel-cache-l85pjwq8/wheels/f3/79/e7/769404cd2ceabef552549e9c16fc11e92ce9edd2d4050e0710
2023-05-15T16:57:32,364 Successfully built certora-cli-alpha-shays-cert-1717-b
2023-05-15T16:57:33,370 Removed build tracker: '/tmp/pip-build-tracker-w6en802d'