2023-05-15T16:19:33,783 Created temporary directory: /tmp/pip-build-tracker-jgva5wk1 2023-05-15T16:19:33,784 Initialized build tracking at /tmp/pip-build-tracker-jgva5wk1 2023-05-15T16:19:33,785 Created build tracker: /tmp/pip-build-tracker-jgva5wk1 2023-05-15T16:19:33,785 Entered build tracker: /tmp/pip-build-tracker-jgva5wk1 2023-05-15T16:19:33,785 Created temporary directory: /tmp/pip-wheel-bwedbpi9 2023-05-15T16:19:33,789 Created temporary directory: /tmp/pip-ephem-wheel-cache-agtri9ni 2023-05-15T16:19:33,813 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-15T16:19:33,817 2 location(s) to search for versions of certora-cli-alpha-alex-configscope: 2023-05-15T16:19:33,817 * https://pypi.org/simple/certora-cli-alpha-alex-configscope/ 2023-05-15T16:19:33,817 * https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/ 2023-05-15T16:19:33,818 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-alex-configscope/ 2023-05-15T16:19:33,818 Getting page https://pypi.org/simple/certora-cli-alpha-alex-configscope/ 2023-05-15T16:19:33,820 Found index url https://pypi.org/simple/ 2023-05-15T16:19:33,872 Fetched page https://pypi.org/simple/certora-cli-alpha-alex-configscope/ as application/vnd.pypi.simple.v1+json 2023-05-15T16:19:33,875 Found link https://files.pythonhosted.org/packages/d3/00/bd75c5342506108387a60b7915f10000643d164eff3c3e7870026ead10eb/certora-cli-alpha-alex-configscope-20230511.15.8.369076.tar.gz (from https://pypi.org/simple/certora-cli-alpha-alex-configscope/) (requires-python:>=3.8.16), version: 20230511.15.8.369076 2023-05-15T16:19:33,876 Skipping link: No binaries permitted for certora-cli-alpha-alex-configscope: https://files.pythonhosted.org/packages/6b/bd/a7efe7e81637b18f3353ba0fa87c3c697da9dd31486835da970f20aa2db6/certora_cli_alpha_alex_configscope-20230511.15.8.369076-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-alex-configscope/) (requires-python:>=3.8.16) 2023-05-15T16:19:33,876 Found link https://files.pythonhosted.org/packages/38/c5/ab60052a91904aae740f447c3141ea51a70d83311f7afdd3aad7c856ad3d/certora-cli-alpha-alex-configscope-20230511.17.10.146211.tar.gz (from https://pypi.org/simple/certora-cli-alpha-alex-configscope/) (requires-python:>=3.8.16), version: 20230511.17.10.146211 2023-05-15T16:19:33,876 Skipping link: No binaries permitted for certora-cli-alpha-alex-configscope: https://files.pythonhosted.org/packages/b5/e4/736e00b0be561be96e01b4601f238d610bbf2e1be021c3579191bc8d75b4/certora_cli_alpha_alex_configscope-20230511.17.10.146211-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-alex-configscope/) (requires-python:>=3.8.16) 2023-05-15T16:19:33,877 Found link https://files.pythonhosted.org/packages/32/5d/d520957790f6c646a7bf2827965a177109bf3aaa303c27334d4dcda9e5b8/certora-cli-alpha-alex-configscope-20230512.9.39.924761.tar.gz (from https://pypi.org/simple/certora-cli-alpha-alex-configscope/) (requires-python:>=3.8.16), version: 20230512.9.39.924761 2023-05-15T16:19:33,877 Skipping link: No binaries permitted for certora-cli-alpha-alex-configscope: https://files.pythonhosted.org/packages/d4/a6/24da587628cead88617217b6974a0ddeef994e54c39a2146f40f73960c49/certora_cli_alpha_alex_configscope-20230512.9.39.924761-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-alex-configscope/) (requires-python:>=3.8.16) 2023-05-15T16:19:33,878 Found link https://files.pythonhosted.org/packages/0d/1f/661fc3884b7e631bfca9fd2d71da559d215e99d48ea0bb99830f8f2f6c79/certora-cli-alpha-alex-configscope-20230512.17.18.22359.tar.gz (from https://pypi.org/simple/certora-cli-alpha-alex-configscope/) (requires-python:>=3.8.16), version: 20230512.17.18.22359 2023-05-15T16:19:33,878 Skipping link: No binaries permitted for certora-cli-alpha-alex-configscope: https://files.pythonhosted.org/packages/63/e4/1afe726ee3ba23237eee51e6347bc30240e7d9ade9d87c877a096b8ebfc5/certora_cli_alpha_alex_configscope-20230512.17.18.22359-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-alex-configscope/) (requires-python:>=3.8.16) 2023-05-15T16:19:33,879 Found link https://files.pythonhosted.org/packages/88/d8/04aeab04f74c593f8d5689516314e43354a199c46c59fc6e8c5cf7dd76dd/certora-cli-alpha-alex-configscope-20230515.12.41.386387.tar.gz (from https://pypi.org/simple/certora-cli-alpha-alex-configscope/) (requires-python:>=3.8.16), version: 20230515.12.41.386387 2023-05-15T16:19:33,879 Skipping link: No binaries permitted for certora-cli-alpha-alex-configscope: https://files.pythonhosted.org/packages/cb/43/7bb6d2460c4cc2e380e9679a46e32dff1e3e0902b51c5ca08ac4b43f2cda/certora_cli_alpha_alex_configscope-20230515.12.41.386387-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-alex-configscope/) (requires-python:>=3.8.16) 2023-05-15T16:19:33,880 Found link https://files.pythonhosted.org/packages/0c/39/64a5a22492fd1db3a426af770b9f59b16087b8aea7d623ea3b66f0bfa521/certora-cli-alpha-alex-configscope-20230515.13.10.603022.tar.gz (from https://pypi.org/simple/certora-cli-alpha-alex-configscope/) (requires-python:>=3.8.16), version: 20230515.13.10.603022 2023-05-15T16:19:33,880 Skipping link: No binaries permitted for certora-cli-alpha-alex-configscope: https://files.pythonhosted.org/packages/2a/48/01d1d8349e18b8d5459d977db9a4c7ff2197a019d09984f67e61834c21c6/certora_cli_alpha_alex_configscope-20230515.13.10.603022-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-alex-configscope/) (requires-python:>=3.8.16) 2023-05-15T16:19:33,880 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/ 2023-05-15T16:19:33,880 Getting page https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/ 2023-05-15T16:19:33,882 Found index url https://www.piwheels.org/simple/ 2023-05-15T16:19:34,052 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/ as text/html 2023-05-15T16:19:34,055 Skipping link: No binaries permitted for certora-cli-alpha-alex-configscope: https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/certora_cli_alpha_alex_configscope-20230515.12.41.386387-py3-none-any.whl#sha256=9649ba5a26986e94ce6e17807eac7b21fb536a87ffefc063635bf54d6c23e556 (from https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/) (requires-python:>=3.8.16) 2023-05-15T16:19:34,055 Skipping link: No binaries permitted for certora-cli-alpha-alex-configscope: https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/certora_cli_alpha_alex_configscope-20230512.17.18.22359-py3-none-any.whl#sha256=db7b851b054419416c40a415a5acaac91b5021931096eddce6fe2b2253e52ee3 (from https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/) (requires-python:>=3.8.16) 2023-05-15T16:19:34,055 Skipping link: No binaries permitted for certora-cli-alpha-alex-configscope: https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/certora_cli_alpha_alex_configscope-20230512.9.39.924761-py3-none-any.whl#sha256=250278fb0c10e429441a5443a163a27bfbaca425cca87911e4132bdc85431862 (from https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/) (requires-python:>=3.8.16) 2023-05-15T16:19:34,056 Skipping link: No binaries permitted for certora-cli-alpha-alex-configscope: https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/certora_cli_alpha_alex_configscope-20230511.17.10.146211-py3-none-any.whl#sha256=6ac661a310fc91eb04116cd84dbcb9cfbc770324de72101d35aea00c85816be2 (from https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/) (requires-python:>=3.8.16) 2023-05-15T16:19:34,056 Skipping link: No binaries permitted for certora-cli-alpha-alex-configscope: https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/certora_cli_alpha_alex_configscope-20230511.15.8.369076-py3-none-any.whl#sha256=e9a9b3042a44a61c97ef356f732f8632badc02d79ad345e2535e070122626327 (from https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/) (requires-python:>=3.8.16) 2023-05-15T16:19:34,056 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-alex-configscope/ 2023-05-15T16:19:34,056 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-alex-configscope/ 2023-05-15T16:19:34,075 Given no hashes to check 1 links for project 'certora-cli-alpha-alex-configscope': discarding no candidates 2023-05-15T16:19:34,093 Collecting certora-cli-alpha-alex-configscope==20230515.13.10.603022 2023-05-15T16:19:34,095 Created temporary directory: /tmp/pip-unpack-knrwpdz6 2023-05-15T16:19:34,222 Downloading certora-cli-alpha-alex-configscope-20230515.13.10.603022.tar.gz (39.5 MB) 2023-05-15T16:20:01,745 Added certora-cli-alpha-alex-configscope==20230515.13.10.603022 from https://files.pythonhosted.org/packages/0c/39/64a5a22492fd1db3a426af770b9f59b16087b8aea7d623ea3b66f0bfa521/certora-cli-alpha-alex-configscope-20230515.13.10.603022.tar.gz to build tracker '/tmp/pip-build-tracker-jgva5wk1' 2023-05-15T16:20:01,748 Running setup.py (path:/tmp/pip-wheel-bwedbpi9/certora-cli-alpha-alex-configscope_7dfd75f9885e4182bb4d244e06b4134a/setup.py) egg_info for package certora-cli-alpha-alex-configscope 2023-05-15T16:20:01,749 Created temporary directory: /tmp/pip-pip-egg-info-am__hxeb 2023-05-15T16:20:01,749 Preparing metadata (setup.py): started 2023-05-15T16:20:01,750 Running command python setup.py egg_info 2023-05-15T16:20:02,391 running egg_info 2023-05-15T16:20:02,392 creating /tmp/pip-pip-egg-info-am__hxeb/certora_cli_alpha_alex_configscope.egg-info 2023-05-15T16:20:02,421 writing /tmp/pip-pip-egg-info-am__hxeb/certora_cli_alpha_alex_configscope.egg-info/PKG-INFO 2023-05-15T16:20:02,423 writing dependency_links to /tmp/pip-pip-egg-info-am__hxeb/certora_cli_alpha_alex_configscope.egg-info/dependency_links.txt 2023-05-15T16:20:02,425 writing entry points to /tmp/pip-pip-egg-info-am__hxeb/certora_cli_alpha_alex_configscope.egg-info/entry_points.txt 2023-05-15T16:20:02,427 writing requirements to /tmp/pip-pip-egg-info-am__hxeb/certora_cli_alpha_alex_configscope.egg-info/requires.txt 2023-05-15T16:20:02,428 writing top-level names to /tmp/pip-pip-egg-info-am__hxeb/certora_cli_alpha_alex_configscope.egg-info/top_level.txt 2023-05-15T16:20:02,429 writing manifest file '/tmp/pip-pip-egg-info-am__hxeb/certora_cli_alpha_alex_configscope.egg-info/SOURCES.txt' 2023-05-15T16:20:02,519 reading manifest file '/tmp/pip-pip-egg-info-am__hxeb/certora_cli_alpha_alex_configscope.egg-info/SOURCES.txt' 2023-05-15T16:20:02,521 reading manifest template 'MANIFEST.in' 2023-05-15T16:20:02,531 adding license file 'LICENSE' 2023-05-15T16:20:02,535 writing manifest file '/tmp/pip-pip-egg-info-am__hxeb/certora_cli_alpha_alex_configscope.egg-info/SOURCES.txt' 2023-05-15T16:20:02,595 Preparing metadata (setup.py): finished with status 'done' 2023-05-15T16:20:02,600 Source in /tmp/pip-wheel-bwedbpi9/certora-cli-alpha-alex-configscope_7dfd75f9885e4182bb4d244e06b4134a has version 20230515.13.10.603022, which satisfies requirement certora-cli-alpha-alex-configscope==20230515.13.10.603022 from https://files.pythonhosted.org/packages/0c/39/64a5a22492fd1db3a426af770b9f59b16087b8aea7d623ea3b66f0bfa521/certora-cli-alpha-alex-configscope-20230515.13.10.603022.tar.gz 2023-05-15T16:20:02,601 Removed certora-cli-alpha-alex-configscope==20230515.13.10.603022 from https://files.pythonhosted.org/packages/0c/39/64a5a22492fd1db3a426af770b9f59b16087b8aea7d623ea3b66f0bfa521/certora-cli-alpha-alex-configscope-20230515.13.10.603022.tar.gz from build tracker '/tmp/pip-build-tracker-jgva5wk1' 2023-05-15T16:20:02,608 Created temporary directory: /tmp/pip-unpack-kfn2fpim 2023-05-15T16:20:02,609 Building wheels for collected packages: certora-cli-alpha-alex-configscope 2023-05-15T16:20:02,613 Created temporary directory: /tmp/pip-wheel-zr0ces43 2023-05-15T16:20:02,614 Building wheel for certora-cli-alpha-alex-configscope (setup.py): started 2023-05-15T16:20:02,617 Destination directory: /tmp/pip-wheel-zr0ces43 2023-05-15T16:20:02,617 Running command python setup.py bdist_wheel 2023-05-15T16:20:03,269 running bdist_wheel 2023-05-15T16:20:03,559 running build 2023-05-15T16:20:03,559 running build_py 2023-05-15T16:20:03,589 creating build 2023-05-15T16:20:03,589 creating build/lib 2023-05-15T16:20:03,590 creating build/lib/certora_cli 2023-05-15T16:20:03,591 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-15T16:20:03,593 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-15T16:20:03,595 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-15T16:20:03,598 creating build/lib/certora_jars 2023-05-15T16:20:03,598 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-15T16:20:03,601 creating build/lib/certora_cli/Shared 2023-05-15T16:20:03,602 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-15T16:20:03,604 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-15T16:20:03,607 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-15T16:20:03,610 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-15T16:20:03,613 creating build/lib/certora_cli/EVMVerifier 2023-05-15T16:20:03,614 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T16:20:03,616 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T16:20:03,618 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T16:20:03,620 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T16:20:03,622 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T16:20:03,625 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T16:20:03,628 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T16:20:03,631 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T16:20:03,633 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T16:20:03,636 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T16:20:03,644 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T16:20:03,647 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T16:20:03,650 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T16:20:03,651 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-15T16:20:03,655 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T16:20:03,656 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T16:20:03,658 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T16:20:03,660 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T16:20:03,663 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T16:20:03,665 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-15T16:20:03,667 running egg_info 2023-05-15T16:20:03,731 writing certora_cli_alpha_alex_configscope.egg-info/PKG-INFO 2023-05-15T16:20:03,733 writing dependency_links to certora_cli_alpha_alex_configscope.egg-info/dependency_links.txt 2023-05-15T16:20:03,735 writing entry points to certora_cli_alpha_alex_configscope.egg-info/entry_points.txt 2023-05-15T16:20:03,737 writing requirements to certora_cli_alpha_alex_configscope.egg-info/requires.txt 2023-05-15T16:20:03,738 writing top-level names to certora_cli_alpha_alex_configscope.egg-info/top_level.txt 2023-05-15T16:20:03,770 reading manifest file 'certora_cli_alpha_alex_configscope.egg-info/SOURCES.txt' 2023-05-15T16:20:03,773 reading manifest template 'MANIFEST.in' 2023-05-15T16:20:03,782 adding license file 'LICENSE' 2023-05-15T16:20:03,787 writing manifest file 'certora_cli_alpha_alex_configscope.egg-info/SOURCES.txt' 2023-05-15T16:20:03,790 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-15T16:20:03,792 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-15T16:20:04,012 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-15T16:20:04,190 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-15T16:20:04,387 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-15T16:20:04,507 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-15T16:20:04,633 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-15T16:20:04,634 !! 2023-05-15T16:20:04,634 ******************************************************************************** 2023-05-15T16:20:04,634 Please avoid running ``setup.py`` directly. 2023-05-15T16:20:04,634 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-15T16:20:04,634 other standards-based tools. 2023-05-15T16:20:04,635 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-15T16:20:04,635 ******************************************************************************** 2023-05-15T16:20:04,635 !! 2023-05-15T16:20:04,635 self.initialize_options() 2023-05-15T16:20:04,663 installing to build/bdist.linux-aarch64/wheel 2023-05-15T16:20:04,664 running install 2023-05-15T16:20:04,689 running install_lib 2023-05-15T16:20:04,718 creating build/bdist.linux-aarch64 2023-05-15T16:20:04,718 creating build/bdist.linux-aarch64/wheel 2023-05-15T16:20:04,720 creating build/bdist.linux-aarch64/wheel/certora_cli 2023-05-15T16:20:04,722 creating build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-15T16:20:04,724 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-15T16:20:04,726 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-15T16:20:04,730 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-15T16:20:04,733 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared 2023-05-15T16:20:04,736 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T16:20:04,737 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T16:20:04,739 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T16:20:04,741 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T16:20:04,743 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T16:20:04,745 creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T16:20:04,746 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T16:20:04,748 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T16:20:04,750 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T16:20:04,753 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T16:20:04,755 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler 2023-05-15T16:20:04,758 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T16:20:04,761 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T16:20:04,763 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T16:20:04,767 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T16:20:04,769 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T16:20:04,773 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T16:20:04,778 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T16:20:04,782 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T16:20:04,784 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T16:20:04,787 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier 2023-05-15T16:20:04,790 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-15T16:20:04,792 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-15T16:20:04,795 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli 2023-05-15T16:20:04,798 creating build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T16:20:04,799 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T16:20:04,801 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T16:20:05,011 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T16:20:05,013 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T16:20:05,163 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T16:20:05,242 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T16:20:05,364 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars 2023-05-15T16:20:05,585 running install_egg_info 2023-05-15T16:20:05,617 Copying certora_cli_alpha_alex_configscope.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_alex_configscope-20230515.13.10.603022-py3.9.egg-info 2023-05-15T16:20:05,629 running install_scripts 2023-05-15T16:20:05,647 creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_alex_configscope-20230515.13.10.603022.dist-info/WHEEL 2023-05-15T16:20:05,650 creating '/tmp/pip-wheel-zr0ces43/certora_cli_alpha_alex_configscope-20230515.13.10.603022-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it 2023-05-15T16:20:05,653 adding 'certora_cli/__init__.py' 2023-05-15T16:20:05,654 adding 'certora_cli/certoraMutate.py' 2023-05-15T16:20:05,656 adding 'certora_cli/certoraRun.py' 2023-05-15T16:20:05,658 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-15T16:20:05,680 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-15T16:20:05,687 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-15T16:20:05,690 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-15T16:20:05,691 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-15T16:20:05,696 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-15T16:20:05,699 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-15T16:20:05,701 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-15T16:20:05,707 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-15T16:20:05,708 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-05-15T16:20:05,710 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-15T16:20:05,712 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-15T16:20:05,715 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-15T16:20:05,719 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-15T16:20:05,721 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-15T16:20:05,723 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-15T16:20:05,725 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-15T16:20:05,729 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-15T16:20:05,730 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-15T16:20:05,732 adding 'certora_cli/Shared/__init__.py' 2023-05-15T16:20:05,735 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-15T16:20:05,737 adding 'certora_cli/Shared/certoraTester.py' 2023-05-15T16:20:05,744 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-15T16:20:05,747 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-15T16:20:07,389 adding 'certora_jars/MutationTest.jar' 2023-05-15T16:20:08,702 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-15T16:20:10,252 adding 'certora_jars/Typechecker.jar' 2023-05-15T16:20:10,335 adding 'certora_jars/__init__.py' 2023-05-15T16:20:11,190 adding 'certora_jars/gambit-linux' 2023-05-15T16:20:12,048 adding 'certora_jars/gambit-macos' 2023-05-15T16:20:12,084 adding 'certora_cli_alpha_alex_configscope-20230515.13.10.603022.dist-info/LICENSE' 2023-05-15T16:20:12,085 adding 'certora_cli_alpha_alex_configscope-20230515.13.10.603022.dist-info/METADATA' 2023-05-15T16:20:12,086 adding 'certora_cli_alpha_alex_configscope-20230515.13.10.603022.dist-info/WHEEL' 2023-05-15T16:20:12,087 adding 'certora_cli_alpha_alex_configscope-20230515.13.10.603022.dist-info/entry_points.txt' 2023-05-15T16:20:12,088 adding 'certora_cli_alpha_alex_configscope-20230515.13.10.603022.dist-info/top_level.txt' 2023-05-15T16:20:12,089 adding 'certora_cli_alpha_alex_configscope-20230515.13.10.603022.dist-info/RECORD' 2023-05-15T16:20:12,514 removing build/bdist.linux-aarch64/wheel 2023-05-15T16:20:12,631 Building wheel for certora-cli-alpha-alex-configscope (setup.py): finished with status 'done' 2023-05-15T16:20:12,964 Created wheel for certora-cli-alpha-alex-configscope: filename=certora_cli_alpha_alex_configscope-20230515.13.10.603022-py3-none-any.whl size=39500617 sha256=94b16ca996e6206cdcb47fbc9a985f741dbbb22eda87a8221d463b23554dfc43 2023-05-15T16:20:12,965 Stored in directory: /tmp/pip-ephem-wheel-cache-agtri9ni/wheels/ae/28/b2/6b8c432eb33db202e370fe8e7e5b9fb5c0c883c2ab7b7eb06a 2023-05-15T16:20:12,996 Successfully built certora-cli-alpha-alex-configscope 2023-05-15T16:20:14,450 Removed build tracker: '/tmp/pip-build-tracker-jgva5wk1'