2023-05-13T23:58:35,716 Created temporary directory: /tmp/pip-build-tracker-bmpp2ewj
2023-05-13T23:58:35,717 Initialized build tracking at /tmp/pip-build-tracker-bmpp2ewj
2023-05-13T23:58:35,717 Created build tracker: /tmp/pip-build-tracker-bmpp2ewj
2023-05-13T23:58:35,718 Entered build tracker: /tmp/pip-build-tracker-bmpp2ewj
2023-05-13T23:58:35,718 Created temporary directory: /tmp/pip-wheel-u3zcszw5
2023-05-13T23:58:35,722 Created temporary directory: /tmp/pip-ephem-wheel-cache-4dvwu8ei
2023-05-13T23:58:35,746 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-13T23:58:35,751 2 location(s) to search for versions of certora-cli-alpha-alexstolr-enable-default-events:
2023-05-13T23:58:35,751 * https://pypi.org/simple/certora-cli-alpha-alexstolr-enable-default-events/
2023-05-13T23:58:35,751 * https://www.piwheels.org/simple/certora-cli-alpha-alexstolr-enable-default-events/
2023-05-13T23:58:35,751 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-alexstolr-enable-default-events/
2023-05-13T23:58:35,751 Getting page https://pypi.org/simple/certora-cli-alpha-alexstolr-enable-default-events/
2023-05-13T23:58:35,753 Found index url https://pypi.org/simple/
2023-05-13T23:58:35,809 Fetched page https://pypi.org/simple/certora-cli-alpha-alexstolr-enable-default-events/ as application/vnd.pypi.simple.v1+json
2023-05-13T23:58:35,811   Found link https://files.pythonhosted.org/packages/18/94/136bf2e13df71fbb4413d8a644cecfd92f081803a616f48ffc6bacbd9699/certora-cli-alpha-alexstolr-enable_default_events-20230504.19.39.511001.tar.gz (from https://pypi.org/simple/certora-cli-alpha-alexstolr-enable-default-events/) (requires-python:>=3.8.16), version: 20230504.19.39.511001
2023-05-13T23:58:35,811   Skipping link: No binaries permitted for certora-cli-alpha-alexstolr-enable-default-events: https://files.pythonhosted.org/packages/f7/72/7df5760d849c4cb973f1bda35c8bddb69ef4228deeacb325e21a24dc7304/certora_cli_alpha_alexstolr_enable_default_events-20230504.19.39.511001-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-alexstolr-enable-default-events/) (requires-python:>=3.8.16)
2023-05-13T23:58:35,812 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-alexstolr-enable-default-events/
2023-05-13T23:58:35,812 Getting page https://www.piwheels.org/simple/certora-cli-alpha-alexstolr-enable-default-events/
2023-05-13T23:58:35,813 Found index url https://www.piwheels.org/simple/
2023-05-13T23:58:35,979 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-alexstolr-enable-default-events/ as text/html
2023-05-13T23:58:35,980   Skipping link: No binaries permitted for certora-cli-alpha-alexstolr-enable-default-events: https://www.piwheels.org/simple/certora-cli-alpha-alexstolr-enable-default-events/certora_cli_alpha_alexstolr_enable_default_events-20230504.19.39.511001-py3-none-any.whl#sha256=94c63d172f2e5fe22231b7ac88be2a17e322ad49b674e607bf34e3ac5537c02f (from https://www.piwheels.org/simple/certora-cli-alpha-alexstolr-enable-default-events/) (requires-python:>=3.8.16)
2023-05-13T23:58:35,980 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-alexstolr-enable-default-events/
2023-05-13T23:58:35,981 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-alexstolr-enable-default-events/
2023-05-13T23:58:35,997 Given no hashes to check 1 links for project 'certora-cli-alpha-alexstolr-enable-default-events': discarding no candidates
2023-05-13T23:58:36,013 Collecting certora-cli-alpha-alexstolr-enable-default-events==20230504.19.39.511001
2023-05-13T23:58:36,015   Created temporary directory: /tmp/pip-unpack-ppergosq
2023-05-13T23:58:36,148   Downloading certora-cli-alpha-alexstolr-enable_default_events-20230504.19.39.511001.tar.gz (38.5 MB)
2023-05-13T23:58:45,536   Added certora-cli-alpha-alexstolr-enable-default-events==20230504.19.39.511001 from https://files.pythonhosted.org/packages/18/94/136bf2e13df71fbb4413d8a644cecfd92f081803a616f48ffc6bacbd9699/certora-cli-alpha-alexstolr-enable_default_events-20230504.19.39.511001.tar.gz to build tracker '/tmp/pip-build-tracker-bmpp2ewj'
2023-05-13T23:58:45,538   Running setup.py (path:/tmp/pip-wheel-u3zcszw5/certora-cli-alpha-alexstolr-enable-default-events_f9500f6221c644fdbd806eee538c2d2c/setup.py) egg_info for package certora-cli-alpha-alexstolr-enable-default-events
2023-05-13T23:58:45,539   Created temporary directory: /tmp/pip-pip-egg-info-kkz29jhn
2023-05-13T23:58:45,539   Preparing metadata (setup.py): started
2023-05-13T23:58:45,540   Running command python setup.py egg_info
2023-05-13T23:58:46,165   running egg_info
2023-05-13T23:58:46,167   creating /tmp/pip-pip-egg-info-kkz29jhn/certora_cli_alpha_alexstolr_enable_default_events.egg-info
2023-05-13T23:58:46,192   writing /tmp/pip-pip-egg-info-kkz29jhn/certora_cli_alpha_alexstolr_enable_default_events.egg-info/PKG-INFO
2023-05-13T23:58:46,195   writing dependency_links to /tmp/pip-pip-egg-info-kkz29jhn/certora_cli_alpha_alexstolr_enable_default_events.egg-info/dependency_links.txt
2023-05-13T23:58:46,197   writing entry points to /tmp/pip-pip-egg-info-kkz29jhn/certora_cli_alpha_alexstolr_enable_default_events.egg-info/entry_points.txt
2023-05-13T23:58:46,199   writing requirements to /tmp/pip-pip-egg-info-kkz29jhn/certora_cli_alpha_alexstolr_enable_default_events.egg-info/requires.txt
2023-05-13T23:58:46,200   writing top-level names to /tmp/pip-pip-egg-info-kkz29jhn/certora_cli_alpha_alexstolr_enable_default_events.egg-info/top_level.txt
2023-05-13T23:58:46,202   writing manifest file '/tmp/pip-pip-egg-info-kkz29jhn/certora_cli_alpha_alexstolr_enable_default_events.egg-info/SOURCES.txt'
2023-05-13T23:58:46,287   reading manifest file '/tmp/pip-pip-egg-info-kkz29jhn/certora_cli_alpha_alexstolr_enable_default_events.egg-info/SOURCES.txt'
2023-05-13T23:58:46,289   reading manifest template 'MANIFEST.in'
2023-05-13T23:58:46,298   adding license file 'LICENSE'
2023-05-13T23:58:46,302   writing manifest file '/tmp/pip-pip-egg-info-kkz29jhn/certora_cli_alpha_alexstolr_enable_default_events.egg-info/SOURCES.txt'
2023-05-13T23:58:46,361   Preparing metadata (setup.py): finished with status 'done'
2023-05-13T23:58:46,366   Source in /tmp/pip-wheel-u3zcszw5/certora-cli-alpha-alexstolr-enable-default-events_f9500f6221c644fdbd806eee538c2d2c has version 20230504.19.39.511001, which satisfies requirement certora-cli-alpha-alexstolr-enable-default-events==20230504.19.39.511001 from https://files.pythonhosted.org/packages/18/94/136bf2e13df71fbb4413d8a644cecfd92f081803a616f48ffc6bacbd9699/certora-cli-alpha-alexstolr-enable_default_events-20230504.19.39.511001.tar.gz
2023-05-13T23:58:46,367   Removed certora-cli-alpha-alexstolr-enable-default-events==20230504.19.39.511001 from https://files.pythonhosted.org/packages/18/94/136bf2e13df71fbb4413d8a644cecfd92f081803a616f48ffc6bacbd9699/certora-cli-alpha-alexstolr-enable_default_events-20230504.19.39.511001.tar.gz from build tracker '/tmp/pip-build-tracker-bmpp2ewj'
2023-05-13T23:58:46,374 Created temporary directory: /tmp/pip-unpack-wvx6umoo
2023-05-13T23:58:46,375 Building wheels for collected packages: certora-cli-alpha-alexstolr-enable-default-events
2023-05-13T23:58:46,379   Created temporary directory: /tmp/pip-wheel-zqlsjsle
2023-05-13T23:58:46,380   Building wheel for certora-cli-alpha-alexstolr-enable-default-events (setup.py): started
2023-05-13T23:58:46,381   Destination directory: /tmp/pip-wheel-zqlsjsle
2023-05-13T23:58:46,381   Running command python setup.py bdist_wheel
2023-05-13T23:58:47,207   running bdist_wheel
2023-05-13T23:58:47,504   running build
2023-05-13T23:58:47,505   running build_py
2023-05-13T23:58:47,532   creating build
2023-05-13T23:58:47,533   creating build/lib
2023-05-13T23:58:47,534   creating build/lib/certora_jars
2023-05-13T23:58:47,535   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-13T23:58:47,537   creating build/lib/certora_cli
2023-05-13T23:58:47,538   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-13T23:58:47,539   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-13T23:58:47,542   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-13T23:58:47,545   creating build/lib/certora_cli/Shared
2023-05-13T23:58:47,546   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-13T23:58:47,548   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-13T23:58:47,550   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-13T23:58:47,552   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-13T23:58:47,556   creating build/lib/certora_cli/EVMVerifier
2023-05-13T23:58:47,557   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T23:58:47,561   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T23:58:47,564   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T23:58:47,567   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T23:58:47,569   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T23:58:47,572   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T23:58:47,574   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T23:58:47,577   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T23:58:47,580   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T23:58:47,586   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T23:58:47,588   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T23:58:47,591   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T23:58:47,592   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T23:58:47,595   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T23:58:47,596   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T23:58:47,598   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T23:58:47,600   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T23:58:47,603   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T23:58:47,605   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T23:58:47,607   running egg_info
2023-05-13T23:58:47,667   writing certora_cli_alpha_alexstolr_enable_default_events.egg-info/PKG-INFO
2023-05-13T23:58:47,669   writing dependency_links to certora_cli_alpha_alexstolr_enable_default_events.egg-info/dependency_links.txt
2023-05-13T23:58:47,671   writing entry points to certora_cli_alpha_alexstolr_enable_default_events.egg-info/entry_points.txt
2023-05-13T23:58:47,672   writing requirements to certora_cli_alpha_alexstolr_enable_default_events.egg-info/requires.txt
2023-05-13T23:58:47,674   writing top-level names to certora_cli_alpha_alexstolr_enable_default_events.egg-info/top_level.txt
2023-05-13T23:58:47,703   reading manifest file 'certora_cli_alpha_alexstolr_enable_default_events.egg-info/SOURCES.txt'
2023-05-13T23:58:47,706   reading manifest template 'MANIFEST.in'
2023-05-13T23:58:47,716   adding license file 'LICENSE'
2023-05-13T23:58:47,720   writing manifest file 'certora_cli_alpha_alexstolr_enable_default_events.egg-info/SOURCES.txt'
2023-05-13T23:58:47,723   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-13T23:58:47,725   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-13T23:58:47,959   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-13T23:58:48,131   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-13T23:58:48,312   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-13T23:58:48,424   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-13T23:58:48,571   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-13T23:58:48,571   !!

