2023-05-13T17:45:51,122 Created temporary directory: /tmp/pip-build-tracker-6xlguq55
2023-05-13T17:45:51,123 Initialized build tracking at /tmp/pip-build-tracker-6xlguq55
2023-05-13T17:45:51,123 Created build tracker: /tmp/pip-build-tracker-6xlguq55
2023-05-13T17:45:51,123 Entered build tracker: /tmp/pip-build-tracker-6xlguq55
2023-05-13T17:45:51,124 Created temporary directory: /tmp/pip-wheel-ycp2zadz
2023-05-13T17:45:51,127 Created temporary directory: /tmp/pip-ephem-wheel-cache-ms2bqjci
2023-05-13T17:45:51,152 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-13T17:45:51,155 2 location(s) to search for versions of certora-cli-alpha-otakar-lxfaddedtoconfig:
2023-05-13T17:45:51,155 * https://pypi.org/simple/certora-cli-alpha-otakar-lxfaddedtoconfig/
2023-05-13T17:45:51,155 * https://www.piwheels.org/simple/certora-cli-alpha-otakar-lxfaddedtoconfig/
2023-05-13T17:45:51,156 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-otakar-lxfaddedtoconfig/
2023-05-13T17:45:51,156 Getting page https://pypi.org/simple/certora-cli-alpha-otakar-lxfaddedtoconfig/
2023-05-13T17:45:51,158 Found index url https://pypi.org/simple/
2023-05-13T17:45:51,208 Fetched page https://pypi.org/simple/certora-cli-alpha-otakar-lxfaddedtoconfig/ as application/vnd.pypi.simple.v1+json
2023-05-13T17:45:51,210   Found link https://files.pythonhosted.org/packages/f6/a2/57e4a32298df8f6f6626119452b9c2f725857b25b01e12f1620a366910e1/certora-cli-alpha-otakar-lxfAddedToConfig-20230502.16.14.338125.tar.gz (from https://pypi.org/simple/certora-cli-alpha-otakar-lxfaddedtoconfig/) (requires-python:>=3.8.16), version: 20230502.16.14.338125
2023-05-13T17:45:51,210   Skipping link: No binaries permitted for certora-cli-alpha-otakar-lxfaddedtoconfig: https://files.pythonhosted.org/packages/a5/0f/0b89ee6abf09a2758881456c7bc15ea15ecf0574fcaf2beeae4ac0b32001/certora_cli_alpha_otakar_lxfAddedToConfig-20230502.16.14.338125-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-otakar-lxfaddedtoconfig/) (requires-python:>=3.8.16)
2023-05-13T17:45:51,211 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-otakar-lxfaddedtoconfig/
2023-05-13T17:45:51,211 Getting page https://www.piwheels.org/simple/certora-cli-alpha-otakar-lxfaddedtoconfig/
2023-05-13T17:45:51,212 Found index url https://www.piwheels.org/simple/
2023-05-13T17:45:51,381 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-otakar-lxfaddedtoconfig/ as text/html
2023-05-13T17:45:51,382   Skipping link: No binaries permitted for certora-cli-alpha-otakar-lxfaddedtoconfig: https://www.piwheels.org/simple/certora-cli-alpha-otakar-lxfaddedtoconfig/certora_cli_alpha_otakar_lxfAddedToConfig-20230502.16.14.338125-py3-none-any.whl#sha256=5c75a407a9d083fa02838159ed249efc7e06595d762298b9fcb523b609e61a81 (from https://www.piwheels.org/simple/certora-cli-alpha-otakar-lxfaddedtoconfig/) (requires-python:>=3.8.16)
2023-05-13T17:45:51,382 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-otakar-lxfaddedtoconfig/
2023-05-13T17:45:51,383 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-otakar-lxfaddedtoconfig/
2023-05-13T17:45:51,401 Given no hashes to check 1 links for project 'certora-cli-alpha-otakar-lxfaddedtoconfig': discarding no candidates
2023-05-13T17:45:51,418 Collecting certora-cli-alpha-otakar-lxfaddedtoconfig==20230502.16.14.338125
2023-05-13T17:45:51,421   Created temporary directory: /tmp/pip-unpack-zpynr1vh
2023-05-13T17:45:51,574   Downloading certora-cli-alpha-otakar-lxfAddedToConfig-20230502.16.14.338125.tar.gz (38.4 MB)
2023-05-13T17:46:01,720   Added certora-cli-alpha-otakar-lxfaddedtoconfig==20230502.16.14.338125 from https://files.pythonhosted.org/packages/f6/a2/57e4a32298df8f6f6626119452b9c2f725857b25b01e12f1620a366910e1/certora-cli-alpha-otakar-lxfAddedToConfig-20230502.16.14.338125.tar.gz to build tracker '/tmp/pip-build-tracker-6xlguq55'
2023-05-13T17:46:01,722   Running setup.py (path:/tmp/pip-wheel-ycp2zadz/certora-cli-alpha-otakar-lxfaddedtoconfig_cb9a1fdf89a14de2aefd23f6e6fbf6c0/setup.py) egg_info for package certora-cli-alpha-otakar-lxfaddedtoconfig
2023-05-13T17:46:01,723   Created temporary directory: /tmp/pip-pip-egg-info-uir868uh
2023-05-13T17:46:01,723   Preparing metadata (setup.py): started
2023-05-13T17:46:01,724   Running command python setup.py egg_info
2023-05-13T17:46:02,350   running egg_info
2023-05-13T17:46:02,352   creating /tmp/pip-pip-egg-info-uir868uh/certora_cli_alpha_otakar_lxfAddedToConfig.egg-info
2023-05-13T17:46:02,378   writing /tmp/pip-pip-egg-info-uir868uh/certora_cli_alpha_otakar_lxfAddedToConfig.egg-info/PKG-INFO
2023-05-13T17:46:02,381   writing dependency_links to /tmp/pip-pip-egg-info-uir868uh/certora_cli_alpha_otakar_lxfAddedToConfig.egg-info/dependency_links.txt
2023-05-13T17:46:02,383   writing entry points to /tmp/pip-pip-egg-info-uir868uh/certora_cli_alpha_otakar_lxfAddedToConfig.egg-info/entry_points.txt
2023-05-13T17:46:02,385   writing requirements to /tmp/pip-pip-egg-info-uir868uh/certora_cli_alpha_otakar_lxfAddedToConfig.egg-info/requires.txt
2023-05-13T17:46:02,386   writing top-level names to /tmp/pip-pip-egg-info-uir868uh/certora_cli_alpha_otakar_lxfAddedToConfig.egg-info/top_level.txt
2023-05-13T17:46:02,388   writing manifest file '/tmp/pip-pip-egg-info-uir868uh/certora_cli_alpha_otakar_lxfAddedToConfig.egg-info/SOURCES.txt'
2023-05-13T17:46:02,487   reading manifest file '/tmp/pip-pip-egg-info-uir868uh/certora_cli_alpha_otakar_lxfAddedToConfig.egg-info/SOURCES.txt'
2023-05-13T17:46:02,489   reading manifest template 'MANIFEST.in'
2023-05-13T17:46:02,500   adding license file 'LICENSE'
2023-05-13T17:46:02,504   writing manifest file '/tmp/pip-pip-egg-info-uir868uh/certora_cli_alpha_otakar_lxfAddedToConfig.egg-info/SOURCES.txt'
2023-05-13T17:46:02,563   Preparing metadata (setup.py): finished with status 'done'
2023-05-13T17:46:02,593   Source in /tmp/pip-wheel-ycp2zadz/certora-cli-alpha-otakar-lxfaddedtoconfig_cb9a1fdf89a14de2aefd23f6e6fbf6c0 has version 20230502.16.14.338125, which satisfies requirement certora-cli-alpha-otakar-lxfaddedtoconfig==20230502.16.14.338125 from https://files.pythonhosted.org/packages/f6/a2/57e4a32298df8f6f6626119452b9c2f725857b25b01e12f1620a366910e1/certora-cli-alpha-otakar-lxfAddedToConfig-20230502.16.14.338125.tar.gz
2023-05-13T17:46:02,594   Removed certora-cli-alpha-otakar-lxfaddedtoconfig==20230502.16.14.338125 from https://files.pythonhosted.org/packages/f6/a2/57e4a32298df8f6f6626119452b9c2f725857b25b01e12f1620a366910e1/certora-cli-alpha-otakar-lxfAddedToConfig-20230502.16.14.338125.tar.gz from build tracker '/tmp/pip-build-tracker-6xlguq55'
2023-05-13T17:46:02,602 Created temporary directory: /tmp/pip-unpack-cr54780z
2023-05-13T17:46:02,602 Building wheels for collected packages: certora-cli-alpha-otakar-lxfaddedtoconfig
2023-05-13T17:46:02,617   Created temporary directory: /tmp/pip-wheel-7ligcdmk
2023-05-13T17:46:02,618   Building wheel for certora-cli-alpha-otakar-lxfaddedtoconfig (setup.py): started
2023-05-13T17:46:02,619   Destination directory: /tmp/pip-wheel-7ligcdmk
2023-05-13T17:46:02,619   Running command python setup.py bdist_wheel
2023-05-13T17:46:03,821   running bdist_wheel
2023-05-13T17:46:04,495   running build
2023-05-13T17:46:04,495   running build_py
2023-05-13T17:46:04,527   creating build
2023-05-13T17:46:04,527   creating build/lib
2023-05-13T17:46:04,528   creating build/lib/certora_jars
2023-05-13T17:46:04,530   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-13T17:46:04,532   creating build/lib/certora_cli
2023-05-13T17:46:04,533   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-13T17:46:04,535   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-13T17:46:04,537   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-13T17:46:04,541   creating build/lib/certora_cli/EVMVerifier
2023-05-13T17:46:04,542   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T17:46:04,544   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T17:46:04,547   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T17:46:04,550   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T17:46:04,557   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T17:46:04,559   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T17:46:04,562   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T17:46:04,565   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T17:46:04,568   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T17:46:04,572   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T17:46:04,573   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T17:46:04,577   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T17:46:04,581   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T17:46:04,584   creating build/lib/certora_cli/Shared
2023-05-13T17:46:04,585   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-13T17:46:04,587   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-13T17:46:04,589   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-13T17:46:04,593   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-13T17:46:04,596   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T17:46:04,597   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T17:46:04,599   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T17:46:04,602   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T17:46:04,605   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T17:46:04,607   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T17:46:04,609   running egg_info
2023-05-13T17:46:04,672   writing certora_cli_alpha_otakar_lxfAddedToConfig.egg-info/PKG-INFO
2023-05-13T17:46:04,674   writing dependency_links to certora_cli_alpha_otakar_lxfAddedToConfig.egg-info/dependency_links.txt
2023-05-13T17:46:04,676   writing entry points to certora_cli_alpha_otakar_lxfAddedToConfig.egg-info/entry_points.txt
2023-05-13T17:46:04,677   writing requirements to certora_cli_alpha_otakar_lxfAddedToConfig.egg-info/requires.txt
2023-05-13T17:46:04,678   writing top-level names to certora_cli_alpha_otakar_lxfAddedToConfig.egg-info/top_level.txt
2023-05-13T17:46:04,710   reading manifest file 'certora_cli_alpha_otakar_lxfAddedToConfig.egg-info/SOURCES.txt'
2023-05-13T17:46:04,713   reading manifest template 'MANIFEST.in'
2023-05-13T17:46:04,723   adding license file 'LICENSE'
2023-05-13T17:46:04,728   writing manifest file 'certora_cli_alpha_otakar_lxfAddedToConfig.egg-info/SOURCES.txt'
2023-05-13T17:46:04,731   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-13T17:46:04,733   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-13T17:46:04,953   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-13T17:46:05,135   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-13T17:46:05,318   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-13T17:46:05,439   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-13T17:46:05,566   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-13T17:46:05,566   !!

