2024-11-29T15:52:43,877 Created temporary directory: /tmp/pip-build-tracker-ev7m59n7 2024-11-29T15:52:43,879 Initialized build tracking at /tmp/pip-build-tracker-ev7m59n7 2024-11-29T15:52:43,879 Created build tracker: /tmp/pip-build-tracker-ev7m59n7 2024-11-29T15:52:43,880 Entered build tracker: /tmp/pip-build-tracker-ev7m59n7 2024-11-29T15:52:43,881 Created temporary directory: /tmp/pip-wheel-_z799wdm 2024-11-29T15:52:43,885 Created temporary directory: /tmp/pip-ephem-wheel-cache-wdsot7dm 2024-11-29T15:52:43,932 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2024-11-29T15:52:43,935 2 location(s) to search for versions of certora-cli-alpha-cert-7596-execute-cargo-build: 2024-11-29T15:52:43,935 * https://pypi.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/ 2024-11-29T15:52:43,935 * https://www.piwheels.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/ 2024-11-29T15:52:43,936 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/ 2024-11-29T15:52:43,937 Getting page https://pypi.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/ 2024-11-29T15:52:43,938 Found index url https://pypi.org/simple/ 2024-11-29T15:52:44,087 Fetched page https://pypi.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/ as application/vnd.pypi.simple.v1+json 2024-11-29T15:52:44,093 Skipping link: No binaries permitted for certora-cli-alpha-cert-7596-execute-cargo-build: https://files.pythonhosted.org/packages/87/53/a10744116f54eb1553b3bf006e1dbfc7b5b54468de43b503762964df6346/certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241126.15.53.751402-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/) (requires-python:>=3.8) 2024-11-29T15:52:44,093 Skipping link: No binaries permitted for certora-cli-alpha-cert-7596-execute-cargo-build: https://files.pythonhosted.org/packages/5f/b8/3186671acf80d6bf31ea24c4a00c6bb44f2be01548a15d311c94b72772cf/certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241126.15.53.751402-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/) (requires-python:>=3.8) 2024-11-29T15:52:44,094 Skipping link: No binaries permitted for certora-cli-alpha-cert-7596-execute-cargo-build: https://files.pythonhosted.org/packages/e2/b0/f8b93caa30c70a6196656b818b94255ec8222e6db4f07c36d804fa2eb1aa/certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241126.15.53.751402-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/) (requires-python:>=3.8) 2024-11-29T15:52:44,095 Found link https://files.pythonhosted.org/packages/21/4d/d8b3c2f1970440bfb72a3b9031c94cd1632131d3e1afe038d884d26eb460/certora_cli_alpha_cert_7596_execute_cargo_build-20241126.15.53.751402.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/) (requires-python:>=3.8), version: 20241126.15.53.751402 2024-11-29T15:52:44,096 Skipping link: No binaries permitted for certora-cli-alpha-cert-7596-execute-cargo-build: https://files.pythonhosted.org/packages/ad/fe/df887f981392990a05c066fb6d5211b44ef9bc05e9332067cf2326d80961/certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241126.17.2.720094-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/) (requires-python:>=3.8) 2024-11-29T15:52:44,097 Skipping link: No binaries permitted for certora-cli-alpha-cert-7596-execute-cargo-build: https://files.pythonhosted.org/packages/21/2d/9aad4a60de53b355cd43183ac1a81b88b725275689f59f1cf8c461defc84/certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241126.17.2.720094-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/) (requires-python:>=3.8) 2024-11-29T15:52:44,097 Skipping link: No binaries permitted for certora-cli-alpha-cert-7596-execute-cargo-build: https://files.pythonhosted.org/packages/00/2e/671286a52a9f6c5b719a3c976fa7d18011f37ec0832e9635a5cba4582640/certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241126.17.2.720094-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/) (requires-python:>=3.8) 2024-11-29T15:52:44,098 Found link https://files.pythonhosted.org/packages/d4/ba/9b9bca27b05509b9cdb0d86974628c1f6bd245bc0cd40205f63273126a3e/certora_cli_alpha_cert_7596_execute_cargo_build-20241126.17.2.720094.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/) (requires-python:>=3.8), version: 20241126.17.2.720094 2024-11-29T15:52:44,099 Skipping link: No binaries permitted for certora-cli-alpha-cert-7596-execute-cargo-build: https://files.pythonhosted.org/packages/63/d5/17dc0d96d260a0cfb9f1f9ea9c298d3f5ec04c0d7ca9cd0114370cdb972f/certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241127.7.38.905715-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/) (requires-python:>=3.8) 2024-11-29T15:52:44,099 Skipping link: No binaries permitted for certora-cli-alpha-cert-7596-execute-cargo-build: https://files.pythonhosted.org/packages/d6/a5/f220844bfe5ed5fb56139c733c321cfb6ca9063ac871e70a0104fa91b87d/certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241127.7.38.905715-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/) (requires-python:>=3.8) 2024-11-29T15:52:44,100 Skipping link: No binaries permitted for certora-cli-alpha-cert-7596-execute-cargo-build: https://files.pythonhosted.org/packages/13/b6/faf86809e36ffbca3df92e71715007a3622c6b77fa7eade3bb6b8b4b4ba2/certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241127.7.38.905715-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/) (requires-python:>=3.8) 2024-11-29T15:52:44,101 Found link https://files.pythonhosted.org/packages/91/36/2b0150d230857928fc16f0e6230adf5b8cc8993b6891131b231dfbdf11e0/certora_cli_alpha_cert_7596_execute_cargo_build-20241127.7.38.905715.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/) (requires-python:>=3.8), version: 20241127.7.38.905715 2024-11-29T15:52:44,101 Skipping link: No binaries permitted for certora-cli-alpha-cert-7596-execute-cargo-build: https://files.pythonhosted.org/packages/76/9d/38fbcb47cd6d140f7ee7ffe136c6ec27da2fd6ca81b1c74ae4d19e8eb5e8/certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.9.29.832828-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/) (requires-python:>=3.8) 2024-11-29T15:52:44,102 Skipping link: No binaries permitted for certora-cli-alpha-cert-7596-execute-cargo-build: https://files.pythonhosted.org/packages/ae/23/faba91c25d76ae8de86b54bd58d1af187b261dac5b78b4661264e7e673e3/certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.9.29.832828-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/) (requires-python:>=3.8) 2024-11-29T15:52:44,103 Skipping link: No binaries permitted for certora-cli-alpha-cert-7596-execute-cargo-build: https://files.pythonhosted.org/packages/62/04/0873f2b7311b68fdac5768fa6c1b146d14d28ab94511da48392ec57610f4/certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.9.29.832828-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/) (requires-python:>=3.8) 2024-11-29T15:52:44,104 Found link https://files.pythonhosted.org/packages/25/ce/08c28489fcf4ac149e1cee29d6672f6cc084cc68c04b86494a240a5e6cae/certora_cli_alpha_cert_7596_execute_cargo_build-20241128.9.29.832828.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/) (requires-python:>=3.8), version: 20241128.9.29.832828 2024-11-29T15:52:44,104 Skipping link: No binaries permitted for certora-cli-alpha-cert-7596-execute-cargo-build: https://files.pythonhosted.org/packages/99/e1/d06142ad1de68a5192236e09bcfabda38d941d71e011235f098a023a77ed/certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.9.57.333374-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/) (requires-python:>=3.8) 2024-11-29T15:52:44,105 Skipping link: No binaries permitted for certora-cli-alpha-cert-7596-execute-cargo-build: https://files.pythonhosted.org/packages/7f/c5/d0fa49a74cdc14587825886400440c02683b4b4a7f65d98c17ffb5bdcb84/certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.9.57.333374-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/) (requires-python:>=3.8) 2024-11-29T15:52:44,106 Skipping link: No binaries permitted for certora-cli-alpha-cert-7596-execute-cargo-build: https://files.pythonhosted.org/packages/8e/f3/7fc415c31ffa5544baa43756ce431b86c97ee4759a5e308ea4768ad865d4/certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.9.57.333374-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/) (requires-python:>=3.8) 2024-11-29T15:52:44,106 Found link https://files.pythonhosted.org/packages/5b/37/81352d0386ab52100fba68d005e22ba563f9993a930f8f49c99cb2dd1d8a/certora_cli_alpha_cert_7596_execute_cargo_build-20241128.9.57.333374.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/) (requires-python:>=3.8), version: 20241128.9.57.333374 2024-11-29T15:52:44,107 Skipping link: No binaries permitted for certora-cli-alpha-cert-7596-execute-cargo-build: https://files.pythonhosted.org/packages/37/2a/c6ed61ae5b51cfd94e92b981d584b2d48dbfda9fab52800e1b5c6c6d29cf/certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.13.35.61632-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/) (requires-python:>=3.8) 2024-11-29T15:52:44,107 Skipping link: No binaries permitted for certora-cli-alpha-cert-7596-execute-cargo-build: https://files.pythonhosted.org/packages/e3/c4/8452ade67f3dbed5f82f937db82ed43a8e79e118d6a040abb5093177d49c/certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.13.35.61632-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/) (requires-python:>=3.8) 2024-11-29T15:52:44,108 Skipping link: No binaries permitted for certora-cli-alpha-cert-7596-execute-cargo-build: https://files.pythonhosted.org/packages/13/05/688c92802a0bd7427a5c2c6c331ee9e061ba6b749ad24cf44769c70b17dd/certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.13.35.61632-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/) (requires-python:>=3.8) 2024-11-29T15:52:44,109 Found link https://files.pythonhosted.org/packages/1d/2a/ae49c7738937fbd12fa699b3c6954c1f5a20f149b0e86f3378bbf34d19bf/certora_cli_alpha_cert_7596_execute_cargo_build-20241128.13.35.61632.tar.gz (from https://pypi.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/) (requires-python:>=3.8), version: 20241128.13.35.61632 2024-11-29T15:52:44,110 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/ 2024-11-29T15:52:44,110 Getting page https://www.piwheels.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/ 2024-11-29T15:52:44,112 Found index url https://www.piwheels.org/simple/ 2024-11-29T15:52:44,278 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/ as text/html 2024-11-29T15:52:44,280 Skipping link: No binaries permitted for certora-cli-alpha-cert-7596-execute-cargo-build: https://www.piwheels.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.9.57.333374-py3-none-any.whl#sha256=c46ac82469385b4a30e169713f5a4d3e3da905c0f4b1455c081d16864fc22d9d (from https://www.piwheels.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/) (requires-python:>=3.8) 2024-11-29T15:52:44,281 Skipping link: No binaries permitted for certora-cli-alpha-cert-7596-execute-cargo-build: https://www.piwheels.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.9.29.832828-py3-none-any.whl#sha256=68858d3150df4a872195759083824503b6bad161d3491e37ea74d461bd138f40 (from https://www.piwheels.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/) (requires-python:>=3.8) 2024-11-29T15:52:44,282 Skipping link: No binaries permitted for certora-cli-alpha-cert-7596-execute-cargo-build: https://www.piwheels.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241127.7.38.905715-py3-none-any.whl#sha256=fd263f2609bf2a055e3c50e997a0c506669880a1672dcc13b5872707cfbf09fd (from https://www.piwheels.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/) (requires-python:>=3.8) 2024-11-29T15:52:44,283 Skipping link: No binaries permitted for certora-cli-alpha-cert-7596-execute-cargo-build: https://www.piwheels.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241126.17.2.720094-py3-none-any.whl#sha256=00c5976400077927f03082dee02ad73254a96b7e87cd9e0771b683b1748027f9 (from https://www.piwheels.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/) (requires-python:>=3.8) 2024-11-29T15:52:44,283 Skipping link: No binaries permitted for certora-cli-alpha-cert-7596-execute-cargo-build: https://www.piwheels.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241126.15.53.751402-py3-none-any.whl#sha256=d3fb431309a8194ca612bf8048b11569272b2afb9350d66e93f75c27c0d333d0 (from https://www.piwheels.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/) (requires-python:>=3.8) 2024-11-29T15:52:44,284 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/ 2024-11-29T15:52:44,284 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-cert-7596-execute-cargo-build/ 2024-11-29T15:52:44,304 Given no hashes to check 1 links for project 'certora-cli-alpha-cert-7596-execute-cargo-build': discarding no candidates 2024-11-29T15:52:44,306 Collecting certora-cli-alpha-cert-7596-execute-cargo-build==20241128.13.35.61632 2024-11-29T15:52:44,309 Created temporary directory: /tmp/pip-unpack-n43bne4d 2024-11-29T15:52:44,538 Downloading certora_cli_alpha_cert_7596_execute_cargo_build-20241128.13.35.61632.tar.gz (15.5 MB) 2024-11-29T15:52:47,879 Added certora-cli-alpha-cert-7596-execute-cargo-build==20241128.13.35.61632 from https://files.pythonhosted.org/packages/1d/2a/ae49c7738937fbd12fa699b3c6954c1f5a20f149b0e86f3378bbf34d19bf/certora_cli_alpha_cert_7596_execute_cargo_build-20241128.13.35.61632.tar.gz to build tracker '/tmp/pip-build-tracker-ev7m59n7' 2024-11-29T15:52:47,882 Running setup.py (path:/tmp/pip-wheel-_z799wdm/certora-cli-alpha-cert-7596-execute-cargo-build_be9f29b4a1d04a0f80e0d5b063df9f2c/setup.py) egg_info for package certora-cli-alpha-cert-7596-execute-cargo-build 2024-11-29T15:52:47,883 Created temporary directory: /tmp/pip-pip-egg-info-_hs8femd 2024-11-29T15:52:47,884 Preparing metadata (setup.py): started 2024-11-29T15:52:47,885 Running command python setup.py egg_info 2024-11-29T15:52:48,942 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:337: InformationOnly: Normalizing '20241128.13.35.061632' to '20241128.13.35.61632' 2024-11-29T15:52:48,942 self.metadata.version = self._normalize_version(self.metadata.version) 2024-11-29T15:52:48,977 running egg_info 2024-11-29T15:52:49,005 creating /tmp/pip-pip-egg-info-_hs8femd/certora_cli_alpha_CERT_7596_Execute_Cargo_Build.egg-info 2024-11-29T15:52:49,006 writing /tmp/pip-pip-egg-info-_hs8femd/certora_cli_alpha_CERT_7596_Execute_Cargo_Build.egg-info/PKG-INFO 2024-11-29T15:52:49,010 writing dependency_links to /tmp/pip-pip-egg-info-_hs8femd/certora_cli_alpha_CERT_7596_Execute_Cargo_Build.egg-info/dependency_links.txt 2024-11-29T15:52:49,011 writing entry points to /tmp/pip-pip-egg-info-_hs8femd/certora_cli_alpha_CERT_7596_Execute_Cargo_Build.egg-info/entry_points.txt 2024-11-29T15:52:49,013 writing requirements to /tmp/pip-pip-egg-info-_hs8femd/certora_cli_alpha_CERT_7596_Execute_Cargo_Build.egg-info/requires.txt 2024-11-29T15:52:49,014 writing top-level names to /tmp/pip-pip-egg-info-_hs8femd/certora_cli_alpha_CERT_7596_Execute_Cargo_Build.egg-info/top_level.txt 2024-11-29T15:52:49,015 writing manifest file '/tmp/pip-pip-egg-info-_hs8femd/certora_cli_alpha_CERT_7596_Execute_Cargo_Build.egg-info/SOURCES.txt' 2024-11-29T15:52:49,110 reading manifest file '/tmp/pip-pip-egg-info-_hs8femd/certora_cli_alpha_CERT_7596_Execute_Cargo_Build.egg-info/SOURCES.txt' 2024-11-29T15:52:49,112 reading manifest template 'MANIFEST.in' 2024-11-29T15:52:49,116 warning: no files found matching 'gambit' under directory 'certora_bins' 2024-11-29T15:52:49,190 adding license file 'LICENSE' 2024-11-29T15:52:49,195 writing manifest file '/tmp/pip-pip-egg-info-_hs8femd/certora_cli_alpha_CERT_7596_Execute_Cargo_Build.egg-info/SOURCES.txt' 2024-11-29T15:52:49,303 Preparing metadata (setup.py): finished with status 'done' 2024-11-29T15:52:49,307 Source in /tmp/pip-wheel-_z799wdm/certora-cli-alpha-cert-7596-execute-cargo-build_be9f29b4a1d04a0f80e0d5b063df9f2c has version 20241128.13.35.61632, which satisfies requirement certora-cli-alpha-cert-7596-execute-cargo-build==20241128.13.35.61632 from https://files.pythonhosted.org/packages/1d/2a/ae49c7738937fbd12fa699b3c6954c1f5a20f149b0e86f3378bbf34d19bf/certora_cli_alpha_cert_7596_execute_cargo_build-20241128.13.35.61632.tar.gz 2024-11-29T15:52:49,308 Removed certora-cli-alpha-cert-7596-execute-cargo-build==20241128.13.35.61632 from https://files.pythonhosted.org/packages/1d/2a/ae49c7738937fbd12fa699b3c6954c1f5a20f149b0e86f3378bbf34d19bf/certora_cli_alpha_cert_7596_execute_cargo_build-20241128.13.35.61632.tar.gz from build tracker '/tmp/pip-build-tracker-ev7m59n7' 2024-11-29T15:52:49,315 Created temporary directory: /tmp/pip-unpack-aiar1788 2024-11-29T15:52:49,316 Created temporary directory: /tmp/pip-unpack-r_nf4ybg 2024-11-29T15:52:49,317 Building wheels for collected packages: certora-cli-alpha-cert-7596-execute-cargo-build 2024-11-29T15:52:49,321 Created temporary directory: /tmp/pip-wheel-u1egohdb 2024-11-29T15:52:49,321 Building wheel for certora-cli-alpha-cert-7596-execute-cargo-build (setup.py): started 2024-11-29T15:52:49,323 Destination directory: /tmp/pip-wheel-u1egohdb 2024-11-29T15:52:49,323 Running command python setup.py bdist_wheel 2024-11-29T15:52:50,328 /usr/local/lib/python3.11/dist-packages/setuptools/dist.py:337: InformationOnly: Normalizing '20241128.13.35.061632' to '20241128.13.35.61632' 2024-11-29T15:52:50,328 self.metadata.version = self._normalize_version(self.metadata.version) 2024-11-29T15:52:50,337 running bdist_wheel 2024-11-29T15:52:50,469 running build 2024-11-29T15:52:50,469 running build_py 2024-11-29T15:52:50,499 creating build/lib/certora_bins 2024-11-29T15:52:50,501 copying certora_bins/__init__.py -> build/lib/certora_bins 2024-11-29T15:52:50,503 creating build/lib/certora_cli 2024-11-29T15:52:50,504 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2024-11-29T15:52:50,506 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2024-11-29T15:52:50,508 copying certora_cli/rustMutator.py -> build/lib/certora_cli 2024-11-29T15:52:50,510 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2024-11-29T15:52:50,513 copying certora_cli/__init__.py -> build/lib/certora_cli 2024-11-29T15:52:50,515 copying certora_cli/certoraSolanaProver.py -> build/lib/certora_cli 2024-11-29T15:52:50,517 creating build/lib/certora_jars 2024-11-29T15:52:50,518 copying certora_jars/__init__.py -> build/lib/certora_jars 2024-11-29T15:52:50,521 creating build/lib/certora_cli/EVMVerifier 2024-11-29T15:52:50,522 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2024-11-29T15:52:50,525 copying certora_cli/EVMVerifier/certoraBuildCacheManager.py -> build/lib/certora_cli/EVMVerifier 2024-11-29T15:52:50,527 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2024-11-29T15:52:50,530 copying certora_cli/EVMVerifier/certoraBuildDataClasses.py -> build/lib/certora_cli/EVMVerifier 2024-11-29T15:52:50,532 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2024-11-29T15:52:50,534 copying certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/lib/certora_cli/EVMVerifier 2024-11-29T15:52:50,536 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2024-11-29T15:52:50,538 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2024-11-29T15:52:50,541 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2024-11-29T15:52:50,546 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2024-11-29T15:52:50,548 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2024-11-29T15:52:50,551 copying certora_cli/EVMVerifier/certoraMiniSpecParser.py -> build/lib/certora_cli/EVMVerifier 2024-11-29T15:52:50,553 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2024-11-29T15:52:50,556 copying certora_cli/EVMVerifier/certoraContextAttributes.py -> build/lib/certora_cli/EVMVerifier 2024-11-29T15:52:50,559 copying certora_cli/EVMVerifier/certoraContractFuncs.py -> build/lib/certora_cli/EVMVerifier 2024-11-29T15:52:50,562 copying certora_cli/EVMVerifier/certoraVerifyGenerator.py -> build/lib/certora_cli/EVMVerifier 2024-11-29T15:52:50,564 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2024-11-29T15:52:50,566 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2024-11-29T15:52:50,568 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2024-11-29T15:52:50,570 copying certora_cli/EVMVerifier/certoraSourceFinders.py -> build/lib/certora_cli/EVMVerifier 2024-11-29T15:52:50,573 creating build/lib/certora_cli/Shared 2024-11-29T15:52:50,574 copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared 2024-11-29T15:52:50,576 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2024-11-29T15:52:50,579 copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared 2024-11-29T15:52:50,582 copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared 2024-11-29T15:52:50,585 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2024-11-29T15:52:50,587 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2024-11-29T15:52:50,590 creating build/lib/certora_cli/Mutate 2024-11-29T15:52:50,591 copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate 2024-11-29T15:52:50,594 copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate 2024-11-29T15:52:50,597 copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate 2024-11-29T15:52:50,598 copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate 2024-11-29T15:52:50,600 copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate 2024-11-29T15:52:50,602 copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate 2024-11-29T15:52:50,605 creating build/lib/certora_cli/EquivalenceCheck 2024-11-29T15:52:50,606 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2024-11-29T15:52:50,609 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2024-11-29T15:52:50,611 creating build/lib/certora_cli/EVMVerifier/Compiler 2024-11-29T15:52:50,612 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-11-29T15:52:50,615 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-11-29T15:52:50,617 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-11-29T15:52:50,619 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-11-29T15:52:50,621 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-11-29T15:52:50,624 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-11-29T15:52:50,626 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-11-29T15:52:50,628 running egg_info 2024-11-29T15:52:50,656 writing certora_cli_alpha_CERT_7596_Execute_Cargo_Build.egg-info/PKG-INFO 2024-11-29T15:52:50,659 writing dependency_links to certora_cli_alpha_CERT_7596_Execute_Cargo_Build.egg-info/dependency_links.txt 2024-11-29T15:52:50,660 writing entry points to certora_cli_alpha_CERT_7596_Execute_Cargo_Build.egg-info/entry_points.txt 2024-11-29T15:52:50,662 writing requirements to certora_cli_alpha_CERT_7596_Execute_Cargo_Build.egg-info/requires.txt 2024-11-29T15:52:50,663 writing top-level names to certora_cli_alpha_CERT_7596_Execute_Cargo_Build.egg-info/top_level.txt 2024-11-29T15:52:50,703 reading manifest file 'certora_cli_alpha_CERT_7596_Execute_Cargo_Build.egg-info/SOURCES.txt' 2024-11-29T15:52:50,708 reading manifest template 'MANIFEST.in' 2024-11-29T15:52:50,712 warning: no files found matching 'gambit' under directory 'certora_bins' 2024-11-29T15:52:50,791 adding license file 'LICENSE' 2024-11-29T15:52:50,797 writing manifest file 'certora_cli_alpha_CERT_7596_Execute_Cargo_Build.egg-info/SOURCES.txt' 2024-11-29T15:52:50,803 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2024-11-29T15:52:50,806 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2024-11-29T15:52:51,057 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2024-11-29T15:52:51,059 copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-11-29T15:52:51,062 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-11-29T15:52:51,064 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2024-11-29T15:52:51,067 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-11-29T15:52:51,069 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2024-11-29T15:52:51,102 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2024-11-29T15:52:51,103 !! 2024-11-29T15:52:51,104 ******************************************************************************** 2024-11-29T15:52:51,104 Please avoid running ``setup.py`` directly. 2024-11-29T15:52:51,105 Instead, use pypa/build, pypa/installer or other 2024-11-29T15:52:51,106 standards-based tools. 2024-11-29T15:52:51,107 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2024-11-29T15:52:51,107 ******************************************************************************** 2024-11-29T15:52:51,108 !! 2024-11-29T15:52:51,109 self.initialize_options() 2024-11-29T15:52:51,133 installing to build/bdist.linux-armv7l/wheel 2024-11-29T15:52:51,133 running install 2024-11-29T15:52:51,158 running install_lib 2024-11-29T15:52:51,185 creating build/bdist.linux-armv7l/wheel 2024-11-29T15:52:51,187 creating build/bdist.linux-armv7l/wheel/certora_bins 2024-11-29T15:52:51,189 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins 2024-11-29T15:52:51,191 creating build/bdist.linux-armv7l/wheel/certora_cli 2024-11-29T15:52:51,194 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2024-11-29T15:52:51,196 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-29T15:52:51,199 copying build/lib/certora_cli/EVMVerifier/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-29T15:52:51,202 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-29T15:52:51,205 copying build/lib/certora_cli/EVMVerifier/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-29T15:52:51,207 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-29T15:52:51,209 copying build/lib/certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-29T15:52:51,211 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-29T15:52:51,213 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-29T15:52:51,216 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-29T15:52:51,221 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-29T15:52:51,223 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-29T15:52:51,226 copying build/lib/certora_cli/EVMVerifier/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-29T15:52:51,228 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-29T15:52:51,231 copying build/lib/certora_cli/EVMVerifier/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-29T15:52:51,235 copying build/lib/certora_cli/EVMVerifier/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-29T15:52:51,237 copying build/lib/certora_cli/EVMVerifier/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-29T15:52:51,239 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-29T15:52:51,242 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2024-11-29T15:52:51,243 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-11-29T15:52:51,246 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-11-29T15:52:51,247 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-11-29T15:52:51,250 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-11-29T15:52:51,252 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-11-29T15:52:51,255 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-11-29T15:52:51,258 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-11-29T15:52:51,259 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-29T15:52:51,261 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-29T15:52:51,263 copying build/lib/certora_cli/EVMVerifier/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-29T15:52:51,266 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2024-11-29T15:52:51,267 copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-11-29T15:52:51,270 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-11-29T15:52:51,272 copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-11-29T15:52:51,275 copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-11-29T15:52:51,278 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-11-29T15:52:51,280 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-11-29T15:52:51,282 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-11-29T15:52:51,285 creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate 2024-11-29T15:52:51,286 copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-11-29T15:52:51,289 copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-11-29T15:52:51,292 copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-11-29T15:52:51,294 copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-11-29T15:52:51,295 copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-11-29T15:52:51,297 copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-11-29T15:52:51,300 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2024-11-29T15:52:51,301 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-11-29T15:52:51,303 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-11-29T15:52:51,305 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-11-29T15:52:51,308 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-11-29T15:52:51,310 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-11-29T15:52:51,312 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-11-29T15:52:51,314 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-11-29T15:52:51,315 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-11-29T15:52:51,317 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-11-29T15:52:51,319 copying build/lib/certora_cli/rustMutator.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-11-29T15:52:51,321 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-11-29T15:52:51,323 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-11-29T15:52:51,325 copying build/lib/certora_cli/certoraSolanaProver.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-11-29T15:52:51,328 creating build/bdist.linux-armv7l/wheel/certora_jars 2024-11-29T15:52:51,329 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars 2024-11-29T15:52:51,331 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2024-11-29T15:52:51,592 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars 2024-11-29T15:52:51,593 running install_egg_info 2024-11-29T15:52:51,628 Copying certora_cli_alpha_CERT_7596_Execute_Cargo_Build.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.13.35.61632-py3.11.egg-info 2024-11-29T15:52:51,640 running install_scripts 2024-11-29T15:52:51,657 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.13.35.61632.dist-info/WHEEL 2024-11-29T15:52:51,660 creating '/tmp/pip-wheel-u1egohdb/certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.13.35.61632-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2024-11-29T15:52:51,662 adding 'certora_bins/__init__.py' 2024-11-29T15:52:51,664 adding 'certora_cli/__init__.py' 2024-11-29T15:52:51,666 adding 'certora_cli/certoraEqCheck.py' 2024-11-29T15:52:51,668 adding 'certora_cli/certoraMutate.py' 2024-11-29T15:52:51,670 adding 'certora_cli/certoraRun.py' 2024-11-29T15:52:51,673 adding 'certora_cli/certoraSolanaProver.py' 2024-11-29T15:52:51,675 adding 'certora_cli/rustMutator.py' 2024-11-29T15:52:51,677 adding 'certora_cli/EVMVerifier/__init__.py' 2024-11-29T15:52:51,701 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2024-11-29T15:52:51,704 adding 'certora_cli/EVMVerifier/certoraBuildCacheManager.py' 2024-11-29T15:52:51,707 adding 'certora_cli/EVMVerifier/certoraBuildDataClasses.py' 2024-11-29T15:52:51,713 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2024-11-29T15:52:51,715 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2024-11-29T15:52:51,717 adding 'certora_cli/EVMVerifier/certoraCompilerParameters.py' 2024-11-29T15:52:51,719 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2024-11-29T15:52:51,723 adding 'certora_cli/EVMVerifier/certoraContext.py' 2024-11-29T15:52:51,728 adding 'certora_cli/EVMVerifier/certoraContextAttributes.py' 2024-11-29T15:52:51,730 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2024-11-29T15:52:51,735 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2024-11-29T15:52:51,737 adding 'certora_cli/EVMVerifier/certoraContractFuncs.py' 2024-11-29T15:52:51,739 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2024-11-29T15:52:51,741 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2024-11-29T15:52:51,744 adding 'certora_cli/EVMVerifier/certoraMiniSpecParser.py' 2024-11-29T15:52:51,746 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2024-11-29T15:52:51,748 adding 'certora_cli/EVMVerifier/certoraSourceFinders.py' 2024-11-29T15:52:51,752 adding 'certora_cli/EVMVerifier/certoraType.py' 2024-11-29T15:52:51,754 adding 'certora_cli/EVMVerifier/certoraVerifyGenerator.py' 2024-11-29T15:52:51,757 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2024-11-29T15:52:51,759 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2024-11-29T15:52:51,761 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2024-11-29T15:52:51,763 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py' 2024-11-29T15:52:51,770 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2024-11-29T15:52:51,772 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py' 2024-11-29T15:52:51,774 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2024-11-29T15:52:51,776 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2024-11-29T15:52:51,778 adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec' 2024-11-29T15:52:51,780 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2024-11-29T15:52:51,782 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2024-11-29T15:52:51,783 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2024-11-29T15:52:51,785 adding 'certora_cli/EquivalenceCheck/__init__.py' 2024-11-29T15:52:51,788 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2024-11-29T15:52:51,789 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2024-11-29T15:52:51,791 adding 'certora_cli/Mutate/__init__.py' 2024-11-29T15:52:51,801 adding 'certora_cli/Mutate/mutateApp.py' 2024-11-29T15:52:51,804 adding 'certora_cli/Mutate/mutateAttributes.py' 2024-11-29T15:52:51,806 adding 'certora_cli/Mutate/mutateConstants.py' 2024-11-29T15:52:51,807 adding 'certora_cli/Mutate/mutateUtil.py' 2024-11-29T15:52:51,809 adding 'certora_cli/Mutate/mutateValidate.py' 2024-11-29T15:52:51,813 adding 'certora_cli/Shared/ExpectedComparator.py' 2024-11-29T15:52:51,814 adding 'certora_cli/Shared/__init__.py' 2024-11-29T15:52:51,816 adding 'certora_cli/Shared/certoraAttrUtil.py' 2024-11-29T15:52:51,819 adding 'certora_cli/Shared/certoraLogging.py' 2024-11-29T15:52:51,826 adding 'certora_cli/Shared/certoraUtils.py' 2024-11-29T15:52:51,832 adding 'certora_cli/Shared/certoraValidateFuncs.py' 2024-11-29T15:52:51,835 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2024-11-29T15:52:53,760 adding 'certora_jars/Typechecker.jar' 2024-11-29T15:52:53,865 adding 'certora_jars/__init__.py' 2024-11-29T15:52:53,866 adding 'certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.13.35.61632.dist-info/LICENSE' 2024-11-29T15:52:53,867 adding 'certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.13.35.61632.dist-info/METADATA' 2024-11-29T15:52:53,869 adding 'certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.13.35.61632.dist-info/WHEEL' 2024-11-29T15:52:53,870 adding 'certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.13.35.61632.dist-info/entry_points.txt' 2024-11-29T15:52:53,871 adding 'certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.13.35.61632.dist-info/top_level.txt' 2024-11-29T15:52:53,873 adding 'certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.13.35.61632.dist-info/RECORD' 2024-11-29T15:52:54,028 removing build/bdist.linux-armv7l/wheel 2024-11-29T15:52:54,164 Building wheel for certora-cli-alpha-cert-7596-execute-cargo-build (setup.py): finished with status 'done' 2024-11-29T15:52:54,320 Created wheel for certora-cli-alpha-cert-7596-execute-cargo-build: filename=certora_cli_alpha_CERT_7596_Execute_Cargo_Build-20241128.13.35.61632-py3-none-any.whl size=15506962 sha256=e2158856159f0390b7a73338303e4d5d946426577751422fafe98153873382f1 2024-11-29T15:52:54,321 Stored in directory: /tmp/pip-ephem-wheel-cache-wdsot7dm/wheels/29/73/ce/488177fb17d573153c07cf440aa29f6d35447fcef085035796 2024-11-29T15:52:54,338 Successfully built certora-cli-alpha-cert-7596-execute-cargo-build 2024-11-29T15:52:54,717 Removed build tracker: '/tmp/pip-build-tracker-ev7m59n7'