2023-05-13T23:58:48,571           ********************************************************************************
2023-05-13T23:58:48,571           Please avoid running ``setup.py`` directly.
2023-05-13T23:58:48,571           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-13T23:58:48,572           other standards-based tools.

2023-05-13T23:58:48,572           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-13T23:58:48,572           ********************************************************************************

2023-05-13T23:58:48,572   !!
2023-05-13T23:58:48,572     self.initialize_options()
2023-05-13T23:58:48,600   installing to build/bdist.linux-aarch64/wheel
2023-05-13T23:58:48,600   running install
2023-05-13T23:58:48,626   running install_lib
2023-05-13T23:58:48,652   creating build/bdist.linux-aarch64
2023-05-13T23:58:48,652   creating build/bdist.linux-aarch64/wheel
2023-05-13T23:58:48,654   creating build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T23:58:48,655   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T23:58:48,855   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T23:58:48,857   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T23:58:49,045   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T23:58:49,136   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T23:58:49,245   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T23:58:49,248   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T23:58:49,420   creating build/bdist.linux-aarch64/wheel/certora_cli
2023-05-13T23:58:49,421   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-13T23:58:49,423   creating build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T23:58:49,424   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T23:58:49,427   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T23:58:49,428   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T23:58:49,431   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T23:58:49,434   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-13T23:58:49,437   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-13T23:58:49,439   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T23:58:49,440   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T23:58:49,444   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T23:58:49,447   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T23:58:49,450   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T23:58:49,452   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T23:58:49,455   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T23:58:49,457   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T23:58:49,459   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T23:58:49,464   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T23:58:49,465   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T23:58:49,467   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T23:58:49,469   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T23:58:49,472   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T23:58:49,474   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T23:58:49,477   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T23:58:49,484   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T23:58:49,487   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T23:58:49,490   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T23:58:49,491   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T23:58:49,493   running install_egg_info
2023-05-13T23:58:49,523   Copying certora_cli_alpha_alexstolr_enable_default_events.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_alexstolr_enable_default_events-20230504.19.39.511001-py3.9.egg-info
2023-05-13T23:58:49,535   running install_scripts
2023-05-13T23:58:49,553   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2023-05-13T23:58:49,557   creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_alexstolr_enable_default_events-20230504.19.39.511001.dist-info/WHEEL
2023-05-13T23:58:49,560   creating '/tmp/pip-wheel-zqlsjsle/certora_cli_alpha_alexstolr_enable_default_events-20230504.19.39.511001-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it
2023-05-13T23:58:49,562   adding 'certora_cli/__init__.py'
2023-05-13T23:58:49,564   adding 'certora_cli/certoraMutate.py'
2023-05-13T23:58:49,566   adding 'certora_cli/certoraRun.py'
2023-05-13T23:58:49,568   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-13T23:58:49,589   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-13T23:58:49,596   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-13T23:58:49,598   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-13T23:58:49,600   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-13T23:58:49,604   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-13T23:58:49,608   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-13T23:58:49,610   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-13T23:58:49,616   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-13T23:58:49,618   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-13T23:58:49,620   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-13T23:58:49,622   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-13T23:58:49,626   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-13T23:58:49,629   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-13T23:58:49,630   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-13T23:58:49,632   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-13T23:58:49,636   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-13T23:58:49,638   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-13T23:58:49,640   adding 'certora_cli/Shared/__init__.py'
2023-05-13T23:58:49,642   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-13T23:58:49,644   adding 'certora_cli/Shared/certoraTester.py'
2023-05-13T23:58:49,651   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-13T23:58:49,655   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-13T23:58:51,247   adding 'certora_jars/MutationTest.jar'
2023-05-13T23:58:52,561   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-13T23:58:54,056   adding 'certora_jars/Typechecker.jar'
2023-05-13T23:58:54,136   adding 'certora_jars/__init__.py'
2023-05-13T23:58:54,994   adding 'certora_jars/gambit-linux'
2023-05-13T23:58:55,855   adding 'certora_jars/gambit-macos'
2023-05-13T23:58:55,890   adding 'certora_cli_alpha_alexstolr_enable_default_events-20230504.19.39.511001.dist-info/LICENSE'
2023-05-13T23:58:55,892   adding 'certora_cli_alpha_alexstolr_enable_default_events-20230504.19.39.511001.dist-info/METADATA'
2023-05-13T23:58:55,893   adding 'certora_cli_alpha_alexstolr_enable_default_events-20230504.19.39.511001.dist-info/WHEEL'
2023-05-13T23:58:55,894   adding 'certora_cli_alpha_alexstolr_enable_default_events-20230504.19.39.511001.dist-info/entry_points.txt'
2023-05-13T23:58:55,895   adding 'certora_cli_alpha_alexstolr_enable_default_events-20230504.19.39.511001.dist-info/top_level.txt'
2023-05-13T23:58:55,896   adding 'certora_cli_alpha_alexstolr_enable_default_events-20230504.19.39.511001.dist-info/RECORD'
2023-05-13T23:58:56,444   removing build/bdist.linux-aarch64/wheel
2023-05-13T23:58:56,589   Building wheel for certora-cli-alpha-alexstolr-enable-default-events (setup.py): finished with status 'done'
2023-05-13T23:58:56,905   Created wheel for certora-cli-alpha-alexstolr-enable-default-events: filename=certora_cli_alpha_alexstolr_enable_default_events-20230504.19.39.511001-py3-none-any.whl size=38510665 sha256=518fc78baa818c1e53f4f7f6a412d808368f8b52668dd46269a2d5c5be939414
2023-05-13T23:58:56,906   Stored in directory: /tmp/pip-ephem-wheel-cache-4dvwu8ei/wheels/d7/46/a5/8ec73960571d5095d33a1b7c84084042f30593d9b69453067b
2023-05-13T23:58:56,935 Successfully built certora-cli-alpha-alexstolr-enable-default-events
2023-05-13T23:58:57,890 Removed build tracker: '/tmp/pip-build-tracker-bmpp2ewj'