2023-07-04T12:00:16,023 Created temporary directory: /tmp/pip-build-tracker-ew61tfaf 2023-07-04T12:00:16,024 Initialized build tracking at /tmp/pip-build-tracker-ew61tfaf 2023-07-04T12:00:16,024 Created build tracker: /tmp/pip-build-tracker-ew61tfaf 2023-07-04T12:00:16,024 Entered build tracker: /tmp/pip-build-tracker-ew61tfaf 2023-07-04T12:00:16,025 Created temporary directory: /tmp/pip-wheel-fio0j488 2023-07-04T12:00:16,029 Created temporary directory: /tmp/pip-ephem-wheel-cache-7gp7z5zf 2023-07-04T12:00:16,055 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-07-04T12:00:16,059 2 location(s) to search for versions of certora-cli-alpha-oz-cli-by-os: 2023-07-04T12:00:16,059 * https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-07-04T12:00:16,059 * https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-07-04T12:00:16,060 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-07-04T12:00:16,060 Getting page https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-07-04T12:00:16,062 Found index url https://pypi.org/simple/ 2023-07-04T12:00:16,122 Fetched page https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/ as application/vnd.pypi.simple.v1+json 2023-07-04T12:00:16,127 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/fa/7a/70decd2d60a9bf0c2b9dee747566e2459ac692d14b0354bbcc24b92d7690/certora_cli_alpha_oz_cli_by_os-20230627.9.44.450815-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:00:16,127 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/7a/e9/4a59dc9623d54021296c59a73acffecb7a998738240865a0f203ae653ff1/certora_cli_alpha_oz_cli_by_os-20230627.10.49.768915-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:00:16,128 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/e1/ce/1b7c367e0159f1bd51755d0a343ce0d17471219b78795a504760c83f1b18/certora_cli_alpha_oz_cli_by_os-20230627.11.22.385748-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:00:16,128 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/37/e4/7ca02cb327403fd0baa340ec21f4a391dce475aeb52019298d1fbe706574/certora_cli_alpha_oz_cli_by_os-20230627.11.44.759810-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:00:16,128 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/42/db/14e6572dc43870d09d3dc6e64655f465df28a84b4e6d8f8aaf70673b8d28/certora_cli_alpha_oz_cli_by_os-20230627.11.44.759810-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:00:16,129 Found link https://files.pythonhosted.org/packages/ca/86/c98ab53b027cf7b8454af65a287275e3dc4fc4d9b8be14a10e67a0cfba85/certora-cli-alpha-oz-cli-by-os-20230627.12.3.846810.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8), version: 20230627.12.3.846810 2023-07-04T12:00:16,129 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/3c/87/8baf22cd94d96fae6f619051c5e88a02412599bdfe8da0d0ebb5d802f7ac/certora_cli_alpha_oz_cli_by_os-20230627.12.3.846810-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:00:16,129 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/fc/42/a225eae9e07251487b785f9afbb833030697f64165c5473240104f0ac296/certora_cli_alpha_oz_cli_by_os-20230627.12.3.846810-py3-none-macosx_11_0_arm64.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:00:16,130 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/fd/fd/26c11af41625e73414de4d2f4f959d742cad9566f525e3d052102846ac4f/certora_cli_alpha_oz_cli_by_os-20230627.12.3.846810-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:00:16,130 Found link https://files.pythonhosted.org/packages/5e/05/c12f726b8c2f75402512b79c4e053ee87a086d591b765b6e69edcfd121da/certora-cli-alpha-oz-cli-by-os-20230628.20.10.750292.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8), version: 20230628.20.10.750292 2023-07-04T12:00:16,131 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/d7/f9/4c3e018b7ea53c6afae1d24de9d750f42e70d191a642e99808fe413d3b3c/certora_cli_alpha_oz_cli_by_os-20230628.20.10.750292-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:00:16,131 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/20/14/4a193a69531f49b034887bdba8e78aef6df78917761a3cb76844791ae3bb/certora_cli_alpha_oz_cli_by_os-20230628.20.10.750292-py3-none-macosx_11_0_arm64.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:00:16,131 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/fd/61/79c061544cbd897c6eaf4862da6c24e79913fdb605d4c5d6af0d73aa3d0a/certora_cli_alpha_oz_cli_by_os-20230628.20.10.750292-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:00:16,132 Found link https://files.pythonhosted.org/packages/8f/1f/32f9202a6354f6664c5439a8aa2504f4a6b3709544e9f61a65b83bcba3d6/certora-cli-alpha-oz-cli-by-os-20230702.9.1.737018.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8), version: 20230702.9.1.737018 2023-07-04T12:00:16,132 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/e7/4a/02c85ffb377ab6c69b4b5e3122c423be6529932d5f1b0e4836687b09d328/certora_cli_alpha_oz_cli_by_os-20230702.9.1.737018-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:00:16,132 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/53/0d/250e8c3e4f5492d605b23aa7b7b536532d87292701b9dd991f43b9fd5681/certora_cli_alpha_oz_cli_by_os-20230702.9.1.737018-py3-none-macosx_11_0_arm64.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:00:16,132 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/d4/13/8fabf5e81c4bb4a3c81872a85d8d3fac9603c2184d6be4907089de584352/certora_cli_alpha_oz_cli_by_os-20230702.9.1.737018-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:00:16,133 Found link https://files.pythonhosted.org/packages/21/36/511fc6fb3d7ab27fe25c4a95b5d3db32edcb0511c3cb9b4842539ca82e1f/certora-cli-alpha-oz-cli-by-os-20230703.13.32.625504.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8), version: 20230703.13.32.625504 2023-07-04T12:00:16,133 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/14/3e/94fe83392974ab41e72a6da97f90b9d59d389780086389e47d1e6af0614c/certora_cli_alpha_oz_cli_by_os-20230703.13.32.625504-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:00:16,133 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/01/b5/9f298f1cb1b7a2ed1e931d59c9b5af66bb82c71cc11c0af948a8b7c9ebe0/certora_cli_alpha_oz_cli_by_os-20230703.13.32.625504-py3-none-macosx_11_0_arm64.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:00:16,134 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/c0/71/82aff33980342a4ded7082301c1f3e156e7c2781dca4b26a9142eae0b770/certora_cli_alpha_oz_cli_by_os-20230703.13.32.625504-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:00:16,134 Found link https://files.pythonhosted.org/packages/ed/d1/6963fac142c6f6767a1268f51cc3d6362d1355fa93e9d75334587462c593/certora-cli-alpha-oz-cli-by-os-20230704.11.42.540592.tar.gz (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8), version: 20230704.11.42.540592 2023-07-04T12:00:16,134 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/65/5a/e9f6d77932fbad892b59157df58edb6fc6686c7e2f45d0a440b2e319343b/certora_cli_alpha_oz_cli_by_os-20230704.11.42.540592-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:00:16,135 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/0d/50/f87f312f7a5b570de488cf4bb837e283b6025ac01956afa28d429228f0d4/certora_cli_alpha_oz_cli_by_os-20230704.11.42.540592-py3-none-macosx_10_0_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:00:16,135 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://files.pythonhosted.org/packages/11/d3/33ffbaf3a5c2b8f8d1d0bbd1ec7e46e3f92d908474294258894d0fc0f2e7/certora_cli_alpha_oz_cli_by_os-20230704.11.42.540592-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:00:16,135 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-07-04T12:00:16,136 Getting page https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-07-04T12:00:16,137 Found index url https://www.piwheels.org/simple/ 2023-07-04T12:00:16,300 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/ as text/html 2023-07-04T12:00:16,302 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/certora_cli_alpha_oz_cli_by_os-20230703.13.32.625504-py3-none-any.whl#sha256=4eacb57c23cf6c5d2e1f928f2dbe8426f65bfec0122b13a65c1ff5431049fe69 (from https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:00:16,302 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/certora_cli_alpha_oz_cli_by_os-20230702.9.1.737018-py3-none-any.whl#sha256=ac13853c5bec4272a072e1b63c5d1d5fa4baaecde4632703c4571a14fd47778e (from https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:00:16,302 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/certora_cli_alpha_oz_cli_by_os-20230628.20.10.750292-py3-none-any.whl#sha256=a865bda6c4331b8b8a35892c039d1b71ebb032e81f09929e67c9f413482eaa09 (from https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:00:16,303 Skipping link: No binaries permitted for certora-cli-alpha-oz-cli-by-os: https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/certora_cli_alpha_oz_cli_by_os-20230627.12.3.846810-py3-none-any.whl#sha256=06a613c9e2ad2d4c35ff0b45671b9208a3fc052b207223c8ce7cc4ca41fcbaa0 (from https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/) (requires-python:>=3.8) 2023-07-04T12:00:16,303 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-07-04T12:00:16,303 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-07-04T12:00:16,321 Given no hashes to check 1 links for project 'certora-cli-alpha-oz-cli-by-os': discarding no candidates 2023-07-04T12:00:16,337 Collecting certora-cli-alpha-oz-cli-by-os==20230704.11.42.540592 2023-07-04T12:00:16,340 Created temporary directory: /tmp/pip-unpack-tmr29i93 2023-07-04T12:00:16,646 Downloading certora-cli-alpha-oz-cli-by-os-20230704.11.42.540592.tar.gz (37.4 MB) 2023-07-04T12:00:25,969 Added certora-cli-alpha-oz-cli-by-os==20230704.11.42.540592 from https://files.pythonhosted.org/packages/ed/d1/6963fac142c6f6767a1268f51cc3d6362d1355fa93e9d75334587462c593/certora-cli-alpha-oz-cli-by-os-20230704.11.42.540592.tar.gz to build tracker '/tmp/pip-build-tracker-ew61tfaf' 2023-07-04T12:00:25,971 Running setup.py (path:/tmp/pip-wheel-fio0j488/certora-cli-alpha-oz-cli-by-os_b414c0c493e74068afeec58d3de3e8f0/setup.py) egg_info for package certora-cli-alpha-oz-cli-by-os 2023-07-04T12:00:25,971 Created temporary directory: /tmp/pip-pip-egg-info-wefayjzh 2023-07-04T12:00:25,972 Preparing metadata (setup.py): started 2023-07-04T12:00:25,973 Running command python setup.py egg_info 2023-07-04T12:00:26,608 running egg_info 2023-07-04T12:00:26,610 creating /tmp/pip-pip-egg-info-wefayjzh/certora_cli_alpha_oz_cli_by_os.egg-info 2023-07-04T12:00:26,637 writing /tmp/pip-pip-egg-info-wefayjzh/certora_cli_alpha_oz_cli_by_os.egg-info/PKG-INFO 2023-07-04T12:00:26,639 writing dependency_links to /tmp/pip-pip-egg-info-wefayjzh/certora_cli_alpha_oz_cli_by_os.egg-info/dependency_links.txt 2023-07-04T12:00:26,641 writing entry points to /tmp/pip-pip-egg-info-wefayjzh/certora_cli_alpha_oz_cli_by_os.egg-info/entry_points.txt 2023-07-04T12:00:26,642 writing requirements to /tmp/pip-pip-egg-info-wefayjzh/certora_cli_alpha_oz_cli_by_os.egg-info/requires.txt 2023-07-04T12:00:26,643 writing top-level names to /tmp/pip-pip-egg-info-wefayjzh/certora_cli_alpha_oz_cli_by_os.egg-info/top_level.txt 2023-07-04T12:00:26,644 writing manifest file '/tmp/pip-pip-egg-info-wefayjzh/certora_cli_alpha_oz_cli_by_os.egg-info/SOURCES.txt' 2023-07-04T12:00:26,726 reading manifest file '/tmp/pip-pip-egg-info-wefayjzh/certora_cli_alpha_oz_cli_by_os.egg-info/SOURCES.txt' 2023-07-04T12:00:26,728 reading manifest template 'MANIFEST.in' 2023-07-04T12:00:26,732 warning: no files found matching 'gambit' under directory 'certora_bins' 2023-07-04T12:00:26,773 adding license file 'LICENSE' 2023-07-04T12:00:26,777 writing manifest file '/tmp/pip-pip-egg-info-wefayjzh/certora_cli_alpha_oz_cli_by_os.egg-info/SOURCES.txt' 2023-07-04T12:00:26,837 Preparing metadata (setup.py): finished with status 'done' 2023-07-04T12:00:26,842 Source in /tmp/pip-wheel-fio0j488/certora-cli-alpha-oz-cli-by-os_b414c0c493e74068afeec58d3de3e8f0 has version 20230704.11.42.540592, which satisfies requirement certora-cli-alpha-oz-cli-by-os==20230704.11.42.540592 from https://files.pythonhosted.org/packages/ed/d1/6963fac142c6f6767a1268f51cc3d6362d1355fa93e9d75334587462c593/certora-cli-alpha-oz-cli-by-os-20230704.11.42.540592.tar.gz 2023-07-04T12:00:26,843 Removed certora-cli-alpha-oz-cli-by-os==20230704.11.42.540592 from https://files.pythonhosted.org/packages/ed/d1/6963fac142c6f6767a1268f51cc3d6362d1355fa93e9d75334587462c593/certora-cli-alpha-oz-cli-by-os-20230704.11.42.540592.tar.gz from build tracker '/tmp/pip-build-tracker-ew61tfaf' 2023-07-04T12:00:26,849 Created temporary directory: /tmp/pip-unpack-r2rmk1q8 2023-07-04T12:00:26,850 Building wheels for collected packages: certora-cli-alpha-oz-cli-by-os 2023-07-04T12:00:26,854 Created temporary directory: /tmp/pip-wheel-tkx589fx 2023-07-04T12:00:26,854 Building wheel for certora-cli-alpha-oz-cli-by-os (setup.py): started 2023-07-04T12:00:26,855 Destination directory: /tmp/pip-wheel-tkx589fx 2023-07-04T12:00:26,855 Running command python setup.py bdist_wheel 2023-07-04T12:00:27,494 running bdist_wheel 2023-07-04T12:00:27,781 running build 2023-07-04T12:00:27,781 running build_py 2023-07-04T12:00:27,810 creating build 2023-07-04T12:00:27,810 creating build/lib 2023-07-04T12:00:27,811 creating build/lib/certora_jars 2023-07-04T12:00:27,812 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-07-04T12:00:27,814 creating build/lib/certora_bins 2023-07-04T12:00:27,815 copying certora_bins/__init__.py -> build/lib/certora_bins 2023-07-04T12:00:27,817 creating build/lib/certora_cli 2023-07-04T12:00:27,818 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-07-04T12:00:27,820 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-07-04T12:00:27,822 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-07-04T12:00:27,823 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2023-07-04T12:00:27,826 creating build/lib/certora_cli/Shared 2023-07-04T12:00:27,826 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-07-04T12:00:27,830 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-07-04T12:00:27,831 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-07-04T12:00:27,833 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-07-04T12:00:27,837 creating build/lib/certora_cli/EVMVerifier 2023-07-04T12:00:27,838 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-07-04T12:00:27,844 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-07-04T12:00:27,847 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-07-04T12:00:27,849 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-07-04T12:00:27,852 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-07-04T12:00:27,854 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-07-04T12:00:27,856 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-07-04T12:00:27,858 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-07-04T12:00:27,861 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-07-04T12:00:27,863 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-07-04T12:00:27,866 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-07-04T12:00:27,870 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-07-04T12:00:27,873 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-07-04T12:00:27,875 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-07-04T12:00:27,878 creating build/lib/certora_cli/EquivalenceCheck 2023-07-04T12:00:27,879 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2023-07-04T12:00:27,883 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2023-07-04T12:00:27,885 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-07-04T12:00:27,886 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-07-04T12:00:27,889 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-07-04T12:00:27,891 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-07-04T12:00:27,893 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-07-04T12:00:27,895 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-07-04T12:00:27,897 running egg_info 2023-07-04T12:00:27,958 writing certora_cli_alpha_oz_cli_by_os.egg-info/PKG-INFO 2023-07-04T12:00:27,960 writing dependency_links to certora_cli_alpha_oz_cli_by_os.egg-info/dependency_links.txt 2023-07-04T12:00:27,962 writing entry points to certora_cli_alpha_oz_cli_by_os.egg-info/entry_points.txt 2023-07-04T12:00:27,964 writing requirements to certora_cli_alpha_oz_cli_by_os.egg-info/requires.txt 2023-07-04T12:00:27,965 writing top-level names to certora_cli_alpha_oz_cli_by_os.egg-info/top_level.txt 2023-07-04T12:00:27,997 reading manifest file 'certora_cli_alpha_oz_cli_by_os.egg-info/SOURCES.txt' 2023-07-04T12:00:28,000 reading manifest template 'MANIFEST.in' 2023-07-04T12:00:28,005 warning: no files found matching 'gambit' under directory 'certora_bins' 2023-07-04T12:00:28,047 adding license file 'LICENSE' 2023-07-04T12:00:28,051 writing manifest file 'certora_cli_alpha_oz_cli_by_os.egg-info/SOURCES.txt' 2023-07-04T12:00:28,055 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-07-04T12:00:28,057 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-07-04T12:00:28,296 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-07-04T12:00:28,454 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-07-04T12:00:28,666 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2023-07-04T12:00:28,668 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2023-07-04T12:00:28,671 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2023-07-04T12:00:28,673 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2023-07-04T12:00:28,675 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2023-07-04T12:00:28,710 /home/piwheels/.local/lib/python3.9/site-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-07-04T12:00:28,710 !! 2023-07-04T12:00:28,711 ******************************************************************************** 2023-07-04T12:00:28,711 Please avoid running ``setup.py`` directly. 2023-07-04T12:00:28,711 Instead, use pypa/build, pypa/installer, pypa/build or 2023-07-04T12:00:28,711 other standards-based tools. 2023-07-04T12:00:28,711 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-07-04T12:00:28,711 ******************************************************************************** 2023-07-04T12:00:28,712 !! 2023-07-04T12:00:28,712 self.initialize_options() 2023-07-04T12:00:28,738 installing to build/bdist.linux-armv7l/wheel 2023-07-04T12:00:28,739 running install 2023-07-04T12:00:28,764 running install_lib 2023-07-04T12:00:28,792 creating build/bdist.linux-armv7l 2023-07-04T12:00:28,793 creating build/bdist.linux-armv7l/wheel 2023-07-04T12:00:28,794 creating build/bdist.linux-armv7l/wheel/certora_jars 2023-07-04T12:00:28,796 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-07-04T12:00:29,018 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-07-04T12:00:29,183 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars 2023-07-04T12:00:29,185 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars 2023-07-04T12:00:29,186 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-07-04T12:00:29,422 creating build/bdist.linux-armv7l/wheel/certora_bins 2023-07-04T12:00:29,423 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/certora_bins 2023-07-04T12:00:29,425 creating build/bdist.linux-armv7l/wheel/certora_cli 2023-07-04T12:00:29,426 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-07-04T12:00:29,429 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-07-04T12:00:29,431 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-07-04T12:00:29,433 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-07-04T12:00:29,435 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-07-04T12:00:29,436 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-07-04T12:00:29,440 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-07-04T12:00:29,442 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-07-04T12:00:29,444 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-07-04T12:00:29,447 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-04T12:00:29,449 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-04T12:00:29,455 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-04T12:00:29,457 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-04T12:00:29,459 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-04T12:00:29,463 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-04T12:00:29,465 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-04T12:00:29,467 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-04T12:00:29,470 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-04T12:00:29,473 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-04T12:00:29,475 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-04T12:00:29,479 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-04T12:00:29,482 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-04T12:00:29,483 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-04T12:00:29,487 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-04T12:00:29,489 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-04T12:00:29,491 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-04T12:00:29,494 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-04T12:00:29,496 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-04T12:00:29,499 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-04T12:00:29,502 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-04T12:00:29,505 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-04T12:00:29,506 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-04T12:00:29,508 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-04T12:00:29,510 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-04T12:00:29,513 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-04T12:00:29,515 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-04T12:00:29,517 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-04T12:00:29,519 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-04T12:00:29,521 running install_egg_info 2023-07-04T12:00:29,552 Copying certora_cli_alpha_oz_cli_by_os.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_oz_cli_by_os-20230704.11.42.540592-py3.9.egg-info 2023-07-04T12:00:29,564 running install_scripts 2023-07-04T12:00:29,580 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_oz_cli_by_os-20230704.11.42.540592.dist-info/WHEEL 2023-07-04T12:00:29,583 creating '/tmp/pip-wheel-tkx589fx/certora_cli_alpha_oz_cli_by_os-20230704.11.42.540592-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-07-04T12:00:29,586 adding 'certora_bins/__init__.py' 2023-07-04T12:00:29,588 adding 'certora_cli/__init__.py' 2023-07-04T12:00:29,590 adding 'certora_cli/certoraEqCheck.py' 2023-07-04T12:00:29,591 adding 'certora_cli/certoraMutate.py' 2023-07-04T12:00:29,594 adding 'certora_cli/certoraRun.py' 2023-07-04T12:00:29,596 adding 'certora_cli/EVMVerifier/__init__.py' 2023-07-04T12:00:29,619 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-07-04T12:00:29,626 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-07-04T12:00:29,629 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-07-04T12:00:29,631 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-07-04T12:00:29,636 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-07-04T12:00:29,640 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-07-04T12:00:29,642 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-07-04T12:00:29,647 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-07-04T12:00:29,649 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-07-04T12:00:29,651 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-07-04T12:00:29,653 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-07-04T12:00:29,656 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-07-04T12:00:29,660 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-07-04T12:00:29,663 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-07-04T12:00:29,665 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-07-04T12:00:29,667 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-07-04T12:00:29,671 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-07-04T12:00:29,673 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-07-04T12:00:29,675 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2023-07-04T12:00:29,677 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2023-07-04T12:00:29,678 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2023-07-04T12:00:29,680 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2023-07-04T12:00:29,681 adding 'certora_cli/EquivalenceCheck/__init__.py' 2023-07-04T12:00:29,684 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2023-07-04T12:00:29,686 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2023-07-04T12:00:29,688 adding 'certora_cli/Shared/__init__.py' 2023-07-04T12:00:29,690 adding 'certora_cli/Shared/certoraLogging.py' 2023-07-04T12:00:29,692 adding 'certora_cli/Shared/certoraTester.py' 2023-07-04T12:00:29,699 adding 'certora_cli/Shared/certoraUtils.py' 2023-07-04T12:00:29,702 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-07-04T12:00:31,524 adding 'certora_jars/MutationTest.jar' 2023-07-04T12:00:32,861 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-07-04T12:00:34,547 adding 'certora_jars/Typechecker.jar' 2023-07-04T12:00:34,636 adding 'certora_jars/__init__.py' 2023-07-04T12:00:34,637 adding 'certora_cli_alpha_oz_cli_by_os-20230704.11.42.540592.dist-info/LICENSE' 2023-07-04T12:00:34,639 adding 'certora_cli_alpha_oz_cli_by_os-20230704.11.42.540592.dist-info/METADATA' 2023-07-04T12:00:34,640 adding 'certora_cli_alpha_oz_cli_by_os-20230704.11.42.540592.dist-info/WHEEL' 2023-07-04T12:00:34,642 adding 'certora_cli_alpha_oz_cli_by_os-20230704.11.42.540592.dist-info/entry_points.txt' 2023-07-04T12:00:34,643 adding 'certora_cli_alpha_oz_cli_by_os-20230704.11.42.540592.dist-info/top_level.txt' 2023-07-04T12:00:34,644 adding 'certora_cli_alpha_oz_cli_by_os-20230704.11.42.540592.dist-info/RECORD' 2023-07-04T12:00:35,056 removing build/bdist.linux-armv7l/wheel 2023-07-04T12:00:35,169 Building wheel for certora-cli-alpha-oz-cli-by-os (setup.py): finished with status 'done' 2023-07-04T12:00:35,539 Created wheel for certora-cli-alpha-oz-cli-by-os: filename=certora_cli_alpha_oz_cli_by_os-20230704.11.42.540592-py3-none-any.whl size=37451271 sha256=00503004edec026f52e99c02f758aaef65df5d24c5e7841f289a7bfae2226e35 2023-07-04T12:00:35,540 Stored in directory: /tmp/pip-ephem-wheel-cache-7gp7z5zf/wheels/0a/6f/c9/00b582b408d65c1c3f800d93533661be754119b3032d893d28 2023-07-04T12:00:35,563 Successfully built certora-cli-alpha-oz-cli-by-os 2023-07-04T12:00:36,443 Removed build tracker: '/tmp/pip-build-tracker-ew61tfaf'