2023-05-14T13:28:30,132 Created temporary directory: /tmp/pip-build-tracker-p22x3lfy 2023-05-14T13:28:30,133 Initialized build tracking at /tmp/pip-build-tracker-p22x3lfy 2023-05-14T13:28:30,133 Created build tracker: /tmp/pip-build-tracker-p22x3lfy 2023-05-14T13:28:30,133 Entered build tracker: /tmp/pip-build-tracker-p22x3lfy 2023-05-14T13:28:30,134 Created temporary directory: /tmp/pip-wheel-ewmrleb4 2023-05-14T13:28:30,138 Created temporary directory: /tmp/pip-ephem-wheel-cache-dhy42gg5 2023-05-14T13:28:30,162 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-14T13:28:30,166 2 location(s) to search for versions of certora-cli-alpha-jaroslav-ucstats2: 2023-05-14T13:28:30,166 * https://pypi.org/simple/certora-cli-alpha-jaroslav-ucstats2/ 2023-05-14T13:28:30,166 * https://www.piwheels.org/simple/certora-cli-alpha-jaroslav-ucstats2/ 2023-05-14T13:28:30,166 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-jaroslav-ucstats2/ 2023-05-14T13:28:30,167 Getting page https://pypi.org/simple/certora-cli-alpha-jaroslav-ucstats2/ 2023-05-14T13:28:30,169 Found index url https://pypi.org/simple/ 2023-05-14T13:28:30,220 Fetched page https://pypi.org/simple/certora-cli-alpha-jaroslav-ucstats2/ as application/vnd.pypi.simple.v1+json 2023-05-14T13:28:30,222 Found link https://files.pythonhosted.org/packages/fe/7d/db70232c5049be5bfa0fd2ff1772e4a61f8946498a27fbc53fc5e202138f/certora-cli-alpha-jaroslav-UCStats2-20230509.20.24.246286.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jaroslav-ucstats2/) (requires-python:>=3.8.16), version: 20230509.20.24.246286 2023-05-14T13:28:30,222 Skipping link: No binaries permitted for certora-cli-alpha-jaroslav-ucstats2: https://files.pythonhosted.org/packages/7a/f0/f68dea9b04227e3776255c06b2f7cb5fddc6c2c9641b7ce3349bd83b01e6/certora_cli_alpha_jaroslav_UCStats2-20230509.20.24.246286-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jaroslav-ucstats2/) (requires-python:>=3.8.16) 2023-05-14T13:28:30,223 Found link https://files.pythonhosted.org/packages/ff/ac/910e07c93da59c74e24cdbcc411e8c0a5b0b48685fcdf879324cb75fe314/certora-cli-alpha-jaroslav-UCStats2-20230510.20.20.327816.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jaroslav-ucstats2/) (requires-python:>=3.8.16), version: 20230510.20.20.327816 2023-05-14T13:28:30,223 Skipping link: No binaries permitted for certora-cli-alpha-jaroslav-ucstats2: https://files.pythonhosted.org/packages/e0/7d/26bfdff2154a4d88f46e5f57eb0ab2b01da9baa7dcb967598161136e70f6/certora_cli_alpha_jaroslav_UCStats2-20230510.20.20.327816-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jaroslav-ucstats2/) (requires-python:>=3.8.16) 2023-05-14T13:28:30,224 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-jaroslav-ucstats2/ 2023-05-14T13:28:30,224 Getting page https://www.piwheels.org/simple/certora-cli-alpha-jaroslav-ucstats2/ 2023-05-14T13:28:30,225 Found index url https://www.piwheels.org/simple/ 2023-05-14T13:28:30,402 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-jaroslav-ucstats2/ as text/html 2023-05-14T13:28:30,404 Skipping link: No binaries permitted for certora-cli-alpha-jaroslav-ucstats2: https://www.piwheels.org/simple/certora-cli-alpha-jaroslav-ucstats2/certora_cli_alpha_jaroslav_UCStats2-20230509.20.24.246286-py3-none-any.whl#sha256=292d7007f683e0e11573b28bf2105ea35a4bb88de44f8163b8b981e5fb661914 (from https://www.piwheels.org/simple/certora-cli-alpha-jaroslav-ucstats2/) (requires-python:>=3.8.16) 2023-05-14T13:28:30,404 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-jaroslav-ucstats2/ 2023-05-14T13:28:30,404 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-jaroslav-ucstats2/ 2023-05-14T13:28:30,421 Given no hashes to check 1 links for project 'certora-cli-alpha-jaroslav-ucstats2': discarding no candidates 2023-05-14T13:28:30,437 Collecting certora-cli-alpha-jaroslav-ucstats2==20230510.20.20.327816 2023-05-14T13:28:30,440 Created temporary directory: /tmp/pip-unpack-3e36rl8z 2023-05-14T13:28:30,486 Downloading certora-cli-alpha-jaroslav-UCStats2-20230510.20.20.327816.tar.gz (39.2 MB) 2023-05-14T13:28:35,161 Added certora-cli-alpha-jaroslav-ucstats2==20230510.20.20.327816 from https://files.pythonhosted.org/packages/ff/ac/910e07c93da59c74e24cdbcc411e8c0a5b0b48685fcdf879324cb75fe314/certora-cli-alpha-jaroslav-UCStats2-20230510.20.20.327816.tar.gz to build tracker '/tmp/pip-build-tracker-p22x3lfy' 2023-05-14T13:28:35,163 Running setup.py (path:/tmp/pip-wheel-ewmrleb4/certora-cli-alpha-jaroslav-ucstats2_b830c68a98574ecfb6a0ae2c06a243d6/setup.py) egg_info for package certora-cli-alpha-jaroslav-ucstats2 2023-05-14T13:28:35,164 Created temporary directory: /tmp/pip-pip-egg-info-33zzqtn6 2023-05-14T13:28:35,164 Preparing metadata (setup.py): started 2023-05-14T13:28:35,165 Running command python setup.py egg_info 2023-05-14T13:28:35,782 running egg_info 2023-05-14T13:28:35,783 creating /tmp/pip-pip-egg-info-33zzqtn6/certora_cli_alpha_jaroslav_UCStats2.egg-info 2023-05-14T13:28:35,809 writing /tmp/pip-pip-egg-info-33zzqtn6/certora_cli_alpha_jaroslav_UCStats2.egg-info/PKG-INFO 2023-05-14T13:28:35,811 writing dependency_links to /tmp/pip-pip-egg-info-33zzqtn6/certora_cli_alpha_jaroslav_UCStats2.egg-info/dependency_links.txt 2023-05-14T13:28:35,813 writing entry points to /tmp/pip-pip-egg-info-33zzqtn6/certora_cli_alpha_jaroslav_UCStats2.egg-info/entry_points.txt 2023-05-14T13:28:35,814 writing requirements to /tmp/pip-pip-egg-info-33zzqtn6/certora_cli_alpha_jaroslav_UCStats2.egg-info/requires.txt 2023-05-14T13:28:35,816 writing top-level names to /tmp/pip-pip-egg-info-33zzqtn6/certora_cli_alpha_jaroslav_UCStats2.egg-info/top_level.txt 2023-05-14T13:28:35,817 writing manifest file '/tmp/pip-pip-egg-info-33zzqtn6/certora_cli_alpha_jaroslav_UCStats2.egg-info/SOURCES.txt' 2023-05-14T13:28:35,901 reading manifest file '/tmp/pip-pip-egg-info-33zzqtn6/certora_cli_alpha_jaroslav_UCStats2.egg-info/SOURCES.txt' 2023-05-14T13:28:35,903 reading manifest template 'MANIFEST.in' 2023-05-14T13:28:35,912 adding license file 'LICENSE' 2023-05-14T13:28:35,916 writing manifest file '/tmp/pip-pip-egg-info-33zzqtn6/certora_cli_alpha_jaroslav_UCStats2.egg-info/SOURCES.txt' 2023-05-14T13:28:35,975 Preparing metadata (setup.py): finished with status 'done' 2023-05-14T13:28:35,984 Source in /tmp/pip-wheel-ewmrleb4/certora-cli-alpha-jaroslav-ucstats2_b830c68a98574ecfb6a0ae2c06a243d6 has version 20230510.20.20.327816, which satisfies requirement certora-cli-alpha-jaroslav-ucstats2==20230510.20.20.327816 from https://files.pythonhosted.org/packages/ff/ac/910e07c93da59c74e24cdbcc411e8c0a5b0b48685fcdf879324cb75fe314/certora-cli-alpha-jaroslav-UCStats2-20230510.20.20.327816.tar.gz 2023-05-14T13:28:35,985 Removed certora-cli-alpha-jaroslav-ucstats2==20230510.20.20.327816 from https://files.pythonhosted.org/packages/ff/ac/910e07c93da59c74e24cdbcc411e8c0a5b0b48685fcdf879324cb75fe314/certora-cli-alpha-jaroslav-UCStats2-20230510.20.20.327816.tar.gz from build tracker '/tmp/pip-build-tracker-p22x3lfy' 2023-05-14T13:28:35,992 Created temporary directory: /tmp/pip-unpack-r4xlsn87 2023-05-14T13:28:35,993 Building wheels for collected packages: certora-cli-alpha-jaroslav-ucstats2 2023-05-14T13:28:35,997 Created temporary directory: /tmp/pip-wheel-9myza4vp 2023-05-14T13:28:35,998 Building wheel for certora-cli-alpha-jaroslav-ucstats2 (setup.py): started 2023-05-14T13:28:35,999 Destination directory: /tmp/pip-wheel-9myza4vp 2023-05-14T13:28:35,999 Running command python setup.py bdist_wheel 2023-05-14T13:28:36,821 running bdist_wheel 2023-05-14T13:28:37,114 running build 2023-05-14T13:28:37,114 running build_py 2023-05-14T13:28:37,144 creating build 2023-05-14T13:28:37,144 creating build/lib 2023-05-14T13:28:37,145 creating build/lib/certora_jars 2023-05-14T13:28:37,147 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-14T13:28:37,149 creating build/lib/certora_cli 2023-05-14T13:28:37,150 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-14T13:28:37,152 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-14T13:28:37,155 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-14T13:28:37,157 creating build/lib/certora_cli/Shared 2023-05-14T13:28:37,158 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-14T13:28:37,161 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-14T13:28:37,163 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-14T13:28:37,166 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-14T13:28:37,170 creating build/lib/certora_cli/EVMVerifier 2023-05-14T13:28:37,171 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:28:37,174 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:28:37,178 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:28:37,180 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:28:37,183 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:28:37,186 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:28:37,188 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:28:37,190 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:28:37,194 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:28:37,202 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:28:37,204 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:28:37,207 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:28:37,210 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T13:28:37,212 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T13:28:37,213 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T13:28:37,216 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T13:28:37,218 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T13:28:37,221 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T13:28:37,223 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T13:28:37,226 running egg_info 2023-05-14T13:28:37,287 writing certora_cli_alpha_jaroslav_UCStats2.egg-info/PKG-INFO 2023-05-14T13:28:37,290 writing dependency_links to certora_cli_alpha_jaroslav_UCStats2.egg-info/dependency_links.txt 2023-05-14T13:28:37,292 writing entry points to certora_cli_alpha_jaroslav_UCStats2.egg-info/entry_points.txt 2023-05-14T13:28:37,294 writing requirements to certora_cli_alpha_jaroslav_UCStats2.egg-info/requires.txt 2023-05-14T13:28:37,295 writing top-level names to certora_cli_alpha_jaroslav_UCStats2.egg-info/top_level.txt 2023-05-14T13:28:37,325 reading manifest file 'certora_cli_alpha_jaroslav_UCStats2.egg-info/SOURCES.txt' 2023-05-14T13:28:37,328 reading manifest template 'MANIFEST.in' 2023-05-14T13:28:37,338 adding license file 'LICENSE' 2023-05-14T13:28:37,343 writing manifest file 'certora_cli_alpha_jaroslav_UCStats2.egg-info/SOURCES.txt' 2023-05-14T13:28:37,346 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-14T13:28:37,348 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-14T13:28:37,594 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-14T13:28:37,787 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-14T13:28:37,980 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-14T13:28:38,107 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-14T13:28:38,231 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-14T13:28:38,232 !! 2023-05-14T13:28:38,232 ******************************************************************************** 2023-05-14T13:28:38,232 Please avoid running ``setup.py`` directly. 2023-05-14T13:28:38,232 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-14T13:28:38,233 other standards-based tools. 2023-05-14T13:28:38,233 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-14T13:28:38,233 ******************************************************************************** 2023-05-14T13:28:38,233 !! 2023-05-14T13:28:38,233 self.initialize_options() 2023-05-14T13:28:38,258 installing to build/bdist.linux-aarch64/wheel 2023-05-14T13:28:38,258 running install 2023-05-14T13:28:38,283 running install_lib 2023-05-14T13:28:38,309 creating build/bdist.linux-aarch64 2023-05-14T13:28:38,310 creating build/bdist.linux-aarch64/wheel 2023-05-14T13:28:38,312 creating build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T13:28:38,312 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T13:28:38,572 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T13:28:38,574 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T13:28:38,768 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T13:28:38,852 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T13:28:38,966 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T13:28:38,969 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T13:28:39,129 creating build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T13:28:39,130 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T13:28:39,133 creating build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T13:28:39,134 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T13:28:39,137 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T13:28:39,139 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T13:28:39,142 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T13:28:39,145 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T13:28:39,148 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T13:28:39,151 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:28:39,152 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:28:39,155 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:28:39,159 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:28:39,162 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:28:39,164 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:28:39,167 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:28:39,169 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:28:39,172 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:28:39,176 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T13:28:39,177 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T13:28:39,180 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T13:28:39,182 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T13:28:39,186 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T13:28:39,188 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T13:28:39,191 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:28:39,199 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:28:39,202 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:28:39,206 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:28:39,208 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T13:28:39,210 running install_egg_info 2023-05-14T13:28:39,240 Copying certora_cli_alpha_jaroslav_UCStats2.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_jaroslav_UCStats2-20230510.20.20.327816-py3.9.egg-info 2023-05-14T13:28:39,252 running install_scripts 2023-05-14T13:28:39,270 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-05-14T13:28:39,274 creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_jaroslav_UCStats2-20230510.20.20.327816.dist-info/WHEEL 2023-05-14T13:28:39,277 creating '/tmp/pip-wheel-9myza4vp/certora_cli_alpha_jaroslav_UCStats2-20230510.20.20.327816-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it 2023-05-14T13:28:39,279 adding 'certora_cli/__init__.py' 2023-05-14T13:28:39,281 adding 'certora_cli/certoraMutate.py' 2023-05-14T13:28:39,283 adding 'certora_cli/certoraRun.py' 2023-05-14T13:28:39,285 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-14T13:28:39,306 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-14T13:28:39,313 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-14T13:28:39,316 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-14T13:28:39,317 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-14T13:28:39,322 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-14T13:28:39,325 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-14T13:28:39,327 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-14T13:28:39,333 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-14T13:28:39,335 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-14T13:28:39,336 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-14T13:28:39,339 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-14T13:28:39,343 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-14T13:28:39,345 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-14T13:28:39,347 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-14T13:28:39,349 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-14T13:28:39,353 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-14T13:28:39,355 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-14T13:28:39,356 adding 'certora_cli/Shared/__init__.py' 2023-05-14T13:28:39,359 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-14T13:28:39,360 adding 'certora_cli/Shared/certoraTester.py' 2023-05-14T13:28:39,367 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-14T13:28:39,370 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-14T13:28:41,003 adding 'certora_jars/MutationTest.jar' 2023-05-14T13:28:42,322 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-14T13:28:43,862 adding 'certora_jars/Typechecker.jar' 2023-05-14T13:28:43,945 adding 'certora_jars/__init__.py' 2023-05-14T13:28:44,796 adding 'certora_jars/gambit-linux' 2023-05-14T13:28:45,650 adding 'certora_jars/gambit-macos' 2023-05-14T13:28:45,686 adding 'certora_cli_alpha_jaroslav_UCStats2-20230510.20.20.327816.dist-info/LICENSE' 2023-05-14T13:28:45,687 adding 'certora_cli_alpha_jaroslav_UCStats2-20230510.20.20.327816.dist-info/METADATA' 2023-05-14T13:28:45,688 adding 'certora_cli_alpha_jaroslav_UCStats2-20230510.20.20.327816.dist-info/WHEEL' 2023-05-14T13:28:45,689 adding 'certora_cli_alpha_jaroslav_UCStats2-20230510.20.20.327816.dist-info/entry_points.txt' 2023-05-14T13:28:45,690 adding 'certora_cli_alpha_jaroslav_UCStats2-20230510.20.20.327816.dist-info/top_level.txt' 2023-05-14T13:28:45,691 adding 'certora_cli_alpha_jaroslav_UCStats2-20230510.20.20.327816.dist-info/RECORD' 2023-05-14T13:28:46,174 removing build/bdist.linux-aarch64/wheel 2023-05-14T13:28:46,296 Building wheel for certora-cli-alpha-jaroslav-ucstats2 (setup.py): finished with status 'done' 2023-05-14T13:28:46,624 Created wheel for certora-cli-alpha-jaroslav-ucstats2: filename=certora_cli_alpha_jaroslav_UCStats2-20230510.20.20.327816-py3-none-any.whl size=39252244 sha256=79780d56fd11384d836edd1e6f8fec6e8c649c462503f23682df74e691cf60ed 2023-05-14T13:28:46,625 Stored in directory: /tmp/pip-ephem-wheel-cache-dhy42gg5/wheels/b0/7b/d3/13a91b23084c1cf83cc9e491eaf8b36880ba877e835ff2ca19 2023-05-14T13:28:46,655 Successfully built certora-cli-alpha-jaroslav-ucstats2 2023-05-14T13:28:47,578 Removed build tracker: '/tmp/pip-build-tracker-p22x3lfy'