2023-05-17T02:42:37,567 Created temporary directory: /tmp/pip-build-tracker-vbtlmf11
2023-05-17T02:42:37,569 Initialized build tracking at /tmp/pip-build-tracker-vbtlmf11
2023-05-17T02:42:37,569 Created build tracker: /tmp/pip-build-tracker-vbtlmf11
2023-05-17T02:42:37,569 Entered build tracker: /tmp/pip-build-tracker-vbtlmf11
2023-05-17T02:42:37,570 Created temporary directory: /tmp/pip-wheel-q6m8afb0
2023-05-17T02:42:37,573 Created temporary directory: /tmp/pip-ephem-wheel-cache-2ay_j8rh
2023-05-17T02:42:37,598 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-17T02:42:37,602 2 location(s) to search for versions of certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta:
2023-05-17T02:42:37,602 * https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/
2023-05-17T02:42:37,602 * https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/
2023-05-17T02:42:37,603 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/
2023-05-17T02:42:37,603 Getting page https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/
2023-05-17T02:42:37,605 Found index url https://pypi.org/simple/
2023-05-17T02:42:37,655 Fetched page https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/ as application/vnd.pypi.simple.v1+json
2023-05-17T02:42:37,658   Found link https://files.pythonhosted.org/packages/ef/b1/606244b47deb3a548864700f588d79df0e8c94e05022135dd37541cc0603/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230516.11.16.372594.tar.gz (from https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16), version: 20230516.11.16.372594
2023-05-17T02:42:37,658   Skipping link: No binaries permitted for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta: https://files.pythonhosted.org/packages/a7/75/0471841ee8bd3e9adbec64e747c99660a423f3841f1241b3e24a41be003d/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.11.16.372594-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16)
2023-05-17T02:42:37,659   Found link https://files.pythonhosted.org/packages/c6/37/896bb22d815ac36f844bc5e20d8c2e185c5af61d4dbdc709f93827710b0a/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230516.12.24.794487.tar.gz (from https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16), version: 20230516.12.24.794487
2023-05-17T02:42:37,659   Skipping link: No binaries permitted for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta: https://files.pythonhosted.org/packages/f4/3c/8f2d308f34d2b70756b1552043c8a50c6dc36b35caf015086e2106b643b4/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.12.24.794487-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16)
2023-05-17T02:42:37,660   Found link https://files.pythonhosted.org/packages/e2/cc/ac428cde8647016b0f656eb5f8104b83f4e24e9b38b63d613df882b2d519/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230516.19.55.453602.tar.gz (from https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16), version: 20230516.19.55.453602
2023-05-17T02:42:37,660   Skipping link: No binaries permitted for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta: https://files.pythonhosted.org/packages/3d/42/c59b47c67eb8eb5165bbc1e2aaa30530ebcf8d32866173139339ace83e3d/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.19.55.453602-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16)
2023-05-17T02:42:37,661   Found link https://files.pythonhosted.org/packages/64/c7/dbc2cbf5a101d4d4c34d0fcc3c3bb8f2e9daa9e3f800782cb521f33b2f63/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230516.20.52.233729.tar.gz (from https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16), version: 20230516.20.52.233729
2023-05-17T02:42:37,661   Skipping link: No binaries permitted for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta: https://files.pythonhosted.org/packages/29/5e/306b267c0826b916db012f09f5612971bf89b19b4735ee28a11d3f28bcac/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.20.52.233729-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16)
2023-05-17T02:42:37,661 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/
2023-05-17T02:42:37,662 Getting page https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/
2023-05-17T02:42:37,663 Found index url https://www.piwheels.org/simple/
2023-05-17T02:42:37,849 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/ as text/html
2023-05-17T02:42:37,850   Skipping link: No binaries permitted for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta: https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.11.16.372594-py3-none-any.whl#sha256=eb8d4b58e340b92d6edbc4633150e95bafc1e3ed3919a73f54cf3b14da3d7541 (from https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16)
2023-05-17T02:42:37,851 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/
2023-05-17T02:42:37,851 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/
2023-05-17T02:42:37,867 Given no hashes to check 1 links for project 'certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta': discarding no candidates
2023-05-17T02:42:37,882 Collecting certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta==20230516.12.24.794487
2023-05-17T02:42:37,885   Created temporary directory: /tmp/pip-unpack-ak_eah9e
2023-05-17T02:42:38,044   Downloading certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230516.12.24.794487.tar.gz (39.0 MB)
2023-05-17T02:42:46,831   Added certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta==20230516.12.24.794487 from https://files.pythonhosted.org/packages/c6/37/896bb22d815ac36f844bc5e20d8c2e185c5af61d4dbdc709f93827710b0a/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230516.12.24.794487.tar.gz to build tracker '/tmp/pip-build-tracker-vbtlmf11'
2023-05-17T02:42:46,834   Running setup.py (path:/tmp/pip-wheel-q6m8afb0/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta_6aaab77208104114b4176405cd2c126f/setup.py) egg_info for package certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta
2023-05-17T02:42:46,834   Created temporary directory: /tmp/pip-pip-egg-info-g23gvj_w
2023-05-17T02:42:46,835   Preparing metadata (setup.py): started
2023-05-17T02:42:46,836   Running command python setup.py egg_info
2023-05-17T02:42:47,442   running egg_info
2023-05-17T02:42:47,443   creating /tmp/pip-pip-egg-info-g23gvj_w/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info
2023-05-17T02:42:47,467   writing /tmp/pip-pip-egg-info-g23gvj_w/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/PKG-INFO
2023-05-17T02:42:47,469   writing dependency_links to /tmp/pip-pip-egg-info-g23gvj_w/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/dependency_links.txt
2023-05-17T02:42:47,471   writing entry points to /tmp/pip-pip-egg-info-g23gvj_w/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/entry_points.txt
2023-05-17T02:42:47,473   writing requirements to /tmp/pip-pip-egg-info-g23gvj_w/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/requires.txt
2023-05-17T02:42:47,474   writing top-level names to /tmp/pip-pip-egg-info-g23gvj_w/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/top_level.txt
2023-05-17T02:42:47,475   writing manifest file '/tmp/pip-pip-egg-info-g23gvj_w/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/SOURCES.txt'
2023-05-17T02:42:47,554   reading manifest file '/tmp/pip-pip-egg-info-g23gvj_w/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/SOURCES.txt'
2023-05-17T02:42:47,555   reading manifest template 'MANIFEST.in'
2023-05-17T02:42:47,564   adding license file 'LICENSE'
2023-05-17T02:42:47,568   writing manifest file '/tmp/pip-pip-egg-info-g23gvj_w/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/SOURCES.txt'
2023-05-17T02:42:47,629   Preparing metadata (setup.py): finished with status 'done'
2023-05-17T02:42:47,634   Source in /tmp/pip-wheel-q6m8afb0/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta_6aaab77208104114b4176405cd2c126f has version 20230516.12.24.794487, which satisfies requirement certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta==20230516.12.24.794487 from https://files.pythonhosted.org/packages/c6/37/896bb22d815ac36f844bc5e20d8c2e185c5af61d4dbdc709f93827710b0a/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230516.12.24.794487.tar.gz
2023-05-17T02:42:47,635   Removed certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta==20230516.12.24.794487 from https://files.pythonhosted.org/packages/c6/37/896bb22d815ac36f844bc5e20d8c2e185c5af61d4dbdc709f93827710b0a/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230516.12.24.794487.tar.gz from build tracker '/tmp/pip-build-tracker-vbtlmf11'
2023-05-17T02:42:47,642 Created temporary directory: /tmp/pip-unpack-yduybzqq
2023-05-17T02:42:47,642 Building wheels for collected packages: certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta
2023-05-17T02:42:47,647   Created temporary directory: /tmp/pip-wheel-b3qavni0
2023-05-17T02:42:47,647   Building wheel for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta (setup.py): started
2023-05-17T02:42:47,648   Destination directory: /tmp/pip-wheel-b3qavni0
2023-05-17T02:42:47,649   Running command python setup.py bdist_wheel
2023-05-17T02:42:48,427   running bdist_wheel
2023-05-17T02:42:48,694   running build
2023-05-17T02:42:48,694   running build_py
2023-05-17T02:42:48,721   creating build
2023-05-17T02:42:48,721   creating build/lib
2023-05-17T02:42:48,722   creating build/lib/certora_jars
2023-05-17T02:42:48,723   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-17T02:42:48,725   creating build/lib/certora_cli
2023-05-17T02:42:48,726   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-17T02:42:48,728   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-17T02:42:48,731   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-17T02:42:48,733   creating build/lib/certora_cli/Shared
2023-05-17T02:42:48,733   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-17T02:42:48,736   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-17T02:42:48,738   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-17T02:42:48,740   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-17T02:42:48,743   creating build/lib/certora_cli/EVMVerifier
2023-05-17T02:42:48,744   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T02:42:48,750   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T02:42:48,752   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T02:42:48,754   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T02:42:48,756   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T02:42:48,758   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T02:42:48,760   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T02:42:48,762   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T02:42:48,764   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T02:42:48,766   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T02:42:48,769   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T02:42:48,771   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T02:42:48,774   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T02:42:48,776   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T02:42:48,779   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T02:42:48,780   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T02:42:48,783   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T02:42:48,784   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T02:42:48,786   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T02:42:48,789   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T02:42:48,790   running egg_info
2023-05-17T02:42:48,848   writing certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/PKG-INFO
2023-05-17T02:42:48,851   writing dependency_links to certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/dependency_links.txt
2023-05-17T02:42:48,853   writing entry points to certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/entry_points.txt
2023-05-17T02:42:48,854   writing requirements to certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/requires.txt
2023-05-17T02:42:48,855   writing top-level names to certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/top_level.txt
2023-05-17T02:42:48,885   reading manifest file 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/SOURCES.txt'
2023-05-17T02:42:48,887   reading manifest template 'MANIFEST.in'
2023-05-17T02:42:48,897   adding license file 'LICENSE'
2023-05-17T02:42:48,901   writing manifest file 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/SOURCES.txt'
2023-05-17T02:42:48,904   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-17T02:42:48,906   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-17T02:42:49,160   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-17T02:42:49,331   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-17T02:42:49,523   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-17T02:42:49,608   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-17T02:42:49,745   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-17T02:42:49,746   !!

