2024-03-09T17:49:56,765 Created temporary directory: /tmp/pip-build-tracker-by2h44tc 2024-03-09T17:49:56,767 Initialized build tracking at /tmp/pip-build-tracker-by2h44tc 2024-03-09T17:49:56,768 Created build tracker: /tmp/pip-build-tracker-by2h44tc 2024-03-09T17:49:56,768 Entered build tracker: /tmp/pip-build-tracker-by2h44tc 2024-03-09T17:49:56,769 Created temporary directory: /tmp/pip-wheel-oz652oyg 2024-03-09T17:49:56,773 Created temporary directory: /tmp/pip-ephem-wheel-cache-_qny0fja 2024-03-09T17:49:56,796 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2024-03-09T17:49:56,800 2 location(s) to search for versions of certora-cli-alpha-maker-multicall: 2024-03-09T17:49:56,800 * https://pypi.org/simple/certora-cli-alpha-maker-multicall/ 2024-03-09T17:49:56,800 * https://www.piwheels.org/simple/certora-cli-alpha-maker-multicall/ 2024-03-09T17:49:56,801 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-maker-multicall/ 2024-03-09T17:49:56,802 Getting page https://pypi.org/simple/certora-cli-alpha-maker-multicall/ 2024-03-09T17:49:56,803 Found index url https://pypi.org/simple/ 2024-03-09T17:49:57,022 Fetched page https://pypi.org/simple/certora-cli-alpha-maker-multicall/ as application/vnd.pypi.simple.v1+json 2024-03-09T17:49:57,025 Found link https://files.pythonhosted.org/packages/89/41/a7f6894d09bc02a3d5ea97d728e663fc5c2a254b0ff04135065c30588d40/certora-cli-alpha-maker_multicall-20240309.17.30.434038.tar.gz (from https://pypi.org/simple/certora-cli-alpha-maker-multicall/) (requires-python:>=3.8), version: 20240309.17.30.434038 2024-03-09T17:49:57,026 Skipping link: No binaries permitted for certora-cli-alpha-maker-multicall: https://files.pythonhosted.org/packages/b2/98/5e376adf6ad04dbc4bbe24a1c527e26d7cc5659578da8f0ef1bbd3fd02e3/certora_cli_alpha_maker_multicall-20240309.17.30.434038-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-maker-multicall/) (requires-python:>=3.8) 2024-03-09T17:49:57,027 Skipping link: No binaries permitted for certora-cli-alpha-maker-multicall: https://files.pythonhosted.org/packages/8d/65/a7b4fddedca432b28bd06c0bc4764e10493ce150fb227e105af850d5950b/certora_cli_alpha_maker_multicall-20240309.17.30.434038-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-maker-multicall/) (requires-python:>=3.8) 2024-03-09T17:49:57,028 Skipping link: No binaries permitted for certora-cli-alpha-maker-multicall: https://files.pythonhosted.org/packages/b8/78/47ec0fecbacba8979d41d90daf6a39dada986e574f9256b5c4f90847b2b8/certora_cli_alpha_maker_multicall-20240309.17.30.434038-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-maker-multicall/) (requires-python:>=3.8) 2024-03-09T17:49:57,029 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-maker-multicall/ 2024-03-09T17:49:57,030 Getting page https://www.piwheels.org/simple/certora-cli-alpha-maker-multicall/ 2024-03-09T17:49:57,032 Found index url https://www.piwheels.org/simple/ 2024-03-09T17:49:57,369 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-maker-multicall/ as text/html 2024-03-09T17:49:57,370 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-maker-multicall/ 2024-03-09T17:49:57,371 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-maker-multicall/ 2024-03-09T17:49:57,390 Given no hashes to check 1 links for project 'certora-cli-alpha-maker-multicall': discarding no candidates 2024-03-09T17:49:57,408 Collecting certora-cli-alpha-maker-multicall==20240309.17.30.434038 2024-03-09T17:49:57,410 Created temporary directory: /tmp/pip-unpack-3i5s_9ew 2024-03-09T17:49:57,635 Downloading certora-cli-alpha-maker_multicall-20240309.17.30.434038.tar.gz (14.4 MB) 2024-03-09T17:50:01,614 Added certora-cli-alpha-maker-multicall==20240309.17.30.434038 from https://files.pythonhosted.org/packages/89/41/a7f6894d09bc02a3d5ea97d728e663fc5c2a254b0ff04135065c30588d40/certora-cli-alpha-maker_multicall-20240309.17.30.434038.tar.gz to build tracker '/tmp/pip-build-tracker-by2h44tc' 2024-03-09T17:50:01,616 Running setup.py (path:/tmp/pip-wheel-oz652oyg/certora-cli-alpha-maker-multicall_0a5b1f6efc704b23ac284e9e0e90ae09/setup.py) egg_info for package certora-cli-alpha-maker-multicall 2024-03-09T17:50:01,617 Created temporary directory: /tmp/pip-pip-egg-info-je7xjdok 2024-03-09T17:50:01,618 Preparing metadata (setup.py): started 2024-03-09T17:50:01,619 Running command python setup.py egg_info 2024-03-09T17:50:04,245 running egg_info 2024-03-09T17:50:04,247 creating /tmp/pip-pip-egg-info-je7xjdok/certora_cli_alpha_maker_multicall.egg-info 2024-03-09T17:50:04,277 writing /tmp/pip-pip-egg-info-je7xjdok/certora_cli_alpha_maker_multicall.egg-info/PKG-INFO 2024-03-09T17:50:04,281 writing dependency_links to /tmp/pip-pip-egg-info-je7xjdok/certora_cli_alpha_maker_multicall.egg-info/dependency_links.txt 2024-03-09T17:50:04,283 writing entry points to /tmp/pip-pip-egg-info-je7xjdok/certora_cli_alpha_maker_multicall.egg-info/entry_points.txt 2024-03-09T17:50:04,285 writing requirements to /tmp/pip-pip-egg-info-je7xjdok/certora_cli_alpha_maker_multicall.egg-info/requires.txt 2024-03-09T17:50:04,286 writing top-level names to /tmp/pip-pip-egg-info-je7xjdok/certora_cli_alpha_maker_multicall.egg-info/top_level.txt 2024-03-09T17:50:04,288 writing manifest file '/tmp/pip-pip-egg-info-je7xjdok/certora_cli_alpha_maker_multicall.egg-info/SOURCES.txt' 2024-03-09T17:50:04,393 reading manifest file '/tmp/pip-pip-egg-info-je7xjdok/certora_cli_alpha_maker_multicall.egg-info/SOURCES.txt' 2024-03-09T17:50:04,395 reading manifest template 'MANIFEST.in' 2024-03-09T17:50:04,401 warning: no files found matching 'gambit' under directory 'certora_bins' 2024-03-09T17:50:04,554 adding license file 'LICENSE' 2024-03-09T17:50:04,557 writing manifest file '/tmp/pip-pip-egg-info-je7xjdok/certora_cli_alpha_maker_multicall.egg-info/SOURCES.txt' 2024-03-09T17:50:04,663 Preparing metadata (setup.py): finished with status 'done' 2024-03-09T17:50:04,668 Source in /tmp/pip-wheel-oz652oyg/certora-cli-alpha-maker-multicall_0a5b1f6efc704b23ac284e9e0e90ae09 has version 20240309.17.30.434038, which satisfies requirement certora-cli-alpha-maker-multicall==20240309.17.30.434038 from https://files.pythonhosted.org/packages/89/41/a7f6894d09bc02a3d5ea97d728e663fc5c2a254b0ff04135065c30588d40/certora-cli-alpha-maker_multicall-20240309.17.30.434038.tar.gz 2024-03-09T17:50:04,670 Removed certora-cli-alpha-maker-multicall==20240309.17.30.434038 from https://files.pythonhosted.org/packages/89/41/a7f6894d09bc02a3d5ea97d728e663fc5c2a254b0ff04135065c30588d40/certora-cli-alpha-maker_multicall-20240309.17.30.434038.tar.gz from build tracker '/tmp/pip-build-tracker-by2h44tc' 2024-03-09T17:50:04,676 Created temporary directory: /tmp/pip-unpack-qwy_tg9q 2024-03-09T17:50:04,677 Created temporary directory: /tmp/pip-unpack-s27sf17u 2024-03-09T17:50:04,689 Building wheels for collected packages: certora-cli-alpha-maker-multicall 2024-03-09T17:50:04,695 Created temporary directory: /tmp/pip-wheel-qlrb9p99 2024-03-09T17:50:04,696 Building wheel for certora-cli-alpha-maker-multicall (setup.py): started 2024-03-09T17:50:04,698 Destination directory: /tmp/pip-wheel-qlrb9p99 2024-03-09T17:50:04,698 Running command python setup.py bdist_wheel 2024-03-09T17:50:06,760 running bdist_wheel 2024-03-09T17:50:06,916 running build 2024-03-09T17:50:06,917 running build_py 2024-03-09T17:50:06,957 creating build 2024-03-09T17:50:06,959 creating build/lib 2024-03-09T17:50:06,963 creating build/lib/certora_jars 2024-03-09T17:50:06,965 copying certora_jars/__init__.py -> build/lib/certora_jars 2024-03-09T17:50:06,969 creating build/lib/certora_cli 2024-03-09T17:50:06,970 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2024-03-09T17:50:06,981 copying certora_cli/__init__.py -> build/lib/certora_cli 2024-03-09T17:50:06,987 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2024-03-09T17:50:06,995 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2024-03-09T17:50:06,998 creating build/lib/certora_bins 2024-03-09T17:50:07,000 copying certora_bins/__init__.py -> build/lib/certora_bins 2024-03-09T17:50:07,012 creating build/lib/certora_cli/Mutate 2024-03-09T17:50:07,013 copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate 2024-03-09T17:50:07,033 copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate 2024-03-09T17:50:07,041 copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate 2024-03-09T17:50:07,044 copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate 2024-03-09T17:50:07,047 copying certora_cli/Mutate/mutateAttribute.py -> build/lib/certora_cli/Mutate 2024-03-09T17:50:07,052 creating build/lib/certora_cli/Shared 2024-03-09T17:50:07,054 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2024-03-09T17:50:07,059 copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared 2024-03-09T17:50:07,068 copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared 2024-03-09T17:50:07,079 copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared 2024-03-09T17:50:07,082 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2024-03-09T17:50:07,087 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2024-03-09T17:50:07,102 creating build/lib/certora_cli/EquivalenceCheck 2024-03-09T17:50:07,103 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2024-03-09T17:50:07,115 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2024-03-09T17:50:07,125 creating build/lib/certora_cli/EVMVerifier 2024-03-09T17:50:07,126 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2024-03-09T17:50:07,134 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2024-03-09T17:50:07,139 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2024-03-09T17:50:07,148 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2024-03-09T17:50:07,155 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2024-03-09T17:50:07,162 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2024-03-09T17:50:07,168 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2024-03-09T17:50:07,193 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2024-03-09T17:50:07,198 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2024-03-09T17:50:07,204 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2024-03-09T17:50:07,208 copying certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/lib/certora_cli/EVMVerifier 2024-03-09T17:50:07,212 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2024-03-09T17:50:07,215 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2024-03-09T17:50:07,225 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2024-03-09T17:50:07,453 creating build/lib/certora_cli/EVMVerifier/Compiler 2024-03-09T17:50:07,456 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-03-09T17:50:07,461 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-03-09T17:50:07,468 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-03-09T17:50:07,473 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-03-09T17:50:07,478 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-03-09T17:50:07,486 running egg_info 2024-03-09T17:50:07,591 writing certora_cli_alpha_maker_multicall.egg-info/PKG-INFO 2024-03-09T17:50:07,596 writing dependency_links to certora_cli_alpha_maker_multicall.egg-info/dependency_links.txt 2024-03-09T17:50:07,599 writing entry points to certora_cli_alpha_maker_multicall.egg-info/entry_points.txt 2024-03-09T17:50:07,691 writing requirements to certora_cli_alpha_maker_multicall.egg-info/requires.txt 2024-03-09T17:50:08,164 writing top-level names to certora_cli_alpha_maker_multicall.egg-info/top_level.txt 2024-03-09T17:50:09,168 reading manifest file 'certora_cli_alpha_maker_multicall.egg-info/SOURCES.txt' 2024-03-09T17:50:09,177 reading manifest template 'MANIFEST.in' 2024-03-09T17:50:09,186 warning: no files found matching 'gambit' under directory 'certora_bins' 2024-03-09T17:50:09,292 adding license file 'LICENSE' 2024-03-09T17:50:09,296 writing manifest file 'certora_cli_alpha_maker_multicall.egg-info/SOURCES.txt' 2024-03-09T17:50:09,307 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2024-03-09T17:50:09,312 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2024-03-09T17:50:09,769 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2024-03-09T17:50:09,773 copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-03-09T17:50:09,776 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-03-09T17:50:09,779 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2024-03-09T17:50:09,783 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-03-09T17:50:09,786 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2024-03-09T17:50:09,821 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2024-03-09T17:50:09,822 !! 2024-03-09T17:50:09,823 ******************************************************************************** 2024-03-09T17:50:09,824 Please avoid running ``setup.py`` directly. 2024-03-09T17:50:09,825 Instead, use pypa/build, pypa/installer or other 2024-03-09T17:50:09,825 standards-based tools. 2024-03-09T17:50:09,827 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2024-03-09T17:50:09,828 ******************************************************************************** 2024-03-09T17:50:09,830 !! 2024-03-09T17:50:09,830 self.initialize_options() 2024-03-09T17:50:09,852 installing to build/bdist.linux-armv7l/wheel 2024-03-09T17:50:09,853 running install 2024-03-09T17:50:09,876 running install_lib 2024-03-09T17:50:09,906 creating build/bdist.linux-armv7l 2024-03-09T17:50:09,907 creating build/bdist.linux-armv7l/wheel 2024-03-09T17:50:09,909 creating build/bdist.linux-armv7l/wheel/certora_jars 2024-03-09T17:50:09,911 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars 2024-03-09T17:50:09,914 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2024-03-09T17:50:10,358 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars 2024-03-09T17:50:10,361 creating build/bdist.linux-armv7l/wheel/certora_cli 2024-03-09T17:50:10,362 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli 2024-03-09T17:50:10,364 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli 2024-03-09T17:50:10,366 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli 2024-03-09T17:50:10,370 creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate 2024-03-09T17:50:10,371 copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/certora_cli/Mutate 2024-03-09T17:50:10,375 copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Mutate 2024-03-09T17:50:10,378 copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/certora_cli/Mutate 2024-03-09T17:50:10,380 copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/certora_cli/Mutate 2024-03-09T17:50:10,383 copying build/lib/certora_cli/Mutate/mutateAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/Mutate 2024-03-09T17:50:10,386 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2024-03-09T17:50:10,387 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2024-03-09T17:50:10,389 copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2024-03-09T17:50:10,392 copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2024-03-09T17:50:10,396 copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2024-03-09T17:50:10,398 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2024-03-09T17:50:10,402 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2024-03-09T17:50:10,405 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2024-03-09T17:50:10,406 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2024-03-09T17:50:10,409 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2024-03-09T17:50:10,411 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2024-03-09T17:50:10,414 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2024-03-09T17:50:10,418 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2024-03-09T17:50:10,420 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2024-03-09T17:50:10,422 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2024-03-09T17:50:10,425 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2024-03-09T17:50:10,427 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/certora_cli 2024-03-09T17:50:10,430 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2024-03-09T17:50:10,431 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2024-03-09T17:50:10,435 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2024-03-09T17:50:10,439 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2024-03-09T17:50:10,442 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2024-03-09T17:50:10,445 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2024-03-09T17:50:10,450 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2024-03-09T17:50:10,453 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2024-03-09T17:50:10,463 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2024-03-09T17:50:10,464 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2024-03-09T17:50:10,467 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2024-03-09T17:50:10,469 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2024-03-09T17:50:10,472 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2024-03-09T17:50:10,474 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2024-03-09T17:50:10,481 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2024-03-09T17:50:12,956 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2024-03-09T17:50:13,979 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2024-03-09T17:50:13,985 copying build/lib/certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2024-03-09T17:50:13,990 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2024-03-09T17:50:13,994 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2024-03-09T17:50:13,999 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2024-03-09T17:50:14,004 creating build/bdist.linux-armv7l/wheel/certora_bins 2024-03-09T17:50:14,006 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/certora_bins 2024-03-09T17:50:14,010 running install_egg_info 2024-03-09T17:50:14,080 Copying certora_cli_alpha_maker_multicall.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_maker_multicall-20240309.17.30.434038-py3.11.egg-info 2024-03-09T17:50:14,103 running install_scripts 2024-03-09T17:50:14,129 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_maker_multicall-20240309.17.30.434038.dist-info/WHEEL 2024-03-09T17:50:14,132 creating '/tmp/pip-wheel-qlrb9p99/certora_cli_alpha_maker_multicall-20240309.17.30.434038-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2024-03-09T17:50:14,135 adding 'certora_bins/__init__.py' 2024-03-09T17:50:14,137 adding 'certora_cli/__init__.py' 2024-03-09T17:50:14,139 adding 'certora_cli/certoraEqCheck.py' 2024-03-09T17:50:14,141 adding 'certora_cli/certoraMutate.py' 2024-03-09T17:50:14,143 adding 'certora_cli/certoraRun.py' 2024-03-09T17:50:14,183 adding 'certora_cli/EVMVerifier/__init__.py' 2024-03-09T17:50:14,207 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2024-03-09T17:50:14,214 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2024-03-09T17:50:14,217 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2024-03-09T17:50:14,218 adding 'certora_cli/EVMVerifier/certoraCompilerParameters.py' 2024-03-09T17:50:14,220 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2024-03-09T17:50:14,223 adding 'certora_cli/EVMVerifier/certoraContext.py' 2024-03-09T17:50:14,227 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2024-03-09T17:50:14,228 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2024-03-09T17:50:14,233 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2024-03-09T17:50:14,235 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2024-03-09T17:50:14,237 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2024-03-09T17:50:14,239 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2024-03-09T17:50:14,243 adding 'certora_cli/EVMVerifier/certoraType.py' 2024-03-09T17:50:14,248 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2024-03-09T17:50:14,251 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2024-03-09T17:50:14,253 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2024-03-09T17:50:14,261 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2024-03-09T17:50:14,263 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2024-03-09T17:50:14,266 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2024-03-09T17:50:14,268 adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec' 2024-03-09T17:50:14,269 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2024-03-09T17:50:14,271 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2024-03-09T17:50:14,272 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2024-03-09T17:50:14,273 adding 'certora_cli/EquivalenceCheck/__init__.py' 2024-03-09T17:50:14,276 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2024-03-09T17:50:14,278 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2024-03-09T17:50:14,280 adding 'certora_cli/Mutate/__init__.py' 2024-03-09T17:50:14,289 adding 'certora_cli/Mutate/mutateApp.py' 2024-03-09T17:50:14,292 adding 'certora_cli/Mutate/mutateAttribute.py' 2024-03-09T17:50:14,293 adding 'certora_cli/Mutate/mutateConstants.py' 2024-03-09T17:50:14,295 adding 'certora_cli/Mutate/mutateValidate.py' 2024-03-09T17:50:14,298 adding 'certora_cli/Shared/ExpectedComparator.py' 2024-03-09T17:50:14,300 adding 'certora_cli/Shared/__init__.py' 2024-03-09T17:50:14,302 adding 'certora_cli/Shared/certoraAttrUtil.py' 2024-03-09T17:50:14,304 adding 'certora_cli/Shared/certoraLogging.py' 2024-03-09T17:50:14,311 adding 'certora_cli/Shared/certoraUtils.py' 2024-03-09T17:50:14,315 adding 'certora_cli/Shared/certoraValidateFuncs.py' 2024-03-09T17:50:14,319 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2024-03-09T17:50:16,101 adding 'certora_jars/Typechecker.jar' 2024-03-09T17:50:16,197 adding 'certora_jars/__init__.py' 2024-03-09T17:50:16,198 adding 'certora_cli_alpha_maker_multicall-20240309.17.30.434038.dist-info/LICENSE' 2024-03-09T17:50:16,200 adding 'certora_cli_alpha_maker_multicall-20240309.17.30.434038.dist-info/METADATA' 2024-03-09T17:50:16,201 adding 'certora_cli_alpha_maker_multicall-20240309.17.30.434038.dist-info/WHEEL' 2024-03-09T17:50:16,202 adding 'certora_cli_alpha_maker_multicall-20240309.17.30.434038.dist-info/entry_points.txt' 2024-03-09T17:50:16,202 adding 'certora_cli_alpha_maker_multicall-20240309.17.30.434038.dist-info/top_level.txt' 2024-03-09T17:50:16,204 adding 'certora_cli_alpha_maker_multicall-20240309.17.30.434038.dist-info/RECORD' 2024-03-09T17:50:16,402 removing build/bdist.linux-armv7l/wheel 2024-03-09T17:50:16,537 Building wheel for certora-cli-alpha-maker-multicall (setup.py): finished with status 'done' 2024-03-09T17:50:16,680 Created wheel for certora-cli-alpha-maker-multicall: filename=certora_cli_alpha_maker_multicall-20240309.17.30.434038-py3-none-any.whl size=14413779 sha256=b3333f8aee114fb8a2b218432cfe0a5b431fc7b4cf3de47ccde485943ba08da2 2024-03-09T17:50:16,681 Stored in directory: /tmp/pip-ephem-wheel-cache-_qny0fja/wheels/2c/4d/60/4a5500572308e861c7a7cd76ce0e8d678faa049b26be239739 2024-03-09T17:50:16,698 Successfully built certora-cli-alpha-maker-multicall 2024-03-09T17:50:17,187 Removed build tracker: '/tmp/pip-build-tracker-by2h44tc'