2023-05-15T17:09:39,635 Created temporary directory: /tmp/pip-build-tracker-ogoljiig
2023-05-15T17:09:39,637 Initialized build tracking at /tmp/pip-build-tracker-ogoljiig
2023-05-15T17:09:39,637 Created build tracker: /tmp/pip-build-tracker-ogoljiig
2023-05-15T17:09:39,637 Entered build tracker: /tmp/pip-build-tracker-ogoljiig
2023-05-15T17:09:39,638 Created temporary directory: /tmp/pip-wheel-5k0fp6mk
2023-05-15T17:09:39,642 Created temporary directory: /tmp/pip-ephem-wheel-cache-s08s0261
2023-05-15T17:09:39,671 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-15T17:09:39,675 2 location(s) to search for versions of certora-cli-alpha-assaf-braveorstupidexperiment:
2023-05-15T17:09:39,675 * https://pypi.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/
2023-05-15T17:09:39,675 * https://www.piwheels.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/
2023-05-15T17:09:39,675 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/
2023-05-15T17:09:39,676 Getting page https://pypi.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/
2023-05-15T17:09:39,678 Found index url https://pypi.org/simple/
2023-05-15T17:09:39,732 Fetched page https://pypi.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/ as application/vnd.pypi.simple.v1+json
2023-05-15T17:09:39,734   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:09:39,734   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:09:39,735   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:09:39,735   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:09:39,736   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:09:39,736   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:09:39,737 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/
2023-05-15T17:09:39,737 Getting page https://www.piwheels.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/
2023-05-15T17:09:39,738 Found index url https://www.piwheels.org/simple/
2023-05-15T17:09:39,889 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/ as text/html
2023-05-15T17:09:39,891   Skipping link: No binaries permitted for certora-cli-alpha-assaf-braveorstupidexperiment: https://www.piwheels.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/certora_cli_alpha_assaf_braveOrStupidExperiment-20230515.14.12.855777-py3-none-any.whl#sha256=c12faffb4e9e649b074dc34442017a50c47d40710d700f70093d0b93cda316f6 (from https://www.piwheels.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/) (requires-python:>=3.8.16)
2023-05-15T17:09:39,891 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/
2023-05-15T17:09:39,891 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/
2023-05-15T17:09:39,910 Given no hashes to check 1 links for project 'certora-cli-alpha-assaf-braveorstupidexperiment': discarding no candidates
2023-05-15T17:09:39,928 Collecting certora-cli-alpha-assaf-braveorstupidexperiment==20230515.15.21.646338
2023-05-15T17:09:39,930   Created temporary directory: /tmp/pip-unpack-34qs4kcm
2023-05-15T17:09:40,213   Downloading certora-cli-alpha-assaf-braveOrStupidExperiment-20230515.15.21.646338.tar.gz (39.4 MB)
2023-05-15T17:10:09,507   Added certora-cli-alpha-assaf-braveorstupidexperiment==20230515.15.21.646338 from https://files.pythonhosted.org/packages/70/2c/16f05679af404830d93d016a6ac05f3f3bad397b6d8d0b9b072e5868472e/certora-cli-alpha-assaf-braveOrStupidExperiment-20230515.15.21.646338.tar.gz to build tracker '/tmp/pip-build-tracker-ogoljiig'
2023-05-15T17:10:09,511   Running setup.py (path:/tmp/pip-wheel-5k0fp6mk/certora-cli-alpha-assaf-braveorstupidexperiment_efb20cc1ee9c41bdbda9f4f391aca7e1/setup.py) egg_info for package certora-cli-alpha-assaf-braveorstupidexperiment
2023-05-15T17:10:09,512   Created temporary directory: /tmp/pip-pip-egg-info-2kxwqa5r
2023-05-15T17:10:09,512   Preparing metadata (setup.py): started
2023-05-15T17:10:09,513   Running command python setup.py egg_info
2023-05-15T17:10:10,148   running egg_info
2023-05-15T17:10:10,150   creating /tmp/pip-pip-egg-info-2kxwqa5r/certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info
2023-05-15T17:10:10,178   writing /tmp/pip-pip-egg-info-2kxwqa5r/certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/PKG-INFO
2023-05-15T17:10:10,181   writing dependency_links to /tmp/pip-pip-egg-info-2kxwqa5r/certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/dependency_links.txt
2023-05-15T17:10:10,183   writing entry points to /tmp/pip-pip-egg-info-2kxwqa5r/certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/entry_points.txt
2023-05-15T17:10:10,185   writing requirements to /tmp/pip-pip-egg-info-2kxwqa5r/certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/requires.txt
2023-05-15T17:10:10,186   writing top-level names to /tmp/pip-pip-egg-info-2kxwqa5r/certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/top_level.txt
2023-05-15T17:10:10,187   writing manifest file '/tmp/pip-pip-egg-info-2kxwqa5r/certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/SOURCES.txt'
2023-05-15T17:10:10,273   reading manifest file '/tmp/pip-pip-egg-info-2kxwqa5r/certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/SOURCES.txt'
2023-05-15T17:10:10,275   reading manifest template 'MANIFEST.in'
2023-05-15T17:10:10,284   adding license file 'LICENSE'
2023-05-15T17:10:10,288   writing manifest file '/tmp/pip-pip-egg-info-2kxwqa5r/certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/SOURCES.txt'
2023-05-15T17:10:10,347   Preparing metadata (setup.py): finished with status 'done'
2023-05-15T17:10:10,353   Source in /tmp/pip-wheel-5k0fp6mk/certora-cli-alpha-assaf-braveorstupidexperiment_efb20cc1ee9c41bdbda9f4f391aca7e1 has version 20230515.15.21.646338, which satisfies requirement certora-cli-alpha-assaf-braveorstupidexperiment==20230515.15.21.646338 from https://files.pythonhosted.org/packages/70/2c/16f05679af404830d93d016a6ac05f3f3bad397b6d8d0b9b072e5868472e/certora-cli-alpha-assaf-braveOrStupidExperiment-20230515.15.21.646338.tar.gz
2023-05-15T17:10:10,354   Removed certora-cli-alpha-assaf-braveorstupidexperiment==20230515.15.21.646338 from https://files.pythonhosted.org/packages/70/2c/16f05679af404830d93d016a6ac05f3f3bad397b6d8d0b9b072e5868472e/certora-cli-alpha-assaf-braveOrStupidExperiment-20230515.15.21.646338.tar.gz from build tracker '/tmp/pip-build-tracker-ogoljiig'
2023-05-15T17:10:10,363 Created temporary directory: /tmp/pip-unpack-ucpq58tj
2023-05-15T17:10:10,364 Building wheels for collected packages: certora-cli-alpha-assaf-braveorstupidexperiment
2023-05-15T17:10:10,369   Created temporary directory: /tmp/pip-wheel-bspxvtsf
2023-05-15T17:10:10,369   Building wheel for certora-cli-alpha-assaf-braveorstupidexperiment (setup.py): started
2023-05-15T17:10:10,370   Destination directory: /tmp/pip-wheel-bspxvtsf
2023-05-15T17:10:10,370   Running command python setup.py bdist_wheel
2023-05-15T17:10:11,036   running bdist_wheel
2023-05-15T17:10:11,332   running build
2023-05-15T17:10:11,333   running build_py
2023-05-15T17:10:11,363   creating build
2023-05-15T17:10:11,364   creating build/lib
2023-05-15T17:10:11,365   creating build/lib/certora_cli
2023-05-15T17:10:11,366   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-15T17:10:11,368   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-15T17:10:11,370   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-15T17:10:11,373   creating build/lib/certora_jars
2023-05-15T17:10:11,374   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-15T17:10:11,376   creating build/lib/certora_cli/Shared
2023-05-15T17:10:11,377   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-15T17:10:11,379   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-15T17:10:11,382   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-15T17:10:11,385   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-15T17:10:11,388   creating build/lib/certora_cli/EVMVerifier
2023-05-15T17:10:11,389   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:10:11,391   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:10:11,394   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:10:11,396   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:10:11,397   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:10:11,400   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:10:11,403   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:10:11,407   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:10:11,409   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:10:11,413   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:10:11,420   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:10:11,423   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:10:11,426   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:10:11,428   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:10:11,431   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:10:11,432   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:10:11,434   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:10:11,437   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:10:11,439   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:10:11,441   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:10:11,444   running egg_info
2023-05-15T17:10:11,508   writing certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/PKG-INFO
2023-05-15T17:10:11,510   writing dependency_links to certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/dependency_links.txt
2023-05-15T17:10:11,513   writing entry points to certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/entry_points.txt
2023-05-15T17:10:11,514   writing requirements to certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/requires.txt
2023-05-15T17:10:11,516   writing top-level names to certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/top_level.txt
2023-05-15T17:10:11,551   reading manifest file 'certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/SOURCES.txt'
2023-05-15T17:10:11,554   reading manifest template 'MANIFEST.in'
2023-05-15T17:10:11,564   adding license file 'LICENSE'
2023-05-15T17:10:11,568   writing manifest file 'certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/SOURCES.txt'
2023-05-15T17:10:11,571   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-15T17:10:11,574   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-15T17:10:11,850   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-15T17:10:12,023   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-15T17:10:12,218   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-15T17:10:12,334   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-15T17:10:12,465   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-15T17:10:12,465   !!

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

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

