2023-05-18T14:53:54,560 Created temporary directory: /tmp/pip-build-tracker-9l3uo26l 2023-05-18T14:53:54,562 Initialized build tracking at /tmp/pip-build-tracker-9l3uo26l 2023-05-18T14:53:54,562 Created build tracker: /tmp/pip-build-tracker-9l3uo26l 2023-05-18T14:53:54,562 Entered build tracker: /tmp/pip-build-tracker-9l3uo26l 2023-05-18T14:53:54,563 Created temporary directory: /tmp/pip-wheel-9kig629u 2023-05-18T14:53:54,566 Created temporary directory: /tmp/pip-ephem-wheel-cache-1t2msr6c 2023-05-18T14:53:54,589 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-18T14:53:54,593 2 location(s) to search for versions of certora-cli-alpha-shays-cert-2259: 2023-05-18T14:53:54,593 * https://pypi.org/simple/certora-cli-alpha-shays-cert-2259/ 2023-05-18T14:53:54,593 * https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-2259/ 2023-05-18T14:53:54,593 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-shays-cert-2259/ 2023-05-18T14:53:54,593 Getting page https://pypi.org/simple/certora-cli-alpha-shays-cert-2259/ 2023-05-18T14:53:54,595 Found index url https://pypi.org/simple/ 2023-05-18T14:53:54,644 Fetched page https://pypi.org/simple/certora-cli-alpha-shays-cert-2259/ as application/vnd.pypi.simple.v1+json 2023-05-18T14:53:54,645 Found link https://files.pythonhosted.org/packages/be/90/360baafe80e6c16272195933f1a9d8cd9f9be2743fcee63ee1ca80f34718/certora-cli-alpha-shays-CERT-2259-20230518.14.30.943042.tar.gz (from https://pypi.org/simple/certora-cli-alpha-shays-cert-2259/) (requires-python:>=3.8), version: 20230518.14.30.943042 2023-05-18T14:53:54,646 Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-2259: https://files.pythonhosted.org/packages/92/60/aa77ca1cd3b71eed54d52bf5693b8945569ea82208e185dae8875bdf5354/certora_cli_alpha_shays_CERT_2259-20230518.14.30.943042-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-shays-cert-2259/) (requires-python:>=3.8) 2023-05-18T14:53:54,646 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-2259/ 2023-05-18T14:53:54,646 Getting page https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-2259/ 2023-05-18T14:53:54,647 Found index url https://www.piwheels.org/simple/ 2023-05-18T14:53:54,822 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-2259/ as text/html 2023-05-18T14:53:54,823 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-2259/ 2023-05-18T14:53:54,823 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-shays-cert-2259/ 2023-05-18T14:53:54,841 Given no hashes to check 1 links for project 'certora-cli-alpha-shays-cert-2259': discarding no candidates 2023-05-18T14:53:54,857 Collecting certora-cli-alpha-shays-cert-2259==20230518.14.30.943042 2023-05-18T14:53:54,859 Created temporary directory: /tmp/pip-unpack-ttt_rmzt 2023-05-18T14:53:54,998 Downloading certora-cli-alpha-shays-CERT-2259-20230518.14.30.943042.tar.gz (39.0 MB) 2023-05-18T14:54:04,981 Added certora-cli-alpha-shays-cert-2259==20230518.14.30.943042 from https://files.pythonhosted.org/packages/be/90/360baafe80e6c16272195933f1a9d8cd9f9be2743fcee63ee1ca80f34718/certora-cli-alpha-shays-CERT-2259-20230518.14.30.943042.tar.gz to build tracker '/tmp/pip-build-tracker-9l3uo26l' 2023-05-18T14:54:04,984 Running setup.py (path:/tmp/pip-wheel-9kig629u/certora-cli-alpha-shays-cert-2259_e461c9651bc243268d85ae6d0c9e9d64/setup.py) egg_info for package certora-cli-alpha-shays-cert-2259 2023-05-18T14:54:04,985 Created temporary directory: /tmp/pip-pip-egg-info-wkdpfb47 2023-05-18T14:54:04,985 Preparing metadata (setup.py): started 2023-05-18T14:54:04,986 Running command python setup.py egg_info 2023-05-18T14:54:05,596 running egg_info 2023-05-18T14:54:05,598 creating /tmp/pip-pip-egg-info-wkdpfb47/certora_cli_alpha_shays_CERT_2259.egg-info 2023-05-18T14:54:05,622 writing /tmp/pip-pip-egg-info-wkdpfb47/certora_cli_alpha_shays_CERT_2259.egg-info/PKG-INFO 2023-05-18T14:54:05,624 writing dependency_links to /tmp/pip-pip-egg-info-wkdpfb47/certora_cli_alpha_shays_CERT_2259.egg-info/dependency_links.txt 2023-05-18T14:54:05,626 writing entry points to /tmp/pip-pip-egg-info-wkdpfb47/certora_cli_alpha_shays_CERT_2259.egg-info/entry_points.txt 2023-05-18T14:54:05,627 writing requirements to /tmp/pip-pip-egg-info-wkdpfb47/certora_cli_alpha_shays_CERT_2259.egg-info/requires.txt 2023-05-18T14:54:05,628 writing top-level names to /tmp/pip-pip-egg-info-wkdpfb47/certora_cli_alpha_shays_CERT_2259.egg-info/top_level.txt 2023-05-18T14:54:05,630 writing manifest file '/tmp/pip-pip-egg-info-wkdpfb47/certora_cli_alpha_shays_CERT_2259.egg-info/SOURCES.txt' 2023-05-18T14:54:05,711 reading manifest file '/tmp/pip-pip-egg-info-wkdpfb47/certora_cli_alpha_shays_CERT_2259.egg-info/SOURCES.txt' 2023-05-18T14:54:05,712 reading manifest template 'MANIFEST.in' 2023-05-18T14:54:05,720 adding license file 'LICENSE' 2023-05-18T14:54:05,724 writing manifest file '/tmp/pip-pip-egg-info-wkdpfb47/certora_cli_alpha_shays_CERT_2259.egg-info/SOURCES.txt' 2023-05-18T14:54:05,782 Preparing metadata (setup.py): finished with status 'done' 2023-05-18T14:54:05,787 Source in /tmp/pip-wheel-9kig629u/certora-cli-alpha-shays-cert-2259_e461c9651bc243268d85ae6d0c9e9d64 has version 20230518.14.30.943042, which satisfies requirement certora-cli-alpha-shays-cert-2259==20230518.14.30.943042 from https://files.pythonhosted.org/packages/be/90/360baafe80e6c16272195933f1a9d8cd9f9be2743fcee63ee1ca80f34718/certora-cli-alpha-shays-CERT-2259-20230518.14.30.943042.tar.gz 2023-05-18T14:54:05,788 Removed certora-cli-alpha-shays-cert-2259==20230518.14.30.943042 from https://files.pythonhosted.org/packages/be/90/360baafe80e6c16272195933f1a9d8cd9f9be2743fcee63ee1ca80f34718/certora-cli-alpha-shays-CERT-2259-20230518.14.30.943042.tar.gz from build tracker '/tmp/pip-build-tracker-9l3uo26l' 2023-05-18T14:54:05,794 Created temporary directory: /tmp/pip-unpack-invnysuz 2023-05-18T14:54:05,795 Building wheels for collected packages: certora-cli-alpha-shays-cert-2259 2023-05-18T14:54:05,799 Created temporary directory: /tmp/pip-wheel-uz9obvn6 2023-05-18T14:54:05,799 Building wheel for certora-cli-alpha-shays-cert-2259 (setup.py): started 2023-05-18T14:54:05,800 Destination directory: /tmp/pip-wheel-uz9obvn6 2023-05-18T14:54:05,800 Running command python setup.py bdist_wheel 2023-05-18T14:54:06,587 running bdist_wheel 2023-05-18T14:54:06,863 running build 2023-05-18T14:54:06,864 running build_py 2023-05-18T14:54:06,891 creating build 2023-05-18T14:54:06,891 creating build/lib 2023-05-18T14:54:06,892 creating build/lib/certora_cli 2023-05-18T14:54:06,893 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-18T14:54:06,894 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-18T14:54:06,896 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-18T14:54:06,898 creating build/lib/certora_jars 2023-05-18T14:54:06,899 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-18T14:54:06,901 creating build/lib/certora_cli/Shared 2023-05-18T14:54:06,901 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-18T14:54:06,904 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-18T14:54:06,905 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-18T14:54:06,907 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-18T14:54:06,911 creating build/lib/certora_cli/EVMVerifier 2023-05-18T14:54:06,912 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-18T14:54:06,914 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-18T14:54:06,916 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-18T14:54:06,918 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-18T14:54:06,920 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-18T14:54:06,923 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-18T14:54:06,929 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-18T14:54:06,932 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-18T14:54:06,934 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-18T14:54:06,937 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-18T14:54:06,939 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-18T14:54:06,941 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-18T14:54:06,943 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-05-18T14:54:06,944 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-18T14:54:06,946 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-18T14:54:06,947 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-18T14:54:06,949 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-18T14:54:06,950 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-18T14:54:06,952 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-18T14:54:06,955 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-18T14:54:06,957 running egg_info 2023-05-18T14:54:07,015 writing certora_cli_alpha_shays_CERT_2259.egg-info/PKG-INFO 2023-05-18T14:54:07,017 writing dependency_links to certora_cli_alpha_shays_CERT_2259.egg-info/dependency_links.txt 2023-05-18T14:54:07,019 writing entry points to certora_cli_alpha_shays_CERT_2259.egg-info/entry_points.txt 2023-05-18T14:54:07,020 writing requirements to certora_cli_alpha_shays_CERT_2259.egg-info/requires.txt 2023-05-18T14:54:07,021 writing top-level names to certora_cli_alpha_shays_CERT_2259.egg-info/top_level.txt 2023-05-18T14:54:07,053 reading manifest file 'certora_cli_alpha_shays_CERT_2259.egg-info/SOURCES.txt' 2023-05-18T14:54:07,055 reading manifest template 'MANIFEST.in' 2023-05-18T14:54:07,064 adding license file 'LICENSE' 2023-05-18T14:54:07,068 writing manifest file 'certora_cli_alpha_shays_CERT_2259.egg-info/SOURCES.txt' 2023-05-18T14:54:07,071 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-18T14:54:07,073 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-18T14:54:07,288 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-18T14:54:07,464 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-18T14:54:07,654 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-18T14:54:07,743 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-18T14:54:07,835 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-18T14:54:07,836 !! 2023-05-18T14:54:07,836 ******************************************************************************** 2023-05-18T14:54:07,836 Please avoid running ``setup.py`` directly. 2023-05-18T14:54:07,836 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-18T14:54:07,836 other standards-based tools. 2023-05-18T14:54:07,837 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-18T14:54:07,837 ******************************************************************************** 2023-05-18T14:54:07,837 !! 2023-05-18T14:54:07,837 self.initialize_options() 2023-05-18T14:54:07,861 installing to build/bdist.linux-armv7l/wheel 2023-05-18T14:54:07,861 running install 2023-05-18T14:54:07,887 running install_lib 2023-05-18T14:54:07,913 creating build/bdist.linux-armv7l 2023-05-18T14:54:07,913 creating build/bdist.linux-armv7l/wheel 2023-05-18T14:54:07,915 creating build/bdist.linux-armv7l/wheel/certora_cli 2023-05-18T14:54:07,916 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-18T14:54:07,917 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-18T14:54:07,920 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-18T14:54:07,922 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-18T14:54:07,924 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-18T14:54:07,927 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-18T14:54:07,928 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-18T14:54:07,930 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-18T14:54:07,933 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-18T14:54:07,933 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-18T14:54:07,936 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-18T14:54:07,937 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-18T14:54:07,939 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-18T14:54:07,941 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-18T14:54:07,943 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-18T14:54:07,946 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-18T14:54:07,948 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-18T14:54:07,950 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-18T14:54:07,953 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-18T14:54:07,955 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-18T14:54:07,958 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-18T14:54:07,964 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-18T14:54:07,967 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-18T14:54:07,969 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-18T14:54:07,972 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-18T14:54:07,974 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-18T14:54:07,977 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-18T14:54:07,979 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-18T14:54:07,981 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-18T14:54:07,983 creating build/bdist.linux-armv7l/wheel/certora_jars 2023-05-18T14:54:07,984 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-18T14:54:08,203 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-18T14:54:08,400 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-18T14:54:08,485 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-18T14:54:08,548 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-18T14:54:08,704 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-18T14:54:08,706 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-18T14:54:08,708 running install_egg_info 2023-05-18T14:54:08,738 Copying certora_cli_alpha_shays_CERT_2259.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_shays_CERT_2259-20230518.14.30.943042-py3.9.egg-info 2023-05-18T14:54:08,751 running install_scripts 2023-05-18T14:54:08,769 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-05-18T14:54:08,774 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_shays_CERT_2259-20230518.14.30.943042.dist-info/WHEEL 2023-05-18T14:54:08,776 creating '/tmp/pip-wheel-uz9obvn6/certora_cli_alpha_shays_CERT_2259-20230518.14.30.943042-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-05-18T14:54:08,779 adding 'certora_cli/__init__.py' 2023-05-18T14:54:08,780 adding 'certora_cli/certoraMutate.py' 2023-05-18T14:54:08,782 adding 'certora_cli/certoraRun.py' 2023-05-18T14:54:08,784 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-18T14:54:08,807 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-18T14:54:08,813 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-18T14:54:08,815 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-18T14:54:08,817 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-18T14:54:08,821 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-18T14:54:08,825 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-18T14:54:08,826 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-18T14:54:08,832 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-18T14:54:08,834 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-05-18T14:54:08,836 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-18T14:54:08,837 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-18T14:54:08,840 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-18T14:54:08,843 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-18T14:54:08,846 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-18T14:54:08,848 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-18T14:54:08,849 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-18T14:54:08,853 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-18T14:54:08,855 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-18T14:54:08,857 adding 'certora_cli/Shared/__init__.py' 2023-05-18T14:54:08,859 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-18T14:54:08,860 adding 'certora_cli/Shared/certoraTester.py' 2023-05-18T14:54:08,867 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-18T14:54:08,870 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-18T14:54:10,545 adding 'certora_jars/MutationTest.jar' 2023-05-18T14:54:11,871 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-18T14:54:13,451 adding 'certora_jars/Typechecker.jar' 2023-05-18T14:54:13,534 adding 'certora_jars/__init__.py' 2023-05-18T14:54:14,268 adding 'certora_jars/gambit-linux' 2023-05-18T14:54:14,925 adding 'certora_jars/gambit-macos' 2023-05-18T14:54:14,951 adding 'certora_cli_alpha_shays_CERT_2259-20230518.14.30.943042.dist-info/LICENSE' 2023-05-18T14:54:14,952 adding 'certora_cli_alpha_shays_CERT_2259-20230518.14.30.943042.dist-info/METADATA' 2023-05-18T14:54:14,953 adding 'certora_cli_alpha_shays_CERT_2259-20230518.14.30.943042.dist-info/WHEEL' 2023-05-18T14:54:14,954 adding 'certora_cli_alpha_shays_CERT_2259-20230518.14.30.943042.dist-info/entry_points.txt' 2023-05-18T14:54:14,955 adding 'certora_cli_alpha_shays_CERT_2259-20230518.14.30.943042.dist-info/top_level.txt' 2023-05-18T14:54:14,956 adding 'certora_cli_alpha_shays_CERT_2259-20230518.14.30.943042.dist-info/RECORD' 2023-05-18T14:54:15,360 removing build/bdist.linux-armv7l/wheel 2023-05-18T14:54:15,476 Building wheel for certora-cli-alpha-shays-cert-2259 (setup.py): finished with status 'done' 2023-05-18T14:54:15,867 Created wheel for certora-cli-alpha-shays-cert-2259: filename=certora_cli_alpha_shays_CERT_2259-20230518.14.30.943042-py3-none-any.whl size=39016252 sha256=15ead7f4d28ed4a30637effd25abcc2fa97339e47e58129ac54ac7da69696a6c 2023-05-18T14:54:15,868 Stored in directory: /tmp/pip-ephem-wheel-cache-1t2msr6c/wheels/a3/58/1e/5723d08bc4e79d144a7c1a5bc04cc4a41a8afa238cdfc00eae 2023-05-18T14:54:15,892 Successfully built certora-cli-alpha-shays-cert-2259 2023-05-18T14:54:16,874 Removed build tracker: '/tmp/pip-build-tracker-9l3uo26l'