2023-05-14T06:28:26,327 Created temporary directory: /tmp/pip-build-tracker-xhrpm5_d 2023-05-14T06:28:26,328 Initialized build tracking at /tmp/pip-build-tracker-xhrpm5_d 2023-05-14T06:28:26,328 Created build tracker: /tmp/pip-build-tracker-xhrpm5_d 2023-05-14T06:28:26,328 Entered build tracker: /tmp/pip-build-tracker-xhrpm5_d 2023-05-14T06:28:26,329 Created temporary directory: /tmp/pip-wheel-do12vgxf 2023-05-14T06:28:26,333 Created temporary directory: /tmp/pip-ephem-wheel-cache-w3rr33mc 2023-05-14T06:28:26,357 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-14T06:28:26,361 2 location(s) to search for versions of certora-cli-alpha-shelly-bettercertoraexception: 2023-05-14T06:28:26,361 * https://pypi.org/simple/certora-cli-alpha-shelly-bettercertoraexception/ 2023-05-14T06:28:26,361 * https://www.piwheels.org/simple/certora-cli-alpha-shelly-bettercertoraexception/ 2023-05-14T06:28:26,362 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-shelly-bettercertoraexception/ 2023-05-14T06:28:26,362 Getting page https://pypi.org/simple/certora-cli-alpha-shelly-bettercertoraexception/ 2023-05-14T06:28:26,364 Found index url https://pypi.org/simple/ 2023-05-14T06:28:26,413 Fetched page https://pypi.org/simple/certora-cli-alpha-shelly-bettercertoraexception/ as application/vnd.pypi.simple.v1+json 2023-05-14T06:28:26,415 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-14T06:28:26,416 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-14T06:28:26,416 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-14T06:28:26,417 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-14T06:28:26,417 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-shelly-bettercertoraexception/ 2023-05-14T06:28:26,417 Getting page https://www.piwheels.org/simple/certora-cli-alpha-shelly-bettercertoraexception/ 2023-05-14T06:28:26,418 Found index url https://www.piwheels.org/simple/ 2023-05-14T06:28:26,605 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-shelly-bettercertoraexception/ as text/html 2023-05-14T06:28:26,607 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=cc7ac8f6d904ab6734f12664733c3dc182b8930d459e32e4a8854fe1b8187ce4 (from https://www.piwheels.org/simple/certora-cli-alpha-shelly-bettercertoraexception/) (requires-python:>=3.8.16) 2023-05-14T06:28:26,607 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-shelly-bettercertoraexception/ 2023-05-14T06:28:26,607 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-shelly-bettercertoraexception/ 2023-05-14T06:28:26,626 Given no hashes to check 1 links for project 'certora-cli-alpha-shelly-bettercertoraexception': discarding no candidates 2023-05-14T06:28:26,643 Collecting certora-cli-alpha-shelly-bettercertoraexception==20230508.16.25.408704 2023-05-14T06:28:26,646 Created temporary directory: /tmp/pip-unpack-j2b4j6at 2023-05-14T06:28:26,873 Downloading certora-cli-alpha-shelly-betterCertoraException-20230508.16.25.408704.tar.gz (38.5 MB) 2023-05-14T06:28:39,398 Added certora-cli-alpha-shelly-bettercertoraexception==20230508.16.25.408704 from https://files.pythonhosted.org/packages/20/26/b06bc1eeb249c573dd2cb24cdc7a3b0e84c9b168b6560f7bc6545596c854/certora-cli-alpha-shelly-betterCertoraException-20230508.16.25.408704.tar.gz to build tracker '/tmp/pip-build-tracker-xhrpm5_d' 2023-05-14T06:28:39,400 Running setup.py (path:/tmp/pip-wheel-do12vgxf/certora-cli-alpha-shelly-bettercertoraexception_fd6f2e1ac83f405b848c5d34bd889f42/setup.py) egg_info for package certora-cli-alpha-shelly-bettercertoraexception 2023-05-14T06:28:39,401 Created temporary directory: /tmp/pip-pip-egg-info-spnal1y4 2023-05-14T06:28:39,401 Preparing metadata (setup.py): started 2023-05-14T06:28:39,402 Running command python setup.py egg_info 2023-05-14T06:28:40,029 running egg_info 2023-05-14T06:28:40,031 creating /tmp/pip-pip-egg-info-spnal1y4/certora_cli_alpha_shelly_betterCertoraException.egg-info 2023-05-14T06:28:40,057 writing /tmp/pip-pip-egg-info-spnal1y4/certora_cli_alpha_shelly_betterCertoraException.egg-info/PKG-INFO 2023-05-14T06:28:40,059 writing dependency_links to /tmp/pip-pip-egg-info-spnal1y4/certora_cli_alpha_shelly_betterCertoraException.egg-info/dependency_links.txt 2023-05-14T06:28:40,062 writing entry points to /tmp/pip-pip-egg-info-spnal1y4/certora_cli_alpha_shelly_betterCertoraException.egg-info/entry_points.txt 2023-05-14T06:28:40,063 writing requirements to /tmp/pip-pip-egg-info-spnal1y4/certora_cli_alpha_shelly_betterCertoraException.egg-info/requires.txt 2023-05-14T06:28:40,064 writing top-level names to /tmp/pip-pip-egg-info-spnal1y4/certora_cli_alpha_shelly_betterCertoraException.egg-info/top_level.txt 2023-05-14T06:28:40,066 writing manifest file '/tmp/pip-pip-egg-info-spnal1y4/certora_cli_alpha_shelly_betterCertoraException.egg-info/SOURCES.txt' 2023-05-14T06:28:40,157 reading manifest file '/tmp/pip-pip-egg-info-spnal1y4/certora_cli_alpha_shelly_betterCertoraException.egg-info/SOURCES.txt' 2023-05-14T06:28:40,159 reading manifest template 'MANIFEST.in' 2023-05-14T06:28:40,168 adding license file 'LICENSE' 2023-05-14T06:28:40,172 writing manifest file '/tmp/pip-pip-egg-info-spnal1y4/certora_cli_alpha_shelly_betterCertoraException.egg-info/SOURCES.txt' 2023-05-14T06:28:40,232 Preparing metadata (setup.py): finished with status 'done' 2023-05-14T06:28:40,238 Source in /tmp/pip-wheel-do12vgxf/certora-cli-alpha-shelly-bettercertoraexception_fd6f2e1ac83f405b848c5d34bd889f42 has version 20230508.16.25.408704, which satisfies requirement certora-cli-alpha-shelly-bettercertoraexception==20230508.16.25.408704 from https://files.pythonhosted.org/packages/20/26/b06bc1eeb249c573dd2cb24cdc7a3b0e84c9b168b6560f7bc6545596c854/certora-cli-alpha-shelly-betterCertoraException-20230508.16.25.408704.tar.gz 2023-05-14T06:28:40,239 Removed certora-cli-alpha-shelly-bettercertoraexception==20230508.16.25.408704 from https://files.pythonhosted.org/packages/20/26/b06bc1eeb249c573dd2cb24cdc7a3b0e84c9b168b6560f7bc6545596c854/certora-cli-alpha-shelly-betterCertoraException-20230508.16.25.408704.tar.gz from build tracker '/tmp/pip-build-tracker-xhrpm5_d' 2023-05-14T06:28:40,246 Created temporary directory: /tmp/pip-unpack-7vfpgibv 2023-05-14T06:28:40,247 Building wheels for collected packages: certora-cli-alpha-shelly-bettercertoraexception 2023-05-14T06:28:40,251 Created temporary directory: /tmp/pip-wheel-fjo1ud_9 2023-05-14T06:28:40,252 Building wheel for certora-cli-alpha-shelly-bettercertoraexception (setup.py): started 2023-05-14T06:28:40,253 Destination directory: /tmp/pip-wheel-fjo1ud_9 2023-05-14T06:28:40,253 Running command python setup.py bdist_wheel 2023-05-14T06:28:41,085 running bdist_wheel 2023-05-14T06:28:41,370 running build 2023-05-14T06:28:41,370 running build_py 2023-05-14T06:28:41,400 creating build 2023-05-14T06:28:41,401 creating build/lib 2023-05-14T06:28:41,402 creating build/lib/certora_jars 2023-05-14T06:28:41,403 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-14T06:28:41,406 creating build/lib/certora_cli 2023-05-14T06:28:41,406 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-14T06:28:41,408 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-14T06:28:41,411 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-14T06:28:41,414 creating build/lib/certora_cli/EVMVerifier 2023-05-14T06:28:41,415 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T06:28:41,417 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T06:28:41,422 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T06:28:41,424 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T06:28:41,427 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T06:28:41,431 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T06:28:41,434 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T06:28:41,437 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T06:28:41,439 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T06:28:41,442 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T06:28:41,445 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T06:28:41,447 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T06:28:41,449 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T06:28:41,452 creating build/lib/certora_cli/Shared 2023-05-14T06:28:41,453 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-14T06:28:41,455 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-14T06:28:41,457 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-14T06:28:41,460 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-14T06:28:41,464 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T06:28:41,464 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T06:28:41,467 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T06:28:41,469 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T06:28:41,471 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T06:28:41,473 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T06:28:41,476 running egg_info 2023-05-14T06:28:41,539 writing certora_cli_alpha_shelly_betterCertoraException.egg-info/PKG-INFO 2023-05-14T06:28:41,541 writing dependency_links to certora_cli_alpha_shelly_betterCertoraException.egg-info/dependency_links.txt 2023-05-14T06:28:41,543 writing entry points to certora_cli_alpha_shelly_betterCertoraException.egg-info/entry_points.txt 2023-05-14T06:28:41,545 writing requirements to certora_cli_alpha_shelly_betterCertoraException.egg-info/requires.txt 2023-05-14T06:28:41,546 writing top-level names to certora_cli_alpha_shelly_betterCertoraException.egg-info/top_level.txt 2023-05-14T06:28:41,580 reading manifest file 'certora_cli_alpha_shelly_betterCertoraException.egg-info/SOURCES.txt' 2023-05-14T06:28:41,583 reading manifest template 'MANIFEST.in' 2023-05-14T06:28:41,593 adding license file 'LICENSE' 2023-05-14T06:28:41,597 writing manifest file 'certora_cli_alpha_shelly_betterCertoraException.egg-info/SOURCES.txt' 2023-05-14T06:28:41,600 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-14T06:28:41,602 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-14T06:28:41,804 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-14T06:28:41,963 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-14T06:28:42,154 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-14T06:28:42,288 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-14T06:28:42,400 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-14T06:28:42,401 !! 2023-05-14T06:28:42,401 ******************************************************************************** 2023-05-14T06:28:42,401 Please avoid running ``setup.py`` directly. 2023-05-14T06:28:42,401 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-14T06:28:42,401 other standards-based tools. 2023-05-14T06:28:42,402 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-14T06:28:42,402 ******************************************************************************** 2023-05-14T06:28:42,402 !! 2023-05-14T06:28:42,402 self.initialize_options() 2023-05-14T06:28:42,430 installing to build/bdist.linux-aarch64/wheel 2023-05-14T06:28:42,430 running install 2023-05-14T06:28:42,456 running install_lib 2023-05-14T06:28:42,484 creating build/bdist.linux-aarch64 2023-05-14T06:28:42,485 creating build/bdist.linux-aarch64/wheel 2023-05-14T06:28:42,487 creating build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T06:28:42,488 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T06:28:42,490 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T06:28:42,493 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T06:28:42,686 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T06:28:42,813 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T06:28:42,967 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T06:28:43,185 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T06:28:43,276 creating build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T06:28:43,277 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T06:28:43,278 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T06:28:43,281 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T06:28:43,283 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T06:28:43,284 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T06:28:43,286 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T06:28:43,291 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T06:28:43,294 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T06:28:43,297 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T06:28:43,300 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T06:28:43,303 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T06:28:43,306 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T06:28:43,308 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T06:28:43,309 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T06:28:43,311 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T06:28:43,313 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T06:28:43,315 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T06:28:43,318 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T06:28:43,321 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T06:28:43,324 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T06:28:43,327 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T06:28:43,329 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T06:28:43,331 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T06:28:43,334 creating build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T06:28:43,335 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T06:28:43,337 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T06:28:43,339 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T06:28:43,343 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T06:28:43,345 running install_egg_info 2023-05-14T06:28:43,376 Copying certora_cli_alpha_shelly_betterCertoraException.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_shelly_betterCertoraException-20230508.16.25.408704-py3.9.egg-info 2023-05-14T06:28:43,388 running install_scripts 2023-05-14T06:28:43,406 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-05-14T06:28:43,411 creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_shelly_betterCertoraException-20230508.16.25.408704.dist-info/WHEEL 2023-05-14T06:28:43,413 creating '/tmp/pip-wheel-fjo1ud_9/certora_cli_alpha_shelly_betterCertoraException-20230508.16.25.408704-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it 2023-05-14T06:28:43,416 adding 'certora_cli/__init__.py' 2023-05-14T06:28:43,417 adding 'certora_cli/certoraMutate.py' 2023-05-14T06:28:43,419 adding 'certora_cli/certoraRun.py' 2023-05-14T06:28:43,421 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-14T06:28:43,443 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-14T06:28:43,450 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-14T06:28:43,452 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-14T06:28:43,454 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-14T06:28:43,458 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-14T06:28:43,462 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-14T06:28:43,464 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-14T06:28:43,469 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-14T06:28:43,472 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-14T06:28:43,473 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-14T06:28:43,476 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-14T06:28:43,480 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-14T06:28:43,482 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-14T06:28:43,484 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-14T06:28:43,486 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-14T06:28:43,490 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-14T06:28:43,491 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-14T06:28:43,493 adding 'certora_cli/Shared/__init__.py' 2023-05-14T06:28:43,495 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-14T06:28:43,497 adding 'certora_cli/Shared/certoraTester.py' 2023-05-14T06:28:43,504 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-14T06:28:43,507 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-14T06:28:45,102 adding 'certora_jars/MutationTest.jar' 2023-05-14T06:28:46,413 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-14T06:28:47,902 adding 'certora_jars/Typechecker.jar' 2023-05-14T06:28:47,983 adding 'certora_jars/__init__.py' 2023-05-14T06:28:48,833 adding 'certora_jars/gambit-linux' 2023-05-14T06:28:49,689 adding 'certora_jars/gambit-macos' 2023-05-14T06:28:49,725 adding 'certora_cli_alpha_shelly_betterCertoraException-20230508.16.25.408704.dist-info/LICENSE' 2023-05-14T06:28:49,727 adding 'certora_cli_alpha_shelly_betterCertoraException-20230508.16.25.408704.dist-info/METADATA' 2023-05-14T06:28:49,728 adding 'certora_cli_alpha_shelly_betterCertoraException-20230508.16.25.408704.dist-info/WHEEL' 2023-05-14T06:28:49,730 adding 'certora_cli_alpha_shelly_betterCertoraException-20230508.16.25.408704.dist-info/entry_points.txt' 2023-05-14T06:28:49,731 adding 'certora_cli_alpha_shelly_betterCertoraException-20230508.16.25.408704.dist-info/top_level.txt' 2023-05-14T06:28:49,732 adding 'certora_cli_alpha_shelly_betterCertoraException-20230508.16.25.408704.dist-info/RECORD' 2023-05-14T06:28:50,286 removing build/bdist.linux-aarch64/wheel 2023-05-14T06:28:50,416 Building wheel for certora-cli-alpha-shelly-bettercertoraexception (setup.py): finished with status 'done' 2023-05-14T06:28:51,197 Created wheel for certora-cli-alpha-shelly-bettercertoraexception: filename=certora_cli_alpha_shelly_betterCertoraException-20230508.16.25.408704-py3-none-any.whl size=38515071 sha256=de088e2799aa00536f1bf8f7e45de5542196c1245e5c4e53208baa3bae031e9e 2023-05-14T06:28:51,198 Stored in directory: /tmp/pip-ephem-wheel-cache-w3rr33mc/wheels/4f/d3/a2/6522399a31de9e28da38525a42bf9465242a6b27687ede4435 2023-05-14T06:28:51,227 Successfully built certora-cli-alpha-shelly-bettercertoraexception 2023-05-14T06:28:52,284 Removed build tracker: '/tmp/pip-build-tracker-xhrpm5_d'