2023-05-21T09:52:05,414 Created temporary directory: /tmp/pip-build-tracker-ad90rr53
2023-05-21T09:52:05,416 Initialized build tracking at /tmp/pip-build-tracker-ad90rr53
2023-05-21T09:52:05,416 Created build tracker: /tmp/pip-build-tracker-ad90rr53
2023-05-21T09:52:05,416 Entered build tracker: /tmp/pip-build-tracker-ad90rr53
2023-05-21T09:52:05,417 Created temporary directory: /tmp/pip-wheel-26lg9p4m
2023-05-21T09:52:05,420 Created temporary directory: /tmp/pip-ephem-wheel-cache-fgtodxfd
2023-05-21T09:52:05,444 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-21T09:52:05,448 2 location(s) to search for versions of certora-cli-alpha-assaf-verifytacdump:
2023-05-21T09:52:05,448 * https://pypi.org/simple/certora-cli-alpha-assaf-verifytacdump/
2023-05-21T09:52:05,448 * https://www.piwheels.org/simple/certora-cli-alpha-assaf-verifytacdump/
2023-05-21T09:52:05,448 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-assaf-verifytacdump/
2023-05-21T09:52:05,449 Getting page https://pypi.org/simple/certora-cli-alpha-assaf-verifytacdump/
2023-05-21T09:52:05,450 Found index url https://pypi.org/simple/
2023-05-21T09:52:05,499 Fetched page https://pypi.org/simple/certora-cli-alpha-assaf-verifytacdump/ as application/vnd.pypi.simple.v1+json
2023-05-21T09:52:05,501   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:52:05,502   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:52:05,502   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:52:05,503   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:52:05,503   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:52:05,504   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:52:05,504   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-21T09:52:05,504   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-21T09:52:05,505 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-assaf-verifytacdump/
2023-05-21T09:52:05,505 Getting page https://www.piwheels.org/simple/certora-cli-alpha-assaf-verifytacdump/
2023-05-21T09:52:05,506 Found index url https://www.piwheels.org/simple/
2023-05-21T09:52:05,669 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-assaf-verifytacdump/ as text/html
2023-05-21T09:52:05,670   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-21T09:52:05,671   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:52:05,671   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:52:05,671 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-assaf-verifytacdump/
2023-05-21T09:52:05,671 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-assaf-verifytacdump/
2023-05-21T09:52:05,689 Given no hashes to check 1 links for project 'certora-cli-alpha-assaf-verifytacdump': discarding no candidates
2023-05-21T09:52:05,706 Collecting certora-cli-alpha-assaf-verifytacdump==20230521.9.25.275825
2023-05-21T09:52:05,708   Created temporary directory: /tmp/pip-unpack-dyzg56ex
2023-05-21T09:52:05,841   Downloading certora-cli-alpha-assaf-VerifyTACDump-20230521.9.25.275825.tar.gz (38.7 MB)
2023-05-21T09:52:15,513   Added certora-cli-alpha-assaf-verifytacdump==20230521.9.25.275825 from https://files.pythonhosted.org/packages/f5/ec/81a2cacd680271015282abd0efdbea109f4e4ae160ef2ae0f538af2a3993/certora-cli-alpha-assaf-VerifyTACDump-20230521.9.25.275825.tar.gz to build tracker '/tmp/pip-build-tracker-ad90rr53'
2023-05-21T09:52:15,516   Running setup.py (path:/tmp/pip-wheel-26lg9p4m/certora-cli-alpha-assaf-verifytacdump_d7b33bb83aad4057b662616269e46704/setup.py) egg_info for package certora-cli-alpha-assaf-verifytacdump
2023-05-21T09:52:15,517   Created temporary directory: /tmp/pip-pip-egg-info-kgirk2h5
2023-05-21T09:52:15,517   Preparing metadata (setup.py): started
2023-05-21T09:52:15,518   Running command python setup.py egg_info
2023-05-21T09:52:16,351   running egg_info
2023-05-21T09:52:16,352   creating /tmp/pip-pip-egg-info-kgirk2h5/certora_cli_alpha_assaf_VerifyTACDump.egg-info
2023-05-21T09:52:16,376   writing /tmp/pip-pip-egg-info-kgirk2h5/certora_cli_alpha_assaf_VerifyTACDump.egg-info/PKG-INFO
2023-05-21T09:52:16,378   writing dependency_links to /tmp/pip-pip-egg-info-kgirk2h5/certora_cli_alpha_assaf_VerifyTACDump.egg-info/dependency_links.txt
2023-05-21T09:52:16,380   writing entry points to /tmp/pip-pip-egg-info-kgirk2h5/certora_cli_alpha_assaf_VerifyTACDump.egg-info/entry_points.txt
2023-05-21T09:52:16,381   writing requirements to /tmp/pip-pip-egg-info-kgirk2h5/certora_cli_alpha_assaf_VerifyTACDump.egg-info/requires.txt
2023-05-21T09:52:16,382   writing top-level names to /tmp/pip-pip-egg-info-kgirk2h5/certora_cli_alpha_assaf_VerifyTACDump.egg-info/top_level.txt
2023-05-21T09:52:16,408   writing manifest file '/tmp/pip-pip-egg-info-kgirk2h5/certora_cli_alpha_assaf_VerifyTACDump.egg-info/SOURCES.txt'
2023-05-21T09:52:16,487   reading manifest file '/tmp/pip-pip-egg-info-kgirk2h5/certora_cli_alpha_assaf_VerifyTACDump.egg-info/SOURCES.txt'
2023-05-21T09:52:16,488   reading manifest template 'MANIFEST.in'
2023-05-21T09:52:16,496   adding license file 'LICENSE'
2023-05-21T09:52:16,500   writing manifest file '/tmp/pip-pip-egg-info-kgirk2h5/certora_cli_alpha_assaf_VerifyTACDump.egg-info/SOURCES.txt'
2023-05-21T09:52:16,559   Preparing metadata (setup.py): finished with status 'done'
2023-05-21T09:52:16,564   Source in /tmp/pip-wheel-26lg9p4m/certora-cli-alpha-assaf-verifytacdump_d7b33bb83aad4057b662616269e46704 has version 20230521.9.25.275825, which satisfies requirement certora-cli-alpha-assaf-verifytacdump==20230521.9.25.275825 from https://files.pythonhosted.org/packages/f5/ec/81a2cacd680271015282abd0efdbea109f4e4ae160ef2ae0f538af2a3993/certora-cli-alpha-assaf-VerifyTACDump-20230521.9.25.275825.tar.gz
2023-05-21T09:52:16,565   Removed certora-cli-alpha-assaf-verifytacdump==20230521.9.25.275825 from https://files.pythonhosted.org/packages/f5/ec/81a2cacd680271015282abd0efdbea109f4e4ae160ef2ae0f538af2a3993/certora-cli-alpha-assaf-VerifyTACDump-20230521.9.25.275825.tar.gz from build tracker '/tmp/pip-build-tracker-ad90rr53'
2023-05-21T09:52:16,572 Created temporary directory: /tmp/pip-unpack-a4jqj77b
2023-05-21T09:52:16,572 Building wheels for collected packages: certora-cli-alpha-assaf-verifytacdump
2023-05-21T09:52:16,576   Created temporary directory: /tmp/pip-wheel-r4mwkz7i
2023-05-21T09:52:16,576   Building wheel for certora-cli-alpha-assaf-verifytacdump (setup.py): started
2023-05-21T09:52:16,577   Destination directory: /tmp/pip-wheel-r4mwkz7i
2023-05-21T09:52:16,577   Running command python setup.py bdist_wheel
2023-05-21T09:52:17,360   running bdist_wheel
2023-05-21T09:52:17,627   running build
2023-05-21T09:52:17,628   running build_py
2023-05-21T09:52:17,655   creating build
2023-05-21T09:52:17,655   creating build/lib
2023-05-21T09:52:17,656   creating build/lib/certora_jars
2023-05-21T09:52:17,657   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-21T09:52:17,659   creating build/lib/certora_cli
2023-05-21T09:52:17,660   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-21T09:52:17,662   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-21T09:52:17,664   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-21T09:52:17,666   creating build/lib/certora_cli/Shared
2023-05-21T09:52:17,667   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-21T09:52:17,670   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-21T09:52:17,672   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-21T09:52:17,674   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-21T09:52:17,677   creating build/lib/certora_cli/EVMVerifier
2023-05-21T09:52:17,678   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-21T09:52:17,685   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-21T09:52:17,688   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2023-05-21T09:52:17,690   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-21T09:52:17,692   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-21T09:52:17,694   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-21T09:52:17,697   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-21T09:52:17,699   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-21T09:52:17,701   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-21T09:52:17,703   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-21T09:52:17,707   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-21T09:52:17,710   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-21T09:52:17,713   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-21T09:52:17,716   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-21T09:52:17,719   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-21T09:52:17,720   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-21T09:52:17,724   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-21T09:52:17,726   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-21T09:52:17,728   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-21T09:52:17,730   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-21T09:52:17,732   running egg_info
2023-05-21T09:52:17,791   writing certora_cli_alpha_assaf_VerifyTACDump.egg-info/PKG-INFO
2023-05-21T09:52:17,793   writing dependency_links to certora_cli_alpha_assaf_VerifyTACDump.egg-info/dependency_links.txt
2023-05-21T09:52:17,794   writing entry points to certora_cli_alpha_assaf_VerifyTACDump.egg-info/entry_points.txt
2023-05-21T09:52:17,796   writing requirements to certora_cli_alpha_assaf_VerifyTACDump.egg-info/requires.txt
2023-05-21T09:52:17,797   writing top-level names to certora_cli_alpha_assaf_VerifyTACDump.egg-info/top_level.txt
2023-05-21T09:52:17,828   reading manifest file 'certora_cli_alpha_assaf_VerifyTACDump.egg-info/SOURCES.txt'
2023-05-21T09:52:17,831   reading manifest template 'MANIFEST.in'
2023-05-21T09:52:17,840   adding license file 'LICENSE'
2023-05-21T09:52:17,844   writing manifest file 'certora_cli_alpha_assaf_VerifyTACDump.egg-info/SOURCES.txt'
2023-05-21T09:52:17,847   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-21T09:52:17,849   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-21T09:52:18,057   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-21T09:52:18,293   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-21T09:52:18,527   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-21T09:52:18,618   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-21T09:52:18,715   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-21T09:52:18,715   !!

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

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

