2023-05-15T17:13:50,854 Created temporary directory: /tmp/pip-build-tracker-s0l7jwjw
2023-05-15T17:13:50,855 Initialized build tracking at /tmp/pip-build-tracker-s0l7jwjw
2023-05-15T17:13:50,855 Created build tracker: /tmp/pip-build-tracker-s0l7jwjw
2023-05-15T17:13:50,855 Entered build tracker: /tmp/pip-build-tracker-s0l7jwjw
2023-05-15T17:13:50,856 Created temporary directory: /tmp/pip-wheel-9rdr_e8s
2023-05-15T17:13:50,860 Created temporary directory: /tmp/pip-ephem-wheel-cache-_e0k1thz
2023-05-15T17:13:50,884 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-15T17:13:50,888 2 location(s) to search for versions of certora-cli-alpha-assaf-braveorstupidexperiment:
2023-05-15T17:13:50,888 * https://pypi.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/
2023-05-15T17:13:50,888 * https://www.piwheels.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/
2023-05-15T17:13:50,888 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/
2023-05-15T17:13:50,889 Getting page https://pypi.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/
2023-05-15T17:13:50,891 Found index url https://pypi.org/simple/
2023-05-15T17:13:50,941 Fetched page https://pypi.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/ as application/vnd.pypi.simple.v1+json
2023-05-15T17:13:50,944   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:13:50,944   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:13:50,945   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:13:50,945   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:13:50,946   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:13:50,946   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:13:50,946 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/
2023-05-15T17:13:50,947 Getting page https://www.piwheels.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/
2023-05-15T17:13:50,948 Found index url https://www.piwheels.org/simple/
2023-05-15T17:13:51,113 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/ as text/html
2023-05-15T17:13:51,115   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.15.21.646338-py3-none-any.whl#sha256=0cf883997ea95178e8f5dfbe5ec4f04a9545a8769ae7a97858668ca2044bee3c (from https://www.piwheels.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/) (requires-python:>=3.8.16)
2023-05-15T17:13:51,115   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:13:51,116 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/
2023-05-15T17:13:51,116 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-assaf-braveorstupidexperiment/
2023-05-15T17:13:51,134 Given no hashes to check 1 links for project 'certora-cli-alpha-assaf-braveorstupidexperiment': discarding no candidates
2023-05-15T17:13:51,152 Collecting certora-cli-alpha-assaf-braveorstupidexperiment==20230515.16.8.174804
2023-05-15T17:13:51,155   Created temporary directory: /tmp/pip-unpack-deit2g3e
2023-05-15T17:13:51,542   Downloading certora-cli-alpha-assaf-braveOrStupidExperiment-20230515.16.8.174804.tar.gz (39.4 MB)
2023-05-15T17:14:20,418   Added certora-cli-alpha-assaf-braveorstupidexperiment==20230515.16.8.174804 from https://files.pythonhosted.org/packages/51/b9/be28459066b23e02da7e1e3898618c43891f561de1de0142ec13d116976c/certora-cli-alpha-assaf-braveOrStupidExperiment-20230515.16.8.174804.tar.gz to build tracker '/tmp/pip-build-tracker-s0l7jwjw'
2023-05-15T17:14:20,421   Running setup.py (path:/tmp/pip-wheel-9rdr_e8s/certora-cli-alpha-assaf-braveorstupidexperiment_256aea9f061c417881d58ec50691ce86/setup.py) egg_info for package certora-cli-alpha-assaf-braveorstupidexperiment
2023-05-15T17:14:20,422   Created temporary directory: /tmp/pip-pip-egg-info-ec6s708p
2023-05-15T17:14:20,422   Preparing metadata (setup.py): started
2023-05-15T17:14:20,423   Running command python setup.py egg_info
2023-05-15T17:14:21,063   running egg_info
2023-05-15T17:14:21,064   creating /tmp/pip-pip-egg-info-ec6s708p/certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info
2023-05-15T17:14:21,094   writing /tmp/pip-pip-egg-info-ec6s708p/certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/PKG-INFO
2023-05-15T17:14:21,096   writing dependency_links to /tmp/pip-pip-egg-info-ec6s708p/certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/dependency_links.txt
2023-05-15T17:14:21,099   writing entry points to /tmp/pip-pip-egg-info-ec6s708p/certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/entry_points.txt
2023-05-15T17:14:21,100   writing requirements to /tmp/pip-pip-egg-info-ec6s708p/certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/requires.txt
2023-05-15T17:14:21,101   writing top-level names to /tmp/pip-pip-egg-info-ec6s708p/certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/top_level.txt
2023-05-15T17:14:21,103   writing manifest file '/tmp/pip-pip-egg-info-ec6s708p/certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/SOURCES.txt'
2023-05-15T17:14:21,191   reading manifest file '/tmp/pip-pip-egg-info-ec6s708p/certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/SOURCES.txt'
2023-05-15T17:14:21,193   reading manifest template 'MANIFEST.in'
2023-05-15T17:14:21,203   adding license file 'LICENSE'
2023-05-15T17:14:21,207   writing manifest file '/tmp/pip-pip-egg-info-ec6s708p/certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/SOURCES.txt'
2023-05-15T17:14:21,266   Preparing metadata (setup.py): finished with status 'done'
2023-05-15T17:14:21,272   Source in /tmp/pip-wheel-9rdr_e8s/certora-cli-alpha-assaf-braveorstupidexperiment_256aea9f061c417881d58ec50691ce86 has version 20230515.16.8.174804, which satisfies requirement certora-cli-alpha-assaf-braveorstupidexperiment==20230515.16.8.174804 from https://files.pythonhosted.org/packages/51/b9/be28459066b23e02da7e1e3898618c43891f561de1de0142ec13d116976c/certora-cli-alpha-assaf-braveOrStupidExperiment-20230515.16.8.174804.tar.gz
2023-05-15T17:14:21,273   Removed certora-cli-alpha-assaf-braveorstupidexperiment==20230515.16.8.174804 from https://files.pythonhosted.org/packages/51/b9/be28459066b23e02da7e1e3898618c43891f561de1de0142ec13d116976c/certora-cli-alpha-assaf-braveOrStupidExperiment-20230515.16.8.174804.tar.gz from build tracker '/tmp/pip-build-tracker-s0l7jwjw'
2023-05-15T17:14:21,282 Created temporary directory: /tmp/pip-unpack-w6dq_vyz
2023-05-15T17:14:21,283 Building wheels for collected packages: certora-cli-alpha-assaf-braveorstupidexperiment
2023-05-15T17:14:21,287   Created temporary directory: /tmp/pip-wheel-qnvosxd2
2023-05-15T17:14:21,288   Building wheel for certora-cli-alpha-assaf-braveorstupidexperiment (setup.py): started
2023-05-15T17:14:21,289   Destination directory: /tmp/pip-wheel-qnvosxd2
2023-05-15T17:14:21,289   Running command python setup.py bdist_wheel
2023-05-15T17:14:21,953   running bdist_wheel
2023-05-15T17:14:22,247   running build
2023-05-15T17:14:22,248   running build_py
2023-05-15T17:14:22,279   creating build
2023-05-15T17:14:22,280   creating build/lib
2023-05-15T17:14:22,281   creating build/lib/certora_cli
2023-05-15T17:14:22,283   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-15T17:14:22,285   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-15T17:14:22,288   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-15T17:14:22,292   creating build/lib/certora_jars
2023-05-15T17:14:22,294   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-15T17:14:22,297   creating build/lib/certora_cli/Shared
2023-05-15T17:14:22,298   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-15T17:14:22,301   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-15T17:14:22,305   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-15T17:14:22,308   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-15T17:14:22,313   creating build/lib/certora_cli/EVMVerifier
2023-05-15T17:14:22,315   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:14:22,317   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:14:22,320   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:14:22,323   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:14:22,325   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:14:22,330   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:14:22,334   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:14:22,338   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:14:22,341   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:14:22,347   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:14:22,358   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:14:22,363   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:14:22,366   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:14:22,368   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-15T17:14:22,373   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:14:22,375   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:14:22,377   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:14:22,380   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:14:22,383   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:14:22,385   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-15T17:14:22,388   running egg_info
2023-05-15T17:14:22,452   writing certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/PKG-INFO
2023-05-15T17:14:22,455   writing dependency_links to certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/dependency_links.txt
2023-05-15T17:14:22,457   writing entry points to certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/entry_points.txt
2023-05-15T17:14:22,459   writing requirements to certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/requires.txt
2023-05-15T17:14:22,460   writing top-level names to certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/top_level.txt
2023-05-15T17:14:22,494   reading manifest file 'certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/SOURCES.txt'
2023-05-15T17:14:22,496   reading manifest template 'MANIFEST.in'
2023-05-15T17:14:22,506   adding license file 'LICENSE'
2023-05-15T17:14:22,511   writing manifest file 'certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info/SOURCES.txt'
2023-05-15T17:14:22,514   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-15T17:14:22,516   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-15T17:14:22,723   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-15T17:14:22,925   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-15T17:14:23,115   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-15T17:14:23,222   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-15T17:14:23,339   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-15T17:14:23,340   !!

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

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

