2023-05-21T09:08:06,778 Created temporary directory: /tmp/pip-build-tracker-2jqgzfqm
2023-05-21T09:08:06,779 Initialized build tracking at /tmp/pip-build-tracker-2jqgzfqm
2023-05-21T09:08:06,779 Created build tracker: /tmp/pip-build-tracker-2jqgzfqm
2023-05-21T09:08:06,779 Entered build tracker: /tmp/pip-build-tracker-2jqgzfqm
2023-05-21T09:08:06,780 Created temporary directory: /tmp/pip-wheel-7xyrq3e8
2023-05-21T09:08:06,783 Created temporary directory: /tmp/pip-ephem-wheel-cache-w9lpmweu
2023-05-21T09:08:06,806 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-21T09:08:06,810 2 location(s) to search for versions of certora-cli-alpha-assaf-verifytacdump:
2023-05-21T09:08:06,810 * https://pypi.org/simple/certora-cli-alpha-assaf-verifytacdump/
2023-05-21T09:08:06,810 * https://www.piwheels.org/simple/certora-cli-alpha-assaf-verifytacdump/
2023-05-21T09:08:06,810 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-assaf-verifytacdump/
2023-05-21T09:08:06,811 Getting page https://pypi.org/simple/certora-cli-alpha-assaf-verifytacdump/
2023-05-21T09:08:06,812 Found index url https://pypi.org/simple/
2023-05-21T09:08:06,862 Fetched page https://pypi.org/simple/certora-cli-alpha-assaf-verifytacdump/ as application/vnd.pypi.simple.v1+json
2023-05-21T09:08:06,864   Found link https://files.pythonhosted.org/packages/a7/36/6ce8907049a78f7d49d8d9638f5793558beb8daefa98950151928a9e7279/certora-cli-alpha-assaf-VerifyTACDump-20230513.9.58.354056.tar.gz (from https://pypi.org/simple/certora-cli-alpha-assaf-verifytacdump/) (requires-python:>=3.8.16), version: 20230513.9.58.354056
2023-05-21T09:08:06,865   Skipping link: No binaries permitted for certora-cli-alpha-assaf-verifytacdump: https://files.pythonhosted.org/packages/02/41/13cd2698ad88dad0d51de25913690777196aed8435dc5b994afce70c6eb1/certora_cli_alpha_assaf_VerifyTACDump-20230513.9.58.354056-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-assaf-verifytacdump/) (requires-python:>=3.8.16)
2023-05-21T09:08:06,865   Found link https://files.pythonhosted.org/packages/b3/7e/92996ac79fd5095bb79cbb771ba6836771a298a547ea1c22c56f04f52871/certora-cli-alpha-assaf-VerifyTACDump-20230521.8.20.471148.tar.gz (from https://pypi.org/simple/certora-cli-alpha-assaf-verifytacdump/) (requires-python:>=3.8.16), version: 20230521.8.20.471148
2023-05-21T09:08:06,866   Skipping link: No binaries permitted for certora-cli-alpha-assaf-verifytacdump: https://files.pythonhosted.org/packages/95/12/05688f358271db7131ab14b25e0b8212482b413db7cdbbe6ddac6456d45c/certora_cli_alpha_assaf_VerifyTACDump-20230521.8.20.471148-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-assaf-verifytacdump/) (requires-python:>=3.8.16)
2023-05-21T09:08:06,866   Found link https://files.pythonhosted.org/packages/a1/89/a6f9604c2acbf2cd8262d6189f9e654ce7e7b98758cd7cef0f8c9f3d49da/certora-cli-alpha-assaf-VerifyTACDump-20230521.8.45.284950.tar.gz (from https://pypi.org/simple/certora-cli-alpha-assaf-verifytacdump/) (requires-python:>=3.8.16), version: 20230521.8.45.284950
2023-05-21T09:08:06,866   Skipping link: No binaries permitted for certora-cli-alpha-assaf-verifytacdump: https://files.pythonhosted.org/packages/d9/48/18a5708fff260b4516dc1cccf3f1468a4ad2cb24cb487fe7e694b352e4f4/certora_cli_alpha_assaf_VerifyTACDump-20230521.8.45.284950-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-assaf-verifytacdump/) (requires-python:>=3.8.16)
2023-05-21T09:08:06,867 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-assaf-verifytacdump/
2023-05-21T09:08:06,867 Getting page https://www.piwheels.org/simple/certora-cli-alpha-assaf-verifytacdump/
2023-05-21T09:08:06,868 Found index url https://www.piwheels.org/simple/
2023-05-21T09:08:07,020 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-assaf-verifytacdump/ as text/html
2023-05-21T09:08:07,021   Skipping link: No binaries permitted for certora-cli-alpha-assaf-verifytacdump: https://www.piwheels.org/simple/certora-cli-alpha-assaf-verifytacdump/certora_cli_alpha_assaf_VerifyTACDump-20230521.8.20.471148-py3-none-any.whl#sha256=1761511ca3c0ca1dd5677c44417fea5eb89f0ec13ff10289e68c6ce140083d0a (from https://www.piwheels.org/simple/certora-cli-alpha-assaf-verifytacdump/) (requires-python:>=3.8.16)
2023-05-21T09:08:07,022   Skipping link: No binaries permitted for certora-cli-alpha-assaf-verifytacdump: https://www.piwheels.org/simple/certora-cli-alpha-assaf-verifytacdump/certora_cli_alpha_assaf_VerifyTACDump-20230513.9.58.354056-py3-none-any.whl#sha256=1e4be11acb3b6a694bca42b95cb7bed98ad6697284fb7d7980a528fb92609ba5 (from https://www.piwheels.org/simple/certora-cli-alpha-assaf-verifytacdump/) (requires-python:>=3.8.16)
2023-05-21T09:08:07,022 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-assaf-verifytacdump/
2023-05-21T09:08:07,022 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-assaf-verifytacdump/
2023-05-21T09:08:07,040 Given no hashes to check 1 links for project 'certora-cli-alpha-assaf-verifytacdump': discarding no candidates
2023-05-21T09:08:07,056 Collecting certora-cli-alpha-assaf-verifytacdump==20230521.8.45.284950
2023-05-21T09:08:07,058   Created temporary directory: /tmp/pip-unpack-en6ray0u
2023-05-21T09:08:07,199   Downloading certora-cli-alpha-assaf-VerifyTACDump-20230521.8.45.284950.tar.gz (38.7 MB)
2023-05-21T09:08:15,919   Added certora-cli-alpha-assaf-verifytacdump==20230521.8.45.284950 from https://files.pythonhosted.org/packages/a1/89/a6f9604c2acbf2cd8262d6189f9e654ce7e7b98758cd7cef0f8c9f3d49da/certora-cli-alpha-assaf-VerifyTACDump-20230521.8.45.284950.tar.gz to build tracker '/tmp/pip-build-tracker-2jqgzfqm'
2023-05-21T09:08:15,921   Running setup.py (path:/tmp/pip-wheel-7xyrq3e8/certora-cli-alpha-assaf-verifytacdump_bce11bbfe3b4489e95c32a1da68a818f/setup.py) egg_info for package certora-cli-alpha-assaf-verifytacdump
2023-05-21T09:08:15,922   Created temporary directory: /tmp/pip-pip-egg-info-vkvufqhk
2023-05-21T09:08:15,922   Preparing metadata (setup.py): started
2023-05-21T09:08:15,923   Running command python setup.py egg_info
2023-05-21T09:08:16,533   running egg_info
2023-05-21T09:08:16,535   creating /tmp/pip-pip-egg-info-vkvufqhk/certora_cli_alpha_assaf_VerifyTACDump.egg-info
2023-05-21T09:08:16,560   writing /tmp/pip-pip-egg-info-vkvufqhk/certora_cli_alpha_assaf_VerifyTACDump.egg-info/PKG-INFO
2023-05-21T09:08:16,562   writing dependency_links to /tmp/pip-pip-egg-info-vkvufqhk/certora_cli_alpha_assaf_VerifyTACDump.egg-info/dependency_links.txt
2023-05-21T09:08:16,564   writing entry points to /tmp/pip-pip-egg-info-vkvufqhk/certora_cli_alpha_assaf_VerifyTACDump.egg-info/entry_points.txt
2023-05-21T09:08:16,565   writing requirements to /tmp/pip-pip-egg-info-vkvufqhk/certora_cli_alpha_assaf_VerifyTACDump.egg-info/requires.txt
2023-05-21T09:08:16,567   writing top-level names to /tmp/pip-pip-egg-info-vkvufqhk/certora_cli_alpha_assaf_VerifyTACDump.egg-info/top_level.txt
2023-05-21T09:08:16,568   writing manifest file '/tmp/pip-pip-egg-info-vkvufqhk/certora_cli_alpha_assaf_VerifyTACDump.egg-info/SOURCES.txt'
2023-05-21T09:08:16,650   reading manifest file '/tmp/pip-pip-egg-info-vkvufqhk/certora_cli_alpha_assaf_VerifyTACDump.egg-info/SOURCES.txt'
2023-05-21T09:08:16,652   reading manifest template 'MANIFEST.in'
2023-05-21T09:08:16,660   adding license file 'LICENSE'
2023-05-21T09:08:16,664   writing manifest file '/tmp/pip-pip-egg-info-vkvufqhk/certora_cli_alpha_assaf_VerifyTACDump.egg-info/SOURCES.txt'
2023-05-21T09:08:16,723   Preparing metadata (setup.py): finished with status 'done'
2023-05-21T09:08:16,728   Source in /tmp/pip-wheel-7xyrq3e8/certora-cli-alpha-assaf-verifytacdump_bce11bbfe3b4489e95c32a1da68a818f has version 20230521.8.45.284950, which satisfies requirement certora-cli-alpha-assaf-verifytacdump==20230521.8.45.284950 from https://files.pythonhosted.org/packages/a1/89/a6f9604c2acbf2cd8262d6189f9e654ce7e7b98758cd7cef0f8c9f3d49da/certora-cli-alpha-assaf-VerifyTACDump-20230521.8.45.284950.tar.gz
2023-05-21T09:08:16,729   Removed certora-cli-alpha-assaf-verifytacdump==20230521.8.45.284950 from https://files.pythonhosted.org/packages/a1/89/a6f9604c2acbf2cd8262d6189f9e654ce7e7b98758cd7cef0f8c9f3d49da/certora-cli-alpha-assaf-VerifyTACDump-20230521.8.45.284950.tar.gz from build tracker '/tmp/pip-build-tracker-2jqgzfqm'
2023-05-21T09:08:16,735 Created temporary directory: /tmp/pip-unpack-pr6457o2
2023-05-21T09:08:16,736 Building wheels for collected packages: certora-cli-alpha-assaf-verifytacdump
2023-05-21T09:08:16,740   Created temporary directory: /tmp/pip-wheel-4d_lh4bu
2023-05-21T09:08:16,740   Building wheel for certora-cli-alpha-assaf-verifytacdump (setup.py): started
2023-05-21T09:08:16,741   Destination directory: /tmp/pip-wheel-4d_lh4bu
2023-05-21T09:08:16,741   Running command python setup.py bdist_wheel
2023-05-21T09:08:17,551   running bdist_wheel
2023-05-21T09:08:17,835   running build
2023-05-21T09:08:17,836   running build_py
2023-05-21T09:08:17,863   creating build
2023-05-21T09:08:17,864   creating build/lib
2023-05-21T09:08:17,865   creating build/lib/certora_cli
2023-05-21T09:08:17,866   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-21T09:08:17,868   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-21T09:08:17,870   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-21T09:08:17,872   creating build/lib/certora_jars
2023-05-21T09:08:17,873   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-21T09:08:17,876   creating build/lib/certora_cli/Shared
2023-05-21T09:08:17,877   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-21T09:08:17,879   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-21T09:08:17,881   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-21T09:08:17,883   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-21T09:08:17,887   creating build/lib/certora_cli/EVMVerifier
2023-05-21T09:08:17,888   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-21T09:08:17,890   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-21T09:08:17,892   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-21T09:08:17,895   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-21T09:08:17,897   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-21T09:08:17,900   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-21T09:08:17,904   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-21T09:08:17,907   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-21T09:08:17,909   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-21T09:08:17,912   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-21T09:08:17,915   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-21T09:08:17,918   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-21T09:08:17,920   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2023-05-21T09:08:17,921   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-21T09:08:17,924   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-21T09:08:17,925   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-21T09:08:17,926   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-21T09:08:17,928   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-21T09:08:17,930   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-21T09:08:17,933   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-21T09:08:17,935   running egg_info
2023-05-21T09:08:17,995   writing certora_cli_alpha_assaf_VerifyTACDump.egg-info/PKG-INFO
2023-05-21T09:08:17,997   writing dependency_links to certora_cli_alpha_assaf_VerifyTACDump.egg-info/dependency_links.txt
2023-05-21T09:08:17,999   writing entry points to certora_cli_alpha_assaf_VerifyTACDump.egg-info/entry_points.txt
2023-05-21T09:08:18,000   writing requirements to certora_cli_alpha_assaf_VerifyTACDump.egg-info/requires.txt
2023-05-21T09:08:18,001   writing top-level names to certora_cli_alpha_assaf_VerifyTACDump.egg-info/top_level.txt
2023-05-21T09:08:18,033   reading manifest file 'certora_cli_alpha_assaf_VerifyTACDump.egg-info/SOURCES.txt'
2023-05-21T09:08:18,036   reading manifest template 'MANIFEST.in'
2023-05-21T09:08:18,045   adding license file 'LICENSE'
2023-05-21T09:08:18,049   writing manifest file 'certora_cli_alpha_assaf_VerifyTACDump.egg-info/SOURCES.txt'
2023-05-21T09:08:18,052   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-21T09:08:18,054   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-21T09:08:18,266   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-21T09:08:18,428   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-21T09:08:18,634   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-21T09:08:18,726   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-21T09:08:18,816   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-21T09:08:18,816   !!