2023-05-21T09:52:18,716   !!
2023-05-21T09:52:18,716     self.initialize_options()
2023-05-21T09:52:18,742   installing to build/bdist.linux-armv7l/wheel
2023-05-21T09:52:18,742   running install
2023-05-21T09:52:18,768   running install_lib
2023-05-21T09:52:18,794   creating build/bdist.linux-armv7l
2023-05-21T09:52:18,795   creating build/bdist.linux-armv7l/wheel
2023-05-21T09:52:18,797   creating build/bdist.linux-armv7l/wheel/certora_jars
2023-05-21T09:52:18,798   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-21T09:52:19,007   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-21T09:52:19,153   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-21T09:52:19,213   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-21T09:52:19,215   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-21T09:52:19,217   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-21T09:52:19,308   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-21T09:52:19,567   creating build/bdist.linux-armv7l/wheel/certora_cli
2023-05-21T09:52:19,568   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-21T09:52:19,570   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-21T09:52:19,572   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-21T09:52:19,574   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-21T09:52:19,574   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-21T09:52:19,577   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-21T09:52:19,579   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-21T09:52:19,581   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-21T09:52:19,584   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-21T09:52:19,585   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-21T09:52:19,591   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-21T09:52:19,593   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-21T09:52:19,595   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-21T09:52:19,598   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-21T09:52:19,600   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-21T09:52:19,602   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-21T09:52:19,604   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-21T09:52:19,606   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-21T09:52:19,608   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-21T09:52:19,611   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-21T09:52:19,614   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-21T09:52:19,615   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-21T09:52:19,618   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-21T09:52:19,619   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-21T09:52:19,621   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-21T09:52:19,624   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-21T09:52:19,626   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-21T09:52:19,629   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-21T09:52:19,631   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-21T09:52:19,633   running install_egg_info
2023-05-21T09:52:19,662   Copying certora_cli_alpha_assaf_VerifyTACDump.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_assaf_VerifyTACDump-20230521.9.25.275825-py3.9.egg-info
2023-05-21T09:52:19,674   running install_scripts
2023-05-21T09:52:19,691   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2023-05-21T09:52:19,695   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_assaf_VerifyTACDump-20230521.9.25.275825.dist-info/WHEEL
2023-05-21T09:52:19,698   creating '/tmp/pip-wheel-r4mwkz7i/certora_cli_alpha_assaf_VerifyTACDump-20230521.9.25.275825-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2023-05-21T09:52:19,701   adding 'certora_cli/__init__.py'
2023-05-21T09:52:19,702   adding 'certora_cli/certoraMutate.py'
2023-05-21T09:52:19,704   adding 'certora_cli/certoraRun.py'
2023-05-21T09:52:19,706   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-21T09:52:19,728   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-21T09:52:19,735   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-21T09:52:19,737   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-21T09:52:19,738   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-21T09:52:19,743   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-21T09:52:19,746   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-21T09:52:19,747   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-21T09:52:19,753   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-21T09:52:19,755   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2023-05-21T09:52:19,757   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-21T09:52:19,758   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-21T09:52:19,761   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-21T09:52:19,764   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-21T09:52:19,767   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-21T09:52:19,768   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-21T09:52:19,770   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-21T09:52:19,774   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-21T09:52:19,775   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-21T09:52:19,777   adding 'certora_cli/Shared/__init__.py'
2023-05-21T09:52:19,779   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-21T09:52:19,781   adding 'certora_cli/Shared/certoraTester.py'
2023-05-21T09:52:19,787   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-21T09:52:19,791   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-21T09:52:21,452   adding 'certora_jars/MutationTest.jar'
2023-05-21T09:52:22,777   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-21T09:52:24,342   adding 'certora_jars/Typechecker.jar'
2023-05-21T09:52:24,424   adding 'certora_jars/__init__.py'
2023-05-21T09:52:25,162   adding 'certora_jars/gambit-linux'
2023-05-21T09:52:25,823   adding 'certora_jars/gambit-macos'
2023-05-21T09:52:25,849   adding 'certora_cli_alpha_assaf_VerifyTACDump-20230521.9.25.275825.dist-info/LICENSE'
2023-05-21T09:52:25,850   adding 'certora_cli_alpha_assaf_VerifyTACDump-20230521.9.25.275825.dist-info/METADATA'
2023-05-21T09:52:25,851   adding 'certora_cli_alpha_assaf_VerifyTACDump-20230521.9.25.275825.dist-info/WHEEL'
2023-05-21T09:52:25,852   adding 'certora_cli_alpha_assaf_VerifyTACDump-20230521.9.25.275825.dist-info/entry_points.txt'
2023-05-21T09:52:25,853   adding 'certora_cli_alpha_assaf_VerifyTACDump-20230521.9.25.275825.dist-info/top_level.txt'
2023-05-21T09:52:25,854   adding 'certora_cli_alpha_assaf_VerifyTACDump-20230521.9.25.275825.dist-info/RECORD'
2023-05-21T09:52:26,232   removing build/bdist.linux-armv7l/wheel
2023-05-21T09:52:26,349   Building wheel for certora-cli-alpha-assaf-verifytacdump (setup.py): finished with status 'done'
2023-05-21T09:52:26,729   Created wheel for certora-cli-alpha-assaf-verifytacdump: filename=certora_cli_alpha_assaf_VerifyTACDump-20230521.9.25.275825-py3-none-any.whl size=38775273 sha256=358cdf644c155ff5af2b02c0b9d214e67dd10633c009f22201d06f4d165faae5
2023-05-21T09:52:26,730   Stored in directory: /tmp/pip-ephem-wheel-cache-fgtodxfd/wheels/8b/03/74/cb8ea90571a01c08225e7a62911057d6b86b7cdf2348a17128
2023-05-21T09:52:26,753 Successfully built certora-cli-alpha-assaf-verifytacdump
2023-05-21T09:52:27,661 Removed build tracker: '/tmp/pip-build-tracker-ad90rr53'