2023-05-15T17:14:23,341   !!
2023-05-15T17:14:23,341     self.initialize_options()
2023-05-15T17:14:23,369   installing to build/bdist.linux-aarch64/wheel
2023-05-15T17:14:23,369   running install
2023-05-15T17:14:23,394   running install_lib
2023-05-15T17:14:23,423   creating build/bdist.linux-aarch64
2023-05-15T17:14:23,424   creating build/bdist.linux-aarch64/wheel
2023-05-15T17:14:23,425   creating build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T17:14:23,427   creating build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T17:14:23,428   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T17:14:23,430   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T17:14:23,433   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T17:14:23,436   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-15T17:14:23,439   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:14:23,440   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:14:23,442   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:14:23,444   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:14:23,446   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:14:23,448   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:14:23,449   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:14:23,451   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:14:23,454   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:14:23,456   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:14:23,458   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-15T17:14:23,461   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:14:23,464   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:14:23,467   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:14:23,470   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:14:23,472   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:14:23,476   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:14:23,481   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:14:23,484   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:14:23,486   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:14:23,488   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-15T17:14:23,491   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T17:14:23,493   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T17:14:23,495   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-15T17:14:23,498   creating build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:14:23,499   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:14:23,501   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:14:23,679   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:14:23,681   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:14:23,846   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:14:23,940   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:14:24,058   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-15T17:14:24,288   running install_egg_info
2023-05-15T17:14:24,322   Copying certora_cli_alpha_assaf_braveOrStupidExperiment.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_assaf_braveOrStupidExperiment-20230515.16.8.174804-py3.9.egg-info
2023-05-15T17:14:24,339   running install_scripts
2023-05-15T17:14:24,367   creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_assaf_braveOrStupidExperiment-20230515.16.8.174804.dist-info/WHEEL
2023-05-15T17:14:24,371   creating '/tmp/pip-wheel-qnvosxd2/certora_cli_alpha_assaf_braveOrStupidExperiment-20230515.16.8.174804-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it
2023-05-15T17:14:24,374   adding 'certora_cli/__init__.py'
2023-05-15T17:14:24,376   adding 'certora_cli/certoraMutate.py'
2023-05-15T17:14:24,379   adding 'certora_cli/certoraRun.py'
2023-05-15T17:14:24,381   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-15T17:14:24,403   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-15T17:14:24,410   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-15T17:14:24,412   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-15T17:14:24,414   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-15T17:14:24,418   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-15T17:14:24,422   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-15T17:14:24,424   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-15T17:14:24,429   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-15T17:14:24,431   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2023-05-15T17:14:24,433   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-15T17:14:24,435   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-15T17:14:24,438   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-15T17:14:24,442   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-15T17:14:24,444   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-15T17:14:24,446   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-15T17:14:24,447   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-15T17:14:24,452   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-15T17:14:24,453   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-15T17:14:24,455   adding 'certora_cli/Shared/__init__.py'
2023-05-15T17:14:24,458   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-15T17:14:24,460   adding 'certora_cli/Shared/certoraTester.py'
2023-05-15T17:14:24,466   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-15T17:14:24,469   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-15T17:14:26,110   adding 'certora_jars/MutationTest.jar'
2023-05-15T17:14:27,420   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-15T17:14:28,968   adding 'certora_jars/Typechecker.jar'
2023-05-15T17:14:29,051   adding 'certora_jars/__init__.py'
2023-05-15T17:14:29,902   adding 'certora_jars/gambit-linux'
2023-05-15T17:14:30,757   adding 'certora_jars/gambit-macos'
2023-05-15T17:14:30,792   adding 'certora_cli_alpha_assaf_braveOrStupidExperiment-20230515.16.8.174804.dist-info/LICENSE'
2023-05-15T17:14:30,794   adding 'certora_cli_alpha_assaf_braveOrStupidExperiment-20230515.16.8.174804.dist-info/METADATA'
2023-05-15T17:14:30,795   adding 'certora_cli_alpha_assaf_braveOrStupidExperiment-20230515.16.8.174804.dist-info/WHEEL'
2023-05-15T17:14:30,796   adding 'certora_cli_alpha_assaf_braveOrStupidExperiment-20230515.16.8.174804.dist-info/entry_points.txt'
2023-05-15T17:14:30,797   adding 'certora_cli_alpha_assaf_braveOrStupidExperiment-20230515.16.8.174804.dist-info/top_level.txt'
2023-05-15T17:14:30,798   adding 'certora_cli_alpha_assaf_braveOrStupidExperiment-20230515.16.8.174804.dist-info/RECORD'
2023-05-15T17:14:31,243   removing build/bdist.linux-aarch64/wheel
2023-05-15T17:14:31,360   Building wheel for certora-cli-alpha-assaf-braveorstupidexperiment (setup.py): finished with status 'done'
2023-05-15T17:14:31,692   Created wheel for certora-cli-alpha-assaf-braveorstupidexperiment: filename=certora_cli_alpha_assaf_braveOrStupidExperiment-20230515.16.8.174804-py3-none-any.whl size=39489149 sha256=d79fd9e65a3357444a3c6fb6cc4be5ed495e5b1beac1f1379974f4821c3f36b8
2023-05-15T17:14:31,693   Stored in directory: /tmp/pip-ephem-wheel-cache-_e0k1thz/wheels/57/30/36/dc4673e2fbdb4da6ca9012a78bf1395a57abe2f3f6b152def5
2023-05-15T17:14:31,723 Successfully built certora-cli-alpha-assaf-braveorstupidexperiment
2023-05-15T17:14:32,707 Removed build tracker: '/tmp/pip-build-tracker-s0l7jwjw'