2023-05-28T11:33:17,625 Created temporary directory: /tmp/pip-build-tracker-kthxn3ks 2023-05-28T11:33:17,626 Initialized build tracking at /tmp/pip-build-tracker-kthxn3ks 2023-05-28T11:33:17,627 Created build tracker: /tmp/pip-build-tracker-kthxn3ks 2023-05-28T11:33:17,627 Entered build tracker: /tmp/pip-build-tracker-kthxn3ks 2023-05-28T11:33:17,627 Created temporary directory: /tmp/pip-wheel-0mlai4iu 2023-05-28T11:33:17,632 Created temporary directory: /tmp/pip-ephem-wheel-cache-4_4jhy5u 2023-05-28T11:33:17,658 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-28T11:33:17,662 2 location(s) to search for versions of certora-cli-alpha-shays-cert-2259: 2023-05-28T11:33:17,662 * https://pypi.org/simple/certora-cli-alpha-shays-cert-2259/ 2023-05-28T11:33:17,662 * https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-2259/ 2023-05-28T11:33:17,662 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-shays-cert-2259/ 2023-05-28T11:33:17,662 Getting page https://pypi.org/simple/certora-cli-alpha-shays-cert-2259/ 2023-05-28T11:33:17,664 Found index url https://pypi.org/simple/ 2023-05-28T11:33:17,714 Fetched page https://pypi.org/simple/certora-cli-alpha-shays-cert-2259/ as application/vnd.pypi.simple.v1+json 2023-05-28T11:33:17,717 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-28T11:33:17,717 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-28T11:33:17,718 Found link https://files.pythonhosted.org/packages/a6/42/40dae60022c1a3f27c42d3faec05c5f1b87a676d0a74377ab7a19a4aca83/certora-cli-alpha-shays-CERT-2259-20230523.10.50.879141.tar.gz (from https://pypi.org/simple/certora-cli-alpha-shays-cert-2259/) (requires-python:>=3.8), version: 20230523.10.50.879141 2023-05-28T11:33:17,718 Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-2259: https://files.pythonhosted.org/packages/a3/23/eb74b94ac1f63c6295e045d1407290e97a0809915ae357bd5970b9c74d24/certora_cli_alpha_shays_CERT_2259-20230523.10.50.879141-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-shays-cert-2259/) (requires-python:>=3.8) 2023-05-28T11:33:17,719 Found link https://files.pythonhosted.org/packages/f4/ee/f6be1605799880838ffb4b0c154c578b9de9276b2ab924522a1a01a5350d/certora-cli-alpha-shays-CERT-2259-20230524.13.17.472413.tar.gz (from https://pypi.org/simple/certora-cli-alpha-shays-cert-2259/) (requires-python:>=3.8), version: 20230524.13.17.472413 2023-05-28T11:33:17,719 Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-2259: https://files.pythonhosted.org/packages/0b/49/500c326cd0653f99010ccc89716084440a474a27d633f5dd6945a648d080/certora_cli_alpha_shays_CERT_2259-20230524.13.17.472413-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-shays-cert-2259/) (requires-python:>=3.8) 2023-05-28T11:33:17,720 Found link https://files.pythonhosted.org/packages/40/69/391577e11f3d7d17fd3c9edeaa0d01daed163d7afc005e58dd449078570b/certora-cli-alpha-shays-CERT-2259-20230528.11.10.175064.tar.gz (from https://pypi.org/simple/certora-cli-alpha-shays-cert-2259/) (requires-python:>=3.8), version: 20230528.11.10.175064 2023-05-28T11:33:17,720 Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-2259: https://files.pythonhosted.org/packages/9d/59/beabec1654727c27da14ed05700066733feed9bf8047ed8b7ef883cb9a22/certora_cli_alpha_shays_CERT_2259-20230528.11.10.175064-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-shays-cert-2259/) (requires-python:>=3.8) 2023-05-28T11:33:17,720 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-2259/ 2023-05-28T11:33:17,721 Getting page https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-2259/ 2023-05-28T11:33:17,722 Found index url https://www.piwheels.org/simple/ 2023-05-28T11:33:17,921 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-2259/ as text/html 2023-05-28T11:33:17,922 Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-2259: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-2259/certora_cli_alpha_shays_CERT_2259-20230524.13.17.472413-py3-none-any.whl#sha256=20880ea9cca4bcdcfc4d69801fb165b4033d3e54e2f2e1bf4de18454523bbf01 (from https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-2259/) (requires-python:>=3.8) 2023-05-28T11:33:17,923 Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-2259: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-2259/certora_cli_alpha_shays_CERT_2259-20230523.10.50.879141-py3-none-any.whl#sha256=c9f15fc4a4442ff133e65fff9e5af3cb29e2b49513b860b65413931d9f83ab9a (from https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-2259/) (requires-python:>=3.8) 2023-05-28T11:33:17,923 Skipping link: No binaries permitted for certora-cli-alpha-shays-cert-2259: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-2259/certora_cli_alpha_shays_CERT_2259-20230518.14.30.943042-py3-none-any.whl#sha256=15ead7f4d28ed4a30637effd25abcc2fa97339e47e58129ac54ac7da69696a6c (from https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-2259/) (requires-python:>=3.8) 2023-05-28T11:33:17,923 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-shays-cert-2259/ 2023-05-28T11:33:17,923 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-shays-cert-2259/ 2023-05-28T11:33:17,941 Given no hashes to check 1 links for project 'certora-cli-alpha-shays-cert-2259': discarding no candidates 2023-05-28T11:33:17,958 Collecting certora-cli-alpha-shays-cert-2259==20230528.11.10.175064 2023-05-28T11:33:17,960 Created temporary directory: /tmp/pip-unpack-z25lf0rv 2023-05-28T11:33:18,085 Downloading certora-cli-alpha-shays-CERT-2259-20230528.11.10.175064.tar.gz (39.0 MB) 2023-05-28T11:33:27,255 Added certora-cli-alpha-shays-cert-2259==20230528.11.10.175064 from https://files.pythonhosted.org/packages/40/69/391577e11f3d7d17fd3c9edeaa0d01daed163d7afc005e58dd449078570b/certora-cli-alpha-shays-CERT-2259-20230528.11.10.175064.tar.gz to build tracker '/tmp/pip-build-tracker-kthxn3ks' 2023-05-28T11:33:27,258 Running setup.py (path:/tmp/pip-wheel-0mlai4iu/certora-cli-alpha-shays-cert-2259_94f51dd7c78d409a8e0d980b3703ec10/setup.py) egg_info for package certora-cli-alpha-shays-cert-2259 2023-05-28T11:33:27,258 Created temporary directory: /tmp/pip-pip-egg-info-udxj_br7 2023-05-28T11:33:27,259 Preparing metadata (setup.py): started 2023-05-28T11:33:27,260 Running command python setup.py egg_info 2023-05-28T11:33:27,862 running egg_info 2023-05-28T11:33:27,864 creating /tmp/pip-pip-egg-info-udxj_br7/certora_cli_alpha_shays_CERT_2259.egg-info 2023-05-28T11:33:27,888 writing /tmp/pip-pip-egg-info-udxj_br7/certora_cli_alpha_shays_CERT_2259.egg-info/PKG-INFO 2023-05-28T11:33:27,890 writing dependency_links to /tmp/pip-pip-egg-info-udxj_br7/certora_cli_alpha_shays_CERT_2259.egg-info/dependency_links.txt 2023-05-28T11:33:27,891 writing entry points to /tmp/pip-pip-egg-info-udxj_br7/certora_cli_alpha_shays_CERT_2259.egg-info/entry_points.txt 2023-05-28T11:33:27,893 writing requirements to /tmp/pip-pip-egg-info-udxj_br7/certora_cli_alpha_shays_CERT_2259.egg-info/requires.txt 2023-05-28T11:33:27,894 writing top-level names to /tmp/pip-pip-egg-info-udxj_br7/certora_cli_alpha_shays_CERT_2259.egg-info/top_level.txt 2023-05-28T11:33:27,895 writing manifest file '/tmp/pip-pip-egg-info-udxj_br7/certora_cli_alpha_shays_CERT_2259.egg-info/SOURCES.txt' 2023-05-28T11:33:27,975 reading manifest file '/tmp/pip-pip-egg-info-udxj_br7/certora_cli_alpha_shays_CERT_2259.egg-info/SOURCES.txt' 2023-05-28T11:33:27,976 reading manifest template 'MANIFEST.in' 2023-05-28T11:33:27,984 adding license file 'LICENSE' 2023-05-28T11:33:27,988 writing manifest file '/tmp/pip-pip-egg-info-udxj_br7/certora_cli_alpha_shays_CERT_2259.egg-info/SOURCES.txt' 2023-05-28T11:33:28,046 Preparing metadata (setup.py): finished with status 'done' 2023-05-28T11:33:28,051 Source in /tmp/pip-wheel-0mlai4iu/certora-cli-alpha-shays-cert-2259_94f51dd7c78d409a8e0d980b3703ec10 has version 20230528.11.10.175064, which satisfies requirement certora-cli-alpha-shays-cert-2259==20230528.11.10.175064 from https://files.pythonhosted.org/packages/40/69/391577e11f3d7d17fd3c9edeaa0d01daed163d7afc005e58dd449078570b/certora-cli-alpha-shays-CERT-2259-20230528.11.10.175064.tar.gz 2023-05-28T11:33:28,052 Removed certora-cli-alpha-shays-cert-2259==20230528.11.10.175064 from https://files.pythonhosted.org/packages/40/69/391577e11f3d7d17fd3c9edeaa0d01daed163d7afc005e58dd449078570b/certora-cli-alpha-shays-CERT-2259-20230528.11.10.175064.tar.gz from build tracker '/tmp/pip-build-tracker-kthxn3ks' 2023-05-28T11:33:28,059 Created temporary directory: /tmp/pip-unpack-yi9ihj78 2023-05-28T11:33:28,059 Building wheels for collected packages: certora-cli-alpha-shays-cert-2259 2023-05-28T11:33:28,063 Created temporary directory: /tmp/pip-wheel-acdsqy4w 2023-05-28T11:33:28,064 Building wheel for certora-cli-alpha-shays-cert-2259 (setup.py): started 2023-05-28T11:33:28,064 Destination directory: /tmp/pip-wheel-acdsqy4w 2023-05-28T11:33:28,065 Running command python setup.py bdist_wheel 2023-05-28T11:33:28,903 running bdist_wheel 2023-05-28T11:33:29,180 running build 2023-05-28T11:33:29,181 running build_py 2023-05-28T11:33:29,208 creating build 2023-05-28T11:33:29,209 creating build/lib 2023-05-28T11:33:29,209 creating build/lib/certora_jars 2023-05-28T11:33:29,211 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-28T11:33:29,213 creating build/lib/certora_cli 2023-05-28T11:33:29,214 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-28T11:33:29,216 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-28T11:33:29,337 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-28T11:33:29,339 creating build/lib/certora_cli/Shared 2023-05-28T11:33:29,340 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-28T11:33:29,343 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-28T11:33:29,345 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-28T11:33:29,347 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-28T11:33:29,351 creating build/lib/certora_cli/EVMVerifier 2023-05-28T11:33:29,352 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-28T11:33:29,357 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-28T11:33:29,359 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-05-28T11:33:29,361 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-28T11:33:29,364 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-28T11:33:29,366 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-28T11:33:29,368 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-28T11:33:29,370 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-28T11:33:29,372 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-28T11:33:29,374 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-28T11:33:29,377 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-28T11:33:29,380 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-28T11:33:29,383 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-28T11:33:29,385 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-28T11:33:29,388 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-28T11:33:29,389 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-28T11:33:29,392 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-28T11:33:29,393 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-28T11:33:29,396 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-28T11:33:29,398 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-28T11:33:29,399 running egg_info 2023-05-28T11:33:29,458 writing certora_cli_alpha_shays_CERT_2259.egg-info/PKG-INFO 2023-05-28T11:33:29,460 writing dependency_links to certora_cli_alpha_shays_CERT_2259.egg-info/dependency_links.txt 2023-05-28T11:33:29,462 writing entry points to certora_cli_alpha_shays_CERT_2259.egg-info/entry_points.txt 2023-05-28T11:33:29,464 writing requirements to certora_cli_alpha_shays_CERT_2259.egg-info/requires.txt 2023-05-28T11:33:29,465 writing top-level names to certora_cli_alpha_shays_CERT_2259.egg-info/top_level.txt 2023-05-28T11:33:29,497 reading manifest file 'certora_cli_alpha_shays_CERT_2259.egg-info/SOURCES.txt' 2023-05-28T11:33:29,500 reading manifest template 'MANIFEST.in' 2023-05-28T11:33:29,509 adding license file 'LICENSE' 2023-05-28T11:33:29,513 writing manifest file 'certora_cli_alpha_shays_CERT_2259.egg-info/SOURCES.txt' 2023-05-28T11:33:29,516 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-28T11:33:29,518 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-28T11:33:29,752 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-28T11:33:29,907 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-28T11:33:30,094 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-28T11:33:30,181 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-28T11:33:30,270 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-28T11:33:30,270 !! 2023-05-28T11:33:30,271 ******************************************************************************** 2023-05-28T11:33:30,271 Please avoid running ``setup.py`` directly. 2023-05-28T11:33:30,271 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-28T11:33:30,271 other standards-based tools. 2023-05-28T11:33:30,271 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-28T11:33:30,271 ******************************************************************************** 2023-05-28T11:33:30,272 !! 2023-05-28T11:33:30,272 self.initialize_options() 2023-05-28T11:33:30,296 installing to build/bdist.linux-armv7l/wheel 2023-05-28T11:33:30,297 running install 2023-05-28T11:33:30,322 running install_lib 2023-05-28T11:33:30,349 creating build/bdist.linux-armv7l 2023-05-28T11:33:30,349 creating build/bdist.linux-armv7l/wheel 2023-05-28T11:33:30,351 creating build/bdist.linux-armv7l/wheel/certora_jars 2023-05-28T11:33:30,352 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-28T11:33:30,540 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-28T11:33:30,692 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-28T11:33:30,752 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-28T11:33:30,754 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-28T11:33:30,756 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-28T11:33:30,847 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-28T11:33:31,058 creating build/bdist.linux-armv7l/wheel/certora_cli 2023-05-28T11:33:31,059 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-28T11:33:31,062 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-28T11:33:31,065 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-28T11:33:31,067 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-28T11:33:31,068 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-28T11:33:31,071 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-28T11:33:31,073 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-28T11:33:31,076 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-28T11:33:31,080 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-28T11:33:31,081 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-28T11:33:31,086 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-28T11:33:31,089 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-28T11:33:31,091 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-28T11:33:31,094 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-28T11:33:31,095 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-28T11:33:31,097 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-28T11:33:31,100 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-28T11:33:31,102 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-28T11:33:31,104 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-28T11:33:31,107 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-28T11:33:31,110 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-28T11:33:31,111 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-28T11:33:31,115 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-28T11:33:31,117 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-28T11:33:31,119 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-28T11:33:31,122 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-28T11:33:31,124 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-28T11:33:31,128 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-28T11:33:31,130 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-28T11:33:31,133 running install_egg_info 2023-05-28T11:33:31,163 Copying certora_cli_alpha_shays_CERT_2259.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_shays_CERT_2259-20230528.11.10.175064-py3.9.egg-info 2023-05-28T11:33:31,176 running install_scripts 2023-05-28T11:33:31,194 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-05-28T11:33:31,198 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_shays_CERT_2259-20230528.11.10.175064.dist-info/WHEEL 2023-05-28T11:33:31,201 creating '/tmp/pip-wheel-acdsqy4w/certora_cli_alpha_shays_CERT_2259-20230528.11.10.175064-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-05-28T11:33:31,204 adding 'certora_cli/__init__.py' 2023-05-28T11:33:31,206 adding 'certora_cli/certoraMutate.py' 2023-05-28T11:33:31,208 adding 'certora_cli/certoraRun.py' 2023-05-28T11:33:31,211 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-28T11:33:31,233 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-28T11:33:31,240 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-28T11:33:31,243 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-28T11:33:31,245 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-28T11:33:31,249 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-28T11:33:31,253 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-28T11:33:31,255 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-28T11:33:31,261 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-28T11:33:31,263 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-05-28T11:33:31,265 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-28T11:33:31,267 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-28T11:33:31,270 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-28T11:33:31,274 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-28T11:33:31,277 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-28T11:33:31,279 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-28T11:33:31,281 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-28T11:33:31,285 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-28T11:33:31,287 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-28T11:33:31,289 adding 'certora_cli/Shared/__init__.py' 2023-05-28T11:33:31,292 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-28T11:33:31,294 adding 'certora_cli/Shared/certoraTester.py' 2023-05-28T11:33:31,301 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-28T11:33:31,304 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-28T11:33:32,980 adding 'certora_jars/MutationTest.jar' 2023-05-28T11:33:34,306 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-28T11:33:35,886 adding 'certora_jars/Typechecker.jar' 2023-05-28T11:33:35,969 adding 'certora_jars/__init__.py' 2023-05-28T11:33:36,706 adding 'certora_jars/gambit-linux' 2023-05-28T11:33:37,366 adding 'certora_jars/gambit-macos' 2023-05-28T11:33:37,392 adding 'certora_cli_alpha_shays_CERT_2259-20230528.11.10.175064.dist-info/LICENSE' 2023-05-28T11:33:37,393 adding 'certora_cli_alpha_shays_CERT_2259-20230528.11.10.175064.dist-info/METADATA' 2023-05-28T11:33:37,395 adding 'certora_cli_alpha_shays_CERT_2259-20230528.11.10.175064.dist-info/WHEEL' 2023-05-28T11:33:37,396 adding 'certora_cli_alpha_shays_CERT_2259-20230528.11.10.175064.dist-info/entry_points.txt' 2023-05-28T11:33:37,397 adding 'certora_cli_alpha_shays_CERT_2259-20230528.11.10.175064.dist-info/top_level.txt' 2023-05-28T11:33:37,399 adding 'certora_cli_alpha_shays_CERT_2259-20230528.11.10.175064.dist-info/RECORD' 2023-05-28T11:33:37,799 removing build/bdist.linux-armv7l/wheel 2023-05-28T11:33:37,914 Building wheel for certora-cli-alpha-shays-cert-2259 (setup.py): finished with status 'done' 2023-05-28T11:33:38,296 Created wheel for certora-cli-alpha-shays-cert-2259: filename=certora_cli_alpha_shays_CERT_2259-20230528.11.10.175064-py3-none-any.whl size=39017821 sha256=ec32b66e85cf05a383c451b0711351f5473776b3d25a0eea7532da8ec00eb110 2023-05-28T11:33:38,297 Stored in directory: /tmp/pip-ephem-wheel-cache-4_4jhy5u/wheels/a4/44/05/be8b92bc56e3d12ea9f27e7d7b49db971fdaa71d8305a8b977 2023-05-28T11:33:38,321 Successfully built certora-cli-alpha-shays-cert-2259 2023-05-28T11:33:39,245 Removed build tracker: '/tmp/pip-build-tracker-kthxn3ks'