2024-09-05T07:59:37,521 Created temporary directory: /tmp/pip-build-tracker-ama3g3jl 2024-09-05T07:59:37,522 Initialized build tracking at /tmp/pip-build-tracker-ama3g3jl 2024-09-05T07:59:37,523 Created build tracker: /tmp/pip-build-tracker-ama3g3jl 2024-09-05T07:59:37,523 Entered build tracker: /tmp/pip-build-tracker-ama3g3jl 2024-09-05T07:59:37,524 Created temporary directory: /tmp/pip-wheel-e62ratd0 2024-09-05T07:59:37,528 Created temporary directory: /tmp/pip-ephem-wheel-cache-6kod7x8z 2024-09-05T07:59:37,574 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2024-09-05T07:59:37,577 2 location(s) to search for versions of certora-cli-alpha-rahav-cert-7094-clean-container-collect-2: 2024-09-05T07:59:37,577 * https://pypi.org/simple/certora-cli-alpha-rahav-cert-7094-clean-container-collect-2/ 2024-09-05T07:59:37,577 * https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-7094-clean-container-collect-2/ 2024-09-05T07:59:37,578 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-rahav-cert-7094-clean-container-collect-2/ 2024-09-05T07:59:37,578 Getting page https://pypi.org/simple/certora-cli-alpha-rahav-cert-7094-clean-container-collect-2/ 2024-09-05T07:59:37,580 Found index url https://pypi.org/simple/ 2024-09-05T07:59:37,790 Fetched page https://pypi.org/simple/certora-cli-alpha-rahav-cert-7094-clean-container-collect-2/ as application/vnd.pypi.simple.v1+json 2024-09-05T07:59:37,792 Skipping link: No binaries permitted for certora-cli-alpha-rahav-cert-7094-clean-container-collect-2: https://files.pythonhosted.org/packages/21/5b/f9fc530d8235e34ce1d1b1f10a6b48c6c682008331e89171b4c6e0c710e7/certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2-20240905.7.37.285892-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-rahav-cert-7094-clean-container-collect-2/) (requires-python:>=3.8) 2024-09-05T07:59:37,793 Skipping link: No binaries permitted for certora-cli-alpha-rahav-cert-7094-clean-container-collect-2: https://files.pythonhosted.org/packages/1e/d2/1456077dd0a82147144072d9bf1b374eb67cd597975093b7fa7a56d525bd/certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2-20240905.7.37.285892-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-rahav-cert-7094-clean-container-collect-2/) (requires-python:>=3.8) 2024-09-05T07:59:37,794 Skipping link: No binaries permitted for certora-cli-alpha-rahav-cert-7094-clean-container-collect-2: https://files.pythonhosted.org/packages/45/f5/5c688ab6598c11623eef321eb10c4440d97819ede2fd041f383213e8fd2d/certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2-20240905.7.37.285892-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-rahav-cert-7094-clean-container-collect-2/) (requires-python:>=3.8) 2024-09-05T07:59:37,795 Found link https://files.pythonhosted.org/packages/5f/21/272fbcf65f2a87027b4b5e5396789915913caf237b8232cc0d8634a7c14f/certora_cli_alpha_rahav_cert_7094_clean_container_collect_2-20240905.7.37.285892.tar.gz (from https://pypi.org/simple/certora-cli-alpha-rahav-cert-7094-clean-container-collect-2/) (requires-python:>=3.8), version: 20240905.7.37.285892 2024-09-05T07:59:37,795 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-7094-clean-container-collect-2/ 2024-09-05T07:59:37,796 Getting page https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-7094-clean-container-collect-2/ 2024-09-05T07:59:37,798 Found index url https://www.piwheels.org/simple/ 2024-09-05T07:59:37,951 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-7094-clean-container-collect-2/ as text/html 2024-09-05T07:59:37,953 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-7094-clean-container-collect-2/ 2024-09-05T07:59:37,953 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-rahav-cert-7094-clean-container-collect-2/ 2024-09-05T07:59:37,971 Given no hashes to check 1 links for project 'certora-cli-alpha-rahav-cert-7094-clean-container-collect-2': discarding no candidates 2024-09-05T07:59:37,973 Collecting certora-cli-alpha-rahav-cert-7094-clean-container-collect-2==20240905.7.37.285892 2024-09-05T07:59:37,976 Created temporary directory: /tmp/pip-unpack-zpbdnobr 2024-09-05T07:59:38,185 Downloading certora_cli_alpha_rahav_cert_7094_clean_container_collect_2-20240905.7.37.285892.tar.gz (14.9 MB) 2024-09-05T07:59:41,550 Added certora-cli-alpha-rahav-cert-7094-clean-container-collect-2==20240905.7.37.285892 from https://files.pythonhosted.org/packages/5f/21/272fbcf65f2a87027b4b5e5396789915913caf237b8232cc0d8634a7c14f/certora_cli_alpha_rahav_cert_7094_clean_container_collect_2-20240905.7.37.285892.tar.gz to build tracker '/tmp/pip-build-tracker-ama3g3jl' 2024-09-05T07:59:41,552 Running setup.py (path:/tmp/pip-wheel-e62ratd0/certora-cli-alpha-rahav-cert-7094-clean-container-collect-2_f0e00ffb75954180a71d5906a37be40a/setup.py) egg_info for package certora-cli-alpha-rahav-cert-7094-clean-container-collect-2 2024-09-05T07:59:41,553 Created temporary directory: /tmp/pip-pip-egg-info-4h9e_7t4 2024-09-05T07:59:41,553 Preparing metadata (setup.py): started 2024-09-05T07:59:41,555 Running command python setup.py egg_info 2024-09-05T07:59:42,666 running egg_info 2024-09-05T07:59:42,667 creating /tmp/pip-pip-egg-info-4h9e_7t4/certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2.egg-info 2024-09-05T07:59:42,694 writing /tmp/pip-pip-egg-info-4h9e_7t4/certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2.egg-info/PKG-INFO 2024-09-05T07:59:42,697 writing dependency_links to /tmp/pip-pip-egg-info-4h9e_7t4/certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2.egg-info/dependency_links.txt 2024-09-05T07:59:42,698 writing entry points to /tmp/pip-pip-egg-info-4h9e_7t4/certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2.egg-info/entry_points.txt 2024-09-05T07:59:42,700 writing requirements to /tmp/pip-pip-egg-info-4h9e_7t4/certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2.egg-info/requires.txt 2024-09-05T07:59:42,701 writing top-level names to /tmp/pip-pip-egg-info-4h9e_7t4/certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2.egg-info/top_level.txt 2024-09-05T07:59:42,702 writing manifest file '/tmp/pip-pip-egg-info-4h9e_7t4/certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2.egg-info/SOURCES.txt' 2024-09-05T07:59:42,799 reading manifest file '/tmp/pip-pip-egg-info-4h9e_7t4/certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2.egg-info/SOURCES.txt' 2024-09-05T07:59:42,800 reading manifest template 'MANIFEST.in' 2024-09-05T07:59:42,805 warning: no files found matching 'gambit' under directory 'certora_bins' 2024-09-05T07:59:42,879 adding license file 'LICENSE' 2024-09-05T07:59:42,882 writing manifest file '/tmp/pip-pip-egg-info-4h9e_7t4/certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2.egg-info/SOURCES.txt' 2024-09-05T07:59:42,993 Preparing metadata (setup.py): finished with status 'done' 2024-09-05T07:59:42,997 Source in /tmp/pip-wheel-e62ratd0/certora-cli-alpha-rahav-cert-7094-clean-container-collect-2_f0e00ffb75954180a71d5906a37be40a has version 20240905.7.37.285892, which satisfies requirement certora-cli-alpha-rahav-cert-7094-clean-container-collect-2==20240905.7.37.285892 from https://files.pythonhosted.org/packages/5f/21/272fbcf65f2a87027b4b5e5396789915913caf237b8232cc0d8634a7c14f/certora_cli_alpha_rahav_cert_7094_clean_container_collect_2-20240905.7.37.285892.tar.gz 2024-09-05T07:59:42,998 Removed certora-cli-alpha-rahav-cert-7094-clean-container-collect-2==20240905.7.37.285892 from https://files.pythonhosted.org/packages/5f/21/272fbcf65f2a87027b4b5e5396789915913caf237b8232cc0d8634a7c14f/certora_cli_alpha_rahav_cert_7094_clean_container_collect_2-20240905.7.37.285892.tar.gz from build tracker '/tmp/pip-build-tracker-ama3g3jl' 2024-09-05T07:59:43,005 Created temporary directory: /tmp/pip-unpack-45pnmxkm 2024-09-05T07:59:43,006 Created temporary directory: /tmp/pip-unpack-ydwr_bdi 2024-09-05T07:59:43,006 Building wheels for collected packages: certora-cli-alpha-rahav-cert-7094-clean-container-collect-2 2024-09-05T07:59:43,011 Created temporary directory: /tmp/pip-wheel-6e7j5sn5 2024-09-05T07:59:43,011 Building wheel for certora-cli-alpha-rahav-cert-7094-clean-container-collect-2 (setup.py): started 2024-09-05T07:59:43,013 Destination directory: /tmp/pip-wheel-6e7j5sn5 2024-09-05T07:59:43,013 Running command python setup.py bdist_wheel 2024-09-05T07:59:44,093 running bdist_wheel 2024-09-05T07:59:44,233 running build 2024-09-05T07:59:44,233 running build_py 2024-09-05T07:59:44,266 creating build 2024-09-05T07:59:44,266 creating build/lib 2024-09-05T07:59:44,267 creating build/lib/certora_cli 2024-09-05T07:59:44,269 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2024-09-05T07:59:44,271 copying certora_cli/__init__.py -> build/lib/certora_cli 2024-09-05T07:59:44,272 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2024-09-05T07:59:44,274 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2024-09-05T07:59:44,277 creating build/lib/certora_jars 2024-09-05T07:59:44,278 copying certora_jars/__init__.py -> build/lib/certora_jars 2024-09-05T07:59:44,280 creating build/lib/certora_bins 2024-09-05T07:59:44,281 copying certora_bins/__init__.py -> build/lib/certora_bins 2024-09-05T07:59:44,283 creating build/lib/certora_cli/EquivalenceCheck 2024-09-05T07:59:44,284 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2024-09-05T07:59:44,287 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2024-09-05T07:59:44,288 creating build/lib/certora_cli/Shared 2024-09-05T07:59:44,289 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2024-09-05T07:59:44,292 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2024-09-05T07:59:44,294 copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared 2024-09-05T07:59:44,296 copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared 2024-09-05T07:59:44,299 copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared 2024-09-05T07:59:44,301 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2024-09-05T07:59:44,305 creating build/lib/certora_cli/EVMVerifier 2024-09-05T07:59:44,306 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2024-09-05T07:59:44,309 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2024-09-05T07:59:44,311 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2024-09-05T07:59:44,314 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2024-09-05T07:59:44,317 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2024-09-05T07:59:44,320 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2024-09-05T07:59:44,322 copying certora_cli/EVMVerifier/certoraMiniSpecParser.py -> build/lib/certora_cli/EVMVerifier 2024-09-05T07:59:44,324 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2024-09-05T07:59:44,326 copying certora_cli/EVMVerifier/certoraBuildCacheManager.py -> build/lib/certora_cli/EVMVerifier 2024-09-05T07:59:44,329 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2024-09-05T07:59:44,330 copying certora_cli/EVMVerifier/certoraContextAttributes.py -> build/lib/certora_cli/EVMVerifier 2024-09-05T07:59:44,334 copying certora_cli/EVMVerifier/certoraContractFuncs.py -> build/lib/certora_cli/EVMVerifier 2024-09-05T07:59:44,336 copying certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/lib/certora_cli/EVMVerifier 2024-09-05T07:59:44,338 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2024-09-05T07:59:44,340 copying certora_cli/EVMVerifier/certoraVerifyGenerator.py -> build/lib/certora_cli/EVMVerifier 2024-09-05T07:59:44,343 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2024-09-05T07:59:44,348 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2024-09-05T07:59:44,350 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2024-09-05T07:59:44,353 creating build/lib/certora_cli/Mutate 2024-09-05T07:59:44,353 copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate 2024-09-05T07:59:44,357 copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate 2024-09-05T07:59:44,359 copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate 2024-09-05T07:59:44,361 copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate 2024-09-05T07:59:44,363 copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate 2024-09-05T07:59:44,365 copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate 2024-09-05T07:59:44,368 creating build/lib/certora_cli/EVMVerifier/Compiler 2024-09-05T07:59:44,369 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-09-05T07:59:44,371 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-09-05T07:59:44,373 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-09-05T07:59:44,375 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-09-05T07:59:44,378 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-09-05T07:59:44,380 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-09-05T07:59:44,382 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-09-05T07:59:44,384 running egg_info 2024-09-05T07:59:44,411 writing certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2.egg-info/PKG-INFO 2024-09-05T07:59:44,414 writing dependency_links to certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2.egg-info/dependency_links.txt 2024-09-05T07:59:44,416 writing entry points to certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2.egg-info/entry_points.txt 2024-09-05T07:59:44,418 writing requirements to certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2.egg-info/requires.txt 2024-09-05T07:59:44,419 writing top-level names to certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2.egg-info/top_level.txt 2024-09-05T07:59:44,457 reading manifest file 'certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2.egg-info/SOURCES.txt' 2024-09-05T07:59:44,462 reading manifest template 'MANIFEST.in' 2024-09-05T07:59:44,466 warning: no files found matching 'gambit' under directory 'certora_bins' 2024-09-05T07:59:44,537 adding license file 'LICENSE' 2024-09-05T07:59:44,541 writing manifest file 'certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2.egg-info/SOURCES.txt' 2024-09-05T07:59:44,547 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2024-09-05T07:59:44,549 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2024-09-05T07:59:44,785 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2024-09-05T07:59:44,787 copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-09-05T07:59:44,790 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-09-05T07:59:44,792 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2024-09-05T07:59:44,794 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-09-05T07:59:44,797 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2024-09-05T07:59:44,830 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2024-09-05T07:59:44,830 !! 2024-09-05T07:59:44,831 ******************************************************************************** 2024-09-05T07:59:44,832 Please avoid running ``setup.py`` directly. 2024-09-05T07:59:44,832 Instead, use pypa/build, pypa/installer or other 2024-09-05T07:59:44,833 standards-based tools. 2024-09-05T07:59:44,834 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2024-09-05T07:59:44,834 ******************************************************************************** 2024-09-05T07:59:44,835 !! 2024-09-05T07:59:44,835 self.initialize_options() 2024-09-05T07:59:44,859 installing to build/bdist.linux-armv7l/wheel 2024-09-05T07:59:44,860 running install 2024-09-05T07:59:44,885 running install_lib 2024-09-05T07:59:44,912 creating build/bdist.linux-armv7l 2024-09-05T07:59:44,913 creating build/bdist.linux-armv7l/wheel 2024-09-05T07:59:44,914 creating build/bdist.linux-armv7l/wheel/certora_cli 2024-09-05T07:59:44,916 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2024-09-05T07:59:44,917 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-09-05T07:59:44,919 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-09-05T07:59:44,922 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-09-05T07:59:44,925 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-09-05T07:59:44,926 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-09-05T07:59:44,929 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-09-05T07:59:44,931 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-09-05T07:59:44,933 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-09-05T07:59:44,935 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-09-05T07:59:44,938 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-09-05T07:59:44,940 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-09-05T07:59:44,942 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-09-05T07:59:44,945 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2024-09-05T07:59:44,947 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-09-05T07:59:44,949 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-09-05T07:59:44,951 copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-09-05T07:59:44,954 copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-09-05T07:59:44,958 copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-09-05T07:59:44,960 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-09-05T07:59:44,965 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2024-09-05T07:59:44,966 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-09-05T07:59:44,970 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-09-05T07:59:44,972 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-09-05T07:59:44,974 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-09-05T07:59:44,977 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-09-05T07:59:44,980 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-09-05T07:59:44,982 copying build/lib/certora_cli/EVMVerifier/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-09-05T07:59:44,984 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-09-05T07:59:44,986 copying build/lib/certora_cli/EVMVerifier/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-09-05T07:59:44,988 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-09-05T07:59:44,990 copying build/lib/certora_cli/EVMVerifier/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-09-05T07:59:44,993 copying build/lib/certora_cli/EVMVerifier/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-09-05T07:59:44,995 copying build/lib/certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-09-05T07:59:44,997 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-09-05T07:59:44,999 copying build/lib/certora_cli/EVMVerifier/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-09-05T07:59:45,001 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2024-09-05T07:59:45,002 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-09-05T07:59:45,005 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-09-05T07:59:45,006 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-09-05T07:59:45,009 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-09-05T07:59:45,012 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-09-05T07:59:45,014 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-09-05T07:59:45,016 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-09-05T07:59:45,018 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-09-05T07:59:45,023 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-09-05T07:59:45,025 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-09-05T07:59:45,027 creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate 2024-09-05T07:59:45,028 copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-09-05T07:59:45,032 copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-09-05T07:59:45,034 copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-09-05T07:59:45,035 copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-09-05T07:59:45,038 copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-09-05T07:59:45,039 copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-09-05T07:59:45,042 creating build/bdist.linux-armv7l/wheel/certora_jars 2024-09-05T07:59:45,043 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2024-09-05T07:59:45,269 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars 2024-09-05T07:59:45,271 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars 2024-09-05T07:59:45,273 creating build/bdist.linux-armv7l/wheel/certora_bins 2024-09-05T07:59:45,275 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins 2024-09-05T07:59:45,276 running install_egg_info 2024-09-05T07:59:45,309 Copying certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2-20240905.7.37.285892-py3.11.egg-info 2024-09-05T07:59:45,321 running install_scripts 2024-09-05T07:59:45,336 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2-20240905.7.37.285892.dist-info/WHEEL 2024-09-05T07:59:45,339 creating '/tmp/pip-wheel-6e7j5sn5/certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2-20240905.7.37.285892-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2024-09-05T07:59:45,342 adding 'certora_bins/__init__.py' 2024-09-05T07:59:45,344 adding 'certora_cli/__init__.py' 2024-09-05T07:59:45,345 adding 'certora_cli/certoraEqCheck.py' 2024-09-05T07:59:45,347 adding 'certora_cli/certoraMutate.py' 2024-09-05T07:59:45,350 adding 'certora_cli/certoraRun.py' 2024-09-05T07:59:45,352 adding 'certora_cli/EVMVerifier/__init__.py' 2024-09-05T07:59:45,376 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2024-09-05T07:59:45,379 adding 'certora_cli/EVMVerifier/certoraBuildCacheManager.py' 2024-09-05T07:59:45,386 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2024-09-05T07:59:45,388 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2024-09-05T07:59:45,390 adding 'certora_cli/EVMVerifier/certoraCompilerParameters.py' 2024-09-05T07:59:45,392 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2024-09-05T07:59:45,395 adding 'certora_cli/EVMVerifier/certoraContext.py' 2024-09-05T07:59:45,400 adding 'certora_cli/EVMVerifier/certoraContextAttributes.py' 2024-09-05T07:59:45,402 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2024-09-05T07:59:45,407 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2024-09-05T07:59:45,409 adding 'certora_cli/EVMVerifier/certoraContractFuncs.py' 2024-09-05T07:59:45,411 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2024-09-05T07:59:45,413 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2024-09-05T07:59:45,415 adding 'certora_cli/EVMVerifier/certoraMiniSpecParser.py' 2024-09-05T07:59:45,417 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2024-09-05T07:59:45,421 adding 'certora_cli/EVMVerifier/certoraType.py' 2024-09-05T07:59:45,423 adding 'certora_cli/EVMVerifier/certoraVerifyGenerator.py' 2024-09-05T07:59:45,425 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2024-09-05T07:59:45,427 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2024-09-05T07:59:45,429 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2024-09-05T07:59:45,431 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py' 2024-09-05T07:59:45,439 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2024-09-05T07:59:45,441 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py' 2024-09-05T07:59:45,443 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2024-09-05T07:59:45,445 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2024-09-05T07:59:45,447 adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec' 2024-09-05T07:59:45,448 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2024-09-05T07:59:45,450 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2024-09-05T07:59:45,451 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2024-09-05T07:59:45,453 adding 'certora_cli/EquivalenceCheck/__init__.py' 2024-09-05T07:59:45,456 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2024-09-05T07:59:45,458 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2024-09-05T07:59:45,460 adding 'certora_cli/Mutate/__init__.py' 2024-09-05T07:59:45,470 adding 'certora_cli/Mutate/mutateApp.py' 2024-09-05T07:59:45,473 adding 'certora_cli/Mutate/mutateAttributes.py' 2024-09-05T07:59:45,474 adding 'certora_cli/Mutate/mutateConstants.py' 2024-09-05T07:59:45,476 adding 'certora_cli/Mutate/mutateUtil.py' 2024-09-05T07:59:45,478 adding 'certora_cli/Mutate/mutateValidate.py' 2024-09-05T07:59:45,481 adding 'certora_cli/Shared/ExpectedComparator.py' 2024-09-05T07:59:45,482 adding 'certora_cli/Shared/__init__.py' 2024-09-05T07:59:45,484 adding 'certora_cli/Shared/certoraAttrUtil.py' 2024-09-05T07:59:45,486 adding 'certora_cli/Shared/certoraLogging.py' 2024-09-05T07:59:45,494 adding 'certora_cli/Shared/certoraUtils.py' 2024-09-05T07:59:45,499 adding 'certora_cli/Shared/certoraValidateFuncs.py' 2024-09-05T07:59:45,502 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2024-09-05T07:59:47,342 adding 'certora_jars/Typechecker.jar' 2024-09-05T07:59:47,441 adding 'certora_jars/__init__.py' 2024-09-05T07:59:47,443 adding 'certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2-20240905.7.37.285892.dist-info/LICENSE' 2024-09-05T07:59:47,444 adding 'certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2-20240905.7.37.285892.dist-info/METADATA' 2024-09-05T07:59:47,445 adding 'certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2-20240905.7.37.285892.dist-info/WHEEL' 2024-09-05T07:59:47,447 adding 'certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2-20240905.7.37.285892.dist-info/entry_points.txt' 2024-09-05T07:59:47,448 adding 'certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2-20240905.7.37.285892.dist-info/top_level.txt' 2024-09-05T07:59:47,450 adding 'certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2-20240905.7.37.285892.dist-info/RECORD' 2024-09-05T07:59:47,627 removing build/bdist.linux-armv7l/wheel 2024-09-05T07:59:47,766 Building wheel for certora-cli-alpha-rahav-cert-7094-clean-container-collect-2 (setup.py): finished with status 'done' 2024-09-05T07:59:47,915 Created wheel for certora-cli-alpha-rahav-cert-7094-clean-container-collect-2: filename=certora_cli_alpha_rahav_CERT_7094_clean_container_collect_2-20240905.7.37.285892-py3-none-any.whl size=14873127 sha256=4fcc85eeccd44aa092a375f2e479687d37d644117a46def73b92a902123db7fd 2024-09-05T07:59:47,917 Stored in directory: /tmp/pip-ephem-wheel-cache-6kod7x8z/wheels/2e/a5/b7/fe90fb2ebb72e8c6c2e9e99c59802a1c1ce084790a5d2ec2ed 2024-09-05T07:59:47,933 Successfully built certora-cli-alpha-rahav-cert-7094-clean-container-collect-2 2024-09-05T07:59:48,273 Removed build tracker: '/tmp/pip-build-tracker-ama3g3jl'