2024-11-02T15:21:31,874 Disabling truststore because Python version isn't 3.10+ 2024-11-02T15:21:32,370 Created temporary directory: /tmp/pip-build-tracker-otubpp8f 2024-11-02T15:21:32,370 Initialized build tracking at /tmp/pip-build-tracker-otubpp8f 2024-11-02T15:21:32,370 Created build tracker: /tmp/pip-build-tracker-otubpp8f 2024-11-02T15:21:32,371 Entered build tracker: /tmp/pip-build-tracker-otubpp8f 2024-11-02T15:21:32,371 Created temporary directory: /tmp/pip-wheel-0ozt_q26 2024-11-02T15:21:32,377 Created temporary directory: /tmp/pip-ephem-wheel-cache-qculu7i5 2024-11-02T15:21:32,421 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2024-11-02T15:21:32,424 2 location(s) to search for versions of certora-cli-alpha-rahav-cert-7153-summarization-2: 2024-11-02T15:21:32,424 * https://pypi.org/simple/certora-cli-alpha-rahav-cert-7153-summarization-2/ 2024-11-02T15:21:32,424 * https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-7153-summarization-2/ 2024-11-02T15:21:32,425 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-rahav-cert-7153-summarization-2/ 2024-11-02T15:21:32,425 Getting page https://pypi.org/simple/certora-cli-alpha-rahav-cert-7153-summarization-2/ 2024-11-02T15:21:32,426 Found index url https://pypi.org/simple/ 2024-11-02T15:21:32,587 Fetched page https://pypi.org/simple/certora-cli-alpha-rahav-cert-7153-summarization-2/ as application/vnd.pypi.simple.v1+json 2024-11-02T15:21:32,588 Skipping link: No binaries permitted for certora-cli-alpha-rahav-cert-7153-summarization-2: https://files.pythonhosted.org/packages/40/c4/bba9ce8633096b22c8162d0df0f724d6746ead3c19d0e5a153f547e9c48b/certora_cli_alpha_rahav_CERT_7153_summarization_2-20241024.16.1.723201-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-rahav-cert-7153-summarization-2/) (requires-python:>=3.8) 2024-11-02T15:21:32,589 Skipping link: No binaries permitted for certora-cli-alpha-rahav-cert-7153-summarization-2: https://files.pythonhosted.org/packages/cd/f3/cac62370535f034e308a6486fa60ffd03b84bef0ee04032d60f6d4ff6630/certora_cli_alpha_rahav_CERT_7153_summarization_2-20241024.16.1.723201-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-rahav-cert-7153-summarization-2/) (requires-python:>=3.8) 2024-11-02T15:21:32,589 Skipping link: No binaries permitted for certora-cli-alpha-rahav-cert-7153-summarization-2: https://files.pythonhosted.org/packages/ea/b6/1d74e9dfa05232505d777d8e42336e8d855854dd8186f08b0514c5069da0/certora_cli_alpha_rahav_CERT_7153_summarization_2-20241024.16.1.723201-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-rahav-cert-7153-summarization-2/) (requires-python:>=3.8) 2024-11-02T15:21:32,589 Found link https://files.pythonhosted.org/packages/38/6b/fede0010ca2d5e86deaa92238fff4d4661a58d85cd5640273f8ebc837005/certora_cli_alpha_rahav_cert_7153_summarization_2-20241024.16.1.723201.tar.gz (from https://pypi.org/simple/certora-cli-alpha-rahav-cert-7153-summarization-2/) (requires-python:>=3.8), version: 20241024.16.1.723201 2024-11-02T15:21:32,590 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-7153-summarization-2/ 2024-11-02T15:21:32,590 Getting page https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-7153-summarization-2/ 2024-11-02T15:21:32,591 Found index url https://www.piwheels.org/simple/ 2024-11-02T15:21:32,634 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-7153-summarization-2/ as text/html 2024-11-02T15:21:32,634 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-7153-summarization-2/ 2024-11-02T15:21:32,635 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-rahav-cert-7153-summarization-2/ 2024-11-02T15:21:32,649 Given no hashes to check 1 links for project 'certora-cli-alpha-rahav-cert-7153-summarization-2': discarding no candidates 2024-11-02T15:21:32,651 Collecting certora-cli-alpha-rahav-cert-7153-summarization-2==20241024.16.1.723201 2024-11-02T15:21:32,653 Created temporary directory: /tmp/pip-unpack-k_1hk5zf 2024-11-02T15:21:32,763 Downloading certora_cli_alpha_rahav_cert_7153_summarization_2-20241024.16.1.723201.tar.gz (15.3 MB) 2024-11-02T15:21:36,313 Added certora-cli-alpha-rahav-cert-7153-summarization-2==20241024.16.1.723201 from https://files.pythonhosted.org/packages/38/6b/fede0010ca2d5e86deaa92238fff4d4661a58d85cd5640273f8ebc837005/certora_cli_alpha_rahav_cert_7153_summarization_2-20241024.16.1.723201.tar.gz to build tracker '/tmp/pip-build-tracker-otubpp8f' 2024-11-02T15:21:36,315 Running setup.py (path:/tmp/pip-wheel-0ozt_q26/certora-cli-alpha-rahav-cert-7153-summarization-2_bcb95b60e1fc45c392a07fc8330b2c7e/setup.py) egg_info for package certora-cli-alpha-rahav-cert-7153-summarization-2 2024-11-02T15:21:36,316 Created temporary directory: /tmp/pip-pip-egg-info-lohs10ly 2024-11-02T15:21:36,316 Preparing metadata (setup.py): started 2024-11-02T15:21:36,317 Running command python setup.py egg_info 2024-11-02T15:21:37,630 running egg_info 2024-11-02T15:21:37,657 creating /tmp/pip-pip-egg-info-lohs10ly/certora_cli_alpha_rahav_CERT_7153_summarization_2.egg-info 2024-11-02T15:21:37,658 writing /tmp/pip-pip-egg-info-lohs10ly/certora_cli_alpha_rahav_CERT_7153_summarization_2.egg-info/PKG-INFO 2024-11-02T15:21:37,662 writing dependency_links to /tmp/pip-pip-egg-info-lohs10ly/certora_cli_alpha_rahav_CERT_7153_summarization_2.egg-info/dependency_links.txt 2024-11-02T15:21:37,663 writing entry points to /tmp/pip-pip-egg-info-lohs10ly/certora_cli_alpha_rahav_CERT_7153_summarization_2.egg-info/entry_points.txt 2024-11-02T15:21:37,665 writing requirements to /tmp/pip-pip-egg-info-lohs10ly/certora_cli_alpha_rahav_CERT_7153_summarization_2.egg-info/requires.txt 2024-11-02T15:21:37,666 writing top-level names to /tmp/pip-pip-egg-info-lohs10ly/certora_cli_alpha_rahav_CERT_7153_summarization_2.egg-info/top_level.txt 2024-11-02T15:21:37,668 writing manifest file '/tmp/pip-pip-egg-info-lohs10ly/certora_cli_alpha_rahav_CERT_7153_summarization_2.egg-info/SOURCES.txt' 2024-11-02T15:21:37,764 reading manifest file '/tmp/pip-pip-egg-info-lohs10ly/certora_cli_alpha_rahav_CERT_7153_summarization_2.egg-info/SOURCES.txt' 2024-11-02T15:21:37,766 reading manifest template 'MANIFEST.in' 2024-11-02T15:21:37,770 warning: no files found matching 'gambit' under directory 'certora_bins' 2024-11-02T15:21:37,853 adding license file 'LICENSE' 2024-11-02T15:21:37,859 writing manifest file '/tmp/pip-pip-egg-info-lohs10ly/certora_cli_alpha_rahav_CERT_7153_summarization_2.egg-info/SOURCES.txt' 2024-11-02T15:21:37,946 Preparing metadata (setup.py): finished with status 'done' 2024-11-02T15:21:37,951 Source in /tmp/pip-wheel-0ozt_q26/certora-cli-alpha-rahav-cert-7153-summarization-2_bcb95b60e1fc45c392a07fc8330b2c7e has version 20241024.16.1.723201, which satisfies requirement certora-cli-alpha-rahav-cert-7153-summarization-2==20241024.16.1.723201 from https://files.pythonhosted.org/packages/38/6b/fede0010ca2d5e86deaa92238fff4d4661a58d85cd5640273f8ebc837005/certora_cli_alpha_rahav_cert_7153_summarization_2-20241024.16.1.723201.tar.gz 2024-11-02T15:21:37,952 Removed certora-cli-alpha-rahav-cert-7153-summarization-2==20241024.16.1.723201 from https://files.pythonhosted.org/packages/38/6b/fede0010ca2d5e86deaa92238fff4d4661a58d85cd5640273f8ebc837005/certora_cli_alpha_rahav_cert_7153_summarization_2-20241024.16.1.723201.tar.gz from build tracker '/tmp/pip-build-tracker-otubpp8f' 2024-11-02T15:21:37,961 Created temporary directory: /tmp/pip-unpack-aqri3z2p 2024-11-02T15:21:37,961 Created temporary directory: /tmp/pip-unpack-pemnnzsa 2024-11-02T15:21:37,962 Building wheels for collected packages: certora-cli-alpha-rahav-cert-7153-summarization-2 2024-11-02T15:21:37,966 Created temporary directory: /tmp/pip-wheel-eki8zwa4 2024-11-02T15:21:37,966 Building wheel for certora-cli-alpha-rahav-cert-7153-summarization-2 (setup.py): started 2024-11-02T15:21:37,967 Destination directory: /tmp/pip-wheel-eki8zwa4 2024-11-02T15:21:37,967 Running command python setup.py bdist_wheel 2024-11-02T15:21:38,976 running bdist_wheel 2024-11-02T15:21:39,104 running build 2024-11-02T15:21:39,104 running build_py 2024-11-02T15:21:39,133 creating build/lib/certora_bins 2024-11-02T15:21:39,135 copying certora_bins/__init__.py -> build/lib/certora_bins 2024-11-02T15:21:39,137 creating build/lib/certora_cli 2024-11-02T15:21:39,138 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2024-11-02T15:21:39,140 copying certora_cli/__init__.py -> build/lib/certora_cli 2024-11-02T15:21:39,142 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2024-11-02T15:21:39,144 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2024-11-02T15:21:39,146 creating build/lib/certora_jars 2024-11-02T15:21:39,147 copying certora_jars/__init__.py -> build/lib/certora_jars 2024-11-02T15:21:39,150 creating build/lib/certora_cli/EVMVerifier 2024-11-02T15:21:39,151 copying certora_cli/EVMVerifier/certoraVerifyGenerator.py -> build/lib/certora_cli/EVMVerifier 2024-11-02T15:21:39,153 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2024-11-02T15:21:39,155 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2024-11-02T15:21:39,158 copying certora_cli/EVMVerifier/certoraContextAttributes.py -> build/lib/certora_cli/EVMVerifier 2024-11-02T15:21:39,161 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2024-11-02T15:21:39,166 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2024-11-02T15:21:39,169 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2024-11-02T15:21:39,171 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2024-11-02T15:21:39,173 copying certora_cli/EVMVerifier/certoraMiniSpecParser.py -> build/lib/certora_cli/EVMVerifier 2024-11-02T15:21:39,175 copying certora_cli/EVMVerifier/certoraBuildCacheManager.py -> build/lib/certora_cli/EVMVerifier 2024-11-02T15:21:39,177 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2024-11-02T15:21:39,180 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2024-11-02T15:21:39,182 copying certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/lib/certora_cli/EVMVerifier 2024-11-02T15:21:39,184 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2024-11-02T15:21:39,186 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2024-11-02T15:21:39,188 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2024-11-02T15:21:39,191 copying certora_cli/EVMVerifier/certoraContractFuncs.py -> build/lib/certora_cli/EVMVerifier 2024-11-02T15:21:39,194 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2024-11-02T15:21:39,197 creating build/lib/certora_cli/Mutate 2024-11-02T15:21:39,198 copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate 2024-11-02T15:21:39,200 copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate 2024-11-02T15:21:39,202 copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate 2024-11-02T15:21:39,205 copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate 2024-11-02T15:21:39,207 copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate 2024-11-02T15:21:39,208 copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate 2024-11-02T15:21:39,213 creating build/lib/certora_cli/Shared 2024-11-02T15:21:39,214 copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared 2024-11-02T15:21:39,216 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2024-11-02T15:21:39,218 copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared 2024-11-02T15:21:39,221 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2024-11-02T15:21:39,224 copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared 2024-11-02T15:21:39,227 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2024-11-02T15:21:39,230 creating build/lib/certora_cli/EquivalenceCheck 2024-11-02T15:21:39,231 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2024-11-02T15:21:39,232 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2024-11-02T15:21:39,236 creating build/lib/certora_cli/EVMVerifier/Compiler 2024-11-02T15:21:39,237 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-11-02T15:21:39,240 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-11-02T15:21:39,242 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-11-02T15:21:39,244 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-11-02T15:21:39,246 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-11-02T15:21:39,248 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-11-02T15:21:39,250 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-11-02T15:21:39,254 running egg_info 2024-11-02T15:21:39,281 writing certora_cli_alpha_rahav_CERT_7153_summarization_2.egg-info/PKG-INFO 2024-11-02T15:21:39,284 writing dependency_links to certora_cli_alpha_rahav_CERT_7153_summarization_2.egg-info/dependency_links.txt 2024-11-02T15:21:39,286 writing entry points to certora_cli_alpha_rahav_CERT_7153_summarization_2.egg-info/entry_points.txt 2024-11-02T15:21:39,287 writing requirements to certora_cli_alpha_rahav_CERT_7153_summarization_2.egg-info/requires.txt 2024-11-02T15:21:39,288 writing top-level names to certora_cli_alpha_rahav_CERT_7153_summarization_2.egg-info/top_level.txt 2024-11-02T15:21:39,324 reading manifest file 'certora_cli_alpha_rahav_CERT_7153_summarization_2.egg-info/SOURCES.txt' 2024-11-02T15:21:39,330 reading manifest template 'MANIFEST.in' 2024-11-02T15:21:39,334 warning: no files found matching 'gambit' under directory 'certora_bins' 2024-11-02T15:21:39,406 adding license file 'LICENSE' 2024-11-02T15:21:39,412 writing manifest file 'certora_cli_alpha_rahav_CERT_7153_summarization_2.egg-info/SOURCES.txt' 2024-11-02T15:21:39,419 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2024-11-02T15:21:39,422 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2024-11-02T15:21:39,653 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2024-11-02T15:21:39,655 copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-11-02T15:21:39,658 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-11-02T15:21:39,660 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2024-11-02T15:21:39,662 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-11-02T15:21:39,664 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2024-11-02T15:21:39,696 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2024-11-02T15:21:39,697 !! 2024-11-02T15:21:39,697 ******************************************************************************** 2024-11-02T15:21:39,697 Please avoid running ``setup.py`` directly. 2024-11-02T15:21:39,697 Instead, use pypa/build, pypa/installer or other 2024-11-02T15:21:39,697 standards-based tools. 2024-11-02T15:21:39,698 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2024-11-02T15:21:39,698 ******************************************************************************** 2024-11-02T15:21:39,698 !! 2024-11-02T15:21:39,698 self.initialize_options() 2024-11-02T15:21:39,722 installing to build/bdist.linux-armv7l/wheel 2024-11-02T15:21:39,722 running install 2024-11-02T15:21:39,747 running install_lib 2024-11-02T15:21:39,775 creating build/bdist.linux-armv7l/wheel 2024-11-02T15:21:39,779 creating build/bdist.linux-armv7l/wheel/certora_bins 2024-11-02T15:21:39,780 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins 2024-11-02T15:21:39,783 creating build/bdist.linux-armv7l/wheel/certora_cli 2024-11-02T15:21:39,785 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2024-11-02T15:21:39,786 copying build/lib/certora_cli/EVMVerifier/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-02T15:21:39,789 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-02T15:21:39,790 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-02T15:21:39,793 copying build/lib/certora_cli/EVMVerifier/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-02T15:21:39,797 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-02T15:21:39,802 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-02T15:21:39,805 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-02T15:21:39,807 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-02T15:21:39,809 copying build/lib/certora_cli/EVMVerifier/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-02T15:21:39,811 copying build/lib/certora_cli/EVMVerifier/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-02T15:21:39,814 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-02T15:21:39,816 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-02T15:21:39,818 copying build/lib/certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-02T15:21:39,820 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-02T15:21:39,822 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-02T15:21:39,825 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2024-11-02T15:21:39,827 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-11-02T15:21:39,829 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-11-02T15:21:39,831 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-11-02T15:21:39,833 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-11-02T15:21:39,835 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-11-02T15:21:39,837 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-11-02T15:21:39,839 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-11-02T15:21:39,842 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-02T15:21:39,845 copying build/lib/certora_cli/EVMVerifier/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-02T15:21:39,847 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-02T15:21:39,851 creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate 2024-11-02T15:21:39,852 copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-11-02T15:21:39,854 copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-11-02T15:21:39,856 copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-11-02T15:21:39,858 copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-11-02T15:21:39,860 copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-11-02T15:21:39,862 copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-11-02T15:21:39,865 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-11-02T15:21:39,868 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-11-02T15:21:39,869 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-11-02T15:21:39,872 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2024-11-02T15:21:39,873 copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-11-02T15:21:39,876 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-11-02T15:21:39,877 copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-11-02T15:21:39,881 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-11-02T15:21:39,885 copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-11-02T15:21:39,887 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-11-02T15:21:39,890 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2024-11-02T15:21:39,891 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-11-02T15:21:39,893 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-11-02T15:21:39,895 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-11-02T15:21:39,897 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-11-02T15:21:39,898 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-11-02T15:21:39,901 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-11-02T15:21:39,903 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-11-02T15:21:39,905 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-11-02T15:21:39,906 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-11-02T15:21:39,909 creating build/bdist.linux-armv7l/wheel/certora_jars 2024-11-02T15:21:39,910 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars 2024-11-02T15:21:39,911 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2024-11-02T15:21:40,155 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars 2024-11-02T15:21:40,157 running install_egg_info 2024-11-02T15:21:40,188 Copying certora_cli_alpha_rahav_CERT_7153_summarization_2.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_alpha_rahav_CERT_7153_summarization_2-20241024.16.1.723201-py3.9.egg-info 2024-11-02T15:21:40,198 running install_scripts 2024-11-02T15:21:40,215 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_rahav_CERT_7153_summarization_2-20241024.16.1.723201.dist-info/WHEEL 2024-11-02T15:21:40,218 creating '/tmp/pip-wheel-eki8zwa4/certora_cli_alpha_rahav_CERT_7153_summarization_2-20241024.16.1.723201-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2024-11-02T15:21:40,221 adding 'certora_bins/__init__.py' 2024-11-02T15:21:40,222 adding 'certora_cli/__init__.py' 2024-11-02T15:21:40,224 adding 'certora_cli/certoraEqCheck.py' 2024-11-02T15:21:40,225 adding 'certora_cli/certoraMutate.py' 2024-11-02T15:21:40,227 adding 'certora_cli/certoraRun.py' 2024-11-02T15:21:40,229 adding 'certora_cli/EVMVerifier/__init__.py' 2024-11-02T15:21:40,254 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2024-11-02T15:21:40,257 adding 'certora_cli/EVMVerifier/certoraBuildCacheManager.py' 2024-11-02T15:21:40,263 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2024-11-02T15:21:40,266 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2024-11-02T15:21:40,267 adding 'certora_cli/EVMVerifier/certoraCompilerParameters.py' 2024-11-02T15:21:40,268 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2024-11-02T15:21:40,272 adding 'certora_cli/EVMVerifier/certoraContext.py' 2024-11-02T15:21:40,276 adding 'certora_cli/EVMVerifier/certoraContextAttributes.py' 2024-11-02T15:21:40,278 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2024-11-02T15:21:40,282 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2024-11-02T15:21:40,284 adding 'certora_cli/EVMVerifier/certoraContractFuncs.py' 2024-11-02T15:21:40,285 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2024-11-02T15:21:40,287 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2024-11-02T15:21:40,289 adding 'certora_cli/EVMVerifier/certoraMiniSpecParser.py' 2024-11-02T15:21:40,290 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2024-11-02T15:21:40,293 adding 'certora_cli/EVMVerifier/certoraType.py' 2024-11-02T15:21:40,295 adding 'certora_cli/EVMVerifier/certoraVerifyGenerator.py' 2024-11-02T15:21:40,298 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2024-11-02T15:21:40,299 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2024-11-02T15:21:40,301 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2024-11-02T15:21:40,302 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py' 2024-11-02T15:21:40,309 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2024-11-02T15:21:40,311 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py' 2024-11-02T15:21:40,313 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2024-11-02T15:21:40,314 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2024-11-02T15:21:40,316 adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec' 2024-11-02T15:21:40,317 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2024-11-02T15:21:40,318 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2024-11-02T15:21:40,320 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2024-11-02T15:21:40,321 adding 'certora_cli/EquivalenceCheck/__init__.py' 2024-11-02T15:21:40,324 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2024-11-02T15:21:40,325 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2024-11-02T15:21:40,327 adding 'certora_cli/Mutate/__init__.py' 2024-11-02T15:21:40,336 adding 'certora_cli/Mutate/mutateApp.py' 2024-11-02T15:21:40,339 adding 'certora_cli/Mutate/mutateAttributes.py' 2024-11-02T15:21:40,340 adding 'certora_cli/Mutate/mutateConstants.py' 2024-11-02T15:21:40,341 adding 'certora_cli/Mutate/mutateUtil.py' 2024-11-02T15:21:40,343 adding 'certora_cli/Mutate/mutateValidate.py' 2024-11-02T15:21:40,346 adding 'certora_cli/Shared/ExpectedComparator.py' 2024-11-02T15:21:40,347 adding 'certora_cli/Shared/__init__.py' 2024-11-02T15:21:40,349 adding 'certora_cli/Shared/certoraAttrUtil.py' 2024-11-02T15:21:40,351 adding 'certora_cli/Shared/certoraLogging.py' 2024-11-02T15:21:40,358 adding 'certora_cli/Shared/certoraUtils.py' 2024-11-02T15:21:40,363 adding 'certora_cli/Shared/certoraValidateFuncs.py' 2024-11-02T15:21:40,366 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2024-11-02T15:21:42,237 adding 'certora_jars/Typechecker.jar' 2024-11-02T15:21:42,340 adding 'certora_jars/__init__.py' 2024-11-02T15:21:42,341 adding 'certora_cli_alpha_rahav_CERT_7153_summarization_2-20241024.16.1.723201.dist-info/LICENSE' 2024-11-02T15:21:42,342 adding 'certora_cli_alpha_rahav_CERT_7153_summarization_2-20241024.16.1.723201.dist-info/METADATA' 2024-11-02T15:21:42,343 adding 'certora_cli_alpha_rahav_CERT_7153_summarization_2-20241024.16.1.723201.dist-info/WHEEL' 2024-11-02T15:21:42,344 adding 'certora_cli_alpha_rahav_CERT_7153_summarization_2-20241024.16.1.723201.dist-info/entry_points.txt' 2024-11-02T15:21:42,345 adding 'certora_cli_alpha_rahav_CERT_7153_summarization_2-20241024.16.1.723201.dist-info/top_level.txt' 2024-11-02T15:21:42,346 adding 'certora_cli_alpha_rahav_CERT_7153_summarization_2-20241024.16.1.723201.dist-info/RECORD' 2024-11-02T15:21:42,510 removing build/bdist.linux-armv7l/wheel 2024-11-02T15:21:42,621 Building wheel for certora-cli-alpha-rahav-cert-7153-summarization-2 (setup.py): finished with status 'done' 2024-11-02T15:21:42,774 Created wheel for certora-cli-alpha-rahav-cert-7153-summarization-2: filename=certora_cli_alpha_rahav_CERT_7153_summarization_2-20241024.16.1.723201-py3-none-any.whl size=15335702 sha256=1b8949a723f4bc3c7ca549f763dbe767390d4d43afae561e54dd3d872f78c5e3 2024-11-02T15:21:42,775 Stored in directory: /tmp/pip-ephem-wheel-cache-qculu7i5/wheels/82/d9/cc/fc52c2abb34cce856de57f014a0d956f5c8563f97812fdd335 2024-11-02T15:21:42,793 Successfully built certora-cli-alpha-rahav-cert-7153-summarization-2 2024-11-02T15:21:43,186 Removed build tracker: '/tmp/pip-build-tracker-otubpp8f'