2023-05-17T03:40:47,842 Created temporary directory: /tmp/pip-build-tracker-l67ek3nx 2023-05-17T03:40:47,844 Initialized build tracking at /tmp/pip-build-tracker-l67ek3nx 2023-05-17T03:40:47,844 Created build tracker: /tmp/pip-build-tracker-l67ek3nx 2023-05-17T03:40:47,844 Entered build tracker: /tmp/pip-build-tracker-l67ek3nx 2023-05-17T03:40:47,844 Created temporary directory: /tmp/pip-wheel-tzwa1y2x 2023-05-17T03:40:47,848 Created temporary directory: /tmp/pip-ephem-wheel-cache-ap9x8s8s 2023-05-17T03:40:47,871 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-17T03:40:47,874 2 location(s) to search for versions of certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta: 2023-05-17T03:40:47,874 * https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/ 2023-05-17T03:40:47,874 * https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/ 2023-05-17T03:40:47,875 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/ 2023-05-17T03:40:47,875 Getting page https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/ 2023-05-17T03:40:47,877 Found index url https://pypi.org/simple/ 2023-05-17T03:40:47,926 Fetched page https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/ as application/vnd.pypi.simple.v1+json 2023-05-17T03:40:47,929 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:40:47,929 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:40:47,930 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:40:47,930 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:40:47,931 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:40:47,931 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:40:47,931 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:40:47,932 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:40:47,932 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/ 2023-05-17T03:40:47,932 Getting page https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/ 2023-05-17T03:40:47,933 Found index url https://www.piwheels.org/simple/ 2023-05-17T03:40:48,320 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/ as text/html 2023-05-17T03:40:48,322 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-17T03:40:48,322 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:40:48,323 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:40:48,323 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/ 2023-05-17T03:40:48,323 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta/ 2023-05-17T03:40:48,341 Given no hashes to check 1 links for project 'certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta': discarding no candidates 2023-05-17T03:40:48,357 Collecting certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta==20230516.20.52.233729 2023-05-17T03:40:48,360 Created temporary directory: /tmp/pip-unpack-mvaeanqx 2023-05-17T03:40:48,500 Downloading certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230516.20.52.233729.tar.gz (39.0 MB) 2023-05-17T03:40:57,311 Added certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta==20230516.20.52.233729 from https://files.pythonhosted.org/packages/64/c7/dbc2cbf5a101d4d4c34d0fcc3c3bb8f2e9daa9e3f800782cb521f33b2f63/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230516.20.52.233729.tar.gz to build tracker '/tmp/pip-build-tracker-l67ek3nx' 2023-05-17T03:40:57,314 Running setup.py (path:/tmp/pip-wheel-tzwa1y2x/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta_d442c12b61464766a8882dc1c73ba915/setup.py) egg_info for package certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta 2023-05-17T03:40:57,315 Created temporary directory: /tmp/pip-pip-egg-info-zlr68qn5 2023-05-17T03:40:57,315 Preparing metadata (setup.py): started 2023-05-17T03:40:57,316 Running command python setup.py egg_info 2023-05-17T03:40:57,941 running egg_info 2023-05-17T03:40:57,942 creating /tmp/pip-pip-egg-info-zlr68qn5/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info 2023-05-17T03:40:57,966 writing /tmp/pip-pip-egg-info-zlr68qn5/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/PKG-INFO 2023-05-17T03:40:57,968 writing dependency_links to /tmp/pip-pip-egg-info-zlr68qn5/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/dependency_links.txt 2023-05-17T03:40:57,970 writing entry points to /tmp/pip-pip-egg-info-zlr68qn5/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/entry_points.txt 2023-05-17T03:40:57,971 writing requirements to /tmp/pip-pip-egg-info-zlr68qn5/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/requires.txt 2023-05-17T03:40:57,972 writing top-level names to /tmp/pip-pip-egg-info-zlr68qn5/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/top_level.txt 2023-05-17T03:40:57,973 writing manifest file '/tmp/pip-pip-egg-info-zlr68qn5/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/SOURCES.txt' 2023-05-17T03:40:58,053 reading manifest file '/tmp/pip-pip-egg-info-zlr68qn5/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/SOURCES.txt' 2023-05-17T03:40:58,054 reading manifest template 'MANIFEST.in' 2023-05-17T03:40:58,063 adding license file 'LICENSE' 2023-05-17T03:40:58,067 writing manifest file '/tmp/pip-pip-egg-info-zlr68qn5/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/SOURCES.txt' 2023-05-17T03:40:58,128 Preparing metadata (setup.py): finished with status 'done' 2023-05-17T03:40:58,133 Source in /tmp/pip-wheel-tzwa1y2x/certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta_d442c12b61464766a8882dc1c73ba915 has version 20230516.20.52.233729, which satisfies requirement certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta==20230516.20.52.233729 from https://files.pythonhosted.org/packages/64/c7/dbc2cbf5a101d4d4c34d0fcc3c3bb8f2e9daa9e3f800782cb521f33b2f63/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230516.20.52.233729.tar.gz 2023-05-17T03:40:58,134 Removed certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta==20230516.20.52.233729 from https://files.pythonhosted.org/packages/64/c7/dbc2cbf5a101d4d4c34d0fcc3c3bb8f2e9daa9e3f800782cb521f33b2f63/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta-20230516.20.52.233729.tar.gz from build tracker '/tmp/pip-build-tracker-l67ek3nx' 2023-05-17T03:40:58,140 Created temporary directory: /tmp/pip-unpack-op_csaet 2023-05-17T03:40:58,141 Building wheels for collected packages: certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta 2023-05-17T03:40:58,145 Created temporary directory: /tmp/pip-wheel-lv6eot1d 2023-05-17T03:40:58,145 Building wheel for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta (setup.py): started 2023-05-17T03:40:58,146 Destination directory: /tmp/pip-wheel-lv6eot1d 2023-05-17T03:40:58,146 Running command python setup.py bdist_wheel 2023-05-17T03:40:58,936 running bdist_wheel 2023-05-17T03:40:59,214 running build 2023-05-17T03:40:59,214 running build_py 2023-05-17T03:40:59,242 creating build 2023-05-17T03:40:59,277 creating build/lib 2023-05-17T03:40:59,277 creating build/lib/certora_jars 2023-05-17T03:40:59,278 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-17T03:40:59,280 creating build/lib/certora_cli 2023-05-17T03:40:59,281 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-17T03:40:59,283 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-17T03:40:59,285 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-17T03:40:59,287 creating build/lib/certora_cli/Shared 2023-05-17T03:40:59,287 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-17T03:40:59,290 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-17T03:40:59,291 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-17T03:40:59,293 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-17T03:40:59,296 creating build/lib/certora_cli/EVMVerifier 2023-05-17T03:40:59,297 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T03:40:59,302 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T03:40:59,305 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T03:40:59,306 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T03:40:59,309 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T03:40:59,310 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T03:40:59,312 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T03:40:59,314 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T03:40:59,316 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T03:40:59,318 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T03:40:59,321 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T03:40:59,323 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T03:40:59,326 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T03:40:59,328 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T03:40:59,331 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T03:40:59,331 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T03:40:59,334 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T03:40:59,336 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T03:40:59,338 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T03:40:59,340 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T03:40:59,341 running egg_info 2023-05-17T03:40:59,398 writing certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/PKG-INFO 2023-05-17T03:40:59,400 writing dependency_links to certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/dependency_links.txt 2023-05-17T03:40:59,401 writing entry points to certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/entry_points.txt 2023-05-17T03:40:59,403 writing requirements to certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/requires.txt 2023-05-17T03:40:59,404 writing top-level names to certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/top_level.txt 2023-05-17T03:40:59,435 reading manifest file 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/SOURCES.txt' 2023-05-17T03:40:59,437 reading manifest template 'MANIFEST.in' 2023-05-17T03:40:59,446 adding license file 'LICENSE' 2023-05-17T03:40:59,450 writing manifest file 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info/SOURCES.txt' 2023-05-17T03:40:59,453 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-17T03:40:59,455 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-17T03:40:59,667 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-17T03:40:59,818 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-17T03:41:00,013 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-17T03:41:00,101 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-17T03:41:00,194 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-17T03:41:00,194 !! 2023-05-17T03:41:00,194 ******************************************************************************** 2023-05-17T03:41:00,194 Please avoid running ``setup.py`` directly. 2023-05-17T03:41:00,194 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-17T03:41:00,194 other standards-based tools. 2023-05-17T03:41:00,195 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-17T03:41:00,195 ******************************************************************************** 2023-05-17T03:41:00,195 !! 2023-05-17T03:41:00,195 self.initialize_options() 2023-05-17T03:41:00,221 installing to build/bdist.linux-armv7l/wheel 2023-05-17T03:41:00,222 running install 2023-05-17T03:41:00,247 running install_lib 2023-05-17T03:41:00,274 creating build/bdist.linux-armv7l 2023-05-17T03:41:00,274 creating build/bdist.linux-armv7l/wheel 2023-05-17T03:41:00,276 creating build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T03:41:00,277 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T03:41:00,485 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T03:41:00,649 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T03:41:00,706 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T03:41:00,708 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T03:41:00,710 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T03:41:00,800 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T03:41:01,019 creating build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T03:41:01,020 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T03:41:01,022 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T03:41:01,024 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T03:41:01,026 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T03:41:01,027 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T03:41:01,030 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T03:41:01,031 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T03:41:01,034 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T03:41:01,036 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T03:41:01,037 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T03:41:01,042 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T03:41:01,045 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T03:41:01,047 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T03:41:01,049 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T03:41:01,051 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T03:41:01,053 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T03:41:01,055 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T03:41:01,057 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T03:41:01,059 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T03:41:01,062 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T03:41:01,065 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T03:41:01,065 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T03:41:01,068 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T03:41:01,070 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T03:41:01,072 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T03:41:01,074 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T03:41:01,075 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T03:41:01,078 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T03:41:01,080 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T03:41:01,082 running install_egg_info 2023-05-17T03:41:01,112 Copying certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.20.52.233729-py3.9.egg-info 2023-05-17T03:41:01,125 running install_scripts 2023-05-17T03:41:01,142 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-05-17T03:41:01,146 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.20.52.233729.dist-info/WHEEL 2023-05-17T03:41:01,148 creating '/tmp/pip-wheel-lv6eot1d/certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.20.52.233729-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-05-17T03:41:01,150 adding 'certora_cli/__init__.py' 2023-05-17T03:41:01,151 adding 'certora_cli/certoraMutate.py' 2023-05-17T03:41:01,153 adding 'certora_cli/certoraRun.py' 2023-05-17T03:41:01,155 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-17T03:41:01,177 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-17T03:41:01,183 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-17T03:41:01,185 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-17T03:41:01,187 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-17T03:41:01,191 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-17T03:41:01,195 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-17T03:41:01,196 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-17T03:41:01,202 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-17T03:41:01,203 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-05-17T03:41:01,205 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-17T03:41:01,206 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-17T03:41:01,209 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-17T03:41:01,213 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-17T03:41:01,215 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-17T03:41:01,217 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-17T03:41:01,218 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-17T03:41:01,222 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-17T03:41:01,224 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-17T03:41:01,225 adding 'certora_cli/Shared/__init__.py' 2023-05-17T03:41:01,227 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-17T03:41:01,229 adding 'certora_cli/Shared/certoraTester.py' 2023-05-17T03:41:01,235 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-17T03:41:01,238 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-17T03:41:02,945 adding 'certora_jars/MutationTest.jar' 2023-05-17T03:41:04,296 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-17T03:41:05,905 adding 'certora_jars/Typechecker.jar' 2023-05-17T03:41:05,988 adding 'certora_jars/__init__.py' 2023-05-17T03:41:06,726 adding 'certora_jars/gambit-linux' 2023-05-17T03:41:07,388 adding 'certora_jars/gambit-macos' 2023-05-17T03:41:07,413 adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.20.52.233729.dist-info/LICENSE' 2023-05-17T03:41:07,414 adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.20.52.233729.dist-info/METADATA' 2023-05-17T03:41:07,416 adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.20.52.233729.dist-info/WHEEL' 2023-05-17T03:41:07,416 adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.20.52.233729.dist-info/entry_points.txt' 2023-05-17T03:41:07,417 adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.20.52.233729.dist-info/top_level.txt' 2023-05-17T03:41:07,419 adding 'certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.20.52.233729.dist-info/RECORD' 2023-05-17T03:41:07,808 removing build/bdist.linux-armv7l/wheel 2023-05-17T03:41:07,929 Building wheel for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta (setup.py): finished with status 'done' 2023-05-17T03:41:08,320 Created wheel for certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta: filename=certora_cli_alpha_eyalf_enhance_CVLExpToTACExprMeta-20230516.20.52.233729-py3-none-any.whl size=39004143 sha256=746518ff784ca01526550a340340449c7306296a9a6681dc7225c1d30dd19a1e 2023-05-17T03:41:08,322 Stored in directory: /tmp/pip-ephem-wheel-cache-ap9x8s8s/wheels/47/c0/7f/4aba8bc754d26d9e832584e8d7f60c3451f2e515d10c820db2 2023-05-17T03:41:08,345 Successfully built certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta 2023-05-17T03:41:09,223 Removed build tracker: '/tmp/pip-build-tracker-l67ek3nx'