2024-11-18T12:53:09,663 Created temporary directory: /tmp/pip-build-tracker-rbknpip4 2024-11-18T12:53:09,665 Initialized build tracking at /tmp/pip-build-tracker-rbknpip4 2024-11-18T12:53:09,665 Created build tracker: /tmp/pip-build-tracker-rbknpip4 2024-11-18T12:53:09,666 Entered build tracker: /tmp/pip-build-tracker-rbknpip4 2024-11-18T12:53:09,667 Created temporary directory: /tmp/pip-wheel-rn1f_hup 2024-11-18T12:53:09,671 Created temporary directory: /tmp/pip-ephem-wheel-cache-7y3g50ke 2024-11-18T12:53:09,715 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2024-11-18T12:53:09,718 2 location(s) to search for versions of certora-cli-beta-mirror: 2024-11-18T12:53:09,718 * https://pypi.org/simple/certora-cli-beta-mirror/ 2024-11-18T12:53:09,718 * https://www.piwheels.org/simple/certora-cli-beta-mirror/ 2024-11-18T12:53:09,719 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-beta-mirror/ 2024-11-18T12:53:09,719 Getting page https://pypi.org/simple/certora-cli-beta-mirror/ 2024-11-18T12:53:09,721 Found index url https://pypi.org/simple/ 2024-11-18T12:53:09,942 Fetched page https://pypi.org/simple/certora-cli-beta-mirror/ as application/vnd.pypi.simple.v1+json 2024-11-18T12:53:09,949 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/23/89/ccc42a28cb59cbe15a30f037756c18ffb3ea5d8c676beffb102e78ca9aca/certora_cli_beta_mirror-7.17.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-18T12:53:09,950 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/94/64/a5452ca1c5b031c60ad59619d06a5b08f2a63aee1fe612a5a2ed3731aa24/certora_cli_beta_mirror-7.17.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-18T12:53:09,951 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/97/f7/943dd777549175d73a3e36a4c3c5322a17c3f6450e025d89f22cc2391d9e/certora_cli_beta_mirror-7.17.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-18T12:53:09,951 Found link https://files.pythonhosted.org/packages/78/7b/565eb89fa95f53318cfffdfaf3c30fa425edcab7f5c3ff4132afa5d1498e/certora_cli_beta_mirror-7.17.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.17.0 2024-11-18T12:53:09,952 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/a6/50/a2ec88e48ea527dc6ef78484a6569542247bed9c6480c877fa92fd28c0a9/certora_cli_beta_mirror-7.17.1-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-18T12:53:09,953 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/92/f7/da44e1276b2bf0310e7178ce74078973c9a93a5a21a856591404b2576318/certora_cli_beta_mirror-7.17.1-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-18T12:53:09,954 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/c2/47/5c875198abbe3bfd099f970f36b5e827db2a6ed46b81daf7d0cc4e5e6f22/certora_cli_beta_mirror-7.17.1-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-18T12:53:09,955 Found link https://files.pythonhosted.org/packages/1c/36/889047d565e07e872e8a3c9ded451b34f077fe164f26ef2ca34b370322bb/certora_cli_beta_mirror-7.17.1.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.17.1 2024-11-18T12:53:09,956 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/bd/42/ed7a252b516cd24dd958052ae4f8bee8e5650a8048617e6f9fa5fa5d3933/certora_cli_beta_mirror-7.17.2-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-18T12:53:09,956 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/57/5a/cb27c4050a2ec26f9a903ae8698a09fa13441dc0b5a757558a1fb5810603/certora_cli_beta_mirror-7.17.2-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-18T12:53:09,957 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/83/fb/df32c065d881c7126eb5a908dbeac0eb950ada7d41313f8596e40e22a6c4/certora_cli_beta_mirror-7.17.2-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-18T12:53:09,958 Found link https://files.pythonhosted.org/packages/e0/d3/c71bbf1f5c35d7673495e00a0921496f352c13c4af31b7fca71b82f18bbc/certora_cli_beta_mirror-7.17.2.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.17.2 2024-11-18T12:53:09,959 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/7e/06/e51d2f1a35da3bfd056cbd47dc1148ed71a4511b7fac2866860f70351bae/certora_cli_beta_mirror-7.18.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-18T12:53:09,959 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/29/6d/816b30a79c16791d550e7a476653cd16708c3230d880ba6eeed80627d5af/certora_cli_beta_mirror-7.18.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-18T12:53:09,959 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/27/73/f6896058ab65932f1e21d69e2f3cc8b2fc35a9b4ffae9edeb57a814ed1f4/certora_cli_beta_mirror-7.18.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-18T12:53:09,960 Found link https://files.pythonhosted.org/packages/61/67/500481a15ea47b2fca79f0711eb601685a33a3b11b85df4cf4806a4e6284/certora_cli_beta_mirror-7.18.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.18.0 2024-11-18T12:53:09,961 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/ec/0e/7dd4b1ef9ee998336ba8e6ec485b3f8ea2ed1f88368a85a7d5c5c0864811/certora_cli_beta_mirror-7.18.1-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-18T12:53:09,962 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/fc/03/0c5c2ef1e1d8495ed1be330a6889d42ff1a30297ae8769096a1fcde87a6a/certora_cli_beta_mirror-7.18.1-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-18T12:53:09,963 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/84/56/bb057e2ec19e619a885ad344ce7d993dfcbd96bc455873e4de96ab48676c/certora_cli_beta_mirror-7.18.1-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-18T12:53:09,964 Found link https://files.pythonhosted.org/packages/9a/3d/9c21579a44707f6211fbbe0d57f8939f73a83d3b5cf57731446f84c4c803/certora_cli_beta_mirror-7.18.1.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.18.1 2024-11-18T12:53:09,964 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/a1/71/6e7d65a712bb5c447394fa1873f3f6a0eca92c803b41cdc0edc7df36ad0e/certora_cli_beta_mirror-7.18.2-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-18T12:53:09,965 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/86/e9/a6d0865aee4a2280d94fe73732faab3d6cd275bdc9fb48dd84f8791bb49a/certora_cli_beta_mirror-7.18.2-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-18T12:53:09,966 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/5e/ca/ca3d250450f59b38a481a903840e9f828dbf701b0e07207dab77a3fed861/certora_cli_beta_mirror-7.18.2-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-18T12:53:09,967 Found link https://files.pythonhosted.org/packages/80/32/2dc6aff1d5b484ec3ebc4872accb93a68ea7af7a4086e241a798c132ccf4/certora_cli_beta_mirror-7.18.2.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.18.2 2024-11-18T12:53:09,968 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/85/7f/b2df9b936804c70ba85705060eb193ec6c9e39154e4c5691d7fc655aacb9/certora_cli_beta_mirror-7.19.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-18T12:53:09,968 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/93/fc/86b03fefa7d535721e4256e1df8d4a51d729edfd9b21ddb7c1a89f1f4dc1/certora_cli_beta_mirror-7.19.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-18T12:53:09,969 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/bc/52/bd815baf5ef6f806ce28f1a37cc73d94a8d33756864f5d663311cfbaa135/certora_cli_beta_mirror-7.19.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-18T12:53:09,969 Found link https://files.pythonhosted.org/packages/99/9c/0c1ad853c72304b7b70b773b5df52857d482dfe2c15fca3567d4e3499077/certora_cli_beta_mirror-7.19.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.19.0 2024-11-18T12:53:09,970 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/13/48/0247f8a6170a253ee932c31debb1f05c4d082067267a11b66d2e07160bd9/certora_cli_beta_mirror-7.20.0-py3-none-any.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-18T12:53:09,971 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/cf/34/a220dea233a087e544b06e7197f10dbc4348d2641fb7969848a7e6449b13/certora_cli_beta_mirror-7.20.0-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-18T12:53:09,971 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://files.pythonhosted.org/packages/6c/5e/c30f3ec564f17149db1e5dabe8430b3816b74e59766e063106d3d6d4d93a/certora_cli_beta_mirror-7.20.0-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-18T12:53:09,972 Found link https://files.pythonhosted.org/packages/a0/d7/b336403ddc64b9a5600bff1ff8de6d2a04d00f1e78cf857476f51c8853a7/certora_cli_beta_mirror-7.20.0.tar.gz (from https://pypi.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8), version: 7.20.0 2024-11-18T12:53:09,973 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-beta-mirror/ 2024-11-18T12:53:09,974 Getting page https://www.piwheels.org/simple/certora-cli-beta-mirror/ 2024-11-18T12:53:09,975 Found index url https://www.piwheels.org/simple/ 2024-11-18T12:53:10,152 Fetched page https://www.piwheels.org/simple/certora-cli-beta-mirror/ as text/html 2024-11-18T12:53:10,155 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.19.0-py3-none-any.whl#sha256=1bcb60ab34d7f94a973a3dbd828226560c06b711a1a1df64d60c01f0fb45ee67 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-18T12:53:10,157 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.18.2-py3-none-any.whl#sha256=e3c4f26d0056c4eadbe9e924c395fe31ba90e0853c6195bdf50b7a7b4f1d9ff9 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-18T12:53:10,195 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.18.1-py3-none-any.whl#sha256=46d0114cb857d8b7549c72785815db662370f09ecb136c654fb87cf53b69350e (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-18T12:53:10,195 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.18.0-py3-none-any.whl#sha256=e7a42a97fd7829ed5211fc7e1d3e5ed06f3474c0980834d12a288c80587d1bec (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-18T12:53:10,196 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.17.2-py3-none-any.whl#sha256=3b8f73ac7166dadd40015cc5d19ba6b315a077d724c497f68d9a3d677a155771 (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-18T12:53:10,196 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.17.1-py3-none-any.whl#sha256=9618614b09f8a1a9045adf4ef400aeebfc0a15058524dbb0ee24b90111ea721a (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-18T12:53:10,197 Skipping link: No binaries permitted for certora-cli-beta-mirror: https://www.piwheels.org/simple/certora-cli-beta-mirror/certora_cli_beta_mirror-7.17.0-py3-none-any.whl#sha256=ebd400b65bef47785c001f8de433eee7b13617950ccc62883223c788cf28d6ff (from https://www.piwheels.org/simple/certora-cli-beta-mirror/) (requires-python:>=3.8) 2024-11-18T12:53:10,197 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-beta-mirror/ 2024-11-18T12:53:10,198 Skipping link: not a file: https://pypi.org/simple/certora-cli-beta-mirror/ 2024-11-18T12:53:10,218 Given no hashes to check 1 links for project 'certora-cli-beta-mirror': discarding no candidates 2024-11-18T12:53:10,220 Collecting certora-cli-beta-mirror==7.20.0 2024-11-18T12:53:10,222 Created temporary directory: /tmp/pip-unpack-wakdnd97 2024-11-18T12:53:10,361 Downloading certora_cli_beta_mirror-7.20.0.tar.gz (15.3 MB) 2024-11-18T12:53:12,091 Added certora-cli-beta-mirror==7.20.0 from https://files.pythonhosted.org/packages/a0/d7/b336403ddc64b9a5600bff1ff8de6d2a04d00f1e78cf857476f51c8853a7/certora_cli_beta_mirror-7.20.0.tar.gz to build tracker '/tmp/pip-build-tracker-rbknpip4' 2024-11-18T12:53:12,094 Running setup.py (path:/tmp/pip-wheel-rn1f_hup/certora-cli-beta-mirror_7295d282a7144ef797e8c552c90c6077/setup.py) egg_info for package certora-cli-beta-mirror 2024-11-18T12:53:12,095 Created temporary directory: /tmp/pip-pip-egg-info-xzcc0o5t 2024-11-18T12:53:12,095 Preparing metadata (setup.py): started 2024-11-18T12:53:12,097 Running command python setup.py egg_info 2024-11-18T12:53:13,190 running egg_info 2024-11-18T12:53:13,218 creating /tmp/pip-pip-egg-info-xzcc0o5t/certora_cli_beta_mirror.egg-info 2024-11-18T12:53:13,219 writing /tmp/pip-pip-egg-info-xzcc0o5t/certora_cli_beta_mirror.egg-info/PKG-INFO 2024-11-18T12:53:13,222 writing dependency_links to /tmp/pip-pip-egg-info-xzcc0o5t/certora_cli_beta_mirror.egg-info/dependency_links.txt 2024-11-18T12:53:13,223 writing entry points to /tmp/pip-pip-egg-info-xzcc0o5t/certora_cli_beta_mirror.egg-info/entry_points.txt 2024-11-18T12:53:13,225 writing requirements to /tmp/pip-pip-egg-info-xzcc0o5t/certora_cli_beta_mirror.egg-info/requires.txt 2024-11-18T12:53:13,226 writing top-level names to /tmp/pip-pip-egg-info-xzcc0o5t/certora_cli_beta_mirror.egg-info/top_level.txt 2024-11-18T12:53:13,227 writing manifest file '/tmp/pip-pip-egg-info-xzcc0o5t/certora_cli_beta_mirror.egg-info/SOURCES.txt' 2024-11-18T12:53:13,322 reading manifest file '/tmp/pip-pip-egg-info-xzcc0o5t/certora_cli_beta_mirror.egg-info/SOURCES.txt' 2024-11-18T12:53:13,323 reading manifest template 'MANIFEST.in' 2024-11-18T12:53:13,327 warning: no files found matching 'gambit' under directory 'certora_bins' 2024-11-18T12:53:13,400 adding license file 'LICENSE' 2024-11-18T12:53:13,406 writing manifest file '/tmp/pip-pip-egg-info-xzcc0o5t/certora_cli_beta_mirror.egg-info/SOURCES.txt' 2024-11-18T12:53:13,520 Preparing metadata (setup.py): finished with status 'done' 2024-11-18T12:53:13,525 Source in /tmp/pip-wheel-rn1f_hup/certora-cli-beta-mirror_7295d282a7144ef797e8c552c90c6077 has version 7.20.0, which satisfies requirement certora-cli-beta-mirror==7.20.0 from https://files.pythonhosted.org/packages/a0/d7/b336403ddc64b9a5600bff1ff8de6d2a04d00f1e78cf857476f51c8853a7/certora_cli_beta_mirror-7.20.0.tar.gz 2024-11-18T12:53:13,525 Removed certora-cli-beta-mirror==7.20.0 from https://files.pythonhosted.org/packages/a0/d7/b336403ddc64b9a5600bff1ff8de6d2a04d00f1e78cf857476f51c8853a7/certora_cli_beta_mirror-7.20.0.tar.gz from build tracker '/tmp/pip-build-tracker-rbknpip4' 2024-11-18T12:53:13,532 Created temporary directory: /tmp/pip-unpack-2t0d5ywz 2024-11-18T12:53:13,533 Created temporary directory: /tmp/pip-unpack-mmxx63yf 2024-11-18T12:53:13,534 Building wheels for collected packages: certora-cli-beta-mirror 2024-11-18T12:53:13,538 Created temporary directory: /tmp/pip-wheel-k4og3e9c 2024-11-18T12:53:13,538 Building wheel for certora-cli-beta-mirror (setup.py): started 2024-11-18T12:53:13,539 Destination directory: /tmp/pip-wheel-k4og3e9c 2024-11-18T12:53:13,540 Running command python setup.py bdist_wheel 2024-11-18T12:53:14,552 running bdist_wheel 2024-11-18T12:53:14,687 running build 2024-11-18T12:53:14,688 running build_py 2024-11-18T12:53:14,719 creating build/lib/certora_cli 2024-11-18T12:53:14,721 copying certora_cli/__init__.py -> build/lib/certora_cli 2024-11-18T12:53:14,723 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2024-11-18T12:53:14,725 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2024-11-18T12:53:14,727 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2024-11-18T12:53:14,730 creating build/lib/certora_jars 2024-11-18T12:53:14,731 copying certora_jars/__init__.py -> build/lib/certora_jars 2024-11-18T12:53:14,733 creating build/lib/certora_bins 2024-11-18T12:53:14,734 copying certora_bins/__init__.py -> build/lib/certora_bins 2024-11-18T12:53:14,736 creating build/lib/certora_cli/Mutate 2024-11-18T12:53:14,737 copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate 2024-11-18T12:53:14,739 copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate 2024-11-18T12:53:14,741 copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate 2024-11-18T12:53:14,743 copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate 2024-11-18T12:53:14,745 copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate 2024-11-18T12:53:14,747 copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate 2024-11-18T12:53:14,751 creating build/lib/certora_cli/EquivalenceCheck 2024-11-18T12:53:14,752 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2024-11-18T12:53:14,754 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2024-11-18T12:53:14,758 creating build/lib/certora_cli/EVMVerifier 2024-11-18T12:53:14,759 copying certora_cli/EVMVerifier/certoraContractFuncs.py -> build/lib/certora_cli/EVMVerifier 2024-11-18T12:53:14,761 copying certora_cli/EVMVerifier/certoraBuildDataClasses.py -> build/lib/certora_cli/EVMVerifier 2024-11-18T12:53:14,764 copying certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/lib/certora_cli/EVMVerifier 2024-11-18T12:53:14,766 copying certora_cli/EVMVerifier/certoraContextAttributes.py -> build/lib/certora_cli/EVMVerifier 2024-11-18T12:53:14,769 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2024-11-18T12:53:14,771 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2024-11-18T12:53:14,773 copying certora_cli/EVMVerifier/certoraMiniSpecParser.py -> build/lib/certora_cli/EVMVerifier 2024-11-18T12:53:14,776 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2024-11-18T12:53:14,778 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2024-11-18T12:53:14,781 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2024-11-18T12:53:14,790 copying certora_cli/EVMVerifier/certoraVerifyGenerator.py -> build/lib/certora_cli/EVMVerifier 2024-11-18T12:53:14,792 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2024-11-18T12:53:14,795 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2024-11-18T12:53:14,798 copying certora_cli/EVMVerifier/certoraSourceFinders.py -> build/lib/certora_cli/EVMVerifier 2024-11-18T12:53:14,801 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2024-11-18T12:53:14,803 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2024-11-18T12:53:14,806 copying certora_cli/EVMVerifier/certoraBuildCacheManager.py -> build/lib/certora_cli/EVMVerifier 2024-11-18T12:53:14,808 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2024-11-18T12:53:14,813 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2024-11-18T12:53:14,815 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2024-11-18T12:53:14,818 creating build/lib/certora_cli/Shared 2024-11-18T12:53:14,819 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2024-11-18T12:53:14,822 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2024-11-18T12:53:14,823 copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared 2024-11-18T12:53:14,826 copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared 2024-11-18T12:53:14,829 copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared 2024-11-18T12:53:14,831 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2024-11-18T12:53:14,835 creating build/lib/certora_cli/EVMVerifier/Compiler 2024-11-18T12:53:14,836 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-11-18T12:53:14,838 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-11-18T12:53:14,840 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-11-18T12:53:14,842 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-11-18T12:53:14,844 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-11-18T12:53:14,846 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-11-18T12:53:14,849 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2024-11-18T12:53:14,852 running egg_info 2024-11-18T12:53:14,880 writing certora_cli_beta_mirror.egg-info/PKG-INFO 2024-11-18T12:53:14,883 writing dependency_links to certora_cli_beta_mirror.egg-info/dependency_links.txt 2024-11-18T12:53:14,885 writing entry points to certora_cli_beta_mirror.egg-info/entry_points.txt 2024-11-18T12:53:14,886 writing requirements to certora_cli_beta_mirror.egg-info/requires.txt 2024-11-18T12:53:14,887 writing top-level names to certora_cli_beta_mirror.egg-info/top_level.txt 2024-11-18T12:53:14,924 reading manifest file 'certora_cli_beta_mirror.egg-info/SOURCES.txt' 2024-11-18T12:53:14,929 reading manifest template 'MANIFEST.in' 2024-11-18T12:53:14,933 warning: no files found matching 'gambit' under directory 'certora_bins' 2024-11-18T12:53:15,006 adding license file 'LICENSE' 2024-11-18T12:53:15,011 writing manifest file 'certora_cli_beta_mirror.egg-info/SOURCES.txt' 2024-11-18T12:53:15,017 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2024-11-18T12:53:15,019 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2024-11-18T12:53:15,347 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2024-11-18T12:53:15,349 copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-11-18T12:53:15,351 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-11-18T12:53:15,353 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2024-11-18T12:53:15,355 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2024-11-18T12:53:15,357 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2024-11-18T12:53:15,390 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2024-11-18T12:53:15,391 !! 2024-11-18T12:53:15,392 ******************************************************************************** 2024-11-18T12:53:15,393 Please avoid running ``setup.py`` directly. 2024-11-18T12:53:15,393 Instead, use pypa/build, pypa/installer or other 2024-11-18T12:53:15,394 standards-based tools. 2024-11-18T12:53:15,395 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2024-11-18T12:53:15,395 ******************************************************************************** 2024-11-18T12:53:15,396 !! 2024-11-18T12:53:15,397 self.initialize_options() 2024-11-18T12:53:15,422 installing to build/bdist.linux-armv7l/wheel 2024-11-18T12:53:15,422 running install 2024-11-18T12:53:15,447 running install_lib 2024-11-18T12:53:15,475 creating build/bdist.linux-armv7l/wheel 2024-11-18T12:53:15,477 creating build/bdist.linux-armv7l/wheel/certora_cli 2024-11-18T12:53:15,479 creating build/bdist.linux-armv7l/wheel/certora_cli/Mutate 2024-11-18T12:53:15,480 copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-11-18T12:53:15,482 copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-11-18T12:53:15,484 copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-11-18T12:53:15,487 copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-11-18T12:53:15,489 copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-11-18T12:53:15,491 copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Mutate 2024-11-18T12:53:15,496 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2024-11-18T12:53:15,497 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-11-18T12:53:15,499 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-11-18T12:53:15,500 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-11-18T12:53:15,502 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-11-18T12:53:15,504 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-11-18T12:53:15,506 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-11-18T12:53:15,508 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-11-18T12:53:15,510 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/./certora_cli/EquivalenceCheck 2024-11-18T12:53:15,512 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-11-18T12:53:15,514 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-11-18T12:53:15,517 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2024-11-18T12:53:15,518 copying build/lib/certora_cli/EVMVerifier/certoraContractFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-18T12:53:15,520 copying build/lib/certora_cli/EVMVerifier/certoraBuildDataClasses.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-18T12:53:15,523 copying build/lib/certora_cli/EVMVerifier/certoraCompilerParameters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-18T12:53:15,525 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2024-11-18T12:53:15,526 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-11-18T12:53:15,528 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-11-18T12:53:15,530 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-11-18T12:53:15,532 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-11-18T12:53:15,534 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-11-18T12:53:15,536 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-11-18T12:53:15,538 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier/Compiler 2024-11-18T12:53:15,542 copying build/lib/certora_cli/EVMVerifier/certoraContextAttributes.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-18T12:53:15,546 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-18T12:53:15,547 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-18T12:53:15,764 copying build/lib/certora_cli/EVMVerifier/certoraMiniSpecParser.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-18T12:53:15,767 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-18T12:53:15,769 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-18T12:53:15,772 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-18T12:53:15,774 copying build/lib/certora_cli/EVMVerifier/certoraVerifyGenerator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-18T12:53:15,777 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-18T12:53:15,780 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-18T12:53:15,783 copying build/lib/certora_cli/EVMVerifier/certoraSourceFinders.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-18T12:53:15,786 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-18T12:53:15,788 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-18T12:53:15,790 copying build/lib/certora_cli/EVMVerifier/certoraBuildCacheManager.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-18T12:53:15,793 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-18T12:53:15,798 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-18T12:53:15,800 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/./certora_cli/EVMVerifier 2024-11-18T12:53:15,802 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-11-18T12:53:15,804 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/./certora_cli 2024-11-18T12:53:15,806 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2024-11-18T12:53:15,808 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-11-18T12:53:15,810 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-11-18T12:53:15,812 copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-11-18T12:53:15,815 copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-11-18T12:53:15,818 copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-11-18T12:53:15,820 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/./certora_cli/Shared 2024-11-18T12:53:15,823 creating build/bdist.linux-armv7l/wheel/certora_jars 2024-11-18T12:53:15,825 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_jars 2024-11-18T12:53:15,826 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/./certora_jars 2024-11-18T12:53:16,095 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/./certora_jars 2024-11-18T12:53:16,098 creating build/bdist.linux-armv7l/wheel/certora_bins 2024-11-18T12:53:16,099 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/./certora_bins 2024-11-18T12:53:16,100 running install_egg_info 2024-11-18T12:53:16,134 Copying certora_cli_beta_mirror.egg-info to build/bdist.linux-armv7l/wheel/./certora_cli_beta_mirror-7.20.0-py3.11.egg-info 2024-11-18T12:53:16,145 running install_scripts 2024-11-18T12:53:16,161 creating build/bdist.linux-armv7l/wheel/certora_cli_beta_mirror-7.20.0.dist-info/WHEEL 2024-11-18T12:53:16,164 creating '/tmp/pip-wheel-k4og3e9c/certora_cli_beta_mirror-7.20.0-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2024-11-18T12:53:16,166 adding 'certora_bins/__init__.py' 2024-11-18T12:53:16,167 adding 'certora_cli/__init__.py' 2024-11-18T12:53:16,169 adding 'certora_cli/certoraEqCheck.py' 2024-11-18T12:53:16,170 adding 'certora_cli/certoraMutate.py' 2024-11-18T12:53:16,172 adding 'certora_cli/certoraRun.py' 2024-11-18T12:53:16,174 adding 'certora_cli/EVMVerifier/__init__.py' 2024-11-18T12:53:16,198 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2024-11-18T12:53:16,201 adding 'certora_cli/EVMVerifier/certoraBuildCacheManager.py' 2024-11-18T12:53:16,203 adding 'certora_cli/EVMVerifier/certoraBuildDataClasses.py' 2024-11-18T12:53:16,209 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2024-11-18T12:53:16,211 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2024-11-18T12:53:16,212 adding 'certora_cli/EVMVerifier/certoraCompilerParameters.py' 2024-11-18T12:53:16,214 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2024-11-18T12:53:16,217 adding 'certora_cli/EVMVerifier/certoraContext.py' 2024-11-18T12:53:16,221 adding 'certora_cli/EVMVerifier/certoraContextAttributes.py' 2024-11-18T12:53:16,223 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2024-11-18T12:53:16,227 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2024-11-18T12:53:16,229 adding 'certora_cli/EVMVerifier/certoraContractFuncs.py' 2024-11-18T12:53:16,230 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2024-11-18T12:53:16,232 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2024-11-18T12:53:16,234 adding 'certora_cli/EVMVerifier/certoraMiniSpecParser.py' 2024-11-18T12:53:16,235 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2024-11-18T12:53:16,238 adding 'certora_cli/EVMVerifier/certoraSourceFinders.py' 2024-11-18T12:53:16,241 adding 'certora_cli/EVMVerifier/certoraType.py' 2024-11-18T12:53:16,243 adding 'certora_cli/EVMVerifier/certoraVerifyGenerator.py' 2024-11-18T12:53:16,245 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2024-11-18T12:53:16,247 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2024-11-18T12:53:16,248 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2024-11-18T12:53:16,249 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSolBased.py' 2024-11-18T12:53:16,257 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2024-11-18T12:53:16,259 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorYul.py' 2024-11-18T12:53:16,260 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2024-11-18T12:53:16,262 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2024-11-18T12:53:16,263 adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec' 2024-11-18T12:53:16,264 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2024-11-18T12:53:16,265 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2024-11-18T12:53:16,267 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2024-11-18T12:53:16,268 adding 'certora_cli/EquivalenceCheck/__init__.py' 2024-11-18T12:53:16,270 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2024-11-18T12:53:16,271 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2024-11-18T12:53:16,273 adding 'certora_cli/Mutate/__init__.py' 2024-11-18T12:53:16,282 adding 'certora_cli/Mutate/mutateApp.py' 2024-11-18T12:53:16,285 adding 'certora_cli/Mutate/mutateAttributes.py' 2024-11-18T12:53:16,286 adding 'certora_cli/Mutate/mutateConstants.py' 2024-11-18T12:53:16,287 adding 'certora_cli/Mutate/mutateUtil.py' 2024-11-18T12:53:16,289 adding 'certora_cli/Mutate/mutateValidate.py' 2024-11-18T12:53:16,292 adding 'certora_cli/Shared/ExpectedComparator.py' 2024-11-18T12:53:16,293 adding 'certora_cli/Shared/__init__.py' 2024-11-18T12:53:16,294 adding 'certora_cli/Shared/certoraAttrUtil.py' 2024-11-18T12:53:16,296 adding 'certora_cli/Shared/certoraLogging.py' 2024-11-18T12:53:16,303 adding 'certora_cli/Shared/certoraUtils.py' 2024-11-18T12:53:16,308 adding 'certora_cli/Shared/certoraValidateFuncs.py' 2024-11-18T12:53:16,311 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2024-11-18T12:53:18,175 adding 'certora_jars/Typechecker.jar' 2024-11-18T12:53:18,278 adding 'certora_jars/__init__.py' 2024-11-18T12:53:18,279 adding 'certora_cli_beta_mirror-7.20.0.dist-info/LICENSE' 2024-11-18T12:53:18,280 adding 'certora_cli_beta_mirror-7.20.0.dist-info/METADATA' 2024-11-18T12:53:18,281 adding 'certora_cli_beta_mirror-7.20.0.dist-info/WHEEL' 2024-11-18T12:53:18,282 adding 'certora_cli_beta_mirror-7.20.0.dist-info/entry_points.txt' 2024-11-18T12:53:18,283 adding 'certora_cli_beta_mirror-7.20.0.dist-info/top_level.txt' 2024-11-18T12:53:18,285 adding 'certora_cli_beta_mirror-7.20.0.dist-info/RECORD' 2024-11-18T12:53:18,438 removing build/bdist.linux-armv7l/wheel 2024-11-18T12:53:18,572 Building wheel for certora-cli-beta-mirror (setup.py): finished with status 'done' 2024-11-18T12:53:18,726 Created wheel for certora-cli-beta-mirror: filename=certora_cli_beta_mirror-7.20.0-py3-none-any.whl size=15367409 sha256=b7c9341056df47cd776d2bafc06bd9841087501e157c803ef371e9aa16dc1779 2024-11-18T12:53:18,728 Stored in directory: /tmp/pip-ephem-wheel-cache-7y3g50ke/wheels/b2/55/f1/97f2551e7fbd1d7bbdb824e4d24fcc53a778a072a8e8c3ebb4 2024-11-18T12:53:18,744 Successfully built certora-cli-beta-mirror 2024-11-18T12:53:19,149 Removed build tracker: '/tmp/pip-build-tracker-rbknpip4'