2023-05-21T08:42:12,307 Created temporary directory: /tmp/pip-build-tracker-bczjwuye 2023-05-21T08:42:12,308 Initialized build tracking at /tmp/pip-build-tracker-bczjwuye 2023-05-21T08:42:12,308 Created build tracker: /tmp/pip-build-tracker-bczjwuye 2023-05-21T08:42:12,309 Entered build tracker: /tmp/pip-build-tracker-bczjwuye 2023-05-21T08:42:12,309 Created temporary directory: /tmp/pip-wheel-8e6zab72 2023-05-21T08:42:12,313 Created temporary directory: /tmp/pip-ephem-wheel-cache-fkvbsn2u 2023-05-21T08:42:12,339 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-21T08:42:12,342 2 location(s) to search for versions of certora-cli-alpha-assaf-verifytacdump: 2023-05-21T08:42:12,342 * https://pypi.org/simple/certora-cli-alpha-assaf-verifytacdump/ 2023-05-21T08:42:12,342 * https://www.piwheels.org/simple/certora-cli-alpha-assaf-verifytacdump/ 2023-05-21T08:42:12,343 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-assaf-verifytacdump/ 2023-05-21T08:42:12,343 Getting page https://pypi.org/simple/certora-cli-alpha-assaf-verifytacdump/ 2023-05-21T08:42:12,345 Found index url https://pypi.org/simple/ 2023-05-21T08:42:12,395 Fetched page https://pypi.org/simple/certora-cli-alpha-assaf-verifytacdump/ as application/vnd.pypi.simple.v1+json 2023-05-21T08:42:12,397 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-21T08:42:12,398 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-21T08:42:12,398 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-21T08:42:12,399 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-21T08:42:12,399 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-assaf-verifytacdump/ 2023-05-21T08:42:12,399 Getting page https://www.piwheels.org/simple/certora-cli-alpha-assaf-verifytacdump/ 2023-05-21T08:42:12,400 Found index url https://www.piwheels.org/simple/ 2023-05-21T08:42:12,564 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-assaf-verifytacdump/ as text/html 2023-05-21T08:42:12,565 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-21T08:42:12,565 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-assaf-verifytacdump/ 2023-05-21T08:42:12,565 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-assaf-verifytacdump/ 2023-05-21T08:42:12,582 Given no hashes to check 1 links for project 'certora-cli-alpha-assaf-verifytacdump': discarding no candidates 2023-05-21T08:42:12,599 Collecting certora-cli-alpha-assaf-verifytacdump==20230521.8.20.471148 2023-05-21T08:42:12,601 Created temporary directory: /tmp/pip-unpack-v_gap325 2023-05-21T08:42:12,755 Downloading certora-cli-alpha-assaf-VerifyTACDump-20230521.8.20.471148.tar.gz (38.7 MB) 2023-05-21T08:42:22,381 Added certora-cli-alpha-assaf-verifytacdump==20230521.8.20.471148 from https://files.pythonhosted.org/packages/b3/7e/92996ac79fd5095bb79cbb771ba6836771a298a547ea1c22c56f04f52871/certora-cli-alpha-assaf-VerifyTACDump-20230521.8.20.471148.tar.gz to build tracker '/tmp/pip-build-tracker-bczjwuye' 2023-05-21T08:42:22,383 Running setup.py (path:/tmp/pip-wheel-8e6zab72/certora-cli-alpha-assaf-verifytacdump_407e3156d0e8429388b800cf67bd7037/setup.py) egg_info for package certora-cli-alpha-assaf-verifytacdump 2023-05-21T08:42:22,383 Created temporary directory: /tmp/pip-pip-egg-info-8wcbqtcd 2023-05-21T08:42:22,384 Preparing metadata (setup.py): started 2023-05-21T08:42:22,385 Running command python setup.py egg_info 2023-05-21T08:42:22,983 running egg_info 2023-05-21T08:42:22,985 creating /tmp/pip-pip-egg-info-8wcbqtcd/certora_cli_alpha_assaf_VerifyTACDump.egg-info 2023-05-21T08:42:23,009 writing /tmp/pip-pip-egg-info-8wcbqtcd/certora_cli_alpha_assaf_VerifyTACDump.egg-info/PKG-INFO 2023-05-21T08:42:23,012 writing dependency_links to /tmp/pip-pip-egg-info-8wcbqtcd/certora_cli_alpha_assaf_VerifyTACDump.egg-info/dependency_links.txt 2023-05-21T08:42:23,013 writing entry points to /tmp/pip-pip-egg-info-8wcbqtcd/certora_cli_alpha_assaf_VerifyTACDump.egg-info/entry_points.txt 2023-05-21T08:42:23,015 writing requirements to /tmp/pip-pip-egg-info-8wcbqtcd/certora_cli_alpha_assaf_VerifyTACDump.egg-info/requires.txt 2023-05-21T08:42:23,016 writing top-level names to /tmp/pip-pip-egg-info-8wcbqtcd/certora_cli_alpha_assaf_VerifyTACDump.egg-info/top_level.txt 2023-05-21T08:42:23,017 writing manifest file '/tmp/pip-pip-egg-info-8wcbqtcd/certora_cli_alpha_assaf_VerifyTACDump.egg-info/SOURCES.txt' 2023-05-21T08:42:23,099 reading manifest file '/tmp/pip-pip-egg-info-8wcbqtcd/certora_cli_alpha_assaf_VerifyTACDump.egg-info/SOURCES.txt' 2023-05-21T08:42:23,100 reading manifest template 'MANIFEST.in' 2023-05-21T08:42:23,109 adding license file 'LICENSE' 2023-05-21T08:42:23,112 writing manifest file '/tmp/pip-pip-egg-info-8wcbqtcd/certora_cli_alpha_assaf_VerifyTACDump.egg-info/SOURCES.txt' 2023-05-21T08:42:23,171 Preparing metadata (setup.py): finished with status 'done' 2023-05-21T08:42:23,177 Source in /tmp/pip-wheel-8e6zab72/certora-cli-alpha-assaf-verifytacdump_407e3156d0e8429388b800cf67bd7037 has version 20230521.8.20.471148, which satisfies requirement certora-cli-alpha-assaf-verifytacdump==20230521.8.20.471148 from https://files.pythonhosted.org/packages/b3/7e/92996ac79fd5095bb79cbb771ba6836771a298a547ea1c22c56f04f52871/certora-cli-alpha-assaf-VerifyTACDump-20230521.8.20.471148.tar.gz 2023-05-21T08:42:23,177 Removed certora-cli-alpha-assaf-verifytacdump==20230521.8.20.471148 from https://files.pythonhosted.org/packages/b3/7e/92996ac79fd5095bb79cbb771ba6836771a298a547ea1c22c56f04f52871/certora-cli-alpha-assaf-VerifyTACDump-20230521.8.20.471148.tar.gz from build tracker '/tmp/pip-build-tracker-bczjwuye' 2023-05-21T08:42:23,184 Created temporary directory: /tmp/pip-unpack-_qz3ji9l 2023-05-21T08:42:23,185 Building wheels for collected packages: certora-cli-alpha-assaf-verifytacdump 2023-05-21T08:42:23,189 Created temporary directory: /tmp/pip-wheel-m8nh9q0x 2023-05-21T08:42:23,189 Building wheel for certora-cli-alpha-assaf-verifytacdump (setup.py): started 2023-05-21T08:42:23,190 Destination directory: /tmp/pip-wheel-m8nh9q0x 2023-05-21T08:42:23,190 Running command python setup.py bdist_wheel 2023-05-21T08:42:23,985 running bdist_wheel 2023-05-21T08:42:24,264 running build 2023-05-21T08:42:24,264 running build_py 2023-05-21T08:42:24,292 creating build 2023-05-21T08:42:24,292 creating build/lib 2023-05-21T08:42:24,293 creating build/lib/certora_jars 2023-05-21T08:42:24,294 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-21T08:42:24,296 creating build/lib/certora_cli 2023-05-21T08:42:24,297 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-21T08:42:24,299 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-21T08:42:24,301 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-21T08:42:24,303 creating build/lib/certora_cli/Shared 2023-05-21T08:42:24,304 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-21T08:42:24,307 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-21T08:42:24,309 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-21T08:42:24,311 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-21T08:42:24,314 creating build/lib/certora_cli/EVMVerifier 2023-05-21T08:42:24,315 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-21T08:42:24,320 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-21T08:42:24,323 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-05-21T08:42:24,324 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-21T08:42:24,327 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-21T08:42:24,329 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-21T08:42:24,331 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-21T08:42:24,332 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-21T08:42:24,335 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-21T08:42:24,336 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-21T08:42:24,339 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-21T08:42:24,342 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-21T08:42:24,345 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-21T08:42:24,347 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-21T08:42:24,351 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-21T08:42:24,351 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-21T08:42:24,354 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-21T08:42:24,356 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-21T08:42:24,358 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-21T08:42:24,360 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-21T08:42:24,362 running egg_info 2023-05-21T08:42:24,421 writing certora_cli_alpha_assaf_VerifyTACDump.egg-info/PKG-INFO 2023-05-21T08:42:24,423 writing dependency_links to certora_cli_alpha_assaf_VerifyTACDump.egg-info/dependency_links.txt 2023-05-21T08:42:24,425 writing entry points to certora_cli_alpha_assaf_VerifyTACDump.egg-info/entry_points.txt 2023-05-21T08:42:24,426 writing requirements to certora_cli_alpha_assaf_VerifyTACDump.egg-info/requires.txt 2023-05-21T08:42:24,427 writing top-level names to certora_cli_alpha_assaf_VerifyTACDump.egg-info/top_level.txt 2023-05-21T08:42:24,458 reading manifest file 'certora_cli_alpha_assaf_VerifyTACDump.egg-info/SOURCES.txt' 2023-05-21T08:42:24,461 reading manifest template 'MANIFEST.in' 2023-05-21T08:42:24,469 adding license file 'LICENSE' 2023-05-21T08:42:24,473 writing manifest file 'certora_cli_alpha_assaf_VerifyTACDump.egg-info/SOURCES.txt' 2023-05-21T08:42:24,477 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-21T08:42:24,479 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-21T08:42:24,691 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-21T08:42:24,859 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-21T08:42:25,046 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-21T08:42:25,135 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-21T08:42:25,227 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-21T08:42:25,227 !! 2023-05-21T08:42:25,228 ******************************************************************************** 2023-05-21T08:42:25,228 Please avoid running ``setup.py`` directly. 2023-05-21T08:42:25,228 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-21T08:42:25,228 other standards-based tools. 2023-05-21T08:42:25,229 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-21T08:42:25,229 ******************************************************************************** 2023-05-21T08:42:25,229 !! 2023-05-21T08:42:25,229 self.initialize_options() 2023-05-21T08:42:25,253 installing to build/bdist.linux-armv7l/wheel 2023-05-21T08:42:25,253 running install 2023-05-21T08:42:25,279 running install_lib 2023-05-21T08:42:25,305 creating build/bdist.linux-armv7l 2023-05-21T08:42:25,305 creating build/bdist.linux-armv7l/wheel 2023-05-21T08:42:25,307 creating build/bdist.linux-armv7l/wheel/certora_jars 2023-05-21T08:42:25,308 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-21T08:42:25,502 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-21T08:42:25,656 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-21T08:42:25,717 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-21T08:42:25,718 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-21T08:42:25,720 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-21T08:42:25,801 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-21T08:42:26,027 creating build/bdist.linux-armv7l/wheel/certora_cli 2023-05-21T08:42:26,028 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-21T08:42:26,030 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-21T08:42:26,032 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-21T08:42:26,034 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-21T08:42:26,035 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-21T08:42:26,038 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-21T08:42:26,040 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-21T08:42:26,042 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-21T08:42:26,045 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-21T08:42:26,045 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-21T08:42:26,051 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-21T08:42:26,053 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-21T08:42:26,055 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-21T08:42:26,057 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-21T08:42:26,059 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-21T08:42:26,062 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-21T08:42:26,063 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-21T08:42:26,066 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-21T08:42:26,068 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-21T08:42:26,071 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-21T08:42:26,074 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-21T08:42:26,075 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-21T08:42:26,078 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-21T08:42:26,080 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-21T08:42:26,083 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-21T08:42:26,085 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-21T08:42:26,087 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-21T08:42:26,090 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-21T08:42:26,093 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-21T08:42:26,095 running install_egg_info 2023-05-21T08:42:26,124 Copying certora_cli_alpha_assaf_VerifyTACDump.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_assaf_VerifyTACDump-20230521.8.20.471148-py3.9.egg-info 2023-05-21T08:42:26,136 running install_scripts 2023-05-21T08:42:26,153 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-05-21T08:42:26,158 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_assaf_VerifyTACDump-20230521.8.20.471148.dist-info/WHEEL 2023-05-21T08:42:26,161 creating '/tmp/pip-wheel-m8nh9q0x/certora_cli_alpha_assaf_VerifyTACDump-20230521.8.20.471148-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-05-21T08:42:26,163 adding 'certora_cli/__init__.py' 2023-05-21T08:42:26,165 adding 'certora_cli/certoraMutate.py' 2023-05-21T08:42:26,167 adding 'certora_cli/certoraRun.py' 2023-05-21T08:42:26,169 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-21T08:42:26,192 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-21T08:42:26,199 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-21T08:42:26,201 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-21T08:42:26,203 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-21T08:42:26,208 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-21T08:42:26,212 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-21T08:42:26,213 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-21T08:42:26,219 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-21T08:42:26,221 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-05-21T08:42:26,223 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-21T08:42:26,225 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-21T08:42:26,228 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-21T08:42:26,232 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-21T08:42:26,235 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-21T08:42:26,237 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-21T08:42:26,239 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-21T08:42:26,243 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-21T08:42:26,245 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-21T08:42:26,247 adding 'certora_cli/Shared/__init__.py' 2023-05-21T08:42:26,250 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-21T08:42:26,252 adding 'certora_cli/Shared/certoraTester.py' 2023-05-21T08:42:26,258 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-21T08:42:26,262 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-21T08:42:27,933 adding 'certora_jars/MutationTest.jar' 2023-05-21T08:42:29,266 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-21T08:42:30,839 adding 'certora_jars/Typechecker.jar' 2023-05-21T08:42:30,921 adding 'certora_jars/__init__.py' 2023-05-21T08:42:31,666 adding 'certora_jars/gambit-linux' 2023-05-21T08:42:32,334 adding 'certora_jars/gambit-macos' 2023-05-21T08:42:32,360 adding 'certora_cli_alpha_assaf_VerifyTACDump-20230521.8.20.471148.dist-info/LICENSE' 2023-05-21T08:42:32,362 adding 'certora_cli_alpha_assaf_VerifyTACDump-20230521.8.20.471148.dist-info/METADATA' 2023-05-21T08:42:32,363 adding 'certora_cli_alpha_assaf_VerifyTACDump-20230521.8.20.471148.dist-info/WHEEL' 2023-05-21T08:42:32,364 adding 'certora_cli_alpha_assaf_VerifyTACDump-20230521.8.20.471148.dist-info/entry_points.txt' 2023-05-21T08:42:32,365 adding 'certora_cli_alpha_assaf_VerifyTACDump-20230521.8.20.471148.dist-info/top_level.txt' 2023-05-21T08:42:32,366 adding 'certora_cli_alpha_assaf_VerifyTACDump-20230521.8.20.471148.dist-info/RECORD' 2023-05-21T08:42:32,792 removing build/bdist.linux-armv7l/wheel 2023-05-21T08:42:32,910 Building wheel for certora-cli-alpha-assaf-verifytacdump (setup.py): finished with status 'done' 2023-05-21T08:42:33,293 Created wheel for certora-cli-alpha-assaf-verifytacdump: filename=certora_cli_alpha_assaf_VerifyTACDump-20230521.8.20.471148-py3-none-any.whl size=38775277 sha256=1761511ca3c0ca1dd5677c44417fea5eb89f0ec13ff10289e68c6ce140083d0a 2023-05-21T08:42:33,294 Stored in directory: /tmp/pip-ephem-wheel-cache-fkvbsn2u/wheels/e3/c9/ee/43b59bbb4d8195f1274669a97d23aac134c78020d1563f5a9a 2023-05-21T08:42:33,318 Successfully built certora-cli-alpha-assaf-verifytacdump 2023-05-21T08:42:34,212 Removed build tracker: '/tmp/pip-build-tracker-bczjwuye'