2023-05-17T02:38:25,332 Created temporary directory: /tmp/pip-build-tracker-ajlofnl8
2023-05-17T02:38:25,333 Initialized build tracking at /tmp/pip-build-tracker-ajlofnl8
2023-05-17T02:38:25,333 Created build tracker: /tmp/pip-build-tracker-ajlofnl8
2023-05-17T02:38:25,333 Entered build tracker: /tmp/pip-build-tracker-ajlofnl8
2023-05-17T02:38:25,334 Created temporary directory: /tmp/pip-wheel-9us99945
2023-05-17T02:38:25,337 Created temporary directory: /tmp/pip-ephem-wheel-cache-whqqeg7n
2023-05-17T02:38:25,362 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-17T02:38:25,366 2 location(s) to search for versions of certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta:
2023-05-17T02:38:25,366 * https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/
2023-05-17T02:38:25,366 * https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/
2023-05-17T02:38:25,366 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/
2023-05-17T02:38:25,367 Getting page https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/
2023-05-17T02:38:25,369 Found index url https://pypi.org/simple/
2023-05-17T02:38:25,418 Fetched page https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/ as application/vnd.pypi.simple.v1+json
2023-05-17T02:38:25,421   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:38:25,422   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:38:25,422   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:38:25,422   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:38:25,423   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:38:25,423   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:38:25,424   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:38:25,424   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:38:25,425 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/
2023-05-17T02:38:25,425 Getting page https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/
2023-05-17T02:38:25,426 Found index url https://www.piwheels.org/simple/
2023-05-17T02:38:25,597 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/ as text/html
2023-05-17T02:38:25,598 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/
2023-05-17T02:38:25,598 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/
2023-05-17T02:38:25,615 Given no hashes to check 1 links for project 'certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta': discarding no candidates
2023-05-17T02:38:25,630 Collecting certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta==20230516.11.16.372594
2023-05-17T02:38:25,632   Created temporary directory: /tmp/pip-unpack-us6dhfhv
2023-05-17T02:38:25,756   Downloading certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230516.11.16.372594.tar.gz (38.8 MB)
2023-05-17T02:38:36,193   Added certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta==20230516.11.16.372594 from https://files.pythonhosted.org/packages/ef/b1/606244b47deb3a548864700f588d79df0e8c94e05022135dd37541cc0603/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230516.11.16.372594.tar.gz to build tracker '/tmp/pip-build-tracker-ajlofnl8'
2023-05-17T02:38:36,195   Running setup.py (path:/tmp/pip-wheel-9us99945/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta_b20f2a88bec24bde840143fdb23de96a/setup.py) egg_info for package certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta
2023-05-17T02:38:36,196   Created temporary directory: /tmp/pip-pip-egg-info-88qwbqv4
2023-05-17T02:38:36,196   Preparing metadata (setup.py): started
2023-05-17T02:38:36,197   Running command python setup.py egg_info
2023-05-17T02:38:36,800   running egg_info
2023-05-17T02:38:36,801   creating /tmp/pip-pip-egg-info-88qwbqv4/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info
2023-05-17T02:38:36,824   writing /tmp/pip-pip-egg-info-88qwbqv4/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/PKG-INFO
2023-05-17T02:38:36,826   writing dependency_links to /tmp/pip-pip-egg-info-88qwbqv4/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/dependency_links.txt
2023-05-17T02:38:36,828   writing entry points to /tmp/pip-pip-egg-info-88qwbqv4/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/entry_points.txt
2023-05-17T02:38:36,830   writing requirements to /tmp/pip-pip-egg-info-88qwbqv4/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/requires.txt
2023-05-17T02:38:36,831   writing top-level names to /tmp/pip-pip-egg-info-88qwbqv4/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/top_level.txt
2023-05-17T02:38:36,832   writing manifest file '/tmp/pip-pip-egg-info-88qwbqv4/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/SOURCES.txt'
2023-05-17T02:38:36,910   reading manifest file '/tmp/pip-pip-egg-info-88qwbqv4/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/SOURCES.txt'
2023-05-17T02:38:36,912   reading manifest template 'MANIFEST.in'
2023-05-17T02:38:36,921   adding license file 'LICENSE'
2023-05-17T02:38:36,924   writing manifest file '/tmp/pip-pip-egg-info-88qwbqv4/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/SOURCES.txt'
2023-05-17T02:38:36,985   Preparing metadata (setup.py): finished with status 'done'
2023-05-17T02:38:36,990   Source in /tmp/pip-wheel-9us99945/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta_b20f2a88bec24bde840143fdb23de96a has version 20230516.11.16.372594, which satisfies requirement certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta==20230516.11.16.372594 from https://files.pythonhosted.org/packages/ef/b1/606244b47deb3a548864700f588d79df0e8c94e05022135dd37541cc0603/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230516.11.16.372594.tar.gz
2023-05-17T02:38:36,991   Removed certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta==20230516.11.16.372594 from https://files.pythonhosted.org/packages/ef/b1/606244b47deb3a548864700f588d79df0e8c94e05022135dd37541cc0603/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230516.11.16.372594.tar.gz from build tracker '/tmp/pip-build-tracker-ajlofnl8'
2023-05-17T02:38:36,998 Created temporary directory: /tmp/pip-unpack-17trr466
2023-05-17T02:38:36,998 Building wheels for collected packages: certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta
2023-05-17T02:38:37,002   Created temporary directory: /tmp/pip-wheel-rpx5eio1
2023-05-17T02:38:37,003   Building wheel for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta (setup.py): started
2023-05-17T02:38:37,003   Destination directory: /tmp/pip-wheel-rpx5eio1
2023-05-17T02:38:37,004   Running command python setup.py bdist_wheel
2023-05-17T02:38:37,793   running bdist_wheel
2023-05-17T02:38:38,069   running build
2023-05-17T02:38:38,069   running build_py
2023-05-17T02:38:38,096   creating build
2023-05-17T02:38:38,096   creating build/lib
2023-05-17T02:38:38,097   creating build/lib/certora_jars
2023-05-17T02:38:38,098   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-17T02:38:38,101   creating build/lib/certora_cli
2023-05-17T02:38:38,102   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-17T02:38:38,103   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-17T02:38:38,105   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-17T02:38:38,108   creating build/lib/certora_cli/Shared
2023-05-17T02:38:38,109   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-17T02:38:38,112   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-17T02:38:38,114   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-17T02:38:38,117   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-17T02:38:38,120   creating build/lib/certora_cli/EVMVerifier
2023-05-17T02:38:38,120   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T02:38:38,122   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T02:38:38,125   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T02:38:38,127   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T02:38:38,130   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T02:38:38,131   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T02:38:38,134   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T02:38:38,136   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T02:38:38,139   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T02:38:38,145   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T02:38:38,148   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T02:38:38,150   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T02:38:38,152   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T02:38:38,154   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T02:38:38,158   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T02:38:38,159   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T02:38:38,161   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T02:38:38,163   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T02:38:38,164   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T02:38:38,167   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T02:38:38,169   running egg_info
2023-05-17T02:38:38,227   writing certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/PKG-INFO
2023-05-17T02:38:38,228   writing dependency_links to certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/dependency_links.txt
2023-05-17T02:38:38,231   writing entry points to certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/entry_points.txt
2023-05-17T02:38:38,232   writing requirements to certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/requires.txt
2023-05-17T02:38:38,233   writing top-level names to certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/top_level.txt
2023-05-17T02:38:38,262   reading manifest file 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/SOURCES.txt'
2023-05-17T02:38:38,264   reading manifest template 'MANIFEST.in'
2023-05-17T02:38:38,273   adding license file 'LICENSE'
2023-05-17T02:38:38,277   writing manifest file 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/SOURCES.txt'
2023-05-17T02:38:38,280   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-17T02:38:38,282   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-17T02:38:38,503   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-17T02:38:38,666   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-17T02:38:38,886   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-17T02:38:38,978   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-17T02:38:39,077   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-17T02:38:39,078   !!

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

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