2023-05-17T02:42:49,746           ********************************************************************************
2023-05-17T02:42:49,746           Please avoid running ``setup.py`` directly.
2023-05-17T02:42:49,746           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-17T02:42:49,746           other standards-based tools.

2023-05-17T02:42:49,747           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-17T02:42:49,747           ********************************************************************************

2023-05-17T02:42:49,747   !!
2023-05-17T02:42:49,747     self.initialize_options()
2023-05-17T02:42:49,770   installing to build/bdist.linux-armv7l/wheel
2023-05-17T02:42:49,770   running install
2023-05-17T02:42:49,795   running install_lib
2023-05-17T02:42:49,820   creating build/bdist.linux-armv7l
2023-05-17T02:42:49,821   creating build/bdist.linux-armv7l/wheel
2023-05-17T02:42:49,822   creating build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T02:42:49,823   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T02:42:50,022   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T02:42:50,188   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T02:42:50,248   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T02:42:50,250   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T02:42:50,252   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T02:42:50,341   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T02:42:50,548   creating build/bdist.linux-armv7l/wheel/certora_cli
2023-05-17T02:42:50,549   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-17T02:42:50,551   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-17T02:42:50,553   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-17T02:42:50,555   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-17T02:42:50,556   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-17T02:42:50,559   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-17T02:42:50,561   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-17T02:42:50,563   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-17T02:42:50,566   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T02:42:50,566   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T02:42:50,572   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T02:42:50,574   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T02:42:50,576   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T02:42:50,579   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T02:42:50,581   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T02:42:50,583   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T02:42:50,585   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T02:42:50,587   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T02:42:50,589   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T02:42:50,592   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T02:42:50,595   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T02:42:50,596   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T02:42:50,599   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T02:42:50,601   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T02:42:50,603   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T02:42:50,605   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T02:42:50,606   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T02:42:50,609   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T02:42:50,611   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T02:42:50,613   running install_egg_info
2023-05-17T02:42:50,642   Copying certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.12.24.794487-py3.9.egg-info
2023-05-17T02:42:50,654   running install_scripts
2023-05-17T02:42:50,670   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2023-05-17T02:42:50,674   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.12.24.794487.dist-info/WHEEL
2023-05-17T02:42:50,677   creating '/tmp/pip-wheel-b3qavni0/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.12.24.794487-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2023-05-17T02:42:50,679   adding 'certora_cli/__init__.py'
2023-05-17T02:42:50,680   adding 'certora_cli/certoraMutate.py'
2023-05-17T02:42:50,682   adding 'certora_cli/certoraRun.py'
2023-05-17T02:42:50,684   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-17T02:42:50,706   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-17T02:42:50,713   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-17T02:42:50,715   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-17T02:42:50,716   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-17T02:42:50,721   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-17T02:42:50,724   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-17T02:42:50,726   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-17T02:42:50,731   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-17T02:42:50,733   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2023-05-17T02:42:50,735   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-17T02:42:50,736   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-17T02:42:50,739   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-17T02:42:50,743   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-17T02:42:50,745   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-17T02:42:50,747   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-17T02:42:50,748   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-17T02:42:50,753   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-17T02:42:50,754   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-17T02:42:50,756   adding 'certora_cli/Shared/__init__.py'
2023-05-17T02:42:50,758   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-17T02:42:50,760   adding 'certora_cli/Shared/certoraTester.py'
2023-05-17T02:42:50,766   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-17T02:42:50,769   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-17T02:42:52,465   adding 'certora_jars/MutationTest.jar'
2023-05-17T02:42:53,800   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-17T02:42:55,391   adding 'certora_jars/Typechecker.jar'
2023-05-17T02:42:55,474   adding 'certora_jars/__init__.py'
2023-05-17T02:42:56,212   adding 'certora_jars/gambit-linux'
2023-05-17T02:42:56,873   adding 'certora_jars/gambit-macos'
2023-05-17T02:42:56,899   adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.12.24.794487.dist-info/LICENSE'
2023-05-17T02:42:56,901   adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.12.24.794487.dist-info/METADATA'
2023-05-17T02:42:56,902   adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.12.24.794487.dist-info/WHEEL'
2023-05-17T02:42:56,903   adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.12.24.794487.dist-info/entry_points.txt'
2023-05-17T02:42:56,905   adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.12.24.794487.dist-info/top_level.txt'
2023-05-17T02:42:56,906   adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.12.24.794487.dist-info/RECORD'
2023-05-17T02:42:57,317   removing build/bdist.linux-armv7l/wheel
2023-05-17T02:42:57,438   Building wheel for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta (setup.py): finished with status 'done'
2023-05-17T02:42:57,828   Created wheel for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta: filename=certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.12.24.794487-py3-none-any.whl size=39005807 sha256=1cf190cda403d94d220396cb6e199fc8b59087b024a43615c6e8d9557a5a0301
2023-05-17T02:42:57,829   Stored in directory: /tmp/pip-ephem-wheel-cache-2ay_j8rh/wheels/e1/83/63/4bdcc75936c1ad3c682d1cf32c02e34721df3dceca1675382c
2023-05-17T02:42:57,852 Successfully built certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta
2023-05-17T02:42:58,733 Removed build tracker: '/tmp/pip-build-tracker-vbtlmf11'