2023-05-17T20:50:26,287 Created temporary directory: /tmp/pip-build-tracker-0du6x79f 2023-05-17T20:50:26,288 Initialized build tracking at /tmp/pip-build-tracker-0du6x79f 2023-05-17T20:50:26,289 Created build tracker: /tmp/pip-build-tracker-0du6x79f 2023-05-17T20:50:26,289 Entered build tracker: /tmp/pip-build-tracker-0du6x79f 2023-05-17T20:50:26,289 Created temporary directory: /tmp/pip-wheel-zr64_i76 2023-05-17T20:50:26,293 Created temporary directory: /tmp/pip-ephem-wheel-cache-x7mwb_ax 2023-05-17T20:50:26,315 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-17T20:50:26,319 2 location(s) to search for versions of certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta: 2023-05-17T20:50:26,319 * https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/ 2023-05-17T20:50:26,319 * https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/ 2023-05-17T20:50:26,320 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/ 2023-05-17T20:50:26,320 Getting page https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/ 2023-05-17T20:50:26,322 Found index url https://pypi.org/simple/ 2023-05-17T20:50:26,372 Fetched page https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/ as application/vnd.pypi.simple.v1+json 2023-05-17T20:50:26,376 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-17T20:50:26,376 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-17T20:50:26,377 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-17T20:50:26,377 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-17T20:50:26,378 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-17T20:50:26,378 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-17T20:50:26,379 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-17T20:50:26,379 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-17T20:50:26,380 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-17T20:50:26,380 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-17T20:50:26,381 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-17T20:50:26,381 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-17T20:50:26,382 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-17T20:50:26,382 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-17T20:50:26,383 Found link https://files.pythonhosted.org/packages/b4/cf/0207194c7af8f420dc153052381439526a149735da842d36ad23181a89c8/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230517.16.51.822516.tar.gz (from https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16), version: 20230517.16.51.822516 2023-05-17T20:50:26,383 Skipping link: No binaries permitted for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta: https://files.pythonhosted.org/packages/0f/3b/86ecc886872a800acd695e73c6b7f03f994e355aa3b55f076a1974244ae4/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.16.51.822516-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16) 2023-05-17T20:50:26,383 Found link https://files.pythonhosted.org/packages/0c/d4/058c60f9c812afff8440138bad5c77eaf0598e26110234dc5381c8362a5c/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230517.20.21.147787.tar.gz (from https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8), version: 20230517.20.21.147787 2023-05-17T20:50:26,384 Skipping link: No binaries permitted for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta: https://files.pythonhosted.org/packages/2e/fd/9b0e8c0e4eaa60c442000e8b1869c06f8f95ad32afadc66a33a620cef7e3/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.20.21.147787-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8) 2023-05-17T20:50:26,384 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/ 2023-05-17T20:50:26,384 Getting page https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/ 2023-05-17T20:50:26,385 Found index url https://www.piwheels.org/simple/ 2023-05-17T20:50:26,557 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/ as text/html 2023-05-17T20:50:26,560 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-20230517.16.51.822516-py3-none-any.whl#sha256=0b9a491433f5193fd2b14fff892e0dfd3dbf4cb2b01b7f7c8693cc51a4572122 (from https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16) 2023-05-17T20:50:26,561 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-20230517.15.52.190103-py3-none-any.whl#sha256=6b60f775a4439d51aa478c4805daf378e4d883e4e047c0cff7c4a90ebe39df88 (from https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16) 2023-05-17T20:50:26,561 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-20230517.15.7.97510-py3-none-any.whl#sha256=ea9d582a31294913c2a7b60e799a5bf4d0c17c62fa84c92d33229205b74c83e1 (from https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16) 2023-05-17T20:50:26,561 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-20230517.14.27.894626-py3-none-any.whl#sha256=b6f8ba741e757b5ae6050657ebad6afd75562925dd85bf0f632ef7c25841dd20 (from https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/) (requires-python:>=3.8.16) 2023-05-17T20:50:26,561 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-17T20:50:26,561 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-17T20:50:26,562 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-17T20:50:26,562 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-17T20:50:26,562 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/ 2023-05-17T20:50:26,562 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/ 2023-05-17T20:50:26,580 Given no hashes to check 1 links for project 'certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta': discarding no candidates 2023-05-17T20:50:26,597 Collecting certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta==20230517.20.21.147787 2023-05-17T20:50:26,599 Created temporary directory: /tmp/pip-unpack-iqu81g14 2023-05-17T20:50:26,992 Downloading certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230517.20.21.147787.tar.gz (39.0 MB) 2023-05-17T20:50:37,626 Added certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta==20230517.20.21.147787 from https://files.pythonhosted.org/packages/0c/d4/058c60f9c812afff8440138bad5c77eaf0598e26110234dc5381c8362a5c/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230517.20.21.147787.tar.gz to build tracker '/tmp/pip-build-tracker-0du6x79f' 2023-05-17T20:50:37,629 Running setup.py (path:/tmp/pip-wheel-zr64_i76/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta_d6190a82884f45489713ba20c0882113/setup.py) egg_info for package certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta 2023-05-17T20:50:37,629 Created temporary directory: /tmp/pip-pip-egg-info-p_tumy4n 2023-05-17T20:50:37,629 Preparing metadata (setup.py): started 2023-05-17T20:50:37,630 Running command python setup.py egg_info 2023-05-17T20:50:38,230 running egg_info 2023-05-17T20:50:38,232 creating /tmp/pip-pip-egg-info-p_tumy4n/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info 2023-05-17T20:50:38,256 writing /tmp/pip-pip-egg-info-p_tumy4n/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/PKG-INFO 2023-05-17T20:50:38,258 writing dependency_links to /tmp/pip-pip-egg-info-p_tumy4n/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/dependency_links.txt 2023-05-17T20:50:38,260 writing entry points to /tmp/pip-pip-egg-info-p_tumy4n/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/entry_points.txt 2023-05-17T20:50:38,262 writing requirements to /tmp/pip-pip-egg-info-p_tumy4n/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/requires.txt 2023-05-17T20:50:38,263 writing top-level names to /tmp/pip-pip-egg-info-p_tumy4n/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/top_level.txt 2023-05-17T20:50:38,264 writing manifest file '/tmp/pip-pip-egg-info-p_tumy4n/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/SOURCES.txt' 2023-05-17T20:50:38,345 reading manifest file '/tmp/pip-pip-egg-info-p_tumy4n/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/SOURCES.txt' 2023-05-17T20:50:38,346 reading manifest template 'MANIFEST.in' 2023-05-17T20:50:38,355 adding license file 'LICENSE' 2023-05-17T20:50:38,359 writing manifest file '/tmp/pip-pip-egg-info-p_tumy4n/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/SOURCES.txt' 2023-05-17T20:50:38,419 Preparing metadata (setup.py): finished with status 'done' 2023-05-17T20:50:38,424 Source in /tmp/pip-wheel-zr64_i76/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta_d6190a82884f45489713ba20c0882113 has version 20230517.20.21.147787, which satisfies requirement certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta==20230517.20.21.147787 from https://files.pythonhosted.org/packages/0c/d4/058c60f9c812afff8440138bad5c77eaf0598e26110234dc5381c8362a5c/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230517.20.21.147787.tar.gz 2023-05-17T20:50:38,425 Removed certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta==20230517.20.21.147787 from https://files.pythonhosted.org/packages/0c/d4/058c60f9c812afff8440138bad5c77eaf0598e26110234dc5381c8362a5c/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230517.20.21.147787.tar.gz from build tracker '/tmp/pip-build-tracker-0du6x79f' 2023-05-17T20:50:38,432 Created temporary directory: /tmp/pip-unpack-kqioickw 2023-05-17T20:50:38,433 Building wheels for collected packages: certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta 2023-05-17T20:50:38,437 Created temporary directory: /tmp/pip-wheel-twicdu2k 2023-05-17T20:50:38,437 Building wheel for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta (setup.py): started 2023-05-17T20:50:38,438 Destination directory: /tmp/pip-wheel-twicdu2k 2023-05-17T20:50:38,438 Running command python setup.py bdist_wheel 2023-05-17T20:50:39,228 running bdist_wheel 2023-05-17T20:50:39,506 running build 2023-05-17T20:50:39,506 running build_py 2023-05-17T20:50:39,534 creating build 2023-05-17T20:50:39,534 creating build/lib 2023-05-17T20:50:39,535 creating build/lib/certora_jars 2023-05-17T20:50:39,536 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-17T20:50:39,538 creating build/lib/certora_cli 2023-05-17T20:50:39,539 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-17T20:50:39,541 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-17T20:50:39,543 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-17T20:50:39,545 creating build/lib/certora_cli/Shared 2023-05-17T20:50:39,545 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-17T20:50:39,549 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-17T20:50:39,550 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-17T20:50:39,552 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-17T20:50:39,555 creating build/lib/certora_cli/EVMVerifier 2023-05-17T20:50:39,556 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T20:50:39,561 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T20:50:39,563 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T20:50:39,565 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T20:50:39,567 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T20:50:39,569 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T20:50:39,571 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T20:50:39,573 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T20:50:39,575 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T20:50:39,577 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T20:50:39,579 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T20:50:39,582 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T20:50:39,585 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T20:50:39,587 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T20:50:39,590 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T20:50:39,590 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T20:50:39,593 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T20:50:39,595 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T20:50:39,597 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T20:50:39,599 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T20:50:39,600 running egg_info 2023-05-17T20:50:39,656 writing certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/PKG-INFO 2023-05-17T20:50:39,658 writing dependency_links to certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/dependency_links.txt 2023-05-17T20:50:39,660 writing entry points to certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/entry_points.txt 2023-05-17T20:50:39,661 writing requirements to certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/requires.txt 2023-05-17T20:50:39,662 writing top-level names to certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/top_level.txt 2023-05-17T20:50:39,692 reading manifest file 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/SOURCES.txt' 2023-05-17T20:50:39,695 reading manifest template 'MANIFEST.in' 2023-05-17T20:50:39,703 adding license file 'LICENSE' 2023-05-17T20:50:39,707 writing manifest file 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/SOURCES.txt' 2023-05-17T20:50:39,710 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-17T20:50:39,712 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-17T20:50:39,927 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-17T20:50:40,080 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-17T20:50:40,272 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-17T20:50:40,380 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-17T20:50:40,471 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-17T20:50:40,472 !! 2023-05-17T20:50:40,472 ******************************************************************************** 2023-05-17T20:50:40,472 Please avoid running ``setup.py`` directly. 2023-05-17T20:50:40,472 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-17T20:50:40,472 other standards-based tools. 2023-05-17T20:50:40,472 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-17T20:50:40,473 ******************************************************************************** 2023-05-17T20:50:40,473 !! 2023-05-17T20:50:40,473 self.initialize_options() 2023-05-17T20:50:40,499 installing to build/bdist.linux-armv7l/wheel 2023-05-17T20:50:40,499 running install 2023-05-17T20:50:40,525 running install_lib 2023-05-17T20:50:40,551 creating build/bdist.linux-armv7l 2023-05-17T20:50:40,552 creating build/bdist.linux-armv7l/wheel 2023-05-17T20:50:40,554 creating build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T20:50:40,555 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T20:50:40,755 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T20:50:40,914 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T20:50:40,976 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T20:50:40,978 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T20:50:40,979 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T20:50:41,093 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T20:50:41,308 creating build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T20:50:41,309 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T20:50:41,311 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T20:50:41,313 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T20:50:41,315 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T20:50:41,315 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T20:50:41,319 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T20:50:41,320 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T20:50:41,323 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T20:50:41,326 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T20:50:41,326 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T20:50:41,331 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T20:50:41,334 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T20:50:41,336 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T20:50:41,338 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T20:50:41,340 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T20:50:41,342 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T20:50:41,344 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T20:50:41,346 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T20:50:41,349 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T20:50:41,352 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T20:50:41,355 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T20:50:41,356 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T20:50:41,360 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T20:50:41,362 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T20:50:41,364 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T20:50:41,366 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T20:50:41,368 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T20:50:41,371 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T20:50:41,373 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T20:50:41,375 running install_egg_info 2023-05-17T20:50:41,405 Copying certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.20.21.147787-py3.9.egg-info 2023-05-17T20:50:41,416 running install_scripts 2023-05-17T20:50:41,433 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-05-17T20:50:41,437 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.20.21.147787.dist-info/WHEEL 2023-05-17T20:50:41,440 creating '/tmp/pip-wheel-twicdu2k/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.20.21.147787-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-05-17T20:50:41,442 adding 'certora_cli/__init__.py' 2023-05-17T20:50:41,443 adding 'certora_cli/certoraMutate.py' 2023-05-17T20:50:41,446 adding 'certora_cli/certoraRun.py' 2023-05-17T20:50:41,448 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-17T20:50:41,470 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-17T20:50:41,477 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-17T20:50:41,479 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-17T20:50:41,480 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-17T20:50:41,485 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-17T20:50:41,488 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-17T20:50:41,490 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-17T20:50:41,495 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-17T20:50:41,497 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-05-17T20:50:41,499 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-17T20:50:41,500 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-17T20:50:41,503 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-17T20:50:41,507 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-17T20:50:41,509 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-17T20:50:41,511 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-17T20:50:41,512 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-17T20:50:41,517 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-17T20:50:41,518 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-17T20:50:41,520 adding 'certora_cli/Shared/__init__.py' 2023-05-17T20:50:41,522 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-17T20:50:41,524 adding 'certora_cli/Shared/certoraTester.py' 2023-05-17T20:50:41,530 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-17T20:50:41,533 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-17T20:50:43,236 adding 'certora_jars/MutationTest.jar' 2023-05-17T20:50:44,580 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-17T20:50:46,181 adding 'certora_jars/Typechecker.jar' 2023-05-17T20:50:46,264 adding 'certora_jars/__init__.py' 2023-05-17T20:50:46,999 adding 'certora_jars/gambit-linux' 2023-05-17T20:50:47,657 adding 'certora_jars/gambit-macos' 2023-05-17T20:50:47,683 adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.20.21.147787.dist-info/LICENSE' 2023-05-17T20:50:47,684 adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.20.21.147787.dist-info/METADATA' 2023-05-17T20:50:47,685 adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.20.21.147787.dist-info/WHEEL' 2023-05-17T20:50:47,686 adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.20.21.147787.dist-info/entry_points.txt' 2023-05-17T20:50:47,687 adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.20.21.147787.dist-info/top_level.txt' 2023-05-17T20:50:47,688 adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.20.21.147787.dist-info/RECORD' 2023-05-17T20:50:48,216 removing build/bdist.linux-armv7l/wheel 2023-05-17T20:50:48,334 Building wheel for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta (setup.py): finished with status 'done' 2023-05-17T20:50:48,721 Created wheel for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta: filename=certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230517.20.21.147787-py3-none-any.whl size=39004366 sha256=0348ac3c1fdfdc297160ec2019ebe0d8bd81c229c6b5757254168c68408d9e55 2023-05-17T20:50:48,722 Stored in directory: /tmp/pip-ephem-wheel-cache-x7mwb_ax/wheels/e2/9f/4d/f38bbf1d0f74e3fa713c0f4fb22c4a623a20a387f71b39e0d5 2023-05-17T20:50:48,746 Successfully built certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta 2023-05-17T20:50:49,679 Removed build tracker: '/tmp/pip-build-tracker-0du6x79f'