2023-05-17T16:37:52,389 Created temporary directory: /tmp/pip-build-tracker-mhqnaucp
2023-05-17T16:37:52,391 Initialized build tracking at /tmp/pip-build-tracker-mhqnaucp
2023-05-17T16:37:52,391 Created build tracker: /tmp/pip-build-tracker-mhqnaucp
2023-05-17T16:37:52,391 Entered build tracker: /tmp/pip-build-tracker-mhqnaucp
2023-05-17T16:37:52,391 Created temporary directory: /tmp/pip-wheel-z3vbuhv8
2023-05-17T16:37:52,395 Created temporary directory: /tmp/pip-ephem-wheel-cache-acik7_ov
2023-05-17T16:37:52,420 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-17T16:37:52,424 2 location(s) to search for versions of certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta:
2023-05-17T16:37:52,424 * https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/
2023-05-17T16:37:52,424 * https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/
2023-05-17T16:37:52,424 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/
2023-05-17T16:37:52,425 Getting page https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/
2023-05-17T16:37:52,427 Found index url https://pypi.org/simple/
2023-05-17T16:37:52,476 Fetched page https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/ as application/vnd.pypi.simple.v1+json
2023-05-17T16:37:52,480   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-17T16:37:52,480   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-17T16:37:52,481   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-17T16:37:52,481   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-17T16:37:52,482   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-17T16:37:52,482   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-17T16:37:52,482   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-17T16:37:52,483   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-17T16:37:52,483   Found link https://files.pythonhosted.org/packages/02/9d/8ee04f8d12cc2aa73ec6f85f5693c4bdc291fa939e9a65dada367e6a033b/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230517.14.27.894626.tar.gz (from https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16), version: 20230517.14.27.894626
2023-05-17T16:37:52,484   Skipping link: No binaries permitted for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta: https://files.pythonhosted.org/packages/c7/ea/e8decc90aca14a3d446ad50800e4420e68bf763abae6179dd5e7881b9a2c/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.14.27.894626-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16)
2023-05-17T16:37:52,484   Found link https://files.pythonhosted.org/packages/b2/cf/68b6d497c16f9a0be842c481ade0127d3c0c93a36322213b1d582cd981c3/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230517.15.7.97510.tar.gz (from https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16), version: 20230517.15.7.97510
2023-05-17T16:37:52,485   Skipping link: No binaries permitted for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta: https://files.pythonhosted.org/packages/66/cf/0fc85266cec63ef88c14d8e31dd95bc3d6d8ec43e07d1d408e20c272c7e7/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.15.7.97510-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16)
2023-05-17T16:37:52,485   Found link https://files.pythonhosted.org/packages/3b/8f/47113c412103de4d7f478c86a96238f71461e2d6f139e64abd02b0cb4b45/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230517.15.52.190103.tar.gz (from https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16), version: 20230517.15.52.190103
2023-05-17T16:37:52,485   Skipping link: No binaries permitted for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta: https://files.pythonhosted.org/packages/9e/a9/3f3cc9d012603240c11bf64304c22a0f07aabd93ca6a171f93ece23cc732/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.15.52.190103-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16)
2023-05-17T16:37:52,486 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/
2023-05-17T16:37:52,486 Getting page https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/
2023-05-17T16:37:52,487 Found index url https://www.piwheels.org/simple/
2023-05-17T16:37:52,646 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/ as text/html
2023-05-17T16:37:52,648   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.20.52.233729-py3-none-any.whl#sha256=746518ff784ca01526550a340340449c7306296a9a6681dc7225c1d30dd19a1e (from https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16)
2023-05-17T16:37:52,648   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.19.55.453602-py3-none-any.whl#sha256=1966dbd32cec75734686a99bb73b290fed9083ac36d286c4cdfaf993313cdb02 (from https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16)
2023-05-17T16:37:52,649   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.12.24.794487-py3-none-any.whl#sha256=1cf190cda403d94d220396cb6e199fc8b59087b024a43615c6e8d9557a5a0301 (from https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16)
2023-05-17T16:37:52,649   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-17T16:37:52,649 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/
2023-05-17T16:37:52,649 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/
2023-05-17T16:37:52,667 Given no hashes to check 1 links for project 'certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta': discarding no candidates
2023-05-17T16:37:52,684 Collecting certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta==20230517.14.27.894626
2023-05-17T16:37:52,686   Created temporary directory: /tmp/pip-unpack-itt2r7ru
2023-05-17T16:37:52,823   Downloading certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230517.14.27.894626.tar.gz (39.0 MB)
2023-05-17T16:38:03,150   Added certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta==20230517.14.27.894626 from https://files.pythonhosted.org/packages/02/9d/8ee04f8d12cc2aa73ec6f85f5693c4bdc291fa939e9a65dada367e6a033b/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230517.14.27.894626.tar.gz to build tracker '/tmp/pip-build-tracker-mhqnaucp'
2023-05-17T16:38:03,151   Running setup.py (path:/tmp/pip-wheel-z3vbuhv8/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta_d8e1f1e114ce4dba9f1ae3568f527560/setup.py) egg_info for package certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta
2023-05-17T16:38:03,152   Created temporary directory: /tmp/pip-pip-egg-info-0znjl5ph
2023-05-17T16:38:03,152   Preparing metadata (setup.py): started
2023-05-17T16:38:03,153   Running command python setup.py egg_info
2023-05-17T16:38:03,736   running egg_info
2023-05-17T16:38:03,738   creating /tmp/pip-pip-egg-info-0znjl5ph/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info
2023-05-17T16:38:03,762   writing /tmp/pip-pip-egg-info-0znjl5ph/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/PKG-INFO
2023-05-17T16:38:03,764   writing dependency_links to /tmp/pip-pip-egg-info-0znjl5ph/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/dependency_links.txt
2023-05-17T16:38:03,766   writing entry points to /tmp/pip-pip-egg-info-0znjl5ph/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/entry_points.txt
2023-05-17T16:38:03,767   writing requirements to /tmp/pip-pip-egg-info-0znjl5ph/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/requires.txt
2023-05-17T16:38:03,768   writing top-level names to /tmp/pip-pip-egg-info-0znjl5ph/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/top_level.txt
2023-05-17T16:38:03,770   writing manifest file '/tmp/pip-pip-egg-info-0znjl5ph/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/SOURCES.txt'
2023-05-17T16:38:03,853   reading manifest file '/tmp/pip-pip-egg-info-0znjl5ph/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/SOURCES.txt'
2023-05-17T16:38:03,854   reading manifest template 'MANIFEST.in'
2023-05-17T16:38:03,863   adding license file 'LICENSE'
2023-05-17T16:38:03,867   writing manifest file '/tmp/pip-pip-egg-info-0znjl5ph/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/SOURCES.txt'
2023-05-17T16:38:03,927   Preparing metadata (setup.py): finished with status 'done'
2023-05-17T16:38:03,933   Source in /tmp/pip-wheel-z3vbuhv8/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta_d8e1f1e114ce4dba9f1ae3568f527560 has version 20230517.14.27.894626, which satisfies requirement certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta==20230517.14.27.894626 from https://files.pythonhosted.org/packages/02/9d/8ee04f8d12cc2aa73ec6f85f5693c4bdc291fa939e9a65dada367e6a033b/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230517.14.27.894626.tar.gz
2023-05-17T16:38:03,933   Removed certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta==20230517.14.27.894626 from https://files.pythonhosted.org/packages/02/9d/8ee04f8d12cc2aa73ec6f85f5693c4bdc291fa939e9a65dada367e6a033b/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230517.14.27.894626.tar.gz from build tracker '/tmp/pip-build-tracker-mhqnaucp'
2023-05-17T16:38:03,940 Created temporary directory: /tmp/pip-unpack-rf4lxji4
2023-05-17T16:38:03,941 Building wheels for collected packages: certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta
2023-05-17T16:38:03,945   Created temporary directory: /tmp/pip-wheel-pctk9cwk
2023-05-17T16:38:03,945   Building wheel for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta (setup.py): started
2023-05-17T16:38:03,946   Destination directory: /tmp/pip-wheel-pctk9cwk
2023-05-17T16:38:03,946   Running command python setup.py bdist_wheel
2023-05-17T16:38:04,924   running bdist_wheel
2023-05-17T16:38:05,202   running build
2023-05-17T16:38:05,202   running build_py
2023-05-17T16:38:05,229   creating build
2023-05-17T16:38:05,230   creating build/lib
2023-05-17T16:38:05,230   creating build/lib/certora_cli
2023-05-17T16:38:05,232   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-17T16:38:05,233   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-17T16:38:05,235   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-17T16:38:05,238   creating build/lib/certora_jars
2023-05-17T16:38:05,238   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-17T16:38:05,240   creating build/lib/certora_cli/Shared
2023-05-17T16:38:05,241   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-17T16:38:05,243   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-17T16:38:05,245   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-17T16:38:05,247   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-17T16:38:05,251   creating build/lib/certora_cli/EVMVerifier
2023-05-17T16:38:05,252   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T16:38:05,255   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T16:38:05,256   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T16:38:05,260   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T16:38:05,262   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T16:38:05,265   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T16:38:05,273   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T16:38:05,275   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T16:38:05,278   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T16:38:05,281   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T16:38:05,283   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T16:38:05,286   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T16:38:05,288   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T16:38:05,290   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T16:38:05,292   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T16:38:05,293   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T16:38:05,295   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T16:38:05,297   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T16:38:05,300   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T16:38:05,303   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T16:38:05,304   running egg_info
2023-05-17T16:38:05,362   writing certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/PKG-INFO
2023-05-17T16:38:05,364   writing dependency_links to certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/dependency_links.txt
2023-05-17T16:38:05,366   writing entry points to certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/entry_points.txt
2023-05-17T16:38:05,367   writing requirements to certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/requires.txt
2023-05-17T16:38:05,368   writing top-level names to certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/top_level.txt
2023-05-17T16:38:05,399   reading manifest file 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/SOURCES.txt'
2023-05-17T16:38:05,401   reading manifest template 'MANIFEST.in'
2023-05-17T16:38:05,409   adding license file 'LICENSE'
2023-05-17T16:38:05,413   writing manifest file 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/SOURCES.txt'
2023-05-17T16:38:05,417   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-17T16:38:05,419   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-17T16:38:05,666   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-17T16:38:05,837   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-17T16:38:06,020   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-17T16:38:06,107   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-17T16:38:06,205   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-17T16:38:06,205   !!

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

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

