2023-05-17T01:43:52,835 Created temporary directory: /tmp/pip-build-tracker-u8bokk4a
2023-05-17T01:43:52,836 Initialized build tracking at /tmp/pip-build-tracker-u8bokk4a
2023-05-17T01:43:52,836 Created build tracker: /tmp/pip-build-tracker-u8bokk4a
2023-05-17T01:43:52,837 Entered build tracker: /tmp/pip-build-tracker-u8bokk4a
2023-05-17T01:43:52,837 Created temporary directory: /tmp/pip-wheel-iakb55jq
2023-05-17T01:43:52,841 Created temporary directory: /tmp/pip-ephem-wheel-cache-81ftb4oi
2023-05-17T01:43:52,863 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-17T01:43:52,867 2 location(s) to search for versions of certora-cli-alpha-andrew-satisfy:
2023-05-17T01:43:52,867 * https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-17T01:43:52,867 * https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-17T01:43:52,867 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-17T01:43:52,867 Getting page https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-17T01:43:52,869 Found index url https://pypi.org/simple/
2023-05-17T01:43:52,918 Fetched page https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/ as application/vnd.pypi.simple.v1+json
2023-05-17T01:43:52,921   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-17T01:43:52,922   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-17T01:43:52,922   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-17T01:43:52,923   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-17T01:43:52,923   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-17T01:43:52,923   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-17T01:43:52,924   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-17T01:43:52,924   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-17T01:43:52,925   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-17T01:43:52,925   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-17T01:43:52,925   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-17T01:43:52,926   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-17T01:43:52,926 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-17T01:43:52,926 Getting page https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-17T01:43:52,927 Found index url https://www.piwheels.org/simple/
2023-05-17T01:43:53,135 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/ as text/html
2023-05-17T01:43:53,137   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-17T01:43:53,137   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-17T01:43:53,138   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-17T01:43:53,138   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-17T01:43:53,138 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-17T01:43:53,138 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-17T01:43:53,155 Given no hashes to check 1 links for project 'certora-cli-alpha-andrew-satisfy': discarding no candidates
2023-05-17T01:43:53,170 Collecting certora-cli-alpha-andrew-satisfy==20230515.21.0.49738
2023-05-17T01:43:53,172   Created temporary directory: /tmp/pip-unpack-h_32szj6
2023-05-17T01:43:53,309   Downloading certora-cli-alpha-andrew-satisfy-20230515.21.0.49738.tar.gz (39.0 MB)
2023-05-17T01:44:02,673   Added certora-cli-alpha-andrew-satisfy==20230515.21.0.49738 from https://files.pythonhosted.org/packages/76/08/e713e05b8a33824764341ea884a052d062dc1900f5c6a56e21e71f7a63a0/certora-cli-alpha-andrew-satisfy-20230515.21.0.49738.tar.gz to build tracker '/tmp/pip-build-tracker-u8bokk4a'
2023-05-17T01:44:02,675   Running setup.py (path:/tmp/pip-wheel-iakb55jq/certora-cli-alpha-andrew-satisfy_6a15bc7d840746479a3967b62987f14f/setup.py) egg_info for package certora-cli-alpha-andrew-satisfy
2023-05-17T01:44:02,676   Created temporary directory: /tmp/pip-pip-egg-info-hsl9eva2
2023-05-17T01:44:02,676   Preparing metadata (setup.py): started
2023-05-17T01:44:02,677   Running command python setup.py egg_info
2023-05-17T01:44:03,247   /usr/local/lib/python3.9/dist-packages/setuptools/dist.py:519: InformationOnly: Normalizing '20230515.21.0.049738' to '20230515.21.0.49738'
2023-05-17T01:44:03,247     self.metadata.version = self._normalize_version(
2023-05-17T01:44:03,292   running egg_info
2023-05-17T01:44:03,294   creating /tmp/pip-pip-egg-info-hsl9eva2/certora_cli_alpha_andrew_satisfy.egg-info
2023-05-17T01:44:03,317   writing /tmp/pip-pip-egg-info-hsl9eva2/certora_cli_alpha_andrew_satisfy.egg-info/PKG-INFO
2023-05-17T01:44:03,319   writing dependency_links to /tmp/pip-pip-egg-info-hsl9eva2/certora_cli_alpha_andrew_satisfy.egg-info/dependency_links.txt
2023-05-17T01:44:03,321   writing entry points to /tmp/pip-pip-egg-info-hsl9eva2/certora_cli_alpha_andrew_satisfy.egg-info/entry_points.txt
2023-05-17T01:44:03,322   writing requirements to /tmp/pip-pip-egg-info-hsl9eva2/certora_cli_alpha_andrew_satisfy.egg-info/requires.txt
2023-05-17T01:44:03,323   writing top-level names to /tmp/pip-pip-egg-info-hsl9eva2/certora_cli_alpha_andrew_satisfy.egg-info/top_level.txt
2023-05-17T01:44:03,324   writing manifest file '/tmp/pip-pip-egg-info-hsl9eva2/certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt'
2023-05-17T01:44:03,401   reading manifest file '/tmp/pip-pip-egg-info-hsl9eva2/certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt'
2023-05-17T01:44:03,403   reading manifest template 'MANIFEST.in'
2023-05-17T01:44:03,412   adding license file 'LICENSE'
2023-05-17T01:44:03,415   writing manifest file '/tmp/pip-pip-egg-info-hsl9eva2/certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt'
2023-05-17T01:44:03,476   Preparing metadata (setup.py): finished with status 'done'
2023-05-17T01:44:03,482   Source in /tmp/pip-wheel-iakb55jq/certora-cli-alpha-andrew-satisfy_6a15bc7d840746479a3967b62987f14f has version 20230515.21.0.49738, which satisfies requirement certora-cli-alpha-andrew-satisfy==20230515.21.0.49738 from https://files.pythonhosted.org/packages/76/08/e713e05b8a33824764341ea884a052d062dc1900f5c6a56e21e71f7a63a0/certora-cli-alpha-andrew-satisfy-20230515.21.0.49738.tar.gz
2023-05-17T01:44:03,483   Removed certora-cli-alpha-andrew-satisfy==20230515.21.0.49738 from https://files.pythonhosted.org/packages/76/08/e713e05b8a33824764341ea884a052d062dc1900f5c6a56e21e71f7a63a0/certora-cli-alpha-andrew-satisfy-20230515.21.0.49738.tar.gz from build tracker '/tmp/pip-build-tracker-u8bokk4a'
2023-05-17T01:44:03,491 Created temporary directory: /tmp/pip-unpack-1r0y14gx
2023-05-17T01:44:03,492 Building wheels for collected packages: certora-cli-alpha-andrew-satisfy
2023-05-17T01:44:03,496   Created temporary directory: /tmp/pip-wheel-w9yk786w
2023-05-17T01:44:03,496   Building wheel for certora-cli-alpha-andrew-satisfy (setup.py): started
2023-05-17T01:44:03,497   Destination directory: /tmp/pip-wheel-w9yk786w
2023-05-17T01:44:03,497   Running command python setup.py bdist_wheel
2023-05-17T01:44:04,022   /usr/local/lib/python3.9/dist-packages/setuptools/dist.py:519: InformationOnly: Normalizing '20230515.21.0.049738' to '20230515.21.0.49738'
2023-05-17T01:44:04,022     self.metadata.version = self._normalize_version(
2023-05-17T01:44:04,272   running bdist_wheel
2023-05-17T01:44:04,543   running build
2023-05-17T01:44:04,543   running build_py
2023-05-17T01:44:04,569   creating build
2023-05-17T01:44:04,570   creating build/lib
2023-05-17T01:44:04,570   creating build/lib/certora_jars
2023-05-17T01:44:04,571   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-17T01:44:04,573   creating build/lib/certora_cli
2023-05-17T01:44:04,574   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-17T01:44:04,576   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-17T01:44:04,578   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-17T01:44:04,580   creating build/lib/certora_cli/Shared
2023-05-17T01:44:04,581   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-17T01:44:04,584   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-17T01:44:04,585   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-17T01:44:04,587   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-17T01:44:04,591   creating build/lib/certora_cli/EVMVerifier
2023-05-17T01:44:04,591   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T01:44:04,596   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T01:44:04,598   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T01:44:04,600   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T01:44:04,603   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T01:44:04,605   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T01:44:04,607   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T01:44:04,608   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T01:44:04,611   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T01:44:04,613   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T01:44:04,615   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T01:44:04,618   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T01:44:04,621   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T01:44:04,623   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-17T01:44:04,626   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T01:44:04,626   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T01:44:04,629   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T01:44:04,631   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T01:44:04,633   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T01:44:04,635   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-17T01:44:04,636   running egg_info
2023-05-17T01:44:04,694   writing certora_cli_alpha_andrew_satisfy.egg-info/PKG-INFO
2023-05-17T01:44:04,695   writing dependency_links to certora_cli_alpha_andrew_satisfy.egg-info/dependency_links.txt
2023-05-17T01:44:04,697   writing entry points to certora_cli_alpha_andrew_satisfy.egg-info/entry_points.txt
2023-05-17T01:44:04,699   writing requirements to certora_cli_alpha_andrew_satisfy.egg-info/requires.txt
2023-05-17T01:44:04,700   writing top-level names to certora_cli_alpha_andrew_satisfy.egg-info/top_level.txt
2023-05-17T01:44:04,728   reading manifest file 'certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt'
2023-05-17T01:44:04,731   reading manifest template 'MANIFEST.in'
2023-05-17T01:44:04,739   adding license file 'LICENSE'
2023-05-17T01:44:04,743   writing manifest file 'certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt'
2023-05-17T01:44:04,747   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-17T01:44:04,749   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-17T01:44:05,708   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-17T01:44:05,970   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-17T01:44:06,185   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-17T01:44:06,279   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-17T01:44:06,372   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-17T01:44:06,372   !!

2023-05-17T01:44:06,372           ********************************************************************************
2023-05-17T01:44:06,372           Please avoid running ``setup.py`` directly.
2023-05-17T01:44:06,373           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-17T01:44:06,373           other standards-based tools.

2023-05-17T01:44:06,373           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-17T01:44:06,373           ********************************************************************************

2023-05-17T01:44:06,373   !!
2023-05-17T01:44:06,374     self.initialize_options()
2023-05-17T01:44:06,397   installing to build/bdist.linux-armv7l/wheel
2023-05-17T01:44:06,397   running install
2023-05-17T01:44:06,422   running install_lib
2023-05-17T01:44:06,447   creating build/bdist.linux-armv7l
2023-05-17T01:44:06,447   creating build/bdist.linux-armv7l/wheel
2023-05-17T01:44:06,449   creating build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T01:44:06,450   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T01:44:06,672   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T01:44:06,834   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T01:44:06,892   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T01:44:06,894   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T01:44:06,896   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T01:44:06,982   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-17T01:44:07,184   creating build/bdist.linux-armv7l/wheel/certora_cli
2023-05-17T01:44:07,185   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-17T01:44:07,187   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-17T01:44:07,190   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-17T01:44:07,192   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-17T01:44:07,193   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-17T01:44:07,196   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-17T01:44:07,198   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-17T01:44:07,201   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-17T01:44:07,204   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T01:44:07,205   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T01:44:07,210   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T01:44:07,213   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T01:44:07,214   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T01:44:07,217   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T01:44:07,219   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T01:44:07,221   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T01:44:07,223   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T01:44:07,225   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T01:44:07,227   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T01:44:07,230   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T01:44:07,233   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T01:44:07,234   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T01:44:07,237   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T01:44:07,238   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T01:44:07,240   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T01:44:07,242   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-17T01:44:07,244   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T01:44:07,247   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T01:44:07,249   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-17T01:44:07,251   running install_egg_info
2023-05-17T01:44:07,280   Copying certora_cli_alpha_andrew_satisfy.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_andrew_satisfy-20230515.21.0.49738-py3.9.egg-info
2023-05-17T01:44:07,291   running install_scripts
2023-05-17T01:44:07,307   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2023-05-17T01:44:07,311   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_andrew_satisfy-20230515.21.0.49738.dist-info/WHEEL
2023-05-17T01:44:07,314   creating '/tmp/pip-wheel-w9yk786w/certora_cli_alpha_andrew_satisfy-20230515.21.0.49738-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2023-05-17T01:44:07,316   adding 'certora_cli/__init__.py'
2023-05-17T01:44:07,317   adding 'certora_cli/certoraMutate.py'
2023-05-17T01:44:07,319   adding 'certora_cli/certoraRun.py'
2023-05-17T01:44:07,321   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-17T01:44:07,344   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-17T01:44:07,350   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-17T01:44:07,352   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-17T01:44:07,354   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-17T01:44:07,358   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-17T01:44:07,361   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-17T01:44:07,363   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-17T01:44:07,368   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-17T01:44:07,370   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2023-05-17T01:44:07,372   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-17T01:44:07,373   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-17T01:44:07,376   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-17T01:44:07,380   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-17T01:44:07,382   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-17T01:44:07,383   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-17T01:44:07,385   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-17T01:44:07,389   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-17T01:44:07,391   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-17T01:44:07,392   adding 'certora_cli/Shared/__init__.py'
2023-05-17T01:44:07,395   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-17T01:44:07,396   adding 'certora_cli/Shared/certoraTester.py'
2023-05-17T01:44:07,403   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-17T01:44:07,406   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-17T01:44:09,088   adding 'certora_jars/MutationTest.jar'
2023-05-17T01:44:10,420   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-17T01:44:12,009   adding 'certora_jars/Typechecker.jar'
2023-05-17T01:44:12,092   adding 'certora_jars/__init__.py'
2023-05-17T01:44:12,827   adding 'certora_jars/gambit-linux'
2023-05-17T01:44:13,486   adding 'certora_jars/gambit-macos'
2023-05-17T01:44:13,511   adding 'certora_cli_alpha_andrew_satisfy-20230515.21.0.49738.dist-info/LICENSE'
2023-05-17T01:44:13,512   adding 'certora_cli_alpha_andrew_satisfy-20230515.21.0.49738.dist-info/METADATA'
2023-05-17T01:44:13,513   adding 'certora_cli_alpha_andrew_satisfy-20230515.21.0.49738.dist-info/WHEEL'
2023-05-17T01:44:13,514   adding 'certora_cli_alpha_andrew_satisfy-20230515.21.0.49738.dist-info/entry_points.txt'
2023-05-17T01:44:13,515   adding 'certora_cli_alpha_andrew_satisfy-20230515.21.0.49738.dist-info/top_level.txt'
2023-05-17T01:44:13,516   adding 'certora_cli_alpha_andrew_satisfy-20230515.21.0.49738.dist-info/RECORD'
2023-05-17T01:44:13,933   removing build/bdist.linux-armv7l/wheel
2023-05-17T01:44:14,054   Building wheel for certora-cli-alpha-andrew-satisfy (setup.py): finished with status 'done'
2023-05-17T01:44:14,455   Created wheel for certora-cli-alpha-andrew-satisfy: filename=certora_cli_alpha_andrew_satisfy-20230515.21.0.49738-py3-none-any.whl size=39041269 sha256=92eaaf30572bbc9ecfdab35bbe8e2fdaebd121d709947c4d610dc10831daa468
2023-05-17T01:44:14,456   Stored in directory: /tmp/pip-ephem-wheel-cache-81ftb4oi/wheels/5d/7f/67/70bea1703343567e17a4033eb71b09db28156f33786c76cffb
2023-05-17T01:44:14,480 Successfully built certora-cli-alpha-andrew-satisfy
2023-05-17T01:44:15,518 Removed build tracker: '/tmp/pip-build-tracker-u8bokk4a'