2023-05-14T03:47:10,807 Created temporary directory: /tmp/pip-build-tracker-zfep7jj5
2023-05-14T03:47:10,808 Initialized build tracking at /tmp/pip-build-tracker-zfep7jj5
2023-05-14T03:47:10,808 Created build tracker: /tmp/pip-build-tracker-zfep7jj5
2023-05-14T03:47:10,809 Entered build tracker: /tmp/pip-build-tracker-zfep7jj5
2023-05-14T03:47:10,809 Created temporary directory: /tmp/pip-wheel-hpc483f9
2023-05-14T03:47:10,813 Created temporary directory: /tmp/pip-ephem-wheel-cache-zar1h928
2023-05-14T03:47:10,837 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-14T03:47:10,841 2 location(s) to search for versions of certora-cli-alpha-shelly-bettercertoraexception:
2023-05-14T03:47:10,841 * https://pypi.org/simple/certora-cli-alpha-shelly-bettercertoraexception/
2023-05-14T03:47:10,841 * https://www.piwheels.org/simple/certora-cli-alpha-shelly-bettercertoraexception/
2023-05-14T03:47:10,842 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-shelly-bettercertoraexception/
2023-05-14T03:47:10,842 Getting page https://pypi.org/simple/certora-cli-alpha-shelly-bettercertoraexception/
2023-05-14T03:47:10,844 Found index url https://pypi.org/simple/
2023-05-14T03:47:10,915 Fetched page https://pypi.org/simple/certora-cli-alpha-shelly-bettercertoraexception/ as application/vnd.pypi.simple.v1+json
2023-05-14T03:47:10,917   Found link https://files.pythonhosted.org/packages/97/64/06b92d95f79a9cbda2c58e91ac8d4ba45758866a83c964ff60df20b6302d/certora-cli-alpha-shelly-betterCertoraException-20230507.12.36.85551.tar.gz (from https://pypi.org/simple/certora-cli-alpha-shelly-bettercertoraexception/) (requires-python:>=3.8.16), version: 20230507.12.36.85551
2023-05-14T03:47:10,918   Skipping link: No binaries permitted for certora-cli-alpha-shelly-bettercertoraexception: https://files.pythonhosted.org/packages/68/47/1a27b246963c7c8d38c828e4885c8f170c8752be3f1bdf5bf1a62013e3bf/certora_cli_alpha_shelly_betterCertoraException-20230507.12.36.85551-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-shelly-bettercertoraexception/) (requires-python:>=3.8.16)
2023-05-14T03:47:10,918   Found link https://files.pythonhosted.org/packages/20/26/b06bc1eeb249c573dd2cb24cdc7a3b0e84c9b168b6560f7bc6545596c854/certora-cli-alpha-shelly-betterCertoraException-20230508.16.25.408704.tar.gz (from https://pypi.org/simple/certora-cli-alpha-shelly-bettercertoraexception/) (requires-python:>=3.8.16), version: 20230508.16.25.408704
2023-05-14T03:47:10,919   Skipping link: No binaries permitted for certora-cli-alpha-shelly-bettercertoraexception: https://files.pythonhosted.org/packages/f9/af/13886a0e3585cc9d2fc3404e2dc03903733f60ae6103b6b878960b14cdaf/certora_cli_alpha_shelly_betterCertoraException-20230508.16.25.408704-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-shelly-bettercertoraexception/) (requires-python:>=3.8.16)
2023-05-14T03:47:10,919 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-shelly-bettercertoraexception/
2023-05-14T03:47:10,919 Getting page https://www.piwheels.org/simple/certora-cli-alpha-shelly-bettercertoraexception/
2023-05-14T03:47:10,920 Found index url https://www.piwheels.org/simple/
2023-05-14T03:47:11,109 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-shelly-bettercertoraexception/ as text/html
2023-05-14T03:47:11,111   Skipping link: No binaries permitted for certora-cli-alpha-shelly-bettercertoraexception: https://www.piwheels.org/simple/certora-cli-alpha-shelly-bettercertoraexception/certora_cli_alpha_shelly_betterCertoraException-20230508.16.25.408704-py3-none-any.whl#sha256=d522ecdf143654a13511b06783fa785b575526b4a239ff38d9846c5a671eb98f (from https://www.piwheels.org/simple/certora-cli-alpha-shelly-bettercertoraexception/) (requires-python:>=3.8.16)
2023-05-14T03:47:11,111   Skipping link: No binaries permitted for certora-cli-alpha-shelly-bettercertoraexception: https://www.piwheels.org/simple/certora-cli-alpha-shelly-bettercertoraexception/certora_cli_alpha_shelly_betterCertoraException-20230507.12.36.85551-py3-none-any.whl#sha256=deb2fd5ae2c46de67772b4438635d7b3c334deb8fd0babb284f715bbf92418c2 (from https://www.piwheels.org/simple/certora-cli-alpha-shelly-bettercertoraexception/) (requires-python:>=3.8.16)
2023-05-14T03:47:11,111 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-shelly-bettercertoraexception/
2023-05-14T03:47:11,112 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-shelly-bettercertoraexception/
2023-05-14T03:47:11,130 Given no hashes to check 1 links for project 'certora-cli-alpha-shelly-bettercertoraexception': discarding no candidates
2023-05-14T03:47:11,148 Collecting certora-cli-alpha-shelly-bettercertoraexception==20230507.12.36.85551
2023-05-14T03:47:11,150   Created temporary directory: /tmp/pip-unpack-clvq7i_w
2023-05-14T03:47:16,337   Downloading certora-cli-alpha-shelly-betterCertoraException-20230507.12.36.85551.tar.gz (38.5 MB)
2023-05-14T03:47:27,217   Added certora-cli-alpha-shelly-bettercertoraexception==20230507.12.36.85551 from https://files.pythonhosted.org/packages/97/64/06b92d95f79a9cbda2c58e91ac8d4ba45758866a83c964ff60df20b6302d/certora-cli-alpha-shelly-betterCertoraException-20230507.12.36.85551.tar.gz to build tracker '/tmp/pip-build-tracker-zfep7jj5'
2023-05-14T03:47:27,219   Running setup.py (path:/tmp/pip-wheel-hpc483f9/certora-cli-alpha-shelly-bettercertoraexception_8c08271e144a4a3a9f1e329c2d4eba4c/setup.py) egg_info for package certora-cli-alpha-shelly-bettercertoraexception
2023-05-14T03:47:27,220   Created temporary directory: /tmp/pip-pip-egg-info-9nhz9bsd
2023-05-14T03:47:27,220   Preparing metadata (setup.py): started
2023-05-14T03:47:27,221   Running command python setup.py egg_info
2023-05-14T03:47:27,794   /usr/local/lib/python3.9/dist-packages/setuptools/dist.py:519: InformationOnly: Normalizing '20230507.12.36.085551' to '20230507.12.36.85551'
2023-05-14T03:47:27,795     self.metadata.version = self._normalize_version(
2023-05-14T03:47:27,845   running egg_info
2023-05-14T03:47:27,847   creating /tmp/pip-pip-egg-info-9nhz9bsd/certora_cli_alpha_shelly_betterCertoraException.egg-info
2023-05-14T03:47:27,875   writing /tmp/pip-pip-egg-info-9nhz9bsd/certora_cli_alpha_shelly_betterCertoraException.egg-info/PKG-INFO
2023-05-14T03:47:27,877   writing dependency_links to /tmp/pip-pip-egg-info-9nhz9bsd/certora_cli_alpha_shelly_betterCertoraException.egg-info/dependency_links.txt
2023-05-14T03:47:27,880   writing entry points to /tmp/pip-pip-egg-info-9nhz9bsd/certora_cli_alpha_shelly_betterCertoraException.egg-info/entry_points.txt
2023-05-14T03:47:27,881   writing requirements to /tmp/pip-pip-egg-info-9nhz9bsd/certora_cli_alpha_shelly_betterCertoraException.egg-info/requires.txt
2023-05-14T03:47:27,882   writing top-level names to /tmp/pip-pip-egg-info-9nhz9bsd/certora_cli_alpha_shelly_betterCertoraException.egg-info/top_level.txt
2023-05-14T03:47:27,884   writing manifest file '/tmp/pip-pip-egg-info-9nhz9bsd/certora_cli_alpha_shelly_betterCertoraException.egg-info/SOURCES.txt'
2023-05-14T03:47:27,981   reading manifest file '/tmp/pip-pip-egg-info-9nhz9bsd/certora_cli_alpha_shelly_betterCertoraException.egg-info/SOURCES.txt'
2023-05-14T03:47:27,983   reading manifest template 'MANIFEST.in'
2023-05-14T03:47:27,992   adding license file 'LICENSE'
2023-05-14T03:47:27,996   writing manifest file '/tmp/pip-pip-egg-info-9nhz9bsd/certora_cli_alpha_shelly_betterCertoraException.egg-info/SOURCES.txt'
2023-05-14T03:47:28,056   Preparing metadata (setup.py): finished with status 'done'
2023-05-14T03:47:28,062   Source in /tmp/pip-wheel-hpc483f9/certora-cli-alpha-shelly-bettercertoraexception_8c08271e144a4a3a9f1e329c2d4eba4c has version 20230507.12.36.85551, which satisfies requirement certora-cli-alpha-shelly-bettercertoraexception==20230507.12.36.85551 from https://files.pythonhosted.org/packages/97/64/06b92d95f79a9cbda2c58e91ac8d4ba45758866a83c964ff60df20b6302d/certora-cli-alpha-shelly-betterCertoraException-20230507.12.36.85551.tar.gz
2023-05-14T03:47:28,063   Removed certora-cli-alpha-shelly-bettercertoraexception==20230507.12.36.85551 from https://files.pythonhosted.org/packages/97/64/06b92d95f79a9cbda2c58e91ac8d4ba45758866a83c964ff60df20b6302d/certora-cli-alpha-shelly-betterCertoraException-20230507.12.36.85551.tar.gz from build tracker '/tmp/pip-build-tracker-zfep7jj5'
2023-05-14T03:47:28,070 Created temporary directory: /tmp/pip-unpack-8ydnwgbp
2023-05-14T03:47:28,070 Building wheels for collected packages: certora-cli-alpha-shelly-bettercertoraexception
2023-05-14T03:47:28,075   Created temporary directory: /tmp/pip-wheel-9klo2pwh
2023-05-14T03:47:28,075   Building wheel for certora-cli-alpha-shelly-bettercertoraexception (setup.py): started
2023-05-14T03:47:28,076   Destination directory: /tmp/pip-wheel-9klo2pwh
2023-05-14T03:47:28,076   Running command python setup.py bdist_wheel
2023-05-14T03:47:28,638   /usr/local/lib/python3.9/dist-packages/setuptools/dist.py:519: InformationOnly: Normalizing '20230507.12.36.085551' to '20230507.12.36.85551'
2023-05-14T03:47:28,638     self.metadata.version = self._normalize_version(
2023-05-14T03:47:28,734   running bdist_wheel
2023-05-14T03:47:29,035   running build
2023-05-14T03:47:29,036   running build_py
2023-05-14T03:47:29,065   creating build
2023-05-14T03:47:29,066   creating build/lib
2023-05-14T03:47:29,067   creating build/lib/certora_jars
2023-05-14T03:47:29,069   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-14T03:47:29,071   creating build/lib/certora_cli
2023-05-14T03:47:29,072   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-14T03:47:29,073   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-14T03:47:29,075   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-14T03:47:29,078   creating build/lib/certora_cli/EVMVerifier
2023-05-14T03:47:29,079   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T03:47:29,082   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T03:47:29,084   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T03:47:29,087   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T03:47:29,093   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T03:47:29,096   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T03:47:29,100   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T03:47:29,102   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T03:47:29,105   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T03:47:29,109   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T03:47:29,111   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T03:47:29,115   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T03:47:29,118   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T03:47:29,121   creating build/lib/certora_cli/Shared
2023-05-14T03:47:29,123   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-14T03:47:29,126   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-14T03:47:29,128   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-14T03:47:29,132   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-14T03:47:29,135   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T03:47:29,137   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T03:47:29,139   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T03:47:29,143   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T03:47:29,146   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T03:47:29,149   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T03:47:29,150   running egg_info
2023-05-14T03:47:29,211   writing certora_cli_alpha_shelly_betterCertoraException.egg-info/PKG-INFO
2023-05-14T03:47:29,213   writing dependency_links to certora_cli_alpha_shelly_betterCertoraException.egg-info/dependency_links.txt
2023-05-14T03:47:29,215   writing entry points to certora_cli_alpha_shelly_betterCertoraException.egg-info/entry_points.txt
2023-05-14T03:47:29,216   writing requirements to certora_cli_alpha_shelly_betterCertoraException.egg-info/requires.txt
2023-05-14T03:47:29,218   writing top-level names to certora_cli_alpha_shelly_betterCertoraException.egg-info/top_level.txt
2023-05-14T03:47:29,249   reading manifest file 'certora_cli_alpha_shelly_betterCertoraException.egg-info/SOURCES.txt'
2023-05-14T03:47:29,251   reading manifest template 'MANIFEST.in'
2023-05-14T03:47:29,261   adding license file 'LICENSE'
2023-05-14T03:47:29,265   writing manifest file 'certora_cli_alpha_shelly_betterCertoraException.egg-info/SOURCES.txt'
2023-05-14T03:47:29,269   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-14T03:47:29,271   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-14T03:47:29,505   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-14T03:47:29,667   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-14T03:47:29,866   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-14T03:47:29,966   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-14T03:47:30,090   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-14T03:47:30,090   !!

2023-05-14T03:47:30,090           ********************************************************************************
2023-05-14T03:47:30,090           Please avoid running ``setup.py`` directly.
2023-05-14T03:47:30,090           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-14T03:47:30,091           other standards-based tools.

2023-05-14T03:47:30,091           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-14T03:47:30,091           ********************************************************************************

2023-05-14T03:47:30,091   !!
2023-05-14T03:47:30,091     self.initialize_options()
2023-05-14T03:47:30,119   installing to build/bdist.linux-aarch64/wheel
2023-05-14T03:47:30,119   running install
2023-05-14T03:47:30,144   running install_lib
2023-05-14T03:47:30,172   creating build/bdist.linux-aarch64
2023-05-14T03:47:30,173   creating build/bdist.linux-aarch64/wheel
2023-05-14T03:47:30,174   creating build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T03:47:30,176   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T03:47:30,427   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T03:47:30,430   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T03:47:30,551   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T03:47:30,648   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T03:47:30,863   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T03:47:30,865   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T03:47:31,023   creating build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T03:47:31,025   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T03:47:31,026   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T03:47:31,029   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T03:47:31,031   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T03:47:31,035   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T03:47:31,041   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T03:47:31,042   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T03:47:31,044   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T03:47:31,048   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T03:47:31,050   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T03:47:31,052   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T03:47:31,054   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T03:47:31,057   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T03:47:31,059   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T03:47:31,061   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T03:47:31,064   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T03:47:31,067   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T03:47:31,069   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T03:47:31,072   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T03:47:31,076   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T03:47:31,078   creating build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T03:47:31,079   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T03:47:31,082   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T03:47:31,083   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T03:47:31,087   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T03:47:31,089   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T03:47:31,091   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T03:47:31,093   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T03:47:31,095   running install_egg_info
2023-05-14T03:47:31,127   Copying certora_cli_alpha_shelly_betterCertoraException.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_shelly_betterCertoraException-20230507.12.36.85551-py3.9.egg-info
2023-05-14T03:47:31,145   running install_scripts
2023-05-14T03:47:31,162   creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_shelly_betterCertoraException-20230507.12.36.85551.dist-info/WHEEL
2023-05-14T03:47:31,165   creating '/tmp/pip-wheel-9klo2pwh/certora_cli_alpha_shelly_betterCertoraException-20230507.12.36.85551-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it
2023-05-14T03:47:31,168   adding 'certora_cli/__init__.py'
2023-05-14T03:47:31,169   adding 'certora_cli/certoraMutate.py'
2023-05-14T03:47:31,171   adding 'certora_cli/certoraRun.py'
2023-05-14T03:47:31,173   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-14T03:47:31,195   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-14T03:47:31,202   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-14T03:47:31,204   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-14T03:47:31,206   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-14T03:47:31,210   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-14T03:47:31,214   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-14T03:47:31,215   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-14T03:47:31,221   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-14T03:47:31,227   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-14T03:47:31,229   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-14T03:47:31,231   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-14T03:47:31,244   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-14T03:47:31,246   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-14T03:47:31,248   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-14T03:47:31,249   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-14T03:47:31,254   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-14T03:47:31,255   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-14T03:47:31,257   adding 'certora_cli/Shared/__init__.py'
2023-05-14T03:47:31,259   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-14T03:47:31,261   adding 'certora_cli/Shared/certoraTester.py'
2023-05-14T03:47:31,267   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-14T03:47:31,271   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-14T03:47:32,857   adding 'certora_jars/MutationTest.jar'
2023-05-14T03:47:34,168   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-14T03:47:35,659   adding 'certora_jars/Typechecker.jar'
2023-05-14T03:47:35,740   adding 'certora_jars/__init__.py'
2023-05-14T03:47:36,595   adding 'certora_jars/gambit-linux'
2023-05-14T03:47:37,486   adding 'certora_jars/gambit-macos'
2023-05-14T03:47:37,523   adding 'certora_cli_alpha_shelly_betterCertoraException-20230507.12.36.85551.dist-info/LICENSE'
2023-05-14T03:47:37,524   adding 'certora_cli_alpha_shelly_betterCertoraException-20230507.12.36.85551.dist-info/METADATA'
2023-05-14T03:47:37,526   adding 'certora_cli_alpha_shelly_betterCertoraException-20230507.12.36.85551.dist-info/WHEEL'
2023-05-14T03:47:37,527   adding 'certora_cli_alpha_shelly_betterCertoraException-20230507.12.36.85551.dist-info/entry_points.txt'
2023-05-14T03:47:37,529   adding 'certora_cli_alpha_shelly_betterCertoraException-20230507.12.36.85551.dist-info/top_level.txt'
2023-05-14T03:47:37,530   adding 'certora_cli_alpha_shelly_betterCertoraException-20230507.12.36.85551.dist-info/RECORD'
2023-05-14T03:47:38,030   removing build/bdist.linux-aarch64/wheel
2023-05-14T03:47:38,145   Building wheel for certora-cli-alpha-shelly-bettercertoraexception (setup.py): finished with status 'done'
2023-05-14T03:47:38,469   Created wheel for certora-cli-alpha-shelly-bettercertoraexception: filename=certora_cli_alpha_shelly_betterCertoraException-20230507.12.36.85551-py3-none-any.whl size=38513972 sha256=cc7ac8f6d904ab6734f12664733c3dc182b8930d459e32e4a8854fe1b8187ce4
2023-05-14T03:47:38,470   Stored in directory: /tmp/pip-ephem-wheel-cache-zar1h928/wheels/b2/da/e8/39cb78da1d03bd1d51e7c4a4ec6869e5339b8d88bc4d959fc4
2023-05-14T03:47:38,500 Successfully built certora-cli-alpha-shelly-bettercertoraexception
2023-05-14T03:47:39,488 Removed build tracker: '/tmp/pip-build-tracker-zfep7jj5'