2023-07-02T09:38:26,447 Created temporary directory: /tmp/pip-build-tracker-cht9am6x 2023-07-02T09:38:26,449 Initialized build tracking at /tmp/pip-build-tracker-cht9am6x 2023-07-02T09:38:26,449 Created build tracker: /tmp/pip-build-tracker-cht9am6x 2023-07-02T09:38:26,449 Entered build tracker: /tmp/pip-build-tracker-cht9am6x 2023-07-02T09:38:26,449 Created temporary directory: /tmp/pip-wheel-7yzqpzjy 2023-07-02T09:38:26,453 Created temporary directory: /tmp/pip-ephem-wheel-cache-clylfoah 2023-07-02T09:38:26,476 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-07-02T09:38:26,479 2 location(s) to search for versions of certora-cli-alpha-oz-cli-by-os: 2023-07-02T09:38:26,479 * https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-07-02T09:38:26,479 * https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-07-02T09:38:26,480 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-07-02T09:38:26,480 Getting page https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-07-02T09:38:26,482 Found index url https://pypi.org/simple/ 2023-07-02T09:38:26,541 Fetched page https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/ as application/vnd.pypi.simple.v1+json 2023-07-02T09:38:26,545 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-02T09:38:26,545 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-02T09:38:26,545 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-02T09:38:26,545 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-02T09:38:26,545 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-02T09:38:26,546 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-02T09:38:26,547 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-02T09:38:26,547 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-02T09:38:26,547 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-02T09:38:26,548 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-02T09:38:26,548 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-02T09:38:26,548 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-02T09:38:26,548 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-02T09:38:26,549 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-02T09:38:26,549 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-02T09:38:26,549 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-02T09:38:26,550 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-02T09:38:26,550 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-07-02T09:38:26,550 Getting page https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-07-02T09:38:26,551 Found index url https://www.piwheels.org/simple/ 2023-07-02T09:38:26,724 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/ as text/html 2023-07-02T09:38:26,726 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-02T09:38:26,726 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-02T09:38:26,726 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-07-02T09:38:26,727 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-oz-cli-by-os/ 2023-07-02T09:38:26,744 Given no hashes to check 1 links for project 'certora-cli-alpha-oz-cli-by-os': discarding no candidates 2023-07-02T09:38:26,760 Collecting certora-cli-alpha-oz-cli-by-os==20230702.9.1.737018 2023-07-02T09:38:26,763 Created temporary directory: /tmp/pip-unpack-fch30161 2023-07-02T09:38:26,914 Downloading certora-cli-alpha-oz-cli-by-os-20230702.9.1.737018.tar.gz (37.4 MB) 2023-07-02T09:38:38,004 Added certora-cli-alpha-oz-cli-by-os==20230702.9.1.737018 from https://files.pythonhosted.org/packages/8f/1f/32f9202a6354f6664c5439a8aa2504f4a6b3709544e9f61a65b83bcba3d6/certora-cli-alpha-oz-cli-by-os-20230702.9.1.737018.tar.gz to build tracker '/tmp/pip-build-tracker-cht9am6x' 2023-07-02T09:38:38,006 Running setup.py (path:/tmp/pip-wheel-7yzqpzjy/certora-cli-alpha-oz-cli-by-os_853928555c2348f89d496a41d8757600/setup.py) egg_info for package certora-cli-alpha-oz-cli-by-os 2023-07-02T09:38:38,007 Created temporary directory: /tmp/pip-pip-egg-info-2dpbrpmu 2023-07-02T09:38:38,007 Preparing metadata (setup.py): started 2023-07-02T09:38:38,008 Running command python setup.py egg_info 2023-07-02T09:38:38,612 running egg_info 2023-07-02T09:38:38,614 creating /tmp/pip-pip-egg-info-2dpbrpmu/certora_cli_alpha_oz_cli_by_os.egg-info 2023-07-02T09:38:38,643 writing /tmp/pip-pip-egg-info-2dpbrpmu/certora_cli_alpha_oz_cli_by_os.egg-info/PKG-INFO 2023-07-02T09:38:38,646 writing dependency_links to /tmp/pip-pip-egg-info-2dpbrpmu/certora_cli_alpha_oz_cli_by_os.egg-info/dependency_links.txt 2023-07-02T09:38:38,648 writing entry points to /tmp/pip-pip-egg-info-2dpbrpmu/certora_cli_alpha_oz_cli_by_os.egg-info/entry_points.txt 2023-07-02T09:38:38,650 writing requirements to /tmp/pip-pip-egg-info-2dpbrpmu/certora_cli_alpha_oz_cli_by_os.egg-info/requires.txt 2023-07-02T09:38:38,651 writing top-level names to /tmp/pip-pip-egg-info-2dpbrpmu/certora_cli_alpha_oz_cli_by_os.egg-info/top_level.txt 2023-07-02T09:38:38,653 writing manifest file '/tmp/pip-pip-egg-info-2dpbrpmu/certora_cli_alpha_oz_cli_by_os.egg-info/SOURCES.txt' 2023-07-02T09:38:38,742 reading manifest file '/tmp/pip-pip-egg-info-2dpbrpmu/certora_cli_alpha_oz_cli_by_os.egg-info/SOURCES.txt' 2023-07-02T09:38:38,744 reading manifest template 'MANIFEST.in' 2023-07-02T09:38:38,749 warning: no files found matching 'gambit' under directory 'certora_bins' 2023-07-02T09:38:38,797 adding license file 'LICENSE' 2023-07-02T09:38:38,801 writing manifest file '/tmp/pip-pip-egg-info-2dpbrpmu/certora_cli_alpha_oz_cli_by_os.egg-info/SOURCES.txt' 2023-07-02T09:38:38,862 Preparing metadata (setup.py): finished with status 'done' 2023-07-02T09:38:38,867 Source in /tmp/pip-wheel-7yzqpzjy/certora-cli-alpha-oz-cli-by-os_853928555c2348f89d496a41d8757600 has version 20230702.9.1.737018, which satisfies requirement certora-cli-alpha-oz-cli-by-os==20230702.9.1.737018 from https://files.pythonhosted.org/packages/8f/1f/32f9202a6354f6664c5439a8aa2504f4a6b3709544e9f61a65b83bcba3d6/certora-cli-alpha-oz-cli-by-os-20230702.9.1.737018.tar.gz 2023-07-02T09:38:38,868 Removed certora-cli-alpha-oz-cli-by-os==20230702.9.1.737018 from https://files.pythonhosted.org/packages/8f/1f/32f9202a6354f6664c5439a8aa2504f4a6b3709544e9f61a65b83bcba3d6/certora-cli-alpha-oz-cli-by-os-20230702.9.1.737018.tar.gz from build tracker '/tmp/pip-build-tracker-cht9am6x' 2023-07-02T09:38:38,875 Created temporary directory: /tmp/pip-unpack-88zzu01u 2023-07-02T09:38:38,875 Building wheels for collected packages: certora-cli-alpha-oz-cli-by-os 2023-07-02T09:38:38,879 Created temporary directory: /tmp/pip-wheel-8or5ferz 2023-07-02T09:38:38,880 Building wheel for certora-cli-alpha-oz-cli-by-os (setup.py): started 2023-07-02T09:38:38,881 Destination directory: /tmp/pip-wheel-8or5ferz 2023-07-02T09:38:38,881 Running command python setup.py bdist_wheel 2023-07-02T09:38:39,523 running bdist_wheel 2023-07-02T09:38:39,809 running build 2023-07-02T09:38:39,809 running build_py 2023-07-02T09:38:39,838 creating build 2023-07-02T09:38:39,838 creating build/lib 2023-07-02T09:38:39,839 creating build/lib/certora_jars 2023-07-02T09:38:39,840 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-07-02T09:38:39,842 creating build/lib/certora_bins 2023-07-02T09:38:39,842 copying certora_bins/__init__.py -> build/lib/certora_bins 2023-07-02T09:38:39,844 creating build/lib/certora_cli 2023-07-02T09:38:39,845 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-07-02T09:38:39,847 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-07-02T09:38:39,848 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-07-02T09:38:39,850 copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli 2023-07-02T09:38:39,852 creating build/lib/certora_cli/Shared 2023-07-02T09:38:39,853 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-07-02T09:38:39,856 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-07-02T09:38:39,858 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-07-02T09:38:39,861 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-07-02T09:38:39,863 creating build/lib/certora_cli/EVMVerifier 2023-07-02T09:38:39,864 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-07-02T09:38:39,866 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-07-02T09:38:39,868 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-07-02T09:38:39,871 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-07-02T09:38:39,873 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-07-02T09:38:39,874 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-07-02T09:38:39,877 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-07-02T09:38:39,879 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-07-02T09:38:39,882 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-07-02T09:38:39,889 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-07-02T09:38:39,892 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-07-02T09:38:39,893 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-07-02T09:38:39,896 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-07-02T09:38:39,899 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-07-02T09:38:39,902 creating build/lib/certora_cli/EquivalenceCheck 2023-07-02T09:38:39,903 copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck 2023-07-02T09:38:39,905 copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck 2023-07-02T09:38:39,907 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-07-02T09:38:39,908 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-07-02T09:38:39,910 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-07-02T09:38:39,912 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-07-02T09:38:39,914 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-07-02T09:38:39,916 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-07-02T09:38:39,918 running egg_info 2023-07-02T09:38:39,979 writing certora_cli_alpha_oz_cli_by_os.egg-info/PKG-INFO 2023-07-02T09:38:39,981 writing dependency_links to certora_cli_alpha_oz_cli_by_os.egg-info/dependency_links.txt 2023-07-02T09:38:39,983 writing entry points to certora_cli_alpha_oz_cli_by_os.egg-info/entry_points.txt 2023-07-02T09:38:39,984 writing requirements to certora_cli_alpha_oz_cli_by_os.egg-info/requires.txt 2023-07-02T09:38:39,985 writing top-level names to certora_cli_alpha_oz_cli_by_os.egg-info/top_level.txt 2023-07-02T09:38:40,018 reading manifest file 'certora_cli_alpha_oz_cli_by_os.egg-info/SOURCES.txt' 2023-07-02T09:38:40,020 reading manifest template 'MANIFEST.in' 2023-07-02T09:38:40,025 warning: no files found matching 'gambit' under directory 'certora_bins' 2023-07-02T09:38:40,067 adding license file 'LICENSE' 2023-07-02T09:38:40,071 writing manifest file 'certora_cli_alpha_oz_cli_by_os.egg-info/SOURCES.txt' 2023-07-02T09:38:40,075 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-07-02T09:38:40,076 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-07-02T09:38:40,327 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-07-02T09:38:40,489 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-07-02T09:38:40,713 copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck 2023-07-02T09:38:40,715 copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck 2023-07-02T09:38:40,716 copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck 2023-07-02T09:38:40,718 copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck 2023-07-02T09:38:40,720 copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck 2023-07-02T09:38:40,755 /home/piwheels/.local/lib/python3.9/site-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-07-02T09:38:40,755 !! 2023-07-02T09:38:40,756 ******************************************************************************** 2023-07-02T09:38:40,756 Please avoid running ``setup.py`` directly. 2023-07-02T09:38:40,756 Instead, use pypa/build, pypa/installer, pypa/build or 2023-07-02T09:38:40,756 other standards-based tools. 2023-07-02T09:38:40,756 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-07-02T09:38:40,756 ******************************************************************************** 2023-07-02T09:38:40,757 !! 2023-07-02T09:38:40,757 self.initialize_options() 2023-07-02T09:38:40,784 installing to build/bdist.linux-armv7l/wheel 2023-07-02T09:38:40,784 running install 2023-07-02T09:38:40,809 running install_lib 2023-07-02T09:38:40,837 creating build/bdist.linux-armv7l 2023-07-02T09:38:40,838 creating build/bdist.linux-armv7l/wheel 2023-07-02T09:38:40,840 creating build/bdist.linux-armv7l/wheel/certora_jars 2023-07-02T09:38:40,841 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-07-02T09:38:41,017 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-07-02T09:38:41,239 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars 2023-07-02T09:38:41,240 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-07-02T09:38:41,436 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars 2023-07-02T09:38:41,439 creating build/bdist.linux-armv7l/wheel/certora_bins 2023-07-02T09:38:41,440 copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/certora_bins 2023-07-02T09:38:41,443 creating build/bdist.linux-armv7l/wheel/certora_cli 2023-07-02T09:38:41,444 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-07-02T09:38:41,446 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-07-02T09:38:41,448 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-07-02T09:38:41,449 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-07-02T09:38:41,453 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-07-02T09:38:41,455 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-07-02T09:38:41,458 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-07-02T09:38:41,460 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-02T09:38:41,462 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-02T09:38:41,464 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-02T09:38:41,467 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-02T09:38:41,469 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-02T09:38:41,471 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-02T09:38:41,473 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-02T09:38:41,475 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-02T09:38:41,478 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-07-02T09:38:41,481 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-02T09:38:41,483 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-02T09:38:41,486 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-02T09:38:41,488 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-02T09:38:41,491 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-02T09:38:41,493 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-02T09:38:41,496 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-02T09:38:41,503 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-02T09:38:41,505 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-02T09:38:41,507 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-02T09:38:41,510 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-02T09:38:41,512 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-07-02T09:38:41,515 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-07-02T09:38:41,518 copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-07-02T09:38:41,520 creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-02T09:38:41,522 copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-02T09:38:41,524 copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-02T09:38:41,526 copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-02T09:38:41,528 copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-02T09:38:41,531 copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-02T09:38:41,532 copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-02T09:38:41,534 copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck 2023-07-02T09:38:41,536 running install_egg_info 2023-07-02T09:38:41,567 Copying certora_cli_alpha_oz_cli_by_os.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_oz_cli_by_os-20230702.9.1.737018-py3.9.egg-info 2023-07-02T09:38:41,578 running install_scripts 2023-07-02T09:38:41,593 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_oz_cli_by_os-20230702.9.1.737018.dist-info/WHEEL 2023-07-02T09:38:41,596 creating '/tmp/pip-wheel-8or5ferz/certora_cli_alpha_oz_cli_by_os-20230702.9.1.737018-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-07-02T09:38:41,599 adding 'certora_bins/__init__.py' 2023-07-02T09:38:41,601 adding 'certora_cli/__init__.py' 2023-07-02T09:38:41,602 adding 'certora_cli/certoraEqCheck.py' 2023-07-02T09:38:41,604 adding 'certora_cli/certoraMutate.py' 2023-07-02T09:38:41,606 adding 'certora_cli/certoraRun.py' 2023-07-02T09:38:41,608 adding 'certora_cli/EVMVerifier/__init__.py' 2023-07-02T09:38:41,632 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-07-02T09:38:41,639 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-07-02T09:38:41,641 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-07-02T09:38:41,643 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-07-02T09:38:41,649 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-07-02T09:38:41,653 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-07-02T09:38:41,655 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-07-02T09:38:41,660 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-07-02T09:38:41,662 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-07-02T09:38:41,665 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-07-02T09:38:41,666 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-07-02T09:38:41,670 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-07-02T09:38:41,673 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-07-02T09:38:41,676 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-07-02T09:38:41,678 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-07-02T09:38:41,680 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-07-02T09:38:41,684 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-07-02T09:38:41,686 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-07-02T09:38:41,688 adding 'certora_cli/EquivalenceCheck/Eq_default.conf' 2023-07-02T09:38:41,689 adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' 2023-07-02T09:38:41,691 adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' 2023-07-02T09:38:41,693 adding 'certora_cli/EquivalenceCheck/Eq_template.spec' 2023-07-02T09:38:41,694 adding 'certora_cli/EquivalenceCheck/__init__.py' 2023-07-02T09:38:41,697 adding 'certora_cli/EquivalenceCheck/equivCheck.py' 2023-07-02T09:38:41,698 adding 'certora_cli/EquivalenceCheck/sanity.spec' 2023-07-02T09:38:41,700 adding 'certora_cli/Shared/__init__.py' 2023-07-02T09:38:41,703 adding 'certora_cli/Shared/certoraLogging.py' 2023-07-02T09:38:41,705 adding 'certora_cli/Shared/certoraTester.py' 2023-07-02T09:38:41,712 adding 'certora_cli/Shared/certoraUtils.py' 2023-07-02T09:38:41,715 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-07-02T09:38:43,512 adding 'certora_jars/MutationTest.jar' 2023-07-02T09:38:44,865 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-07-02T09:38:46,564 adding 'certora_jars/Typechecker.jar' 2023-07-02T09:38:46,652 adding 'certora_jars/__init__.py' 2023-07-02T09:38:46,654 adding 'certora_cli_alpha_oz_cli_by_os-20230702.9.1.737018.dist-info/LICENSE' 2023-07-02T09:38:46,655 adding 'certora_cli_alpha_oz_cli_by_os-20230702.9.1.737018.dist-info/METADATA' 2023-07-02T09:38:46,656 adding 'certora_cli_alpha_oz_cli_by_os-20230702.9.1.737018.dist-info/WHEEL' 2023-07-02T09:38:46,657 adding 'certora_cli_alpha_oz_cli_by_os-20230702.9.1.737018.dist-info/entry_points.txt' 2023-07-02T09:38:46,658 adding 'certora_cli_alpha_oz_cli_by_os-20230702.9.1.737018.dist-info/top_level.txt' 2023-07-02T09:38:46,659 adding 'certora_cli_alpha_oz_cli_by_os-20230702.9.1.737018.dist-info/RECORD' 2023-07-02T09:38:47,029 removing build/bdist.linux-armv7l/wheel 2023-07-02T09:38:47,138 Building wheel for certora-cli-alpha-oz-cli-by-os (setup.py): finished with status 'done' 2023-07-02T09:38:47,510 Created wheel for certora-cli-alpha-oz-cli-by-os: filename=certora_cli_alpha_oz_cli_by_os-20230702.9.1.737018-py3-none-any.whl size=37437113 sha256=ac13853c5bec4272a072e1b63c5d1d5fa4baaecde4632703c4571a14fd47778e 2023-07-02T09:38:47,511 Stored in directory: /tmp/pip-ephem-wheel-cache-clylfoah/wheels/f2/f8/9d/f5d8e9f3b5a7f4f85cf45f1625d4529ed528591e08e012e400 2023-07-02T09:38:47,534 Successfully built certora-cli-alpha-oz-cli-by-os 2023-07-02T09:38:48,416 Removed build tracker: '/tmp/pip-build-tracker-cht9am6x'