2023-03-13T07:18:50,836 Created temporary directory: /tmp/pip-ephem-wheel-cache-28_55quz
2023-03-13T07:18:50,838 Created temporary directory: /tmp/pip-build-tracker-82f3j1yp
2023-03-13T07:18:50,839 Initialized build tracking at /tmp/pip-build-tracker-82f3j1yp
2023-03-13T07:18:50,839 Created build tracker: /tmp/pip-build-tracker-82f3j1yp
2023-03-13T07:18:50,839 Entered build tracker: /tmp/pip-build-tracker-82f3j1yp
2023-03-13T07:18:50,840 Created temporary directory: /tmp/pip-wheel-zef28o7k
2023-03-13T07:18:50,845 DEPRECATION: --no-binary currently disables reading from the cache of locally built wheels. In the future --no-binary will not influence the wheel cache. pip 23.1 will enforce this behaviour change. A possible replacement is to use the --no-cache-dir option. You can use the flag --use-feature=no-binary-enable-wheel-cache to test the upcoming behaviour. Discussion can be found at https://github.com/pypa/pip/issues/11453
2023-03-13T07:18:50,848 Created temporary directory: /tmp/pip-ephem-wheel-cache-y6qsrpcz
2023-03-13T07:18:50,876 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-03-13T07:18:50,880 2 location(s) to search for versions of certora-cli-alpha-dudi-ci-dynamic:
2023-03-13T07:18:50,880 * https://pypi.org/simple/certora-cli-alpha-dudi-ci-dynamic/
2023-03-13T07:18:50,880 * https://www.piwheels.org/simple/certora-cli-alpha-dudi-ci-dynamic/
2023-03-13T07:18:50,880 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-dudi-ci-dynamic/
2023-03-13T07:18:50,881 Getting page https://pypi.org/simple/certora-cli-alpha-dudi-ci-dynamic/
2023-03-13T07:18:50,882 Found index url https://pypi.org/simple
2023-03-13T07:18:50,934 Fetched page https://pypi.org/simple/certora-cli-alpha-dudi-ci-dynamic/ as application/vnd.pypi.simple.v1+json
2023-03-13T07:18:50,935   Found link https://files.pythonhosted.org/packages/95/cb/337ef15a29eb503afa52d3323523ca0eead0cf7c1f62cce5b670ab89177b/certora-cli-alpha-dudi-ci_dynamic-20230313.6.7.289591.tar.gz (from https://pypi.org/simple/certora-cli-alpha-dudi-ci-dynamic/) (requires-python:>=3.8), version: 20230313.6.7.289591
2023-03-13T07:18:50,936   Skipping link: No binaries permitted for certora-cli-alpha-dudi-ci-dynamic: https://files.pythonhosted.org/packages/35/a7/cd27e75420a1aed0609740e7f4c9d1070b113dcb271efd133691c49ed627/certora_cli_alpha_dudi_ci_dynamic-20230313.6.7.289591-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-dudi-ci-dynamic/) (requires-python:>=3.8)
2023-03-13T07:18:50,936 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-dudi-ci-dynamic/
2023-03-13T07:18:50,936 Getting page https://www.piwheels.org/simple/certora-cli-alpha-dudi-ci-dynamic/
2023-03-13T07:18:50,937 Found index url https://www.piwheels.org/simple
2023-03-13T07:18:51,129 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-dudi-ci-dynamic/ as text/html
2023-03-13T07:18:51,130 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-dudi-ci-dynamic/
2023-03-13T07:18:51,130 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-dudi-ci-dynamic/
2023-03-13T07:18:51,157 Given no hashes to check 1 links for project 'certora-cli-alpha-dudi-ci-dynamic': discarding no candidates
2023-03-13T07:18:51,181 Collecting certora-cli-alpha-dudi-ci-dynamic==20230313.6.7.289591
2023-03-13T07:18:51,184   Created temporary directory: /tmp/pip-unpack-rma46l3k
2023-03-13T07:18:51,428   Downloading certora-cli-alpha-dudi-ci_dynamic-20230313.6.7.289591.tar.gz (25.7 MB)
2023-03-13T07:19:01,176   Added certora-cli-alpha-dudi-ci-dynamic==20230313.6.7.289591 from https://files.pythonhosted.org/packages/95/cb/337ef15a29eb503afa52d3323523ca0eead0cf7c1f62cce5b670ab89177b/certora-cli-alpha-dudi-ci_dynamic-20230313.6.7.289591.tar.gz to build tracker '/tmp/pip-build-tracker-82f3j1yp'
2023-03-13T07:19:01,177   Running setup.py (path:/tmp/pip-wheel-zef28o7k/certora-cli-alpha-dudi-ci-dynamic_b046b17450134880ab11cc0e3062f846/setup.py) egg_info for package certora-cli-alpha-dudi-ci-dynamic
2023-03-13T07:19:01,178   Created temporary directory: /tmp/pip-pip-egg-info-lu6n027t
2023-03-13T07:19:01,178   Preparing metadata (setup.py): started
2023-03-13T07:19:01,180   Running command python setup.py egg_info
2023-03-13T07:19:01,782   running egg_info
2023-03-13T07:19:01,784   creating /tmp/pip-pip-egg-info-lu6n027t/certora_cli_alpha_dudi_ci_dynamic.egg-info
2023-03-13T07:19:01,804   writing /tmp/pip-pip-egg-info-lu6n027t/certora_cli_alpha_dudi_ci_dynamic.egg-info/PKG-INFO
2023-03-13T07:19:01,806   writing dependency_links to /tmp/pip-pip-egg-info-lu6n027t/certora_cli_alpha_dudi_ci_dynamic.egg-info/dependency_links.txt
2023-03-13T07:19:01,808   writing entry points to /tmp/pip-pip-egg-info-lu6n027t/certora_cli_alpha_dudi_ci_dynamic.egg-info/entry_points.txt
2023-03-13T07:19:01,810   writing requirements to /tmp/pip-pip-egg-info-lu6n027t/certora_cli_alpha_dudi_ci_dynamic.egg-info/requires.txt
2023-03-13T07:19:01,811   writing top-level names to /tmp/pip-pip-egg-info-lu6n027t/certora_cli_alpha_dudi_ci_dynamic.egg-info/top_level.txt
2023-03-13T07:19:01,813   writing manifest file '/tmp/pip-pip-egg-info-lu6n027t/certora_cli_alpha_dudi_ci_dynamic.egg-info/SOURCES.txt'
2023-03-13T07:19:01,883   reading manifest file '/tmp/pip-pip-egg-info-lu6n027t/certora_cli_alpha_dudi_ci_dynamic.egg-info/SOURCES.txt'
2023-03-13T07:19:01,885   reading manifest template 'MANIFEST.in'
2023-03-13T07:19:01,892   adding license file 'LICENSE'
2023-03-13T07:19:01,895   writing manifest file '/tmp/pip-pip-egg-info-lu6n027t/certora_cli_alpha_dudi_ci_dynamic.egg-info/SOURCES.txt'
2023-03-13T07:19:01,956   Preparing metadata (setup.py): finished with status 'done'
2023-03-13T07:19:01,962   Source in /tmp/pip-wheel-zef28o7k/certora-cli-alpha-dudi-ci-dynamic_b046b17450134880ab11cc0e3062f846 has version 20230313.6.7.289591, which satisfies requirement certora-cli-alpha-dudi-ci-dynamic==20230313.6.7.289591 from https://files.pythonhosted.org/packages/95/cb/337ef15a29eb503afa52d3323523ca0eead0cf7c1f62cce5b670ab89177b/certora-cli-alpha-dudi-ci_dynamic-20230313.6.7.289591.tar.gz
2023-03-13T07:19:01,963   Removed certora-cli-alpha-dudi-ci-dynamic==20230313.6.7.289591 from https://files.pythonhosted.org/packages/95/cb/337ef15a29eb503afa52d3323523ca0eead0cf7c1f62cce5b670ab89177b/certora-cli-alpha-dudi-ci_dynamic-20230313.6.7.289591.tar.gz from build tracker '/tmp/pip-build-tracker-82f3j1yp'
2023-03-13T07:19:01,971 Created temporary directory: /tmp/pip-unpack-0ehco1bf
2023-03-13T07:19:01,971 Building wheels for collected packages: certora-cli-alpha-dudi-ci-dynamic
2023-03-13T07:19:01,976   Created temporary directory: /tmp/pip-wheel-ijv4oizn
2023-03-13T07:19:01,976   Building wheel for certora-cli-alpha-dudi-ci-dynamic (setup.py): started
2023-03-13T07:19:01,977   Destination directory: /tmp/pip-wheel-ijv4oizn
2023-03-13T07:19:01,977   Running command python setup.py bdist_wheel
2023-03-13T07:19:02,822   running bdist_wheel
2023-03-13T07:19:03,098   running build
2023-03-13T07:19:03,098   running build_py
2023-03-13T07:19:03,123   creating build
2023-03-13T07:19:03,123   creating build/lib
2023-03-13T07:19:03,124   creating build/lib/certora_cli
2023-03-13T07:19:03,125   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-03-13T07:19:03,128   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-03-13T07:19:03,129   copying certora_cli/mutationTest.py -> build/lib/certora_cli
2023-03-13T07:19:03,131   creating build/lib/certora_jars
2023-03-13T07:19:03,132   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-03-13T07:19:03,135   creating build/lib/certora_cli/EVMVerifier
2023-03-13T07:19:03,136   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-03-13T07:19:03,142   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-03-13T07:19:03,145   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-03-13T07:19:03,147   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-03-13T07:19:03,149   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-03-13T07:19:03,150   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-03-13T07:19:03,154   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-03-13T07:19:03,157   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-03-13T07:19:03,159   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-03-13T07:19:03,162   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-03-13T07:19:03,165   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-03-13T07:19:03,167   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-03-13T07:19:03,170   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-03-13T07:19:03,173   creating build/lib/certora_cli/Shared
2023-03-13T07:19:03,174   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-03-13T07:19:03,178   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-03-13T07:19:03,180   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-03-13T07:19:03,182   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-03-13T07:19:03,185   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-03-13T07:19:03,186   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-03-13T07:19:03,188   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-03-13T07:19:03,190   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-03-13T07:19:03,191   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-03-13T07:19:03,194   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-03-13T07:19:03,196   running egg_info
2023-03-13T07:19:03,249   writing certora_cli_alpha_dudi_ci_dynamic.egg-info/PKG-INFO
2023-03-13T07:19:03,251   writing dependency_links to certora_cli_alpha_dudi_ci_dynamic.egg-info/dependency_links.txt
2023-03-13T07:19:03,253   writing entry points to certora_cli_alpha_dudi_ci_dynamic.egg-info/entry_points.txt
2023-03-13T07:19:03,254   writing requirements to certora_cli_alpha_dudi_ci_dynamic.egg-info/requires.txt
2023-03-13T07:19:03,256   writing top-level names to certora_cli_alpha_dudi_ci_dynamic.egg-info/top_level.txt
2023-03-13T07:19:03,282   reading manifest file 'certora_cli_alpha_dudi_ci_dynamic.egg-info/SOURCES.txt'
2023-03-13T07:19:03,284   reading manifest template 'MANIFEST.in'
2023-03-13T07:19:03,290   adding license file 'LICENSE'
2023-03-13T07:19:03,294   writing manifest file 'certora_cli_alpha_dudi_ci_dynamic.egg-info/SOURCES.txt'
2023-03-13T07:19:03,297   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-03-13T07:19:03,541   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-03-13T07:19:03,743   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-03-13T07:19:03,883   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-03-13T07:19:04,021   /usr/local/lib/python3.9/dist-packages/setuptools/command/install.py:34: SetuptoolsDeprecationWarning: setup.py install is deprecated. Use build and pip and other standards-based tools.
2023-03-13T07:19:04,021     warnings.warn(
2023-03-13T07:19:04,046   installing to build/bdist.linux-armv7l/wheel
2023-03-13T07:19:04,046   running install
2023-03-13T07:19:04,071   running install_lib
2023-03-13T07:19:04,094   creating build/bdist.linux-armv7l
2023-03-13T07:19:04,095   creating build/bdist.linux-armv7l/wheel
2023-03-13T07:19:04,097   creating build/bdist.linux-armv7l/wheel/certora_cli
2023-03-13T07:19:04,099   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-13T07:19:04,100   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-13T07:19:04,106   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-13T07:19:04,109   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-13T07:19:04,111   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-13T07:19:04,113   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-13T07:19:04,115   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-03-13T07:19:04,116   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-03-13T07:19:04,118   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-03-13T07:19:04,120   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-03-13T07:19:04,122   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-03-13T07:19:04,125   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-03-13T07:19:04,128   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-13T07:19:04,131   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-13T07:19:04,135   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-13T07:19:04,137   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-13T07:19:04,139   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-13T07:19:04,142   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-13T07:19:04,145   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-13T07:19:04,148   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-13T07:19:04,150   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-03-13T07:19:04,153   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-03-13T07:19:04,154   copying build/lib/certora_cli/mutationTest.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-03-13T07:19:04,157   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-03-13T07:19:04,158   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-03-13T07:19:04,161   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-03-13T07:19:04,163   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-03-13T07:19:04,166   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-03-13T07:19:04,169   creating build/bdist.linux-armv7l/wheel/certora_jars
2023-03-13T07:19:04,170   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars
2023-03-13T07:19:04,171   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars
2023-03-13T07:19:04,300   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars
2023-03-13T07:19:04,414   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-03-13T07:19:04,640   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-03-13T07:19:04,908   running install_egg_info
2023-03-13T07:19:04,935   Copying certora_cli_alpha_dudi_ci_dynamic.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_dudi_ci_dynamic-20230313.6.7.289591-py3.9.egg-info
2023-03-13T07:19:04,948   running install_scripts
2023-03-13T07:19:04,966   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2023-03-13T07:19:04,971   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_dudi_ci_dynamic-20230313.6.7.289591.dist-info/WHEEL
2023-03-13T07:19:04,974   creating '/tmp/pip-wheel-ijv4oizn/certora_cli_alpha_dudi_ci_dynamic-20230313.6.7.289591-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2023-03-13T07:19:04,977   adding 'certora_cli/__init__.py'
2023-03-13T07:19:04,980   adding 'certora_cli/certoraRun.py'
2023-03-13T07:19:04,981   adding 'certora_cli/mutationTest.py'
2023-03-13T07:19:04,984   adding 'certora_cli/EVMVerifier/__init__.py'
2023-03-13T07:19:05,006   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-03-13T07:19:05,013   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-03-13T07:19:05,015   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-03-13T07:19:05,017   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-03-13T07:19:05,021   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-03-13T07:19:05,025   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-03-13T07:19:05,026   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-03-13T07:19:05,032   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-03-13T07:19:05,035   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-03-13T07:19:05,037   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-03-13T07:19:05,039   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-03-13T07:19:05,043   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-03-13T07:19:05,046   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-03-13T07:19:05,048   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-03-13T07:19:05,050   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-03-13T07:19:05,052   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-03-13T07:19:05,054   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-03-13T07:19:05,056   adding 'certora_cli/Shared/__init__.py'
2023-03-13T07:19:05,059   adding 'certora_cli/Shared/certoraLogging.py'
2023-03-13T07:19:05,061   adding 'certora_cli/Shared/certoraTester.py'
2023-03-13T07:19:05,067   adding 'certora_cli/Shared/certoraUtils.py'
2023-03-13T07:19:06,575   adding 'certora_jars/MutationTest.jar'
2023-03-13T07:19:07,929   adding 'certora_jars/Typechecker.jar'
2023-03-13T07:19:07,997   adding 'certora_jars/__init__.py'
2023-03-13T07:19:08,870   adding 'certora_jars/gambit-linux'
2023-03-13T07:19:09,750   adding 'certora_jars/gambit-macos'
2023-03-13T07:19:09,786   adding 'certora_cli_alpha_dudi_ci_dynamic-20230313.6.7.289591.dist-info/LICENSE'
2023-03-13T07:19:09,787   adding 'certora_cli_alpha_dudi_ci_dynamic-20230313.6.7.289591.dist-info/METADATA'
2023-03-13T07:19:09,789   adding 'certora_cli_alpha_dudi_ci_dynamic-20230313.6.7.289591.dist-info/WHEEL'
2023-03-13T07:19:09,790   adding 'certora_cli_alpha_dudi_ci_dynamic-20230313.6.7.289591.dist-info/entry_points.txt'
2023-03-13T07:19:09,792   adding 'certora_cli_alpha_dudi_ci_dynamic-20230313.6.7.289591.dist-info/top_level.txt'
2023-03-13T07:19:09,793   adding 'certora_cli_alpha_dudi_ci_dynamic-20230313.6.7.289591.dist-info/RECORD'
2023-03-13T07:19:10,122   removing build/bdist.linux-armv7l/wheel
2023-03-13T07:19:10,236   Building wheel for certora-cli-alpha-dudi-ci-dynamic (setup.py): finished with status 'done'
2023-03-13T07:19:10,516   Created wheel for certora-cli-alpha-dudi-ci-dynamic: filename=certora_cli_alpha_dudi_ci_dynamic-20230313.6.7.289591-py3-none-any.whl size=25704054 sha256=3306bb8cef941c2680065cc8746930927f11a39e02dbe57641353979b89b4e6b
2023-03-13T07:19:10,517   Stored in directory: /tmp/pip-ephem-wheel-cache-y6qsrpcz/wheels/b1/f6/45/521af9162af7690ba6d625de1f36ca39da6cca3ffb331230c7
2023-03-13T07:19:10,542 Successfully built certora-cli-alpha-dudi-ci-dynamic
2023-03-13T07:19:11,337 Removed build tracker: '/tmp/pip-build-tracker-82f3j1yp'