2023-05-14T09:19:38,043 Created temporary directory: /tmp/pip-build-tracker-rytg_561
2023-05-14T09:19:38,044 Initialized build tracking at /tmp/pip-build-tracker-rytg_561
2023-05-14T09:19:38,044 Created build tracker: /tmp/pip-build-tracker-rytg_561
2023-05-14T09:19:38,044 Entered build tracker: /tmp/pip-build-tracker-rytg_561
2023-05-14T09:19:38,045 Created temporary directory: /tmp/pip-wheel-qgniu042
2023-05-14T09:19:38,049 Created temporary directory: /tmp/pip-ephem-wheel-cache-c5g8kkk6
2023-05-14T09:19:38,078 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-14T09:19:38,082 2 location(s) to search for versions of certora-cli-alpha-jtoman-source-copy-refactor:
2023-05-14T09:19:38,082 * https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/
2023-05-14T09:19:38,082 * https://www.piwheels.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/
2023-05-14T09:19:38,083 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/
2023-05-14T09:19:38,083 Getting page https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/
2023-05-14T09:19:38,085 Found index url https://pypi.org/simple/
2023-05-14T09:19:38,146 Fetched page https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/ as application/vnd.pypi.simple.v1+json
2023-05-14T09:19:38,148   Found link https://files.pythonhosted.org/packages/c1/0a/faa0fdb808b74f685bd364ffd93791898636c0551723071d97a6c12b0f46/certora-cli-alpha-jtoman-source-copy-refactor-20230509.2.1.997423.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/) (requires-python:>=3.8.16), version: 20230509.2.1.997423
2023-05-14T09:19:38,149   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-source-copy-refactor: https://files.pythonhosted.org/packages/eb/99/bca1f9878c62612e5710d408bdb0414db354d66d3221a8343e9a80d78f16/certora_cli_alpha_jtoman_source_copy_refactor-20230509.2.1.997423-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/) (requires-python:>=3.8.16)
2023-05-14T09:19:38,149   Found link https://files.pythonhosted.org/packages/40/e0/7e3d642a2ae640361d5e80fa825f73c85e54768561c79287098b19d62e82/certora-cli-alpha-jtoman-source-copy-refactor-20230509.18.47.491829.tar.gz (from https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/) (requires-python:>=3.8.16), version: 20230509.18.47.491829
2023-05-14T09:19:38,150   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-source-copy-refactor: https://files.pythonhosted.org/packages/3a/f1/2424bde6060a1384139166ab68d71fd32158f7ce3d4e8c13400beb78b058/certora_cli_alpha_jtoman_source_copy_refactor-20230509.18.47.491829-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/) (requires-python:>=3.8.16)
2023-05-14T09:19:38,150 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/
2023-05-14T09:19:38,151 Getting page https://www.piwheels.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/
2023-05-14T09:19:38,152 Found index url https://www.piwheels.org/simple/
2023-05-14T09:19:38,325 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/ as text/html
2023-05-14T09:19:38,326   Skipping link: No binaries permitted for certora-cli-alpha-jtoman-source-copy-refactor: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/certora_cli_alpha_jtoman_source_copy_refactor-20230509.2.1.997423-py3-none-any.whl#sha256=8ca4b32ad995e92188ccd968092015f74c791d26c47465f05b7314e142edbb65 (from https://www.piwheels.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/) (requires-python:>=3.8.16)
2023-05-14T09:19:38,327 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/
2023-05-14T09:19:38,327 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-jtoman-source-copy-refactor/
2023-05-14T09:19:38,348 Given no hashes to check 1 links for project 'certora-cli-alpha-jtoman-source-copy-refactor': discarding no candidates
2023-05-14T09:19:38,370 Collecting certora-cli-alpha-jtoman-source-copy-refactor==20230509.18.47.491829
2023-05-14T09:19:38,373   Created temporary directory: /tmp/pip-unpack-9une4oz4
2023-05-14T09:19:38,704   Downloading certora-cli-alpha-jtoman-source-copy-refactor-20230509.18.47.491829.tar.gz (38.5 MB)
2023-05-14T09:19:44,889   Added certora-cli-alpha-jtoman-source-copy-refactor==20230509.18.47.491829 from https://files.pythonhosted.org/packages/40/e0/7e3d642a2ae640361d5e80fa825f73c85e54768561c79287098b19d62e82/certora-cli-alpha-jtoman-source-copy-refactor-20230509.18.47.491829.tar.gz to build tracker '/tmp/pip-build-tracker-rytg_561'
2023-05-14T09:19:44,891   Running setup.py (path:/tmp/pip-wheel-qgniu042/certora-cli-alpha-jtoman-source-copy-refactor_f9dec44d92214d3d81632bc213ee9a3a/setup.py) egg_info for package certora-cli-alpha-jtoman-source-copy-refactor
2023-05-14T09:19:44,891   Created temporary directory: /tmp/pip-pip-egg-info-qedxr866
2023-05-14T09:19:44,892   Preparing metadata (setup.py): started
2023-05-14T09:19:44,893   Running command python setup.py egg_info
2023-05-14T09:19:45,500   running egg_info
2023-05-14T09:19:45,501   creating /tmp/pip-pip-egg-info-qedxr866/certora_cli_alpha_jtoman_source_copy_refactor.egg-info
2023-05-14T09:19:45,526   writing /tmp/pip-pip-egg-info-qedxr866/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/PKG-INFO
2023-05-14T09:19:45,528   writing dependency_links to /tmp/pip-pip-egg-info-qedxr866/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/dependency_links.txt
2023-05-14T09:19:45,530   writing entry points to /tmp/pip-pip-egg-info-qedxr866/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/entry_points.txt
2023-05-14T09:19:45,531   writing requirements to /tmp/pip-pip-egg-info-qedxr866/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/requires.txt
2023-05-14T09:19:45,533   writing top-level names to /tmp/pip-pip-egg-info-qedxr866/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/top_level.txt
2023-05-14T09:19:45,534   writing manifest file '/tmp/pip-pip-egg-info-qedxr866/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/SOURCES.txt'
2023-05-14T09:19:45,616   reading manifest file '/tmp/pip-pip-egg-info-qedxr866/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/SOURCES.txt'
2023-05-14T09:19:45,617   reading manifest template 'MANIFEST.in'
2023-05-14T09:19:45,627   adding license file 'LICENSE'
2023-05-14T09:19:45,630   writing manifest file '/tmp/pip-pip-egg-info-qedxr866/certora_cli_alpha_jtoman_source_copy_refactor.egg-info/SOURCES.txt'
2023-05-14T09:19:45,690   Preparing metadata (setup.py): finished with status 'done'
2023-05-14T09:19:45,695   Source in /tmp/pip-wheel-qgniu042/certora-cli-alpha-jtoman-source-copy-refactor_f9dec44d92214d3d81632bc213ee9a3a has version 20230509.18.47.491829, which satisfies requirement certora-cli-alpha-jtoman-source-copy-refactor==20230509.18.47.491829 from https://files.pythonhosted.org/packages/40/e0/7e3d642a2ae640361d5e80fa825f73c85e54768561c79287098b19d62e82/certora-cli-alpha-jtoman-source-copy-refactor-20230509.18.47.491829.tar.gz
2023-05-14T09:19:45,696   Removed certora-cli-alpha-jtoman-source-copy-refactor==20230509.18.47.491829 from https://files.pythonhosted.org/packages/40/e0/7e3d642a2ae640361d5e80fa825f73c85e54768561c79287098b19d62e82/certora-cli-alpha-jtoman-source-copy-refactor-20230509.18.47.491829.tar.gz from build tracker '/tmp/pip-build-tracker-rytg_561'
2023-05-14T09:19:45,703 Created temporary directory: /tmp/pip-unpack-nk94zxl3
2023-05-14T09:19:45,704 Building wheels for collected packages: certora-cli-alpha-jtoman-source-copy-refactor
2023-05-14T09:19:45,709   Created temporary directory: /tmp/pip-wheel-23k0w4dg
2023-05-14T09:19:45,709   Building wheel for certora-cli-alpha-jtoman-source-copy-refactor (setup.py): started
2023-05-14T09:19:45,710   Destination directory: /tmp/pip-wheel-23k0w4dg
2023-05-14T09:19:45,710   Running command python setup.py bdist_wheel
2023-05-14T09:19:46,556   running bdist_wheel
2023-05-14T09:19:46,838   running build
2023-05-14T09:19:46,838   running build_py
2023-05-14T09:19:46,867   creating build
2023-05-14T09:19:46,868   creating build/lib
2023-05-14T09:19:46,869   creating build/lib/certora_jars
2023-05-14T09:19:46,870   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-14T09:19:46,873   creating build/lib/certora_cli
2023-05-14T09:19:46,873   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-14T09:19:46,875   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-14T09:19:46,878   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-14T09:19:46,880   creating build/lib/certora_cli/Shared
2023-05-14T09:19:46,881   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-14T09:19:46,884   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-14T09:19:46,886   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-14T09:19:46,888   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-14T09:19:46,893   creating build/lib/certora_cli/EVMVerifier
2023-05-14T09:19:46,894   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T09:19:46,897   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T09:19:46,900   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T09:19:46,903   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T09:19:46,905   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T09:19:46,908   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T09:19:46,911   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T09:19:46,913   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T09:19:46,918   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T09:19:46,923   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T09:19:46,926   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T09:19:46,929   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T09:19:46,931   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-14T09:19:46,934   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T09:19:46,935   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T09:19:46,937   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T09:19:46,939   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T09:19:46,942   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T09:19:46,944   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-14T09:19:46,947   running egg_info
2023-05-14T09:19:47,010   writing certora_cli_alpha_jtoman_source_copy_refactor.egg-info/PKG-INFO
2023-05-14T09:19:47,012   writing dependency_links to certora_cli_alpha_jtoman_source_copy_refactor.egg-info/dependency_links.txt
2023-05-14T09:19:47,014   writing entry points to certora_cli_alpha_jtoman_source_copy_refactor.egg-info/entry_points.txt
2023-05-14T09:19:47,015   writing requirements to certora_cli_alpha_jtoman_source_copy_refactor.egg-info/requires.txt
2023-05-14T09:19:47,017   writing top-level names to certora_cli_alpha_jtoman_source_copy_refactor.egg-info/top_level.txt
2023-05-14T09:19:47,048   reading manifest file 'certora_cli_alpha_jtoman_source_copy_refactor.egg-info/SOURCES.txt'
2023-05-14T09:19:47,051   reading manifest template 'MANIFEST.in'
2023-05-14T09:19:47,062   adding license file 'LICENSE'
2023-05-14T09:19:47,066   writing manifest file 'certora_cli_alpha_jtoman_source_copy_refactor.egg-info/SOURCES.txt'
2023-05-14T09:19:47,070   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-14T09:19:47,073   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-14T09:19:47,297   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-14T09:19:47,457   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-14T09:19:47,646   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-14T09:19:47,752   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-14T09:19:47,871   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-14T09:19:47,872   !!

