2023-02-24T08:58:57,636 Created temporary directory: /tmp/pip-ephem-wheel-cache-jkz9x1qr
2023-02-24T08:58:57,638 Created temporary directory: /tmp/pip-build-tracker-cj2ok6b5
2023-02-24T08:58:57,639 Initialized build tracking at /tmp/pip-build-tracker-cj2ok6b5
2023-02-24T08:58:57,639 Created build tracker: /tmp/pip-build-tracker-cj2ok6b5
2023-02-24T08:58:57,639 Entered build tracker: /tmp/pip-build-tracker-cj2ok6b5
2023-02-24T08:58:57,640 Created temporary directory: /tmp/pip-wheel-y0v2tlud
2023-02-24T08:58:57,645 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-24T08:58:57,647 Created temporary directory: /tmp/pip-ephem-wheel-cache-m1papys3
2023-02-24T08:58:57,676 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-02-24T08:58:57,679 2 location(s) to search for versions of certora-cli-alpha-cvl-rewrite:
2023-02-24T08:58:57,679 * https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-24T08:58:57,679 * https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-24T08:58:57,680 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-24T08:58:57,680 Getting page https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-24T08:58:57,682 Found index url https://pypi.org/simple
2023-02-24T08:58:57,738 Fetched page https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/ as application/vnd.pypi.simple.v1+json
2023-02-24T08:58:57,740   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-24T08:58:57,740   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-24T08:58:57,741   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-24T08:58:57,741   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-24T08:58:57,742   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-24T08:58:57,742   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-24T08:58:57,742 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-24T08:58:57,743 Getting page https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-24T08:58:57,744 Found index url https://www.piwheels.org/simple
2023-02-24T08:58:57,921 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/ as text/html
2023-02-24T08:58:57,924   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-24T08:58:57,924   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-24T08:58:57,924 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-24T08:58:57,925 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-cvl-rewrite/
2023-02-24T08:58:57,951 Given no hashes to check 1 links for project 'certora-cli-alpha-cvl-rewrite': discarding no candidates
2023-02-24T08:58:57,974 Collecting certora-cli-alpha-cvl-rewrite==20230224.8.19
2023-02-24T08:58:57,977   Created temporary directory: /tmp/pip-unpack-o19a6og6
2023-02-24T08:58:58,175   Downloading certora-cli-alpha-CVL_rewrite-20230224.8.19.tar.gz (10.8 MB)
2023-02-24T08:59:01,518   Added certora-cli-alpha-cvl-rewrite==20230224.8.19 from https://files.pythonhosted.org/packages/34/1a/5f9e4c4952d8d3ba4753fd402aeba87b129f4a76059a7a10ac6a4ea10343/certora-cli-alpha-CVL_rewrite-20230224.8.19.tar.gz to build tracker '/tmp/pip-build-tracker-cj2ok6b5'
2023-02-24T08:59:01,520   Running setup.py (path:/tmp/pip-wheel-y0v2tlud/certora-cli-alpha-cvl-rewrite_283e045031b7486f9868e7c24bedcf8b/setup.py) egg_info for package certora-cli-alpha-cvl-rewrite
2023-02-24T08:59:01,520   Created temporary directory: /tmp/pip-pip-egg-info-jbzhyolf
2023-02-24T08:59:01,521   Preparing metadata (setup.py): started
2023-02-24T08:59:01,522   Running command python setup.py egg_info
2023-02-24T08:59:02,133   running egg_info
2023-02-24T08:59:02,134   creating /tmp/pip-pip-egg-info-jbzhyolf/certora_cli_alpha_CVL_rewrite.egg-info
2023-02-24T08:59:02,157   writing /tmp/pip-pip-egg-info-jbzhyolf/certora_cli_alpha_CVL_rewrite.egg-info/PKG-INFO
2023-02-24T08:59:02,160   writing dependency_links to /tmp/pip-pip-egg-info-jbzhyolf/certora_cli_alpha_CVL_rewrite.egg-info/dependency_links.txt
2023-02-24T08:59:02,162   writing entry points to /tmp/pip-pip-egg-info-jbzhyolf/certora_cli_alpha_CVL_rewrite.egg-info/entry_points.txt
2023-02-24T08:59:02,164   writing requirements to /tmp/pip-pip-egg-info-jbzhyolf/certora_cli_alpha_CVL_rewrite.egg-info/requires.txt
2023-02-24T08:59:02,165   writing top-level names to /tmp/pip-pip-egg-info-jbzhyolf/certora_cli_alpha_CVL_rewrite.egg-info/top_level.txt
2023-02-24T08:59:02,166   writing manifest file '/tmp/pip-pip-egg-info-jbzhyolf/certora_cli_alpha_CVL_rewrite.egg-info/SOURCES.txt'
2023-02-24T08:59:02,242   reading manifest file '/tmp/pip-pip-egg-info-jbzhyolf/certora_cli_alpha_CVL_rewrite.egg-info/SOURCES.txt'
2023-02-24T08:59:02,244   reading manifest template 'MANIFEST.in'
2023-02-24T08:59:02,249   writing manifest file '/tmp/pip-pip-egg-info-jbzhyolf/certora_cli_alpha_CVL_rewrite.egg-info/SOURCES.txt'
2023-02-24T08:59:02,309   Preparing metadata (setup.py): finished with status 'done'
2023-02-24T08:59:02,314   Source in /tmp/pip-wheel-y0v2tlud/certora-cli-alpha-cvl-rewrite_283e045031b7486f9868e7c24bedcf8b has version 20230224.8.19, which satisfies requirement certora-cli-alpha-cvl-rewrite==20230224.8.19 from https://files.pythonhosted.org/packages/34/1a/5f9e4c4952d8d3ba4753fd402aeba87b129f4a76059a7a10ac6a4ea10343/certora-cli-alpha-CVL_rewrite-20230224.8.19.tar.gz
2023-02-24T08:59:02,315   Removed certora-cli-alpha-cvl-rewrite==20230224.8.19 from https://files.pythonhosted.org/packages/34/1a/5f9e4c4952d8d3ba4753fd402aeba87b129f4a76059a7a10ac6a4ea10343/certora-cli-alpha-CVL_rewrite-20230224.8.19.tar.gz from build tracker '/tmp/pip-build-tracker-cj2ok6b5'
2023-02-24T08:59:02,322 Created temporary directory: /tmp/pip-unpack-6ffqvevg
2023-02-24T08:59:02,322 Building wheels for collected packages: certora-cli-alpha-cvl-rewrite
2023-02-24T08:59:02,327   Created temporary directory: /tmp/pip-wheel-e78v9rhh
2023-02-24T08:59:02,327   Building wheel for certora-cli-alpha-cvl-rewrite (setup.py): started
2023-02-24T08:59:02,328   Destination directory: /tmp/pip-wheel-e78v9rhh
2023-02-24T08:59:02,328   Running command python setup.py bdist_wheel
2023-02-24T08:59:03,163   running bdist_wheel
2023-02-24T08:59:03,435   running build
2023-02-24T08:59:03,436   running build_py
2023-02-24T08:59:03,461   creating build
2023-02-24T08:59:03,461   creating build/lib
2023-02-24T08:59:03,462   creating build/lib/certora_cli
2023-02-24T08:59:03,463   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-02-24T08:59:03,466   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-02-24T08:59:03,468   creating build/lib/certora_jars
2023-02-24T08:59:03,469   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-02-24T08:59:03,471   creating build/lib/certora_cli/EVMVerifier
2023-02-24T08:59:03,472   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-02-24T08:59:03,475   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-02-24T08:59:03,477   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-02-24T08:59:03,480   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-02-24T08:59:03,483   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-02-24T08:59:03,485   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-02-24T08:59:03,487   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-02-24T08:59:03,490   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-02-24T08:59:03,492   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-02-24T08:59:03,499   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-02-24T08:59:03,500   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-02-24T08:59:03,504   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-02-24T08:59:03,507   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-02-24T08:59:03,510   creating build/lib/certora_cli/Shared
2023-02-24T08:59:03,511   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-02-24T08:59:03,515   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-02-24T08:59:03,517   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-02-24T08:59:03,519   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-02-24T08:59:03,522   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-02-24T08:59:03,523   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-02-24T08:59:03,526   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-02-24T08:59:03,528   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-02-24T08:59:03,530   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-02-24T08:59:03,532   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-02-24T08:59:03,533   running egg_info
2023-02-24T08:59:03,586   writing certora_cli_alpha_CVL_rewrite.egg-info/PKG-INFO
2023-02-24T08:59:03,588   writing dependency_links to certora_cli_alpha_CVL_rewrite.egg-info/dependency_links.txt
2023-02-24T08:59:03,590   writing entry points to certora_cli_alpha_CVL_rewrite.egg-info/entry_points.txt
2023-02-24T08:59:03,591   writing requirements to certora_cli_alpha_CVL_rewrite.egg-info/requires.txt
2023-02-24T08:59:03,593   writing top-level names to certora_cli_alpha_CVL_rewrite.egg-info/top_level.txt
2023-02-24T08:59:03,619   reading manifest file 'certora_cli_alpha_CVL_rewrite.egg-info/SOURCES.txt'
2023-02-24T08:59:03,622   reading manifest template 'MANIFEST.in'
2023-02-24T08:59:03,628   writing manifest file 'certora_cli_alpha_CVL_rewrite.egg-info/SOURCES.txt'
2023-02-24T08:59:03,630   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-02-24T08:59:03,880   /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-24T08:59:03,881     warnings.warn(
2023-02-24T08:59:03,904   installing to build/bdist.linux-armv7l/wheel
2023-02-24T08:59:03,905   running install
2023-02-24T08:59:03,931   running install_lib
2023-02-24T08:59:03,955   creating build/bdist.linux-armv7l
2023-02-24T08:59:03,956   creating build/bdist.linux-armv7l/wheel
2023-02-24T08:59:03,958   creating build/bdist.linux-armv7l/wheel/certora_cli
2023-02-24T08:59:03,960   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-24T08:59:03,961   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-24T08:59:03,965   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-24T08:59:03,967   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-24T08:59:03,970   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-24T08:59:03,973   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-24T08:59:03,975   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-24T08:59:03,978   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-24T08:59:03,982   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-24T08:59:03,984   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-24T08:59:03,992   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-24T08:59:03,995   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-02-24T08:59:03,996   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-02-24T08:59:03,999   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-02-24T08:59:04,001   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-02-24T08:59:04,004   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-02-24T08:59:04,006   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-02-24T08:59:04,008   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-24T08:59:04,012   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-24T08:59:04,015   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-02-24T08:59:04,019   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-02-24T08:59:04,021   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-02-24T08:59:04,024   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-02-24T08:59:04,025   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-02-24T08:59:04,029   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-02-24T08:59:04,031   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-02-24T08:59:04,034   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-02-24T08:59:04,037   creating build/bdist.linux-armv7l/wheel/certora_jars
2023-02-24T08:59:04,038   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars
2023-02-24T08:59:04,040   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-02-24T08:59:04,287   running install_egg_info
2023-02-24T08:59:04,315   Copying certora_cli_alpha_CVL_rewrite.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_CVL_rewrite-20230224.8.19-py3.9.egg-info
2023-02-24T08:59:04,327   running install_scripts
2023-02-24T08:59:04,347   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_CVL_rewrite-20230224.8.19.dist-info/WHEEL
2023-02-24T08:59:04,350   creating '/tmp/pip-wheel-e78v9rhh/certora_cli_alpha_CVL_rewrite-20230224.8.19-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2023-02-24T08:59:04,352   adding 'certora_cli/__init__.py'
2023-02-24T08:59:04,355   adding 'certora_cli/certoraRun.py'
2023-02-24T08:59:04,357   adding 'certora_cli/EVMVerifier/__init__.py'
2023-02-24T08:59:04,378   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-02-24T08:59:04,385   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-02-24T08:59:04,388   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-02-24T08:59:04,390   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-02-24T08:59:04,396   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-02-24T08:59:04,399   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-02-24T08:59:04,401   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-02-24T08:59:04,406   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-02-24T08:59:04,409   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-02-24T08:59:04,411   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-02-24T08:59:04,414   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-02-24T08:59:04,418   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-02-24T08:59:04,421   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-02-24T08:59:04,423   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-02-24T08:59:04,425   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-02-24T08:59:04,426   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-02-24T08:59:04,428   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-02-24T08:59:04,430   adding 'certora_cli/Shared/__init__.py'
2023-02-24T08:59:04,433   adding 'certora_cli/Shared/certoraLogging.py'
2023-02-24T08:59:04,435   adding 'certora_cli/Shared/certoraTester.py'
2023-02-24T08:59:04,440   adding 'certora_cli/Shared/certoraUtils.py'
2023-02-24T08:59:05,810   adding 'certora_jars/Typechecker.jar'
2023-02-24T08:59:05,884   adding 'certora_jars/__init__.py'
2023-02-24T08:59:05,886   adding 'certora_cli_alpha_CVL_rewrite-20230224.8.19.dist-info/METADATA'
2023-02-24T08:59:05,887   adding 'certora_cli_alpha_CVL_rewrite-20230224.8.19.dist-info/WHEEL'
2023-02-24T08:59:05,888   adding 'certora_cli_alpha_CVL_rewrite-20230224.8.19.dist-info/entry_points.txt'
2023-02-24T08:59:05,890   adding 'certora_cli_alpha_CVL_rewrite-20230224.8.19.dist-info/top_level.txt'
2023-02-24T08:59:05,891   adding 'certora_cli_alpha_CVL_rewrite-20230224.8.19.dist-info/RECORD'
2023-02-24T08:59:06,036   removing build/bdist.linux-armv7l/wheel
2023-02-24T08:59:06,140   Building wheel for certora-cli-alpha-cvl-rewrite (setup.py): finished with status 'done'
2023-02-24T08:59:06,258   Created wheel for certora-cli-alpha-cvl-rewrite: filename=certora_cli_alpha_CVL_rewrite-20230224.8.19-py3-none-any.whl size=10817358 sha256=ed5e2bd1261672ef241ca32b0bfec1973aea52526f12470c86df904a77c5595c
2023-02-24T08:59:06,259   Stored in directory: /tmp/pip-ephem-wheel-cache-m1papys3/wheels/c3/75/4c/f57a28c4fd9d124c4bc5c2b7e75ee5646f22eee67e74f1e389
2023-02-24T08:59:06,277 Successfully built certora-cli-alpha-cvl-rewrite
2023-02-24T08:59:06,580 Removed build tracker: '/tmp/pip-build-tracker-cj2ok6b5'