2023-05-15T17:01:08,724 Created temporary directory: /tmp/pip-build-tracker-4q6ll3m1
2023-05-15T17:01:08,725 Initialized build tracking at /tmp/pip-build-tracker-4q6ll3m1
2023-05-15T17:01:08,726 Created build tracker: /tmp/pip-build-tracker-4q6ll3m1
2023-05-15T17:01:08,726 Entered build tracker: /tmp/pip-build-tracker-4q6ll3m1
2023-05-15T17:01:08,726 Created temporary directory: /tmp/pip-wheel-0y9o4rea
2023-05-15T17:01:08,730 Created temporary directory: /tmp/pip-ephem-wheel-cache-ci1ziclf
2023-05-15T17:01:08,755 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-15T17:01:08,759 2 location(s) to search for versions of certora-cli-alpha-andrew-satisfy:
2023-05-15T17:01:08,759 * https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-15T17:01:08,759 * https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-15T17:01:08,759 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-15T17:01:08,760 Getting page https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-15T17:01:08,762 Found index url https://pypi.org/simple/
2023-05-15T17:01:08,813 Fetched page https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/ as application/vnd.pypi.simple.v1+json
2023-05-15T17:01:08,816   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-15T17:01:08,816   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-15T17:01:08,817   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-15T17:01:08,817   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-15T17:01:08,817   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-15T17:01:08,818   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-15T17:01:08,818 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-15T17:01:08,818 Getting page https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-15T17:01:08,819 Found index url https://www.piwheels.org/simple/
2023-05-15T17:01:08,996 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/ as text/html
2023-05-15T17:01:08,997 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-15T17:01:08,998 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-andrew-satisfy/
2023-05-15T17:01:09,017 Given no hashes to check 1 links for project 'certora-cli-alpha-andrew-satisfy': discarding no candidates
2023-05-15T17:01:09,036 Collecting certora-cli-alpha-andrew-satisfy==20230515.14.17.18468
2023-05-15T17:01:09,039   Created temporary directory: /tmp/pip-unpack-f03hdvdq
2023-05-15T17:01:09,175   Downloading certora-cli-alpha-andrew-satisfy-20230515.14.17.18468.tar.gz (39.5 MB)
2023-05-15T17:01:39,408   Added certora-cli-alpha-andrew-satisfy==20230515.14.17.18468 from https://files.pythonhosted.org/packages/d3/a1/c091b6a641ece1d7aa00ba8c5146a2526fa9be0eb510d26e44759ec9f7dc/certora-cli-alpha-andrew-satisfy-20230515.14.17.18468.tar.gz to build tracker '/tmp/pip-build-tracker-4q6ll3m1'
2023-05-15T17:01:39,412   Running setup.py (path:/tmp/pip-wheel-0y9o4rea/certora-cli-alpha-andrew-satisfy_fa1e487425f44b478ff9bcb0553416f9/setup.py) egg_info for package certora-cli-alpha-andrew-satisfy
2023-05-15T17:01:39,413   Created temporary directory: /tmp/pip-pip-egg-info-3ibqnhti
2023-05-15T17:01:39,413   Preparing metadata (setup.py): started
2023-05-15T17:01:39,414   Running command python setup.py egg_info
2023-05-15T17:01:40,022   /usr/local/lib/python3.9/dist-packages/setuptools/dist.py:519: InformationOnly: Normalizing '20230515.14.17.018468' to '20230515.14.17.18468'
2023-05-15T17:01:40,023     self.metadata.version = self._normalize_version(
2023-05-15T17:01:40,074   running egg_info
2023-05-15T17:01:40,076   creating /tmp/pip-pip-egg-info-3ibqnhti/certora_cli_alpha_andrew_satisfy.egg-info
2023-05-15T17:01:40,105   writing /tmp/pip-pip-egg-info-3ibqnhti/certora_cli_alpha_andrew_satisfy.egg-info/PKG-INFO
2023-05-15T17:01:40,108   writing dependency_links to /tmp/pip-pip-egg-info-3ibqnhti/certora_cli_alpha_andrew_satisfy.egg-info/dependency_links.txt
2023-05-15T17:01:40,110   writing entry points to /tmp/pip-pip-egg-info-3ibqnhti/certora_cli_alpha_andrew_satisfy.egg-info/entry_points.txt
2023-05-15T17:01:40,111   writing requirements to /tmp/pip-pip-egg-info-3ibqnhti/certora_cli_alpha_andrew_satisfy.egg-info/requires.txt
2023-05-15T17:01:40,112   writing top-level names to /tmp/pip-pip-egg-info-3ibqnhti/certora_cli_alpha_andrew_satisfy.egg-info/top_level.txt
2023-05-15T17:01:40,114   writing manifest file '/tmp/pip-pip-egg-info-3ibqnhti/certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt'
2023-05-15T17:01:40,200   reading manifest file '/tmp/pip-pip-egg-info-3ibqnhti/certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt'
2023-05-15T17:01:40,202   reading manifest template 'MANIFEST.in'
2023-05-15T17:01:40,211   adding license file 'LICENSE'
2023-05-15T17:01:40,215   writing manifest file '/tmp/pip-pip-egg-info-3ibqnhti/certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt'
2023-05-15T17:01:40,275   Preparing metadata (setup.py): finished with status 'done'
2023-05-15T17:01:40,281   Source in /tmp/pip-wheel-0y9o4rea/certora-cli-alpha-andrew-satisfy_fa1e487425f44b478ff9bcb0553416f9 has version 20230515.14.17.18468, which satisfies requirement certora-cli-alpha-andrew-satisfy==20230515.14.17.18468 from https://files.pythonhosted.org/packages/d3/a1/c091b6a641ece1d7aa00ba8c5146a2526fa9be0eb510d26e44759ec9f7dc/certora-cli-alpha-andrew-satisfy-20230515.14.17.18468.tar.gz
2023-05-15T17:01:40,282   Removed certora-cli-alpha-andrew-satisfy==20230515.14.17.18468 from https://files.pythonhosted.org/packages/d3/a1/c091b6a641ece1d7aa00ba8c5146a2526fa9be0eb510d26e44759ec9f7dc/certora-cli-alpha-andrew-satisfy-20230515.14.17.18468.tar.gz from build tracker '/tmp/pip-build-tracker-4q6ll3m1'
2023-05-15T17:01:40,289 Created temporary directory: /tmp/pip-unpack-c39087xz
2023-05-15T17:01:40,289 Building wheels for collected packages: certora-cli-alpha-andrew-satisfy
2023-05-15T17:01:40,294   Created temporary directory: /tmp/pip-wheel-gczz77dr
2023-05-15T17:01:40,294   Building wheel for certora-cli-alpha-andrew-satisfy (setup.py): started
2023-05-15T17:01:40,295   Destination directory: /tmp/pip-wheel-gczz77dr
2023-05-15T17:01:40,295   Running command python setup.py bdist_wheel
2023-05-15T17:01:40,855   /usr/local/lib/python3.9/dist-packages/setuptools/dist.py:519: InformationOnly: Normalizing '20230515.14.17.018468' to '20230515.14.17.18468'
2023-05-15T17:01:40,855     self.metadata.version = self._normalize_version(
2023-05-15T17:01:40,951   running bdist_wheel
2023-05-15T17:01:41,246   running build
2023-05-15T17:01:41,246   running build_py
2023-05-15T17:01:41,277   creating build
2023-05-15T17:01:41,277   creating build/lib
2023-05-15T17:01:41,278   creating build/lib/certora_cli
2023-05-15T17:01:41,279   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-15T17:01:41,281   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-15T17:01:41,283   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-15T17:01:41,286   creating build/lib/certora_jars
2023-05-15T17:01:41,287   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-15T17:01:41,290   creating build/lib/certora_cli/Shared
2023-05-15T17:01:41,290   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-15T17:01:41,293   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-15T17:01:41,296   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-15T17:01:41,298   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-15T17:01:41,302   creating build/lib/certora_cli/EVMVerifier
2023-05-15T17:01:41,303   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:01:41,305   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:01:41,307   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:01:41,309   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:01:41,311   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:01:41,314   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:01:41,317   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:01:41,321   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:01:41,323   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:01:41,327   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:01:41,335   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:01:41,339   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:01:41,341   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:01:41,343   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:01:41,348   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:01:41,349   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:01:41,351   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:01:41,354   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:01:41,357   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:01:41,359   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:01:41,363   running egg_info
2023-05-15T17:01:41,425   writing certora_cli_alpha_andrew_satisfy.egg-info/PKG-INFO
2023-05-15T17:01:41,428   writing dependency_links to certora_cli_alpha_andrew_satisfy.egg-info/dependency_links.txt
2023-05-15T17:01:41,430   writing entry points to certora_cli_alpha_andrew_satisfy.egg-info/entry_points.txt
2023-05-15T17:01:41,432   writing requirements to certora_cli_alpha_andrew_satisfy.egg-info/requires.txt
2023-05-15T17:01:41,433   writing top-level names to certora_cli_alpha_andrew_satisfy.egg-info/top_level.txt
2023-05-15T17:01:41,465   reading manifest file 'certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt'
2023-05-15T17:01:41,468   reading manifest template 'MANIFEST.in'
2023-05-15T17:01:41,477   adding license file 'LICENSE'
2023-05-15T17:01:41,481   writing manifest file 'certora_cli_alpha_andrew_satisfy.egg-info/SOURCES.txt'
2023-05-15T17:01:41,484   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-15T17:01:41,486   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-15T17:01:41,719   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-15T17:01:41,900   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-15T17:01:42,090   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-15T17:01:42,214   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-15T17:01:42,350   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-15T17:01:42,351   !!

2023-05-15T17:01:42,351           ********************************************************************************
2023-05-15T17:01:42,351           Please avoid running ``setup.py`` directly.
2023-05-15T17:01:42,351           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-15T17:01:42,351           other standards-based tools.

2023-05-15T17:01:42,352           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-15T17:01:42,352           ********************************************************************************

2023-05-15T17:01:42,352   !!
2023-05-15T17:01:42,352     self.initialize_options()
2023-05-15T17:01:42,379   installing to build/bdist.linux-aarch64/wheel
2023-05-15T17:01:42,379   running install
2023-05-15T17:01:42,405   running install_lib
2023-05-15T17:01:42,433   creating build/bdist.linux-aarch64
2023-05-15T17:01:42,433   creating build/bdist.linux-aarch64/wheel
2023-05-15T17:01:42,435   creating build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T17:01:42,437   creating build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T17:01:42,438   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T17:01:42,440   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T17:01:42,443   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T17:01:42,446   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T17:01:42,449   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:01:42,450   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:01:42,452   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:01:42,455   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:01:42,456   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:01:42,459   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:01:42,460   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:01:42,462   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:01:42,464   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:01:42,466   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:01:42,468   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:01:42,471   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:01:42,475   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:01:42,478   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:01:42,481   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:01:42,483   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:01:42,487   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:01:42,493   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:01:42,496   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:01:42,499   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:01:42,501   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:01:42,504   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T17:01:42,506   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T17:01:42,508   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T17:01:42,512   creating build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:01:42,514   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:01:42,516   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:01:42,716   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:01:42,718   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:01:42,890   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:01:42,975   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:01:43,080   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:01:43,303   running install_egg_info
2023-05-15T17:01:43,337   Copying certora_cli_alpha_andrew_satisfy.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_andrew_satisfy-20230515.14.17.18468-py3.9.egg-info
2023-05-15T17:01:43,350   running install_scripts
2023-05-15T17:01:43,369   creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_andrew_satisfy-20230515.14.17.18468.dist-info/WHEEL
2023-05-15T17:01:43,371   creating '/tmp/pip-wheel-gczz77dr/certora_cli_alpha_andrew_satisfy-20230515.14.17.18468-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it
2023-05-15T17:01:43,374   adding 'certora_cli/__init__.py'
2023-05-15T17:01:43,376   adding 'certora_cli/certoraMutate.py'
2023-05-15T17:01:43,378   adding 'certora_cli/certoraRun.py'
2023-05-15T17:01:43,380   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-15T17:01:43,402   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-15T17:01:43,409   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-15T17:01:43,411   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-15T17:01:43,413   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-15T17:01:43,417   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-15T17:01:43,421   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-15T17:01:43,423   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-15T17:01:43,428   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-15T17:01:43,430   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2023-05-15T17:01:43,432   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-15T17:01:43,434   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-15T17:01:43,437   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-15T17:01:43,441   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-15T17:01:43,443   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-15T17:01:43,445   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-15T17:01:43,447   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-15T17:01:43,452   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-15T17:01:43,453   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-15T17:01:43,455   adding 'certora_cli/Shared/__init__.py'
2023-05-15T17:01:43,457   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-15T17:01:43,459   adding 'certora_cli/Shared/certoraTester.py'
2023-05-15T17:01:43,466   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-15T17:01:43,470   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-15T17:01:45,109   adding 'certora_jars/MutationTest.jar'
2023-05-15T17:01:46,419   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-15T17:01:47,966   adding 'certora_jars/Typechecker.jar'
2023-05-15T17:01:48,050   adding 'certora_jars/__init__.py'
2023-05-15T17:01:48,906   adding 'certora_jars/gambit-linux'
2023-05-15T17:01:49,764   adding 'certora_jars/gambit-macos'
2023-05-15T17:01:49,800   adding 'certora_cli_alpha_andrew_satisfy-20230515.14.17.18468.dist-info/LICENSE'
2023-05-15T17:01:49,802   adding 'certora_cli_alpha_andrew_satisfy-20230515.14.17.18468.dist-info/METADATA'
2023-05-15T17:01:49,803   adding 'certora_cli_alpha_andrew_satisfy-20230515.14.17.18468.dist-info/WHEEL'
2023-05-15T17:01:49,804   adding 'certora_cli_alpha_andrew_satisfy-20230515.14.17.18468.dist-info/entry_points.txt'
2023-05-15T17:01:49,805   adding 'certora_cli_alpha_andrew_satisfy-20230515.14.17.18468.dist-info/top_level.txt'
2023-05-15T17:01:49,806   adding 'certora_cli_alpha_andrew_satisfy-20230515.14.17.18468.dist-info/RECORD'
2023-05-15T17:01:50,281   removing build/bdist.linux-aarch64/wheel
2023-05-15T17:01:50,401   Building wheel for certora-cli-alpha-andrew-satisfy (setup.py): finished with status 'done'
2023-05-15T17:01:50,730   Created wheel for certora-cli-alpha-andrew-satisfy: filename=certora_cli_alpha_andrew_satisfy-20230515.14.17.18468-py3-none-any.whl size=39533599 sha256=11080c728343466d0949b06ddae3970c42138947b9d5a005f53c9c2c98661fae
2023-05-15T17:01:50,731   Stored in directory: /tmp/pip-ephem-wheel-cache-ci1ziclf/wheels/97/f3/01/069bbb7fd5e0d912ecc13e2bbdc461e82686e5a7064cb6d9cb
2023-05-15T17:01:50,762 Successfully built certora-cli-alpha-andrew-satisfy
2023-05-15T17:01:51,713 Removed build tracker: '/tmp/pip-build-tracker-4q6ll3m1'