2023-05-22T09:00:53,775 Created temporary directory: /tmp/pip-build-tracker-tmmseo__
2023-05-22T09:00:53,776 Initialized build tracking at /tmp/pip-build-tracker-tmmseo__
2023-05-22T09:00:53,776 Created build tracker: /tmp/pip-build-tracker-tmmseo__
2023-05-22T09:00:53,776 Entered build tracker: /tmp/pip-build-tracker-tmmseo__
2023-05-22T09:00:53,777 Created temporary directory: /tmp/pip-wheel-qdp7x302
2023-05-22T09:00:53,780 Created temporary directory: /tmp/pip-ephem-wheel-cache-x_x9zo4q
2023-05-22T09:00:53,803 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-22T09:00:53,806 2 location(s) to search for versions of certora-cli-alpha-assaf-verifytacdump:
2023-05-22T09:00:53,806 * https://pypi.org/simple/certora-cli-alpha-assaf-verifytacdump/
2023-05-22T09:00:53,806 * https://www.piwheels.org/simple/certora-cli-alpha-assaf-verifytacdump/
2023-05-22T09:00:53,807 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-assaf-verifytacdump/
2023-05-22T09:00:53,807 Getting page https://pypi.org/simple/certora-cli-alpha-assaf-verifytacdump/
2023-05-22T09:00:53,809 Found index url https://pypi.org/simple/
2023-05-22T09:00:53,858 Fetched page https://pypi.org/simple/certora-cli-alpha-assaf-verifytacdump/ as application/vnd.pypi.simple.v1+json
2023-05-22T09:00:53,861   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-22T09:00:53,861   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-22T09:00:53,862   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-22T09:00:53,862   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-22T09:00:53,862   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-22T09:00:53,863   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-22T09:00:53,863   Found link https://files.pythonhosted.org/packages/f5/ec/81a2cacd680271015282abd0efdbea109f4e4ae160ef2ae0f538af2a3993/certora-cli-alpha-assaf-VerifyTACDump-20230521.9.25.275825.tar.gz (from https://pypi.org/simple/certora-cli-alpha-assaf-verifytacdump/) (requires-python:>=3.8.16), version: 20230521.9.25.275825
2023-05-22T09:00:53,864   Skipping link: No binaries permitted for certora-cli-alpha-assaf-verifytacdump: https://files.pythonhosted.org/packages/62/21/852e58091dce93a50a40b152d9192f42e6709892824e8597276c749778b3/certora_cli_alpha_assaf_VerifyTACDump-20230521.9.25.275825-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-assaf-verifytacdump/) (requires-python:>=3.8.16)
2023-05-22T09:00:53,864   Found link https://files.pythonhosted.org/packages/38/42/8ab823e0a4734f18f8876111e48f4f9433c5ab4e061e85d4b8b164886482/certora-cli-alpha-assaf-VerifyTACDump-20230522.8.35.326662.tar.gz (from https://pypi.org/simple/certora-cli-alpha-assaf-verifytacdump/) (requires-python:>=3.8.16), version: 20230522.8.35.326662
2023-05-22T09:00:53,864   Skipping link: No binaries permitted for certora-cli-alpha-assaf-verifytacdump: https://files.pythonhosted.org/packages/cc/01/ab2758a981b3fd6930a34ce5e9f3ed465876618a8a16ebde6fb478b85f82/certora_cli_alpha_assaf_VerifyTACDump-20230522.8.35.326662-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-assaf-verifytacdump/) (requires-python:>=3.8.16)
2023-05-22T09:00:53,865 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-assaf-verifytacdump/
2023-05-22T09:00:53,865 Getting page https://www.piwheels.org/simple/certora-cli-alpha-assaf-verifytacdump/
2023-05-22T09:00:53,866 Found index url https://www.piwheels.org/simple/
2023-05-22T09:00:54,071 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-assaf-verifytacdump/ as text/html
2023-05-22T09:00:54,073   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.9.25.275825-py3-none-any.whl#sha256=358cdf644c155ff5af2b02c0b9d214e67dd10633c009f22201d06f4d165faae5 (from https://www.piwheels.org/simple/certora-cli-alpha-assaf-verifytacdump/) (requires-python:>=3.8.16)
2023-05-22T09:00:54,074   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.45.284950-py3-none-any.whl#sha256=b29b55b280eaa9d66bd1ab28168351ccbb10f6e73a80461fe1087fd7797ec577 (from https://www.piwheels.org/simple/certora-cli-alpha-assaf-verifytacdump/) (requires-python:>=3.8.16)
2023-05-22T09:00:54,074   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-22T09:00:54,074   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-22T09:00:54,074 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-assaf-verifytacdump/
2023-05-22T09:00:54,075 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-assaf-verifytacdump/
2023-05-22T09:00:54,092 Given no hashes to check 1 links for project 'certora-cli-alpha-assaf-verifytacdump': discarding no candidates
2023-05-22T09:00:54,109 Collecting certora-cli-alpha-assaf-verifytacdump==20230522.8.35.326662
2023-05-22T09:00:54,111   Created temporary directory: /tmp/pip-unpack-4be3qqyp
2023-05-22T09:00:54,258   Downloading certora-cli-alpha-assaf-VerifyTACDump-20230522.8.35.326662.tar.gz (38.7 MB)
2023-05-22T09:01:02,591   Added certora-cli-alpha-assaf-verifytacdump==20230522.8.35.326662 from https://files.pythonhosted.org/packages/38/42/8ab823e0a4734f18f8876111e48f4f9433c5ab4e061e85d4b8b164886482/certora-cli-alpha-assaf-VerifyTACDump-20230522.8.35.326662.tar.gz to build tracker '/tmp/pip-build-tracker-tmmseo__'
2023-05-22T09:01:02,594   Running setup.py (path:/tmp/pip-wheel-qdp7x302/certora-cli-alpha-assaf-verifytacdump_961c98546c3c40c4810d36315dcb0346/setup.py) egg_info for package certora-cli-alpha-assaf-verifytacdump
2023-05-22T09:01:02,594   Created temporary directory: /tmp/pip-pip-egg-info-c7ztu8bk
2023-05-22T09:01:02,595   Preparing metadata (setup.py): started
2023-05-22T09:01:02,596   Running command python setup.py egg_info
2023-05-22T09:01:03,196   running egg_info
2023-05-22T09:01:03,198   creating /tmp/pip-pip-egg-info-c7ztu8bk/certora_cli_alpha_assaf_VerifyTACDump.egg-info
2023-05-22T09:01:03,222   writing /tmp/pip-pip-egg-info-c7ztu8bk/certora_cli_alpha_assaf_VerifyTACDump.egg-info/PKG-INFO
2023-05-22T09:01:03,225   writing dependency_links to /tmp/pip-pip-egg-info-c7ztu8bk/certora_cli_alpha_assaf_VerifyTACDump.egg-info/dependency_links.txt
2023-05-22T09:01:03,227   writing entry points to /tmp/pip-pip-egg-info-c7ztu8bk/certora_cli_alpha_assaf_VerifyTACDump.egg-info/entry_points.txt
2023-05-22T09:01:03,228   writing requirements to /tmp/pip-pip-egg-info-c7ztu8bk/certora_cli_alpha_assaf_VerifyTACDump.egg-info/requires.txt
2023-05-22T09:01:03,230   writing top-level names to /tmp/pip-pip-egg-info-c7ztu8bk/certora_cli_alpha_assaf_VerifyTACDump.egg-info/top_level.txt
2023-05-22T09:01:03,231   writing manifest file '/tmp/pip-pip-egg-info-c7ztu8bk/certora_cli_alpha_assaf_VerifyTACDump.egg-info/SOURCES.txt'
2023-05-22T09:01:03,313   reading manifest file '/tmp/pip-pip-egg-info-c7ztu8bk/certora_cli_alpha_assaf_VerifyTACDump.egg-info/SOURCES.txt'
2023-05-22T09:01:03,314   reading manifest template 'MANIFEST.in'
2023-05-22T09:01:03,323   adding license file 'LICENSE'
2023-05-22T09:01:03,327   writing manifest file '/tmp/pip-pip-egg-info-c7ztu8bk/certora_cli_alpha_assaf_VerifyTACDump.egg-info/SOURCES.txt'
2023-05-22T09:01:03,385   Preparing metadata (setup.py): finished with status 'done'
2023-05-22T09:01:03,390   Source in /tmp/pip-wheel-qdp7x302/certora-cli-alpha-assaf-verifytacdump_961c98546c3c40c4810d36315dcb0346 has version 20230522.8.35.326662, which satisfies requirement certora-cli-alpha-assaf-verifytacdump==20230522.8.35.326662 from https://files.pythonhosted.org/packages/38/42/8ab823e0a4734f18f8876111e48f4f9433c5ab4e061e85d4b8b164886482/certora-cli-alpha-assaf-VerifyTACDump-20230522.8.35.326662.tar.gz
2023-05-22T09:01:03,391   Removed certora-cli-alpha-assaf-verifytacdump==20230522.8.35.326662 from https://files.pythonhosted.org/packages/38/42/8ab823e0a4734f18f8876111e48f4f9433c5ab4e061e85d4b8b164886482/certora-cli-alpha-assaf-VerifyTACDump-20230522.8.35.326662.tar.gz from build tracker '/tmp/pip-build-tracker-tmmseo__'
2023-05-22T09:01:03,397 Created temporary directory: /tmp/pip-unpack-3s4u5_y3
2023-05-22T09:01:03,398 Building wheels for collected packages: certora-cli-alpha-assaf-verifytacdump
2023-05-22T09:01:03,401   Created temporary directory: /tmp/pip-wheel-kdteta8r
2023-05-22T09:01:03,402   Building wheel for certora-cli-alpha-assaf-verifytacdump (setup.py): started
2023-05-22T09:01:03,403   Destination directory: /tmp/pip-wheel-kdteta8r
2023-05-22T09:01:03,403   Running command python setup.py bdist_wheel
2023-05-22T09:01:04,195   running bdist_wheel
2023-05-22T09:01:04,470   running build
2023-05-22T09:01:04,470   running build_py
2023-05-22T09:01:04,498   creating build
2023-05-22T09:01:04,498   creating build/lib
2023-05-22T09:01:04,499   creating build/lib/certora_cli
2023-05-22T09:01:04,500   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-22T09:01:04,502   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-22T09:01:04,504   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-22T09:01:04,507   creating build/lib/certora_jars
2023-05-22T09:01:04,507   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-22T09:01:04,510   creating build/lib/certora_cli/Shared
2023-05-22T09:01:04,511   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-22T09:01:04,513   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-22T09:01:04,515   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-22T09:01:04,517   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-22T09:01:04,521   creating build/lib/certora_cli/EVMVerifier
2023-05-22T09:01:04,522   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-22T09:01:04,524   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-22T09:01:04,527   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-22T09:01:04,530   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-22T09:01:04,532   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-22T09:01:04,535   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-22T09:01:04,540   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-22T09:01:04,543   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-22T09:01:04,545   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-22T09:01:04,548   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-22T09:01:04,550   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-22T09:01:04,553   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-22T09:01:04,554   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2023-05-22T09:01:04,556   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-22T09:01:04,558   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-22T09:01:04,559   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-22T09:01:04,562   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-22T09:01:04,563   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-22T09:01:04,566   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-22T09:01:04,568   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-22T09:01:04,570   running egg_info
2023-05-22T09:01:04,628   writing certora_cli_alpha_assaf_VerifyTACDump.egg-info/PKG-INFO
2023-05-22T09:01:04,630   writing dependency_links to certora_cli_alpha_assaf_VerifyTACDump.egg-info/dependency_links.txt
2023-05-22T09:01:04,632   writing entry points to certora_cli_alpha_assaf_VerifyTACDump.egg-info/entry_points.txt
2023-05-22T09:01:04,634   writing requirements to certora_cli_alpha_assaf_VerifyTACDump.egg-info/requires.txt
2023-05-22T09:01:04,635   writing top-level names to certora_cli_alpha_assaf_VerifyTACDump.egg-info/top_level.txt
2023-05-22T09:01:04,667   reading manifest file 'certora_cli_alpha_assaf_VerifyTACDump.egg-info/SOURCES.txt'
2023-05-22T09:01:04,669   reading manifest template 'MANIFEST.in'
2023-05-22T09:01:04,679   adding license file 'LICENSE'
2023-05-22T09:01:04,682   writing manifest file 'certora_cli_alpha_assaf_VerifyTACDump.egg-info/SOURCES.txt'
2023-05-22T09:01:04,686   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-22T09:01:04,687   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-22T09:01:04,900   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-22T09:01:05,069   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-22T09:01:05,255   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-22T09:01:05,360   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-22T09:01:05,450   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-22T09:01:05,450   !!

