2023-05-13T19:35:49,406 Created temporary directory: /tmp/pip-build-tracker-3po980aw 2023-05-13T19:35:49,408 Initialized build tracking at /tmp/pip-build-tracker-3po980aw 2023-05-13T19:35:49,408 Created build tracker: /tmp/pip-build-tracker-3po980aw 2023-05-13T19:35:49,408 Entered build tracker: /tmp/pip-build-tracker-3po980aw 2023-05-13T19:35:49,409 Created temporary directory: /tmp/pip-wheel-no8e79oo 2023-05-13T19:35:49,412 Created temporary directory: /tmp/pip-ephem-wheel-cache-cd3y5yy9 2023-05-13T19:35:49,437 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-13T19:35:49,441 2 location(s) to search for versions of certora-cli-alpha-jtoman-gmx-init: 2023-05-13T19:35:49,441 * https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/ 2023-05-13T19:35:49,441 * https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/ 2023-05-13T19:35:49,441 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/ 2023-05-13T19:35:49,442 Getting page https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/ 2023-05-13T19:35:49,443 Found index url https://pypi.org/simple/ 2023-05-13T19:35:49,504 Fetched page https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/ as application/vnd.pypi.simple.v1+json 2023-05-13T19:35:49,508 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-13T19:35:49,508 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-13T19:35:49,509 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-13T19:35:49,509 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-13T19:35:49,510 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-13T19:35:49,510 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-13T19:35:49,511 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-13T19:35:49,511 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-13T19:35:49,511 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-13T19:35:49,512 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-13T19:35:49,512 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-13T19:35:49,512 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-13T19:35:49,513 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/ 2023-05-13T19:35:49,513 Getting page https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/ 2023-05-13T19:35:49,514 Found index url https://www.piwheels.org/simple/ 2023-05-13T19:35:49,714 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/ as text/html 2023-05-13T19:35:49,716 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.20.32.152965-py3-none-any.whl#sha256=a354bd998dbed31c7be882997d1c1466d61a3b32343ee57aeea0e5ef77e8e5d2 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16) 2023-05-13T19:35:49,717 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=d67dcc165f7ebc08b7e1b2902e25c31e129826be258ba0edc9474bf1748561c1 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16) 2023-05-13T19:35:49,717 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=6b8aa2678e4451485322028ade6f070d8c415ee6ccd5dfb1e49c8a85785fac1e (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16) 2023-05-13T19:35:49,717 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=4d4b1fb8099b65fb020e83d86bd1b8625f8181f90b75c9e863a785bbf275edc3 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16) 2023-05-13T19:35:49,717 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=af44466eefcf8cd6f15cec3d0c7eda56d5eb170a2ac957c14e6d982a4f7eecca (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16) 2023-05-13T19:35:49,718 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=19102cdd5c4d18d6555edf6496bfd66258a151c5cdb2ebee727b6b61f08e10fc (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/) (requires-python:>=3.8.16) 2023-05-13T19:35:49,718 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-gmx-init/ 2023-05-13T19:35:49,718 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-jtoman-gmx-init/ 2023-05-13T19:35:49,737 Given no hashes to check 1 links for project 'certora-cli-alpha-jtoman-gmx-init': discarding no candidates 2023-05-13T19:35:49,755 Collecting certora-cli-alpha-jtoman-gmx-init==20230503.2.44.693674 2023-05-13T19:35:49,757 Created temporary directory: /tmp/pip-unpack-tx7ehdpm 2023-05-13T19:35:49,921 Downloading certora-cli-alpha-jtoman-gmx-init-20230503.2.44.693674.tar.gz (38.4 MB) 2023-05-13T19:36:00,711 Added certora-cli-alpha-jtoman-gmx-init==20230503.2.44.693674 from https://files.pythonhosted.org/packages/4e/0d/20f8c6709833067f8d20cf6085d6a9e2163e5af88a4612596d81b96b9953/certora-cli-alpha-jtoman-gmx-init-20230503.2.44.693674.tar.gz to build tracker '/tmp/pip-build-tracker-3po980aw' 2023-05-13T19:36:00,713 Running setup.py (path:/tmp/pip-wheel-no8e79oo/certora-cli-alpha-jtoman-gmx-init_711a96150c4c4f31b9cf489b6d2ed6b5/setup.py) egg_info for package certora-cli-alpha-jtoman-gmx-init 2023-05-13T19:36:00,713 Created temporary directory: /tmp/pip-pip-egg-info-i02gywrg 2023-05-13T19:36:00,714 Preparing metadata (setup.py): started 2023-05-13T19:36:00,715 Running command python setup.py egg_info 2023-05-13T19:36:01,319 running egg_info 2023-05-13T19:36:01,321 creating /tmp/pip-pip-egg-info-i02gywrg/certora_cli_alpha_jtoman_gmx_init.egg-info 2023-05-13T19:36:01,347 writing /tmp/pip-pip-egg-info-i02gywrg/certora_cli_alpha_jtoman_gmx_init.egg-info/PKG-INFO 2023-05-13T19:36:01,349 writing dependency_links to /tmp/pip-pip-egg-info-i02gywrg/certora_cli_alpha_jtoman_gmx_init.egg-info/dependency_links.txt 2023-05-13T19:36:01,351 writing entry points to /tmp/pip-pip-egg-info-i02gywrg/certora_cli_alpha_jtoman_gmx_init.egg-info/entry_points.txt 2023-05-13T19:36:01,353 writing requirements to /tmp/pip-pip-egg-info-i02gywrg/certora_cli_alpha_jtoman_gmx_init.egg-info/requires.txt 2023-05-13T19:36:01,354 writing top-level names to /tmp/pip-pip-egg-info-i02gywrg/certora_cli_alpha_jtoman_gmx_init.egg-info/top_level.txt 2023-05-13T19:36:01,355 writing manifest file '/tmp/pip-pip-egg-info-i02gywrg/certora_cli_alpha_jtoman_gmx_init.egg-info/SOURCES.txt' 2023-05-13T19:36:01,721 reading manifest file '/tmp/pip-pip-egg-info-i02gywrg/certora_cli_alpha_jtoman_gmx_init.egg-info/SOURCES.txt' 2023-05-13T19:36:01,723 reading manifest template 'MANIFEST.in' 2023-05-13T19:36:01,733 adding license file 'LICENSE' 2023-05-13T19:36:01,737 writing manifest file '/tmp/pip-pip-egg-info-i02gywrg/certora_cli_alpha_jtoman_gmx_init.egg-info/SOURCES.txt' 2023-05-13T19:36:01,798 Preparing metadata (setup.py): finished with status 'done' 2023-05-13T19:36:01,804 Source in /tmp/pip-wheel-no8e79oo/certora-cli-alpha-jtoman-gmx-init_711a96150c4c4f31b9cf489b6d2ed6b5 has version 20230503.2.44.693674, which satisfies requirement certora-cli-alpha-jtoman-gmx-init==20230503.2.44.693674 from https://files.pythonhosted.org/packages/4e/0d/20f8c6709833067f8d20cf6085d6a9e2163e5af88a4612596d81b96b9953/certora-cli-alpha-jtoman-gmx-init-20230503.2.44.693674.tar.gz 2023-05-13T19:36:01,805 Removed certora-cli-alpha-jtoman-gmx-init==20230503.2.44.693674 from https://files.pythonhosted.org/packages/4e/0d/20f8c6709833067f8d20cf6085d6a9e2163e5af88a4612596d81b96b9953/certora-cli-alpha-jtoman-gmx-init-20230503.2.44.693674.tar.gz from build tracker '/tmp/pip-build-tracker-3po980aw' 2023-05-13T19:36:01,812 Created temporary directory: /tmp/pip-unpack-xtri4pes 2023-05-13T19:36:01,812 Building wheels for collected packages: certora-cli-alpha-jtoman-gmx-init 2023-05-13T19:36:01,817 Created temporary directory: /tmp/pip-wheel-y130963g 2023-05-13T19:36:01,817 Building wheel for certora-cli-alpha-jtoman-gmx-init (setup.py): started 2023-05-13T19:36:01,818 Destination directory: /tmp/pip-wheel-y130963g 2023-05-13T19:36:01,818 Running command python setup.py bdist_wheel 2023-05-13T19:36:02,633 running bdist_wheel 2023-05-13T19:36:02,948 running build 2023-05-13T19:36:02,948 running build_py 2023-05-13T19:36:02,977 creating build 2023-05-13T19:36:02,978 creating build/lib 2023-05-13T19:36:02,979 creating build/lib/certora_jars 2023-05-13T19:36:02,980 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-13T19:36:02,982 creating build/lib/certora_cli 2023-05-13T19:36:02,983 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-13T19:36:02,985 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-13T19:36:02,987 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-13T19:36:02,990 creating build/lib/certora_cli/EVMVerifier 2023-05-13T19:36:02,991 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T19:36:02,993 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T19:36:02,998 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T19:36:03,000 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T19:36:03,004 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T19:36:03,007 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T19:36:03,010 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T19:36:03,013 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T19:36:03,015 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T19:36:03,018 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T19:36:03,021 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T19:36:03,023 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T19:36:03,025 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-13T19:36:03,028 creating build/lib/certora_cli/Shared 2023-05-13T19:36:03,029 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-13T19:36:03,031 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-13T19:36:03,033 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-13T19:36:03,036 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-13T19:36:03,039 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T19:36:03,040 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T19:36:03,042 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T19:36:03,044 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T19:36:03,046 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T19:36:03,048 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-13T19:36:03,051 running egg_info 2023-05-13T19:36:03,113 writing certora_cli_alpha_jtoman_gmx_init.egg-info/PKG-INFO 2023-05-13T19:36:03,114 writing dependency_links to certora_cli_alpha_jtoman_gmx_init.egg-info/dependency_links.txt 2023-05-13T19:36:03,117 writing entry points to certora_cli_alpha_jtoman_gmx_init.egg-info/entry_points.txt 2023-05-13T19:36:03,118 writing requirements to certora_cli_alpha_jtoman_gmx_init.egg-info/requires.txt 2023-05-13T19:36:03,119 writing top-level names to certora_cli_alpha_jtoman_gmx_init.egg-info/top_level.txt 2023-05-13T19:36:03,149 reading manifest file 'certora_cli_alpha_jtoman_gmx_init.egg-info/SOURCES.txt' 2023-05-13T19:36:03,152 reading manifest template 'MANIFEST.in' 2023-05-13T19:36:03,161 adding license file 'LICENSE' 2023-05-13T19:36:03,166 writing manifest file 'certora_cli_alpha_jtoman_gmx_init.egg-info/SOURCES.txt' 2023-05-13T19:36:03,169 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-13T19:36:03,171 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-13T19:36:03,386 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-13T19:36:03,562 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-13T19:36:03,771 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-13T19:36:03,885 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-13T19:36:04,005 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-13T19:36:04,006 !! 2023-05-13T19:36:04,006 ******************************************************************************** 2023-05-13T19:36:04,006 Please avoid running ``setup.py`` directly. 2023-05-13T19:36:04,006 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-13T19:36:04,006 other standards-based tools. 2023-05-13T19:36:04,007 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-13T19:36:04,007 ******************************************************************************** 2023-05-13T19:36:04,007 !! 2023-05-13T19:36:04,007 self.initialize_options() 2023-05-13T19:36:04,033 installing to build/bdist.linux-aarch64/wheel 2023-05-13T19:36:04,033 running install 2023-05-13T19:36:04,060 running install_lib 2023-05-13T19:36:04,086 creating build/bdist.linux-aarch64 2023-05-13T19:36:04,087 creating build/bdist.linux-aarch64/wheel 2023-05-13T19:36:04,089 creating build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T19:36:04,090 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T19:36:04,091 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T19:36:04,094 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T19:36:04,276 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T19:36:04,389 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T19:36:04,572 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T19:36:04,817 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-13T19:36:04,911 creating build/bdist.linux-aarch64/wheel/certora_cli 2023-05-13T19:36:04,912 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-13T19:36:04,914 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-13T19:36:04,916 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-13T19:36:04,919 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T19:36:04,920 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T19:36:04,922 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T19:36:04,929 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T19:36:04,931 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T19:36:04,934 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T19:36:04,938 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T19:36:04,941 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T19:36:04,944 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T19:36:04,946 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T19:36:04,947 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T19:36:04,949 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T19:36:04,951 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T19:36:04,954 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T19:36:04,956 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-13T19:36:04,959 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T19:36:04,963 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T19:36:04,966 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T19:36:04,968 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T19:36:04,971 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-13T19:36:04,974 creating build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T19:36:04,975 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T19:36:04,977 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T19:36:04,979 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T19:36:04,982 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-13T19:36:04,985 running install_egg_info 2023-05-13T19:36:05,016 Copying certora_cli_alpha_jtoman_gmx_init.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_jtoman_gmx_init-20230503.2.44.693674-py3.9.egg-info 2023-05-13T19:36:05,029 running install_scripts 2023-05-13T19:36:05,046 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-05-13T19:36:05,051 creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_jtoman_gmx_init-20230503.2.44.693674.dist-info/WHEEL 2023-05-13T19:36:05,054 creating '/tmp/pip-wheel-y130963g/certora_cli_alpha_jtoman_gmx_init-20230503.2.44.693674-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it 2023-05-13T19:36:05,056 adding 'certora_cli/__init__.py' 2023-05-13T19:36:05,058 adding 'certora_cli/certoraMutate.py' 2023-05-13T19:36:05,060 adding 'certora_cli/certoraRun.py' 2023-05-13T19:36:05,062 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-13T19:36:05,084 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-13T19:36:05,091 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-13T19:36:05,093 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-13T19:36:05,095 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-13T19:36:05,099 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-13T19:36:05,103 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-13T19:36:05,104 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-13T19:36:05,110 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-13T19:36:05,112 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-13T19:36:05,114 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-13T19:36:05,117 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-13T19:36:05,120 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-13T19:36:05,123 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-13T19:36:05,125 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-13T19:36:05,126 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-13T19:36:05,130 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-13T19:36:05,132 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-13T19:36:05,134 adding 'certora_cli/Shared/__init__.py' 2023-05-13T19:36:05,136 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-13T19:36:05,138 adding 'certora_cli/Shared/certoraTester.py' 2023-05-13T19:36:05,144 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-13T19:36:05,147 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-13T19:36:06,727 adding 'certora_jars/MutationTest.jar' 2023-05-13T19:36:08,034 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-13T19:36:09,515 adding 'certora_jars/Typechecker.jar' 2023-05-13T19:36:09,594 adding 'certora_jars/__init__.py' 2023-05-13T19:36:10,443 adding 'certora_jars/gambit-linux' 2023-05-13T19:36:11,295 adding 'certora_jars/gambit-macos' 2023-05-13T19:36:11,331 adding 'certora_cli_alpha_jtoman_gmx_init-20230503.2.44.693674.dist-info/LICENSE' 2023-05-13T19:36:11,332 adding 'certora_cli_alpha_jtoman_gmx_init-20230503.2.44.693674.dist-info/METADATA' 2023-05-13T19:36:11,333 adding 'certora_cli_alpha_jtoman_gmx_init-20230503.2.44.693674.dist-info/WHEEL' 2023-05-13T19:36:11,335 adding 'certora_cli_alpha_jtoman_gmx_init-20230503.2.44.693674.dist-info/entry_points.txt' 2023-05-13T19:36:11,335 adding 'certora_cli_alpha_jtoman_gmx_init-20230503.2.44.693674.dist-info/top_level.txt' 2023-05-13T19:36:11,337 adding 'certora_cli_alpha_jtoman_gmx_init-20230503.2.44.693674.dist-info/RECORD' 2023-05-13T19:36:11,797 removing build/bdist.linux-aarch64/wheel 2023-05-13T19:36:11,924 Building wheel for certora-cli-alpha-jtoman-gmx-init (setup.py): finished with status 'done' 2023-05-13T19:36:12,244 Created wheel for certora-cli-alpha-jtoman-gmx-init: filename=certora_cli_alpha_jtoman_gmx_init-20230503.2.44.693674-py3-none-any.whl size=38412136 sha256=f5eb980a89d0ba8e08a85f64ac21f5fc924209862519017d403e1c91cd2bdf85 2023-05-13T19:36:12,245 Stored in directory: /tmp/pip-ephem-wheel-cache-cd3y5yy9/wheels/ba/5a/71/f3aee267783f1523555aa12cd0c55560ed9a0b355089e71a68 2023-05-13T19:36:12,274 Successfully built certora-cli-alpha-jtoman-gmx-init 2023-05-13T19:36:13,234 Removed build tracker: '/tmp/pip-build-tracker-3po980aw'