2023-05-14T08:26:53,953 Created temporary directory: /tmp/pip-build-tracker-z1ezb4m9
2023-05-14T08:26:53,954 Initialized build tracking at /tmp/pip-build-tracker-z1ezb4m9
2023-05-14T08:26:53,955 Created build tracker: /tmp/pip-build-tracker-z1ezb4m9
2023-05-14T08:26:53,955 Entered build tracker: /tmp/pip-build-tracker-z1ezb4m9
2023-05-14T08:26:53,955 Created temporary directory: /tmp/pip-wheel-yktlrc8r
2023-05-14T08:26:53,959 Created temporary directory: /tmp/pip-ephem-wheel-cache-ycgo_dbp
2023-05-14T08:26:53,986 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-14T08:26:53,990 2 location(s) to search for versions of certora-cli-alpha-yuvalbd-non-empty-list-soundness:
2023-05-14T08:26:53,990 * https://pypi.org/simple/certora-cli-alpha-yuvalbd-non-empty-list-soundness/
2023-05-14T08:26:53,990 * https://www.piwheels.org/simple/certora-cli-alpha-yuvalbd-non-empty-list-soundness/
2023-05-14T08:26:53,990 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-yuvalbd-non-empty-list-soundness/
2023-05-14T08:26:53,991 Getting page https://pypi.org/simple/certora-cli-alpha-yuvalbd-non-empty-list-soundness/
2023-05-14T08:26:53,993 Found index url https://pypi.org/simple/
2023-05-14T08:26:54,045 Fetched page https://pypi.org/simple/certora-cli-alpha-yuvalbd-non-empty-list-soundness/ as application/vnd.pypi.simple.v1+json
2023-05-14T08:26:54,047   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:26:54,047   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:26:54,048   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:26:54,048   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:26:54,048 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-yuvalbd-non-empty-list-soundness/
2023-05-14T08:26:54,049 Getting page https://www.piwheels.org/simple/certora-cli-alpha-yuvalbd-non-empty-list-soundness/
2023-05-14T08:26:54,050 Found index url https://www.piwheels.org/simple/
2023-05-14T08:26:54,272 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-yuvalbd-non-empty-list-soundness/ as text/html
2023-05-14T08:26:54,274   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=4751b1fe1ea1c118892de7474cadfdc163db90b4fdbd76fc585abfb935e72381 (from https://www.piwheels.org/simple/certora-cli-alpha-yuvalbd-non-empty-list-soundness/) (requires-python:>=3.8.16)
2023-05-14T08:26:54,274 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-yuvalbd-non-empty-list-soundness/
2023-05-14T08:26:54,274 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-yuvalbd-non-empty-list-soundness/
2023-05-14T08:26:54,293 Given no hashes to check 1 links for project 'certora-cli-alpha-yuvalbd-non-empty-list-soundness': discarding no candidates
2023-05-14T08:26:54,310 Collecting certora-cli-alpha-yuvalbd-non-empty-list-soundness==20230509.10.41.463517
2023-05-14T08:26:54,313   Created temporary directory: /tmp/pip-unpack-eezevgb8
2023-05-14T08:26:54,454   Downloading certora-cli-alpha-yuvalbd-non_empty_list_soundness-20230509.10.41.463517.tar.gz (39.2 MB)
2023-05-14T08:27:02,402   Added certora-cli-alpha-yuvalbd-non-empty-list-soundness==20230509.10.41.463517 from https://files.pythonhosted.org/packages/f1/23/912ab46099131c812b4daf6e9171360752362121c775071d54ebd8eab1c4/certora-cli-alpha-yuvalbd-non_empty_list_soundness-20230509.10.41.463517.tar.gz to build tracker '/tmp/pip-build-tracker-z1ezb4m9'
2023-05-14T08:27:02,405   Running setup.py (path:/tmp/pip-wheel-yktlrc8r/certora-cli-alpha-yuvalbd-non-empty-list-soundness_fc30a71112394df59aa1f1d67ba7770d/setup.py) egg_info for package certora-cli-alpha-yuvalbd-non-empty-list-soundness
2023-05-14T08:27:02,405   Created temporary directory: /tmp/pip-pip-egg-info-r2b68waa
2023-05-14T08:27:02,406   Preparing metadata (setup.py): started
2023-05-14T08:27:02,407   Running command python setup.py egg_info
2023-05-14T08:27:03,053   running egg_info
2023-05-14T08:27:03,055   creating /tmp/pip-pip-egg-info-r2b68waa/certora_cli_alpha_yuvalbd_non_empty_list_soundness.egg-info
2023-05-14T08:27:03,080   writing /tmp/pip-pip-egg-info-r2b68waa/certora_cli_alpha_yuvalbd_non_empty_list_soundness.egg-info/PKG-INFO
2023-05-14T08:27:03,083   writing dependency_links to /tmp/pip-pip-egg-info-r2b68waa/certora_cli_alpha_yuvalbd_non_empty_list_soundness.egg-info/dependency_links.txt
2023-05-14T08:27:03,085   writing entry points to /tmp/pip-pip-egg-info-r2b68waa/certora_cli_alpha_yuvalbd_non_empty_list_soundness.egg-info/entry_points.txt
2023-05-14T08:27:03,086   writing requirements to /tmp/pip-pip-egg-info-r2b68waa/certora_cli_alpha_yuvalbd_non_empty_list_soundness.egg-info/requires.txt
2023-05-14T08:27:03,087   writing top-level names to /tmp/pip-pip-egg-info-r2b68waa/certora_cli_alpha_yuvalbd_non_empty_list_soundness.egg-info/top_level.txt
2023-05-14T08:27:03,089   writing manifest file '/tmp/pip-pip-egg-info-r2b68waa/certora_cli_alpha_yuvalbd_non_empty_list_soundness.egg-info/SOURCES.txt'
2023-05-14T08:27:03,174   reading manifest file '/tmp/pip-pip-egg-info-r2b68waa/certora_cli_alpha_yuvalbd_non_empty_list_soundness.egg-info/SOURCES.txt'
2023-05-14T08:27:03,176   reading manifest template 'MANIFEST.in'
2023-05-14T08:27:03,186   adding license file 'LICENSE'
2023-05-14T08:27:03,189   writing manifest file '/tmp/pip-pip-egg-info-r2b68waa/certora_cli_alpha_yuvalbd_non_empty_list_soundness.egg-info/SOURCES.txt'
2023-05-14T08:27:03,248   Preparing metadata (setup.py): finished with status 'done'
2023-05-14T08:27:03,254   Source in /tmp/pip-wheel-yktlrc8r/certora-cli-alpha-yuvalbd-non-empty-list-soundness_fc30a71112394df59aa1f1d67ba7770d has version 20230509.10.41.463517, which satisfies requirement certora-cli-alpha-yuvalbd-non-empty-list-soundness==20230509.10.41.463517 from https://files.pythonhosted.org/packages/f1/23/912ab46099131c812b4daf6e9171360752362121c775071d54ebd8eab1c4/certora-cli-alpha-yuvalbd-non_empty_list_soundness-20230509.10.41.463517.tar.gz
2023-05-14T08:27:03,255   Removed certora-cli-alpha-yuvalbd-non-empty-list-soundness==20230509.10.41.463517 from https://files.pythonhosted.org/packages/f1/23/912ab46099131c812b4daf6e9171360752362121c775071d54ebd8eab1c4/certora-cli-alpha-yuvalbd-non_empty_list_soundness-20230509.10.41.463517.tar.gz from build tracker '/tmp/pip-build-tracker-z1ezb4m9'
2023-05-14T08:27:03,262 Created temporary directory: /tmp/pip-unpack-yeiu7czi
2023-05-14T08:27:03,263 Building wheels for collected packages: certora-cli-alpha-yuvalbd-non-empty-list-soundness
2023-05-14T08:27:03,267   Created temporary directory: /tmp/pip-wheel-shfcji1c
2023-05-14T08:27:03,268   Building wheel for certora-cli-alpha-yuvalbd-non-empty-list-soundness (setup.py): started
2023-05-14T08:27:03,269   Destination directory: /tmp/pip-wheel-shfcji1c
2023-05-14T08:27:03,269   Running command python setup.py bdist_wheel
2023-05-14T08:27:04,107   running bdist_wheel
2023-05-14T08:27:04,399   running build
2023-05-14T08:27:04,399   running build_py
2023-05-14T08:27:04,429   creating build
2023-05-14T08:27:04,429   creating build/lib
2023-05-14T08:27:04,430   creating build/lib/certora_jars
2023-05-14T08:27:04,432   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-14T08:27:04,434   creating build/lib/certora_cli
2023-05-14T08:27:04,435   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-14T08:27:04,437   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-14T08:27:04,439   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-14T08:27:04,442   creating build/lib/certora_cli/Shared
2023-05-14T08:27:04,443   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-14T08:27:04,446   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-14T08:27:04,448   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-14T08:27:04,451   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-14T08:27:04,454   creating build/lib/certora_cli/EVMVerifier
2023-05-14T08:27:04,455   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:27:04,463   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:27:04,466   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:27:04,468   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:27:04,470   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:27:04,473   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:27:04,477   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:27:04,480   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:27:04,482   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:27:04,485   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:27:04,488   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:27:04,492   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:27:04,494   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T08:27:04,497   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T08:27:04,498   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T08:27:04,501   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T08:27:04,503   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T08:27:04,505   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T08:27:04,507   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T08:27:04,510   running egg_info
2023-05-14T08:27:04,572   writing certora_cli_alpha_yuvalbd_non_empty_list_soundness.egg-info/PKG-INFO
2023-05-14T08:27:04,574   writing dependency_links to certora_cli_alpha_yuvalbd_non_empty_list_soundness.egg-info/dependency_links.txt
2023-05-14T08:27:04,576   writing entry points to certora_cli_alpha_yuvalbd_non_empty_list_soundness.egg-info/entry_points.txt
2023-05-14T08:27:04,577   writing requirements to certora_cli_alpha_yuvalbd_non_empty_list_soundness.egg-info/requires.txt
2023-05-14T08:27:04,579   writing top-level names to certora_cli_alpha_yuvalbd_non_empty_list_soundness.egg-info/top_level.txt
2023-05-14T08:27:04,609   reading manifest file 'certora_cli_alpha_yuvalbd_non_empty_list_soundness.egg-info/SOURCES.txt'
2023-05-14T08:27:04,612   reading manifest template 'MANIFEST.in'
2023-05-14T08:27:04,621   adding license file 'LICENSE'
2023-05-14T08:27:04,626   writing manifest file 'certora_cli_alpha_yuvalbd_non_empty_list_soundness.egg-info/SOURCES.txt'
2023-05-14T08:27:04,629   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-14T08:27:04,631   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-14T08:27:04,854   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-14T08:27:05,041   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-14T08:27:05,221   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-14T08:27:05,338   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-14T08:27:05,462   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-14T08:27:05,462   !!

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

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

2023-05-14T08:27:05,464   !!
2023-05-14T08:27:05,464     self.initialize_options()
2023-05-14T08:27:05,491   installing to build/bdist.linux-aarch64/wheel
2023-05-14T08:27:05,492   running install
2023-05-14T08:27:05,518   running install_lib
2023-05-14T08:27:05,546   creating build/bdist.linux-aarch64
2023-05-14T08:27:05,547   creating build/bdist.linux-aarch64/wheel
2023-05-14T08:27:05,549   creating build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T08:27:05,550   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T08:27:05,553   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T08:27:05,732   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T08:27:05,840   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T08:27:06,182   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T08:27:06,258   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T08:27:06,741   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T08:27:06,743   creating build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T08:27:06,745   creating build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T08:27:06,746   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T08:27:06,749   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T08:27:06,751   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T08:27:06,755   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T08:27:06,757   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:27:06,758   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:27:06,764   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:27:06,767   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T08:27:06,768   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T08:27:06,770   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T08:27:06,773   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T08:27:06,775   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T08:27:06,777   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T08:27:06,780   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:27:06,782   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:27:06,784   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:27:06,788   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:27:06,793   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:27:06,796   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:27:06,798   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:27:06,802   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:27:06,805   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:27:06,809   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:27:06,811   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T08:27:06,814   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T08:27:06,816   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T08:27:06,818   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T08:27:06,820   running install_egg_info
2023-05-14T08:27:06,853   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.10.41.463517-py3.9.egg-info
2023-05-14T08:27:06,865   running install_scripts
2023-05-14T08:27:06,885   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2023-05-14T08:27:06,889   creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_yuvalbd_non_empty_list_soundness-20230509.10.41.463517.dist-info/WHEEL
2023-05-14T08:27:06,892   creating '/tmp/pip-wheel-shfcji1c/certora_cli_alpha_yuvalbd_non_empty_list_soundness-20230509.10.41.463517-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it
2023-05-14T08:27:06,895   adding 'certora_cli/__init__.py'
2023-05-14T08:27:06,896   adding 'certora_cli/certoraMutate.py'
2023-05-14T08:27:06,898   adding 'certora_cli/certoraRun.py'
2023-05-14T08:27:06,900   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-14T08:27:06,922   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-14T08:27:06,929   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-14T08:27:06,931   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-14T08:27:06,933   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-14T08:27:06,938   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-14T08:27:06,941   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-14T08:27:06,943   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-14T08:27:06,949   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-14T08:27:06,951   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-14T08:27:06,953   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-14T08:27:06,956   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-14T08:27:06,959   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-14T08:27:06,962   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-14T08:27:06,964   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-14T08:27:06,966   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-14T08:27:06,970   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-14T08:27:06,972   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-14T08:27:06,974   adding 'certora_cli/Shared/__init__.py'
2023-05-14T08:27:06,976   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-14T08:27:06,978   adding 'certora_cli/Shared/certoraTester.py'
2023-05-14T08:27:06,985   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-14T08:27:06,988   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-14T08:27:08,619   adding 'certora_jars/MutationTest.jar'
2023-05-14T08:27:09,930   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-14T08:27:11,468   adding 'certora_jars/Typechecker.jar'
2023-05-14T08:27:11,552   adding 'certora_jars/__init__.py'
2023-05-14T08:27:12,403   adding 'certora_jars/gambit-linux'
2023-05-14T08:27:13,260   adding 'certora_jars/gambit-macos'
2023-05-14T08:27:13,296   adding 'certora_cli_alpha_yuvalbd_non_empty_list_soundness-20230509.10.41.463517.dist-info/LICENSE'
2023-05-14T08:27:13,297   adding 'certora_cli_alpha_yuvalbd_non_empty_list_soundness-20230509.10.41.463517.dist-info/METADATA'
2023-05-14T08:27:13,298   adding 'certora_cli_alpha_yuvalbd_non_empty_list_soundness-20230509.10.41.463517.dist-info/WHEEL'
2023-05-14T08:27:13,299   adding 'certora_cli_alpha_yuvalbd_non_empty_list_soundness-20230509.10.41.463517.dist-info/entry_points.txt'
2023-05-14T08:27:13,301   adding 'certora_cli_alpha_yuvalbd_non_empty_list_soundness-20230509.10.41.463517.dist-info/top_level.txt'
2023-05-14T08:27:13,302   adding 'certora_cli_alpha_yuvalbd_non_empty_list_soundness-20230509.10.41.463517.dist-info/RECORD'
2023-05-14T08:27:13,745   removing build/bdist.linux-aarch64/wheel
2023-05-14T08:27:13,871   Building wheel for certora-cli-alpha-yuvalbd-non-empty-list-soundness (setup.py): finished with status 'done'
2023-05-14T08:27:14,194   Created wheel for certora-cli-alpha-yuvalbd-non-empty-list-soundness: filename=certora_cli_alpha_yuvalbd_non_empty_list_soundness-20230509.10.41.463517-py3-none-any.whl size=39251696 sha256=b48c4f386ea9629bd640ad20346e4540fc78d80ae1001600005c8cc75d78c77e
2023-05-14T08:27:14,195   Stored in directory: /tmp/pip-ephem-wheel-cache-ycgo_dbp/wheels/d9/b2/63/6ecf34dc189a5cd4f47c7389624ce2e901a58cad081de7cbfa
2023-05-14T08:27:14,225 Successfully built certora-cli-alpha-yuvalbd-non-empty-list-soundness
2023-05-14T08:27:15,155 Removed build tracker: '/tmp/pip-build-tracker-z1ezb4m9'