2023-05-14T08:09:31,756 Created temporary directory: /tmp/pip-build-tracker-_asbanm3
2023-05-14T08:09:31,757 Initialized build tracking at /tmp/pip-build-tracker-_asbanm3
2023-05-14T08:09:31,757 Created build tracker: /tmp/pip-build-tracker-_asbanm3
2023-05-14T08:09:31,758 Entered build tracker: /tmp/pip-build-tracker-_asbanm3
2023-05-14T08:09:31,758 Created temporary directory: /tmp/pip-wheel-67l9i0zr
2023-05-14T08:09:31,762 Created temporary directory: /tmp/pip-ephem-wheel-cache-095onvs7
2023-05-14T08:09:31,787 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-14T08:09:31,791 2 location(s) to search for versions of certora-cli-alpha-yuvalbd-non-empty-list-soundness:
2023-05-14T08:09:31,791 * https://pypi.org/simple/certora-cli-alpha-yuvalbd-non-empty-list-soundness/
2023-05-14T08:09:31,791 * https://www.piwheels.org/simple/certora-cli-alpha-yuvalbd-non-empty-list-soundness/
2023-05-14T08:09:31,791 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-yuvalbd-non-empty-list-soundness/
2023-05-14T08:09:31,792 Getting page https://pypi.org/simple/certora-cli-alpha-yuvalbd-non-empty-list-soundness/
2023-05-14T08:09:31,794 Found index url https://pypi.org/simple/
2023-05-14T08:09:31,844 Fetched page https://pypi.org/simple/certora-cli-alpha-yuvalbd-non-empty-list-soundness/ as application/vnd.pypi.simple.v1+json
2023-05-14T08:09:31,846   Found link https://files.pythonhosted.org/packages/78/8a/38faa88b0c38282199c402734b4a844dbaf3326190ebd5b16da6ca592d23/certora-cli-alpha-yuvalbd-non_empty_list_soundness-20230509.7.33.181487.tar.gz (from https://pypi.org/simple/certora-cli-alpha-yuvalbd-non-empty-list-soundness/) (requires-python:>=3.8.16), version: 20230509.7.33.181487
2023-05-14T08:09:31,847   Skipping link: No binaries permitted for certora-cli-alpha-yuvalbd-non-empty-list-soundness: https://files.pythonhosted.org/packages/97/98/fc9951f45c87e90593bf7ddb7bc93ba7630f37d81f5594e7983f1f400ec4/certora_cli_alpha_yuvalbd_non_empty_list_soundness-20230509.7.33.181487-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-yuvalbd-non-empty-list-soundness/) (requires-python:>=3.8.16)
2023-05-14T08:09:31,847   Found link https://files.pythonhosted.org/packages/f1/23/912ab46099131c812b4daf6e9171360752362121c775071d54ebd8eab1c4/certora-cli-alpha-yuvalbd-non_empty_list_soundness-20230509.10.41.463517.tar.gz (from https://pypi.org/simple/certora-cli-alpha-yuvalbd-non-empty-list-soundness/) (requires-python:>=3.8.16), version: 20230509.10.41.463517
2023-05-14T08:09:31,848   Skipping link: No binaries permitted for certora-cli-alpha-yuvalbd-non-empty-list-soundness: https://files.pythonhosted.org/packages/7f/85/a38e5abe83966fe7c89f6c60a6ef7580224ea403ff7ad75c9d535c19ef14/certora_cli_alpha_yuvalbd_non_empty_list_soundness-20230509.10.41.463517-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-yuvalbd-non-empty-list-soundness/) (requires-python:>=3.8.16)
2023-05-14T08:09:31,848 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-yuvalbd-non-empty-list-soundness/
2023-05-14T08:09:31,848 Getting page https://www.piwheels.org/simple/certora-cli-alpha-yuvalbd-non-empty-list-soundness/
2023-05-14T08:09:31,849 Found index url https://www.piwheels.org/simple/
2023-05-14T08:09:32,010 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-yuvalbd-non-empty-list-soundness/ as text/html
2023-05-14T08:09:32,011   Skipping link: No binaries permitted for certora-cli-alpha-yuvalbd-non-empty-list-soundness: https://www.piwheels.org/simple/certora-cli-alpha-yuvalbd-non-empty-list-soundness/certora_cli_alpha_yuvalbd_non_empty_list_soundness-20230509.10.41.463517-py3-none-any.whl#sha256=b61600876c446ea367c19b482a3e734b908abfefb82faf26d505737e79f95a0b (from https://www.piwheels.org/simple/certora-cli-alpha-yuvalbd-non-empty-list-soundness/) (requires-python:>=3.8.16)
2023-05-14T08:09:32,012   Skipping link: No binaries permitted for certora-cli-alpha-yuvalbd-non-empty-list-soundness: https://www.piwheels.org/simple/certora-cli-alpha-yuvalbd-non-empty-list-soundness/certora_cli_alpha_yuvalbd_non_empty_list_soundness-20230509.7.33.181487-py3-none-any.whl#sha256=394194fc49710ceb7dbefa736e0e6cf05b778ea46e9fc41fd3a7a60c5a61b6db (from https://www.piwheels.org/simple/certora-cli-alpha-yuvalbd-non-empty-list-soundness/) (requires-python:>=3.8.16)
2023-05-14T08:09:32,012 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-yuvalbd-non-empty-list-soundness/
2023-05-14T08:09:32,012 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-yuvalbd-non-empty-list-soundness/
2023-05-14T08:09:32,031 Given no hashes to check 1 links for project 'certora-cli-alpha-yuvalbd-non-empty-list-soundness': discarding no candidates
2023-05-14T08:09:32,048 Collecting certora-cli-alpha-yuvalbd-non-empty-list-soundness==20230509.7.33.181487
2023-05-14T08:09:32,050   Created temporary directory: /tmp/pip-unpack-1quytq3u
2023-05-14T08:09:32,696   Downloading certora-cli-alpha-yuvalbd-non_empty_list_soundness-20230509.7.33.181487.tar.gz (39.2 MB)
2023-05-14T08:09:44,246   Added certora-cli-alpha-yuvalbd-non-empty-list-soundness==20230509.7.33.181487 from https://files.pythonhosted.org/packages/78/8a/38faa88b0c38282199c402734b4a844dbaf3326190ebd5b16da6ca592d23/certora-cli-alpha-yuvalbd-non_empty_list_soundness-20230509.7.33.181487.tar.gz to build tracker '/tmp/pip-build-tracker-_asbanm3'
2023-05-14T08:09:44,248   Running setup.py (path:/tmp/pip-wheel-67l9i0zr/certora-cli-alpha-yuvalbd-non-empty-list-soundness_128fd74218654b088c32b2126c577a25/setup.py) egg_info for package certora-cli-alpha-yuvalbd-non-empty-list-soundness
2023-05-14T08:09:44,248   Created temporary directory: /tmp/pip-pip-egg-info-9o3e2mzo
2023-05-14T08:09:44,249   Preparing metadata (setup.py): started
2023-05-14T08:09:44,250   Running command python setup.py egg_info
2023-05-14T08:09:44,862   running egg_info
2023-05-14T08:09:44,863   creating /tmp/pip-pip-egg-info-9o3e2mzo/certora_cli_alpha_yuvalbd_non_empty_list_soundness.egg-info
2023-05-14T08:09:44,889   writing /tmp/pip-pip-egg-info-9o3e2mzo/certora_cli_alpha_yuvalbd_non_empty_list_soundness.egg-info/PKG-INFO
2023-05-14T08:09:44,891   writing dependency_links to /tmp/pip-pip-egg-info-9o3e2mzo/certora_cli_alpha_yuvalbd_non_empty_list_soundness.egg-info/dependency_links.txt
2023-05-14T08:09:44,893   writing entry points to /tmp/pip-pip-egg-info-9o3e2mzo/certora_cli_alpha_yuvalbd_non_empty_list_soundness.egg-info/entry_points.txt
2023-05-14T08:09:44,895   writing requirements to /tmp/pip-pip-egg-info-9o3e2mzo/certora_cli_alpha_yuvalbd_non_empty_list_soundness.egg-info/requires.txt
2023-05-14T08:09:44,896   writing top-level names to /tmp/pip-pip-egg-info-9o3e2mzo/certora_cli_alpha_yuvalbd_non_empty_list_soundness.egg-info/top_level.txt
2023-05-14T08:09:44,898   writing manifest file '/tmp/pip-pip-egg-info-9o3e2mzo/certora_cli_alpha_yuvalbd_non_empty_list_soundness.egg-info/SOURCES.txt'
2023-05-14T08:09:44,984   reading manifest file '/tmp/pip-pip-egg-info-9o3e2mzo/certora_cli_alpha_yuvalbd_non_empty_list_soundness.egg-info/SOURCES.txt'
2023-05-14T08:09:44,985   reading manifest template 'MANIFEST.in'
2023-05-14T08:09:44,995   adding license file 'LICENSE'
2023-05-14T08:09:44,999   writing manifest file '/tmp/pip-pip-egg-info-9o3e2mzo/certora_cli_alpha_yuvalbd_non_empty_list_soundness.egg-info/SOURCES.txt'
2023-05-14T08:09:45,059   Preparing metadata (setup.py): finished with status 'done'
2023-05-14T08:09:45,064   Source in /tmp/pip-wheel-67l9i0zr/certora-cli-alpha-yuvalbd-non-empty-list-soundness_128fd74218654b088c32b2126c577a25 has version 20230509.7.33.181487, which satisfies requirement certora-cli-alpha-yuvalbd-non-empty-list-soundness==20230509.7.33.181487 from https://files.pythonhosted.org/packages/78/8a/38faa88b0c38282199c402734b4a844dbaf3326190ebd5b16da6ca592d23/certora-cli-alpha-yuvalbd-non_empty_list_soundness-20230509.7.33.181487.tar.gz
2023-05-14T08:09:45,065   Removed certora-cli-alpha-yuvalbd-non-empty-list-soundness==20230509.7.33.181487 from https://files.pythonhosted.org/packages/78/8a/38faa88b0c38282199c402734b4a844dbaf3326190ebd5b16da6ca592d23/certora-cli-alpha-yuvalbd-non_empty_list_soundness-20230509.7.33.181487.tar.gz from build tracker '/tmp/pip-build-tracker-_asbanm3'
2023-05-14T08:09:45,072 Created temporary directory: /tmp/pip-unpack-09v48oyi
2023-05-14T08:09:45,073 Building wheels for collected packages: certora-cli-alpha-yuvalbd-non-empty-list-soundness
2023-05-14T08:09:45,077   Created temporary directory: /tmp/pip-wheel-iyfq9rkg
2023-05-14T08:09:45,078   Building wheel for certora-cli-alpha-yuvalbd-non-empty-list-soundness (setup.py): started
2023-05-14T08:09:45,079   Destination directory: /tmp/pip-wheel-iyfq9rkg
2023-05-14T08:09:45,079   Running command python setup.py bdist_wheel
2023-05-14T08:09:45,915   running bdist_wheel
2023-05-14T08:09:46,208   running build
2023-05-14T08:09:46,209   running build_py
2023-05-14T08:09:46,238   creating build
2023-05-14T08:09:46,238   creating build/lib
2023-05-14T08:09:46,239   creating build/lib/certora_jars
2023-05-14T08:09:46,240   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-14T08:09:46,243   creating build/lib/certora_cli
2023-05-14T08:09:46,244   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-14T08:09:46,246   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-14T08:09:46,247   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-14T08:09:46,250   creating build/lib/certora_cli/Shared
2023-05-14T08:09:46,251   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-14T08:09:46,254   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-14T08:09:46,256   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-14T08:09:46,259   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-14T08:09:46,262   creating build/lib/certora_cli/EVMVerifier
2023-05-14T08:09:46,263   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:09:46,269   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:09:46,272   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:09:46,274   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:09:46,276   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:09:46,279   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:09:46,283   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:09:46,286   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:09:46,288   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:09:46,291   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:09:46,294   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:09:46,297   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:09:46,300   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:09:46,303   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T08:09:46,305   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T08:09:46,307   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T08:09:46,310   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T08:09:46,312   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T08:09:46,315   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T08:09:46,318   running egg_info
2023-05-14T08:09:46,378   writing certora_cli_alpha_yuvalbd_non_empty_list_soundness.egg-info/PKG-INFO
2023-05-14T08:09:46,381   writing dependency_links to certora_cli_alpha_yuvalbd_non_empty_list_soundness.egg-info/dependency_links.txt
2023-05-14T08:09:46,383   writing entry points to certora_cli_alpha_yuvalbd_non_empty_list_soundness.egg-info/entry_points.txt
2023-05-14T08:09:46,385   writing requirements to certora_cli_alpha_yuvalbd_non_empty_list_soundness.egg-info/requires.txt
2023-05-14T08:09:46,386   writing top-level names to certora_cli_alpha_yuvalbd_non_empty_list_soundness.egg-info/top_level.txt
2023-05-14T08:09:46,417   reading manifest file 'certora_cli_alpha_yuvalbd_non_empty_list_soundness.egg-info/SOURCES.txt'
2023-05-14T08:09:46,421   reading manifest template 'MANIFEST.in'
2023-05-14T08:09:46,430   adding license file 'LICENSE'
2023-05-14T08:09:46,435   writing manifest file 'certora_cli_alpha_yuvalbd_non_empty_list_soundness.egg-info/SOURCES.txt'
2023-05-14T08:09:46,439   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-14T08:09:46,441   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-14T08:09:46,676   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-14T08:09:46,868   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-14T08:09:47,068   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-14T08:09:47,244   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-14T08:09:47,368   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-14T08:09:47,368   !!

