2023-05-17T02:21:04,218 Created temporary directory: /tmp/pip-build-tracker-78n1c_am 2023-05-17T02:21:04,219 Initialized build tracking at /tmp/pip-build-tracker-78n1c_am 2023-05-17T02:21:04,219 Created build tracker: /tmp/pip-build-tracker-78n1c_am 2023-05-17T02:21:04,220 Entered build tracker: /tmp/pip-build-tracker-78n1c_am 2023-05-17T02:21:04,220 Created temporary directory: /tmp/pip-wheel-4fvr6osg 2023-05-17T02:21:04,224 Created temporary directory: /tmp/pip-ephem-wheel-cache-8r6h24yl 2023-05-17T02:21:04,246 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-05-17T02:21:04,250 2 location(s) to search for versions of certora-cli-alpha-andrew-satisfy: 2023-05-17T02:21:04,250 * https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/ 2023-05-17T02:21:04,250 * https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/ 2023-05-17T02:21:04,250 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/ 2023-05-17T02:21:04,251 Getting page https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/ 2023-05-17T02:21:04,252 Found index url https://pypi.org/simple/ 2023-05-17T02:21:04,303 Fetched page https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/ as application/vnd.pypi.simple.v1+json 2023-05-17T02:21:04,307 Found link https://files.pythonhosted.org/packages/d3/a1/c091b6a641ece1d7aa00ba8c5146a2526fa9be0eb510d26e44759ec9f7dc/certora-cli-alpha-andrew-satisfy-20230515.14.17.18468.tar.gz (from https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16), version: 20230515.14.17.18468 2023-05-17T02:21:04,307 Skipping link: No binaries permitted for certora-cli-alpha-andrew-satisfy: https://files.pythonhosted.org/packages/f8/b0/aecd2a04480aef66dc0805ea21aaf7d1cadea43c554197cae893642b12b8/certora_cli_alpha_andrew_satisfy-20230515.14.17.18468-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16) 2023-05-17T02:21:04,308 Found link https://files.pythonhosted.org/packages/a2/d3/5d51fee247e4aed92089f612aad981a5a28f3ea1236cd8b4a46877b219d5/certora-cli-alpha-andrew-satisfy-20230515.15.37.121924.tar.gz (from https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16), version: 20230515.15.37.121924 2023-05-17T02:21:04,308 Skipping link: No binaries permitted for certora-cli-alpha-andrew-satisfy: https://files.pythonhosted.org/packages/3c/ae/e7607d963661c1f42be2d97c356093f90ac3ce88e2d062d799bbde0e5840/certora_cli_alpha_andrew_satisfy-20230515.15.37.121924-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16) 2023-05-17T02:21:04,309 Found link https://files.pythonhosted.org/packages/37/11/db2f2a8cf00caa30d0cccf583ef648c4803cf6cdb93528f644629c056d9e/certora-cli-alpha-andrew-satisfy-20230515.16.38.921195.tar.gz (from https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16), version: 20230515.16.38.921195 2023-05-17T02:21:04,309 Skipping link: No binaries permitted for certora-cli-alpha-andrew-satisfy: https://files.pythonhosted.org/packages/20/a6/ce94cdf8270600d9bbf91d942dc237280c7c1c7b33d6a187713a102f727b/certora_cli_alpha_andrew_satisfy-20230515.16.38.921195-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16) 2023-05-17T02:21:04,309 Found link https://files.pythonhosted.org/packages/42/2c/5eb74b071063a5d398f606f4662f7c8b05cce5d245f0fe3e1a76186a9c43/certora-cli-alpha-andrew-satisfy-20230515.17.39.398525.tar.gz (from https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16), version: 20230515.17.39.398525 2023-05-17T02:21:04,310 Skipping link: No binaries permitted for certora-cli-alpha-andrew-satisfy: https://files.pythonhosted.org/packages/5b/68/56effe5a98e085576a4aba501e0ec2afe27a391d37462726bc4e19028940/certora_cli_alpha_andrew_satisfy-20230515.17.39.398525-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16) 2023-05-17T02:21:04,310 Found link https://files.pythonhosted.org/packages/76/08/e713e05b8a33824764341ea884a052d062dc1900f5c6a56e21e71f7a63a0/certora-cli-alpha-andrew-satisfy-20230515.21.0.49738.tar.gz (from https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16), version: 20230515.21.0.49738 2023-05-17T02:21:04,311 Skipping link: No binaries permitted for certora-cli-alpha-andrew-satisfy: https://files.pythonhosted.org/packages/31/18/1719b3bee8f43fd3482f4744e32672573f9a7c25131e998cdd6b18eac3d3/certora_cli_alpha_andrew_satisfy-20230515.21.0.49738-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16) 2023-05-17T02:21:04,311 Found link https://files.pythonhosted.org/packages/13/a0/3a5db13233e63de21723e3ee13952249624c52dbe70390365947f637580b/certora-cli-alpha-andrew-satisfy-20230516.8.26.706308.tar.gz (from https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16), version: 20230516.8.26.706308 2023-05-17T02:21:04,311 Skipping link: No binaries permitted for certora-cli-alpha-andrew-satisfy: https://files.pythonhosted.org/packages/d3/93/fee0079e4214660f98a66218fd9aaf2b8e61c54e52811cb7884a938066b2/certora_cli_alpha_andrew_satisfy-20230516.8.26.706308-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16) 2023-05-17T02:21:04,312 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/ 2023-05-17T02:21:04,312 Getting page https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/ 2023-05-17T02:21:04,313 Found index url https://www.piwheels.org/simple/ 2023-05-17T02:21:04,523 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/ as text/html 2023-05-17T02:21:04,526 Skipping link: No binaries permitted for certora-cli-alpha-andrew-satisfy: https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/certora_cli_alpha_andrew_satisfy-20230515.21.0.49738-py3-none-any.whl#sha256=92eaaf30572bbc9ecfdab35bbe8e2fdaebd121d709947c4d610dc10831daa468 (from https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16) 2023-05-17T02:21:04,526 Skipping link: No binaries permitted for certora-cli-alpha-andrew-satisfy: https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/certora_cli_alpha_andrew_satisfy-20230515.17.39.398525-py3-none-any.whl#sha256=72832f3d9d351c8a40275fd1254468b9c48ac3392e59d632260eeb4ace731b2a (from https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16) 2023-05-17T02:21:04,526 Skipping link: No binaries permitted for certora-cli-alpha-andrew-satisfy: https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/certora_cli_alpha_andrew_satisfy-20230515.16.38.921195-py3-none-any.whl#sha256=9320b3a42bc7c96e404fa6486b83a2a79b9dc4b64ae1056b2e6384dbf266ed5b (from https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16) 2023-05-17T02:21:04,526 Skipping link: No binaries permitted for certora-cli-alpha-andrew-satisfy: https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/certora_cli_alpha_andrew_satisfy-20230515.15.37.121924-py3-none-any.whl#sha256=ea20bdbf6f9b42fb39efdb72fa41ec6c457fdb76fdbadc9ffe62a45b383836e9 (from https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16) 2023-05-17T02:21:04,526 Skipping link: No binaries permitted for certora-cli-alpha-andrew-satisfy: https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/certora_cli_alpha_andrew_satisfy-20230515.14.17.18468-py3-none-any.whl#sha256=11080c728343466d0949b06ddae3970c42138947b9d5a005f53c9c2c98661fae (from https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/) (requires-python:>=3.8.16) 2023-05-17T02:21:04,527 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/ 2023-05-17T02:21:04,527 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/ 2023-05-17T02:21:04,543 Given no hashes to check 1 links for project 'certora-cli-alpha-andrew-satisfy': discarding no candidates 2023-05-17T02:21:04,559 Collecting certora-cli-alpha-andrew-satisfy==20230516.8.26.706308 2023-05-17T02:21:04,561 Created temporary directory: /tmp/pip-unpack-j5z37hpg 2023-05-17T02:21:04,702 Downloading certora-cli-alpha-andrew-satisfy-20230516.8.26.706308.tar.gz (39.0 MB) 2023-05-17T02:21:13,898 Added certora-cli-alpha-andrew-satisfy==20230516.8.26.706308 from https://files.pythonhosted.org/packages/13/a0/3a5db13233e63de21723e3ee13952249624c52dbe70390365947f637580b/certora-cli-alpha-andrew-satisfy-20230516.8.26.706308.tar.gz to build tracker '/tmp/pip-build-tracker-78n1c_am' 2023-05-17T02:21:13,900 Running setup.py (path:/tmp/pip-wheel-4fvr6osg/certora-cli-alpha-andrew-satisfy_b7c945e135684d3cad8747752ac7caf1/setup.py) egg_info for package certora-cli-alpha-andrew-satisfy 2023-05-17T02:21:13,901 Created temporary directory: /tmp/pip-pip-egg-info-1bive7oh 2023-05-17T02:21:13,901 Preparing metadata (setup.py): started 2023-05-17T02:21:13,902 Running command python setup.py egg_info 2023-05-17T02:21:14,479 running egg_info 2023-05-17T02:21:14,480 creating /tmp/pip-pip-egg-info-1bive7oh/certora_cli_alpha_andrew_satisfy.egg-info 2023-05-17T02:21:14,503 writing /tmp/pip-pip-egg-info-1bive7oh/certora_cli_alpha_andrew_satisfy.egg-info/PKG-INFO 2023-05-17T02:21:14,505 writing dependency_links to /tmp/pip-pip-egg-info-1bive7oh/certora_cli_alpha_andrew_satisfy.egg-info/dependency_links.txt 2023-05-17T02:21:14,507 writing entry points to /tmp/pip-pip-egg-info-1bive7oh/certora_cli_alpha_andrew_satisfy.egg-info/entry_points.txt 2023-05-17T02:21:14,509 writing requirements to /tmp/pip-pip-egg-info-1bive7oh/certora_cli_alpha_andrew_satisfy.egg-info/requires.txt 2023-05-17T02:21:14,509 writing top-level names to /tmp/pip-pip-egg-info-1bive7oh/certora_cli_alpha_andrew_satisfy.egg-info/top_level.txt 2023-05-17T02:21:14,511 writing manifest file '/tmp/pip-pip-egg-info-1bive7oh/certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt' 2023-05-17T02:21:14,589 reading manifest file '/tmp/pip-pip-egg-info-1bive7oh/certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt' 2023-05-17T02:21:14,590 reading manifest template 'MANIFEST.in' 2023-05-17T02:21:14,599 adding license file 'LICENSE' 2023-05-17T02:21:14,603 writing manifest file '/tmp/pip-pip-egg-info-1bive7oh/certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt' 2023-05-17T02:21:14,664 Preparing metadata (setup.py): finished with status 'done' 2023-05-17T02:21:14,669 Source in /tmp/pip-wheel-4fvr6osg/certora-cli-alpha-andrew-satisfy_b7c945e135684d3cad8747752ac7caf1 has version 20230516.8.26.706308, which satisfies requirement certora-cli-alpha-andrew-satisfy==20230516.8.26.706308 from https://files.pythonhosted.org/packages/13/a0/3a5db13233e63de21723e3ee13952249624c52dbe70390365947f637580b/certora-cli-alpha-andrew-satisfy-20230516.8.26.706308.tar.gz 2023-05-17T02:21:14,670 Removed certora-cli-alpha-andrew-satisfy==20230516.8.26.706308 from https://files.pythonhosted.org/packages/13/a0/3a5db13233e63de21723e3ee13952249624c52dbe70390365947f637580b/certora-cli-alpha-andrew-satisfy-20230516.8.26.706308.tar.gz from build tracker '/tmp/pip-build-tracker-78n1c_am' 2023-05-17T02:21:14,676 Created temporary directory: /tmp/pip-unpack-lwu2aw3m 2023-05-17T02:21:14,677 Building wheels for collected packages: certora-cli-alpha-andrew-satisfy 2023-05-17T02:21:14,682 Created temporary directory: /tmp/pip-wheel-37u4n1gj 2023-05-17T02:21:14,682 Building wheel for certora-cli-alpha-andrew-satisfy (setup.py): started 2023-05-17T02:21:14,683 Destination directory: /tmp/pip-wheel-37u4n1gj 2023-05-17T02:21:14,683 Running command python setup.py bdist_wheel 2023-05-17T02:21:15,473 running bdist_wheel 2023-05-17T02:21:15,747 running build 2023-05-17T02:21:15,747 running build_py 2023-05-17T02:21:15,774 creating build 2023-05-17T02:21:15,775 creating build/lib 2023-05-17T02:21:15,775 creating build/lib/certora_jars 2023-05-17T02:21:15,777 copying certora_jars/__init__.py -> build/lib/certora_jars 2023-05-17T02:21:15,779 creating build/lib/certora_cli 2023-05-17T02:21:15,780 copying certora_cli/certoraMutate.py -> build/lib/certora_cli 2023-05-17T02:21:15,782 copying certora_cli/certoraRun.py -> build/lib/certora_cli 2023-05-17T02:21:15,784 copying certora_cli/__init__.py -> build/lib/certora_cli 2023-05-17T02:21:15,786 creating build/lib/certora_cli/Shared 2023-05-17T02:21:15,787 copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared 2023-05-17T02:21:15,790 copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared 2023-05-17T02:21:15,792 copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared 2023-05-17T02:21:15,794 copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared 2023-05-17T02:21:15,797 creating build/lib/certora_cli/EVMVerifier 2023-05-17T02:21:15,798 copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:21:15,804 copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:21:15,806 copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:21:15,808 copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:21:15,811 copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:21:15,812 copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:21:15,814 copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:21:15,816 copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:21:15,818 copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:21:15,820 copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:21:15,824 copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:21:15,827 copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:21:15,830 copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:21:15,832 copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier 2023-05-17T02:21:15,835 creating build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T02:21:15,836 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T02:21:15,839 copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T02:21:15,841 copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T02:21:15,843 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T02:21:15,846 copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler 2023-05-17T02:21:15,847 running egg_info 2023-05-17T02:21:15,904 writing certora_cli_alpha_andrew_satisfy.egg-info/PKG-INFO 2023-05-17T02:21:15,906 writing dependency_links to certora_cli_alpha_andrew_satisfy.egg-info/dependency_links.txt 2023-05-17T02:21:15,908 writing entry points to certora_cli_alpha_andrew_satisfy.egg-info/entry_points.txt 2023-05-17T02:21:15,910 writing requirements to certora_cli_alpha_andrew_satisfy.egg-info/requires.txt 2023-05-17T02:21:15,911 writing top-level names to certora_cli_alpha_andrew_satisfy.egg-info/top_level.txt 2023-05-17T02:21:15,940 reading manifest file 'certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt' 2023-05-17T02:21:15,942 reading manifest template 'MANIFEST.in' 2023-05-17T02:21:15,951 adding license file 'LICENSE' 2023-05-17T02:21:15,955 writing manifest file 'certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt' 2023-05-17T02:21:15,958 copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars 2023-05-17T02:21:15,960 copying certora_jars/MutationTest.jar -> build/lib/certora_jars 2023-05-17T02:21:16,158 copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars 2023-05-17T02:21:16,406 copying certora_jars/Typechecker.jar -> build/lib/certora_jars 2023-05-17T02:21:16,744 copying certora_jars/gambit-linux -> build/lib/certora_jars 2023-05-17T02:21:16,827 copying certora_jars/gambit-macos -> build/lib/certora_jars 2023-05-17T02:21:16,921 /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-05-17T02:21:16,921 !! 2023-05-17T02:21:16,922 ******************************************************************************** 2023-05-17T02:21:16,922 Please avoid running ``setup.py`` directly. 2023-05-17T02:21:16,922 Instead, use pypa/build, pypa/installer, pypa/build or 2023-05-17T02:21:16,922 other standards-based tools. 2023-05-17T02:21:16,922 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-05-17T02:21:16,922 ******************************************************************************** 2023-05-17T02:21:16,923 !! 2023-05-17T02:21:16,923 self.initialize_options() 2023-05-17T02:21:16,946 installing to build/bdist.linux-armv7l/wheel 2023-05-17T02:21:16,946 running install 2023-05-17T02:21:16,971 running install_lib 2023-05-17T02:21:16,997 creating build/bdist.linux-armv7l 2023-05-17T02:21:16,997 creating build/bdist.linux-armv7l/wheel 2023-05-17T02:21:16,999 creating build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T02:21:17,000 copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T02:21:17,203 copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T02:21:17,353 copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T02:21:17,424 copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T02:21:17,426 copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T02:21:17,427 copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T02:21:17,512 copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars 2023-05-17T02:21:17,748 creating build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T02:21:17,749 copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T02:21:17,751 copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T02:21:17,754 copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli 2023-05-17T02:21:17,756 creating build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T02:21:17,757 copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T02:21:17,761 copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T02:21:17,763 copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T02:21:17,766 copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared 2023-05-17T02:21:17,769 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:21:17,770 copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:21:17,776 copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:21:17,779 copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:21:17,781 copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:21:17,784 copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:21:17,786 copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:21:17,789 copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:21:17,791 copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:21:17,794 copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:21:17,796 copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:21:17,799 copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:21:17,802 creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T02:21:17,803 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T02:21:17,806 copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T02:21:17,808 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T02:21:17,810 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T02:21:17,812 copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler 2023-05-17T02:21:17,814 copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:21:17,817 copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:21:17,820 copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier 2023-05-17T02:21:17,822 running install_egg_info 2023-05-17T02:21:17,851 Copying certora_cli_alpha_andrew_satisfy.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_andrew_satisfy-20230516.8.26.706308-py3.9.egg-info 2023-05-17T02:21:17,862 running install_scripts 2023-05-17T02:21:17,879 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2023-05-17T02:21:17,884 creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_andrew_satisfy-20230516.8.26.706308.dist-info/WHEEL 2023-05-17T02:21:17,887 creating '/tmp/pip-wheel-37u4n1gj/certora_cli_alpha_andrew_satisfy-20230516.8.26.706308-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-05-17T02:21:17,889 adding 'certora_cli/__init__.py' 2023-05-17T02:21:17,890 adding 'certora_cli/certoraMutate.py' 2023-05-17T02:21:17,892 adding 'certora_cli/certoraRun.py' 2023-05-17T02:21:17,895 adding 'certora_cli/EVMVerifier/__init__.py' 2023-05-17T02:21:17,917 adding 'certora_cli/EVMVerifier/certoraBuild.py' 2023-05-17T02:21:17,924 adding 'certora_cli/EVMVerifier/certoraCloudIO.py' 2023-05-17T02:21:17,926 adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py' 2023-05-17T02:21:17,928 adding 'certora_cli/EVMVerifier/certoraConfigIO.py' 2023-05-17T02:21:17,932 adding 'certora_cli/EVMVerifier/certoraContext.py' 2023-05-17T02:21:17,936 adding 'certora_cli/EVMVerifier/certoraContextAttribute.py' 2023-05-17T02:21:17,937 adding 'certora_cli/EVMVerifier/certoraContextClass.py' 2023-05-17T02:21:17,943 adding 'certora_cli/EVMVerifier/certoraContextValidator.py' 2023-05-17T02:21:17,944 adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py' 2023-05-17T02:21:17,946 adding 'certora_cli/EVMVerifier/certoraJobList.py' 2023-05-17T02:21:17,948 adding 'certora_cli/EVMVerifier/certoraNodeFilters.py' 2023-05-17T02:21:17,951 adding 'certora_cli/EVMVerifier/certoraType.py' 2023-05-17T02:21:17,954 adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py' 2023-05-17T02:21:17,957 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py' 2023-05-17T02:21:17,958 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py' 2023-05-17T02:21:17,960 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py' 2023-05-17T02:21:17,964 adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py' 2023-05-17T02:21:17,966 adding 'certora_cli/EVMVerifier/Compiler/__init__.py' 2023-05-17T02:21:17,967 adding 'certora_cli/Shared/__init__.py' 2023-05-17T02:21:17,969 adding 'certora_cli/Shared/certoraLogging.py' 2023-05-17T02:21:17,971 adding 'certora_cli/Shared/certoraTester.py' 2023-05-17T02:21:17,978 adding 'certora_cli/Shared/certoraUtils.py' 2023-05-17T02:21:17,982 adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' 2023-05-17T02:21:19,690 adding 'certora_jars/MutationTest.jar' 2023-05-17T02:21:21,019 adding 'certora_jars/Typechecker.3.6.5.jar' 2023-05-17T02:21:22,605 adding 'certora_jars/Typechecker.jar' 2023-05-17T02:21:22,688 adding 'certora_jars/__init__.py' 2023-05-17T02:21:23,425 adding 'certora_jars/gambit-linux' 2023-05-17T02:21:24,084 adding 'certora_jars/gambit-macos' 2023-05-17T02:21:24,110 adding 'certora_cli_alpha_andrew_satisfy-20230516.8.26.706308.dist-info/LICENSE' 2023-05-17T02:21:24,111 adding 'certora_cli_alpha_andrew_satisfy-20230516.8.26.706308.dist-info/METADATA' 2023-05-17T02:21:24,112 adding 'certora_cli_alpha_andrew_satisfy-20230516.8.26.706308.dist-info/WHEEL' 2023-05-17T02:21:24,113 adding 'certora_cli_alpha_andrew_satisfy-20230516.8.26.706308.dist-info/entry_points.txt' 2023-05-17T02:21:24,114 adding 'certora_cli_alpha_andrew_satisfy-20230516.8.26.706308.dist-info/top_level.txt' 2023-05-17T02:21:24,115 adding 'certora_cli_alpha_andrew_satisfy-20230516.8.26.706308.dist-info/RECORD' 2023-05-17T02:21:24,513 removing build/bdist.linux-armv7l/wheel 2023-05-17T02:21:24,634 Building wheel for certora-cli-alpha-andrew-satisfy (setup.py): finished with status 'done' 2023-05-17T02:21:25,022 Created wheel for certora-cli-alpha-andrew-satisfy: filename=certora_cli_alpha_andrew_satisfy-20230516.8.26.706308-py3-none-any.whl size=39049815 sha256=a8bf08e80797fbb352ac4877f279f8c8822c1d15d6db109773403393b7d5b1e1 2023-05-17T02:21:25,023 Stored in directory: /tmp/pip-ephem-wheel-cache-8r6h24yl/wheels/a6/13/ac/a964b86f465deb810fc74e7a5a62c19d063773003c6888b613 2023-05-17T02:21:25,047 Successfully built certora-cli-alpha-andrew-satisfy 2023-05-17T02:21:25,985 Removed build tracker: '/tmp/pip-build-tracker-78n1c_am'