2023-05-15T17:00:54,856 Created temporary directory: /tmp/pip-build-tracker-q4wv9_kn
2023-05-15T17:00:54,857 Initialized build tracking at /tmp/pip-build-tracker-q4wv9_kn
2023-05-15T17:00:54,858 Created build tracker: /tmp/pip-build-tracker-q4wv9_kn
2023-05-15T17:00:54,858 Entered build tracker: /tmp/pip-build-tracker-q4wv9_kn
2023-05-15T17:00:54,858 Created temporary directory: /tmp/pip-wheel-1n1mwhuy
2023-05-15T17:00:54,862 Created temporary directory: /tmp/pip-ephem-wheel-cache-o6kmhgbx
2023-05-15T17:00:54,889 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-15T17:00:54,893 2 location(s) to search for versions of certora-cli-alpha-assaf-braveorstupidexperiment:
2023-05-15T17:00:54,893 * https://pypi.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/
2023-05-15T17:00:54,893 * https://www.piwheels.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/
2023-05-15T17:00:54,893 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/
2023-05-15T17:00:54,893 Getting page https://pypi.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/
2023-05-15T17:00:54,895 Found index url https://pypi.org/simple/
2023-05-15T17:00:54,953 Fetched page https://pypi.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/ as application/vnd.pypi.simple.v1+json
2023-05-15T17:00:54,955   Found link https://files.pythonhosted.org/packages/24/fb/883bb8c2b89c5e9ff166e76f8d1e6ca55decc098f30ed6c52127901e659c/certora-cli-alpha-assaf-braveOrStupidExperiment-20230515.14.12.855777.tar.gz (from https://pypi.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/) (requires-python:>=3.8.16), version: 20230515.14.12.855777
2023-05-15T17:00:54,956   Skipping link: No binaries permitted for certora-cli-alpha-assaf-braveorstupidexperiment: https://files.pythonhosted.org/packages/dd/10/4e175cc3b79e52a632edb25addf33934d181269bbda6d67054abc70fd24b/certora_cli_alpha_assaf_braveOrStupidExperiment-20230515.14.12.855777-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/) (requires-python:>=3.8.16)
2023-05-15T17:00:54,957   Found link https://files.pythonhosted.org/packages/70/2c/16f05679af404830d93d016a6ac05f3f3bad397b6d8d0b9b072e5868472e/certora-cli-alpha-assaf-braveOrStupidExperiment-20230515.15.21.646338.tar.gz (from https://pypi.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/) (requires-python:>=3.8.16), version: 20230515.15.21.646338
2023-05-15T17:00:54,957   Skipping link: No binaries permitted for certora-cli-alpha-assaf-braveorstupidexperiment: https://files.pythonhosted.org/packages/95/af/297c278c00e53ef439ce701531c1bb39491b69c0420b2266f340d8a50341/certora_cli_alpha_assaf_braveOrStupidExperiment-20230515.15.21.646338-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/) (requires-python:>=3.8.16)
2023-05-15T17:00:54,957   Found link https://files.pythonhosted.org/packages/51/b9/be28459066b23e02da7e1e3898618c43891f561de1de0142ec13d116976c/certora-cli-alpha-assaf-braveOrStupidExperiment-20230515.16.8.174804.tar.gz (from https://pypi.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/) (requires-python:>=3.8.16), version: 20230515.16.8.174804
2023-05-15T17:00:54,958   Skipping link: No binaries permitted for certora-cli-alpha-assaf-braveorstupidexperiment: https://files.pythonhosted.org/packages/b3/90/81beddf91d323ae8574da04c26c53ef3a0f35c1ce606bf785091ee7176e9/certora_cli_alpha_assaf_braveOrStupidExperiment-20230515.16.8.174804-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/) (requires-python:>=3.8.16)
2023-05-15T17:00:54,958 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/
2023-05-15T17:00:54,958 Getting page https://www.piwheels.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/
2023-05-15T17:00:54,959 Found index url https://www.piwheels.org/simple/
2023-05-15T17:00:55,153 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/ as text/html
2023-05-15T17:00:55,153 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/
2023-05-15T17:00:55,154 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/
2023-05-15T17:00:55,172 Given no hashes to check 1 links for project 'certora-cli-alpha-assaf-braveorstupidexperiment': discarding no candidates
2023-05-15T17:00:55,190 Collecting certora-cli-alpha-assaf-braveorstupidexperiment==20230515.14.12.855777
2023-05-15T17:00:55,192   Created temporary directory: /tmp/pip-unpack-3mda7ylr
2023-05-15T17:00:57,459   Downloading certora-cli-alpha-assaf-braveOrStupidExperiment-20230515.14.12.855777.tar.gz (39.4 MB)
2023-05-15T17:01:17,708   Added certora-cli-alpha-assaf-braveorstupidexperiment==20230515.14.12.855777 from https://files.pythonhosted.org/packages/24/fb/883bb8c2b89c5e9ff166e76f8d1e6ca55decc098f30ed6c52127901e659c/certora-cli-alpha-assaf-braveOrStupidExperiment-20230515.14.12.855777.tar.gz to build tracker '/tmp/pip-build-tracker-q4wv9_kn'
2023-05-15T17:01:17,711   Running setup.py (path:/tmp/pip-wheel-1n1mwhuy/certora-cli-alpha-assaf-braveorstupidexperiment_f5934bbf7ff2424b992b7a6ba4d9fff0/setup.py) egg_info for package certora-cli-alpha-assaf-braveorstupidexperiment
2023-05-15T17:01:17,712   Created temporary directory: /tmp/pip-pip-egg-info-pyaohkui
2023-05-15T17:01:17,712   Preparing metadata (setup.py): started
2023-05-15T17:01:17,714   Running command python setup.py egg_info
2023-05-15T17:01:18,343   running egg_info
2023-05-15T17:01:18,345   creating /tmp/pip-pip-egg-info-pyaohkui/certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info
2023-05-15T17:01:18,371   writing /tmp/pip-pip-egg-info-pyaohkui/certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/PKG-INFO
2023-05-15T17:01:18,373   writing dependency_links to /tmp/pip-pip-egg-info-pyaohkui/certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/dependency_links.txt
2023-05-15T17:01:18,375   writing entry points to /tmp/pip-pip-egg-info-pyaohkui/certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/entry_points.txt
2023-05-15T17:01:18,376   writing requirements to /tmp/pip-pip-egg-info-pyaohkui/certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/requires.txt
2023-05-15T17:01:18,377   writing top-level names to /tmp/pip-pip-egg-info-pyaohkui/certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/top_level.txt
2023-05-15T17:01:18,379   writing manifest file '/tmp/pip-pip-egg-info-pyaohkui/certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/SOURCES.txt'
2023-05-15T17:01:18,467   reading manifest file '/tmp/pip-pip-egg-info-pyaohkui/certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/SOURCES.txt'
2023-05-15T17:01:18,468   reading manifest template 'MANIFEST.in'
2023-05-15T17:01:18,478   adding license file 'LICENSE'
2023-05-15T17:01:18,481   writing manifest file '/tmp/pip-pip-egg-info-pyaohkui/certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/SOURCES.txt'
2023-05-15T17:01:18,542   Preparing metadata (setup.py): finished with status 'done'
2023-05-15T17:01:18,547   Source in /tmp/pip-wheel-1n1mwhuy/certora-cli-alpha-assaf-braveorstupidexperiment_f5934bbf7ff2424b992b7a6ba4d9fff0 has version 20230515.14.12.855777, which satisfies requirement certora-cli-alpha-assaf-braveorstupidexperiment==20230515.14.12.855777 from https://files.pythonhosted.org/packages/24/fb/883bb8c2b89c5e9ff166e76f8d1e6ca55decc098f30ed6c52127901e659c/certora-cli-alpha-assaf-braveOrStupidExperiment-20230515.14.12.855777.tar.gz
2023-05-15T17:01:18,548   Removed certora-cli-alpha-assaf-braveorstupidexperiment==20230515.14.12.855777 from https://files.pythonhosted.org/packages/24/fb/883bb8c2b89c5e9ff166e76f8d1e6ca55decc098f30ed6c52127901e659c/certora-cli-alpha-assaf-braveOrStupidExperiment-20230515.14.12.855777.tar.gz from build tracker '/tmp/pip-build-tracker-q4wv9_kn'
2023-05-15T17:01:18,555 Created temporary directory: /tmp/pip-unpack-f1xzjhyt
2023-05-15T17:01:18,556 Building wheels for collected packages: certora-cli-alpha-assaf-braveorstupidexperiment
2023-05-15T17:01:18,560   Created temporary directory: /tmp/pip-wheel-jpngohj9
2023-05-15T17:01:18,561   Building wheel for certora-cli-alpha-assaf-braveorstupidexperiment (setup.py): started
2023-05-15T17:01:18,562   Destination directory: /tmp/pip-wheel-jpngohj9
2023-05-15T17:01:18,562   Running command python setup.py bdist_wheel
2023-05-15T17:01:19,224   running bdist_wheel
2023-05-15T17:01:19,516   running build
2023-05-15T17:01:19,517   running build_py
2023-05-15T17:01:19,547   creating build
2023-05-15T17:01:19,547   creating build/lib
2023-05-15T17:01:19,548   creating build/lib/certora_jars
2023-05-15T17:01:19,550   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-15T17:01:19,552   creating build/lib/certora_cli
2023-05-15T17:01:19,553   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-15T17:01:19,554   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-15T17:01:19,557   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-15T17:01:19,559   creating build/lib/certora_cli/Shared
2023-05-15T17:01:19,560   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-15T17:01:19,563   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-15T17:01:19,565   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-15T17:01:19,567   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-15T17:01:19,571   creating build/lib/certora_cli/EVMVerifier
2023-05-15T17:01:19,572   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:01:19,575   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:01:19,579   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:01:19,582   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:01:19,584   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:01:19,587   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:01:19,589   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:01:19,591   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:01:19,593   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:01:19,597   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:01:19,604   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:01:19,607   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:01:19,609   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:01:19,611   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:01:19,614   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:01:19,615   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:01:19,617   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:01:19,619   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:01:19,622   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:01:19,624   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:01:19,626   running egg_info
2023-05-15T17:01:19,688   writing certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/PKG-INFO
2023-05-15T17:01:19,690   writing dependency_links to certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/dependency_links.txt
2023-05-15T17:01:19,692   writing entry points to certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/entry_points.txt
2023-05-15T17:01:19,694   writing requirements to certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/requires.txt
2023-05-15T17:01:19,695   writing top-level names to certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/top_level.txt
2023-05-15T17:01:19,727   reading manifest file 'certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/SOURCES.txt'
2023-05-15T17:01:19,730   reading manifest template 'MANIFEST.in'
2023-05-15T17:01:19,740   adding license file 'LICENSE'
2023-05-15T17:01:19,744   writing manifest file 'certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/SOURCES.txt'
2023-05-15T17:01:19,748   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-15T17:01:19,750   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-15T17:01:19,970   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-15T17:01:20,126   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-15T17:01:20,343   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-15T17:01:20,458   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-15T17:01:20,581   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-15T17:01:20,581   !!

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

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