2023-05-17T02:38:39,079   !!
2023-05-17T02:38:39,079     self.initialize_options()
2023-05-17T02:38:39,104   installing to build/bdist.linux-armv7l/wheel
2023-05-17T02:38:39,104   running install
2023-05-17T02:38:39,130   running install_lib
2023-05-17T02:38:39,155   creating build/bdist.linux-armv7l
2023-05-17T02:38:39,156   creating build/bdist.linux-armv7l/wheel
2023-05-17T02:38:39,158   creating build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T02:38:39,159   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T02:38:39,310   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T02:38:39,537   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T02:38:39,539   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T02:38:39,732   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T02:38:39,734   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T02:38:39,795   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T02:38:39,880   creating build/bdist.linux-armv7l/wheel/certora_cli
2023-05-17T02:38:39,882   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-17T02:38:39,884   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-17T02:38:39,886   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-17T02:38:39,887   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-17T02:38:39,891   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-17T02:38:39,894   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-17T02:38:39,896   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-17T02:38:39,899   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T02:38:39,900   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T02:38:39,903   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T02:38:39,906   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T02:38:39,907   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T02:38:39,910   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T02:38:39,912   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T02:38:39,914   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T02:38:39,916   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T02:38:39,919   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T02:38:39,922   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T02:38:39,925   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T02:38:39,927   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T02:38:39,930   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T02:38:39,932   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T02:38:39,936   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T02:38:39,942   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T02:38:39,945   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T02:38:39,947   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T02:38:39,950   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T02:38:39,953   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T02:38:39,956   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-17T02:38:39,958   running install_egg_info
2023-05-17T02:38:39,987   Copying certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.11.16.372594-py3.9.egg-info
2023-05-17T02:38:39,998   running install_scripts
2023-05-17T02:38:40,015   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2023-05-17T02:38:40,020   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.11.16.372594.dist-info/WHEEL
2023-05-17T02:38:40,023   creating '/tmp/pip-wheel-rpx5eio1/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.11.16.372594-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2023-05-17T02:38:40,025   adding 'certora_cli/__init__.py'
2023-05-17T02:38:40,027   adding 'certora_cli/certoraMutate.py'
2023-05-17T02:38:40,029   adding 'certora_cli/certoraRun.py'
2023-05-17T02:38:40,031   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-17T02:38:40,053   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-17T02:38:40,061   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-17T02:38:40,063   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-17T02:38:40,065   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-17T02:38:40,069   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-17T02:38:40,073   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-17T02:38:40,075   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-17T02:38:40,081   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-17T02:38:40,083   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2023-05-17T02:38:40,085   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-17T02:38:40,087   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-17T02:38:40,090   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-17T02:38:40,094   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-17T02:38:40,097   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-17T02:38:40,099   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-17T02:38:40,100   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-17T02:38:40,105   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-17T02:38:40,107   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-17T02:38:40,109   adding 'certora_cli/Shared/__init__.py'
2023-05-17T02:38:40,111   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-17T02:38:40,113   adding 'certora_cli/Shared/certoraTester.py'
2023-05-17T02:38:40,120   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-17T02:38:40,124   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-17T02:38:41,787   adding 'certora_jars/MutationTest.jar'
2023-05-17T02:38:43,114   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-17T02:38:44,683   adding 'certora_jars/Typechecker.jar'
2023-05-17T02:38:44,766   adding 'certora_jars/__init__.py'
2023-05-17T02:38:45,501   adding 'certora_jars/gambit-linux'
2023-05-17T02:38:46,160   adding 'certora_jars/gambit-macos'
2023-05-17T02:38:46,186   adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.11.16.372594.dist-info/LICENSE'
2023-05-17T02:38:46,188   adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.11.16.372594.dist-info/METADATA'
2023-05-17T02:38:46,189   adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.11.16.372594.dist-info/WHEEL'
2023-05-17T02:38:46,190   adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.11.16.372594.dist-info/entry_points.txt'
2023-05-17T02:38:46,192   adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.11.16.372594.dist-info/top_level.txt'
2023-05-17T02:38:46,193   adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.11.16.372594.dist-info/RECORD'
2023-05-17T02:38:46,587   removing build/bdist.linux-armv7l/wheel
2023-05-17T02:38:46,707   Building wheel for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta (setup.py): finished with status 'done'
2023-05-17T02:38:47,095   Created wheel for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta: filename=certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.11.16.372594-py3-none-any.whl size=38807913 sha256=eb8d4b58e340b92d6edbc4633150e95bafc1e3ed3919a73f54cf3b14da3d7541
2023-05-17T02:38:47,096   Stored in directory: /tmp/pip-ephem-wheel-cache-whqqeg7n/wheels/bf/23/2a/435cd053e34dca33113313b5b602a267e3218efa2a19bbeea5
2023-05-17T02:38:47,119 Successfully built certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta
2023-05-17T02:38:48,045 Removed build tracker: '/tmp/pip-build-tracker-ajlofnl8'