2025-03-28T07:48:05,702 Created temporary directory: /tmp/pip-build-tracker-qyzfkipu
2025-03-28T07:48:05,703 Initialized build tracking at /tmp/pip-build-tracker-qyzfkipu
2025-03-28T07:48:05,703 Created build tracker: /tmp/pip-build-tracker-qyzfkipu
2025-03-28T07:48:05,704 Entered build tracker: /tmp/pip-build-tracker-qyzfkipu
2025-03-28T07:48:05,705 Created temporary directory: /tmp/pip-wheel-8y9ll42e
2025-03-28T07:48:05,709 Created temporary directory: /tmp/pip-ephem-wheel-cache-hevzc3k1
2025-03-28T07:48:05,753 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2025-03-28T07:48:05,756 2 location(s) to search for versions of certora-cli-alpha-oz-minver:
2025-03-28T07:48:05,756 * https://pypi.org/simple/certora-cli-alpha-oz-minver/
2025-03-28T07:48:05,756 * https://www.piwheels.org/simple/certora-cli-alpha-oz-minver/
2025-03-28T07:48:05,757 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-oz-minver/
2025-03-28T07:48:05,758 Getting page https://pypi.org/simple/certora-cli-alpha-oz-minver/
2025-03-28T07:48:05,759 Found index url https://pypi.org/simple/
2025-03-28T07:48:05,904 Fetched page https://pypi.org/simple/certora-cli-alpha-oz-minver/ as application/vnd.pypi.simple.v1+json
2025-03-28T07:48:05,907   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:48:05,908   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:48:05,908   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:48:05,909   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:48:05,910   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:48:05,911   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:48:05,911   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:48:05,912   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:48:05,913 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-oz-minver/
2025-03-28T07:48:05,914 Getting page https://www.piwheels.org/simple/certora-cli-alpha-oz-minver/
2025-03-28T07:48:05,915 Found index url https://www.piwheels.org/simple/
2025-03-28T07:48:06,083 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-oz-minver/ as text/html
2025-03-28T07:48:06,085   Skipping link: No binaries permitted for certora-cli-alpha-oz-minver: https://www.piwheels.org/simple/certora-cli-alpha-oz-minver/certora_cli_alpha_oz_minver-20250325.7.39.773685-py3-none-any.whl#sha256=c1a266eadcf54ce151ec29cca4edd02f23c20684e968bb268209a5969cbd313a (from https://www.piwheels.org/simple/certora-cli-alpha-oz-minver/) (requires-python:>=3.11)
2025-03-28T07:48:06,085 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-oz-minver/
2025-03-28T07:48:06,086 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-oz-minver/
2025-03-28T07:48:06,105 Given no hashes to check 1 links for project 'certora-cli-alpha-oz-minver': discarding no candidates
2025-03-28T07:48:06,107 Collecting certora-cli-alpha-oz-minver==20250325.8.0.276028
2025-03-28T07:48:06,109   Created temporary directory: /tmp/pip-unpack-zw3y6ezk
2025-03-28T07:48:06,248   Downloading certora_cli_alpha_oz_minver-20250325.8.0.276028.tar.gz (15.7 MB)
2025-03-28T07:48:08,419   Added certora-cli-alpha-oz-minver==20250325.8.0.276028 from https://files.pythonhosted.org/packages/94/3c/afe735f9c406e059b924cfacfb4720ad4f6319a0a0525f97de0dd8b27ffb/certora_cli_alpha_oz_minver-20250325.8.0.276028.tar.gz to build tracker '/tmp/pip-build-tracker-qyzfkipu'
2025-03-28T07:48:08,421   Running setup.py (path:/tmp/pip-wheel-8y9ll42e/certora-cli-alpha-oz-minver_ccb56516a48a449088bf40ee61cbcd1e/setup.py) egg_info for package certora-cli-alpha-oz-minver
2025-03-28T07:48:08,422   Created temporary directory: /tmp/pip-pip-egg-info-7dqsp3vm
2025-03-28T07:48:08,422   Preparing metadata (setup.py): started
2025-03-28T07:48:08,423   Running command python setup.py egg_info
2025-03-28T07:48:09,482   running egg_info
2025-03-28T07:48:09,510   creating /tmp/pip-pip-egg-info-7dqsp3vm/certora_cli_alpha_oz_minver.egg-info
2025-03-28T07:48:09,511   writing /tmp/pip-pip-egg-info-7dqsp3vm/certora_cli_alpha_oz_minver.egg-info/PKG-INFO
2025-03-28T07:48:09,514   writing dependency_links to /tmp/pip-pip-egg-info-7dqsp3vm/certora_cli_alpha_oz_minver.egg-info/dependency_links.txt
2025-03-28T07:48:09,516   writing entry points to /tmp/pip-pip-egg-info-7dqsp3vm/certora_cli_alpha_oz_minver.egg-info/entry_points.txt
2025-03-28T07:48:09,517   writing requirements to /tmp/pip-pip-egg-info-7dqsp3vm/certora_cli_alpha_oz_minver.egg-info/requires.txt
2025-03-28T07:48:09,518   writing top-level names to /tmp/pip-pip-egg-info-7dqsp3vm/certora_cli_alpha_oz_minver.egg-info/top_level.txt
2025-03-28T07:48:09,520   writing manifest file '/tmp/pip-pip-egg-info-7dqsp3vm/certora_cli_alpha_oz_minver.egg-info/SOURCES.txt'
2025-03-28T07:48:09,617   reading manifest file '/tmp/pip-pip-egg-info-7dqsp3vm/certora_cli_alpha_oz_minver.egg-info/SOURCES.txt'
2025-03-28T07:48:09,619   reading manifest template 'MANIFEST.in'
2025-03-28T07:48:09,623   warning: no files found matching 'gambit' under directory 'certora_bins'
2025-03-28T07:48:09,713   adding license file 'LICENSE'
2025-03-28T07:48:09,718   writing manifest file '/tmp/pip-pip-egg-info-7dqsp3vm/certora_cli_alpha_oz_minver.egg-info/SOURCES.txt'
2025-03-28T07:48:09,828   Preparing metadata (setup.py): finished with status 'done'
2025-03-28T07:48:09,832   Source in /tmp/pip-wheel-8y9ll42e/certora-cli-alpha-oz-minver_ccb56516a48a449088bf40ee61cbcd1e has version 20250325.8.0.276028, which satisfies requirement certora-cli-alpha-oz-minver==20250325.8.0.276028 from https://files.pythonhosted.org/packages/94/3c/afe735f9c406e059b924cfacfb4720ad4f6319a0a0525f97de0dd8b27ffb/certora_cli_alpha_oz_minver-20250325.8.0.276028.tar.gz
2025-03-28T07:48:09,833   Removed certora-cli-alpha-oz-minver==20250325.8.0.276028 from https://files.pythonhosted.org/packages/94/3c/afe735f9c406e059b924cfacfb4720ad4f6319a0a0525f97de0dd8b27ffb/certora_cli_alpha_oz_minver-20250325.8.0.276028.tar.gz from build tracker '/tmp/pip-build-tracker-qyzfkipu'
2025-03-28T07:48:09,840 Created temporary directory: /tmp/pip-unpack-6w9nutg_
2025-03-28T07:48:09,841 Created temporary directory: /tmp/pip-unpack-n1ev8mmu
2025-03-28T07:48:09,842 Building wheels for collected packages: certora-cli-alpha-oz-minver
2025-03-28T07:48:09,846   Created temporary directory: /tmp/pip-wheel-h567wefv
2025-03-28T07:48:09,847   Building wheel for certora-cli-alpha-oz-minver (setup.py): started
2025-03-28T07:48:09,848   Destination directory: /tmp/pip-wheel-h567wefv
2025-03-28T07:48:09,848   Running command python setup.py bdist_wheel
2025-03-28T07:48:10,876   running bdist_wheel
2025-03-28T07:48:11,013   running build
2025-03-28T07:48:11,014   running build_py
2025-03-28T07:48:11,044   creating build/lib/certora_bins
2025-03-28T07:48:11,046   copying certora_bins/__init__.py -> build/lib/certora_bins
2025-03-28T07:48:11,049   creating build/lib/certora_jars
2025-03-28T07:48:11,050   copying certora_jars/__init__.py -> build/lib/certora_jars
2025-03-28T07:48:11,052   creating build/lib/certora_cli
2025-03-28T07:48:11,053   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2025-03-28T07:48:11,055   copying certora_cli/certoraEVMProver.py -> build/lib/certora_cli
2025-03-28T07:48:11,058   copying certora_cli/__init__.py -> build/lib/certora_cli
2025-03-28T07:48:11,059   copying certora_cli/rustMutator.py -> build/lib/certora_cli
2025-03-28T07:48:11,061   copying certora_cli/certoraSolanaProver.py -> build/lib/certora_cli
2025-03-28T07:48:11,064   copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli
2025-03-28T07:48:11,066   copying certora_cli/certoraSorobanProver.py -> build/lib/certora_cli
2025-03-28T07:48:11,068   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2025-03-28T07:48:11,070   creating build/lib/certora_cli/Shared
2025-03-28T07:48:11,071   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2025-03-28T07:48:11,074   copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared
2025-03-28T07:48:11,077   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2025-03-28T07:48:11,080   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2025-03-28T07:48:11,082   copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared
2025-03-28T07:48:11,085   copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared
2025-03-28T07:48:11,089   creating build/lib/certora_cli/CertoraProver
2025-03-28T07:48:11,090   copying certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/lib/certora_cli/CertoraProver
2025-03-28T07:48:11,092   copying certora_cli/CertoraProver/certoraType.py -> build/lib/certora_cli/CertoraProver
2025-03-28T07:48:11,095   copying certora_cli/CertoraProver/certoraCloudIO.py -> build/lib/certora_cli/CertoraProver
2025-03-28T07:48:11,099   copying certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/lib/certora_cli/CertoraProver
2025-03-28T07:48:11,101   copying certora_cli/CertoraProver/certoraProjectScanner.py -> build/lib/certora_cli/CertoraProver
2025-03-28T07:48:11,104   copying certora_cli/CertoraProver/certoraJobList.py -> build/lib/certora_cli/CertoraProver
2025-03-28T07:48:11,106   copying certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/lib/certora_cli/CertoraProver
2025-03-28T07:48:11,109   copying certora_cli/CertoraProver/certoraContext.py -> build/lib/certora_cli/CertoraProver
2025-03-28T07:48:11,112   copying certora_cli/CertoraProver/certoraExtensionInfo.py -> build/lib/certora_cli/CertoraProver
2025-03-28T07:48:11,114   copying certora_cli/CertoraProver/certoraConfigIO.py -> build/lib/certora_cli/CertoraProver
2025-03-28T07:48:11,116   copying certora_cli/CertoraProver/certoraBuild.py -> build/lib/certora_cli/CertoraProver
2025-03-28T07:48:11,122   copying certora_cli/CertoraProver/certoraContractFuncs.py -> build/lib/certora_cli/CertoraProver
2025-03-28T07:48:11,124   copying certora_cli/CertoraProver/certoraContextValidator.py -> build/lib/certora_cli/CertoraProver
2025-03-28T07:48:11,127   copying certora_cli/CertoraProver/certoraCompilerParameters.py -> build/lib/certora_cli/CertoraProver
2025-03-28T07:48:11,129   copying certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/lib/certora_cli/CertoraProver
2025-03-28T07:48:11,132   copying certora_cli/CertoraProver/__init__.py -> build/lib/certora_cli/CertoraProver
2025-03-28T07:48:11,134   copying certora_cli/CertoraProver/certoraContextClass.py -> build/lib/certora_cli/CertoraProver
2025-03-28T07:48:11,136   copying certora_cli/CertoraProver/certoraBuildRust.py -> build/lib/certora_cli/CertoraProver
2025-03-28T07:48:11,138   copying certora_cli/CertoraProver/certoraSourceFinders.py -> build/lib/certora_cli/CertoraProver
2025-03-28T07:48:11,140   copying certora_cli/CertoraProver/certoraParseBuildScript.py -> build/lib/certora_cli/CertoraProver
2025-03-28T07:48:11,143   copying certora_cli/CertoraProver/splitRules.py -> build/lib/certora_cli/CertoraProver
2025-03-28T07:48:11,145   copying certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/lib/certora_cli/CertoraProver
2025-03-28T07:48:11,148   copying certora_cli/CertoraProver/certoraNodeFilters.py -> build/lib/certora_cli/CertoraProver
2025-03-28T07:48:11,150   copying certora_cli/CertoraProver/certoraContextAttributes.py -> build/lib/certora_cli/CertoraProver
2025-03-28T07:48:11,154   creating build/lib/certora_cli/Mutate
2025-03-28T07:48:11,155   copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate
2025-03-28T07:48:11,157   copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate
2025-03-28T07:48:11,159   copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate
2025-03-28T07:48:11,162   copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate
2025-03-28T07:48:11,164   copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate
2025-03-28T07:48:11,166   copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate
2025-03-28T07:48:11,170   creating build/lib/certora_cli/EquivalenceCheck
2025-03-28T07:48:11,171   copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck
2025-03-28T07:48:11,174   copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck
2025-03-28T07:48:11,177   creating build/lib/certora_cli/CertoraProver/Compiler
2025-03-28T07:48:11,178   copying certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-03-28T07:48:11,180   copying certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-03-28T07:48:11,182   copying certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-03-28T07:48:11,186   copying certora_cli/CertoraProver/Compiler/__init__.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-03-28T07:48:11,188   copying certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-03-28T07:48:11,190   copying certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-03-28T07:48:11,192   copying certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/lib/certora_cli/CertoraProver/Compiler
2025-03-28T07:48:11,194   running egg_info
2025-03-28T07:48:11,222   writing certora_cli_alpha_oz_minver.egg-info/PKG-INFO
2025-03-28T07:48:11,225   writing dependency_links to certora_cli_alpha_oz_minver.egg-info/dependency_links.txt
2025-03-28T07:48:11,227   writing entry points to certora_cli_alpha_oz_minver.egg-info/entry_points.txt
2025-03-28T07:48:11,228   writing requirements to certora_cli_alpha_oz_minver.egg-info/requires.txt
2025-03-28T07:48:11,230   writing top-level names to certora_cli_alpha_oz_minver.egg-info/top_level.txt
2025-03-28T07:48:11,267   reading manifest file 'certora_cli_alpha_oz_minver.egg-info/SOURCES.txt'
2025-03-28T07:48:11,272   reading manifest template 'MANIFEST.in'
2025-03-28T07:48:11,276   warning: no files found matching 'gambit' under directory 'certora_bins'
2025-03-28T07:48:11,359   adding license file 'LICENSE'
2025-03-28T07:48:11,364   writing manifest file 'certora_cli_alpha_oz_minver.egg-info/SOURCES.txt'
2025-03-28T07:48:11,371   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2025-03-28T07:48:11,374   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2025-03-28T07:48:11,617   copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck
2025-03-28T07:48:11,619   copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck
2025-03-28T07:48:11,621   copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck
2025-03-28T07:48:11,623   copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck
2025-03-28T07:48:11,625   copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck
2025-03-28T07:48:11,628   copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck
2025-03-28T07:48:11,662   /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2025-03-28T07:48:11,663   !!

