2023-05-14T06:45:15,337 Created temporary directory: /tmp/pip-build-tracker-e2gz35az 2023-05-14T06:45:15,338 Initialized build tracking at /tmp/pip-build-tracker-e2gz35az 2023-05-14T06:45:15,339 Created build tracker: /tmp/pip-build-tracker-e2gz35az 2023-05-14T06:45:15,339 Entered build tracker: /tmp/pip-build-tracker-e2gz35az 2023-05-14T06:45:15,339 Created temporary directory: /tmp/pip-wheel-1m14n37u 2023-05-14T06:45:15,343 Created temporary directory: /tmp/pip-ephem-wheel-cache-w6cvs7wu 2023-05-14T06:45:15,368 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-14T06:45:15,372 2 location(s) to search for versions of certora-cli-alpha-jtoman-gmx-init: 2023-05-14T06:45:15,372 * https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/ 2023-05-14T06:45:15,372 * https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/ 2023-05-14T06:45:15,372 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/ 2023-05-14T06:45:15,373 Getting page https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/ 2023-05-14T06:45:15,374 Found index url https://pypi.org/simple/ 2023-05-14T06:45:15,425 Fetched page https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/ as application/vnd.pypi.simple.v1+json 2023-05-14T06:45:15,429 Found link https://files.pythonhosted.org/packages/4e/0d/20f8c6709833067f8d20cf6085d6a9e2163e5af88a4612596d81b96b9953/certora-cli-alpha-jtoman-gmx-init-20230503.2.44.693674.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16), version: 20230503.2.44.693674 2023-05-14T06:45:15,429 Skipping link: No binaries permitted for certora-cli-alpha-jtoman-gmx-init: https://files.pythonhosted.org/packages/32/89/aaba59a7386cd2f1ce177a56feaaf13455bcea41636f0301069301f265fc/certora_cli_alpha_jtoman_gmx_init-20230503.2.44.693674-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16) 2023-05-14T06:45:15,430 Found link https://files.pythonhosted.org/packages/24/15/a5121dd3280e65b03ba62716fb13c2cec1027e77fed412a81ea736c50281/certora-cli-alpha-jtoman-gmx-init-20230504.5.36.425832.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16), version: 20230504.5.36.425832 2023-05-14T06:45:15,430 Skipping link: No binaries permitted for certora-cli-alpha-jtoman-gmx-init: https://files.pythonhosted.org/packages/95/25/19e4186b20e5f4dc9f1282b9e4a7a8c6fd53e481e810096ee75dd9a78a18/certora_cli_alpha_jtoman_gmx_init-20230504.5.36.425832-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16) 2023-05-14T06:45:15,431 Found link https://files.pythonhosted.org/packages/9e/12/3d9861e8f3575b0c4bea82ace94a0a3eb851d00f60d77fd8c162cda14c59/certora-cli-alpha-jtoman-gmx-init-20230504.11.25.752534.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16), version: 20230504.11.25.752534 2023-05-14T06:45:15,431 Skipping link: No binaries permitted for certora-cli-alpha-jtoman-gmx-init: https://files.pythonhosted.org/packages/37/cc/00fc1574c499e8c72711cbb605ca730b7611359fe153638b9fd307736832/certora_cli_alpha_jtoman_gmx_init-20230504.11.25.752534-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16) 2023-05-14T06:45:15,431 Found link https://files.pythonhosted.org/packages/73/ea/8c57b60bb994c90934a241b00b471b60b6f91009102b019f9c779d9f7967/certora-cli-alpha-jtoman-gmx-init-20230505.3.50.559004.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16), version: 20230505.3.50.559004 2023-05-14T06:45:15,432 Skipping link: No binaries permitted for certora-cli-alpha-jtoman-gmx-init: https://files.pythonhosted.org/packages/7e/36/feb6dff057e4f14508af0e5459b8868cefdb088a7256525b7cef5e019f28/certora_cli_alpha_jtoman_gmx_init-20230505.3.50.559004-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16) 2023-05-14T06:45:15,432 Found link https://files.pythonhosted.org/packages/d6/12/1dd16b0e039a80582639e2a96a8ff2d910b641b2188ac869279e579b9d69/certora-cli-alpha-jtoman-gmx-init-20230508.17.11.702876.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16), version: 20230508.17.11.702876 2023-05-14T06:45:15,433 Skipping link: No binaries permitted for certora-cli-alpha-jtoman-gmx-init: https://files.pythonhosted.org/packages/23/3f/8e6f4e11f98a921576898012fbad6e46b5ac827689e04629ab3643958bc6/certora_cli_alpha_jtoman_gmx_init-20230508.17.11.702876-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16) 2023-05-14T06:45:15,434 Found link https://files.pythonhosted.org/packages/31/65/14ab90edd6f2d9835b935f826d34c24fb255ca9e744ebced7a19ae85ee65/certora-cli-alpha-jtoman-gmx-init-20230508.20.32.152965.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16), version: 20230508.20.32.152965 2023-05-14T06:45:15,434 Skipping link: No binaries permitted for certora-cli-alpha-jtoman-gmx-init: https://files.pythonhosted.org/packages/ef/18/aadfe4add33810251fa4c5c862a9a513a8fcb18404b120861b09e323122d/certora_cli_alpha_jtoman_gmx_init-20230508.20.32.152965-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16) 2023-05-14T06:45:15,434 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/ 2023-05-14T06:45:15,434 Getting page https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/ 2023-05-14T06:45:15,436 Found index url https://www.piwheels.org/simple/ 2023-05-14T06:45:16,240 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/ as text/html 2023-05-14T06:45:16,243 Skipping link: No binaries permitted for certora-cli-alpha-jtoman-gmx-init: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/certora_cli_alpha_jtoman_gmx_init-20230508.17.11.702876-py3-none-any.whl#sha256=c913f898cd46e85d92ad590a5e57f8e138bbc5c0b790dcd17551145b8ecdef7a (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16) 2023-05-14T06:45:16,243 Skipping link: No binaries permitted for certora-cli-alpha-jtoman-gmx-init: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/certora_cli_alpha_jtoman_gmx_init-20230505.3.50.559004-py3-none-any.whl#sha256=4bcacf1c799aac1638b9f27a7ae85fbeea026f731e12f7ec54666dc1a48ec8a3 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16) 2023-05-14T06:45:16,243 Skipping link: No binaries permitted for certora-cli-alpha-jtoman-gmx-init: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/certora_cli_alpha_jtoman_gmx_init-20230504.11.25.752534-py3-none-any.whl#sha256=b4e5a1b248eec402903e90bd9a4422b2164f74d32d95a4c55f0ebfd12df25bf9 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16) 2023-05-14T06:45:16,243 Skipping link: No binaries permitted for certora-cli-alpha-jtoman-gmx-init: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/certora_cli_alpha_jtoman_gmx_init-20230504.5.36.425832-py3-none-any.whl#sha256=043b4b00b0f3a7202a6804117673b40152a01daff724516dfff30e5c9dd37373 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16) 2023-05-14T06:45:16,244 Skipping link: No binaries permitted for certora-cli-alpha-jtoman-gmx-init: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/certora_cli_alpha_jtoman_gmx_init-20230503.2.44.693674-py3-none-any.whl#sha256=f5eb980a89d0ba8e08a85f64ac21f5fc924209862519017d403e1c91cd2bdf85 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16) 2023-05-14T06:45:16,244 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/ 2023-05-14T06:45:16,244 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/ 2023-05-14T06:45:16,263 Given no hashes to check 1 links for project 'certora-cli-alpha-jtoman-gmx-init': discarding no candidates 2023-05-14T06:45:16,281 Collecting certora-cli-alpha-jtoman-gmx-init==20230508.20.32.152965 2023-05-14T06:45:16,283 Created temporary directory: /tmp/pip-unpack-so9w7w4v 2023-05-14T06:45:16,750 Downloading certora-cli-alpha-jtoman-gmx-init-20230508.20.32.152965.tar.gz (38.5 MB) 2023-05-14T06:45:26,752 Added certora-cli-alpha-jtoman-gmx-init==20230508.20.32.152965 from https://files.pythonhosted.org/packages/31/65/14ab90edd6f2d9835b935f826d34c24fb255ca9e744ebced7a19ae85ee65/certora-cli-alpha-jtoman-gmx-init-20230508.20.32.152965.tar.gz to build tracker '/tmp/pip-build-tracker-e2gz35az' 2023-05-14T06:45:26,754 Running setup.py (path:/tmp/pip-wheel-1m14n37u/certora-cli-alpha-jtoman-gmx-init_1235533dd82c47de97281895253c077e/setup.py) egg_info for package certora-cli-alpha-jtoman-gmx-init 2023-05-14T06:45:26,755 Created temporary directory: /tmp/pip-pip-egg-info-i0aecfer 2023-05-14T06:45:26,755 Preparing metadata (setup.py): started 2023-05-14T06:45:26,756 Running command python setup.py egg_info 2023-05-14T06:45:27,370 running egg_info 2023-05-14T06:45:27,371 creating /tmp/pip-pip-egg-info-i0aecfer/certora_cli_alpha_jtoman_gmx_init.egg-info 2023-05-14T06:45:27,398 writing /tmp/pip-pip-egg-info-i0aecfer/certora_cli_alpha_jtoman_gmx_init.egg-info/PKG-INFO 2023-05-14T06:45:27,400 writing dependency_links to /tmp/pip-pip-egg-info-i0aecfer/certora_cli_alpha_jtoman_gmx_init.egg-info/dependency_links.txt 2023-05-14T06:45:27,402 writing entry points to /tmp/pip-pip-egg-info-i0aecfer/certora_cli_alpha_jtoman_gmx_init.egg-info/entry_points.txt 2023-05-14T06:45:27,404 writing requirements to /tmp/pip-pip-egg-info-i0aecfer/certora_cli_alpha_jtoman_gmx_init.egg-info/requires.txt 2023-05-14T06:45:27,405 writing top-level names to /tmp/pip-pip-egg-info-i0aecfer/certora_cli_alpha_jtoman_gmx_init.egg-info/top_level.txt 2023-05-14T06:45:27,406 writing manifest file '/tmp/pip-pip-egg-info-i0aecfer/certora_cli_alpha_jtoman_gmx_init.egg-info/SOURCES.txt' 2023-05-14T06:45:27,491 reading manifest file '/tmp/pip-pip-egg-info-i0aecfer/certora_cli_alpha_jtoman_gmx_init.egg-info/SOURCES.txt' 2023-05-14T06:45:27,493 reading manifest template 'MANIFEST.in' 2023-05-14T06:45:27,502 adding license file 'LICENSE' 2023-05-14T06:45:27,506 writing manifest file '/tmp/pip-pip-egg-info-i0aecfer/certora_cli_alpha_jtoman_gmx_init.egg-info/SOURCES.txt' 2023-05-14T06:45:27,565 Preparing metadata (setup.py): finished with status 'done' 2023-05-14T06:45:27,571 Source in /tmp/pip-wheel-1m14n37u/certora-cli-alpha-jtoman-gmx-init_1235533dd82c47de97281895253c077e has version 20230508.20.32.152965, which satisfies requirement certora-cli-alpha-jtoman-gmx-init==20230508.20.32.152965 from https://files.pythonhosted.org/packages/31/65/14ab90edd6f2d9835b935f826d34c24fb255ca9e744ebced7a19ae85ee65/certora-cli-alpha-jtoman-gmx-init-20230508.20.32.152965.tar.gz 2023-05-14T06:45:27,572 Removed certora-cli-alpha-jtoman-gmx-init==20230508.20.32.152965 from https://files.pythonhosted.org/packages/31/65/14ab90edd6f2d9835b935f826d34c24fb255ca9e744ebced7a19ae85ee65/certora-cli-alpha-jtoman-gmx-init-20230508.20.32.152965.tar.gz from build tracker '/tmp/pip-build-tracker-e2gz35az' 2023-05-14T06:45:27,579 Created temporary directory: /tmp/pip-unpack-4gvvf9x0 2023-05-14T06:45:27,579 Building wheels for collected packages: certora-cli-alpha-jtoman-gmx-init 2023-05-14T06:45:27,583 Created temporary directory: /tmp/pip-wheel-6n0chloc 2023-05-14T06:45:27,584 Building wheel for certora-cli-alpha-jtoman-gmx-init (setup.py): started 2023-05-14T06:45:27,585 Destination directory: /tmp/pip-wheel-6n0chloc 2023-05-14T06:45:27,585 Running command python setup.py bdist_wheel 2023-05-14T06:45:28,417 running bdist_wheel 2023-05-14T06:45:28,704 running build 2023-05-14T06:45:28,705 running build_py 2023-05-14T06:45:28,734 creating build 2023-05-14T06:45:28,734 creating build/lib 2023-05-14T06:45:28,735 creating build/lib/certora_jars 2023-05-14T06:45:28,736 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-14T06:45:28,739 creating build/lib/certora_cli 2023-05-14T06:45:28,740 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-14T06:45:28,742 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-14T06:45:28,743 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-14T06:45:28,746 creating build/lib/certora_cli/Shared 2023-05-14T06:45:28,747 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-14T06:45:28,750 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-14T06:45:28,752 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-14T06:45:28,755 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-14T06:45:28,758 creating build/lib/certora_cli/EVMVerifier 2023-05-14T06:45:28,758 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T06:45:28,764 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T06:45:28,766 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T06:45:28,768 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T06:45:28,770 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T06:45:28,772 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T06:45:28,775 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T06:45:28,778 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T06:45:28,780 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T06:45:28,783 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T06:45:28,785 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T06:45:28,788 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T06:45:28,791 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-14T06:45:28,794 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T06:45:28,795 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T06:45:28,797 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T06:45:28,799 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T06:45:28,801 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T06:45:28,803 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-14T06:45:28,806 running egg_info 2023-05-14T06:45:28,867 writing certora_cli_alpha_jtoman_gmx_init.egg-info/PKG-INFO 2023-05-14T06:45:28,869 writing dependency_links to certora_cli_alpha_jtoman_gmx_init.egg-info/dependency_links.txt 2023-05-14T06:45:28,871 writing entry points to certora_cli_alpha_jtoman_gmx_init.egg-info/entry_points.txt 2023-05-14T06:45:28,872 writing requirements to certora_cli_alpha_jtoman_gmx_init.egg-info/requires.txt 2023-05-14T06:45:28,873 writing top-level names to certora_cli_alpha_jtoman_gmx_init.egg-info/top_level.txt 2023-05-14T06:45:28,904 reading manifest file 'certora_cli_alpha_jtoman_gmx_init.egg-info/SOURCES.txt' 2023-05-14T06:45:28,906 reading manifest template 'MANIFEST.in' 2023-05-14T06:45:28,916 adding license file 'LICENSE' 2023-05-14T06:45:28,920 writing manifest file 'certora_cli_alpha_jtoman_gmx_init.egg-info/SOURCES.txt' 2023-05-14T06:45:28,923 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-14T06:45:28,926 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-14T06:45:29,170 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-14T06:45:29,334 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-14T06:45:29,536 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-14T06:45:29,651 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-14T06:45:29,774 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-14T06:45:29,774 !! 2023-05-14T06:45:29,775 ******************************************************************************** 2023-05-14T06:45:29,775 Please avoid running ``setup.py`` directly. 2023-05-14T06:45:29,775 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-14T06:45:29,775 other standards-based tools. 2023-05-14T06:45:29,775 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-14T06:45:29,776 ******************************************************************************** 2023-05-14T06:45:29,776 !! 2023-05-14T06:45:29,776 self.initialize_options() 2023-05-14T06:45:29,801 installing to build/bdist.linux-aarch64/wheel 2023-05-14T06:45:29,801 running install 2023-05-14T06:45:29,827 running install_lib 2023-05-14T06:45:29,854 creating build/bdist.linux-aarch64 2023-05-14T06:45:29,854 creating build/bdist.linux-aarch64/wheel 2023-05-14T06:45:29,856 creating build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T06:45:29,857 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T06:45:29,859 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T06:45:30,040 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T06:45:30,158 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T06:45:30,382 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T06:45:30,471 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T06:45:30,652 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-14T06:45:30,654 creating build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T06:45:30,655 creating build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T06:45:30,656 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T06:45:30,659 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T06:45:30,661 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T06:45:30,664 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-14T06:45:30,667 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T06:45:30,668 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T06:45:30,675 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T06:45:30,678 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T06:45:30,678 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T06:45:30,681 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T06:45:30,683 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T06:45:30,685 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T06:45:30,687 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-14T06:45:30,691 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T06:45:30,692 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T06:45:30,694 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T06:45:30,697 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T06:45:30,701 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T06:45:30,704 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T06:45:30,706 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T06:45:30,709 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T06:45:30,712 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T06:45:30,715 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T06:45:30,718 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-14T06:45:30,720 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T06:45:30,722 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T06:45:30,724 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-14T06:45:30,726 running install_egg_info 2023-05-14T06:45:30,757 Copying certora_cli_alpha_jtoman_gmx_init.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_jtoman_gmx_init-20230508.20.32.152965-py3.9.egg-info 2023-05-14T06:45:30,769 running install_scripts 2023-05-14T06:45:30,786 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-05-14T06:45:30,791 creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_jtoman_gmx_init-20230508.20.32.152965.dist-info/WHEEL 2023-05-14T06:45:30,793 creating '/tmp/pip-wheel-6n0chloc/certora_cli_alpha_jtoman_gmx_init-20230508.20.32.152965-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it 2023-05-14T06:45:30,796 adding 'certora_cli/__init__.py' 2023-05-14T06:45:30,797 adding 'certora_cli/certoraMutate.py' 2023-05-14T06:45:30,800 adding 'certora_cli/certoraRun.py' 2023-05-14T06:45:30,802 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-14T06:45:30,823 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-14T06:45:30,830 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-14T06:45:30,832 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-14T06:45:30,834 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-14T06:45:30,838 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-14T06:45:30,842 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-14T06:45:30,844 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-14T06:45:30,849 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-14T06:45:30,852 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-14T06:45:30,853 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-14T06:45:30,856 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-14T06:45:30,860 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-14T06:45:30,862 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-14T06:45:30,864 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-14T06:45:30,865 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-14T06:45:30,870 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-14T06:45:30,871 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-14T06:45:30,873 adding 'certora_cli/Shared/__init__.py' 2023-05-14T06:45:30,875 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-14T06:45:30,877 adding 'certora_cli/Shared/certoraTester.py' 2023-05-14T06:45:30,883 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-14T06:45:30,887 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-14T06:45:32,480 adding 'certora_jars/MutationTest.jar' 2023-05-14T06:45:33,795 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-14T06:45:35,293 adding 'certora_jars/Typechecker.jar' 2023-05-14T06:45:35,373 adding 'certora_jars/__init__.py' 2023-05-14T06:45:36,225 adding 'certora_jars/gambit-linux' 2023-05-14T06:45:37,080 adding 'certora_jars/gambit-macos' 2023-05-14T06:45:37,115 adding 'certora_cli_alpha_jtoman_gmx_init-20230508.20.32.152965.dist-info/LICENSE' 2023-05-14T06:45:37,117 adding 'certora_cli_alpha_jtoman_gmx_init-20230508.20.32.152965.dist-info/METADATA' 2023-05-14T06:45:37,118 adding 'certora_cli_alpha_jtoman_gmx_init-20230508.20.32.152965.dist-info/WHEEL' 2023-05-14T06:45:37,119 adding 'certora_cli_alpha_jtoman_gmx_init-20230508.20.32.152965.dist-info/entry_points.txt' 2023-05-14T06:45:37,120 adding 'certora_cli_alpha_jtoman_gmx_init-20230508.20.32.152965.dist-info/top_level.txt' 2023-05-14T06:45:37,121 adding 'certora_cli_alpha_jtoman_gmx_init-20230508.20.32.152965.dist-info/RECORD' 2023-05-14T06:45:37,587 removing build/bdist.linux-aarch64/wheel 2023-05-14T06:45:37,707 Building wheel for certora-cli-alpha-jtoman-gmx-init (setup.py): finished with status 'done' 2023-05-14T06:45:38,026 Created wheel for certora-cli-alpha-jtoman-gmx-init: filename=certora_cli_alpha_jtoman_gmx_init-20230508.20.32.152965-py3-none-any.whl size=38515062 sha256=7cbdf7c680f3747a918370adfce4861c2dc0bdc40dec6b2341f37c3159e6cb03 2023-05-14T06:45:38,027 Stored in directory: /tmp/pip-ephem-wheel-cache-w6cvs7wu/wheels/75/c9/fb/9d388295a9d9aa2fc6ff6a4f7d54c0cb2e9486daa6c461a349 2023-05-14T06:45:38,056 Successfully built certora-cli-alpha-jtoman-gmx-init 2023-05-14T06:45:39,001 Removed build tracker: '/tmp/pip-build-tracker-e2gz35az'