2023-05-14T08:09:47,368           ********************************************************************************
2023-05-14T08:09:47,369           Please avoid running ``setup.py`` directly.
2023-05-14T08:09:47,369           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-14T08:09:47,369           other standards-based tools.

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

2023-05-14T08:09:47,370   !!
2023-05-14T08:09:47,370     self.initialize_options()
2023-05-14T08:09:47,395   installing to build/bdist.linux-aarch64/wheel
2023-05-14T08:09:47,395   running install
2023-05-14T08:09:47,421   running install_lib
2023-05-14T08:09:47,448   creating build/bdist.linux-aarch64
2023-05-14T08:09:47,448   creating build/bdist.linux-aarch64/wheel
2023-05-14T08:09:47,450   creating build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T08:09:47,451   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T08:09:47,453   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T08:09:47,605   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T08:09:47,711   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T08:09:47,924   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T08:09:48,344   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T08:09:48,578   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T08:09:48,581   creating build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T08:09:48,582   creating build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T08:09:48,584   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T08:09:48,587   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T08:09:48,589   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T08:09:48,593   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T08:09:48,596   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:09:48,597   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:09:48,603   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:09:48,606   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T08:09:48,607   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T08:09:48,610   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T08:09:48,613   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T08:09:48,615   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T08:09:48,618   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T08:09:48,622   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:09:48,624   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:09:48,626   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:09:48,630   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:09:48,633   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:09:48,637   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:09:48,639   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:09:48,642   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:09:48,646   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:09:48,662   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:09:48,665   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:09:48,668   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T08:09:48,672   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T08:09:48,674   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T08:09:48,676   running install_egg_info
2023-05-14T08:09:48,707   Copying certora_cli_alpha_yuvalbd_non_empty_list_soundness.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_yuvalbd_non_empty_list_soundness-20230509.7.33.181487-py3.9.egg-info
2023-05-14T08:09:48,719   running install_scripts
2023-05-14T08:09:48,736   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2023-05-14T08:09:48,741   creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_yuvalbd_non_empty_list_soundness-20230509.7.33.181487.dist-info/WHEEL
2023-05-14T08:09:48,744   creating '/tmp/pip-wheel-iyfq9rkg/certora_cli_alpha_yuvalbd_non_empty_list_soundness-20230509.7.33.181487-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it
2023-05-14T08:09:48,746   adding 'certora_cli/__init__.py'
2023-05-14T08:09:48,748   adding 'certora_cli/certoraMutate.py'
2023-05-14T08:09:48,751   adding 'certora_cli/certoraRun.py'
2023-05-14T08:09:48,753   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-14T08:09:48,775   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-14T08:09:48,783   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-14T08:09:48,785   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-14T08:09:48,787   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-14T08:09:48,792   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-14T08:09:48,796   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-14T08:09:48,798   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-14T08:09:48,804   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-14T08:09:48,807   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-14T08:09:48,808   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-14T08:09:48,811   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-14T08:09:48,815   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-14T08:09:48,817   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-14T08:09:48,819   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-14T08:09:48,821   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-14T08:09:48,825   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-14T08:09:48,827   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-14T08:09:48,828   adding 'certora_cli/Shared/__init__.py'
2023-05-14T08:09:48,831   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-14T08:09:48,832   adding 'certora_cli/Shared/certoraTester.py'
2023-05-14T08:09:48,839   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-14T08:09:48,842   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-14T08:09:50,472   adding 'certora_jars/MutationTest.jar'
2023-05-14T08:09:51,783   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-14T08:09:53,320   adding 'certora_jars/Typechecker.jar'
2023-05-14T08:09:53,402   adding 'certora_jars/__init__.py'
2023-05-14T08:09:54,256   adding 'certora_jars/gambit-linux'
2023-05-14T08:09:55,113   adding 'certora_jars/gambit-macos'
2023-05-14T08:09:55,149   adding 'certora_cli_alpha_yuvalbd_non_empty_list_soundness-20230509.7.33.181487.dist-info/LICENSE'
2023-05-14T08:09:55,150   adding 'certora_cli_alpha_yuvalbd_non_empty_list_soundness-20230509.7.33.181487.dist-info/METADATA'
2023-05-14T08:09:55,151   adding 'certora_cli_alpha_yuvalbd_non_empty_list_soundness-20230509.7.33.181487.dist-info/WHEEL'
2023-05-14T08:09:55,152   adding 'certora_cli_alpha_yuvalbd_non_empty_list_soundness-20230509.7.33.181487.dist-info/entry_points.txt'
2023-05-14T08:09:55,153   adding 'certora_cli_alpha_yuvalbd_non_empty_list_soundness-20230509.7.33.181487.dist-info/top_level.txt'
2023-05-14T08:09:55,154   adding 'certora_cli_alpha_yuvalbd_non_empty_list_soundness-20230509.7.33.181487.dist-info/RECORD'
2023-05-14T08:09:55,593   removing build/bdist.linux-aarch64/wheel
2023-05-14T08:09:55,714   Building wheel for certora-cli-alpha-yuvalbd-non-empty-list-soundness (setup.py): finished with status 'done'
2023-05-14T08:09:56,040   Created wheel for certora-cli-alpha-yuvalbd-non-empty-list-soundness: filename=certora_cli_alpha_yuvalbd_non_empty_list_soundness-20230509.7.33.181487-py3-none-any.whl size=39251683 sha256=4751b1fe1ea1c118892de7474cadfdc163db90b4fdbd76fc585abfb935e72381
2023-05-14T08:09:56,042   Stored in directory: /tmp/pip-ephem-wheel-cache-095onvs7/wheels/10/2f/9f/504f6fe022446e3295d9c951c6a9d23f8857e819349830c69f
2023-05-14T08:09:56,071 Successfully built certora-cli-alpha-yuvalbd-non-empty-list-soundness
2023-05-14T08:09:57,083 Removed build tracker: '/tmp/pip-build-tracker-_asbanm3'