2023-05-17T03:36:43,944 Created temporary directory: /tmp/pip-build-tracker-5xk1nolw 2023-05-17T03:36:43,945 Initialized build tracking at /tmp/pip-build-tracker-5xk1nolw 2023-05-17T03:36:43,945 Created build tracker: /tmp/pip-build-tracker-5xk1nolw 2023-05-17T03:36:43,946 Entered build tracker: /tmp/pip-build-tracker-5xk1nolw 2023-05-17T03:36:43,946 Created temporary directory: /tmp/pip-wheel-tub_eu6a 2023-05-17T03:36:43,950 Created temporary directory: /tmp/pip-ephem-wheel-cache-sbsfo8xf 2023-05-17T03:36:43,972 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-17T03:36:43,976 2 location(s) to search for versions of certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta: 2023-05-17T03:36:43,976 * https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/ 2023-05-17T03:36:43,976 * https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/ 2023-05-17T03:36:43,976 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/ 2023-05-17T03:36:43,977 Getting page https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/ 2023-05-17T03:36:43,979 Found index url https://pypi.org/simple/ 2023-05-17T03:36:44,028 Fetched page https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/ as application/vnd.pypi.simple.v1+json 2023-05-17T03:36:44,030 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-17T03:36:44,031 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-17T03:36:44,031 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-17T03:36:44,032 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-17T03:36:44,032 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-17T03:36:44,033 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-17T03:36:44,033 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-17T03:36:44,033 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-17T03:36:44,034 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/ 2023-05-17T03:36:44,034 Getting page https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/ 2023-05-17T03:36:44,035 Found index url https://www.piwheels.org/simple/ 2023-05-17T03:36:44,222 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/ as text/html 2023-05-17T03:36:44,223 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-17T03:36:44,224 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-17T03:36:44,224 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/ 2023-05-17T03:36:44,224 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/ 2023-05-17T03:36:44,242 Given no hashes to check 1 links for project 'certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta': discarding no candidates 2023-05-17T03:36:44,258 Collecting certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta==20230516.19.55.453602 2023-05-17T03:36:44,260 Created temporary directory: /tmp/pip-unpack-smg90r2c 2023-05-17T03:36:44,392 Downloading certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230516.19.55.453602.tar.gz (39.0 MB) 2023-05-17T03:36:53,746 Added certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta==20230516.19.55.453602 from https://files.pythonhosted.org/packages/e2/cc/ac428cde8647016b0f656eb5f8104b83f4e24e9b38b63d613df882b2d519/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230516.19.55.453602.tar.gz to build tracker '/tmp/pip-build-tracker-5xk1nolw' 2023-05-17T03:36:53,748 Running setup.py (path:/tmp/pip-wheel-tub_eu6a/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta_befdb94250a84cba90ce1f5233b6c246/setup.py) egg_info for package certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta 2023-05-17T03:36:53,749 Created temporary directory: /tmp/pip-pip-egg-info-iojbq0nr 2023-05-17T03:36:53,749 Preparing metadata (setup.py): started 2023-05-17T03:36:53,750 Running command python setup.py egg_info 2023-05-17T03:36:54,328 running egg_info 2023-05-17T03:36:54,330 creating /tmp/pip-pip-egg-info-iojbq0nr/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info 2023-05-17T03:36:54,353 writing /tmp/pip-pip-egg-info-iojbq0nr/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/PKG-INFO 2023-05-17T03:36:54,355 writing dependency_links to /tmp/pip-pip-egg-info-iojbq0nr/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/dependency_links.txt 2023-05-17T03:36:54,356 writing entry points to /tmp/pip-pip-egg-info-iojbq0nr/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/entry_points.txt 2023-05-17T03:36:54,358 writing requirements to /tmp/pip-pip-egg-info-iojbq0nr/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/requires.txt 2023-05-17T03:36:54,359 writing top-level names to /tmp/pip-pip-egg-info-iojbq0nr/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/top_level.txt 2023-05-17T03:36:54,360 writing manifest file '/tmp/pip-pip-egg-info-iojbq0nr/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/SOURCES.txt' 2023-05-17T03:36:54,437 reading manifest file '/tmp/pip-pip-egg-info-iojbq0nr/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/SOURCES.txt' 2023-05-17T03:36:54,439 reading manifest template 'MANIFEST.in' 2023-05-17T03:36:54,449 adding license file 'LICENSE' 2023-05-17T03:36:54,452 writing manifest file '/tmp/pip-pip-egg-info-iojbq0nr/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/SOURCES.txt' 2023-05-17T03:36:54,513 Preparing metadata (setup.py): finished with status 'done' 2023-05-17T03:36:54,518 Source in /tmp/pip-wheel-tub_eu6a/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta_befdb94250a84cba90ce1f5233b6c246 has version 20230516.19.55.453602, which satisfies requirement certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta==20230516.19.55.453602 from https://files.pythonhosted.org/packages/e2/cc/ac428cde8647016b0f656eb5f8104b83f4e24e9b38b63d613df882b2d519/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230516.19.55.453602.tar.gz 2023-05-17T03:36:54,519 Removed certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta==20230516.19.55.453602 from https://files.pythonhosted.org/packages/e2/cc/ac428cde8647016b0f656eb5f8104b83f4e24e9b38b63d613df882b2d519/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230516.19.55.453602.tar.gz from build tracker '/tmp/pip-build-tracker-5xk1nolw' 2023-05-17T03:36:54,525 Created temporary directory: /tmp/pip-unpack-2ci7aglj 2023-05-17T03:36:54,526 Building wheels for collected packages: certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta 2023-05-17T03:36:54,529 Created temporary directory: /tmp/pip-wheel-tersz96q 2023-05-17T03:36:54,530 Building wheel for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta (setup.py): started 2023-05-17T03:36:54,531 Destination directory: /tmp/pip-wheel-tersz96q 2023-05-17T03:36:54,531 Running command python setup.py bdist_wheel 2023-05-17T03:36:55,310 running bdist_wheel 2023-05-17T03:36:55,587 running build 2023-05-17T03:36:55,588 running build_py 2023-05-17T03:36:55,615 creating build 2023-05-17T03:36:55,615 creating build/lib 2023-05-17T03:36:55,616 creating build/lib/certora_jars 2023-05-17T03:36:55,617 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-17T03:36:55,619 creating build/lib/certora_cli 2023-05-17T03:36:55,620 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-17T03:36:55,622 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-17T03:36:55,624 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-17T03:36:55,626 creating build/lib/certora_cli/Shared 2023-05-17T03:36:55,627 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-17T03:36:55,630 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-17T03:36:55,632 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-17T03:36:55,634 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-17T03:36:55,637 creating build/lib/certora_cli/EVMVerifier 2023-05-17T03:36:55,638 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T03:36:55,643 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T03:36:55,645 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T03:36:55,647 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T03:36:55,650 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T03:36:55,651 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T03:36:55,653 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T03:36:55,655 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T03:36:55,657 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T03:36:55,659 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T03:36:55,662 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T03:36:55,665 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T03:36:55,667 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T03:36:55,669 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T03:36:55,672 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T03:36:55,673 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T03:36:55,676 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T03:36:55,677 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T03:36:55,679 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T03:36:55,681 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T03:36:55,683 running egg_info 2023-05-17T03:36:55,741 writing certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/PKG-INFO 2023-05-17T03:36:55,743 writing dependency_links to certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/dependency_links.txt 2023-05-17T03:36:55,744 writing entry points to certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/entry_points.txt 2023-05-17T03:36:55,746 writing requirements to certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/requires.txt 2023-05-17T03:36:55,747 writing top-level names to certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/top_level.txt 2023-05-17T03:36:55,778 reading manifest file 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/SOURCES.txt' 2023-05-17T03:36:55,780 reading manifest template 'MANIFEST.in' 2023-05-17T03:36:55,788 adding license file 'LICENSE' 2023-05-17T03:36:55,793 writing manifest file 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/SOURCES.txt' 2023-05-17T03:36:55,796 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-17T03:36:55,798 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-17T03:36:56,010 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-17T03:36:56,174 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-17T03:36:56,361 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-17T03:36:56,487 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-17T03:36:56,582 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-17T03:36:56,582 !! 2023-05-17T03:36:56,583 ******************************************************************************** 2023-05-17T03:36:56,583 Please avoid running ``setup.py`` directly. 2023-05-17T03:36:56,583 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-17T03:36:56,583 other standards-based tools. 2023-05-17T03:36:56,583 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-17T03:36:56,583 ******************************************************************************** 2023-05-17T03:36:56,584 !! 2023-05-17T03:36:56,584 self.initialize_options() 2023-05-17T03:36:56,610 installing to build/bdist.linux-armv7l/wheel 2023-05-17T03:36:56,611 running install 2023-05-17T03:36:56,636 running install_lib 2023-05-17T03:36:56,663 creating build/bdist.linux-armv7l 2023-05-17T03:36:56,664 creating build/bdist.linux-armv7l/wheel 2023-05-17T03:36:56,666 creating build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T03:36:56,667 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T03:36:56,866 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T03:36:57,022 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T03:36:57,083 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T03:36:57,084 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T03:36:57,085 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T03:36:57,173 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T03:36:57,379 creating build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T03:36:57,380 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T03:36:57,381 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T03:36:57,383 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T03:36:57,385 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T03:36:57,386 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T03:36:57,389 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T03:36:57,390 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T03:36:57,393 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T03:36:57,395 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T03:36:57,396 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T03:36:57,401 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T03:36:57,404 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T03:36:57,406 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T03:36:57,409 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T03:36:57,410 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T03:36:57,412 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T03:36:57,414 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T03:36:57,416 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T03:36:57,418 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T03:36:57,421 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T03:36:57,425 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T03:36:57,425 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T03:36:57,428 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T03:36:57,430 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T03:36:57,432 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T03:36:57,434 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T03:36:57,436 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T03:36:57,439 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T03:36:57,441 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T03:36:57,443 running install_egg_info 2023-05-17T03:36:57,473 Copying certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.19.55.453602-py3.9.egg-info 2023-05-17T03:36:57,484 running install_scripts 2023-05-17T03:36:57,500 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-05-17T03:36:57,504 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.19.55.453602.dist-info/WHEEL 2023-05-17T03:36:57,506 creating '/tmp/pip-wheel-tersz96q/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.19.55.453602-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-05-17T03:36:57,508 adding 'certora_cli/__init__.py' 2023-05-17T03:36:57,510 adding 'certora_cli/certoraMutate.py' 2023-05-17T03:36:57,512 adding 'certora_cli/certoraRun.py' 2023-05-17T03:36:57,514 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-17T03:36:57,536 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-17T03:36:57,543 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-17T03:36:57,545 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-17T03:36:57,546 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-17T03:36:57,551 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-17T03:36:57,554 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-17T03:36:57,556 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-17T03:36:57,561 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-17T03:36:57,563 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-05-17T03:36:57,565 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-17T03:36:57,566 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-17T03:36:57,569 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-17T03:36:57,573 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-17T03:36:57,575 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-17T03:36:57,577 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-17T03:36:57,578 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-17T03:36:57,583 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-17T03:36:57,584 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-17T03:36:57,586 adding 'certora_cli/Shared/__init__.py' 2023-05-17T03:36:57,588 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-17T03:36:57,590 adding 'certora_cli/Shared/certoraTester.py' 2023-05-17T03:36:57,596 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-17T03:36:57,600 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-17T03:36:59,309 adding 'certora_jars/MutationTest.jar' 2023-05-17T03:37:00,658 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-17T03:37:02,265 adding 'certora_jars/Typechecker.jar' 2023-05-17T03:37:02,348 adding 'certora_jars/__init__.py' 2023-05-17T03:37:03,087 adding 'certora_jars/gambit-linux' 2023-05-17T03:37:03,749 adding 'certora_jars/gambit-macos' 2023-05-17T03:37:03,775 adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.19.55.453602.dist-info/LICENSE' 2023-05-17T03:37:03,776 adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.19.55.453602.dist-info/METADATA' 2023-05-17T03:37:03,777 adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.19.55.453602.dist-info/WHEEL' 2023-05-17T03:37:03,778 adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.19.55.453602.dist-info/entry_points.txt' 2023-05-17T03:37:03,779 adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.19.55.453602.dist-info/top_level.txt' 2023-05-17T03:37:03,780 adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.19.55.453602.dist-info/RECORD' 2023-05-17T03:37:04,169 removing build/bdist.linux-armv7l/wheel 2023-05-17T03:37:04,294 Building wheel for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta (setup.py): finished with status 'done' 2023-05-17T03:37:04,682 Created wheel for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta: filename=certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.19.55.453602-py3-none-any.whl size=38995336 sha256=1966dbd32cec75734686a99bb73b290fed9083ac36d286c4cdfaf993313cdb02 2023-05-17T03:37:04,683 Stored in directory: /tmp/pip-ephem-wheel-cache-sbsfo8xf/wheels/2f/c8/3e/162534e5b32fb135f33036711e7d946b784488f2af71fb9a83 2023-05-17T03:37:04,707 Successfully built certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta 2023-05-17T03:37:05,631 Removed build tracker: '/tmp/pip-build-tracker-5xk1nolw'