2023-05-13T17:46:05,566           ********************************************************************************
2023-05-13T17:46:05,567           Please avoid running ``setup.py`` directly.
2023-05-13T17:46:05,567           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-13T17:46:05,567           other standards-based tools.

2023-05-13T17:46:05,567           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-13T17:46:05,567           ********************************************************************************

2023-05-13T17:46:05,567   !!
2023-05-13T17:46:05,568     self.initialize_options()
2023-05-13T17:46:05,595   installing to build/bdist.linux-aarch64/wheel
2023-05-13T17:46:05,595   running install
2023-05-13T17:46:05,620   running install_lib
2023-05-13T17:46:05,648   creating build/bdist.linux-aarch64
2023-05-13T17:46:05,649   creating build/bdist.linux-aarch64/wheel
2023-05-13T17:46:05,651   creating build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T17:46:05,652   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T17:46:05,862   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T17:46:05,864   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T17:46:06,245   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T17:46:06,374   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T17:46:06,558   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T17:46:06,560   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T17:46:06,738   creating build/bdist.linux-aarch64/wheel/certora_cli
2023-05-13T17:46:06,740   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T17:46:06,741   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T17:46:06,745   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T17:46:06,747   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T17:46:06,750   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T17:46:06,757   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T17:46:06,758   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T17:46:06,760   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T17:46:06,763   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T17:46:06,765   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T17:46:06,767   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T17:46:06,769   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T17:46:06,772   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T17:46:06,775   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T17:46:06,777   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T17:46:06,780   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T17:46:06,783   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T17:46:06,785   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T17:46:06,788   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T17:46:06,791   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T17:46:06,794   creating build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T17:46:06,795   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T17:46:06,797   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T17:46:06,800   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T17:46:06,804   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T17:46:06,807   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-13T17:46:06,809   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-13T17:46:06,811   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-13T17:46:06,813   running install_egg_info
2023-05-13T17:46:06,845   Copying certora_cli_alpha_otakar_lxfAddedToConfig.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_otakar_lxfAddedToConfig-20230502.16.14.338125-py3.9.egg-info
2023-05-13T17:46:06,856   running install_scripts
2023-05-13T17:46:06,875   creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_otakar_lxfAddedToConfig-20230502.16.14.338125.dist-info/WHEEL
2023-05-13T17:46:06,878   creating '/tmp/pip-wheel-7ligcdmk/certora_cli_alpha_otakar_lxfAddedToConfig-20230502.16.14.338125-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it
2023-05-13T17:46:06,881   adding 'certora_cli/__init__.py'
2023-05-13T17:46:06,882   adding 'certora_cli/certoraMutate.py'
2023-05-13T17:46:06,884   adding 'certora_cli/certoraRun.py'
2023-05-13T17:46:06,886   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-13T17:46:06,908   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-13T17:46:06,915   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-13T17:46:06,917   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-13T17:46:06,918   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-13T17:46:06,923   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-13T17:46:06,927   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-13T17:46:06,928   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-13T17:46:06,934   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-13T17:46:06,936   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-13T17:46:06,938   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-13T17:46:06,941   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-13T17:46:06,944   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-13T17:46:06,947   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-13T17:46:06,948   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-13T17:46:06,950   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-13T17:46:06,954   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-13T17:46:06,956   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-13T17:46:06,958   adding 'certora_cli/Shared/__init__.py'
2023-05-13T17:46:06,960   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-13T17:46:06,961   adding 'certora_cli/Shared/certoraTester.py'
2023-05-13T17:46:06,968   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-13T17:46:06,971   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-13T17:46:08,552   adding 'certora_jars/MutationTest.jar'
2023-05-13T17:46:10,306   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-13T17:46:11,796   adding 'certora_jars/Typechecker.jar'
2023-05-13T17:46:11,876   adding 'certora_jars/__init__.py'
2023-05-13T17:46:12,732   adding 'certora_jars/gambit-linux'
2023-05-13T17:46:13,590   adding 'certora_jars/gambit-macos'
2023-05-13T17:46:13,626   adding 'certora_cli_alpha_otakar_lxfAddedToConfig-20230502.16.14.338125.dist-info/LICENSE'
2023-05-13T17:46:13,627   adding 'certora_cli_alpha_otakar_lxfAddedToConfig-20230502.16.14.338125.dist-info/METADATA'
2023-05-13T17:46:13,629   adding 'certora_cli_alpha_otakar_lxfAddedToConfig-20230502.16.14.338125.dist-info/WHEEL'
2023-05-13T17:46:13,630   adding 'certora_cli_alpha_otakar_lxfAddedToConfig-20230502.16.14.338125.dist-info/entry_points.txt'
2023-05-13T17:46:13,631   adding 'certora_cli_alpha_otakar_lxfAddedToConfig-20230502.16.14.338125.dist-info/top_level.txt'
2023-05-13T17:46:13,632   adding 'certora_cli_alpha_otakar_lxfAddedToConfig-20230502.16.14.338125.dist-info/RECORD'
2023-05-13T17:46:14,089   removing build/bdist.linux-aarch64/wheel
2023-05-13T17:46:14,206   Building wheel for certora-cli-alpha-otakar-lxfaddedtoconfig (setup.py): finished with status 'done'
2023-05-13T17:46:14,527   Created wheel for certora-cli-alpha-otakar-lxfaddedtoconfig: filename=certora_cli_alpha_otakar_lxfAddedToConfig-20230502.16.14.338125-py3-none-any.whl size=38404647 sha256=08327350794a46f71273b6fab34749c5133741bb6a8725ea5fad8b9588c325ec
2023-05-13T17:46:14,528   Stored in directory: /tmp/pip-ephem-wheel-cache-ms2bqjci/wheels/30/2f/44/2613f0597afa240021f5d6c9e7760ac265d8665f764127a54a
2023-05-13T17:46:14,558 Successfully built certora-cli-alpha-otakar-lxfaddedtoconfig
2023-05-13T17:46:15,483 Removed build tracker: '/tmp/pip-build-tracker-6xlguq55'