2025-02-27T09:07:53,272 Created temporary directory: /tmp/pip-build-tracker-xa3r4ec2 2025-02-27T09:07:53,273 Initialized build tracking at /tmp/pip-build-tracker-xa3r4ec2 2025-02-27T09:07:53,274 Created build tracker: /tmp/pip-build-tracker-xa3r4ec2 2025-02-27T09:07:53,274 Entered build tracker: /tmp/pip-build-tracker-xa3r4ec2 2025-02-27T09:07:53,275 Created temporary directory: /tmp/pip-wheel-206oai5p 2025-02-27T09:07:53,279 Created temporary directory: /tmp/pip-ephem-wheel-cache-8uo3_d9i 2025-02-27T09:07:53,324 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-02-27T09:07:53,327 2 location(s) to search for versions of certora-cli-alpha-oz-setuptools: 2025-02-27T09:07:53,327 * https://pypi.org/simple/certora-cli-alpha-oz-setuptools/ 2025-02-27T09:07:53,327 * https://www.piwheels.org/simple/certora-cli-alpha-oz-setuptools/ 2025-02-27T09:07:53,328 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-oz-setuptools/ 2025-02-27T09:07:53,329 Getting page https://pypi.org/simple/certora-cli-alpha-oz-setuptools/ 2025-02-27T09:07:53,330 Found index url https://pypi.org/simple/ 2025-02-27T09:07:53,472 Fetched page https://pypi.org/simple/certora-cli-alpha-oz-setuptools/ as application/vnd.pypi.simple.v1+json 2025-02-27T09:07:53,474 Skipping link: No binaries permitted for certora-cli-alpha-oz-setuptools: https://files.pythonhosted.org/packages/9b/4e/33740e444dd4d6740e21b9f23f251b14b1bc204fbf71e6f8dd4d5cd9ffe1/certora_cli_alpha_oz_setuptools-20250227.8.22.488796-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-setuptools/) (requires-python:>=3.8) 2025-02-27T09:07:53,475 Skipping link: No binaries permitted for certora-cli-alpha-oz-setuptools: https://files.pythonhosted.org/packages/e9/1d/eb880240dc15dcf136d223df8ddb81309c7580d9126cf5a18ad1f044d17b/certora_cli_alpha_oz_setuptools-20250227.8.22.488796-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-oz-setuptools/) (requires-python:>=3.8) 2025-02-27T09:07:53,475 Skipping link: No binaries permitted for certora-cli-alpha-oz-setuptools: https://files.pythonhosted.org/packages/54/a5/c5261386a3c03310d58355e5772f361f9d2e4d7bbb470394a4b969668f35/certora_cli_alpha_oz_setuptools-20250227.8.22.488796-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-oz-setuptools/) (requires-python:>=3.8) 2025-02-27T09:07:53,476 Found link https://files.pythonhosted.org/packages/91/34/288220042f520583d2da347219928f1fe9efac82afb62340c2876da3debe/certora_cli_alpha_oz_setuptools-20250227.8.22.488796.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-setuptools/) (requires-python:>=3.8), version: 20250227.8.22.488796 2025-02-27T09:07:53,477 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-oz-setuptools/ 2025-02-27T09:07:53,478 Getting page https://www.piwheels.org/simple/certora-cli-alpha-oz-setuptools/ 2025-02-27T09:07:53,479 Found index url https://www.piwheels.org/simple/ 2025-02-27T09:07:53,641 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-oz-setuptools/ as text/html 2025-02-27T09:07:53,643 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-oz-setuptools/ 2025-02-27T09:07:53,643 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-oz-setuptools/ 2025-02-27T09:07:53,663 Given no hashes to check 1 links for project 'certora-cli-alpha-oz-setuptools': discarding no candidates 2025-02-27T09:07:53,665 Collecting certora-cli-alpha-oz-setuptools==20250227.8.22.488796 2025-02-27T09:07:53,667 Created temporary directory: /tmp/pip-unpack-vrhdleh6 2025-02-27T09:07:53,808 Downloading certora_cli_alpha_oz_setuptools-20250227.8.22.488796.tar.gz (15.6 MB) 2025-02-27T09:07:55,697 Added certora-cli-alpha-oz-setuptools==20250227.8.22.488796 from https://files.pythonhosted.org/packages/91/34/288220042f520583d2da347219928f1fe9efac82afb62340c2876da3debe/certora_cli_alpha_oz_setuptools-20250227.8.22.488796.tar.gz to build tracker '/tmp/pip-build-tracker-xa3r4ec2' 2025-02-27T09:07:55,699 Running setup.py (path:/tmp/pip-wheel-206oai5p/certora-cli-alpha-oz-setuptools_dea5cca8611d4b5ba485b0b6820228d7/setup.py) egg_info for package certora-cli-alpha-oz-setuptools 2025-02-27T09:07:55,700 Created temporary directory: /tmp/pip-pip-egg-info-4ao7q1wu 2025-02-27T09:07:55,700 Preparing metadata (setup.py): started 2025-02-27T09:07:55,701 Running command python setup.py egg_info 2025-02-27T09:07:56,764 running egg_info 2025-02-27T09:07:56,792 creating /tmp/pip-pip-egg-info-4ao7q1wu/certora_cli_alpha_oz_setuptools.egg-info 2025-02-27T09:07:56,793 writing /tmp/pip-pip-egg-info-4ao7q1wu/certora_cli_alpha_oz_setuptools.egg-info/PKG-INFO 2025-02-27T09:07:56,796 writing dependency_links to /tmp/pip-pip-egg-info-4ao7q1wu/certora_cli_alpha_oz_setuptools.egg-info/dependency_links.txt 2025-02-27T09:07:56,798 writing entry points to /tmp/pip-pip-egg-info-4ao7q1wu/certora_cli_alpha_oz_setuptools.egg-info/entry_points.txt 2025-02-27T09:07:56,799 writing requirements to /tmp/pip-pip-egg-info-4ao7q1wu/certora_cli_alpha_oz_setuptools.egg-info/requires.txt 2025-02-27T09:07:56,801 writing top-level names to /tmp/pip-pip-egg-info-4ao7q1wu/certora_cli_alpha_oz_setuptools.egg-info/top_level.txt 2025-02-27T09:07:56,802 writing manifest file '/tmp/pip-pip-egg-info-4ao7q1wu/certora_cli_alpha_oz_setuptools.egg-info/SOURCES.txt' 2025-02-27T09:07:56,898 reading manifest file '/tmp/pip-pip-egg-info-4ao7q1wu/certora_cli_alpha_oz_setuptools.egg-info/SOURCES.txt' 2025-02-27T09:07:56,900 reading manifest template 'MANIFEST.in' 2025-02-27T09:07:56,904 warning: no files found matching 'gambit' under directory 'certora_bins' 2025-02-27T09:07:56,985 adding license file 'LICENSE' 2025-02-27T09:07:56,990 writing manifest file '/tmp/pip-pip-egg-info-4ao7q1wu/certora_cli_alpha_oz_setuptools.egg-info/SOURCES.txt' 2025-02-27T09:07:57,098 Preparing metadata (setup.py): finished with status 'done' 2025-02-27T09:07:57,103 Source in /tmp/pip-wheel-206oai5p/certora-cli-alpha-oz-setuptools_dea5cca8611d4b5ba485b0b6820228d7 has version 20250227.8.22.488796, which satisfies requirement certora-cli-alpha-oz-setuptools==20250227.8.22.488796 from https://files.pythonhosted.org/packages/91/34/288220042f520583d2da347219928f1fe9efac82afb62340c2876da3debe/certora_cli_alpha_oz_setuptools-20250227.8.22.488796.tar.gz 2025-02-27T09:07:57,104 Removed certora-cli-alpha-oz-setuptools==20250227.8.22.488796 from https://files.pythonhosted.org/packages/91/34/288220042f520583d2da347219928f1fe9efac82afb62340c2876da3debe/certora_cli_alpha_oz_setuptools-20250227.8.22.488796.tar.gz from build tracker '/tmp/pip-build-tracker-xa3r4ec2' 2025-02-27T09:07:57,111 Created temporary directory: /tmp/pip-unpack-y3y36d8h 2025-02-27T09:07:57,112 Created temporary directory: /tmp/pip-unpack-3useux3x 2025-02-27T09:07:57,113 Building wheels for collected packages: certora-cli-alpha-oz-setuptools 2025-02-27T09:07:57,117 Created temporary directory: /tmp/pip-wheel-gc2bcp82 2025-02-27T09:07:57,118 Building wheel for certora-cli-alpha-oz-setuptools (setup.py): started 2025-02-27T09:07:57,119 Destination directory: /tmp/pip-wheel-gc2bcp82 2025-02-27T09:07:57,120 Running command python setup.py bdist_wheel 2025-02-27T09:07:58,166 running bdist_wheel 2025-02-27T09:07:58,304 running build 2025-02-27T09:07:58,305 running build_py 2025-02-27T09:07:58,336 creating build/lib/certora_cli 2025-02-27T09:07:58,338 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2025-02-27T09:07:58,340 copying certora_cli/certoraSolanaProver.py -> build/lib/certora_cli 2025-02-27T09:07:58,342 copying certora_cli/__init__.py -> build/lib/certora_cli 2025-02-27T09:07:58,344 copying certora_cli/certoraEVMProver.py -> build/lib/certora_cli 2025-02-27T09:07:58,346 copying certora_cli/certoraSorobanProver.py -> build/lib/certora_cli 2025-02-27T09:07:58,348 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2025-02-27T09:07:58,350 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2025-02-27T09:07:58,352 copying certora_cli/rustMutator.py -> build/lib/certora_cli 2025-02-27T09:07:58,355 creating build/lib/certora_bins 2025-02-27T09:07:58,356 copying certora_bins/__init__.py -> build/lib/certora_bins 2025-02-27T09:07:58,359 creating build/lib/certora_jars 2025-02-27T09:07:58,360 copying certora_jars/__init__.py -> build/lib/certora_jars 2025-02-27T09:07:58,362 creating build/lib/certora_cli/CertoraProver 2025-02-27T09:07:58,363 copying certora_cli/CertoraProver/certoraProjectScanner.py -> build/lib/certora_cli/CertoraProver 2025-02-27T09:07:58,366 copying certora_cli/CertoraProver/certoraSourceFinders.py -> build/lib/certora_cli/CertoraProver 2025-02-27T09:07:58,368 copying certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/lib/certora_cli/CertoraProver 2025-02-27T09:07:58,371 copying certora_cli/CertoraProver/certoraConfigIO.py -> build/lib/certora_cli/CertoraProver 2025-02-27T09:07:58,373 copying certora_cli/CertoraProver/certoraContextAttributes.py -> build/lib/certora_cli/CertoraProver 2025-02-27T09:07:58,377 copying certora_cli/CertoraProver/certoraBuildRust.py -> build/lib/certora_cli/CertoraProver 2025-02-27T09:07:58,379 copying certora_cli/CertoraProver/certoraContractFuncs.py -> build/lib/certora_cli/CertoraProver 2025-02-27T09:07:58,382 copying certora_cli/CertoraProver/__init__.py -> build/lib/certora_cli/CertoraProver 2025-02-27T09:07:58,383 copying certora_cli/CertoraProver/certoraExtensionInfo.py -> build/lib/certora_cli/CertoraProver 2025-02-27T09:07:58,385 copying certora_cli/CertoraProver/certoraContext.py -> build/lib/certora_cli/CertoraProver 2025-02-27T09:07:58,388 copying certora_cli/CertoraProver/certoraNodeFilters.py -> build/lib/certora_cli/CertoraProver 2025-02-27T09:07:58,390 copying certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/lib/certora_cli/CertoraProver 2025-02-27T09:07:58,392 copying certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/lib/certora_cli/CertoraProver 2025-02-27T09:07:58,395 copying certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/lib/certora_cli/CertoraProver 2025-02-27T09:07:58,397 copying certora_cli/CertoraProver/splitRules.py -> build/lib/certora_cli/CertoraProver 2025-02-27T09:07:58,400 copying certora_cli/CertoraProver/certoraContextClass.py -> build/lib/certora_cli/CertoraProver 2025-02-27T09:07:58,402 copying certora_cli/CertoraProver/certoraBuild.py -> build/lib/certora_cli/CertoraProver 2025-02-27T09:07:58,407 copying certora_cli/CertoraProver/certoraParseBuildScript.py -> build/lib/certora_cli/CertoraProver 2025-02-27T09:07:58,409 copying certora_cli/CertoraProver/certoraCloudIO.py -> build/lib/certora_cli/CertoraProver 2025-02-27T09:07:58,413 copying certora_cli/CertoraProver/certoraContextValidator.py -> build/lib/certora_cli/CertoraProver 2025-02-27T09:07:58,415 copying certora_cli/CertoraProver/certoraJobList.py -> build/lib/certora_cli/CertoraProver 2025-02-27T09:07:58,418 copying certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/lib/certora_cli/CertoraProver 2025-02-27T09:07:58,420 copying certora_cli/CertoraProver/certoraCompilerParameters.py -> build/lib/certora_cli/CertoraProver 2025-02-27T09:07:58,422 copying certora_cli/CertoraProver/certoraType.py -> build/lib/certora_cli/CertoraProver 2025-02-27T09:07:58,426 creating build/lib/certora_cli/EquivalenceCheck 2025-02-27T09:07:58,427 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2025-02-27T09:07:58,430 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2025-02-27T09:07:58,432 creating build/lib/certora_cli/Shared 2025-02-27T09:07:58,433 copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared 2025-02-27T09:07:58,436 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2025-02-27T09:07:58,438 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2025-02-27T09:07:58,442 copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared 2025-02-27T09:07:58,445 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2025-02-27T09:07:58,448 copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared 2025-02-27T09:07:58,451 creating build/lib/certora_cli/Mutate 2025-02-27T09:07:58,453 copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate 2025-02-27T09:07:58,455 copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate 2025-02-27T09:07:58,457 copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate 2025-02-27T09:07:58,460 copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate 2025-02-27T09:07:58,462 copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate 2025-02-27T09:07:58,466 copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate 2025-02-27T09:07:58,469 creating build/lib/certora_cli/CertoraProver/Compiler 2025-02-27T09:07:58,470 copying certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-02-27T09:07:58,474 copying certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-02-27T09:07:58,477 copying certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-02-27T09:07:58,479 copying certora_cli/CertoraProver/Compiler/__init__.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-02-27T09:07:58,482 copying certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-02-27T09:07:58,484 copying certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-02-27T09:07:58,487 copying certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-02-27T09:07:58,489 running egg_info 2025-02-27T09:07:58,517 writing certora_cli_alpha_oz_setuptools.egg-info/PKG-INFO 2025-02-27T09:07:58,520 writing dependency_links to certora_cli_alpha_oz_setuptools.egg-info/dependency_links.txt 2025-02-27T09:07:58,522 writing entry points to certora_cli_alpha_oz_setuptools.egg-info/entry_points.txt 2025-02-27T09:07:58,524 writing requirements to certora_cli_alpha_oz_setuptools.egg-info/requires.txt 2025-02-27T09:07:58,526 writing top-level names to certora_cli_alpha_oz_setuptools.egg-info/top_level.txt 2025-02-27T09:07:58,563 reading manifest file 'certora_cli_alpha_oz_setuptools.egg-info/SOURCES.txt' 2025-02-27T09:07:58,569 reading manifest template 'MANIFEST.in' 2025-02-27T09:07:58,574 warning: no files found matching 'gambit' under directory 'certora_bins' 2025-02-27T09:07:58,656 adding license file 'LICENSE' 2025-02-27T09:07:58,662 writing manifest file 'certora_cli_alpha_oz_setuptools.egg-info/SOURCES.txt' 2025-02-27T09:07:58,669 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2025-02-27T09:07:58,671 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2025-02-27T09:07:58,922 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2025-02-27T09:07:58,925 copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck 2025-02-27T09:07:58,927 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2025-02-27T09:07:58,930 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2025-02-27T09:07:58,933 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2025-02-27T09:07:58,935 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2025-02-27T09:07:58,969 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2025-02-27T09:07:58,970 !! 2025-02-27T09:07:58,971 ******************************************************************************** 2025-02-27T09:07:58,972 Please avoid running ``setup.py`` directly. 2025-02-27T09:07:58,972 Instead, use pypa/build, pypa/installer or other 2025-02-27T09:07:58,973 standards-based tools. 2025-02-27T09:07:58,974 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2025-02-27T09:07:58,974 ******************************************************************************** 2025-02-27T09:07:58,975 !! 2025-02-27T09:07:58,976 self.initialize_options() 2025-02-27T09:07:59,000 installing to build/bdist.linux-armv7l/wheel 2025-02-27T09:07:59,001 running install 2025-02-27T09:07:59,025 running install_lib 2025-02-27T09:07:59,053 creating build/bdist.linux-armv7l/wheel 2025-02-27T09:07:59,056 creating build/bdist.linux-armv7l/wheel/certora_cli 2025-02-27T09:07:59,058 creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver 2025-02-27T09:07:59,060 copying build/lib/certora_cli/CertoraProver/certoraProjectScanner.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-02-27T09:07:59,062 copying build/lib/certora_cli/CertoraProver/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-02-27T09:07:59,065 copying build/lib/certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-02-27T09:07:59,068 copying build/lib/certora_cli/CertoraProver/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-02-27T09:07:59,070 copying build/lib/certora_cli/CertoraProver/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-02-27T09:07:59,074 copying build/lib/certora_cli/CertoraProver/certoraBuildRust.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-02-27T09:07:59,076 copying build/lib/certora_cli/CertoraProver/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-02-27T09:07:59,079 copying build/lib/certora_cli/CertoraProver/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-02-27T09:07:59,081 copying build/lib/certora_cli/CertoraProver/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-02-27T09:07:59,083 copying build/lib/certora_cli/CertoraProver/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-02-27T09:07:59,086 copying build/lib/certora_cli/CertoraProver/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-02-27T09:07:59,088 copying build/lib/certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-02-27T09:07:59,090 copying build/lib/certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-02-27T09:07:59,093 copying build/lib/certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-02-27T09:07:59,096 copying build/lib/certora_cli/CertoraProver/splitRules.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-02-27T09:07:59,098 copying build/lib/certora_cli/CertoraProver/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-02-27T09:07:59,101 copying build/lib/certora_cli/CertoraProver/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-02-27T09:07:59,106 copying build/lib/certora_cli/CertoraProver/certoraParseBuildScript.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-02-27T09:07:59,109 copying build/lib/certora_cli/CertoraProver/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-02-27T09:07:59,112 copying build/lib/certora_cli/CertoraProver/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-02-27T09:07:59,116 copying build/lib/certora_cli/CertoraProver/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-02-27T09:07:59,118 copying build/lib/certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-02-27T09:07:59,122 creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver/Compiler 2025-02-27T09:07:59,123 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-02-27T09:07:59,126 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-02-27T09:07:59,129 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-02-27T09:07:59,131 copying build/lib/certora_cli/CertoraProver/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-02-27T09:07:59,133 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-02-27T09:07:59,136 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-02-27T09:07:59,138 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-02-27T09:07:59,140 copying build/lib/certora_cli/CertoraProver/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-02-27T09:07:59,142 copying build/lib/certora_cli/CertoraProver/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-02-27T09:07:59,145 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-02-27T09:07:59,147 copying build/lib/certora_cli/certoraSolanaProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-02-27T09:07:59,150 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-02-27T09:07:59,151 copying build/lib/certora_cli/certoraEVMProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-02-27T09:07:59,153 copying build/lib/certora_cli/certoraSorobanProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-02-27T09:07:59,156 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2025-02-27T09:07:59,157 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-02-27T09:07:59,160 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-02-27T09:07:59,162 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-02-27T09:07:59,165 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-02-27T09:07:59,166 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-02-27T09:07:59,169 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-02-27T09:07:59,171 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-02-27T09:07:59,173 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-02-27T09:07:59,176 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2025-02-27T09:07:59,177 copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-02-27T09:07:59,180 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-02-27T09:07:59,182 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-02-27T09:07:59,185 copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-02-27T09:07:59,188 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-02-27T09:07:59,191 copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-02-27T09:07:59,194 creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate 2025-02-27T09:07:59,196 copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-02-27T09:07:59,198 copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-02-27T09:07:59,200 copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-02-27T09:07:59,203 copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-02-27T09:07:59,205 copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-02-27T09:07:59,209 copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-02-27T09:07:59,211 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-02-27T09:07:59,214 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-02-27T09:07:59,216 copying build/lib/certora_cli/rustMutator.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-02-27T09:07:59,219 creating build/bdist.linux-armv7l/wheel/certora_bins 2025-02-27T09:07:59,221 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins 2025-02-27T09:07:59,223 creating build/bdist.linux-armv7l/wheel/certora_jars 2025-02-27T09:07:59,224 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-02-27T09:07:59,227 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-02-27T09:07:59,228 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-02-27T09:07:59,488 running install_egg_info 2025-02-27T09:07:59,522 Copying certora_cli_alpha_oz_setuptools.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_alpha_oz_setuptools-20250227.8.22.488796-py3.11.egg-info 2025-02-27T09:07:59,533 running install_scripts 2025-02-27T09:07:59,549 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_oz_setuptools-20250227.8.22.488796.dist-info/WHEEL 2025-02-27T09:07:59,552 creating '/tmp/pip-wheel-gc2bcp82/certora_cli_alpha_oz_setuptools-20250227.8.22.488796-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2025-02-27T09:07:59,554 adding 'certora_bins/__init__.py' 2025-02-27T09:07:59,556 adding 'certora_cli/__init__.py' 2025-02-27T09:07:59,558 adding 'certora_cli/certoraEVMProver.py' 2025-02-27T09:07:59,559 adding 'certora_cli/certoraEqCheck.py' 2025-02-27T09:07:59,561 adding 'certora_cli/certoraMutate.py' 2025-02-27T09:07:59,564 adding 'certora_cli/certoraRun.py' 2025-02-27T09:07:59,566 adding 'certora_cli/certoraSolanaProver.py' 2025-02-27T09:07:59,567 adding 'certora_cli/certoraSorobanProver.py' 2025-02-27T09:07:59,570 adding 'certora_cli/rustMutator.py' 2025-02-27T09:07:59,572 adding 'certora_cli/CertoraProver/__init__.py' 2025-02-27T09:07:59,596 adding 'certora_cli/CertoraProver/certoraBuild.py' 2025-02-27T09:07:59,599 adding 'certora_cli/CertoraProver/certoraBuildCacheManager.py' 2025-02-27T09:07:59,602 adding 'certora_cli/CertoraProver/certoraBuildDataClasses.py' 2025-02-27T09:07:59,604 adding 'certora_cli/CertoraProver/certoraBuildRust.py' 2025-02-27T09:07:59,610 adding 'certora_cli/CertoraProver/certoraCloudIO.py' 2025-02-27T09:07:59,612 adding 'certora_cli/CertoraProver/certoraCollectRunMetadata.py' 2025-02-27T09:07:59,614 adding 'certora_cli/CertoraProver/certoraCompilerParameters.py' 2025-02-27T09:07:59,616 adding 'certora_cli/CertoraProver/certoraConfigIO.py' 2025-02-27T09:07:59,619 adding 'certora_cli/CertoraProver/certoraContext.py' 2025-02-27T09:07:59,624 adding 'certora_cli/CertoraProver/certoraContextAttributes.py' 2025-02-27T09:07:59,626 adding 'certora_cli/CertoraProver/certoraContextClass.py' 2025-02-27T09:07:59,632 adding 'certora_cli/CertoraProver/certoraContextValidator.py' 2025-02-27T09:07:59,634 adding 'certora_cli/CertoraProver/certoraContractFuncs.py' 2025-02-27T09:07:59,635 adding 'certora_cli/CertoraProver/certoraExtensionInfo.py' 2025-02-27T09:07:59,638 adding 'certora_cli/CertoraProver/certoraJobList.py' 2025-02-27T09:07:59,640 adding 'certora_cli/CertoraProver/certoraMiniSpecParser.py' 2025-02-27T09:07:59,641 adding 'certora_cli/CertoraProver/certoraNodeFilters.py' 2025-02-27T09:07:59,643 adding 'certora_cli/CertoraProver/certoraParseBuildScript.py' 2025-02-27T09:07:59,645 adding 'certora_cli/CertoraProver/certoraProjectScanner.py' 2025-02-27T09:07:59,648 adding 'certora_cli/CertoraProver/certoraSourceFinders.py' 2025-02-27T09:07:59,651 adding 'certora_cli/CertoraProver/certoraType.py' 2025-02-27T09:07:59,654 adding 'certora_cli/CertoraProver/certoraVerifyGenerator.py' 2025-02-27T09:07:59,656 adding 'certora_cli/CertoraProver/splitRules.py' 2025-02-27T09:07:59,658 adding 'certora_cli/CertoraProver/Compiler/CompilerCollector.py' 2025-02-27T09:07:59,660 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py' 2025-02-27T09:07:59,662 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py' 2025-02-27T09:07:59,664 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py' 2025-02-27T09:07:59,671 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py' 2025-02-27T09:07:59,674 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py' 2025-02-27T09:07:59,675 adding 'certora_cli/CertoraProver/Compiler/__init__.py' 2025-02-27T09:07:59,677 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2025-02-27T09:07:59,679 adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec' 2025-02-27T09:07:59,680 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2025-02-27T09:07:59,682 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2025-02-27T09:07:59,683 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2025-02-27T09:07:59,685 adding 'certora_cli/EquivalenceCheck/__init__.py' 2025-02-27T09:07:59,688 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2025-02-27T09:07:59,689 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2025-02-27T09:07:59,691 adding 'certora_cli/Mutate/__init__.py' 2025-02-27T09:07:59,701 adding 'certora_cli/Mutate/mutateApp.py' 2025-02-27T09:07:59,703 adding 'certora_cli/Mutate/mutateAttributes.py' 2025-02-27T09:07:59,705 adding 'certora_cli/Mutate/mutateConstants.py' 2025-02-27T09:07:59,706 adding 'certora_cli/Mutate/mutateUtil.py' 2025-02-27T09:07:59,708 adding 'certora_cli/Mutate/mutateValidate.py' 2025-02-27T09:07:59,711 adding 'certora_cli/Shared/ExpectedComparator.py' 2025-02-27T09:07:59,712 adding 'certora_cli/Shared/__init__.py' 2025-02-27T09:07:59,714 adding 'certora_cli/Shared/certoraAttrUtil.py' 2025-02-27T09:07:59,716 adding 'certora_cli/Shared/certoraLogging.py' 2025-02-27T09:07:59,724 adding 'certora_cli/Shared/certoraUtils.py' 2025-02-27T09:07:59,729 adding 'certora_cli/Shared/certoraValidateFuncs.py' 2025-02-27T09:07:59,732 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2025-02-27T09:08:01,620 adding 'certora_jars/Typechecker.jar' 2025-02-27T09:08:01,724 adding 'certora_jars/__init__.py' 2025-02-27T09:08:01,726 adding 'certora_cli_alpha_oz_setuptools-20250227.8.22.488796.dist-info/LICENSE' 2025-02-27T09:08:01,727 adding 'certora_cli_alpha_oz_setuptools-20250227.8.22.488796.dist-info/METADATA' 2025-02-27T09:08:01,728 adding 'certora_cli_alpha_oz_setuptools-20250227.8.22.488796.dist-info/WHEEL' 2025-02-27T09:08:01,729 adding 'certora_cli_alpha_oz_setuptools-20250227.8.22.488796.dist-info/entry_points.txt' 2025-02-27T09:08:01,730 adding 'certora_cli_alpha_oz_setuptools-20250227.8.22.488796.dist-info/top_level.txt' 2025-02-27T09:08:01,731 adding 'certora_cli_alpha_oz_setuptools-20250227.8.22.488796.dist-info/RECORD' 2025-02-27T09:08:01,905 removing build/bdist.linux-armv7l/wheel 2025-02-27T09:08:02,041 Building wheel for certora-cli-alpha-oz-setuptools (setup.py): finished with status 'done' 2025-02-27T09:08:02,197 Created wheel for certora-cli-alpha-oz-setuptools: filename=certora_cli_alpha_oz_setuptools-20250227.8.22.488796-py3-none-any.whl size=15625867 sha256=8ba3236917ae1a6202035890ece9939ff9fe2f6acc5ac43c5ed0b866fdcc892f 2025-02-27T09:08:02,199 Stored in directory: /tmp/pip-ephem-wheel-cache-8uo3_d9i/wheels/b8/4c/af/9bde9d65d457b9abfa0e38ed2825ff1f8a4fe8bb4920ef766a 2025-02-27T09:08:02,215 Successfully built certora-cli-alpha-oz-setuptools 2025-02-27T09:08:02,592 Removed build tracker: '/tmp/pip-build-tracker-xa3r4ec2'