2023-02-28T09:34:42,556 Created temporary directory: /tmp/pip-ephem-wheel-cache-wypy8jhk
2023-02-28T09:34:42,559 Created temporary directory: /tmp/pip-build-tracker-a12sahu1
2023-02-28T09:34:42,559 Initialized build tracking at /tmp/pip-build-tracker-a12sahu1
2023-02-28T09:34:42,559 Created build tracker: /tmp/pip-build-tracker-a12sahu1
2023-02-28T09:34:42,559 Entered build tracker: /tmp/pip-build-tracker-a12sahu1
2023-02-28T09:34:42,560 Created temporary directory: /tmp/pip-wheel-icqnx8y4
2023-02-28T09:34:42,565 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-28T09:34:42,568 Created temporary directory: /tmp/pip-ephem-wheel-cache-cxjk9s3z
2023-02-28T09:34:42,593 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-02-28T09:34:42,597 2 location(s) to search for versions of certora-cli-alpha-cvl-rewrite:
2023-02-28T09:34:42,597 * https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-28T09:34:42,597 * https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-28T09:34:42,597 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-28T09:34:42,598 Getting page https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-28T09:34:42,600 Found index url https://pypi.org/simple
2023-02-28T09:34:42,651 Fetched page https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/ as application/vnd.pypi.simple.v1+json
2023-02-28T09:34:42,654   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-28T09:34:42,655   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-28T09:34:42,655   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-28T09:34:42,655   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-28T09:34:42,656   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-28T09:34:42,656   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-28T09:34:42,657   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-28T09:34:42,657   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-28T09:34:42,658   Found link https://files.pythonhosted.org/packages/5e/e9/664df52e25ed2f52d0be49a6f328f5b569cf62efbd464ecaaaf0e5947e96/certora-cli-alpha-CVL_rewrite-20230227.19.39.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8), version: 20230227.19.39
2023-02-28T09:34:42,658   Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://files.pythonhosted.org/packages/ba/62/60ffd1fdaca8ee5d197581e8897b1b371a6c5ea285ecc35b2077c6b6aa1a/certora_cli_alpha_CVL_rewrite-20230227.19.39-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-02-28T09:34:42,659   Found link https://files.pythonhosted.org/packages/a1/32/49c11fc13a49eb14d70fb2467b631ce34f9bcf8fb2638d4e62dcf2271d78/certora-cli-alpha-CVL_rewrite-20230228.9.5.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8), version: 20230228.9.5
2023-02-28T09:34:42,659   Skipping link: No binaries permitted for certora-cli-alpha-cvl-rewrite: https://files.pythonhosted.org/packages/76/34/5285f083eda8dcdc0152c440f783fdaf84fb8269ed73b31cfc6c0064724d/certora_cli_alpha_CVL_rewrite-20230228.9.5-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-02-28T09:34:42,659 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-28T09:34:42,660 Getting page https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-28T09:34:42,661 Found index url https://www.piwheels.org/simple
2023-02-28T09:34:42,963 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/ as text/html
2023-02-28T09:34:42,966   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-20230227.19.39-py3-none-any.whl#sha256=41e6edfb2100e636b7c877cf817a2a62f119d852d9f14093b15873089082a530 (from https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-02-28T09:34:42,966   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-20230227.18.35-py3-none-any.whl#sha256=4f28605feff84fe1dbd66afc095f297dff66e3488342aa0e06be42af69a6f1e2 (from https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/) (requires-python:>=3.8)
2023-02-28T09:34:42,966   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-28T09:34:42,966   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-28T09:34:42,967   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-28T09:34:42,967 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-28T09:34:42,967 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-28T09:34:42,986 Given no hashes to check 1 links for project 'certora-cli-alpha-cvl-rewrite': discarding no candidates
2023-02-28T09:34:43,003 Collecting certora-cli-alpha-cvl-rewrite==20230228.9.5
2023-02-28T09:34:43,005   Created temporary directory: /tmp/pip-unpack-49zixhq9
2023-02-28T09:34:43,237   Downloading certora-cli-alpha-CVL_rewrite-20230228.9.5.tar.gz (10.8 MB)
2023-02-28T09:34:46,990   Added certora-cli-alpha-cvl-rewrite==20230228.9.5 from https://files.pythonhosted.org/packages/a1/32/49c11fc13a49eb14d70fb2467b631ce34f9bcf8fb2638d4e62dcf2271d78/certora-cli-alpha-CVL_rewrite-20230228.9.5.tar.gz to build tracker '/tmp/pip-build-tracker-a12sahu1'
2023-02-28T09:34:46,991   Running setup.py (path:/tmp/pip-wheel-icqnx8y4/certora-cli-alpha-cvl-rewrite_3e7b63079f9347dea00fb101154c4888/setup.py) egg_info for package certora-cli-alpha-cvl-rewrite
2023-02-28T09:34:46,992   Created temporary directory: /tmp/pip-pip-egg-info-bxmixl6i
2023-02-28T09:34:46,992   Preparing metadata (setup.py): started
2023-02-28T09:34:46,993   Running command python setup.py egg_info
2023-02-28T09:34:47,590   running egg_info
2023-02-28T09:34:47,592   creating /tmp/pip-pip-egg-info-bxmixl6i/certora_cli_alpha_CVL_rewrite.egg-info
2023-02-28T09:34:47,613   writing /tmp/pip-pip-egg-info-bxmixl6i/certora_cli_alpha_CVL_rewrite.egg-info/PKG-INFO
2023-02-28T09:34:47,616   writing dependency_links to /tmp/pip-pip-egg-info-bxmixl6i/certora_cli_alpha_CVL_rewrite.egg-info/dependency_links.txt
2023-02-28T09:34:47,618   writing entry points to /tmp/pip-pip-egg-info-bxmixl6i/certora_cli_alpha_CVL_rewrite.egg-info/entry_points.txt
2023-02-28T09:34:47,620   writing requirements to /tmp/pip-pip-egg-info-bxmixl6i/certora_cli_alpha_CVL_rewrite.egg-info/requires.txt
2023-02-28T09:34:47,621   writing top-level names to /tmp/pip-pip-egg-info-bxmixl6i/certora_cli_alpha_CVL_rewrite.egg-info/top_level.txt
2023-02-28T09:34:47,622   writing manifest file '/tmp/pip-pip-egg-info-bxmixl6i/certora_cli_alpha_CVL_rewrite.egg-info/SOURCES.txt'
2023-02-28T09:34:47,697   reading manifest file '/tmp/pip-pip-egg-info-bxmixl6i/certora_cli_alpha_CVL_rewrite.egg-info/SOURCES.txt'
2023-02-28T09:34:47,699   reading manifest template 'MANIFEST.in'
2023-02-28T09:34:47,704   writing manifest file '/tmp/pip-pip-egg-info-bxmixl6i/certora_cli_alpha_CVL_rewrite.egg-info/SOURCES.txt'
2023-02-28T09:34:47,764   Preparing metadata (setup.py): finished with status 'done'
2023-02-28T09:34:47,770   Source in /tmp/pip-wheel-icqnx8y4/certora-cli-alpha-cvl-rewrite_3e7b63079f9347dea00fb101154c4888 has version 20230228.9.5, which satisfies requirement certora-cli-alpha-cvl-rewrite==20230228.9.5 from https://files.pythonhosted.org/packages/a1/32/49c11fc13a49eb14d70fb2467b631ce34f9bcf8fb2638d4e62dcf2271d78/certora-cli-alpha-CVL_rewrite-20230228.9.5.tar.gz
2023-02-28T09:34:47,771   Removed certora-cli-alpha-cvl-rewrite==20230228.9.5 from https://files.pythonhosted.org/packages/a1/32/49c11fc13a49eb14d70fb2467b631ce34f9bcf8fb2638d4e62dcf2271d78/certora-cli-alpha-CVL_rewrite-20230228.9.5.tar.gz from build tracker '/tmp/pip-build-tracker-a12sahu1'
2023-02-28T09:34:47,778 Created temporary directory: /tmp/pip-unpack-5q_zmb39
2023-02-28T09:34:47,779 Building wheels for collected packages: certora-cli-alpha-cvl-rewrite
2023-02-28T09:34:47,783   Created temporary directory: /tmp/pip-wheel-banavl0s
2023-02-28T09:34:47,784   Building wheel for certora-cli-alpha-cvl-rewrite (setup.py): started
2023-02-28T09:34:47,785   Destination directory: /tmp/pip-wheel-banavl0s
2023-02-28T09:34:47,785   Running command python setup.py bdist_wheel
2023-02-28T09:34:48,632   running bdist_wheel
2023-02-28T09:34:48,915   running build
2023-02-28T09:34:48,915   running build_py
2023-02-28T09:34:48,940   creating build
2023-02-28T09:34:48,941   creating build/lib
2023-02-28T09:34:48,942   creating build/lib/certora_cli
2023-02-28T09:34:48,943   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-02-28T09:34:48,945   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-02-28T09:34:48,948   creating build/lib/certora_jars
2023-02-28T09:34:48,948   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-02-28T09:34:48,951   creating build/lib/certora_cli/Shared
2023-02-28T09:34:48,951   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-02-28T09:34:48,954   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-02-28T09:34:48,956   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-02-28T09:34:48,959   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-02-28T09:34:48,962   creating build/lib/certora_cli/EVMVerifier
2023-02-28T09:34:48,963   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-02-28T09:34:48,965   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-02-28T09:34:48,968   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-02-28T09:34:48,971   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-02-28T09:34:48,976   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-02-28T09:34:48,980   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-02-28T09:34:48,983   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-02-28T09:34:48,985   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-02-28T09:34:48,988   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-02-28T09:34:48,990   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-02-28T09:34:48,992   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-02-28T09:34:48,994   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-02-28T09:34:48,995   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-02-28T09:34:48,999   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-02-28T09:34:49,000   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-02-28T09:34:49,001   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-02-28T09:34:49,004   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-02-28T09:34:49,005   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-02-28T09:34:49,008   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-02-28T09:34:49,009   running egg_info
2023-02-28T09:34:49,063   writing certora_cli_alpha_CVL_rewrite.egg-info/PKG-INFO
2023-02-28T09:34:49,065   writing dependency_links to certora_cli_alpha_CVL_rewrite.egg-info/dependency_links.txt
2023-02-28T09:34:49,067   writing entry points to certora_cli_alpha_CVL_rewrite.egg-info/entry_points.txt
2023-02-28T09:34:49,069   writing requirements to certora_cli_alpha_CVL_rewrite.egg-info/requires.txt
2023-02-28T09:34:49,070   writing top-level names to certora_cli_alpha_CVL_rewrite.egg-info/top_level.txt
2023-02-28T09:34:49,098   reading manifest file 'certora_cli_alpha_CVL_rewrite.egg-info/SOURCES.txt'
2023-02-28T09:34:49,100   reading manifest template 'MANIFEST.in'
2023-02-28T09:34:49,106   writing manifest file 'certora_cli_alpha_CVL_rewrite.egg-info/SOURCES.txt'
2023-02-28T09:34:49,109   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-02-28T09:34:49,377   /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-28T09:34:49,377     warnings.warn(
2023-02-28T09:34:49,401   installing to build/bdist.linux-armv7l/wheel
2023-02-28T09:34:49,401   running install
2023-02-28T09:34:49,427   running install_lib
2023-02-28T09:34:49,451   creating build/bdist.linux-armv7l
2023-02-28T09:34:49,451   creating build/bdist.linux-armv7l/wheel
2023-02-28T09:34:49,453   creating build/bdist.linux-armv7l/wheel/certora_cli
2023-02-28T09:34:49,455   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-02-28T09:34:49,457   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-02-28T09:34:49,460   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-02-28T09:34:49,462   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-02-28T09:34:49,465   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-02-28T09:34:49,468   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-02-28T09:34:49,471   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-02-28T09:34:49,473   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-28T09:34:49,474   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-28T09:34:49,477   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-28T09:34:49,480   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-28T09:34:49,484   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-02-28T09:34:49,485   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-02-28T09:34:49,487   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-02-28T09:34:49,490   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-02-28T09:34:49,492   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-02-28T09:34:49,495   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-02-28T09:34:49,497   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-28T09:34:49,503   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-28T09:34:49,507   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-28T09:34:49,510   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-28T09:34:49,513   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-28T09:34:49,517   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-28T09:34:49,519   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-28T09:34:49,521   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-28T09:34:49,524   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-28T09:34:49,526   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-28T09:34:49,529   creating build/bdist.linux-armv7l/wheel/certora_jars
2023-02-28T09:34:49,531   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-02-28T09:34:49,767   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars
2023-02-28T09:34:49,769   running install_egg_info
2023-02-28T09:34:49,797   Copying certora_cli_alpha_CVL_rewrite.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_CVL_rewrite-20230228.9.5-py3.9.egg-info
2023-02-28T09:34:49,808   running install_scripts
2023-02-28T09:34:49,828   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_CVL_rewrite-20230228.9.5.dist-info/WHEEL
2023-02-28T09:34:49,830   creating '/tmp/pip-wheel-banavl0s/certora_cli_alpha_CVL_rewrite-20230228.9.5-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2023-02-28T09:34:49,833   adding 'certora_cli/__init__.py'
2023-02-28T09:34:49,835   adding 'certora_cli/certoraRun.py'
2023-02-28T09:34:49,837   adding 'certora_cli/EVMVerifier/__init__.py'
2023-02-28T09:34:49,858   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-02-28T09:34:49,864   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-02-28T09:34:49,866   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-02-28T09:34:49,868   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-02-28T09:34:49,872   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-02-28T09:34:49,875   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-02-28T09:34:49,876   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-02-28T09:34:49,882   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-02-28T09:34:49,884   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-02-28T09:34:49,886   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-02-28T09:34:49,888   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-02-28T09:34:49,892   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-02-28T09:34:49,894   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-02-28T09:34:49,896   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-02-28T09:34:49,898   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-02-28T09:34:49,900   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-02-28T09:34:49,901   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-02-28T09:34:49,903   adding 'certora_cli/Shared/__init__.py'
2023-02-28T09:34:49,905   adding 'certora_cli/Shared/certoraLogging.py'
2023-02-28T09:34:49,907   adding 'certora_cli/Shared/certoraTester.py'
2023-02-28T09:34:49,913   adding 'certora_cli/Shared/certoraUtils.py'
2023-02-28T09:34:51,309   adding 'certora_jars/Typechecker.jar'
2023-02-28T09:34:51,383   adding 'certora_jars/__init__.py'
2023-02-28T09:34:51,384   adding 'certora_cli_alpha_CVL_rewrite-20230228.9.5.dist-info/METADATA'
2023-02-28T09:34:51,385   adding 'certora_cli_alpha_CVL_rewrite-20230228.9.5.dist-info/WHEEL'
2023-02-28T09:34:51,386   adding 'certora_cli_alpha_CVL_rewrite-20230228.9.5.dist-info/entry_points.txt'
2023-02-28T09:34:51,387   adding 'certora_cli_alpha_CVL_rewrite-20230228.9.5.dist-info/top_level.txt'
2023-02-28T09:34:51,388   adding 'certora_cli_alpha_CVL_rewrite-20230228.9.5.dist-info/RECORD'
2023-02-28T09:34:51,533   removing build/bdist.linux-armv7l/wheel
2023-02-28T09:34:51,637   Building wheel for certora-cli-alpha-cvl-rewrite (setup.py): finished with status 'done'
2023-02-28T09:34:51,756   Created wheel for certora-cli-alpha-cvl-rewrite: filename=certora_cli_alpha_CVL_rewrite-20230228.9.5-py3-none-any.whl size=10847292 sha256=0a4ac90ca10f6e9a04b32ce6d672bb744d2f5d33ad41ce0d50c594e82b991db7
2023-02-28T09:34:51,757   Stored in directory: /tmp/pip-ephem-wheel-cache-cxjk9s3z/wheels/16/1e/ae/724a96c7cca791ee6beb70b65f36730b36ad33558f1d8d8731
2023-02-28T09:34:51,775 Successfully built certora-cli-alpha-cvl-rewrite
2023-02-28T09:34:52,111 Removed build tracker: '/tmp/pip-build-tracker-a12sahu1'