2023-05-15T18:30:51,962 Created temporary directory: /tmp/pip-build-tracker-vd2hbd4b
2023-05-15T18:30:51,964 Initialized build tracking at /tmp/pip-build-tracker-vd2hbd4b
2023-05-15T18:30:51,964 Created build tracker: /tmp/pip-build-tracker-vd2hbd4b
2023-05-15T18:30:51,965 Entered build tracker: /tmp/pip-build-tracker-vd2hbd4b
2023-05-15T18:30:51,965 Created temporary directory: /tmp/pip-wheel-yxakngv0
2023-05-15T18:30:51,969 Created temporary directory: /tmp/pip-ephem-wheel-cache-njr9dmgj
2023-05-15T18:30:51,993 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-15T18:30:51,997 2 location(s) to search for versions of certora-cli-alpha-andrew-satisfy:
2023-05-15T18:30:51,997 * https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-15T18:30:51,997 * https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-15T18:30:51,998 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-15T18:30:51,998 Getting page https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-15T18:30:52,000 Found index url https://pypi.org/simple/
2023-05-15T18:30:52,051 Fetched page https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/ as application/vnd.pypi.simple.v1+json
2023-05-15T18:30:52,054   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-15T18:30:52,054   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-15T18:30:52,054   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-15T18:30:52,055   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-15T18:30:52,055   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-15T18:30:52,056   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-15T18:30:52,056   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-15T18:30:52,056   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-15T18:30:52,057 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-15T18:30:52,057 Getting page https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-15T18:30:52,058 Found index url https://www.piwheels.org/simple/
2023-05-15T18:30:52,250 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/ as text/html
2023-05-15T18:30:52,252   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-15T18:30:52,253   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-15T18:30:52,253   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-15T18:30:52,253 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-15T18:30:52,253 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-15T18:30:52,272 Given no hashes to check 1 links for project 'certora-cli-alpha-andrew-satisfy': discarding no candidates
2023-05-15T18:30:52,290 Collecting certora-cli-alpha-andrew-satisfy==20230515.17.39.398525
2023-05-15T18:30:52,292   Created temporary directory: /tmp/pip-unpack-mow0dpw2
2023-05-15T18:30:52,686   Downloading certora-cli-alpha-andrew-satisfy-20230515.17.39.398525.tar.gz (39.5 MB)
2023-05-15T18:31:02,067   Added certora-cli-alpha-andrew-satisfy==20230515.17.39.398525 from https://files.pythonhosted.org/packages/42/2c/5eb74b071063a5d398f606f4662f7c8b05cce5d245f0fe3e1a76186a9c43/certora-cli-alpha-andrew-satisfy-20230515.17.39.398525.tar.gz to build tracker '/tmp/pip-build-tracker-vd2hbd4b'
2023-05-15T18:31:02,069   Running setup.py (path:/tmp/pip-wheel-yxakngv0/certora-cli-alpha-andrew-satisfy_6f3cdf8250ac4688bd7c0e820b9a578a/setup.py) egg_info for package certora-cli-alpha-andrew-satisfy
2023-05-15T18:31:02,070   Created temporary directory: /tmp/pip-pip-egg-info-d8musxu6
2023-05-15T18:31:02,070   Preparing metadata (setup.py): started
2023-05-15T18:31:02,071   Running command python setup.py egg_info
2023-05-15T18:31:02,707   running egg_info
2023-05-15T18:31:02,709   creating /tmp/pip-pip-egg-info-d8musxu6/certora_cli_alpha_andrew_satisfy.egg-info
2023-05-15T18:31:02,735   writing /tmp/pip-pip-egg-info-d8musxu6/certora_cli_alpha_andrew_satisfy.egg-info/PKG-INFO
2023-05-15T18:31:02,738   writing dependency_links to /tmp/pip-pip-egg-info-d8musxu6/certora_cli_alpha_andrew_satisfy.egg-info/dependency_links.txt
2023-05-15T18:31:02,740   writing entry points to /tmp/pip-pip-egg-info-d8musxu6/certora_cli_alpha_andrew_satisfy.egg-info/entry_points.txt
2023-05-15T18:31:02,741   writing requirements to /tmp/pip-pip-egg-info-d8musxu6/certora_cli_alpha_andrew_satisfy.egg-info/requires.txt
2023-05-15T18:31:02,742   writing top-level names to /tmp/pip-pip-egg-info-d8musxu6/certora_cli_alpha_andrew_satisfy.egg-info/top_level.txt
2023-05-15T18:31:02,744   writing manifest file '/tmp/pip-pip-egg-info-d8musxu6/certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt'
2023-05-15T18:31:02,833   reading manifest file '/tmp/pip-pip-egg-info-d8musxu6/certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt'
2023-05-15T18:31:02,835   reading manifest template 'MANIFEST.in'
2023-05-15T18:31:02,847   adding license file 'LICENSE'
2023-05-15T18:31:02,850   writing manifest file '/tmp/pip-pip-egg-info-d8musxu6/certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt'
2023-05-15T18:31:02,910   Preparing metadata (setup.py): finished with status 'done'
2023-05-15T18:31:02,916   Source in /tmp/pip-wheel-yxakngv0/certora-cli-alpha-andrew-satisfy_6f3cdf8250ac4688bd7c0e820b9a578a has version 20230515.17.39.398525, which satisfies requirement certora-cli-alpha-andrew-satisfy==20230515.17.39.398525 from https://files.pythonhosted.org/packages/42/2c/5eb74b071063a5d398f606f4662f7c8b05cce5d245f0fe3e1a76186a9c43/certora-cli-alpha-andrew-satisfy-20230515.17.39.398525.tar.gz
2023-05-15T18:31:02,917   Removed certora-cli-alpha-andrew-satisfy==20230515.17.39.398525 from https://files.pythonhosted.org/packages/42/2c/5eb74b071063a5d398f606f4662f7c8b05cce5d245f0fe3e1a76186a9c43/certora-cli-alpha-andrew-satisfy-20230515.17.39.398525.tar.gz from build tracker '/tmp/pip-build-tracker-vd2hbd4b'
2023-05-15T18:31:02,924 Created temporary directory: /tmp/pip-unpack-0bzu6d2q
2023-05-15T18:31:02,925 Building wheels for collected packages: certora-cli-alpha-andrew-satisfy
2023-05-15T18:31:02,930   Created temporary directory: /tmp/pip-wheel-ziqvnfjr
2023-05-15T18:31:02,930   Building wheel for certora-cli-alpha-andrew-satisfy (setup.py): started
2023-05-15T18:31:02,931   Destination directory: /tmp/pip-wheel-ziqvnfjr
2023-05-15T18:31:02,931   Running command python setup.py bdist_wheel
2023-05-15T18:31:03,606   running bdist_wheel
2023-05-15T18:31:03,904   running build
2023-05-15T18:31:03,904   running build_py
2023-05-15T18:31:04,116   creating build
2023-05-15T18:31:04,117   creating build/lib
2023-05-15T18:31:04,117   creating build/lib/certora_jars
2023-05-15T18:31:04,119   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-15T18:31:04,122   creating build/lib/certora_cli
2023-05-15T18:31:04,123   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-15T18:31:04,125   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-15T18:31:04,127   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-15T18:31:04,130   creating build/lib/certora_cli/Shared
2023-05-15T18:31:04,130   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-15T18:31:04,133   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-15T18:31:04,135   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-15T18:31:04,138   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-15T18:31:04,142   creating build/lib/certora_cli/EVMVerifier
2023-05-15T18:31:04,143   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T18:31:04,146   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T18:31:04,150   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T18:31:04,153   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T18:31:04,155   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T18:31:04,170   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T18:31:04,173   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T18:31:04,175   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T18:31:04,177   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T18:31:04,181   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T18:31:04,186   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T18:31:04,189   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T18:31:04,192   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T18:31:04,193   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T18:31:04,196   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T18:31:04,197   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T18:31:04,199   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T18:31:04,201   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T18:31:04,204   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T18:31:04,206   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T18:31:04,209   running egg_info
2023-05-15T18:31:04,271   writing certora_cli_alpha_andrew_satisfy.egg-info/PKG-INFO
2023-05-15T18:31:04,273   writing dependency_links to certora_cli_alpha_andrew_satisfy.egg-info/dependency_links.txt
2023-05-15T18:31:04,275   writing entry points to certora_cli_alpha_andrew_satisfy.egg-info/entry_points.txt
2023-05-15T18:31:04,277   writing requirements to certora_cli_alpha_andrew_satisfy.egg-info/requires.txt
2023-05-15T18:31:04,278   writing top-level names to certora_cli_alpha_andrew_satisfy.egg-info/top_level.txt
2023-05-15T18:31:04,310   reading manifest file 'certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt'
2023-05-15T18:31:04,312   reading manifest template 'MANIFEST.in'
2023-05-15T18:31:04,322   adding license file 'LICENSE'
2023-05-15T18:31:04,326   writing manifest file 'certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt'
2023-05-15T18:31:04,329   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-15T18:31:04,332   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-15T18:31:04,580   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-15T18:31:04,748   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-15T18:31:04,960   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-15T18:31:05,076   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-15T18:31:05,200   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-15T18:31:05,200   !!