2023-05-14T09:19:47,872           ********************************************************************************
2023-05-14T09:19:47,872           Please avoid running ``setup.py`` directly.
2023-05-14T09:19:47,872           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-14T09:19:47,872           other standards-based tools.

2023-05-14T09:19:47,873           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-14T09:19:47,873           ********************************************************************************

2023-05-14T09:19:47,873   !!
2023-05-14T09:19:47,873     self.initialize_options()
2023-05-14T09:19:47,898   installing to build/bdist.linux-aarch64/wheel
2023-05-14T09:19:47,898   running install
2023-05-14T09:19:47,924   running install_lib
2023-05-14T09:19:47,951   creating build/bdist.linux-aarch64
2023-05-14T09:19:47,952   creating build/bdist.linux-aarch64/wheel
2023-05-14T09:19:47,953   creating build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T09:19:47,954   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T09:19:48,156   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T09:19:48,158   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T09:19:48,353   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T09:19:48,445   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T09:19:48,547   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T09:19:48,549   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-14T09:19:48,723   creating build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T09:19:48,724   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T09:19:48,726   creating build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T09:19:48,727   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T09:19:48,729   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T09:19:48,731   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T09:19:48,734   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-14T09:19:48,737   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T09:19:48,740   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-14T09:19:48,742   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T09:19:48,743   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T09:19:48,747   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T09:19:48,750   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T09:19:48,753   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T09:19:48,755   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T09:19:48,758   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T09:19:48,761   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T09:19:48,763   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T09:19:48,767   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T09:19:48,768   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T09:19:48,770   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T09:19:48,772   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T09:19:48,775   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T09:19:48,778   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-14T09:19:48,780   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T09:19:48,785   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T09:19:48,788   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T09:19:48,790   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T09:19:48,792   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-14T09:19:48,794   running install_egg_info
2023-05-14T09:19:48,824   Copying certora_cli_alpha_jtoman_source_copy_refactor.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_jtoman_source_copy_refactor-20230509.18.47.491829-py3.9.egg-info
2023-05-14T09:19:48,835   running install_scripts
2023-05-14T09:19:48,852   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2023-05-14T09:19:48,857   creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_jtoman_source_copy_refactor-20230509.18.47.491829.dist-info/WHEEL
2023-05-14T09:19:48,859   creating '/tmp/pip-wheel-23k0w4dg/certora_cli_alpha_jtoman_source_copy_refactor-20230509.18.47.491829-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it
2023-05-14T09:19:48,862   adding 'certora_cli/__init__.py'
2023-05-14T09:19:48,863   adding 'certora_cli/certoraMutate.py'
2023-05-14T09:19:48,865   adding 'certora_cli/certoraRun.py'
2023-05-14T09:19:48,867   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-14T09:19:48,889   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-14T09:19:48,896   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-14T09:19:48,898   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-14T09:19:48,900   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-14T09:19:48,904   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-14T09:19:48,908   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-14T09:19:48,909   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-14T09:19:48,915   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-14T09:19:48,917   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-14T09:19:48,919   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-14T09:19:48,922   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-14T09:19:48,925   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-14T09:19:48,928   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-14T09:19:48,930   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-14T09:19:48,931   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-14T09:19:48,935   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-14T09:19:48,937   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-14T09:19:48,939   adding 'certora_cli/Shared/__init__.py'
2023-05-14T09:19:48,941   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-14T09:19:48,943   adding 'certora_cli/Shared/certoraTester.py'
2023-05-14T09:19:48,950   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-14T09:19:48,953   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-14T09:19:50,542   adding 'certora_jars/MutationTest.jar'
2023-05-14T09:19:51,855   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-14T09:19:53,349   adding 'certora_jars/Typechecker.jar'
2023-05-14T09:19:53,429   adding 'certora_jars/__init__.py'
2023-05-14T09:19:54,281   adding 'certora_jars/gambit-linux'
2023-05-14T09:19:55,137   adding 'certora_jars/gambit-macos'
2023-05-14T09:19:55,173   adding 'certora_cli_alpha_jtoman_source_copy_refactor-20230509.18.47.491829.dist-info/LICENSE'
2023-05-14T09:19:55,174   adding 'certora_cli_alpha_jtoman_source_copy_refactor-20230509.18.47.491829.dist-info/METADATA'
2023-05-14T09:19:55,175   adding 'certora_cli_alpha_jtoman_source_copy_refactor-20230509.18.47.491829.dist-info/WHEEL'
2023-05-14T09:19:55,176   adding 'certora_cli_alpha_jtoman_source_copy_refactor-20230509.18.47.491829.dist-info/entry_points.txt'
2023-05-14T09:19:55,177   adding 'certora_cli_alpha_jtoman_source_copy_refactor-20230509.18.47.491829.dist-info/top_level.txt'
2023-05-14T09:19:55,178   adding 'certora_cli_alpha_jtoman_source_copy_refactor-20230509.18.47.491829.dist-info/RECORD'
2023-05-14T09:19:55,604   removing build/bdist.linux-aarch64/wheel
2023-05-14T09:19:55,726   Building wheel for certora-cli-alpha-jtoman-source-copy-refactor (setup.py): finished with status 'done'
2023-05-14T09:19:56,050   Created wheel for certora-cli-alpha-jtoman-source-copy-refactor: filename=certora_cli_alpha_jtoman_source_copy_refactor-20230509.18.47.491829-py3-none-any.whl size=38516464 sha256=39e6b57926a09a6bca2f6af2b86a12ae2147f453f69fa31191ddd15003cdd37b
2023-05-14T09:19:56,051   Stored in directory: /tmp/pip-ephem-wheel-cache-c5g8kkk6/wheels/db/b4/83/9815a791998454d0688f1a6a46b525856e12cbc44a24e47278
2023-05-14T09:19:56,080 Successfully built certora-cli-alpha-jtoman-source-copy-refactor
2023-05-14T09:19:57,036 Removed build tracker: '/tmp/pip-build-tracker-rytg_561'