2023-05-17T16:38:06,207   !!
2023-05-17T16:38:06,207     self.initialize_options()
2023-05-17T16:38:06,231   installing to build/bdist.linux-armv7l/wheel
2023-05-17T16:38:06,231   running install
2023-05-17T16:38:06,256   running install_lib
2023-05-17T16:38:06,282   creating build/bdist.linux-armv7l
2023-05-17T16:38:06,282   creating build/bdist.linux-armv7l/wheel
2023-05-17T16:38:06,284   creating build/bdist.linux-armv7l/wheel/certora_cli
2023-05-17T16:38:06,285   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-17T16:38:06,286   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-17T16:38:06,289   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-17T16:38:06,290   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-17T16:38:06,293   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-17T16:38:06,295   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-17T16:38:06,297   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-17T16:38:06,298   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-17T16:38:06,301   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T16:38:06,302   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T16:38:06,305   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T16:38:06,306   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T16:38:06,307   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T16:38:06,309   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T16:38:06,311   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T16:38:06,314   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T16:38:06,317   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T16:38:06,319   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T16:38:06,322   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T16:38:06,324   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T16:38:06,327   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T16:38:06,335   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T16:38:06,338   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T16:38:06,340   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T16:38:06,343   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T16:38:06,346   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T16:38:06,349   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T16:38:06,350   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T16:38:06,352   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T16:38:06,354   creating build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T16:38:06,355   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T16:38:06,585   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T16:38:06,777   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T16:38:06,867   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T16:38:06,927   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T16:38:07,088   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T16:38:07,089   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T16:38:07,091   running install_egg_info
2023-05-17T16:38:07,119   Copying certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.14.27.894626-py3.9.egg-info
2023-05-17T16:38:07,130   running install_scripts
2023-05-17T16:38:07,147   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2023-05-17T16:38:07,151   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.14.27.894626.dist-info/WHEEL
2023-05-17T16:38:07,153   creating '/tmp/pip-wheel-pctk9cwk/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.14.27.894626-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2023-05-17T16:38:07,155   adding 'certora_cli/__init__.py'
2023-05-17T16:38:07,156   adding 'certora_cli/certoraMutate.py'
2023-05-17T16:38:07,158   adding 'certora_cli/certoraRun.py'
2023-05-17T16:38:07,160   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-17T16:38:07,182   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-17T16:38:07,189   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-17T16:38:07,191   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-17T16:38:07,192   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-17T16:38:07,196   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-17T16:38:07,200   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-17T16:38:07,201   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-17T16:38:07,207   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-17T16:38:07,208   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2023-05-17T16:38:07,210   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-17T16:38:07,211   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-17T16:38:07,214   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-17T16:38:07,218   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-17T16:38:07,220   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-17T16:38:07,222   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-17T16:38:07,223   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-17T16:38:07,227   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-17T16:38:07,229   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-17T16:38:07,230   adding 'certora_cli/Shared/__init__.py'
2023-05-17T16:38:07,232   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-17T16:38:07,234   adding 'certora_cli/Shared/certoraTester.py'
2023-05-17T16:38:07,241   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-17T16:38:07,244   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-17T16:38:08,930   adding 'certora_jars/MutationTest.jar'
2023-05-17T16:38:10,261   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-17T16:38:11,850   adding 'certora_jars/Typechecker.jar'
2023-05-17T16:38:11,933   adding 'certora_jars/__init__.py'
2023-05-17T16:38:12,669   adding 'certora_jars/gambit-linux'
2023-05-17T16:38:13,328   adding 'certora_jars/gambit-macos'
2023-05-17T16:38:13,354   adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.14.27.894626.dist-info/LICENSE'
2023-05-17T16:38:13,355   adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.14.27.894626.dist-info/METADATA'
2023-05-17T16:38:13,356   adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.14.27.894626.dist-info/WHEEL'
2023-05-17T16:38:13,357   adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.14.27.894626.dist-info/entry_points.txt'
2023-05-17T16:38:13,358   adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.14.27.894626.dist-info/top_level.txt'
2023-05-17T16:38:13,359   adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.14.27.894626.dist-info/RECORD'
2023-05-17T16:38:13,778   removing build/bdist.linux-armv7l/wheel
2023-05-17T16:38:13,900   Building wheel for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta (setup.py): finished with status 'done'
2023-05-17T16:38:14,290   Created wheel for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta: filename=certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.14.27.894626-py3-none-any.whl size=39027147 sha256=b6f8ba741e757b5ae6050657ebad6afd75562925dd85bf0f632ef7c25841dd20
2023-05-17T16:38:14,292   Stored in directory: /tmp/pip-ephem-wheel-cache-acik7_ov/wheels/22/6c/a1/350700badef97f954babfcca985426359129b7175cc33c2fb1
2023-05-17T16:38:14,315 Successfully built certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta
2023-05-17T16:38:15,213 Removed build tracker: '/tmp/pip-build-tracker-mhqnaucp'