2023-05-15T10:27:09,793 Created temporary directory: /tmp/pip-build-tracker-4gytynf9 2023-05-15T10:27:09,794 Initialized build tracking at /tmp/pip-build-tracker-4gytynf9 2023-05-15T10:27:09,795 Created build tracker: /tmp/pip-build-tracker-4gytynf9 2023-05-15T10:27:09,795 Entered build tracker: /tmp/pip-build-tracker-4gytynf9 2023-05-15T10:27:09,795 Created temporary directory: /tmp/pip-wheel-6iy4fjqs 2023-05-15T10:27:09,799 Created temporary directory: /tmp/pip-ephem-wheel-cache-cw5rkyw8 2023-05-15T10:27:09,824 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-15T10:27:09,828 2 location(s) to search for versions of certora-cli-alpha-assaf-verifytacdump: 2023-05-15T10:27:09,828 * https://pypi.org/simple/certora-cli-alpha-assaf-verifytacdump/ 2023-05-15T10:27:09,828 * https://www.piwheels.org/simple/certora-cli-alpha-assaf-verifytacdump/ 2023-05-15T10:27:09,828 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-assaf-verifytacdump/ 2023-05-15T10:27:09,829 Getting page https://pypi.org/simple/certora-cli-alpha-assaf-verifytacdump/ 2023-05-15T10:27:09,830 Found index url https://pypi.org/simple/ 2023-05-15T10:27:09,888 Fetched page https://pypi.org/simple/certora-cli-alpha-assaf-verifytacdump/ as application/vnd.pypi.simple.v1+json 2023-05-15T10:27:09,890 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-15T10:27:09,890 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-15T10:27:09,890 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-assaf-verifytacdump/ 2023-05-15T10:27:09,891 Getting page https://www.piwheels.org/simple/certora-cli-alpha-assaf-verifytacdump/ 2023-05-15T10:27:09,892 Found index url https://www.piwheels.org/simple/ 2023-05-15T10:27:10,112 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-assaf-verifytacdump/ as text/html 2023-05-15T10:27:10,113 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-assaf-verifytacdump/ 2023-05-15T10:27:10,113 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-assaf-verifytacdump/ 2023-05-15T10:27:10,131 Given no hashes to check 1 links for project 'certora-cli-alpha-assaf-verifytacdump': discarding no candidates 2023-05-15T10:27:10,149 Collecting certora-cli-alpha-assaf-verifytacdump==20230513.9.58.354056 2023-05-15T10:27:10,151 Created temporary directory: /tmp/pip-unpack-obx8qk_m 2023-05-15T10:27:10,518 Downloading certora-cli-alpha-assaf-VerifyTACDump-20230513.9.58.354056.tar.gz (39.4 MB) 2023-05-15T10:27:20,900 Added certora-cli-alpha-assaf-verifytacdump==20230513.9.58.354056 from https://files.pythonhosted.org/packages/a7/36/6ce8907049a78f7d49d8d9638f5793558beb8daefa98950151928a9e7279/certora-cli-alpha-assaf-VerifyTACDump-20230513.9.58.354056.tar.gz to build tracker '/tmp/pip-build-tracker-4gytynf9' 2023-05-15T10:27:20,902 Running setup.py (path:/tmp/pip-wheel-6iy4fjqs/certora-cli-alpha-assaf-verifytacdump_736bcbf07a42405dba3ec2d0f461a63c/setup.py) egg_info for package certora-cli-alpha-assaf-verifytacdump 2023-05-15T10:27:20,903 Created temporary directory: /tmp/pip-pip-egg-info-y0df539y 2023-05-15T10:27:20,903 Preparing metadata (setup.py): started 2023-05-15T10:27:20,904 Running command python setup.py egg_info 2023-05-15T10:27:21,573 running egg_info 2023-05-15T10:27:21,575 creating /tmp/pip-pip-egg-info-y0df539y/certora_cli_alpha_assaf_VerifyTACDump.egg-info 2023-05-15T10:27:21,602 writing /tmp/pip-pip-egg-info-y0df539y/certora_cli_alpha_assaf_VerifyTACDump.egg-info/PKG-INFO 2023-05-15T10:27:21,604 writing dependency_links to /tmp/pip-pip-egg-info-y0df539y/certora_cli_alpha_assaf_VerifyTACDump.egg-info/dependency_links.txt 2023-05-15T10:27:21,606 writing entry points to /tmp/pip-pip-egg-info-y0df539y/certora_cli_alpha_assaf_VerifyTACDump.egg-info/entry_points.txt 2023-05-15T10:27:21,608 writing requirements to /tmp/pip-pip-egg-info-y0df539y/certora_cli_alpha_assaf_VerifyTACDump.egg-info/requires.txt 2023-05-15T10:27:21,609 writing top-level names to /tmp/pip-pip-egg-info-y0df539y/certora_cli_alpha_assaf_VerifyTACDump.egg-info/top_level.txt 2023-05-15T10:27:21,610 writing manifest file '/tmp/pip-pip-egg-info-y0df539y/certora_cli_alpha_assaf_VerifyTACDump.egg-info/SOURCES.txt' 2023-05-15T10:27:21,701 reading manifest file '/tmp/pip-pip-egg-info-y0df539y/certora_cli_alpha_assaf_VerifyTACDump.egg-info/SOURCES.txt' 2023-05-15T10:27:21,702 reading manifest template 'MANIFEST.in' 2023-05-15T10:27:21,712 adding license file 'LICENSE' 2023-05-15T10:27:21,716 writing manifest file '/tmp/pip-pip-egg-info-y0df539y/certora_cli_alpha_assaf_VerifyTACDump.egg-info/SOURCES.txt' 2023-05-15T10:27:21,776 Preparing metadata (setup.py): finished with status 'done' 2023-05-15T10:27:21,781 Source in /tmp/pip-wheel-6iy4fjqs/certora-cli-alpha-assaf-verifytacdump_736bcbf07a42405dba3ec2d0f461a63c has version 20230513.9.58.354056, which satisfies requirement certora-cli-alpha-assaf-verifytacdump==20230513.9.58.354056 from https://files.pythonhosted.org/packages/a7/36/6ce8907049a78f7d49d8d9638f5793558beb8daefa98950151928a9e7279/certora-cli-alpha-assaf-VerifyTACDump-20230513.9.58.354056.tar.gz 2023-05-15T10:27:21,782 Removed certora-cli-alpha-assaf-verifytacdump==20230513.9.58.354056 from https://files.pythonhosted.org/packages/a7/36/6ce8907049a78f7d49d8d9638f5793558beb8daefa98950151928a9e7279/certora-cli-alpha-assaf-VerifyTACDump-20230513.9.58.354056.tar.gz from build tracker '/tmp/pip-build-tracker-4gytynf9' 2023-05-15T10:27:21,789 Created temporary directory: /tmp/pip-unpack-jwkr2bzm 2023-05-15T10:27:21,790 Building wheels for collected packages: certora-cli-alpha-assaf-verifytacdump 2023-05-15T10:27:21,794 Created temporary directory: /tmp/pip-wheel-zg9kkm75 2023-05-15T10:27:21,794 Building wheel for certora-cli-alpha-assaf-verifytacdump (setup.py): started 2023-05-15T10:27:21,795 Destination directory: /tmp/pip-wheel-zg9kkm75 2023-05-15T10:27:21,796 Running command python setup.py bdist_wheel 2023-05-15T10:27:22,453 running bdist_wheel 2023-05-15T10:27:22,735 running build 2023-05-15T10:27:22,735 running build_py 2023-05-15T10:27:22,764 creating build 2023-05-15T10:27:22,765 creating build/lib 2023-05-15T10:27:22,766 creating build/lib/certora_jars 2023-05-15T10:27:22,767 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-15T10:27:22,769 creating build/lib/certora_cli 2023-05-15T10:27:22,770 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-15T10:27:22,772 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-15T10:27:22,774 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-15T10:27:22,777 creating build/lib/certora_cli/Shared 2023-05-15T10:27:22,778 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-15T10:27:22,780 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-15T10:27:22,782 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-15T10:27:22,785 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-15T10:27:22,789 creating build/lib/certora_cli/EVMVerifier 2023-05-15T10:27:22,791 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T10:27:22,794 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T10:27:22,798 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T10:27:22,801 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T10:27:22,803 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T10:27:22,806 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T10:27:22,808 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T10:27:22,810 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T10:27:22,813 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T10:27:22,816 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T10:27:22,822 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T10:27:22,824 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T10:27:22,827 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T10:27:22,829 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T10:27:22,831 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T10:27:22,832 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T10:27:22,834 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T10:27:22,836 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T10:27:22,839 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T10:27:22,841 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T10:27:22,843 running egg_info 2023-05-15T10:27:22,906 writing certora_cli_alpha_assaf_VerifyTACDump.egg-info/PKG-INFO 2023-05-15T10:27:22,908 writing dependency_links to certora_cli_alpha_assaf_VerifyTACDump.egg-info/dependency_links.txt 2023-05-15T10:27:22,910 writing entry points to certora_cli_alpha_assaf_VerifyTACDump.egg-info/entry_points.txt 2023-05-15T10:27:22,912 writing requirements to certora_cli_alpha_assaf_VerifyTACDump.egg-info/requires.txt 2023-05-15T10:27:22,913 writing top-level names to certora_cli_alpha_assaf_VerifyTACDump.egg-info/top_level.txt 2023-05-15T10:27:22,945 reading manifest file 'certora_cli_alpha_assaf_VerifyTACDump.egg-info/SOURCES.txt' 2023-05-15T10:27:22,948 reading manifest template 'MANIFEST.in' 2023-05-15T10:27:22,958 adding license file 'LICENSE' 2023-05-15T10:27:22,962 writing manifest file 'certora_cli_alpha_assaf_VerifyTACDump.egg-info/SOURCES.txt' 2023-05-15T10:27:22,966 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-15T10:27:22,968 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-15T10:27:23,211 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-15T10:27:23,376 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-15T10:27:23,612 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-15T10:27:23,725 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-15T10:27:23,848 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-15T10:27:23,848 !! 2023-05-15T10:27:23,849 ******************************************************************************** 2023-05-15T10:27:23,849 Please avoid running ``setup.py`` directly. 2023-05-15T10:27:23,849 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-15T10:27:23,849 other standards-based tools. 2023-05-15T10:27:23,849 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-15T10:27:23,849 ******************************************************************************** 2023-05-15T10:27:23,850 !! 2023-05-15T10:27:23,850 self.initialize_options() 2023-05-15T10:27:23,876 installing to build/bdist.linux-aarch64/wheel 2023-05-15T10:27:23,876 running install 2023-05-15T10:27:23,902 running install_lib 2023-05-15T10:27:23,929 creating build/bdist.linux-aarch64 2023-05-15T10:27:23,929 creating build/bdist.linux-aarch64/wheel 2023-05-15T10:27:23,931 creating build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T10:27:23,932 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T10:27:24,165 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T10:27:24,166 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T10:27:24,390 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T10:27:24,485 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T10:27:24,615 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T10:27:24,618 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T10:27:24,777 creating build/bdist.linux-aarch64/wheel/certora_cli 2023-05-15T10:27:24,778 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-15T10:27:24,781 creating build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-15T10:27:24,782 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-15T10:27:24,785 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-15T10:27:24,787 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-15T10:27:24,790 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-15T10:27:24,794 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-15T10:27:24,797 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-15T10:27:24,800 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T10:27:24,801 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T10:27:24,805 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T10:27:24,808 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T10:27:24,811 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T10:27:24,813 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T10:27:24,816 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T10:27:24,818 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T10:27:24,820 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T10:27:24,823 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T10:27:24,826 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T10:27:24,828 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T10:27:24,830 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T10:27:24,832 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T10:27:24,835 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T10:27:24,837 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T10:27:24,840 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T10:27:24,845 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T10:27:24,848 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T10:27:24,850 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T10:27:24,852 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T10:27:24,854 running install_egg_info 2023-05-15T10:27:24,885 Copying certora_cli_alpha_assaf_VerifyTACDump.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_assaf_VerifyTACDump-20230513.9.58.354056-py3.9.egg-info 2023-05-15T10:27:24,897 running install_scripts 2023-05-15T10:27:24,914 creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_assaf_VerifyTACDump-20230513.9.58.354056.dist-info/WHEEL 2023-05-15T10:27:24,916 creating '/tmp/pip-wheel-zg9kkm75/certora_cli_alpha_assaf_VerifyTACDump-20230513.9.58.354056-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it 2023-05-15T10:27:24,919 adding 'certora_cli/__init__.py' 2023-05-15T10:27:24,920 adding 'certora_cli/certoraMutate.py' 2023-05-15T10:27:24,922 adding 'certora_cli/certoraRun.py' 2023-05-15T10:27:24,924 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-15T10:27:24,946 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-15T10:27:24,953 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-15T10:27:24,955 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-15T10:27:24,957 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-15T10:27:24,961 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-15T10:27:24,965 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-15T10:27:24,966 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-15T10:27:24,972 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-15T10:27:24,974 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-05-15T10:27:24,976 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-15T10:27:24,977 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-15T10:27:24,980 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-15T10:27:24,984 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-15T10:27:24,986 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-15T10:27:24,988 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-15T10:27:24,989 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-15T10:27:24,994 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-15T10:27:24,995 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-15T10:27:24,997 adding 'certora_cli/Shared/__init__.py' 2023-05-15T10:27:25,000 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-15T10:27:25,002 adding 'certora_cli/Shared/certoraTester.py' 2023-05-15T10:27:25,008 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-15T10:27:25,011 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-15T10:27:26,658 adding 'certora_jars/MutationTest.jar' 2023-05-15T10:27:27,970 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-15T10:27:29,521 adding 'certora_jars/Typechecker.jar' 2023-05-15T10:27:29,605 adding 'certora_jars/__init__.py' 2023-05-15T10:27:30,466 adding 'certora_jars/gambit-linux' 2023-05-15T10:27:31,329 adding 'certora_jars/gambit-macos' 2023-05-15T10:27:31,365 adding 'certora_cli_alpha_assaf_VerifyTACDump-20230513.9.58.354056.dist-info/LICENSE' 2023-05-15T10:27:31,367 adding 'certora_cli_alpha_assaf_VerifyTACDump-20230513.9.58.354056.dist-info/METADATA' 2023-05-15T10:27:31,368 adding 'certora_cli_alpha_assaf_VerifyTACDump-20230513.9.58.354056.dist-info/WHEEL' 2023-05-15T10:27:31,370 adding 'certora_cli_alpha_assaf_VerifyTACDump-20230513.9.58.354056.dist-info/entry_points.txt' 2023-05-15T10:27:31,371 adding 'certora_cli_alpha_assaf_VerifyTACDump-20230513.9.58.354056.dist-info/top_level.txt' 2023-05-15T10:27:31,372 adding 'certora_cli_alpha_assaf_VerifyTACDump-20230513.9.58.354056.dist-info/RECORD' 2023-05-15T10:27:31,843 removing build/bdist.linux-aarch64/wheel 2023-05-15T10:27:31,963 Building wheel for certora-cli-alpha-assaf-verifytacdump (setup.py): finished with status 'done' 2023-05-15T10:27:32,291 Created wheel for certora-cli-alpha-assaf-verifytacdump: filename=certora_cli_alpha_assaf_VerifyTACDump-20230513.9.58.354056-py3-none-any.whl size=39462875 sha256=1e4be11acb3b6a694bca42b95cb7bed98ad6697284fb7d7980a528fb92609ba5 2023-05-15T10:27:32,293 Stored in directory: /tmp/pip-ephem-wheel-cache-cw5rkyw8/wheels/d5/e1/9d/7bd0f2fbf25524b8ae6375cd4abce998b079c38e94ca0ee354 2023-05-15T10:27:32,323 Successfully built certora-cli-alpha-assaf-verifytacdump 2023-05-15T10:27:33,581 Removed build tracker: '/tmp/pip-build-tracker-4gytynf9'