2023-05-13T14:46:52,281 Created temporary directory: /tmp/pip-build-tracker-2q2jim6q 2023-05-13T14:46:52,282 Initialized build tracking at /tmp/pip-build-tracker-2q2jim6q 2023-05-13T14:46:52,282 Created build tracker: /tmp/pip-build-tracker-2q2jim6q 2023-05-13T14:46:52,282 Entered build tracker: /tmp/pip-build-tracker-2q2jim6q 2023-05-13T14:46:52,283 Created temporary directory: /tmp/pip-wheel-adpmgr8y 2023-05-13T14:46:52,287 Created temporary directory: /tmp/pip-ephem-wheel-cache-130fa1wk 2023-05-13T14:46:52,311 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-13T14:46:52,315 2 location(s) to search for versions of certora-cli-alpha-rahav-cert-1849: 2023-05-13T14:46:52,315 * https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/ 2023-05-13T14:46:52,315 * https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/ 2023-05-13T14:46:52,315 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/ 2023-05-13T14:46:52,316 Getting page https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/ 2023-05-13T14:46:52,318 Found index url https://pypi.org/simple/ 2023-05-13T14:46:52,368 Fetched page https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/ as application/vnd.pypi.simple.v1+json 2023-05-13T14:46:52,370 Found link https://files.pythonhosted.org/packages/fb/2d/b6f601bbdbd48e71e9f8329b4932f82ae7ad90ea7dbe2005cd2113c025ef/certora-cli-alpha-rahav-CERT-1849-20230501.9.3.679493.tar.gz (from https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/) (requires-python:>=3.8.16), version: 20230501.9.3.679493 2023-05-13T14:46:52,371 Skipping link: No binaries permitted for certora-cli-alpha-rahav-cert-1849: https://files.pythonhosted.org/packages/60/73/4b8facbe57543279e23999d2a5b497a600a94b499295be6c4b027d934369/certora_cli_alpha_rahav_CERT_1849-20230501.9.3.679493-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/) (requires-python:>=3.8.16) 2023-05-13T14:46:52,371 Found link https://files.pythonhosted.org/packages/ff/10/ba762e39fe81bb2d6ff4f25c2d2e84b372b9a6d9075bb81f5756b1e4e612/certora-cli-alpha-rahav-CERT-1849-20230501.11.3.354497.tar.gz (from https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/) (requires-python:>=3.8.16), version: 20230501.11.3.354497 2023-05-13T14:46:52,372 Skipping link: No binaries permitted for certora-cli-alpha-rahav-cert-1849: https://files.pythonhosted.org/packages/39/e1/741363d85c0acc1a2e72f59b885e0b1f68adcfe1f40518b1a91769ced736/certora_cli_alpha_rahav_CERT_1849-20230501.11.3.354497-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/) (requires-python:>=3.8.16) 2023-05-13T14:46:52,372 Found link https://files.pythonhosted.org/packages/69/01/acd3033df60ac7344cb2ec6a8c74f42c97ab6e74f1c6c264b6f1c05ed3b6/certora-cli-alpha-rahav-CERT-1849-20230501.11.34.215275.tar.gz (from https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/) (requires-python:>=3.8.16), version: 20230501.11.34.215275 2023-05-13T14:46:52,372 Skipping link: No binaries permitted for certora-cli-alpha-rahav-cert-1849: https://files.pythonhosted.org/packages/5c/24/25d17ed7e7c8ce290db16820c03210e4baa6abdf34319313d7c6cacbf063/certora_cli_alpha_rahav_CERT_1849-20230501.11.34.215275-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/) (requires-python:>=3.8.16) 2023-05-13T14:46:52,373 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/ 2023-05-13T14:46:52,373 Getting page https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/ 2023-05-13T14:46:52,374 Found index url https://www.piwheels.org/simple/ 2023-05-13T14:46:52,535 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/ as text/html 2023-05-13T14:46:52,536 Skipping link: No binaries permitted for certora-cli-alpha-rahav-cert-1849: https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/certora_cli_alpha_rahav_CERT_1849-20230501.9.3.679493-py3-none-any.whl#sha256=da4411957ca0a2ad15b8504fcea90a575c31a7cbcb80c77642c8e118487ad592 (from https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/) (requires-python:>=3.8.16) 2023-05-13T14:46:52,536 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-rahav-cert-1849/ 2023-05-13T14:46:52,537 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-rahav-cert-1849/ 2023-05-13T14:46:52,555 Given no hashes to check 1 links for project 'certora-cli-alpha-rahav-cert-1849': discarding no candidates 2023-05-13T14:46:52,573 Collecting certora-cli-alpha-rahav-cert-1849==20230501.11.3.354497 2023-05-13T14:46:52,575 Created temporary directory: /tmp/pip-unpack-gonjzc_k 2023-05-13T14:46:52,704 Downloading certora-cli-alpha-rahav-CERT-1849-20230501.11.3.354497.tar.gz (38.3 MB) 2023-05-13T14:47:03,135 Added certora-cli-alpha-rahav-cert-1849==20230501.11.3.354497 from https://files.pythonhosted.org/packages/ff/10/ba762e39fe81bb2d6ff4f25c2d2e84b372b9a6d9075bb81f5756b1e4e612/certora-cli-alpha-rahav-CERT-1849-20230501.11.3.354497.tar.gz to build tracker '/tmp/pip-build-tracker-2q2jim6q' 2023-05-13T14:47:03,137 Running setup.py (path:/tmp/pip-wheel-adpmgr8y/certora-cli-alpha-rahav-cert-1849_c7353fa48903420db19b87a001c77c81/setup.py) egg_info for package certora-cli-alpha-rahav-cert-1849 2023-05-13T14:47:03,138 Created temporary directory: /tmp/pip-pip-egg-info-lhww97lt 2023-05-13T14:47:03,138 Preparing metadata (setup.py): started 2023-05-13T14:47:03,140 Running command python setup.py egg_info 2023-05-13T14:47:03,771 running egg_info 2023-05-13T14:47:03,773 creating /tmp/pip-pip-egg-info-lhww97lt/certora_cli_alpha_rahav_CERT_1849.egg-info 2023-05-13T14:47:03,799 writing /tmp/pip-pip-egg-info-lhww97lt/certora_cli_alpha_rahav_CERT_1849.egg-info/PKG-INFO 2023-05-13T14:47:03,801 writing dependency_links to /tmp/pip-pip-egg-info-lhww97lt/certora_cli_alpha_rahav_CERT_1849.egg-info/dependency_links.txt 2023-05-13T14:47:03,803 writing entry points to /tmp/pip-pip-egg-info-lhww97lt/certora_cli_alpha_rahav_CERT_1849.egg-info/entry_points.txt 2023-05-13T14:47:03,804 writing requirements to /tmp/pip-pip-egg-info-lhww97lt/certora_cli_alpha_rahav_CERT_1849.egg-info/requires.txt 2023-05-13T14:47:03,805 writing top-level names to /tmp/pip-pip-egg-info-lhww97lt/certora_cli_alpha_rahav_CERT_1849.egg-info/top_level.txt 2023-05-13T14:47:03,807 writing manifest file '/tmp/pip-pip-egg-info-lhww97lt/certora_cli_alpha_rahav_CERT_1849.egg-info/SOURCES.txt' 2023-05-13T14:47:03,894 reading manifest file '/tmp/pip-pip-egg-info-lhww97lt/certora_cli_alpha_rahav_CERT_1849.egg-info/SOURCES.txt' 2023-05-13T14:47:03,896 reading manifest template 'MANIFEST.in' 2023-05-13T14:47:03,906 adding license file 'LICENSE' 2023-05-13T14:47:03,909 writing manifest file '/tmp/pip-pip-egg-info-lhww97lt/certora_cli_alpha_rahav_CERT_1849.egg-info/SOURCES.txt' 2023-05-13T14:47:03,969 Preparing metadata (setup.py): finished with status 'done' 2023-05-13T14:47:03,975 Source in /tmp/pip-wheel-adpmgr8y/certora-cli-alpha-rahav-cert-1849_c7353fa48903420db19b87a001c77c81 has version 20230501.11.3.354497, which satisfies requirement certora-cli-alpha-rahav-cert-1849==20230501.11.3.354497 from https://files.pythonhosted.org/packages/ff/10/ba762e39fe81bb2d6ff4f25c2d2e84b372b9a6d9075bb81f5756b1e4e612/certora-cli-alpha-rahav-CERT-1849-20230501.11.3.354497.tar.gz 2023-05-13T14:47:03,976 Removed certora-cli-alpha-rahav-cert-1849==20230501.11.3.354497 from https://files.pythonhosted.org/packages/ff/10/ba762e39fe81bb2d6ff4f25c2d2e84b372b9a6d9075bb81f5756b1e4e612/certora-cli-alpha-rahav-CERT-1849-20230501.11.3.354497.tar.gz from build tracker '/tmp/pip-build-tracker-2q2jim6q' 2023-05-13T14:47:03,982 Created temporary directory: /tmp/pip-unpack-3pzli21k 2023-05-13T14:47:03,983 Building wheels for collected packages: certora-cli-alpha-rahav-cert-1849 2023-05-13T14:47:03,987 Created temporary directory: /tmp/pip-wheel-g5fs9vs6 2023-05-13T14:47:03,987 Building wheel for certora-cli-alpha-rahav-cert-1849 (setup.py): started 2023-05-13T14:47:03,988 Destination directory: /tmp/pip-wheel-g5fs9vs6 2023-05-13T14:47:03,989 Running command python setup.py bdist_wheel 2023-05-13T14:47:04,655 running bdist_wheel 2023-05-13T14:47:04,940 running build 2023-05-13T14:47:04,940 running build_py 2023-05-13T14:47:04,970 creating build 2023-05-13T14:47:04,971 creating build/lib 2023-05-13T14:47:04,971 creating build/lib/certora_jars 2023-05-13T14:47:04,973 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-13T14:47:04,975 creating build/lib/certora_cli 2023-05-13T14:47:04,976 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-13T14:47:04,977 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-13T14:47:04,979 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-13T14:47:04,983 creating build/lib/certora_cli/EVMVerifier 2023-05-13T14:47:04,984 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T14:47:04,986 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T14:47:04,989 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T14:47:04,992 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T14:47:04,998 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T14:47:05,000 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T14:47:05,003 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T14:47:05,005 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T14:47:05,008 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T14:47:05,011 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T14:47:05,013 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T14:47:05,016 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T14:47:05,019 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T14:47:05,021 creating build/lib/certora_cli/Shared 2023-05-13T14:47:05,022 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-13T14:47:05,025 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-13T14:47:05,026 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-13T14:47:05,030 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-13T14:47:05,033 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T14:47:05,034 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T14:47:05,036 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T14:47:05,039 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T14:47:05,041 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T14:47:05,043 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T14:47:05,045 running egg_info 2023-05-13T14:47:05,108 writing certora_cli_alpha_rahav_CERT_1849.egg-info/PKG-INFO 2023-05-13T14:47:05,110 writing dependency_links to certora_cli_alpha_rahav_CERT_1849.egg-info/dependency_links.txt 2023-05-13T14:47:05,113 writing entry points to certora_cli_alpha_rahav_CERT_1849.egg-info/entry_points.txt 2023-05-13T14:47:05,114 writing requirements to certora_cli_alpha_rahav_CERT_1849.egg-info/requires.txt 2023-05-13T14:47:05,116 writing top-level names to certora_cli_alpha_rahav_CERT_1849.egg-info/top_level.txt 2023-05-13T14:47:05,148 reading manifest file 'certora_cli_alpha_rahav_CERT_1849.egg-info/SOURCES.txt' 2023-05-13T14:47:05,150 reading manifest template 'MANIFEST.in' 2023-05-13T14:47:05,160 adding license file 'LICENSE' 2023-05-13T14:47:05,164 writing manifest file 'certora_cli_alpha_rahav_CERT_1849.egg-info/SOURCES.txt' 2023-05-13T14:47:05,167 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-13T14:47:05,194 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-13T14:47:05,415 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-13T14:47:05,592 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-13T14:47:05,817 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-13T14:47:05,933 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-13T14:47:06,068 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-13T14:47:06,068 !! 2023-05-13T14:47:06,069 ******************************************************************************** 2023-05-13T14:47:06,069 Please avoid running ``setup.py`` directly. 2023-05-13T14:47:06,069 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-13T14:47:06,069 other standards-based tools. 2023-05-13T14:47:06,069 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-13T14:47:06,069 ******************************************************************************** 2023-05-13T14:47:06,070 !! 2023-05-13T14:47:06,070 self.initialize_options() 2023-05-13T14:47:06,095 installing to build/bdist.linux-aarch64/wheel 2023-05-13T14:47:06,096 running install 2023-05-13T14:47:06,120 running install_lib 2023-05-13T14:47:06,147 creating build/bdist.linux-aarch64 2023-05-13T14:47:06,148 creating build/bdist.linux-aarch64/wheel 2023-05-13T14:47:06,149 creating build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T14:47:06,150 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T14:47:06,374 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T14:47:06,377 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T14:47:06,496 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T14:47:06,599 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T14:47:06,794 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T14:47:06,796 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T14:47:06,956 creating build/bdist.linux-aarch64/wheel/certora_cli 2023-05-13T14:47:06,958 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T14:47:06,960 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T14:47:06,963 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T14:47:06,965 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T14:47:06,969 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T14:47:06,975 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T14:47:06,976 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T14:47:06,978 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T14:47:06,981 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T14:47:06,983 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T14:47:06,986 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T14:47:06,988 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T14:47:06,991 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T14:47:06,994 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T14:47:06,996 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T14:47:06,999 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T14:47:07,003 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T14:47:07,005 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T14:47:07,008 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T14:47:07,012 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T14:47:07,015 creating build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T14:47:07,016 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T14:47:07,018 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T14:47:07,020 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T14:47:07,023 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T14:47:07,026 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-13T14:47:07,027 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-13T14:47:07,029 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-13T14:47:07,032 running install_egg_info 2023-05-13T14:47:07,063 Copying certora_cli_alpha_rahav_CERT_1849.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_rahav_CERT_1849-20230501.11.3.354497-py3.9.egg-info 2023-05-13T14:47:07,076 running install_scripts 2023-05-13T14:47:07,093 creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_rahav_CERT_1849-20230501.11.3.354497.dist-info/WHEEL 2023-05-13T14:47:07,095 creating '/tmp/pip-wheel-g5fs9vs6/certora_cli_alpha_rahav_CERT_1849-20230501.11.3.354497-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it 2023-05-13T14:47:07,098 adding 'certora_cli/__init__.py' 2023-05-13T14:47:07,099 adding 'certora_cli/certoraMutate.py' 2023-05-13T14:47:07,101 adding 'certora_cli/certoraRun.py' 2023-05-13T14:47:07,104 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-13T14:47:07,125 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-13T14:47:07,131 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-13T14:47:07,134 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-13T14:47:07,135 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-13T14:47:07,140 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-13T14:47:07,143 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-13T14:47:07,145 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-13T14:47:07,150 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-13T14:47:07,153 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-13T14:47:07,154 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-13T14:47:07,157 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-13T14:47:07,161 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-13T14:47:07,163 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-13T14:47:07,165 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-13T14:47:07,167 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-13T14:47:07,171 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-13T14:47:07,172 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-13T14:47:07,174 adding 'certora_cli/Shared/__init__.py' 2023-05-13T14:47:07,177 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-13T14:47:07,178 adding 'certora_cli/Shared/certoraTester.py' 2023-05-13T14:47:07,184 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-13T14:47:07,188 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-13T14:47:08,763 adding 'certora_jars/MutationTest.jar' 2023-05-13T14:47:10,071 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-13T14:47:11,552 adding 'certora_jars/Typechecker.jar' 2023-05-13T14:47:11,631 adding 'certora_jars/__init__.py' 2023-05-13T14:47:12,486 adding 'certora_jars/gambit-linux' 2023-05-13T14:47:13,344 adding 'certora_jars/gambit-macos' 2023-05-13T14:47:13,380 adding 'certora_cli_alpha_rahav_CERT_1849-20230501.11.3.354497.dist-info/LICENSE' 2023-05-13T14:47:13,382 adding 'certora_cli_alpha_rahav_CERT_1849-20230501.11.3.354497.dist-info/METADATA' 2023-05-13T14:47:13,383 adding 'certora_cli_alpha_rahav_CERT_1849-20230501.11.3.354497.dist-info/WHEEL' 2023-05-13T14:47:13,384 adding 'certora_cli_alpha_rahav_CERT_1849-20230501.11.3.354497.dist-info/entry_points.txt' 2023-05-13T14:47:13,385 adding 'certora_cli_alpha_rahav_CERT_1849-20230501.11.3.354497.dist-info/top_level.txt' 2023-05-13T14:47:13,386 adding 'certora_cli_alpha_rahav_CERT_1849-20230501.11.3.354497.dist-info/RECORD' 2023-05-13T14:47:13,862 removing build/bdist.linux-aarch64/wheel 2023-05-13T14:47:13,980 Building wheel for certora-cli-alpha-rahav-cert-1849 (setup.py): finished with status 'done' 2023-05-13T14:47:14,297 Created wheel for certora-cli-alpha-rahav-cert-1849: filename=certora_cli_alpha_rahav_CERT_1849-20230501.11.3.354497-py3-none-any.whl size=38337607 sha256=f5d385acdb2f8ad0571c688a46cc08f542f74350b600894a2ac3e08c51778c7f 2023-05-13T14:47:14,298 Stored in directory: /tmp/pip-ephem-wheel-cache-130fa1wk/wheels/03/67/4e/5900e46144257f2cd280835c1259ff61c459be1eb26e9a6af7 2023-05-13T14:47:14,327 Successfully built certora-cli-alpha-rahav-cert-1849 2023-05-13T14:47:15,297 Removed build tracker: '/tmp/pip-build-tracker-2q2jim6q'