2023-05-23T18:06:15,617 Created temporary directory: /tmp/pip-build-tracker-dv2tgjdh
2023-05-23T18:06:15,618 Initialized build tracking at /tmp/pip-build-tracker-dv2tgjdh
2023-05-23T18:06:15,618 Created build tracker: /tmp/pip-build-tracker-dv2tgjdh
2023-05-23T18:06:15,618 Entered build tracker: /tmp/pip-build-tracker-dv2tgjdh
2023-05-23T18:06:15,619 Created temporary directory: /tmp/pip-wheel-fwxlihvw
2023-05-23T18:06:15,622 Created temporary directory: /tmp/pip-ephem-wheel-cache-rdwwobd8
2023-05-23T18:06:15,645 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-23T18:06:15,648 2 location(s) to search for versions of certora-cli-alpha-eyalh-separationofcompileandcheck:
2023-05-23T18:06:15,648 * https://pypi.org/simple/certora-cli-alpha-eyalh-separationofcompileandcheck/
2023-05-23T18:06:15,648 * https://www.piwheels.org/simple/certora-cli-alpha-eyalh-separationofcompileandcheck/
2023-05-23T18:06:15,649 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-eyalh-separationofcompileandcheck/
2023-05-23T18:06:15,649 Getting page https://pypi.org/simple/certora-cli-alpha-eyalh-separationofcompileandcheck/
2023-05-23T18:06:15,651 Found index url https://pypi.org/simple/
2023-05-23T18:06:15,715 Fetched page https://pypi.org/simple/certora-cli-alpha-eyalh-separationofcompileandcheck/ as application/vnd.pypi.simple.v1+json
2023-05-23T18:06:15,717   Found link https://files.pythonhosted.org/packages/0a/35/167cc4bf7cfce733238a3c86cf3f1e599d38734aa7048bc8c79157c5f3ce/certora-cli-alpha-EyalH-SeparationOfCompileAndCheck-20230523.17.4.94537.tar.gz (from https://pypi.org/simple/certora-cli-alpha-eyalh-separationofcompileandcheck/) (requires-python:>=3.8.16), version: 20230523.17.4.94537
2023-05-23T18:06:15,717   Skipping link: No binaries permitted for certora-cli-alpha-eyalh-separationofcompileandcheck: https://files.pythonhosted.org/packages/ad/bc/9a6f81b10767d9b402004b1b291c6bab3fe02e0ba367bccf59e46155358c/certora_cli_alpha_EyalH_SeparationOfCompileAndCheck-20230523.17.4.94537-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-eyalh-separationofcompileandcheck/) (requires-python:>=3.8.16)
2023-05-23T18:06:15,717 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-eyalh-separationofcompileandcheck/
2023-05-23T18:06:15,718 Getting page https://www.piwheels.org/simple/certora-cli-alpha-eyalh-separationofcompileandcheck/
2023-05-23T18:06:15,719 Found index url https://www.piwheels.org/simple/
2023-05-23T18:06:15,906 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-eyalh-separationofcompileandcheck/ as text/html
2023-05-23T18:06:15,907 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-eyalh-separationofcompileandcheck/
2023-05-23T18:06:15,907 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-eyalh-separationofcompileandcheck/
2023-05-23T18:06:15,924 Given no hashes to check 1 links for project 'certora-cli-alpha-eyalh-separationofcompileandcheck': discarding no candidates
2023-05-23T18:06:15,941 Collecting certora-cli-alpha-eyalh-separationofcompileandcheck==20230523.17.4.94537
2023-05-23T18:06:15,943   Created temporary directory: /tmp/pip-unpack-jp10sa1t
2023-05-23T18:06:16,330   Downloading certora-cli-alpha-EyalH-SeparationOfCompileAndCheck-20230523.17.4.94537.tar.gz (39.0 MB)
2023-05-23T18:06:24,738   Added certora-cli-alpha-eyalh-separationofcompileandcheck==20230523.17.4.94537 from https://files.pythonhosted.org/packages/0a/35/167cc4bf7cfce733238a3c86cf3f1e599d38734aa7048bc8c79157c5f3ce/certora-cli-alpha-EyalH-SeparationOfCompileAndCheck-20230523.17.4.94537.tar.gz to build tracker '/tmp/pip-build-tracker-dv2tgjdh'
2023-05-23T18:06:24,740   Running setup.py (path:/tmp/pip-wheel-fwxlihvw/certora-cli-alpha-eyalh-separationofcompileandcheck_8f957faee32340958b0a1be703052bc7/setup.py) egg_info for package certora-cli-alpha-eyalh-separationofcompileandcheck
2023-05-23T18:06:24,740   Created temporary directory: /tmp/pip-pip-egg-info-rhdmlzal
2023-05-23T18:06:24,741   Preparing metadata (setup.py): started
2023-05-23T18:06:24,742   Running command python setup.py egg_info
2023-05-23T18:06:25,288   /home/piwheels/.local/lib/python3.9/site-packages/setuptools/dist.py:519: InformationOnly: Normalizing '20230523.17.4.094537' to '20230523.17.4.94537'
2023-05-23T18:06:25,288     self.metadata.version = self._normalize_version(
2023-05-23T18:06:25,335   running egg_info
2023-05-23T18:06:25,337   creating /tmp/pip-pip-egg-info-rhdmlzal/certora_cli_alpha_EyalH_SeparationOfCompileAndCheck.egg-info
2023-05-23T18:06:25,364   writing /tmp/pip-pip-egg-info-rhdmlzal/certora_cli_alpha_EyalH_SeparationOfCompileAndCheck.egg-info/PKG-INFO
2023-05-23T18:06:25,367   writing dependency_links to /tmp/pip-pip-egg-info-rhdmlzal/certora_cli_alpha_EyalH_SeparationOfCompileAndCheck.egg-info/dependency_links.txt
2023-05-23T18:06:25,369   writing entry points to /tmp/pip-pip-egg-info-rhdmlzal/certora_cli_alpha_EyalH_SeparationOfCompileAndCheck.egg-info/entry_points.txt
2023-05-23T18:06:25,370   writing requirements to /tmp/pip-pip-egg-info-rhdmlzal/certora_cli_alpha_EyalH_SeparationOfCompileAndCheck.egg-info/requires.txt
2023-05-23T18:06:25,371   writing top-level names to /tmp/pip-pip-egg-info-rhdmlzal/certora_cli_alpha_EyalH_SeparationOfCompileAndCheck.egg-info/top_level.txt
2023-05-23T18:06:25,373   writing manifest file '/tmp/pip-pip-egg-info-rhdmlzal/certora_cli_alpha_EyalH_SeparationOfCompileAndCheck.egg-info/SOURCES.txt'
2023-05-23T18:06:25,455   reading manifest file '/tmp/pip-pip-egg-info-rhdmlzal/certora_cli_alpha_EyalH_SeparationOfCompileAndCheck.egg-info/SOURCES.txt'
2023-05-23T18:06:25,456   reading manifest template 'MANIFEST.in'
2023-05-23T18:06:25,465   adding license file 'LICENSE'
2023-05-23T18:06:25,468   writing manifest file '/tmp/pip-pip-egg-info-rhdmlzal/certora_cli_alpha_EyalH_SeparationOfCompileAndCheck.egg-info/SOURCES.txt'
2023-05-23T18:06:25,528   Preparing metadata (setup.py): finished with status 'done'
2023-05-23T18:06:25,534   Source in /tmp/pip-wheel-fwxlihvw/certora-cli-alpha-eyalh-separationofcompileandcheck_8f957faee32340958b0a1be703052bc7 has version 20230523.17.4.94537, which satisfies requirement certora-cli-alpha-eyalh-separationofcompileandcheck==20230523.17.4.94537 from https://files.pythonhosted.org/packages/0a/35/167cc4bf7cfce733238a3c86cf3f1e599d38734aa7048bc8c79157c5f3ce/certora-cli-alpha-EyalH-SeparationOfCompileAndCheck-20230523.17.4.94537.tar.gz
2023-05-23T18:06:25,534   Removed certora-cli-alpha-eyalh-separationofcompileandcheck==20230523.17.4.94537 from https://files.pythonhosted.org/packages/0a/35/167cc4bf7cfce733238a3c86cf3f1e599d38734aa7048bc8c79157c5f3ce/certora-cli-alpha-EyalH-SeparationOfCompileAndCheck-20230523.17.4.94537.tar.gz from build tracker '/tmp/pip-build-tracker-dv2tgjdh'
2023-05-23T18:06:25,541 Created temporary directory: /tmp/pip-unpack-j_t68ubr
2023-05-23T18:06:25,542 Building wheels for collected packages: certora-cli-alpha-eyalh-separationofcompileandcheck
2023-05-23T18:06:25,545   Created temporary directory: /tmp/pip-wheel-cvnh30zb
2023-05-23T18:06:25,546   Building wheel for certora-cli-alpha-eyalh-separationofcompileandcheck (setup.py): started
2023-05-23T18:06:25,546   Destination directory: /tmp/pip-wheel-cvnh30zb
2023-05-23T18:06:25,547   Running command python setup.py bdist_wheel
2023-05-23T18:06:26,093   /home/piwheels/.local/lib/python3.9/site-packages/setuptools/dist.py:519: InformationOnly: Normalizing '20230523.17.4.094537' to '20230523.17.4.94537'
2023-05-23T18:06:26,093     self.metadata.version = self._normalize_version(
2023-05-23T18:06:26,179   running bdist_wheel
2023-05-23T18:06:26,455   running build
2023-05-23T18:06:26,455   running build_py
2023-05-23T18:06:26,483   creating build
2023-05-23T18:06:26,484   creating build/lib
2023-05-23T18:06:26,485   creating build/lib/certora_cli
2023-05-23T18:06:26,486   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-23T18:06:26,488   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-23T18:06:26,489   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-23T18:06:26,492   creating build/lib/certora_jars
2023-05-23T18:06:26,493   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-23T18:06:26,495   creating build/lib/certora_cli/Shared
2023-05-23T18:06:26,496   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-23T18:06:26,499   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-23T18:06:26,500   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-23T18:06:26,503   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-23T18:06:26,507   creating build/lib/certora_cli/EVMVerifier
2023-05-23T18:06:26,508   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-23T18:06:26,510   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-23T18:06:26,512   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-23T18:06:26,515   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-23T18:06:26,517   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-23T18:06:26,520   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-23T18:06:26,525   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-23T18:06:26,528   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-23T18:06:26,531   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-23T18:06:26,533   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-23T18:06:26,535   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-23T18:06:26,539   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-23T18:06:26,540   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2023-05-23T18:06:26,542   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-23T18:06:26,545   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-23T18:06:26,546   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-23T18:06:26,548   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-23T18:06:26,549   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-23T18:06:26,552   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-23T18:06:26,554   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-23T18:06:26,556   running egg_info
2023-05-23T18:06:26,619   writing certora_cli_alpha_EyalH_SeparationOfCompileAndCheck.egg-info/PKG-INFO
2023-05-23T18:06:26,620   writing dependency_links to certora_cli_alpha_EyalH_SeparationOfCompileAndCheck.egg-info/dependency_links.txt
2023-05-23T18:06:26,622   writing entry points to certora_cli_alpha_EyalH_SeparationOfCompileAndCheck.egg-info/entry_points.txt
2023-05-23T18:06:26,624   writing requirements to certora_cli_alpha_EyalH_SeparationOfCompileAndCheck.egg-info/requires.txt
2023-05-23T18:06:26,625   writing top-level names to certora_cli_alpha_EyalH_SeparationOfCompileAndCheck.egg-info/top_level.txt
2023-05-23T18:06:26,656   reading manifest file 'certora_cli_alpha_EyalH_SeparationOfCompileAndCheck.egg-info/SOURCES.txt'
2023-05-23T18:06:26,658   reading manifest template 'MANIFEST.in'
2023-05-23T18:06:26,667   adding license file 'LICENSE'
2023-05-23T18:06:26,671   writing manifest file 'certora_cli_alpha_EyalH_SeparationOfCompileAndCheck.egg-info/SOURCES.txt'
2023-05-23T18:06:26,675   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-23T18:06:26,677   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-23T18:06:26,893   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-23T18:06:27,058   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-23T18:06:27,252   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-23T18:06:27,356   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-23T18:06:27,447   /home/piwheels/.local/lib/python3.9/site-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-23T18:06:27,448   !!

2023-05-23T18:06:27,448           ********************************************************************************
2023-05-23T18:06:27,448           Please avoid running ``setup.py`` directly.
2023-05-23T18:06:27,448           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-23T18:06:27,448           other standards-based tools.

2023-05-23T18:06:27,448           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-23T18:06:27,449           ********************************************************************************

2023-05-23T18:06:27,449   !!
2023-05-23T18:06:27,449     self.initialize_options()
2023-05-23T18:06:27,475   installing to build/bdist.linux-armv7l/wheel
2023-05-23T18:06:27,476   running install
2023-05-23T18:06:27,502   running install_lib
2023-05-23T18:06:27,529   creating build/bdist.linux-armv7l
2023-05-23T18:06:27,530   creating build/bdist.linux-armv7l/wheel
2023-05-23T18:06:27,532   creating build/bdist.linux-armv7l/wheel/certora_cli
2023-05-23T18:06:27,534   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-23T18:06:27,535   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-23T18:06:27,538   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-23T18:06:27,540   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-23T18:06:27,542   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-23T18:06:27,545   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-23T18:06:27,548   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-23T18:06:27,549   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-23T18:06:27,553   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-23T18:06:27,554   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-23T18:06:27,558   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-23T18:06:27,559   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-23T18:06:27,561   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-23T18:06:27,563   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-23T18:06:27,566   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-23T18:06:27,569   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-23T18:06:27,571   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-23T18:06:27,573   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-23T18:06:27,577   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-23T18:06:27,580   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-23T18:06:27,583   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-23T18:06:27,590   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-23T18:06:27,593   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-23T18:06:27,596   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-23T18:06:27,599   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-23T18:06:27,602   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-23T18:06:27,605   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-23T18:06:27,607   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-23T18:06:27,609   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-23T18:06:27,612   creating build/bdist.linux-armv7l/wheel/certora_jars
2023-05-23T18:06:27,613   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-23T18:06:27,851   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-23T18:06:28,046   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-23T18:06:28,169   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-23T18:06:28,232   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-23T18:06:28,387   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-23T18:06:28,388   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-23T18:06:28,390   running install_egg_info
2023-05-23T18:06:28,420   Copying certora_cli_alpha_EyalH_SeparationOfCompileAndCheck.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_EyalH_SeparationOfCompileAndCheck-20230523.17.4.94537-py3.9.egg-info
2023-05-23T18:06:28,431   running install_scripts
2023-05-23T18:06:28,447   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_EyalH_SeparationOfCompileAndCheck-20230523.17.4.94537.dist-info/WHEEL
2023-05-23T18:06:28,449   creating '/tmp/pip-wheel-cvnh30zb/certora_cli_alpha_EyalH_SeparationOfCompileAndCheck-20230523.17.4.94537-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2023-05-23T18:06:28,451   adding 'certora_cli/__init__.py'
2023-05-23T18:06:28,453   adding 'certora_cli/certoraMutate.py'
2023-05-23T18:06:28,455   adding 'certora_cli/certoraRun.py'
2023-05-23T18:06:28,457   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-23T18:06:28,479   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-23T18:06:28,486   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-23T18:06:28,488   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-23T18:06:28,489   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-23T18:06:28,493   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-23T18:06:28,497   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-23T18:06:28,498   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-23T18:06:28,504   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-23T18:06:28,505   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2023-05-23T18:06:28,507   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-23T18:06:28,509   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-23T18:06:28,512   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-23T18:06:28,515   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-23T18:06:28,518   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-23T18:06:28,519   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-23T18:06:28,521   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-23T18:06:28,525   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-23T18:06:28,527   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-23T18:06:28,528   adding 'certora_cli/Shared/__init__.py'
2023-05-23T18:06:28,530   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-23T18:06:28,532   adding 'certora_cli/Shared/certoraTester.py'
2023-05-23T18:06:28,539   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-23T18:06:28,542   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-23T18:06:30,223   adding 'certora_jars/MutationTest.jar'
2023-05-23T18:06:31,550   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-23T18:06:33,132   adding 'certora_jars/Typechecker.jar'
2023-05-23T18:06:33,215   adding 'certora_jars/__init__.py'
2023-05-23T18:06:33,949   adding 'certora_jars/gambit-linux'
2023-05-23T18:06:34,654   adding 'certora_jars/gambit-macos'
2023-05-23T18:06:34,745   adding 'certora_cli_alpha_EyalH_SeparationOfCompileAndCheck-20230523.17.4.94537.dist-info/LICENSE'
2023-05-23T18:06:34,805   adding 'certora_cli_alpha_EyalH_SeparationOfCompileAndCheck-20230523.17.4.94537.dist-info/METADATA'
2023-05-23T18:06:34,825   adding 'certora_cli_alpha_EyalH_SeparationOfCompileAndCheck-20230523.17.4.94537.dist-info/WHEEL'
2023-05-23T18:06:34,826   adding 'certora_cli_alpha_EyalH_SeparationOfCompileAndCheck-20230523.17.4.94537.dist-info/entry_points.txt'
2023-05-23T18:06:34,827   adding 'certora_cli_alpha_EyalH_SeparationOfCompileAndCheck-20230523.17.4.94537.dist-info/top_level.txt'
2023-05-23T18:06:34,828   adding 'certora_cli_alpha_EyalH_SeparationOfCompileAndCheck-20230523.17.4.94537.dist-info/RECORD'
2023-05-23T18:06:35,264   removing build/bdist.linux-armv7l/wheel
2023-05-23T18:06:35,380   Building wheel for certora-cli-alpha-eyalh-separationofcompileandcheck (setup.py): finished with status 'done'
2023-05-23T18:06:35,766   Created wheel for certora-cli-alpha-eyalh-separationofcompileandcheck: filename=certora_cli_alpha_EyalH_SeparationOfCompileAndCheck-20230523.17.4.94537-py3-none-any.whl size=39010107 sha256=e375f4dd00e97c0264e4d664ac74119b900987540db292da25b8cad72eac8e84
2023-05-23T18:06:35,767   Stored in directory: /tmp/pip-ephem-wheel-cache-rdwwobd8/wheels/c4/5a/96/0cdc5b039aea93d19865fcdff5c99dbd82ba1f61edf24c8418
2023-05-23T18:06:35,790 Successfully built certora-cli-alpha-eyalh-separationofcompileandcheck
2023-05-23T18:06:36,747 Removed build tracker: '/tmp/pip-build-tracker-dv2tgjdh'