2023-05-15T17:10:12,467   !!
2023-05-15T17:10:12,467     self.initialize_options()
2023-05-15T17:10:12,495   installing to build/bdist.linux-aarch64/wheel
2023-05-15T17:10:12,495   running install
2023-05-15T17:10:12,520   running install_lib
2023-05-15T17:10:12,549   creating build/bdist.linux-aarch64
2023-05-15T17:10:12,549   creating build/bdist.linux-aarch64/wheel
2023-05-15T17:10:12,551   creating build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T17:10:12,553   creating build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T17:10:12,554   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T17:10:12,556   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T17:10:12,560   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T17:10:12,562   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T17:10:12,566   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:10:12,567   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:10:12,569   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:10:12,571   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:10:12,573   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:10:12,576   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:10:12,577   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:10:12,579   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:10:12,581   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:10:12,583   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:10:12,586   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:10:12,589   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:10:12,592   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:10:12,595   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:10:12,598   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:10:12,600   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:10:12,603   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:10:12,609   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:10:12,613   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:10:12,615   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:10:12,617   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:10:12,620   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T17:10:12,622   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T17:10:12,624   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T17:10:12,628   creating build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:10:12,628   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:10:12,631   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:10:12,836   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:10:12,838   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:10:13,020   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:10:13,108   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:10:13,220   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:10:13,445   running install_egg_info
2023-05-15T17:10:13,479   Copying certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_assaf_braveOrStupidExperiment-20230515.15.21.646338-py3.9.egg-info
2023-05-15T17:10:13,492   running install_scripts
2023-05-15T17:10:13,510   creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_assaf_braveOrStupidExperiment-20230515.15.21.646338.dist-info/WHEEL
2023-05-15T17:10:13,514   creating '/tmp/pip-wheel-bspxvtsf/certora_cli_alpha_assaf_braveOrStupidExperiment-20230515.15.21.646338-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it
2023-05-15T17:10:13,516   adding 'certora_cli/__init__.py'
2023-05-15T17:10:13,518   adding 'certora_cli/certoraMutate.py'
2023-05-15T17:10:13,521   adding 'certora_cli/certoraRun.py'
2023-05-15T17:10:13,523   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-15T17:10:13,546   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-15T17:10:13,553   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-15T17:10:13,556   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-15T17:10:13,558   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-15T17:10:13,563   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-15T17:10:13,567   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-15T17:10:13,569   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-15T17:10:13,574   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-15T17:10:13,577   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2023-05-15T17:10:13,579   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-15T17:10:13,581   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-15T17:10:13,584   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-15T17:10:13,589   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-15T17:10:13,592   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-15T17:10:13,594   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-15T17:10:13,596   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-15T17:10:13,601   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-15T17:10:13,603   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-15T17:10:13,606   adding 'certora_cli/Shared/__init__.py'
2023-05-15T17:10:13,609   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-15T17:10:13,611   adding 'certora_cli/Shared/certoraTester.py'
2023-05-15T17:10:13,618   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-15T17:10:13,621   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-15T17:10:15,265   adding 'certora_jars/MutationTest.jar'
2023-05-15T17:10:16,577   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-15T17:10:18,126   adding 'certora_jars/Typechecker.jar'
2023-05-15T17:10:18,210   adding 'certora_jars/__init__.py'
2023-05-15T17:10:19,066   adding 'certora_jars/gambit-linux'
2023-05-15T17:10:19,924   adding 'certora_jars/gambit-macos'
2023-05-15T17:10:19,960   adding 'certora_cli_alpha_assaf_braveOrStupidExperiment-20230515.15.21.646338.dist-info/LICENSE'
2023-05-15T17:10:19,962   adding 'certora_cli_alpha_assaf_braveOrStupidExperiment-20230515.15.21.646338.dist-info/METADATA'
2023-05-15T17:10:19,963   adding 'certora_cli_alpha_assaf_braveOrStupidExperiment-20230515.15.21.646338.dist-info/WHEEL'
2023-05-15T17:10:19,964   adding 'certora_cli_alpha_assaf_braveOrStupidExperiment-20230515.15.21.646338.dist-info/entry_points.txt'
2023-05-15T17:10:19,965   adding 'certora_cli_alpha_assaf_braveOrStupidExperiment-20230515.15.21.646338.dist-info/top_level.txt'
2023-05-15T17:10:19,966   adding 'certora_cli_alpha_assaf_braveOrStupidExperiment-20230515.15.21.646338.dist-info/RECORD'
2023-05-15T17:10:20,426   removing build/bdist.linux-aarch64/wheel
2023-05-15T17:10:20,541   Building wheel for certora-cli-alpha-assaf-braveorstupidexperiment (setup.py): finished with status 'done'
2023-05-15T17:10:20,873   Created wheel for certora-cli-alpha-assaf-braveorstupidexperiment: filename=certora_cli_alpha_assaf_braveOrStupidExperiment-20230515.15.21.646338-py3-none-any.whl size=39489170 sha256=0cf883997ea95178e8f5dfbe5ec4f04a9545a8769ae7a97858668ca2044bee3c
2023-05-15T17:10:20,874   Stored in directory: /tmp/pip-ephem-wheel-cache-s08s0261/wheels/df/bb/4f/4c74f1a157468656bdd10997c1e0d14e3a87b327f962ad72b1
2023-05-15T17:10:20,904 Successfully built certora-cli-alpha-assaf-braveorstupidexperiment
2023-05-15T17:10:21,875 Removed build tracker: '/tmp/pip-build-tracker-ogoljiig'