2023-02-27T19:16:48,691 Created temporary directory: /tmp/pip-ephem-wheel-cache-u2q_n0z4
2023-02-27T19:16:48,694 Created temporary directory: /tmp/pip-build-tracker-18cfijmt
2023-02-27T19:16:48,695 Initialized build tracking at /tmp/pip-build-tracker-18cfijmt
2023-02-27T19:16:48,695 Created build tracker: /tmp/pip-build-tracker-18cfijmt
2023-02-27T19:16:48,695 Entered build tracker: /tmp/pip-build-tracker-18cfijmt
2023-02-27T19:16:48,696 Created temporary directory: /tmp/pip-wheel-d48n92ok
2023-02-27T19:16:48,701 DEPRECATION: --no-binary currently disables reading from the cache of locally built wheels. In the future --no-binary will not influence the wheel cache. pip 23.1 will enforce this behaviour change. A possible replacement is to use the --no-cache-dir option. You can use the flag --use-feature=no-binary-enable-wheel-cache to test the upcoming behaviour. Discussion can be found at https://github.com/pypa/pip/issues/11453
2023-02-27T19:16:48,704 Created temporary directory: /tmp/pip-ephem-wheel-cache-pc2ri1kl
2023-02-27T19:16:48,751 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-02-27T19:16:48,755 2 location(s) to search for versions of certora-cli-alpha-cvl-rewrite:
2023-02-27T19:16:48,755 * https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-27T19:16:48,755 * https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-27T19:16:48,755 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-27T19:16:48,756 Getting page https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-27T19:16:48,758 Found index url https://pypi.org/simple
2023-02-27T19:16:48,813 Fetched page https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/ as application/vnd.pypi.simple.v1+json
2023-02-27T19:16:48,816   Found link https://files.pythonhosted.org/packages/f1/01/d947c0a7bafb288ea4ec1c6d29cc67995dbb5dbdbefa51808471a0f9928a/certora-cli-alpha-CVL_rewrite-20230223.19.24.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8), version: 20230223.19.24
2023-02-27T19:16:48,816   Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://files.pythonhosted.org/packages/19/49/f3f03449c5e07cdf36161d3282695d59e54d026fdc9e7dbc32a14c18f163/certora_cli_alpha_CVL_rewrite-20230223.19.24-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-02-27T19:16:48,817   Found link https://files.pythonhosted.org/packages/21/62/7cb1d54f09a10881c758d8ac8e4256fa08b478a0be7d5e462ffb8767a4e8/certora-cli-alpha-CVL_rewrite-20230223.21.30.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8), version: 20230223.21.30
2023-02-27T19:16:48,817   Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://files.pythonhosted.org/packages/73/4e/b0b4f3cff94685d9f01663607c53fb280fcfaf57f6a4953518fa00e409b9/certora_cli_alpha_CVL_rewrite-20230223.21.30-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-02-27T19:16:48,818   Found link https://files.pythonhosted.org/packages/34/1a/5f9e4c4952d8d3ba4753fd402aeba87b129f4a76059a7a10ac6a4ea10343/certora-cli-alpha-CVL_rewrite-20230224.8.19.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8), version: 20230224.8.19
2023-02-27T19:16:48,818   Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://files.pythonhosted.org/packages/37/27/feee053f4475cb7d512cd14438ab98cdef5cfa33733387c1680dd331c005/certora_cli_alpha_CVL_rewrite-20230224.8.19-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-02-27T19:16:48,819   Found link https://files.pythonhosted.org/packages/05/ff/7e4d79b7b5307c5d4e81f8067de5d94ccbe9c3a34a59d8c336269ed20517/certora-cli-alpha-CVL_rewrite-20230227.18.35.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8), version: 20230227.18.35
2023-02-27T19:16:48,820   Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://files.pythonhosted.org/packages/de/23/a805e009f330c312fc00030222706af5c3d102e3feaf624c9b385d2ce4d2/certora_cli_alpha_CVL_rewrite-20230227.18.35-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-02-27T19:16:48,820 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-27T19:16:48,820 Getting page https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-27T19:16:48,821 Found index url https://www.piwheels.org/simple
2023-02-27T19:16:49,020 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/ as text/html
2023-02-27T19:16:49,023   Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/certora_cli_alpha_CVL_rewrite-20230224.8.19-py3-none-any.whl#sha256=ed5e2bd1261672ef241ca32b0bfec1973aea52526f12470c86df904a77c5595c (from https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-02-27T19:16:49,023   Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/certora_cli_alpha_CVL_rewrite-20230223.21.30-py3-none-any.whl#sha256=e9350ecfca0d85bc6b7db0b632e7507a5916da4671c72f547819c688f30e3062 (from https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-02-27T19:16:49,023   Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/certora_cli_alpha_CVL_rewrite-20230223.19.24-py3-none-any.whl#sha256=b82cbff0fa4de867c37c02a2bf6ecae4720eff091616571af696b861cb89b419 (from https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-02-27T19:16:49,024 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-27T19:16:49,024 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-27T19:16:49,046 Given no hashes to check 1 links for project 'certora-cli-alpha-cvl-rewrite': discarding no candidates
2023-02-27T19:16:49,066 Collecting certora-cli-alpha-cvl-rewrite==20230227.18.35
2023-02-27T19:16:49,069   Created temporary directory: /tmp/pip-unpack-wruar7ey
2023-02-27T19:16:49,286   Downloading certora-cli-alpha-CVL_rewrite-20230227.18.35.tar.gz (10.8 MB)
2023-02-27T19:16:54,629   Added certora-cli-alpha-cvl-rewrite==20230227.18.35 from https://files.pythonhosted.org/packages/05/ff/7e4d79b7b5307c5d4e81f8067de5d94ccbe9c3a34a59d8c336269ed20517/certora-cli-alpha-CVL_rewrite-20230227.18.35.tar.gz to build tracker '/tmp/pip-build-tracker-18cfijmt'
2023-02-27T19:16:54,632   Running setup.py (path:/tmp/pip-wheel-d48n92ok/certora-cli-alpha-cvl-rewrite_8a450a23cbe54a9b884b839dc51b3a60/setup.py) egg_info for package certora-cli-alpha-cvl-rewrite
2023-02-27T19:16:54,632   Created temporary directory: /tmp/pip-pip-egg-info-kcik1k4q
2023-02-27T19:16:54,633   Preparing metadata (setup.py): started
2023-02-27T19:16:54,634   Running command python setup.py egg_info
2023-02-27T19:16:55,401   running egg_info
2023-02-27T19:16:55,405   creating /tmp/pip-pip-egg-info-kcik1k4q/certora_cli_alpha_CVL_rewrite.egg-info
2023-02-27T19:16:55,451   writing /tmp/pip-pip-egg-info-kcik1k4q/certora_cli_alpha_CVL_rewrite.egg-info/PKG-INFO
2023-02-27T19:16:55,453   writing dependency_links to /tmp/pip-pip-egg-info-kcik1k4q/certora_cli_alpha_CVL_rewrite.egg-info/dependency_links.txt
2023-02-27T19:16:55,456   writing entry points to /tmp/pip-pip-egg-info-kcik1k4q/certora_cli_alpha_CVL_rewrite.egg-info/entry_points.txt
2023-02-27T19:16:55,457   writing requirements to /tmp/pip-pip-egg-info-kcik1k4q/certora_cli_alpha_CVL_rewrite.egg-info/requires.txt
2023-02-27T19:16:55,459   writing top-level names to /tmp/pip-pip-egg-info-kcik1k4q/certora_cli_alpha_CVL_rewrite.egg-info/top_level.txt
2023-02-27T19:16:55,460   writing manifest file '/tmp/pip-pip-egg-info-kcik1k4q/certora_cli_alpha_CVL_rewrite.egg-info/SOURCES.txt'
2023-02-27T19:16:55,545   reading manifest file '/tmp/pip-pip-egg-info-kcik1k4q/certora_cli_alpha_CVL_rewrite.egg-info/SOURCES.txt'
2023-02-27T19:16:55,547   reading manifest template 'MANIFEST.in'
2023-02-27T19:16:55,553   writing manifest file '/tmp/pip-pip-egg-info-kcik1k4q/certora_cli_alpha_CVL_rewrite.egg-info/SOURCES.txt'
2023-02-27T19:16:55,622   Preparing metadata (setup.py): finished with status 'done'
2023-02-27T19:16:55,635   Source in /tmp/pip-wheel-d48n92ok/certora-cli-alpha-cvl-rewrite_8a450a23cbe54a9b884b839dc51b3a60 has version 20230227.18.35, which satisfies requirement certora-cli-alpha-cvl-rewrite==20230227.18.35 from https://files.pythonhosted.org/packages/05/ff/7e4d79b7b5307c5d4e81f8067de5d94ccbe9c3a34a59d8c336269ed20517/certora-cli-alpha-CVL_rewrite-20230227.18.35.tar.gz
2023-02-27T19:16:55,637   Removed certora-cli-alpha-cvl-rewrite==20230227.18.35 from https://files.pythonhosted.org/packages/05/ff/7e4d79b7b5307c5d4e81f8067de5d94ccbe9c3a34a59d8c336269ed20517/certora-cli-alpha-CVL_rewrite-20230227.18.35.tar.gz from build tracker '/tmp/pip-build-tracker-18cfijmt'
2023-02-27T19:16:55,651 Created temporary directory: /tmp/pip-unpack-9c87yp3s
2023-02-27T19:16:55,651 Building wheels for collected packages: certora-cli-alpha-cvl-rewrite
2023-02-27T19:16:55,656   Created temporary directory: /tmp/pip-wheel-0b7vb4xs
2023-02-27T19:16:55,657   Building wheel for certora-cli-alpha-cvl-rewrite (setup.py): started
2023-02-27T19:16:55,658   Destination directory: /tmp/pip-wheel-0b7vb4xs
2023-02-27T19:16:55,658   Running command python setup.py bdist_wheel
2023-02-27T19:16:56,708   running bdist_wheel
2023-02-27T19:16:57,038   running build
2023-02-27T19:16:57,039   running build_py
2023-02-27T19:16:57,068   creating build
2023-02-27T19:16:57,069   creating build/lib
2023-02-27T19:16:57,070   creating build/lib/certora_cli
2023-02-27T19:16:57,072   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-02-27T19:16:57,076   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-02-27T19:16:57,079   creating build/lib/certora_jars
2023-02-27T19:16:57,080   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-02-27T19:16:57,084   creating build/lib/certora_cli/EVMVerifier
2023-02-27T19:16:57,085   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-02-27T19:16:57,093   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-02-27T19:16:57,096   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-02-27T19:16:57,099   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-02-27T19:16:57,101   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-02-27T19:16:57,103   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-02-27T19:16:57,107   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-02-27T19:16:57,111   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-02-27T19:16:57,114   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-02-27T19:16:57,116   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-02-27T19:16:57,120   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-02-27T19:16:57,123   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-02-27T19:16:57,127   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-02-27T19:16:57,131   creating build/lib/certora_cli/Shared
2023-02-27T19:16:57,132   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-02-27T19:16:57,136   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-02-27T19:16:57,138   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-02-27T19:16:57,141   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-02-27T19:16:57,145   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-02-27T19:16:57,146   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-02-27T19:16:57,149   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-02-27T19:16:57,152   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-02-27T19:16:57,154   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-02-27T19:16:57,157   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-02-27T19:16:57,160   running egg_info
2023-02-27T19:16:57,230   writing certora_cli_alpha_CVL_rewrite.egg-info/PKG-INFO
2023-02-27T19:16:57,233   writing dependency_links to certora_cli_alpha_CVL_rewrite.egg-info/dependency_links.txt
2023-02-27T19:16:57,235   writing entry points to certora_cli_alpha_CVL_rewrite.egg-info/entry_points.txt
2023-02-27T19:16:57,237   writing requirements to certora_cli_alpha_CVL_rewrite.egg-info/requires.txt
2023-02-27T19:16:57,239   writing top-level names to certora_cli_alpha_CVL_rewrite.egg-info/top_level.txt
2023-02-27T19:16:57,273   reading manifest file 'certora_cli_alpha_CVL_rewrite.egg-info/SOURCES.txt'
2023-02-27T19:16:57,276   reading manifest template 'MANIFEST.in'
2023-02-27T19:16:57,283   writing manifest file 'certora_cli_alpha_CVL_rewrite.egg-info/SOURCES.txt'
2023-02-27T19:16:57,286   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-02-27T19:16:57,741   /usr/local/lib/python3.9/dist-packages/setuptools/command/install.py:34: SetuptoolsDeprecationWarning: setup.py install is deprecated. Use build and pip and other standards-based tools.
2023-02-27T19:16:57,742     warnings.warn(
2023-02-27T19:16:57,778   installing to build/bdist.linux-armv7l/wheel
2023-02-27T19:16:57,778   running install
2023-02-27T19:16:57,807   running install_lib
2023-02-27T19:16:57,840   creating build/bdist.linux-armv7l
2023-02-27T19:16:57,841   creating build/bdist.linux-armv7l/wheel
2023-02-27T19:16:57,843   creating build/bdist.linux-armv7l/wheel/certora_cli
2023-02-27T19:16:57,845   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-27T19:16:57,847   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-27T19:16:57,855   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-27T19:16:57,859   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-27T19:16:57,862   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-27T19:16:57,865   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-27T19:16:57,869   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-02-27T19:16:57,870   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-02-27T19:16:57,873   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-02-27T19:16:57,876   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-02-27T19:16:57,878   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-02-27T19:16:57,881   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-02-27T19:16:57,885   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-27T19:16:57,889   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-27T19:16:57,893   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-27T19:16:57,896   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-27T19:16:57,899   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-27T19:16:57,903   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-27T19:16:57,906   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-27T19:16:57,910   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-27T19:16:57,913   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-02-27T19:16:57,916   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-02-27T19:16:57,918   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-02-27T19:16:57,920   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-02-27T19:16:57,924   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-02-27T19:16:57,926   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-02-27T19:16:57,931   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-02-27T19:16:57,935   creating build/bdist.linux-armv7l/wheel/certora_jars
2023-02-27T19:16:57,936   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars
2023-02-27T19:16:57,938   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-02-27T19:16:58,209   running install_egg_info
2023-02-27T19:16:58,241   Copying certora_cli_alpha_CVL_rewrite.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_CVL_rewrite-20230227.18.35-py3.9.egg-info
2023-02-27T19:16:58,257   running install_scripts
2023-02-27T19:16:58,293   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_CVL_rewrite-20230227.18.35.dist-info/WHEEL
2023-02-27T19:16:58,296   creating '/tmp/pip-wheel-0b7vb4xs/certora_cli_alpha_CVL_rewrite-20230227.18.35-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2023-02-27T19:16:58,299   adding 'certora_cli/__init__.py'
2023-02-27T19:16:58,302   adding 'certora_cli/certoraRun.py'
2023-02-27T19:16:58,304   adding 'certora_cli/EVMVerifier/__init__.py'
2023-02-27T19:16:58,326   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-02-27T19:16:58,333   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-02-27T19:16:58,335   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-02-27T19:16:58,337   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-02-27T19:16:58,342   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-02-27T19:16:58,345   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-02-27T19:16:58,346   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-02-27T19:16:58,353   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-02-27T19:16:58,355   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-02-27T19:16:58,357   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-02-27T19:16:58,360   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-02-27T19:16:58,364   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-02-27T19:16:58,366   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-02-27T19:16:58,368   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-02-27T19:16:58,370   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-02-27T19:16:58,373   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-02-27T19:16:58,374   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-02-27T19:16:58,376   adding 'certora_cli/Shared/__init__.py'
2023-02-27T19:16:58,379   adding 'certora_cli/Shared/certoraLogging.py'
2023-02-27T19:16:58,381   adding 'certora_cli/Shared/certoraTester.py'
2023-02-27T19:16:58,387   adding 'certora_cli/Shared/certoraUtils.py'
2023-02-27T19:16:59,880   adding 'certora_jars/Typechecker.jar'
2023-02-27T19:16:59,954   adding 'certora_jars/__init__.py'
2023-02-27T19:16:59,955   adding 'certora_cli_alpha_CVL_rewrite-20230227.18.35.dist-info/METADATA'
2023-02-27T19:16:59,956   adding 'certora_cli_alpha_CVL_rewrite-20230227.18.35.dist-info/WHEEL'
2023-02-27T19:16:59,958   adding 'certora_cli_alpha_CVL_rewrite-20230227.18.35.dist-info/entry_points.txt'
2023-02-27T19:16:59,959   adding 'certora_cli_alpha_CVL_rewrite-20230227.18.35.dist-info/top_level.txt'
2023-02-27T19:16:59,960   adding 'certora_cli_alpha_CVL_rewrite-20230227.18.35.dist-info/RECORD'
2023-02-27T19:17:00,115   removing build/bdist.linux-armv7l/wheel
2023-02-27T19:17:00,249   Building wheel for certora-cli-alpha-cvl-rewrite (setup.py): finished with status 'done'
2023-02-27T19:17:00,376   Created wheel for certora-cli-alpha-cvl-rewrite: filename=certora_cli_alpha_CVL_rewrite-20230227.18.35-py3-none-any.whl size=10845226 sha256=4f28605feff84fe1dbd66afc095f297dff66e3488342aa0e06be42af69a6f1e2
2023-02-27T19:17:00,377   Stored in directory: /tmp/pip-ephem-wheel-cache-pc2ri1kl/wheels/2b/84/86/728f69dae5bc368a7991c8dfa453432d181e69e418571ceacf
2023-02-27T19:17:00,398 Successfully built certora-cli-alpha-cvl-rewrite
2023-02-27T19:17:00,800 Removed build tracker: '/tmp/pip-build-tracker-18cfijmt'