2023-03-14T07:22:23,465 Created temporary directory: /tmp/pip-ephem-wheel-cache-jitghv5y
2023-03-14T07:22:23,468 Created temporary directory: /tmp/pip-build-tracker-a_ysbm1u
2023-03-14T07:22:23,468 Initialized build tracking at /tmp/pip-build-tracker-a_ysbm1u
2023-03-14T07:22:23,468 Created build tracker: /tmp/pip-build-tracker-a_ysbm1u
2023-03-14T07:22:23,468 Entered build tracker: /tmp/pip-build-tracker-a_ysbm1u
2023-03-14T07:22:23,469 Created temporary directory: /tmp/pip-wheel-3eu_fj2b
2023-03-14T07:22:23,474 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-14T07:22:23,477 Created temporary directory: /tmp/pip-ephem-wheel-cache-r1luqdlx
2023-03-14T07:22:23,502 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-03-14T07:22:23,506 2 location(s) to search for versions of certora-cli-alpha-dudi-ci-dynamic:
2023-03-14T07:22:23,506 * https://pypi.org/simple/certora-cli-alpha-dudi-ci-dynamic/
2023-03-14T07:22:23,506 * https://www.piwheels.org/simple/certora-cli-alpha-dudi-ci-dynamic/
2023-03-14T07:22:23,506 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-dudi-ci-dynamic/
2023-03-14T07:22:23,507 Getting page https://pypi.org/simple/certora-cli-alpha-dudi-ci-dynamic/
2023-03-14T07:22:23,509 Found index url https://pypi.org/simple
2023-03-14T07:22:23,569 Fetched page https://pypi.org/simple/certora-cli-alpha-dudi-ci-dynamic/ as application/vnd.pypi.simple.v1+json
2023-03-14T07:22:23,572   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-14T07:22:23,572   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-14T07:22:23,573   Found link https://files.pythonhosted.org/packages/50/49/ecb8a603329ae2194f5695991fa167a6c775c0f1659b72f44b93db69fb88/certora-cli-alpha-dudi-ci_dynamic-20230313.8.21.515508.tar.gz (from https://pypi.org/simple/certora-cli-alpha-dudi-ci-dynamic/) (requires-python:>=3.8), version: 20230313.8.21.515508
2023-03-14T07:22:23,573   Skipping link: No binaries permitted for certora-cli-alpha-dudi-ci-dynamic: https://files.pythonhosted.org/packages/2c/5f/5b173cd1bb1c4ad5fc152995215befde1262187c2daad77ab76cb7c29e32/certora_cli_alpha_dudi_ci_dynamic-20230313.8.21.515508-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-dudi-ci-dynamic/) (requires-python:>=3.8)
2023-03-14T07:22:23,574   Found link https://files.pythonhosted.org/packages/79/8c/38bf0daad21b5667d6612550c68ab7f4e5e080433f0caa77e859220f3734/certora-cli-alpha-dudi-ci_dynamic-20230313.10.15.169827.tar.gz (from https://pypi.org/simple/certora-cli-alpha-dudi-ci-dynamic/) (requires-python:>=3.8), version: 20230313.10.15.169827
2023-03-14T07:22:23,574   Skipping link: No binaries permitted for certora-cli-alpha-dudi-ci-dynamic: https://files.pythonhosted.org/packages/13/a2/6b88f11096cfafe6a0c38ddddc69935b2fab2debe17db54e4766649e15f2/certora_cli_alpha_dudi_ci_dynamic-20230313.10.15.169827-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-dudi-ci-dynamic/) (requires-python:>=3.8)
2023-03-14T07:22:23,574   Found link https://files.pythonhosted.org/packages/8d/86/731ea39a194268c5f12b1fe9faf545534428f0ed4024c1c72f06d38b5c07/certora-cli-alpha-dudi-ci_dynamic-20230314.6.30.405610.tar.gz (from https://pypi.org/simple/certora-cli-alpha-dudi-ci-dynamic/) (requires-python:>=3.8), version: 20230314.6.30.405610
2023-03-14T07:22:23,575   Skipping link: No binaries permitted for certora-cli-alpha-dudi-ci-dynamic: https://files.pythonhosted.org/packages/27/24/5403acde978dd5c2dd6480ef9f275dc3b181e3e2a913c7018b9a204c4df4/certora_cli_alpha_dudi_ci_dynamic-20230314.6.30.405610-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-dudi-ci-dynamic/) (requires-python:>=3.8)
2023-03-14T07:22:23,575 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-dudi-ci-dynamic/
2023-03-14T07:22:23,575 Getting page https://www.piwheels.org/simple/certora-cli-alpha-dudi-ci-dynamic/
2023-03-14T07:22:23,576 Found index url https://www.piwheels.org/simple
2023-03-14T07:22:23,733 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-dudi-ci-dynamic/ as text/html
2023-03-14T07:22:23,735   Skipping link: No binaries permitted for certora-cli-alpha-dudi-ci-dynamic: https://www.piwheels.org/simple/certora-cli-alpha-dudi-ci-dynamic/certora_cli_alpha_dudi_ci_dynamic-20230313.10.15.169827-py3-none-any.whl#sha256=f9e286b2a491d1510fa6376c27d2b0f6aaef2087fbe69b8b50e795de65465cf7 (from https://www.piwheels.org/simple/certora-cli-alpha-dudi-ci-dynamic/) (requires-python:>=3.8)
2023-03-14T07:22:23,735   Skipping link: No binaries permitted for certora-cli-alpha-dudi-ci-dynamic: https://www.piwheels.org/simple/certora-cli-alpha-dudi-ci-dynamic/certora_cli_alpha_dudi_ci_dynamic-20230313.8.21.515508-py3-none-any.whl#sha256=dedc5a1a2b0fdcb09a156cae150f1d9f4bf5c4830509c0a06b48d09d42e8f02a (from https://www.piwheels.org/simple/certora-cli-alpha-dudi-ci-dynamic/) (requires-python:>=3.8)
2023-03-14T07:22:23,735   Skipping link: No binaries permitted for certora-cli-alpha-dudi-ci-dynamic: https://www.piwheels.org/simple/certora-cli-alpha-dudi-ci-dynamic/certora_cli_alpha_dudi_ci_dynamic-20230313.6.7.289591-py3-none-any.whl#sha256=3306bb8cef941c2680065cc8746930927f11a39e02dbe57641353979b89b4e6b (from https://www.piwheels.org/simple/certora-cli-alpha-dudi-ci-dynamic/) (requires-python:>=3.8)
2023-03-14T07:22:23,736 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-dudi-ci-dynamic/
2023-03-14T07:22:23,736 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-dudi-ci-dynamic/
2023-03-14T07:22:23,755 Given no hashes to check 1 links for project 'certora-cli-alpha-dudi-ci-dynamic': discarding no candidates
2023-03-14T07:22:23,771 Collecting certora-cli-alpha-dudi-ci-dynamic==20230314.6.30.405610
2023-03-14T07:22:23,774   Created temporary directory: /tmp/pip-unpack-sukqvdyx
2023-03-14T07:22:24,218   Downloading certora-cli-alpha-dudi-ci_dynamic-20230314.6.30.405610.tar.gz (25.7 MB)
2023-03-14T07:22:35,283   Added certora-cli-alpha-dudi-ci-dynamic==20230314.6.30.405610 from https://files.pythonhosted.org/packages/8d/86/731ea39a194268c5f12b1fe9faf545534428f0ed4024c1c72f06d38b5c07/certora-cli-alpha-dudi-ci_dynamic-20230314.6.30.405610.tar.gz to build tracker '/tmp/pip-build-tracker-a_ysbm1u'
2023-03-14T07:22:35,285   Running setup.py (path:/tmp/pip-wheel-3eu_fj2b/certora-cli-alpha-dudi-ci-dynamic_d2b332c190ee49d18349db2fc6f56cbf/setup.py) egg_info for package certora-cli-alpha-dudi-ci-dynamic
2023-03-14T07:22:35,285   Created temporary directory: /tmp/pip-pip-egg-info-keq7p9k7
2023-03-14T07:22:35,286   Preparing metadata (setup.py): started
2023-03-14T07:22:35,287   Running command python setup.py egg_info
2023-03-14T07:22:35,889   running egg_info
2023-03-14T07:22:35,890   creating /tmp/pip-pip-egg-info-keq7p9k7/certora_cli_alpha_dudi_ci_dynamic.egg-info
2023-03-14T07:22:35,913   writing /tmp/pip-pip-egg-info-keq7p9k7/certora_cli_alpha_dudi_ci_dynamic.egg-info/PKG-INFO
2023-03-14T07:22:35,915   writing dependency_links to /tmp/pip-pip-egg-info-keq7p9k7/certora_cli_alpha_dudi_ci_dynamic.egg-info/dependency_links.txt
2023-03-14T07:22:35,917   writing entry points to /tmp/pip-pip-egg-info-keq7p9k7/certora_cli_alpha_dudi_ci_dynamic.egg-info/entry_points.txt
2023-03-14T07:22:35,919   writing requirements to /tmp/pip-pip-egg-info-keq7p9k7/certora_cli_alpha_dudi_ci_dynamic.egg-info/requires.txt
2023-03-14T07:22:35,920   writing top-level names to /tmp/pip-pip-egg-info-keq7p9k7/certora_cli_alpha_dudi_ci_dynamic.egg-info/top_level.txt
2023-03-14T07:22:35,922   writing manifest file '/tmp/pip-pip-egg-info-keq7p9k7/certora_cli_alpha_dudi_ci_dynamic.egg-info/SOURCES.txt'
2023-03-14T07:22:35,999   reading manifest file '/tmp/pip-pip-egg-info-keq7p9k7/certora_cli_alpha_dudi_ci_dynamic.egg-info/SOURCES.txt'
2023-03-14T07:22:36,000   reading manifest template 'MANIFEST.in'
2023-03-14T07:22:36,007   adding license file 'LICENSE'
2023-03-14T07:22:36,011   writing manifest file '/tmp/pip-pip-egg-info-keq7p9k7/certora_cli_alpha_dudi_ci_dynamic.egg-info/SOURCES.txt'
2023-03-14T07:22:36,070   Preparing metadata (setup.py): finished with status 'done'
2023-03-14T07:22:36,076   Source in /tmp/pip-wheel-3eu_fj2b/certora-cli-alpha-dudi-ci-dynamic_d2b332c190ee49d18349db2fc6f56cbf has version 20230314.6.30.405610, which satisfies requirement certora-cli-alpha-dudi-ci-dynamic==20230314.6.30.405610 from https://files.pythonhosted.org/packages/8d/86/731ea39a194268c5f12b1fe9faf545534428f0ed4024c1c72f06d38b5c07/certora-cli-alpha-dudi-ci_dynamic-20230314.6.30.405610.tar.gz
2023-03-14T07:22:36,077   Removed certora-cli-alpha-dudi-ci-dynamic==20230314.6.30.405610 from https://files.pythonhosted.org/packages/8d/86/731ea39a194268c5f12b1fe9faf545534428f0ed4024c1c72f06d38b5c07/certora-cli-alpha-dudi-ci_dynamic-20230314.6.30.405610.tar.gz from build tracker '/tmp/pip-build-tracker-a_ysbm1u'
2023-03-14T07:22:36,084 Created temporary directory: /tmp/pip-unpack-7bio9sy5
2023-03-14T07:22:36,085 Building wheels for collected packages: certora-cli-alpha-dudi-ci-dynamic
2023-03-14T07:22:36,089   Created temporary directory: /tmp/pip-wheel-bgyziyqq
2023-03-14T07:22:36,090   Building wheel for certora-cli-alpha-dudi-ci-dynamic (setup.py): started
2023-03-14T07:22:36,091   Destination directory: /tmp/pip-wheel-bgyziyqq
2023-03-14T07:22:36,091   Running command python setup.py bdist_wheel
2023-03-14T07:22:36,937   running bdist_wheel
2023-03-14T07:22:37,216   running build
2023-03-14T07:22:37,216   running build_py
2023-03-14T07:22:37,242   creating build
2023-03-14T07:22:37,242   creating build/lib
2023-03-14T07:22:37,243   creating build/lib/certora_cli
2023-03-14T07:22:37,244   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-03-14T07:22:37,247   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-03-14T07:22:37,249   copying certora_cli/mutationTest.py -> build/lib/certora_cli
2023-03-14T07:22:37,251   creating build/lib/certora_jars
2023-03-14T07:22:37,252   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-03-14T07:22:37,255   creating build/lib/certora_cli/EVMVerifier
2023-03-14T07:22:37,256   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-03-14T07:22:37,263   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-03-14T07:22:37,266   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-03-14T07:22:37,270   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-03-14T07:22:37,272   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-03-14T07:22:37,274   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-03-14T07:22:37,276   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-03-14T07:22:37,278   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-03-14T07:22:37,281   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-03-14T07:22:37,283   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-03-14T07:22:37,285   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-03-14T07:22:37,288   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-03-14T07:22:37,292   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-03-14T07:22:37,295   creating build/lib/certora_cli/Shared
2023-03-14T07:22:37,296   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-03-14T07:22:37,298   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-03-14T07:22:37,302   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-03-14T07:22:37,304   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-03-14T07:22:37,308   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-03-14T07:22:37,309   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-03-14T07:22:37,311   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-03-14T07:22:37,313   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-03-14T07:22:37,315   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-03-14T07:22:37,318   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-03-14T07:22:37,320   running egg_info
2023-03-14T07:22:37,375   writing certora_cli_alpha_dudi_ci_dynamic.egg-info/PKG-INFO
2023-03-14T07:22:37,377   writing dependency_links to certora_cli_alpha_dudi_ci_dynamic.egg-info/dependency_links.txt
2023-03-14T07:22:37,379   writing entry points to certora_cli_alpha_dudi_ci_dynamic.egg-info/entry_points.txt
2023-03-14T07:22:37,381   writing requirements to certora_cli_alpha_dudi_ci_dynamic.egg-info/requires.txt
2023-03-14T07:22:37,382   writing top-level names to certora_cli_alpha_dudi_ci_dynamic.egg-info/top_level.txt
2023-03-14T07:22:37,468   reading manifest file 'certora_cli_alpha_dudi_ci_dynamic.egg-info/SOURCES.txt'
2023-03-14T07:22:37,471   reading manifest template 'MANIFEST.in'
2023-03-14T07:22:37,477   adding license file 'LICENSE'
2023-03-14T07:22:37,481   writing manifest file 'certora_cli_alpha_dudi_ci_dynamic.egg-info/SOURCES.txt'
2023-03-14T07:22:37,484   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-03-14T07:22:37,708   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-03-14T07:22:37,916   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-03-14T07:22:38,059   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-03-14T07:22:38,216   /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-14T07:22:38,217     warnings.warn(
2023-03-14T07:22:38,241   installing to build/bdist.linux-armv7l/wheel
2023-03-14T07:22:38,242   running install
2023-03-14T07:22:38,267   running install_lib
2023-03-14T07:22:38,291   creating build/bdist.linux-armv7l
2023-03-14T07:22:38,416   creating build/bdist.linux-armv7l/wheel
2023-03-14T07:22:38,427   creating build/bdist.linux-armv7l/wheel/certora_cli
2023-03-14T07:22:38,429   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-14T07:22:38,431   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-14T07:22:38,437   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-14T07:22:38,441   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-14T07:22:38,445   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-14T07:22:38,447   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-14T07:22:38,450   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-14T07:22:38,453   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-03-14T07:22:38,454   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-03-14T07:22:38,457   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-03-14T07:22:38,460   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-03-14T07:22:38,462   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-03-14T07:22:38,466   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-03-14T07:22:38,468   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-14T07:22:38,471   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-14T07:22:38,474   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-14T07:22:38,476   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-14T07:22:38,479   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-14T07:22:38,482   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-14T07:22:38,486   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-14T07:22:38,490   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-03-14T07:22:38,493   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-03-14T07:22:38,497   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-03-14T07:22:38,498   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-03-14T07:22:38,501   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-03-14T07:22:38,505   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-03-14T07:22:38,508   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-03-14T07:22:38,512   copying build/lib/certora_cli/mutationTest.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-03-14T07:22:38,515   creating build/bdist.linux-armv7l/wheel/certora_jars
2023-03-14T07:22:38,517   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-03-14T07:22:38,788   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars
2023-03-14T07:22:38,790   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars
2023-03-14T07:22:38,936   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars
2023-03-14T07:22:39,067   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-03-14T07:22:39,260   running install_egg_info
2023-03-14T07:22:39,288   Copying certora_cli_alpha_dudi_ci_dynamic.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_dudi_ci_dynamic-20230314.6.30.405610-py3.9.egg-info
2023-03-14T07:22:39,302   running install_scripts
2023-03-14T07:22:39,320   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2023-03-14T07:22:39,324   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_dudi_ci_dynamic-20230314.6.30.405610.dist-info/WHEEL
2023-03-14T07:22:39,327   creating '/tmp/pip-wheel-bgyziyqq/certora_cli_alpha_dudi_ci_dynamic-20230314.6.30.405610-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2023-03-14T07:22:39,329   adding 'certora_cli/__init__.py'
2023-03-14T07:22:39,331   adding 'certora_cli/certoraRun.py'
2023-03-14T07:22:39,333   adding 'certora_cli/mutationTest.py'
2023-03-14T07:22:39,335   adding 'certora_cli/EVMVerifier/__init__.py'
2023-03-14T07:22:39,357   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-03-14T07:22:39,363   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-03-14T07:22:39,365   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-03-14T07:22:39,366   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-03-14T07:22:39,370   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-03-14T07:22:39,373   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-03-14T07:22:39,375   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-03-14T07:22:39,380   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-03-14T07:22:39,383   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-03-14T07:22:39,384   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-03-14T07:22:39,386   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-03-14T07:22:39,390   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-03-14T07:22:39,392   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-03-14T07:22:39,394   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-03-14T07:22:39,395   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-03-14T07:22:39,398   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-03-14T07:22:39,399   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-03-14T07:22:39,401   adding 'certora_cli/Shared/__init__.py'
2023-03-14T07:22:39,403   adding 'certora_cli/Shared/certoraLogging.py'
2023-03-14T07:22:39,405   adding 'certora_cli/Shared/certoraTester.py'
2023-03-14T07:22:39,410   adding 'certora_cli/Shared/certoraUtils.py'
2023-03-14T07:22:40,909   adding 'certora_jars/MutationTest.jar'
2023-03-14T07:22:42,254   adding 'certora_jars/Typechecker.jar'
2023-03-14T07:22:42,323   adding 'certora_jars/__init__.py'
2023-03-14T07:22:43,202   adding 'certora_jars/gambit-linux'
2023-03-14T07:22:44,091   adding 'certora_jars/gambit-macos'
2023-03-14T07:22:44,127   adding 'certora_cli_alpha_dudi_ci_dynamic-20230314.6.30.405610.dist-info/LICENSE'
2023-03-14T07:22:44,128   adding 'certora_cli_alpha_dudi_ci_dynamic-20230314.6.30.405610.dist-info/METADATA'
2023-03-14T07:22:44,129   adding 'certora_cli_alpha_dudi_ci_dynamic-20230314.6.30.405610.dist-info/WHEEL'
2023-03-14T07:22:44,130   adding 'certora_cli_alpha_dudi_ci_dynamic-20230314.6.30.405610.dist-info/entry_points.txt'
2023-03-14T07:22:44,131   adding 'certora_cli_alpha_dudi_ci_dynamic-20230314.6.30.405610.dist-info/top_level.txt'
2023-03-14T07:22:44,132   adding 'certora_cli_alpha_dudi_ci_dynamic-20230314.6.30.405610.dist-info/RECORD'
2023-03-14T07:22:44,480   removing build/bdist.linux-armv7l/wheel
2023-03-14T07:22:44,598   Building wheel for certora-cli-alpha-dudi-ci-dynamic (setup.py): finished with status 'done'
2023-03-14T07:22:44,876   Created wheel for certora-cli-alpha-dudi-ci-dynamic: filename=certora_cli_alpha_dudi_ci_dynamic-20230314.6.30.405610-py3-none-any.whl size=25705909 sha256=de57b642e986503c61b27c6e377080b99fe48aaffbe1006a87ee3153ef6c31ca
2023-03-14T07:22:44,877   Stored in directory: /tmp/pip-ephem-wheel-cache-r1luqdlx/wheels/74/52/de/14e93de00c590b3e8570e84dd681071f7a412a2a8b203de5aa
2023-03-14T07:22:44,903 Successfully built certora-cli-alpha-dudi-ci-dynamic
2023-03-14T07:22:45,654 Removed build tracker: '/tmp/pip-build-tracker-a_ysbm1u'