2023-05-15T17:01:20,582   !!
2023-05-15T17:01:20,582     self.initialize_options()
2023-05-15T17:01:20,610   installing to build/bdist.linux-aarch64/wheel
2023-05-15T17:01:20,611   running install
2023-05-15T17:01:20,636   running install_lib
2023-05-15T17:01:20,665   creating build/bdist.linux-aarch64
2023-05-15T17:01:20,666   creating build/bdist.linux-aarch64/wheel
2023-05-15T17:01:20,668   creating build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:01:20,669   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:01:20,888   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:01:20,890   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:01:21,071   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:01:21,164   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:01:21,278   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:01:21,280   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:01:21,458   creating build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T17:01:21,459   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T17:01:21,462   creating build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T17:01:21,463   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T17:01:21,467   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T17:01:21,469   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T17:01:21,473   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T17:01:21,477   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T17:01:21,480   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T17:01:21,484   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:01:21,486   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:01:21,489   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:01:21,494   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:01:21,498   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:01:21,500   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:01:21,505   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:01:21,509   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:01:21,511   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:01:21,514   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:01:21,519   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:01:21,520   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:01:21,524   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:01:21,526   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:01:21,530   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:01:21,533   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:01:21,536   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:01:21,542   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:01:21,545   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:01:21,548   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:01:21,550   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:01:21,552   running install_egg_info
2023-05-15T17:01:21,586   Copying certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_assaf_braveOrStupidExperiment-20230515.14.12.855777-py3.9.egg-info
2023-05-15T17:01:21,602   running install_scripts
2023-05-15T17:01:21,623   creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_assaf_braveOrStupidExperiment-20230515.14.12.855777.dist-info/WHEEL
2023-05-15T17:01:21,626   creating '/tmp/pip-wheel-jpngohj9/certora_cli_alpha_assaf_braveOrStupidExperiment-20230515.14.12.855777-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it
2023-05-15T17:01:21,629   adding 'certora_cli/__init__.py'
2023-05-15T17:01:21,630   adding 'certora_cli/certoraMutate.py'
2023-05-15T17:01:21,632   adding 'certora_cli/certoraRun.py'
2023-05-15T17:01:21,635   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-15T17:01:21,657   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-15T17:01:21,664   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-15T17:01:21,666   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-15T17:01:21,668   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-15T17:01:21,673   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-15T17:01:21,677   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-15T17:01:21,678   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-15T17:01:21,684   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-15T17:01:21,686   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2023-05-15T17:01:21,688   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-15T17:01:21,690   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-15T17:01:21,693   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-15T17:01:21,697   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-15T17:01:21,700   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-15T17:01:21,702   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-15T17:01:21,703   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-15T17:01:21,708   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-15T17:01:21,710   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-15T17:01:21,712   adding 'certora_cli/Shared/__init__.py'
2023-05-15T17:01:21,714   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-15T17:01:21,716   adding 'certora_cli/Shared/certoraTester.py'
2023-05-15T17:01:21,723   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-15T17:01:21,727   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-15T17:01:23,369   adding 'certora_jars/MutationTest.jar'
2023-05-15T17:01:24,711   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-15T17:01:26,256   adding 'certora_jars/Typechecker.jar'
2023-05-15T17:01:26,339   adding 'certora_jars/__init__.py'
2023-05-15T17:01:27,193   adding 'certora_jars/gambit-linux'
2023-05-15T17:01:28,050   adding 'certora_jars/gambit-macos'
2023-05-15T17:01:28,085   adding 'certora_cli_alpha_assaf_braveOrStupidExperiment-20230515.14.12.855777.dist-info/LICENSE'
2023-05-15T17:01:28,087   adding 'certora_cli_alpha_assaf_braveOrStupidExperiment-20230515.14.12.855777.dist-info/METADATA'
2023-05-15T17:01:28,088   adding 'certora_cli_alpha_assaf_braveOrStupidExperiment-20230515.14.12.855777.dist-info/WHEEL'
2023-05-15T17:01:28,089   adding 'certora_cli_alpha_assaf_braveOrStupidExperiment-20230515.14.12.855777.dist-info/entry_points.txt'
2023-05-15T17:01:28,090   adding 'certora_cli_alpha_assaf_braveOrStupidExperiment-20230515.14.12.855777.dist-info/top_level.txt'
2023-05-15T17:01:28,091   adding 'certora_cli_alpha_assaf_braveOrStupidExperiment-20230515.14.12.855777.dist-info/RECORD'
2023-05-15T17:01:28,535   removing build/bdist.linux-aarch64/wheel
2023-05-15T17:01:28,651   Building wheel for certora-cli-alpha-assaf-braveorstupidexperiment (setup.py): finished with status 'done'
2023-05-15T17:01:28,978   Created wheel for certora-cli-alpha-assaf-braveorstupidexperiment: filename=certora_cli_alpha_assaf_braveOrStupidExperiment-20230515.14.12.855777-py3-none-any.whl size=39489171 sha256=c12faffb4e9e649b074dc34442017a50c47d40710d700f70093d0b93cda316f6
2023-05-15T17:01:28,980   Stored in directory: /tmp/pip-ephem-wheel-cache-o6kmhgbx/wheels/2a/da/a9/5f49bfccc186b3bc43be6143fe99f9014abe78d1d06dc0f8b8
2023-05-15T17:01:29,009 Successfully built certora-cli-alpha-assaf-braveorstupidexperiment
2023-05-15T17:01:30,036 Removed build tracker: '/tmp/pip-build-tracker-q4wv9_kn'