2023-05-22T09:01:05,450           ********************************************************************************
2023-05-22T09:01:05,450           Please avoid running ``setup.py`` directly.
2023-05-22T09:01:05,451           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-22T09:01:05,451           other standards-based tools.

2023-05-22T09:01:05,451           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-22T09:01:05,451           ********************************************************************************

2023-05-22T09:01:05,451   !!
2023-05-22T09:01:05,452     self.initialize_options()
2023-05-22T09:01:05,477   installing to build/bdist.linux-armv7l/wheel
2023-05-22T09:01:05,477   running install
2023-05-22T09:01:05,502   running install_lib
2023-05-22T09:01:05,528   creating build/bdist.linux-armv7l
2023-05-22T09:01:05,528   creating build/bdist.linux-armv7l/wheel
2023-05-22T09:01:05,530   creating build/bdist.linux-armv7l/wheel/certora_cli
2023-05-22T09:01:05,532   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-22T09:01:05,533   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-22T09:01:05,536   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-22T09:01:05,538   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-22T09:01:05,540   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-22T09:01:05,543   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-22T09:01:05,545   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-22T09:01:05,546   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-22T09:01:05,549   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-22T09:01:05,550   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-22T09:01:05,553   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-22T09:01:05,554   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-22T09:01:05,556   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-22T09:01:05,558   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-22T09:01:05,560   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-22T09:01:05,563   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-22T09:01:05,565   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-22T09:01:05,566   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-22T09:01:05,569   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-22T09:01:05,572   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-22T09:01:05,575   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-22T09:01:05,581   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-22T09:01:05,584   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-22T09:01:05,586   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-22T09:01:05,589   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-22T09:01:05,591   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-22T09:01:05,594   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-22T09:01:05,595   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-22T09:01:05,597   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-22T09:01:05,600   creating build/bdist.linux-armv7l/wheel/certora_jars
2023-05-22T09:01:05,601   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-22T09:01:05,826   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-22T09:01:06,012   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-22T09:01:06,099   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-22T09:01:06,162   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-22T09:01:06,322   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-22T09:01:06,324   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-22T09:01:06,325   running install_egg_info
2023-05-22T09:01:06,356   Copying certora_cli_alpha_assaf_VerifyTACDump.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_assaf_VerifyTACDump-20230522.8.35.326662-py3.9.egg-info
2023-05-22T09:01:06,368   running install_scripts
2023-05-22T09:01:06,386   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2023-05-22T09:01:06,390   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_assaf_VerifyTACDump-20230522.8.35.326662.dist-info/WHEEL
2023-05-22T09:01:06,392   creating '/tmp/pip-wheel-kdteta8r/certora_cli_alpha_assaf_VerifyTACDump-20230522.8.35.326662-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2023-05-22T09:01:06,395   adding 'certora_cli/__init__.py'
2023-05-22T09:01:06,396   adding 'certora_cli/certoraMutate.py'
2023-05-22T09:01:06,398   adding 'certora_cli/certoraRun.py'
2023-05-22T09:01:06,400   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-22T09:01:06,422   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-22T09:01:06,429   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-22T09:01:06,431   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-22T09:01:06,432   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-22T09:01:06,437   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-22T09:01:06,440   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-22T09:01:06,442   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-22T09:01:06,447   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-22T09:01:06,449   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2023-05-22T09:01:06,451   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-22T09:01:06,452   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-22T09:01:06,455   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-22T09:01:06,459   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-22T09:01:06,461   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-22T09:01:06,463   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-22T09:01:06,464   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-22T09:01:06,469   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-22T09:01:06,470   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-22T09:01:06,472   adding 'certora_cli/Shared/__init__.py'
2023-05-22T09:01:06,474   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-22T09:01:06,476   adding 'certora_cli/Shared/certoraTester.py'
2023-05-22T09:01:06,483   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-22T09:01:06,486   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-22T09:01:08,170   adding 'certora_jars/MutationTest.jar'
2023-05-22T09:01:09,516   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-22T09:01:11,105   adding 'certora_jars/Typechecker.jar'
2023-05-22T09:01:11,187   adding 'certora_jars/__init__.py'
2023-05-22T09:01:11,926   adding 'certora_jars/gambit-linux'
2023-05-22T09:01:12,588   adding 'certora_jars/gambit-macos'
2023-05-22T09:01:12,614   adding 'certora_cli_alpha_assaf_VerifyTACDump-20230522.8.35.326662.dist-info/LICENSE'
2023-05-22T09:01:12,615   adding 'certora_cli_alpha_assaf_VerifyTACDump-20230522.8.35.326662.dist-info/METADATA'
2023-05-22T09:01:12,616   adding 'certora_cli_alpha_assaf_VerifyTACDump-20230522.8.35.326662.dist-info/WHEEL'
2023-05-22T09:01:12,617   adding 'certora_cli_alpha_assaf_VerifyTACDump-20230522.8.35.326662.dist-info/entry_points.txt'
2023-05-22T09:01:12,618   adding 'certora_cli_alpha_assaf_VerifyTACDump-20230522.8.35.326662.dist-info/top_level.txt'
2023-05-22T09:01:12,619   adding 'certora_cli_alpha_assaf_VerifyTACDump-20230522.8.35.326662.dist-info/RECORD'
2023-05-22T09:01:13,039   removing build/bdist.linux-armv7l/wheel
2023-05-22T09:01:13,158   Building wheel for certora-cli-alpha-assaf-verifytacdump (setup.py): finished with status 'done'
2023-05-22T09:01:13,547   Created wheel for certora-cli-alpha-assaf-verifytacdump: filename=certora_cli_alpha_assaf_VerifyTACDump-20230522.8.35.326662-py3-none-any.whl size=38775272 sha256=8d409072128081c1ccf67f8af1eb9722917dd4540df73bf6de40acd10be2fdc4
2023-05-22T09:01:13,548   Stored in directory: /tmp/pip-ephem-wheel-cache-x_x9zo4q/wheels/f8/f2/e9/4316b2cf0899697e824024fa2ca89b3ecf6fbe382adaef4123
2023-05-22T09:01:13,571 Successfully built certora-cli-alpha-assaf-verifytacdump
2023-05-22T09:01:14,503 Removed build tracker: '/tmp/pip-build-tracker-tmmseo__'