2023-05-21T09:08:18,817           ********************************************************************************
2023-05-21T09:08:18,817           Please avoid running ``setup.py`` directly.
2023-05-21T09:08:18,817           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-21T09:08:18,817           other standards-based tools.

2023-05-21T09:08:18,817           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-21T09:08:18,817           ********************************************************************************

2023-05-21T09:08:18,818   !!
2023-05-21T09:08:18,818     self.initialize_options()
2023-05-21T09:08:18,842   installing to build/bdist.linux-armv7l/wheel
2023-05-21T09:08:18,843   running install
2023-05-21T09:08:18,868   running install_lib
2023-05-21T09:08:18,894   creating build/bdist.linux-armv7l
2023-05-21T09:08:18,894   creating build/bdist.linux-armv7l/wheel
2023-05-21T09:08:18,896   creating build/bdist.linux-armv7l/wheel/certora_cli
2023-05-21T09:08:18,898   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-21T09:08:18,899   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-21T09:08:18,902   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-21T09:08:18,904   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-21T09:08:18,906   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-21T09:08:18,909   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-21T09:08:18,911   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-21T09:08:18,912   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-21T09:08:18,915   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-21T09:08:18,915   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-21T09:08:18,918   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-21T09:08:18,919   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-21T09:08:18,921   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-21T09:08:18,922   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-21T09:08:18,925   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-21T09:08:18,927   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-21T09:08:18,929   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-21T09:08:18,931   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-21T09:08:18,934   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-21T09:08:18,936   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-21T09:08:18,939   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-21T09:08:18,945   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-21T09:08:18,948   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-21T09:08:18,950   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-21T09:08:18,953   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-21T09:08:18,955   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-21T09:08:18,958   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-21T09:08:18,960   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-21T09:08:18,961   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-21T09:08:18,964   creating build/bdist.linux-armv7l/wheel/certora_jars
2023-05-21T09:08:18,964   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-21T09:08:19,180   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-21T09:08:19,381   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-21T09:08:19,478   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-21T09:08:19,536   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-21T09:08:19,700   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-21T09:08:19,702   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-21T09:08:19,704   running install_egg_info
2023-05-21T09:08:19,734   Copying certora_cli_alpha_assaf_VerifyTACDump.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_assaf_VerifyTACDump-20230521.8.45.284950-py3.9.egg-info
2023-05-21T09:08:19,745   running install_scripts
2023-05-21T09:08:19,761   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2023-05-21T09:08:19,765   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_assaf_VerifyTACDump-20230521.8.45.284950.dist-info/WHEEL
2023-05-21T09:08:19,768   creating '/tmp/pip-wheel-4d_lh4bu/certora_cli_alpha_assaf_VerifyTACDump-20230521.8.45.284950-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2023-05-21T09:08:19,770   adding 'certora_cli/__init__.py'
2023-05-21T09:08:19,772   adding 'certora_cli/certoraMutate.py'
2023-05-21T09:08:19,774   adding 'certora_cli/certoraRun.py'
2023-05-21T09:08:19,776   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-21T09:08:19,798   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-21T09:08:19,805   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-21T09:08:19,807   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-21T09:08:19,808   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-21T09:08:19,812   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-21T09:08:19,816   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-21T09:08:19,817   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-21T09:08:19,823   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-21T09:08:19,825   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2023-05-21T09:08:19,826   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-21T09:08:19,828   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-21T09:08:19,830   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-21T09:08:19,834   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-21T09:08:19,836   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-21T09:08:19,838   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-21T09:08:19,839   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-21T09:08:19,844   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-21T09:08:19,845   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-21T09:08:19,847   adding 'certora_cli/Shared/__init__.py'
2023-05-21T09:08:19,849   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-21T09:08:19,850   adding 'certora_cli/Shared/certoraTester.py'
2023-05-21T09:08:19,857   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-21T09:08:19,860   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-21T09:08:21,544   adding 'certora_jars/MutationTest.jar'
2023-05-21T09:08:22,886   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-21T09:08:24,471   adding 'certora_jars/Typechecker.jar'
2023-05-21T09:08:24,553   adding 'certora_jars/__init__.py'
2023-05-21T09:08:25,291   adding 'certora_jars/gambit-linux'
2023-05-21T09:08:25,953   adding 'certora_jars/gambit-macos'
2023-05-21T09:08:25,979   adding 'certora_cli_alpha_assaf_VerifyTACDump-20230521.8.45.284950.dist-info/LICENSE'
2023-05-21T09:08:25,980   adding 'certora_cli_alpha_assaf_VerifyTACDump-20230521.8.45.284950.dist-info/METADATA'
2023-05-21T09:08:25,981   adding 'certora_cli_alpha_assaf_VerifyTACDump-20230521.8.45.284950.dist-info/WHEEL'
2023-05-21T09:08:25,982   adding 'certora_cli_alpha_assaf_VerifyTACDump-20230521.8.45.284950.dist-info/entry_points.txt'
2023-05-21T09:08:25,983   adding 'certora_cli_alpha_assaf_VerifyTACDump-20230521.8.45.284950.dist-info/top_level.txt'
2023-05-21T09:08:25,984   adding 'certora_cli_alpha_assaf_VerifyTACDump-20230521.8.45.284950.dist-info/RECORD'
2023-05-21T09:08:26,378   removing build/bdist.linux-armv7l/wheel
2023-05-21T09:08:26,492   Building wheel for certora-cli-alpha-assaf-verifytacdump (setup.py): finished with status 'done'
2023-05-21T09:08:26,884   Created wheel for certora-cli-alpha-assaf-verifytacdump: filename=certora_cli_alpha_assaf_VerifyTACDump-20230521.8.45.284950-py3-none-any.whl size=38775277 sha256=b29b55b280eaa9d66bd1ab28168351ccbb10f6e73a80461fe1087fd7797ec577
2023-05-21T09:08:26,885   Stored in directory: /tmp/pip-ephem-wheel-cache-w9lpmweu/wheels/54/88/92/e8f476dff46f36f1c67573b2fda60af7bd408cfcecaac43471
2023-05-21T09:08:26,908 Successfully built certora-cli-alpha-assaf-verifytacdump
2023-05-21T09:08:27,793 Removed build tracker: '/tmp/pip-build-tracker-2jqgzfqm'