2025-03-28T07:48:11,664           ********************************************************************************
2025-03-28T07:48:11,664           Please avoid running ``setup.py`` directly.
2025-03-28T07:48:11,664           Instead, use pypa/build, pypa/installer or other
2025-03-28T07:48:11,665           standards-based tools.

2025-03-28T07:48:11,666           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2025-03-28T07:48:11,667           ********************************************************************************

2025-03-28T07:48:11,668   !!
2025-03-28T07:48:11,668     self.initialize_options()
2025-03-28T07:48:11,691   installing to build/bdist.linux-armv7l/wheel
2025-03-28T07:48:11,692   running install
2025-03-28T07:48:11,716   running install_lib
2025-03-28T07:48:11,743   creating build/bdist.linux-armv7l/wheel
2025-03-28T07:48:11,745   creating build/bdist.linux-armv7l/wheel/certora_bins
2025-03-28T07:48:11,747   copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins
2025-03-28T07:48:11,749   creating build/bdist.linux-armv7l/wheel/certora_jars
2025-03-28T07:48:11,751   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars
2025-03-28T07:48:12,025   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars
2025-03-28T07:48:12,027   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars
2025-03-28T07:48:12,029   creating build/bdist.linux-armv7l/wheel/certora_cli
2025-03-28T07:48:12,031   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2025-03-28T07:48:12,032   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-03-28T07:48:12,035   copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-03-28T07:48:12,037   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-03-28T07:48:12,041   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-03-28T07:48:12,042   copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-03-28T07:48:12,045   copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared
2025-03-28T07:48:12,049   creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver
2025-03-28T07:48:12,050   copying build/lib/certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-28T07:48:12,054   copying build/lib/certora_cli/CertoraProver/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-28T07:48:12,056   copying build/lib/certora_cli/CertoraProver/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-28T07:48:12,059   copying build/lib/certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-28T07:48:12,062   copying build/lib/certora_cli/CertoraProver/certoraProjectScanner.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-28T07:48:12,064   copying build/lib/certora_cli/CertoraProver/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-28T07:48:12,067   copying build/lib/certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-28T07:48:12,070   creating build/bdist.linux-armv7l/wheel/certora_cli/CertoraProver/Compiler
2025-03-28T07:48:12,071   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-03-28T07:48:12,074   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-03-28T07:48:12,077   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-03-28T07:48:12,080   copying build/lib/certora_cli/CertoraProver/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-03-28T07:48:12,082   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-03-28T07:48:12,084   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-03-28T07:48:12,086   copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver/Compiler
2025-03-28T07:48:12,088   copying build/lib/certora_cli/CertoraProver/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-28T07:48:12,091   copying build/lib/certora_cli/CertoraProver/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-28T07:48:12,093   copying build/lib/certora_cli/CertoraProver/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-28T07:48:12,095   copying build/lib/certora_cli/CertoraProver/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-28T07:48:12,101   copying build/lib/certora_cli/CertoraProver/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-28T07:48:12,103   copying build/lib/certora_cli/CertoraProver/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-28T07:48:12,106   copying build/lib/certora_cli/CertoraProver/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-28T07:48:12,108   copying build/lib/certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-28T07:48:12,111   copying build/lib/certora_cli/CertoraProver/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-28T07:48:12,113   copying build/lib/certora_cli/CertoraProver/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-28T07:48:12,115   copying build/lib/certora_cli/CertoraProver/certoraBuildRust.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-28T07:48:12,117   copying build/lib/certora_cli/CertoraProver/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-28T07:48:12,120   copying build/lib/certora_cli/CertoraProver/certoraParseBuildScript.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-28T07:48:12,122   copying build/lib/certora_cli/CertoraProver/splitRules.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-28T07:48:12,125   copying build/lib/certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-28T07:48:12,128   copying build/lib/certora_cli/CertoraProver/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-28T07:48:12,130   copying build/lib/certora_cli/CertoraProver/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/CertoraProver
2025-03-28T07:48:12,133   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-03-28T07:48:12,136   copying build/lib/certora_cli/certoraEVMProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-03-28T07:48:12,138   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-03-28T07:48:12,139   copying build/lib/certora_cli/rustMutator.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-03-28T07:48:12,141   copying build/lib/certora_cli/certoraSolanaProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-03-28T07:48:12,144   copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-03-28T07:48:12,146   copying build/lib/certora_cli/certoraSorobanProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-03-28T07:48:12,148   creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate
2025-03-28T07:48:12,149   copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2025-03-28T07:48:12,151   copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2025-03-28T07:48:12,154   copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2025-03-28T07:48:12,156   copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2025-03-28T07:48:12,158   copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2025-03-28T07:48:12,160   copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate
2025-03-28T07:48:12,163   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli
2025-03-28T07:48:12,166   creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2025-03-28T07:48:12,167   copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-03-28T07:48:12,170   copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-03-28T07:48:12,173   copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-03-28T07:48:12,174   copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-03-28T07:48:12,176   copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-03-28T07:48:12,178   copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-03-28T07:48:12,179   copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-03-28T07:48:12,181   copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck
2025-03-28T07:48:12,183   running install_egg_info
2025-03-28T07:48:12,217   Copying certora_cli_alpha_oz_minver.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_alpha_oz_minver-20250325.8.0.276028-py3.11.egg-info
2025-03-28T07:48:12,229   running install_scripts
2025-03-28T07:48:12,246   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_oz_minver-20250325.8.0.276028.dist-info/WHEEL
2025-03-28T07:48:12,249   creating '/tmp/pip-wheel-h567wefv/certora_cli_alpha_oz_minver-20250325.8.0.276028-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2025-03-28T07:48:12,251   adding 'certora_bins/__init__.py'
2025-03-28T07:48:12,252   adding 'certora_cli/__init__.py'
2025-03-28T07:48:12,253   adding 'certora_cli/certoraEVMProver.py'
2025-03-28T07:48:12,255   adding 'certora_cli/certoraEqCheck.py'
2025-03-28T07:48:12,256   adding 'certora_cli/certoraMutate.py'
2025-03-28T07:48:12,258   adding 'certora_cli/certoraRun.py'
2025-03-28T07:48:12,260   adding 'certora_cli/certoraSolanaProver.py'
2025-03-28T07:48:12,261   adding 'certora_cli/certoraSorobanProver.py'
2025-03-28T07:48:12,264   adding 'certora_cli/rustMutator.py'
2025-03-28T07:48:12,266   adding 'certora_cli/CertoraProver/__init__.py'
2025-03-28T07:48:12,290   adding 'certora_cli/CertoraProver/certoraBuild.py'
2025-03-28T07:48:12,293   adding 'certora_cli/CertoraProver/certoraBuildCacheManager.py'
2025-03-28T07:48:12,295   adding 'certora_cli/CertoraProver/certoraBuildDataClasses.py'
2025-03-28T07:48:12,297   adding 'certora_cli/CertoraProver/certoraBuildRust.py'
2025-03-28T07:48:12,303   adding 'certora_cli/CertoraProver/certoraCloudIO.py'
2025-03-28T07:48:12,305   adding 'certora_cli/CertoraProver/certoraCollectRunMetadata.py'
2025-03-28T07:48:12,306   adding 'certora_cli/CertoraProver/certoraCompilerParameters.py'
2025-03-28T07:48:12,308   adding 'certora_cli/CertoraProver/certoraConfigIO.py'
2025-03-28T07:48:12,311   adding 'certora_cli/CertoraProver/certoraContext.py'
2025-03-28T07:48:12,316   adding 'certora_cli/CertoraProver/certoraContextAttributes.py'
2025-03-28T07:48:12,318   adding 'certora_cli/CertoraProver/certoraContextClass.py'
2025-03-28T07:48:12,323   adding 'certora_cli/CertoraProver/certoraContextValidator.py'
2025-03-28T07:48:12,325   adding 'certora_cli/CertoraProver/certoraContractFuncs.py'
2025-03-28T07:48:12,327   adding 'certora_cli/CertoraProver/certoraExtensionInfo.py'
2025-03-28T07:48:12,329   adding 'certora_cli/CertoraProver/certoraJobList.py'
2025-03-28T07:48:12,331   adding 'certora_cli/CertoraProver/certoraMiniSpecParser.py'
2025-03-28T07:48:12,332   adding 'certora_cli/CertoraProver/certoraNodeFilters.py'
2025-03-28T07:48:12,333   adding 'certora_cli/CertoraProver/certoraParseBuildScript.py'
2025-03-28T07:48:12,335   adding 'certora_cli/CertoraProver/certoraProjectScanner.py'
2025-03-28T07:48:12,337   adding 'certora_cli/CertoraProver/certoraSourceFinders.py'
2025-03-28T07:48:12,341   adding 'certora_cli/CertoraProver/certoraType.py'
2025-03-28T07:48:12,343   adding 'certora_cli/CertoraProver/certoraVerifyGenerator.py'
2025-03-28T07:48:12,345   adding 'certora_cli/CertoraProver/splitRules.py'
2025-03-28T07:48:12,347   adding 'certora_cli/CertoraProver/Compiler/CompilerCollector.py'
2025-03-28T07:48:12,349   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py'
2025-03-28T07:48:12,350   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py'
2025-03-28T07:48:12,351   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py'
2025-03-28T07:48:12,359   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py'
2025-03-28T07:48:12,361   adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py'
2025-03-28T07:48:12,362   adding 'certora_cli/CertoraProver/Compiler/__init__.py'
2025-03-28T07:48:12,364   adding 'certora_cli/EquivalenceCheck/Eq_default.conf'
2025-03-28T07:48:12,365   adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec'
2025-03-28T07:48:12,367   adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec'
2025-03-28T07:48:12,368   adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf'
2025-03-28T07:48:12,369   adding 'certora_cli/EquivalenceCheck/Eq_template.spec'
2025-03-28T07:48:12,370   adding 'certora_cli/EquivalenceCheck/__init__.py'
2025-03-28T07:48:12,373   adding 'certora_cli/EquivalenceCheck/equivCheck.py'
2025-03-28T07:48:12,374   adding 'certora_cli/EquivalenceCheck/sanity.spec'
2025-03-28T07:48:12,376   adding 'certora_cli/Mutate/__init__.py'
2025-03-28T07:48:12,386   adding 'certora_cli/Mutate/mutateApp.py'
2025-03-28T07:48:12,388   adding 'certora_cli/Mutate/mutateAttributes.py'
2025-03-28T07:48:12,390   adding 'certora_cli/Mutate/mutateConstants.py'
2025-03-28T07:48:12,391   adding 'certora_cli/Mutate/mutateUtil.py'
2025-03-28T07:48:12,392   adding 'certora_cli/Mutate/mutateValidate.py'
2025-03-28T07:48:12,395   adding 'certora_cli/Shared/ExpectedComparator.py'
2025-03-28T07:48:12,396   adding 'certora_cli/Shared/__init__.py'
2025-03-28T07:48:12,398   adding 'certora_cli/Shared/certoraAttrUtil.py'
2025-03-28T07:48:12,400   adding 'certora_cli/Shared/certoraLogging.py'
2025-03-28T07:48:12,408   adding 'certora_cli/Shared/certoraUtils.py'
2025-03-28T07:48:12,413   adding 'certora_cli/Shared/certoraValidateFuncs.py'
2025-03-28T07:48:12,416   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2025-03-28T07:48:14,302   adding 'certora_jars/Typechecker.jar'
2025-03-28T07:48:14,408   adding 'certora_jars/__init__.py'
2025-03-28T07:48:14,409   adding 'certora_cli_alpha_oz_minver-20250325.8.0.276028.dist-info/LICENSE'
2025-03-28T07:48:14,410   adding 'certora_cli_alpha_oz_minver-20250325.8.0.276028.dist-info/METADATA'
2025-03-28T07:48:14,411   adding 'certora_cli_alpha_oz_minver-20250325.8.0.276028.dist-info/WHEEL'
2025-03-28T07:48:14,412   adding 'certora_cli_alpha_oz_minver-20250325.8.0.276028.dist-info/entry_points.txt'
2025-03-28T07:48:14,413   adding 'certora_cli_alpha_oz_minver-20250325.8.0.276028.dist-info/top_level.txt'
2025-03-28T07:48:14,414   adding 'certora_cli_alpha_oz_minver-20250325.8.0.276028.dist-info/RECORD'
2025-03-28T07:48:14,564   removing build/bdist.linux-armv7l/wheel
2025-03-28T07:48:14,703   Building wheel for certora-cli-alpha-oz-minver (setup.py): finished with status 'done'
2025-03-28T07:48:14,861   Created wheel for certora-cli-alpha-oz-minver: filename=certora_cli_alpha_oz_minver-20250325.8.0.276028-py3-none-any.whl size=15726015 sha256=06a3159505ff5fdfa89eea07aca60ac8dca88b0f652d93d0fbe0997ae852687f
2025-03-28T07:48:14,863   Stored in directory: /tmp/pip-ephem-wheel-cache-hevzc3k1/wheels/7e/a6/df/c85e5bf82525dff7305749f5786b094e86fc7a8b0e61dd6da7
2025-03-28T07:48:14,880 Successfully built certora-cli-alpha-oz-minver
2025-03-28T07:48:15,257 Removed build tracker: '/tmp/pip-build-tracker-qyzfkipu'