2023-07-03T14:00:48,912 Created temporary directory: /tmp/pip-build-tracker-z6k0pxb9 2023-07-03T14:00:48,913 Initialized build tracking at /tmp/pip-build-tracker-z6k0pxb9 2023-07-03T14:00:48,914 Created build tracker: /tmp/pip-build-tracker-z6k0pxb9 2023-07-03T14:00:48,914 Entered build tracker: /tmp/pip-build-tracker-z6k0pxb9 2023-07-03T14:00:48,914 Created temporary directory: /tmp/pip-wheel-t3yno6g2 2023-07-03T14:00:48,918 Created temporary directory: /tmp/pip-ephem-wheel-cache-acfrozjt 2023-07-03T14:00:48,945 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-07-03T14:00:48,949 2 location(s) to search for versions of certora-cli-alpha-oz-cli-by-os: 2023-07-03T14:00:48,949 * https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-07-03T14:00:48,949 * https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-07-03T14:00:48,949 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-07-03T14:00:48,950 Getting page https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-07-03T14:00:48,951 Found index url https://pypi.org/simple/ 2023-07-03T14:00:49,013 Fetched page https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/ as application/vnd.pypi.simple.v1+json 2023-07-03T14:00:49,018 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-03T14:00:49,018 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-03T14:00:49,018 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-03T14:00:49,019 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-03T14:00:49,019 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-03T14:00:49,020 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-03T14:00:49,020 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-03T14:00:49,020 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-03T14:00:49,020 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-03T14:00:49,021 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-03T14:00:49,021 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-03T14:00:49,022 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-03T14:00:49,022 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-03T14:00:49,022 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-03T14:00:49,023 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-03T14:00:49,023 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-03T14:00:49,023 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-03T14:00:49,024 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-03T14:00:49,024 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-03T14:00:49,024 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-03T14:00:49,025 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-03T14:00:49,025 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-07-03T14:00:49,025 Getting page https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-07-03T14:00:49,026 Found index url https://www.piwheels.org/simple/ 2023-07-03T14:00:49,897 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/ as text/html 2023-07-03T14:00:49,901 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-03T14:00:49,902 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-03T14:00:49,902 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-03T14:00:49,903 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-07-03T14:00:49,903 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-07-03T14:00:49,936 Given no hashes to check 1 links for project 'certora-cli-alpha-oz-cli-by-os': discarding no candidates 2023-07-03T14:00:49,966 Collecting certora-cli-alpha-oz-cli-by-os==20230703.13.32.625504 2023-07-03T14:00:49,970 Created temporary directory: /tmp/pip-unpack-s4qstgzm 2023-07-03T14:00:50,141 Downloading certora-cli-alpha-oz-cli-by-os-20230703.13.32.625504.tar.gz (37.4 MB) 2023-07-03T14:00:59,250 Added certora-cli-alpha-oz-cli-by-os==20230703.13.32.625504 from https://files.pythonhosted.org/packages/21/36/511fc6fb3d7ab27fe25c4a95b5d3db32edcb0511c3cb9b4842539ca82e1f/certora-cli-alpha-oz-cli-by-os-20230703.13.32.625504.tar.gz to build tracker '/tmp/pip-build-tracker-z6k0pxb9' 2023-07-03T14:00:59,253 Running setup.py (path:/tmp/pip-wheel-t3yno6g2/certora-cli-alpha-oz-cli-by-os_7833ad5ae3254eec8f4b02c8ca56f192/setup.py) egg_info for package certora-cli-alpha-oz-cli-by-os 2023-07-03T14:00:59,253 Created temporary directory: /tmp/pip-pip-egg-info-o4qqo8z4 2023-07-03T14:00:59,253 Preparing metadata (setup.py): started 2023-07-03T14:00:59,254 Running command python setup.py egg_info 2023-07-03T14:00:59,874 running egg_info 2023-07-03T14:00:59,876 creating /tmp/pip-pip-egg-info-o4qqo8z4/certora_cli_alpha_oz_cli_by_os.egg-info 2023-07-03T14:00:59,905 writing /tmp/pip-pip-egg-info-o4qqo8z4/certora_cli_alpha_oz_cli_by_os.egg-info/PKG-INFO 2023-07-03T14:00:59,907 writing dependency_links to /tmp/pip-pip-egg-info-o4qqo8z4/certora_cli_alpha_oz_cli_by_os.egg-info/dependency_links.txt 2023-07-03T14:00:59,909 writing entry points to /tmp/pip-pip-egg-info-o4qqo8z4/certora_cli_alpha_oz_cli_by_os.egg-info/entry_points.txt 2023-07-03T14:00:59,910 writing requirements to /tmp/pip-pip-egg-info-o4qqo8z4/certora_cli_alpha_oz_cli_by_os.egg-info/requires.txt 2023-07-03T14:00:59,911 writing top-level names to /tmp/pip-pip-egg-info-o4qqo8z4/certora_cli_alpha_oz_cli_by_os.egg-info/top_level.txt 2023-07-03T14:00:59,913 writing manifest file '/tmp/pip-pip-egg-info-o4qqo8z4/certora_cli_alpha_oz_cli_by_os.egg-info/SOURCES.txt' 2023-07-03T14:00:59,999 reading manifest file '/tmp/pip-pip-egg-info-o4qqo8z4/certora_cli_alpha_oz_cli_by_os.egg-info/SOURCES.txt' 2023-07-03T14:01:00,001 reading manifest template 'MANIFEST.in' 2023-07-03T14:01:00,006 warning: no files found matching 'gambit' under directory 'certora_bins' 2023-07-03T14:01:00,051 adding license file 'LICENSE' 2023-07-03T14:01:00,054 writing manifest file '/tmp/pip-pip-egg-info-o4qqo8z4/certora_cli_alpha_oz_cli_by_os.egg-info/SOURCES.txt' 2023-07-03T14:01:00,116 Preparing metadata (setup.py): finished with status 'done' 2023-07-03T14:01:00,121 Source in /tmp/pip-wheel-t3yno6g2/certora-cli-alpha-oz-cli-by-os_7833ad5ae3254eec8f4b02c8ca56f192 has version 20230703.13.32.625504, which satisfies requirement certora-cli-alpha-oz-cli-by-os==20230703.13.32.625504 from https://files.pythonhosted.org/packages/21/36/511fc6fb3d7ab27fe25c4a95b5d3db32edcb0511c3cb9b4842539ca82e1f/certora-cli-alpha-oz-cli-by-os-20230703.13.32.625504.tar.gz 2023-07-03T14:01:00,122 Removed certora-cli-alpha-oz-cli-by-os==20230703.13.32.625504 from https://files.pythonhosted.org/packages/21/36/511fc6fb3d7ab27fe25c4a95b5d3db32edcb0511c3cb9b4842539ca82e1f/certora-cli-alpha-oz-cli-by-os-20230703.13.32.625504.tar.gz from build tracker '/tmp/pip-build-tracker-z6k0pxb9' 2023-07-03T14:01:00,128 Created temporary directory: /tmp/pip-unpack-qatm58eq 2023-07-03T14:01:00,129 Building wheels for collected packages: certora-cli-alpha-oz-cli-by-os 2023-07-03T14:01:00,132 Created temporary directory: /tmp/pip-wheel-hj721a00 2023-07-03T14:01:00,133 Building wheel for certora-cli-alpha-oz-cli-by-os (setup.py): started 2023-07-03T14:01:00,134 Destination directory: /tmp/pip-wheel-hj721a00 2023-07-03T14:01:00,134 Running command python setup.py bdist_wheel 2023-07-03T14:01:00,771 running bdist_wheel 2023-07-03T14:01:01,059 running build 2023-07-03T14:01:01,060 running build_py 2023-07-03T14:01:01,088 creating build 2023-07-03T14:01:01,089 creating build/lib 2023-07-03T14:01:01,090 creating build/lib/certora_jars 2023-07-03T14:01:01,091 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-07-03T14:01:01,093 creating build/lib/certora_bins 2023-07-03T14:01:01,094 copying certora_bins/__init__.py -> build/lib/certora_bins 2023-07-03T14:01:01,096 creating build/lib/certora_cli 2023-07-03T14:01:01,097 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-07-03T14:01:01,098 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-07-03T14:01:01,100 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-07-03T14:01:01,102 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2023-07-03T14:01:01,104 creating build/lib/certora_cli/Shared 2023-07-03T14:01:01,105 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-07-03T14:01:01,107 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-07-03T14:01:01,109 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-07-03T14:01:01,111 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-07-03T14:01:01,114 creating build/lib/certora_cli/EVMVerifier 2023-07-03T14:01:01,115 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-07-03T14:01:01,121 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-07-03T14:01:01,124 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-07-03T14:01:01,125 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-07-03T14:01:01,128 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-07-03T14:01:01,130 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-07-03T14:01:01,132 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-07-03T14:01:01,133 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-07-03T14:01:01,136 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-07-03T14:01:01,138 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-07-03T14:01:01,140 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-07-03T14:01:01,143 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-07-03T14:01:01,146 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-07-03T14:01:01,149 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-07-03T14:01:01,151 creating build/lib/certora_cli/EquivalenceCheck 2023-07-03T14:01:01,152 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2023-07-03T14:01:01,154 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2023-07-03T14:01:01,156 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-07-03T14:01:01,157 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-07-03T14:01:01,160 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-07-03T14:01:01,162 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-07-03T14:01:01,164 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-07-03T14:01:01,166 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-07-03T14:01:01,167 running egg_info 2023-07-03T14:01:01,227 writing certora_cli_alpha_oz_cli_by_os.egg-info/PKG-INFO 2023-07-03T14:01:01,228 writing dependency_links to certora_cli_alpha_oz_cli_by_os.egg-info/dependency_links.txt 2023-07-03T14:01:01,230 writing entry points to certora_cli_alpha_oz_cli_by_os.egg-info/entry_points.txt 2023-07-03T14:01:01,232 writing requirements to certora_cli_alpha_oz_cli_by_os.egg-info/requires.txt 2023-07-03T14:01:01,233 writing top-level names to certora_cli_alpha_oz_cli_by_os.egg-info/top_level.txt 2023-07-03T14:01:01,264 reading manifest file 'certora_cli_alpha_oz_cli_by_os.egg-info/SOURCES.txt' 2023-07-03T14:01:01,267 reading manifest template 'MANIFEST.in' 2023-07-03T14:01:01,272 warning: no files found matching 'gambit' under directory 'certora_bins' 2023-07-03T14:01:01,314 adding license file 'LICENSE' 2023-07-03T14:01:01,318 writing manifest file 'certora_cli_alpha_oz_cli_by_os.egg-info/SOURCES.txt' 2023-07-03T14:01:01,322 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-07-03T14:01:01,323 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-07-03T14:01:01,560 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-07-03T14:01:01,730 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-07-03T14:01:01,941 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2023-07-03T14:01:01,943 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2023-07-03T14:01:01,944 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2023-07-03T14:01:01,946 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2023-07-03T14:01:01,948 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2023-07-03T14:01:01,982 /home/piwheels/.local/lib/python3.9/site-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-07-03T14:01:01,983 !! 2023-07-03T14:01:01,983 ******************************************************************************** 2023-07-03T14:01:01,983 Please avoid running ``setup.py`` directly. 2023-07-03T14:01:01,983 Instead, use pypa/build, pypa/installer, pypa/build or 2023-07-03T14:01:01,984 other standards-based tools. 2023-07-03T14:01:01,984 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-07-03T14:01:01,984 ******************************************************************************** 2023-07-03T14:01:01,984 !! 2023-07-03T14:01:01,984 self.initialize_options() 2023-07-03T14:01:02,009 installing to build/bdist.linux-armv7l/wheel 2023-07-03T14:01:02,010 running install 2023-07-03T14:01:02,035 running install_lib 2023-07-03T14:01:02,062 creating build/bdist.linux-armv7l 2023-07-03T14:01:02,063 creating build/bdist.linux-armv7l/wheel 2023-07-03T14:01:02,064 creating build/bdist.linux-armv7l/wheel/certora_jars 2023-07-03T14:01:02,065 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-07-03T14:01:02,282 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-07-03T14:01:02,430 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars 2023-07-03T14:01:02,432 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars 2023-07-03T14:01:02,433 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-07-03T14:01:02,652 creating build/bdist.linux-armv7l/wheel/certora_bins 2023-07-03T14:01:02,653 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/certora_bins 2023-07-03T14:01:02,655 creating build/bdist.linux-armv7l/wheel/certora_cli 2023-07-03T14:01:02,656 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-07-03T14:01:02,658 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-07-03T14:01:02,660 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-07-03T14:01:02,661 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-07-03T14:01:02,663 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-07-03T14:01:02,664 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-07-03T14:01:02,668 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-07-03T14:01:02,669 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-07-03T14:01:02,672 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-07-03T14:01:02,675 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-03T14:01:02,675 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-03T14:01:02,683 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-03T14:01:02,686 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-03T14:01:02,688 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-03T14:01:02,691 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-03T14:01:02,692 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-03T14:01:02,695 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-03T14:01:02,696 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-03T14:01:02,699 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-03T14:01:02,701 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-03T14:01:02,704 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-03T14:01:02,708 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-03T14:01:02,709 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-03T14:01:02,712 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-03T14:01:02,714 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-03T14:01:02,715 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-03T14:01:02,717 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-03T14:01:02,719 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-03T14:01:02,723 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-03T14:01:02,725 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-03T14:01:02,727 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-03T14:01:02,728 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-03T14:01:02,730 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-03T14:01:02,731 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-03T14:01:02,734 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-03T14:01:02,736 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-03T14:01:02,737 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-03T14:01:02,739 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-03T14:01:02,740 running install_egg_info 2023-07-03T14:01:02,771 Copying certora_cli_alpha_oz_cli_by_os.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_oz_cli_by_os-20230703.13.32.625504-py3.9.egg-info 2023-07-03T14:01:02,782 running install_scripts 2023-07-03T14:01:02,797 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_oz_cli_by_os-20230703.13.32.625504.dist-info/WHEEL 2023-07-03T14:01:02,799 creating '/tmp/pip-wheel-hj721a00/certora_cli_alpha_oz_cli_by_os-20230703.13.32.625504-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-07-03T14:01:02,802 adding 'certora_bins/__init__.py' 2023-07-03T14:01:02,803 adding 'certora_cli/__init__.py' 2023-07-03T14:01:02,804 adding 'certora_cli/certoraEqCheck.py' 2023-07-03T14:01:02,806 adding 'certora_cli/certoraMutate.py' 2023-07-03T14:01:02,808 adding 'certora_cli/certoraRun.py' 2023-07-03T14:01:02,810 adding 'certora_cli/EVMVerifier/__init__.py' 2023-07-03T14:01:02,832 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-07-03T14:01:02,840 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-07-03T14:01:02,842 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-07-03T14:01:02,843 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-07-03T14:01:02,848 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-07-03T14:01:02,852 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-07-03T14:01:02,853 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-07-03T14:01:02,858 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-07-03T14:01:02,860 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-07-03T14:01:02,862 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-07-03T14:01:02,863 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-07-03T14:01:02,866 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-07-03T14:01:02,869 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-07-03T14:01:02,871 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-07-03T14:01:02,873 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-07-03T14:01:02,875 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-07-03T14:01:02,879 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-07-03T14:01:02,880 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-07-03T14:01:02,882 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2023-07-03T14:01:02,883 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2023-07-03T14:01:02,884 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2023-07-03T14:01:02,886 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2023-07-03T14:01:02,887 adding 'certora_cli/EquivalenceCheck/__init__.py' 2023-07-03T14:01:02,889 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2023-07-03T14:01:02,891 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2023-07-03T14:01:02,892 adding 'certora_cli/Shared/__init__.py' 2023-07-03T14:01:02,894 adding 'certora_cli/Shared/certoraLogging.py' 2023-07-03T14:01:02,896 adding 'certora_cli/Shared/certoraTester.py' 2023-07-03T14:01:02,903 adding 'certora_cli/Shared/certoraUtils.py' 2023-07-03T14:01:02,906 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-07-03T14:01:04,705 adding 'certora_jars/MutationTest.jar' 2023-07-03T14:01:06,047 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-07-03T14:01:07,740 adding 'certora_jars/Typechecker.jar' 2023-07-03T14:01:07,829 adding 'certora_jars/__init__.py' 2023-07-03T14:01:07,830 adding 'certora_cli_alpha_oz_cli_by_os-20230703.13.32.625504.dist-info/LICENSE' 2023-07-03T14:01:07,831 adding 'certora_cli_alpha_oz_cli_by_os-20230703.13.32.625504.dist-info/METADATA' 2023-07-03T14:01:07,832 adding 'certora_cli_alpha_oz_cli_by_os-20230703.13.32.625504.dist-info/WHEEL' 2023-07-03T14:01:07,833 adding 'certora_cli_alpha_oz_cli_by_os-20230703.13.32.625504.dist-info/entry_points.txt' 2023-07-03T14:01:07,834 adding 'certora_cli_alpha_oz_cli_by_os-20230703.13.32.625504.dist-info/top_level.txt' 2023-07-03T14:01:07,835 adding 'certora_cli_alpha_oz_cli_by_os-20230703.13.32.625504.dist-info/RECORD' 2023-07-03T14:01:08,193 removing build/bdist.linux-armv7l/wheel 2023-07-03T14:01:08,301 Building wheel for certora-cli-alpha-oz-cli-by-os (setup.py): finished with status 'done' 2023-07-03T14:01:08,673 Created wheel for certora-cli-alpha-oz-cli-by-os: filename=certora_cli_alpha_oz_cli_by_os-20230703.13.32.625504-py3-none-any.whl size=37451194 sha256=4eacb57c23cf6c5d2e1f928f2dbe8426f65bfec0122b13a65c1ff5431049fe69 2023-07-03T14:01:08,674 Stored in directory: /tmp/pip-ephem-wheel-cache-acfrozjt/wheels/a7/a5/5b/bd4d7f87dcf01877f6a249c2e59f3fe77bac665882d79ee308 2023-07-03T14:01:08,697 Successfully built certora-cli-alpha-oz-cli-by-os 2023-07-03T14:01:09,563 Removed build tracker: '/tmp/pip-build-tracker-z6k0pxb9'