2025-03-28T07:44:19,864 Created temporary directory: /tmp/pip-build-tracker-3o923axf 2025-03-28T07:44:19,866 Initialized build tracking at /tmp/pip-build-tracker-3o923axf 2025-03-28T07:44:19,866 Created build tracker: /tmp/pip-build-tracker-3o923axf 2025-03-28T07:44:19,866 Entered build tracker: /tmp/pip-build-tracker-3o923axf 2025-03-28T07:44:19,867 Created temporary directory: /tmp/pip-wheel-vy5nog5q 2025-03-28T07:44:19,871 Created temporary directory: /tmp/pip-ephem-wheel-cache-3x7argc1 2025-03-28T07:44:19,916 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-03-28T07:44:19,918 2 location(s) to search for versions of certora-cli-alpha-oz-minver: 2025-03-28T07:44:19,918 * https://pypi.org/simple/certora-cli-alpha-oz-minver/ 2025-03-28T07:44:19,918 * https://www.piwheels.org/simple/certora-cli-alpha-oz-minver/ 2025-03-28T07:44:19,919 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-oz-minver/ 2025-03-28T07:44:19,920 Getting page https://pypi.org/simple/certora-cli-alpha-oz-minver/ 2025-03-28T07:44:19,921 Found index url https://pypi.org/simple/ 2025-03-28T07:44:20,141 Fetched page https://pypi.org/simple/certora-cli-alpha-oz-minver/ as application/vnd.pypi.simple.v1+json 2025-03-28T07:44:20,144 Skipping link: No binaries permitted for certora-cli-alpha-oz-minver: https://files.pythonhosted.org/packages/35/0d/9080a194ef543c535b5fa8f32758d66585609723f23d1f9b00ac6edf2d10/certora_cli_alpha_oz_minver-20250325.7.39.773685-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-minver/) (requires-python:>=3.11) 2025-03-28T07:44:20,145 Skipping link: No binaries permitted for certora-cli-alpha-oz-minver: https://files.pythonhosted.org/packages/94/d7/108bb6e8e16ba2be6a0d0c7763cbad2f8ded3f8d06f3d2a7b0683a3efc17/certora_cli_alpha_oz_minver-20250325.7.39.773685-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-oz-minver/) (requires-python:>=3.11) 2025-03-28T07:44:20,145 Skipping link: No binaries permitted for certora-cli-alpha-oz-minver: https://files.pythonhosted.org/packages/32/b8/7f9b963d6b87946444548cbf8d6b573811a53da3edf2c15949f6529e1d87/certora_cli_alpha_oz_minver-20250325.7.39.773685-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-oz-minver/) (requires-python:>=3.11) 2025-03-28T07:44:20,146 Found link https://files.pythonhosted.org/packages/ec/d8/ca73bffaef1d94195a8519579a572bebef9770cd21d837503593dc3fc8dd/certora_cli_alpha_oz_minver-20250325.7.39.773685.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-minver/) (requires-python:>=3.11), version: 20250325.7.39.773685 2025-03-28T07:44:20,147 Skipping link: No binaries permitted for certora-cli-alpha-oz-minver: https://files.pythonhosted.org/packages/ce/3b/f0282f1ef9153f2ac991dd6ed27f86c9efb31a9e87dc1b2bdd25dd821a17/certora_cli_alpha_oz_minver-20250325.8.0.276028-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-minver/) (requires-python:>=3.8) 2025-03-28T07:44:20,147 Skipping link: No binaries permitted for certora-cli-alpha-oz-minver: https://files.pythonhosted.org/packages/e8/28/81e306ae1f3c2ae2aa16af557ffc21a365fd6bc346842d0023e3a290b4a8/certora_cli_alpha_oz_minver-20250325.8.0.276028-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-oz-minver/) (requires-python:>=3.8) 2025-03-28T07:44:20,148 Skipping link: No binaries permitted for certora-cli-alpha-oz-minver: https://files.pythonhosted.org/packages/3f/24/4f18a0f4e72a5e03659ce41bbca5ab8f8096b7b65e41887cb49969b7efe4/certora_cli_alpha_oz_minver-20250325.8.0.276028-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-oz-minver/) (requires-python:>=3.8) 2025-03-28T07:44:20,149 Found link https://files.pythonhosted.org/packages/94/3c/afe735f9c406e059b924cfacfb4720ad4f6319a0a0525f97de0dd8b27ffb/certora_cli_alpha_oz_minver-20250325.8.0.276028.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-minver/) (requires-python:>=3.8), version: 20250325.8.0.276028 2025-03-28T07:44:20,150 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-oz-minver/ 2025-03-28T07:44:20,150 Getting page https://www.piwheels.org/simple/certora-cli-alpha-oz-minver/ 2025-03-28T07:44:20,152 Found index url https://www.piwheels.org/simple/ 2025-03-28T07:44:20,325 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-oz-minver/ as text/html 2025-03-28T07:44:20,327 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-oz-minver/ 2025-03-28T07:44:20,327 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-oz-minver/ 2025-03-28T07:44:20,347 Given no hashes to check 1 links for project 'certora-cli-alpha-oz-minver': discarding no candidates 2025-03-28T07:44:20,349 Collecting certora-cli-alpha-oz-minver==20250325.7.39.773685 2025-03-28T07:44:20,351 Created temporary directory: /tmp/pip-unpack-afvrjxqw 2025-03-28T07:44:20,570 Downloading certora_cli_alpha_oz_minver-20250325.7.39.773685.tar.gz (15.7 MB) 2025-03-28T07:44:22,472 Added certora-cli-alpha-oz-minver==20250325.7.39.773685 from https://files.pythonhosted.org/packages/ec/d8/ca73bffaef1d94195a8519579a572bebef9770cd21d837503593dc3fc8dd/certora_cli_alpha_oz_minver-20250325.7.39.773685.tar.gz to build tracker '/tmp/pip-build-tracker-3o923axf' 2025-03-28T07:44:22,473 Running setup.py (path:/tmp/pip-wheel-vy5nog5q/certora-cli-alpha-oz-minver_039edfb2bc0e43eaab36fd872518842f/setup.py) egg_info for package certora-cli-alpha-oz-minver 2025-03-28T07:44:22,474 Created temporary directory: /tmp/pip-pip-egg-info-g51rpyb7 2025-03-28T07:44:22,475 Preparing metadata (setup.py): started 2025-03-28T07:44:22,476 Running command python setup.py egg_info 2025-03-28T07:44:23,531 running egg_info 2025-03-28T07:44:23,559 creating /tmp/pip-pip-egg-info-g51rpyb7/certora_cli_alpha_oz_minver.egg-info 2025-03-28T07:44:23,560 writing /tmp/pip-pip-egg-info-g51rpyb7/certora_cli_alpha_oz_minver.egg-info/PKG-INFO 2025-03-28T07:44:23,563 writing dependency_links to /tmp/pip-pip-egg-info-g51rpyb7/certora_cli_alpha_oz_minver.egg-info/dependency_links.txt 2025-03-28T07:44:23,564 writing entry points to /tmp/pip-pip-egg-info-g51rpyb7/certora_cli_alpha_oz_minver.egg-info/entry_points.txt 2025-03-28T07:44:23,566 writing requirements to /tmp/pip-pip-egg-info-g51rpyb7/certora_cli_alpha_oz_minver.egg-info/requires.txt 2025-03-28T07:44:23,567 writing top-level names to /tmp/pip-pip-egg-info-g51rpyb7/certora_cli_alpha_oz_minver.egg-info/top_level.txt 2025-03-28T07:44:23,568 writing manifest file '/tmp/pip-pip-egg-info-g51rpyb7/certora_cli_alpha_oz_minver.egg-info/SOURCES.txt' 2025-03-28T07:44:23,664 reading manifest file '/tmp/pip-pip-egg-info-g51rpyb7/certora_cli_alpha_oz_minver.egg-info/SOURCES.txt' 2025-03-28T07:44:23,666 reading manifest template 'MANIFEST.in' 2025-03-28T07:44:23,670 warning: no files found matching 'gambit' under directory 'certora_bins' 2025-03-28T07:44:23,748 adding license file 'LICENSE' 2025-03-28T07:44:23,752 writing manifest file '/tmp/pip-pip-egg-info-g51rpyb7/certora_cli_alpha_oz_minver.egg-info/SOURCES.txt' 2025-03-28T07:44:23,863 Preparing metadata (setup.py): finished with status 'done' 2025-03-28T07:44:23,867 Source in /tmp/pip-wheel-vy5nog5q/certora-cli-alpha-oz-minver_039edfb2bc0e43eaab36fd872518842f has version 20250325.7.39.773685, which satisfies requirement certora-cli-alpha-oz-minver==20250325.7.39.773685 from https://files.pythonhosted.org/packages/ec/d8/ca73bffaef1d94195a8519579a572bebef9770cd21d837503593dc3fc8dd/certora_cli_alpha_oz_minver-20250325.7.39.773685.tar.gz 2025-03-28T07:44:23,868 Removed certora-cli-alpha-oz-minver==20250325.7.39.773685 from https://files.pythonhosted.org/packages/ec/d8/ca73bffaef1d94195a8519579a572bebef9770cd21d837503593dc3fc8dd/certora_cli_alpha_oz_minver-20250325.7.39.773685.tar.gz from build tracker '/tmp/pip-build-tracker-3o923axf' 2025-03-28T07:44:23,875 Created temporary directory: /tmp/pip-unpack-rs0z9u0x 2025-03-28T07:44:23,876 Created temporary directory: /tmp/pip-unpack-l9jc2eyg 2025-03-28T07:44:23,877 Building wheels for collected packages: certora-cli-alpha-oz-minver 2025-03-28T07:44:23,881 Created temporary directory: /tmp/pip-wheel-kiprzg2j 2025-03-28T07:44:23,882 Building wheel for certora-cli-alpha-oz-minver (setup.py): started 2025-03-28T07:44:23,883 Destination directory: /tmp/pip-wheel-kiprzg2j 2025-03-28T07:44:23,883 Running command python setup.py bdist_wheel 2025-03-28T07:44:24,913 running bdist_wheel 2025-03-28T07:44:25,049 running build 2025-03-28T07:44:25,050 running build_py 2025-03-28T07:44:25,080 creating build/lib/certora_jars 2025-03-28T07:44:25,082 copying certora_jars/__init__.py -> build/lib/certora_jars 2025-03-28T07:44:25,084 creating build/lib/certora_bins 2025-03-28T07:44:25,085 copying certora_bins/__init__.py -> build/lib/certora_bins 2025-03-28T07:44:25,088 creating build/lib/certora_cli 2025-03-28T07:44:25,089 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2025-03-28T07:44:25,091 copying certora_cli/certoraSorobanProver.py -> build/lib/certora_cli 2025-03-28T07:44:25,093 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2025-03-28T07:44:25,095 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2025-03-28T07:44:25,097 copying certora_cli/rustMutator.py -> build/lib/certora_cli 2025-03-28T07:44:25,099 copying certora_cli/certoraSolanaProver.py -> build/lib/certora_cli 2025-03-28T07:44:25,101 copying certora_cli/__init__.py -> build/lib/certora_cli 2025-03-28T07:44:25,103 copying certora_cli/certoraEVMProver.py -> build/lib/certora_cli 2025-03-28T07:44:25,105 creating build/lib/certora_cli/EquivalenceCheck 2025-03-28T07:44:25,106 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2025-03-28T07:44:25,109 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2025-03-28T07:44:25,111 creating build/lib/certora_cli/CertoraProver 2025-03-28T07:44:25,112 copying certora_cli/CertoraProver/certoraContext.py -> build/lib/certora_cli/CertoraProver 2025-03-28T07:44:25,115 copying certora_cli/CertoraProver/certoraParseBuildScript.py -> build/lib/certora_cli/CertoraProver 2025-03-28T07:44:25,118 copying certora_cli/CertoraProver/certoraJobList.py -> build/lib/certora_cli/CertoraProver 2025-03-28T07:44:25,120 copying certora_cli/CertoraProver/certoraCompilerParameters.py -> build/lib/certora_cli/CertoraProver 2025-03-28T07:44:25,122 copying certora_cli/CertoraProver/certoraSourceFinders.py -> build/lib/certora_cli/CertoraProver 2025-03-28T07:44:25,124 copying certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/lib/certora_cli/CertoraProver 2025-03-28T07:44:25,126 copying certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/lib/certora_cli/CertoraProver 2025-03-28T07:44:25,129 copying certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/lib/certora_cli/CertoraProver 2025-03-28T07:44:25,131 copying certora_cli/CertoraProver/certoraCloudIO.py -> build/lib/certora_cli/CertoraProver 2025-03-28T07:44:25,134 copying certora_cli/CertoraProver/certoraProjectScanner.py -> build/lib/certora_cli/CertoraProver 2025-03-28T07:44:25,136 copying certora_cli/CertoraProver/certoraConfigIO.py -> build/lib/certora_cli/CertoraProver 2025-03-28T07:44:25,139 copying certora_cli/CertoraProver/certoraBuildRust.py -> build/lib/certora_cli/CertoraProver 2025-03-28T07:44:25,141 copying certora_cli/CertoraProver/certoraContractFuncs.py -> build/lib/certora_cli/CertoraProver 2025-03-28T07:44:25,143 copying certora_cli/CertoraProver/certoraContextAttributes.py -> build/lib/certora_cli/CertoraProver 2025-03-28T07:44:25,146 copying certora_cli/CertoraProver/certoraBuild.py -> build/lib/certora_cli/CertoraProver 2025-03-28T07:44:25,152 copying certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/lib/certora_cli/CertoraProver 2025-03-28T07:44:25,154 copying certora_cli/CertoraProver/certoraType.py -> build/lib/certora_cli/CertoraProver 2025-03-28T07:44:25,157 copying certora_cli/CertoraProver/splitRules.py -> build/lib/certora_cli/CertoraProver 2025-03-28T07:44:25,159 copying certora_cli/CertoraProver/certoraNodeFilters.py -> build/lib/certora_cli/CertoraProver 2025-03-28T07:44:25,161 copying certora_cli/CertoraProver/certoraContextClass.py -> build/lib/certora_cli/CertoraProver 2025-03-28T07:44:25,163 copying certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/lib/certora_cli/CertoraProver 2025-03-28T07:44:25,165 copying certora_cli/CertoraProver/__init__.py -> build/lib/certora_cli/CertoraProver 2025-03-28T07:44:25,167 copying certora_cli/CertoraProver/certoraContextValidator.py -> build/lib/certora_cli/CertoraProver 2025-03-28T07:44:25,170 copying certora_cli/CertoraProver/certoraExtensionInfo.py -> build/lib/certora_cli/CertoraProver 2025-03-28T07:44:25,172 creating build/lib/certora_cli/Shared 2025-03-28T07:44:25,173 copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared 2025-03-28T07:44:25,175 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2025-03-28T07:44:25,178 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2025-03-28T07:44:25,181 copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared 2025-03-28T07:44:25,183 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2025-03-28T07:44:25,185 copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared 2025-03-28T07:44:25,188 creating build/lib/certora_cli/Mutate 2025-03-28T07:44:25,189 copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate 2025-03-28T07:44:25,193 copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate 2025-03-28T07:44:25,195 copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate 2025-03-28T07:44:25,197 copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate 2025-03-28T07:44:25,199 copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate 2025-03-28T07:44:25,201 copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate 2025-03-28T07:44:25,203 creating build/lib/certora_cli/CertoraProver/Compiler 2025-03-28T07:44:25,204 copying certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-03-28T07:44:25,207 copying certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-03-28T07:44:25,210 copying certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-03-28T07:44:25,213 copying certora_cli/CertoraProver/Compiler/__init__.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-03-28T07:44:25,214 copying certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-03-28T07:44:25,217 copying certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-03-28T07:44:25,219 copying certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/CertoraProver/Compiler 2025-03-28T07:44:25,221 running egg_info 2025-03-28T07:44:25,248 writing certora_cli_alpha_oz_minver.egg-info/PKG-INFO 2025-03-28T07:44:25,251 writing dependency_links to certora_cli_alpha_oz_minver.egg-info/dependency_links.txt 2025-03-28T07:44:25,253 writing entry points to certora_cli_alpha_oz_minver.egg-info/entry_points.txt 2025-03-28T07:44:25,254 writing requirements to certora_cli_alpha_oz_minver.egg-info/requires.txt 2025-03-28T07:44:25,256 writing top-level names to certora_cli_alpha_oz_minver.egg-info/top_level.txt 2025-03-28T07:44:25,293 reading manifest file 'certora_cli_alpha_oz_minver.egg-info/SOURCES.txt' 2025-03-28T07:44:25,299 reading manifest template 'MANIFEST.in' 2025-03-28T07:44:25,302 warning: no files found matching 'gambit' under directory 'certora_bins' 2025-03-28T07:44:25,382 adding license file 'LICENSE' 2025-03-28T07:44:25,387 writing manifest file 'certora_cli_alpha_oz_minver.egg-info/SOURCES.txt' 2025-03-28T07:44:25,394 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2025-03-28T07:44:25,396 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2025-03-28T07:44:25,638 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2025-03-28T07:44:25,641 copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck 2025-03-28T07:44:25,643 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2025-03-28T07:44:25,646 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2025-03-28T07:44:25,648 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2025-03-28T07:44:25,651 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2025-03-28T07:44:25,684 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2025-03-28T07:44:25,684 !! 2025-03-28T07:44:25,685 ******************************************************************************** 2025-03-28T07:44:25,686 Please avoid running ``setup.py`` directly. 2025-03-28T07:44:25,686 Instead, use pypa/build, pypa/installer or other 2025-03-28T07:44:25,687 standards-based tools. 2025-03-28T07:44:25,688 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2025-03-28T07:44:25,688 ******************************************************************************** 2025-03-28T07:44:25,689 !! 2025-03-28T07:44:25,690 self.initialize_options() 2025-03-28T07:44:25,715 installing to build/bdist.linux-armv7l/wheel 2025-03-28T07:44:25,716 running install 2025-03-28T07:44:25,739 running install_lib 2025-03-28T07:44:25,772 creating build/bdist.linux-armv7l/wheel 2025-03-28T07:44:25,774 creating build/bdist.linux-armv7l/wheel/certora_jars 2025-03-28T07:44:25,775 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-03-28T07:44:26,087 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-03-28T07:44:26,089 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars 2025-03-28T07:44:26,091 creating build/bdist.linux-armv7l/wheel/certora_bins 2025-03-28T07:44:26,093 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins 2025-03-28T07:44:26,095 creating build/bdist.linux-armv7l/wheel/certora_cli 2025-03-28T07:44:26,097 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2025-03-28T07:44:26,099 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-03-28T07:44:26,101 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-03-28T07:44:26,104 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-03-28T07:44:26,106 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-03-28T07:44:26,108 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-03-28T07:44:26,111 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-03-28T07:44:26,113 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-03-28T07:44:26,115 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2025-03-28T07:44:26,117 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-03-28T07:44:26,119 copying build/lib/certora_cli/certoraSorobanProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-03-28T07:44:26,121 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-03-28T07:44:26,124 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-03-28T07:44:26,127 creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver 2025-03-28T07:44:26,128 copying build/lib/certora_cli/CertoraProver/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-03-28T07:44:26,132 copying build/lib/certora_cli/CertoraProver/certoraParseBuildScript.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-03-28T07:44:26,134 copying build/lib/certora_cli/CertoraProver/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-03-28T07:44:26,137 copying build/lib/certora_cli/CertoraProver/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-03-28T07:44:26,139 copying build/lib/certora_cli/CertoraProver/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-03-28T07:44:26,141 copying build/lib/certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-03-28T07:44:26,144 copying build/lib/certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-03-28T07:44:26,147 copying build/lib/certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-03-28T07:44:26,149 copying build/lib/certora_cli/CertoraProver/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-03-28T07:44:26,153 copying build/lib/certora_cli/CertoraProver/certoraProjectScanner.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-03-28T07:44:26,156 copying build/lib/certora_cli/CertoraProver/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-03-28T07:44:26,158 copying build/lib/certora_cli/CertoraProver/certoraBuildRust.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-03-28T07:44:26,160 copying build/lib/certora_cli/CertoraProver/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-03-28T07:44:26,162 copying build/lib/certora_cli/CertoraProver/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-03-28T07:44:26,166 copying build/lib/certora_cli/CertoraProver/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-03-28T07:44:26,173 copying build/lib/certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-03-28T07:44:26,175 copying build/lib/certora_cli/CertoraProver/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-03-28T07:44:26,178 copying build/lib/certora_cli/CertoraProver/splitRules.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-03-28T07:44:26,180 copying build/lib/certora_cli/CertoraProver/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-03-28T07:44:26,182 copying build/lib/certora_cli/CertoraProver/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-03-28T07:44:26,184 copying build/lib/certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-03-28T07:44:26,187 copying build/lib/certora_cli/CertoraProver/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-03-28T07:44:26,189 copying build/lib/certora_cli/CertoraProver/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-03-28T07:44:26,193 copying build/lib/certora_cli/CertoraProver/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver 2025-03-28T07:44:26,196 creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver/Compiler 2025-03-28T07:44:26,197 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-03-28T07:44:26,200 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-03-28T07:44:26,206 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-03-28T07:44:26,208 copying build/lib/certora_cli/CertoraProver/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-03-28T07:44:26,210 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-03-28T07:44:26,212 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-03-28T07:44:26,214 copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler 2025-03-28T07:44:26,216 copying build/lib/certora_cli/rustMutator.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-03-28T07:44:26,219 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2025-03-28T07:44:26,221 copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-03-28T07:44:26,223 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-03-28T07:44:26,226 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-03-28T07:44:26,230 copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-03-28T07:44:26,233 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-03-28T07:44:26,235 copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2025-03-28T07:44:26,239 copying build/lib/certora_cli/certoraSolanaProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-03-28T07:44:26,242 creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate 2025-03-28T07:44:26,243 copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-03-28T07:44:26,249 copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-03-28T07:44:26,252 copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-03-28T07:44:26,254 copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-03-28T07:44:26,256 copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-03-28T07:44:26,258 copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2025-03-28T07:44:26,260 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-03-28T07:44:26,262 copying build/lib/certora_cli/certoraEVMProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2025-03-28T07:44:26,264 running install_egg_info 2025-03-28T07:44:26,298 Copying certora_cli_alpha_oz_minver.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_alpha_oz_minver-20250325.7.39.773685-py3.11.egg-info 2025-03-28T07:44:26,310 running install_scripts 2025-03-28T07:44:26,327 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_oz_minver-20250325.7.39.773685.dist-info/WHEEL 2025-03-28T07:44:26,329 creating '/tmp/pip-wheel-kiprzg2j/certora_cli_alpha_oz_minver-20250325.7.39.773685-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2025-03-28T07:44:26,332 adding 'certora_bins/__init__.py' 2025-03-28T07:44:26,333 adding 'certora_cli/__init__.py' 2025-03-28T07:44:26,335 adding 'certora_cli/certoraEVMProver.py' 2025-03-28T07:44:26,336 adding 'certora_cli/certoraEqCheck.py' 2025-03-28T07:44:26,337 adding 'certora_cli/certoraMutate.py' 2025-03-28T07:44:26,340 adding 'certora_cli/certoraRun.py' 2025-03-28T07:44:26,342 adding 'certora_cli/certoraSolanaProver.py' 2025-03-28T07:44:26,343 adding 'certora_cli/certoraSorobanProver.py' 2025-03-28T07:44:26,345 adding 'certora_cli/rustMutator.py' 2025-03-28T07:44:26,348 adding 'certora_cli/CertoraProver/__init__.py' 2025-03-28T07:44:26,372 adding 'certora_cli/CertoraProver/certoraBuild.py' 2025-03-28T07:44:26,375 adding 'certora_cli/CertoraProver/certoraBuildCacheManager.py' 2025-03-28T07:44:26,378 adding 'certora_cli/CertoraProver/certoraBuildDataClasses.py' 2025-03-28T07:44:26,379 adding 'certora_cli/CertoraProver/certoraBuildRust.py' 2025-03-28T07:44:26,385 adding 'certora_cli/CertoraProver/certoraCloudIO.py' 2025-03-28T07:44:26,388 adding 'certora_cli/CertoraProver/certoraCollectRunMetadata.py' 2025-03-28T07:44:26,389 adding 'certora_cli/CertoraProver/certoraCompilerParameters.py' 2025-03-28T07:44:26,390 adding 'certora_cli/CertoraProver/certoraConfigIO.py' 2025-03-28T07:44:26,394 adding 'certora_cli/CertoraProver/certoraContext.py' 2025-03-28T07:44:26,398 adding 'certora_cli/CertoraProver/certoraContextAttributes.py' 2025-03-28T07:44:26,400 adding 'certora_cli/CertoraProver/certoraContextClass.py' 2025-03-28T07:44:26,406 adding 'certora_cli/CertoraProver/certoraContextValidator.py' 2025-03-28T07:44:26,407 adding 'certora_cli/CertoraProver/certoraContractFuncs.py' 2025-03-28T07:44:26,409 adding 'certora_cli/CertoraProver/certoraExtensionInfo.py' 2025-03-28T07:44:26,410 adding 'certora_cli/CertoraProver/certoraJobList.py' 2025-03-28T07:44:26,412 adding 'certora_cli/CertoraProver/certoraMiniSpecParser.py' 2025-03-28T07:44:26,414 adding 'certora_cli/CertoraProver/certoraNodeFilters.py' 2025-03-28T07:44:26,415 adding 'certora_cli/CertoraProver/certoraParseBuildScript.py' 2025-03-28T07:44:26,417 adding 'certora_cli/CertoraProver/certoraProjectScanner.py' 2025-03-28T07:44:26,419 adding 'certora_cli/CertoraProver/certoraSourceFinders.py' 2025-03-28T07:44:26,422 adding 'certora_cli/CertoraProver/certoraType.py' 2025-03-28T07:44:26,424 adding 'certora_cli/CertoraProver/certoraVerifyGenerator.py' 2025-03-28T07:44:26,426 adding 'certora_cli/CertoraProver/splitRules.py' 2025-03-28T07:44:26,429 adding 'certora_cli/CertoraProver/Compiler/CompilerCollector.py' 2025-03-28T07:44:26,430 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py' 2025-03-28T07:44:26,432 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py' 2025-03-28T07:44:26,433 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py' 2025-03-28T07:44:26,441 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py' 2025-03-28T07:44:26,443 adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py' 2025-03-28T07:44:26,444 adding 'certora_cli/CertoraProver/Compiler/__init__.py' 2025-03-28T07:44:26,446 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2025-03-28T07:44:26,447 adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec' 2025-03-28T07:44:26,448 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2025-03-28T07:44:26,449 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2025-03-28T07:44:26,451 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2025-03-28T07:44:26,452 adding 'certora_cli/EquivalenceCheck/__init__.py' 2025-03-28T07:44:26,454 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2025-03-28T07:44:26,456 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2025-03-28T07:44:26,458 adding 'certora_cli/Mutate/__init__.py' 2025-03-28T07:44:26,468 adding 'certora_cli/Mutate/mutateApp.py' 2025-03-28T07:44:26,470 adding 'certora_cli/Mutate/mutateAttributes.py' 2025-03-28T07:44:26,471 adding 'certora_cli/Mutate/mutateConstants.py' 2025-03-28T07:44:26,472 adding 'certora_cli/Mutate/mutateUtil.py' 2025-03-28T07:44:26,474 adding 'certora_cli/Mutate/mutateValidate.py' 2025-03-28T07:44:26,477 adding 'certora_cli/Shared/ExpectedComparator.py' 2025-03-28T07:44:26,478 adding 'certora_cli/Shared/__init__.py' 2025-03-28T07:44:26,480 adding 'certora_cli/Shared/certoraAttrUtil.py' 2025-03-28T07:44:26,482 adding 'certora_cli/Shared/certoraLogging.py' 2025-03-28T07:44:26,489 adding 'certora_cli/Shared/certoraUtils.py' 2025-03-28T07:44:26,494 adding 'certora_cli/Shared/certoraValidateFuncs.py' 2025-03-28T07:44:26,497 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2025-03-28T07:44:28,377 adding 'certora_jars/Typechecker.jar' 2025-03-28T07:44:28,483 adding 'certora_jars/__init__.py' 2025-03-28T07:44:28,484 adding 'certora_cli_alpha_oz_minver-20250325.7.39.773685.dist-info/LICENSE' 2025-03-28T07:44:28,485 adding 'certora_cli_alpha_oz_minver-20250325.7.39.773685.dist-info/METADATA' 2025-03-28T07:44:28,486 adding 'certora_cli_alpha_oz_minver-20250325.7.39.773685.dist-info/WHEEL' 2025-03-28T07:44:28,487 adding 'certora_cli_alpha_oz_minver-20250325.7.39.773685.dist-info/entry_points.txt' 2025-03-28T07:44:28,488 adding 'certora_cli_alpha_oz_minver-20250325.7.39.773685.dist-info/top_level.txt' 2025-03-28T07:44:28,489 adding 'certora_cli_alpha_oz_minver-20250325.7.39.773685.dist-info/RECORD' 2025-03-28T07:44:28,668 removing build/bdist.linux-armv7l/wheel 2025-03-28T07:44:28,807 Building wheel for certora-cli-alpha-oz-minver (setup.py): finished with status 'done' 2025-03-28T07:44:28,964 Created wheel for certora-cli-alpha-oz-minver: filename=certora_cli_alpha_oz_minver-20250325.7.39.773685-py3-none-any.whl size=15726063 sha256=c1a266eadcf54ce151ec29cca4edd02f23c20684e968bb268209a5969cbd313a 2025-03-28T07:44:28,965 Stored in directory: /tmp/pip-ephem-wheel-cache-3x7argc1/wheels/a8/02/82/95e595ed02706bc2b2d3ad5890f4049cd3e279e7aa040b6ba1 2025-03-28T07:44:28,982 Successfully built certora-cli-alpha-oz-minver 2025-03-28T07:44:29,358 Removed build tracker: '/tmp/pip-build-tracker-3o923axf'