2023-05-14T17:02:18,994 Created temporary directory: /tmp/pip-build-tracker-pcwrd4ou 2023-05-14T17:02:18,995 Initialized build tracking at /tmp/pip-build-tracker-pcwrd4ou 2023-05-14T17:02:18,995 Created build tracker: /tmp/pip-build-tracker-pcwrd4ou 2023-05-14T17:02:18,996 Entered build tracker: /tmp/pip-build-tracker-pcwrd4ou 2023-05-14T17:02:18,996 Created temporary directory: /tmp/pip-wheel-h9ep51lk 2023-05-14T17:02:19,000 Created temporary directory: /tmp/pip-ephem-wheel-cache-kun0tpr0 2023-05-14T17:02:19,024 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-14T17:02:19,028 2 location(s) to search for versions of certora-cli-alpha-eric-stack2: 2023-05-14T17:02:19,028 * https://pypi.org/simple/certora-cli-alpha-eric-stack2/ 2023-05-14T17:02:19,028 * https://www.piwheels.org/simple/certora-cli-alpha-eric-stack2/ 2023-05-14T17:02:19,028 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-eric-stack2/ 2023-05-14T17:02:19,029 Getting page https://pypi.org/simple/certora-cli-alpha-eric-stack2/ 2023-05-14T17:02:19,030 Found index url https://pypi.org/simple/ 2023-05-14T17:02:19,082 Fetched page https://pypi.org/simple/certora-cli-alpha-eric-stack2/ as application/vnd.pypi.simple.v1+json 2023-05-14T17:02:19,084 Found link https://files.pythonhosted.org/packages/d0/db/b0f330bbe875163e6f4c01481fcb78acc212cc2fd1fdeacd92a95de4c23c/certora-cli-alpha-eric-stack2-20230511.21.22.495852.tar.gz (from https://pypi.org/simple/certora-cli-alpha-eric-stack2/) (requires-python:>=3.8.16), version: 20230511.21.22.495852 2023-05-14T17:02:19,084 Skipping link: No binaries permitted for certora-cli-alpha-eric-stack2: https://files.pythonhosted.org/packages/2b/5b/564aec46e6f8c65f3a278ef108521e5b3feea00bb7bbd43f229ee63a37ac/certora_cli_alpha_eric_stack2-20230511.21.22.495852-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-eric-stack2/) (requires-python:>=3.8.16) 2023-05-14T17:02:19,085 Found link https://files.pythonhosted.org/packages/15/b8/9323dd1bd7c50e78aa5cd869a84a336eed8d8fe92d859eee260e302b181f/certora-cli-alpha-eric-stack2-20230512.19.58.270343.tar.gz (from https://pypi.org/simple/certora-cli-alpha-eric-stack2/) (requires-python:>=3.8.16), version: 20230512.19.58.270343 2023-05-14T17:02:19,085 Skipping link: No binaries permitted for certora-cli-alpha-eric-stack2: https://files.pythonhosted.org/packages/bd/7b/2b42461f4b7dc0b446dd30bc0ab478430f370fa72c949622b14cbccd4a0e/certora_cli_alpha_eric_stack2-20230512.19.58.270343-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-eric-stack2/) (requires-python:>=3.8.16) 2023-05-14T17:02:19,085 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-eric-stack2/ 2023-05-14T17:02:19,086 Getting page https://www.piwheels.org/simple/certora-cli-alpha-eric-stack2/ 2023-05-14T17:02:19,087 Found index url https://www.piwheels.org/simple/ 2023-05-14T17:02:19,250 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-eric-stack2/ as text/html 2023-05-14T17:02:19,251 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-eric-stack2/ 2023-05-14T17:02:19,252 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-eric-stack2/ 2023-05-14T17:02:19,270 Given no hashes to check 1 links for project 'certora-cli-alpha-eric-stack2': discarding no candidates 2023-05-14T17:02:19,287 Collecting certora-cli-alpha-eric-stack2==20230511.21.22.495852 2023-05-14T17:02:19,290 Created temporary directory: /tmp/pip-unpack-t8r07x5l 2023-05-14T17:02:19,681 Downloading certora-cli-alpha-eric-stack2-20230511.21.22.495852.tar.gz (39.4 MB) 2023-05-14T17:02:51,060 Added certora-cli-alpha-eric-stack2==20230511.21.22.495852 from https://files.pythonhosted.org/packages/d0/db/b0f330bbe875163e6f4c01481fcb78acc212cc2fd1fdeacd92a95de4c23c/certora-cli-alpha-eric-stack2-20230511.21.22.495852.tar.gz to build tracker '/tmp/pip-build-tracker-pcwrd4ou' 2023-05-14T17:02:51,063 Running setup.py (path:/tmp/pip-wheel-h9ep51lk/certora-cli-alpha-eric-stack2_889f5a606c8d489b8b5075d4d532c002/setup.py) egg_info for package certora-cli-alpha-eric-stack2 2023-05-14T17:02:51,064 Created temporary directory: /tmp/pip-pip-egg-info-wtg_w00t 2023-05-14T17:02:51,065 Preparing metadata (setup.py): started 2023-05-14T17:02:51,065 Running command python setup.py egg_info 2023-05-14T17:02:51,707 running egg_info 2023-05-14T17:02:51,709 creating /tmp/pip-pip-egg-info-wtg_w00t/certora_cli_alpha_eric_stack2.egg-info 2023-05-14T17:02:51,738 writing /tmp/pip-pip-egg-info-wtg_w00t/certora_cli_alpha_eric_stack2.egg-info/PKG-INFO 2023-05-14T17:02:51,741 writing dependency_links to /tmp/pip-pip-egg-info-wtg_w00t/certora_cli_alpha_eric_stack2.egg-info/dependency_links.txt 2023-05-14T17:02:51,743 writing entry points to /tmp/pip-pip-egg-info-wtg_w00t/certora_cli_alpha_eric_stack2.egg-info/entry_points.txt 2023-05-14T17:02:51,745 writing requirements to /tmp/pip-pip-egg-info-wtg_w00t/certora_cli_alpha_eric_stack2.egg-info/requires.txt 2023-05-14T17:02:51,746 writing top-level names to /tmp/pip-pip-egg-info-wtg_w00t/certora_cli_alpha_eric_stack2.egg-info/top_level.txt 2023-05-14T17:02:51,748 writing manifest file '/tmp/pip-pip-egg-info-wtg_w00t/certora_cli_alpha_eric_stack2.egg-info/SOURCES.txt' 2023-05-14T17:02:51,838 reading manifest file '/tmp/pip-pip-egg-info-wtg_w00t/certora_cli_alpha_eric_stack2.egg-info/SOURCES.txt' 2023-05-14T17:02:51,840 reading manifest template 'MANIFEST.in' 2023-05-14T17:02:51,849 adding license file 'LICENSE' 2023-05-14T17:02:51,853 writing manifest file '/tmp/pip-pip-egg-info-wtg_w00t/certora_cli_alpha_eric_stack2.egg-info/SOURCES.txt' 2023-05-14T17:02:51,913 Preparing metadata (setup.py): finished with status 'done' 2023-05-14T17:02:51,919 Source in /tmp/pip-wheel-h9ep51lk/certora-cli-alpha-eric-stack2_889f5a606c8d489b8b5075d4d532c002 has version 20230511.21.22.495852, which satisfies requirement certora-cli-alpha-eric-stack2==20230511.21.22.495852 from https://files.pythonhosted.org/packages/d0/db/b0f330bbe875163e6f4c01481fcb78acc212cc2fd1fdeacd92a95de4c23c/certora-cli-alpha-eric-stack2-20230511.21.22.495852.tar.gz 2023-05-14T17:02:51,920 Removed certora-cli-alpha-eric-stack2==20230511.21.22.495852 from https://files.pythonhosted.org/packages/d0/db/b0f330bbe875163e6f4c01481fcb78acc212cc2fd1fdeacd92a95de4c23c/certora-cli-alpha-eric-stack2-20230511.21.22.495852.tar.gz from build tracker '/tmp/pip-build-tracker-pcwrd4ou' 2023-05-14T17:02:51,926 Created temporary directory: /tmp/pip-unpack-ldq6rb76 2023-05-14T17:02:51,927 Building wheels for collected packages: certora-cli-alpha-eric-stack2 2023-05-14T17:02:51,932 Created temporary directory: /tmp/pip-wheel-ej20f4wk 2023-05-14T17:02:51,932 Building wheel for certora-cli-alpha-eric-stack2 (setup.py): started 2023-05-14T17:02:51,933 Destination directory: /tmp/pip-wheel-ej20f4wk 2023-05-14T17:02:51,933 Running command python setup.py bdist_wheel 2023-05-14T17:02:52,603 running bdist_wheel 2023-05-14T17:02:52,896 running build 2023-05-14T17:02:52,896 running build_py 2023-05-14T17:02:52,927 creating build 2023-05-14T17:02:52,928 creating build/lib 2023-05-14T17:02:52,928 creating build/lib/certora_jars 2023-05-14T17:02:52,930 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-14T17:02:52,932 creating build/lib/certora_cli 2023-05-14T17:02:52,933 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-14T17:02:52,935 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-14T17:02:52,938 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-14T17:02:52,941 creating build/lib/certora_cli/EVMVerifier 2023-05-14T17:02:52,942 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T17:02:52,944 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T17:02:52,949 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T17:02:52,952 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T17:02:52,955 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T17:02:52,960 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T17:02:52,963 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T17:02:52,966 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T17:02:52,968 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T17:02:52,970 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T17:02:52,973 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T17:02:52,976 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T17:02:52,978 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T17:02:52,980 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T17:02:52,984 creating build/lib/certora_cli/Shared 2023-05-14T17:02:52,985 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-14T17:02:52,987 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-14T17:02:52,989 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-14T17:02:52,993 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-14T17:02:52,996 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T17:02:52,997 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T17:02:52,999 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T17:02:53,001 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T17:02:53,003 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T17:02:53,005 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T17:02:53,008 running egg_info 2023-05-14T17:02:53,072 writing certora_cli_alpha_eric_stack2.egg-info/PKG-INFO 2023-05-14T17:02:53,074 writing dependency_links to certora_cli_alpha_eric_stack2.egg-info/dependency_links.txt 2023-05-14T17:02:53,076 writing entry points to certora_cli_alpha_eric_stack2.egg-info/entry_points.txt 2023-05-14T17:02:53,078 writing requirements to certora_cli_alpha_eric_stack2.egg-info/requires.txt 2023-05-14T17:02:53,079 writing top-level names to certora_cli_alpha_eric_stack2.egg-info/top_level.txt 2023-05-14T17:02:53,111 reading manifest file 'certora_cli_alpha_eric_stack2.egg-info/SOURCES.txt' 2023-05-14T17:02:53,114 reading manifest template 'MANIFEST.in' 2023-05-14T17:02:53,123 adding license file 'LICENSE' 2023-05-14T17:02:53,128 writing manifest file 'certora_cli_alpha_eric_stack2.egg-info/SOURCES.txt' 2023-05-14T17:02:53,131 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-14T17:02:53,133 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-14T17:02:53,349 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-14T17:02:53,523 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-14T17:02:53,709 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-14T17:02:53,820 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-14T17:02:53,945 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-14T17:02:53,945 !! 2023-05-14T17:02:53,946 ******************************************************************************** 2023-05-14T17:02:53,946 Please avoid running ``setup.py`` directly. 2023-05-14T17:02:53,946 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-14T17:02:53,946 other standards-based tools. 2023-05-14T17:02:53,946 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-14T17:02:53,946 ******************************************************************************** 2023-05-14T17:02:53,947 !! 2023-05-14T17:02:53,947 self.initialize_options() 2023-05-14T17:02:53,975 installing to build/bdist.linux-aarch64/wheel 2023-05-14T17:02:53,975 running install 2023-05-14T17:02:54,001 running install_lib 2023-05-14T17:02:54,030 creating build/bdist.linux-aarch64 2023-05-14T17:02:54,030 creating build/bdist.linux-aarch64/wheel 2023-05-14T17:02:54,032 creating build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T17:02:54,033 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T17:02:54,035 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T17:02:54,037 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T17:02:54,267 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T17:02:54,385 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T17:02:54,558 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T17:02:54,817 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T17:02:54,908 creating build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T17:02:54,908 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T17:02:54,910 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T17:02:54,913 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T17:02:54,915 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T17:02:54,916 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T17:02:54,918 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T17:02:54,924 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T17:02:54,926 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T17:02:54,930 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T17:02:54,933 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T17:02:54,936 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T17:02:54,939 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T17:02:54,942 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T17:02:54,944 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T17:02:54,946 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T17:02:54,948 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T17:02:54,950 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T17:02:54,953 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T17:02:54,955 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T17:02:54,959 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T17:02:54,962 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T17:02:54,965 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T17:02:54,967 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T17:02:54,970 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T17:02:54,973 creating build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T17:02:54,975 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T17:02:54,977 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T17:02:54,980 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T17:02:54,983 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T17:02:54,986 running install_egg_info 2023-05-14T17:02:55,018 Copying certora_cli_alpha_eric_stack2.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_eric_stack2-20230511.21.22.495852-py3.9.egg-info 2023-05-14T17:02:55,031 running install_scripts 2023-05-14T17:02:55,048 creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_eric_stack2-20230511.21.22.495852.dist-info/WHEEL 2023-05-14T17:02:55,051 creating '/tmp/pip-wheel-ej20f4wk/certora_cli_alpha_eric_stack2-20230511.21.22.495852-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it 2023-05-14T17:02:55,054 adding 'certora_cli/__init__.py' 2023-05-14T17:02:55,056 adding 'certora_cli/certoraMutate.py' 2023-05-14T17:02:55,058 adding 'certora_cli/certoraRun.py' 2023-05-14T17:02:55,061 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-14T17:02:55,083 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-14T17:02:55,090 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-14T17:02:55,093 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-14T17:02:55,095 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-14T17:02:55,100 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-14T17:02:55,104 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-14T17:02:55,106 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-14T17:02:55,112 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-14T17:02:55,114 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-05-14T17:02:55,116 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-14T17:02:55,118 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-14T17:02:55,121 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-14T17:02:55,125 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-14T17:02:55,128 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-14T17:02:55,130 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-14T17:02:55,132 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-14T17:02:55,137 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-14T17:02:55,139 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-14T17:02:55,141 adding 'certora_cli/Shared/__init__.py' 2023-05-14T17:02:55,144 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-14T17:02:55,146 adding 'certora_cli/Shared/certoraTester.py' 2023-05-14T17:02:55,153 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-14T17:02:55,156 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-14T17:02:56,818 adding 'certora_jars/MutationTest.jar' 2023-05-14T17:02:58,149 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-14T17:02:59,716 adding 'certora_jars/Typechecker.jar' 2023-05-14T17:02:59,800 adding 'certora_jars/__init__.py' 2023-05-14T17:03:00,657 adding 'certora_jars/gambit-linux' 2023-05-14T17:03:01,515 adding 'certora_jars/gambit-macos' 2023-05-14T17:03:01,552 adding 'certora_cli_alpha_eric_stack2-20230511.21.22.495852.dist-info/LICENSE' 2023-05-14T17:03:01,554 adding 'certora_cli_alpha_eric_stack2-20230511.21.22.495852.dist-info/METADATA' 2023-05-14T17:03:01,555 adding 'certora_cli_alpha_eric_stack2-20230511.21.22.495852.dist-info/WHEEL' 2023-05-14T17:03:01,557 adding 'certora_cli_alpha_eric_stack2-20230511.21.22.495852.dist-info/entry_points.txt' 2023-05-14T17:03:01,558 adding 'certora_cli_alpha_eric_stack2-20230511.21.22.495852.dist-info/top_level.txt' 2023-05-14T17:03:01,560 adding 'certora_cli_alpha_eric_stack2-20230511.21.22.495852.dist-info/RECORD' 2023-05-14T17:03:02,091 removing build/bdist.linux-aarch64/wheel 2023-05-14T17:03:02,209 Building wheel for certora-cli-alpha-eric-stack2 (setup.py): finished with status 'done' 2023-05-14T17:03:02,540 Created wheel for certora-cli-alpha-eric-stack2: filename=certora_cli_alpha_eric_stack2-20230511.21.22.495852-py3-none-any.whl size=39462695 sha256=e8ab0a4cbd5b73df23b863edee6e5a3b04fff633d911f5a69ee9d13341aca59b 2023-05-14T17:03:02,541 Stored in directory: /tmp/pip-ephem-wheel-cache-kun0tpr0/wheels/06/16/fb/47bb37b0f5dfa69ede370da36e9a92d06ff99146d5a1cf8465 2023-05-14T17:03:02,571 Successfully built certora-cli-alpha-eric-stack2 2023-05-14T17:03:03,568 Removed build tracker: '/tmp/pip-build-tracker-pcwrd4ou'