2023-05-15T18:31:05,201           ********************************************************************************
2023-05-15T18:31:05,201           Please avoid running ``setup.py`` directly.
2023-05-15T18:31:05,201           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-15T18:31:05,201           other standards-based tools.

2023-05-15T18:31:05,201           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-15T18:31:05,201           ********************************************************************************

2023-05-15T18:31:05,202   !!
2023-05-15T18:31:05,202     self.initialize_options()
2023-05-15T18:31:05,230   installing to build/bdist.linux-aarch64/wheel
2023-05-15T18:31:05,230   running install
2023-05-15T18:31:05,255   running install_lib
2023-05-15T18:31:05,282   creating build/bdist.linux-aarch64
2023-05-15T18:31:05,283   creating build/bdist.linux-aarch64/wheel
2023-05-15T18:31:05,285   creating build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T18:31:05,286   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T18:31:05,520   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T18:31:05,522   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T18:31:05,724   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T18:31:05,810   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T18:31:05,920   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T18:31:05,923   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T18:31:06,112   creating build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T18:31:06,113   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T18:31:06,116   creating build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T18:31:06,117   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T18:31:06,120   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T18:31:06,121   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T18:31:06,124   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T18:31:06,128   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T18:31:06,131   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T18:31:06,133   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T18:31:06,134   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T18:31:06,138   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T18:31:06,141   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T18:31:06,144   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T18:31:06,147   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T18:31:06,150   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T18:31:06,153   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T18:31:06,155   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T18:31:06,158   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T18:31:06,162   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T18:31:06,163   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T18:31:06,166   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T18:31:06,169   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T18:31:06,172   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T18:31:06,174   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T18:31:06,177   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T18:31:06,185   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T18:31:06,187   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T18:31:06,191   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T18:31:06,193   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T18:31:06,195   running install_egg_info
2023-05-15T18:31:06,228   Copying certora_cli_alpha_andrew_satisfy.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_andrew_satisfy-20230515.17.39.398525-py3.9.egg-info
2023-05-15T18:31:06,241   running install_scripts
2023-05-15T18:31:06,259   creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_andrew_satisfy-20230515.17.39.398525.dist-info/WHEEL
2023-05-15T18:31:06,262   creating '/tmp/pip-wheel-ziqvnfjr/certora_cli_alpha_andrew_satisfy-20230515.17.39.398525-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it
2023-05-15T18:31:06,264   adding 'certora_cli/__init__.py'
2023-05-15T18:31:06,266   adding 'certora_cli/certoraMutate.py'
2023-05-15T18:31:06,268   adding 'certora_cli/certoraRun.py'
2023-05-15T18:31:06,270   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-15T18:31:06,292   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-15T18:31:06,299   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-15T18:31:06,301   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-15T18:31:06,303   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-15T18:31:06,307   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-15T18:31:06,311   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-15T18:31:06,313   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-15T18:31:06,318   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-15T18:31:06,320   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2023-05-15T18:31:06,322   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-15T18:31:06,324   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-15T18:31:06,327   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-15T18:31:06,330   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-15T18:31:06,333   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-15T18:31:06,335   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-15T18:31:06,336   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-15T18:31:06,341   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-15T18:31:06,342   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-15T18:31:06,344   adding 'certora_cli/Shared/__init__.py'
2023-05-15T18:31:06,346   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-15T18:31:06,348   adding 'certora_cli/Shared/certoraTester.py'
2023-05-15T18:31:06,355   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-15T18:31:06,358   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-15T18:31:08,019   adding 'certora_jars/MutationTest.jar'
2023-05-15T18:31:09,337   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-15T18:31:10,895   adding 'certora_jars/Typechecker.jar'
2023-05-15T18:31:10,978   adding 'certora_jars/__init__.py'
2023-05-15T18:31:11,838   adding 'certora_jars/gambit-linux'
2023-05-15T18:31:12,699   adding 'certora_jars/gambit-macos'
2023-05-15T18:31:12,735   adding 'certora_cli_alpha_andrew_satisfy-20230515.17.39.398525.dist-info/LICENSE'
2023-05-15T18:31:12,736   adding 'certora_cli_alpha_andrew_satisfy-20230515.17.39.398525.dist-info/METADATA'
2023-05-15T18:31:12,737   adding 'certora_cli_alpha_andrew_satisfy-20230515.17.39.398525.dist-info/WHEEL'
2023-05-15T18:31:12,738   adding 'certora_cli_alpha_andrew_satisfy-20230515.17.39.398525.dist-info/entry_points.txt'
2023-05-15T18:31:12,739   adding 'certora_cli_alpha_andrew_satisfy-20230515.17.39.398525.dist-info/top_level.txt'
2023-05-15T18:31:12,740   adding 'certora_cli_alpha_andrew_satisfy-20230515.17.39.398525.dist-info/RECORD'
2023-05-15T18:31:13,257   removing build/bdist.linux-aarch64/wheel
2023-05-15T18:31:13,378   Building wheel for certora-cli-alpha-andrew-satisfy (setup.py): finished with status 'done'
2023-05-15T18:31:13,713   Created wheel for certora-cli-alpha-andrew-satisfy: filename=certora_cli_alpha_andrew_satisfy-20230515.17.39.398525-py3-none-any.whl size=39544387 sha256=72832f3d9d351c8a40275fd1254468b9c48ac3392e59d632260eeb4ace731b2a
2023-05-15T18:31:13,714   Stored in directory: /tmp/pip-ephem-wheel-cache-njr9dmgj/wheels/68/b1/cf/23bff4fe3fec633a6ab3848c1a1ba31ad9a2ec3206f7e1eccc
2023-05-15T18:31:13,744 Successfully built certora-cli-alpha-andrew-satisfy
2023-05-15T18:31:14,692 Removed build tracker: '/tmp/pip-build-tracker-vd2hbd4b'