2023-03-13T08:52:27,642 Created temporary directory: /tmp/pip-ephem-wheel-cache-xtjafs8g
2023-03-13T08:52:27,645 Created temporary directory: /tmp/pip-build-tracker-l3wztbtp
2023-03-13T08:52:27,645 Initialized build tracking at /tmp/pip-build-tracker-l3wztbtp
2023-03-13T08:52:27,645 Created build tracker: /tmp/pip-build-tracker-l3wztbtp
2023-03-13T08:52:27,645 Entered build tracker: /tmp/pip-build-tracker-l3wztbtp
2023-03-13T08:52:27,646 Created temporary directory: /tmp/pip-wheel-wig0kzps
2023-03-13T08:52:27,651 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-13T08:52:27,654 Created temporary directory: /tmp/pip-ephem-wheel-cache-i0n220df
2023-03-13T08:52:27,683 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-03-13T08:52:27,687 2 location(s) to search for versions of certora-cli-alpha-dudi-ci-dynamic:
2023-03-13T08:52:27,687 * https://pypi.org/simple/certora-cli-alpha-dudi-ci-dynamic/
2023-03-13T08:52:27,687 * https://www.piwheels.org/simple/certora-cli-alpha-dudi-ci-dynamic/
2023-03-13T08:52:27,687 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-dudi-ci-dynamic/
2023-03-13T08:52:27,688 Getting page https://pypi.org/simple/certora-cli-alpha-dudi-ci-dynamic/
2023-03-13T08:52:27,690 Found index url https://pypi.org/simple
2023-03-13T08:52:27,742 Fetched page https://pypi.org/simple/certora-cli-alpha-dudi-ci-dynamic/ as application/vnd.pypi.simple.v1+json
2023-03-13T08:52:27,744   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-13T08:52:27,744   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-13T08:52:27,745   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-13T08:52:27,745   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-13T08:52:27,746 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-dudi-ci-dynamic/
2023-03-13T08:52:27,746 Getting page https://www.piwheels.org/simple/certora-cli-alpha-dudi-ci-dynamic/
2023-03-13T08:52:27,747 Found index url https://www.piwheels.org/simple
2023-03-13T08:52:27,913 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-dudi-ci-dynamic/ as text/html
2023-03-13T08:52:27,915   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-13T08:52:27,916 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-dudi-ci-dynamic/
2023-03-13T08:52:27,916 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-dudi-ci-dynamic/
2023-03-13T08:52:27,949 Given no hashes to check 1 links for project 'certora-cli-alpha-dudi-ci-dynamic': discarding no candidates
2023-03-13T08:52:27,980 Collecting certora-cli-alpha-dudi-ci-dynamic==20230313.8.21.515508
2023-03-13T08:52:27,983   Created temporary directory: /tmp/pip-unpack-rszrpb1_
2023-03-13T08:52:28,193   Downloading certora-cli-alpha-dudi-ci_dynamic-20230313.8.21.515508.tar.gz (25.7 MB)
2023-03-13T08:52:38,389   Added certora-cli-alpha-dudi-ci-dynamic==20230313.8.21.515508 from https://files.pythonhosted.org/packages/50/49/ecb8a603329ae2194f5695991fa167a6c775c0f1659b72f44b93db69fb88/certora-cli-alpha-dudi-ci_dynamic-20230313.8.21.515508.tar.gz to build tracker '/tmp/pip-build-tracker-l3wztbtp'
2023-03-13T08:52:38,391   Running setup.py (path:/tmp/pip-wheel-wig0kzps/certora-cli-alpha-dudi-ci-dynamic_4f1571bbd900425db2c2a22bf7d4effb/setup.py) egg_info for package certora-cli-alpha-dudi-ci-dynamic
2023-03-13T08:52:38,391   Created temporary directory: /tmp/pip-pip-egg-info-ii3hokb0
2023-03-13T08:52:38,392   Preparing metadata (setup.py): started
2023-03-13T08:52:38,393   Running command python setup.py egg_info
2023-03-13T08:52:39,007   running egg_info
2023-03-13T08:52:39,009   creating /tmp/pip-pip-egg-info-ii3hokb0/certora_cli_alpha_dudi_ci_dynamic.egg-info
2023-03-13T08:52:39,032   writing /tmp/pip-pip-egg-info-ii3hokb0/certora_cli_alpha_dudi_ci_dynamic.egg-info/PKG-INFO
2023-03-13T08:52:39,035   writing dependency_links to /tmp/pip-pip-egg-info-ii3hokb0/certora_cli_alpha_dudi_ci_dynamic.egg-info/dependency_links.txt
2023-03-13T08:52:39,037   writing entry points to /tmp/pip-pip-egg-info-ii3hokb0/certora_cli_alpha_dudi_ci_dynamic.egg-info/entry_points.txt
2023-03-13T08:52:39,038   writing requirements to /tmp/pip-pip-egg-info-ii3hokb0/certora_cli_alpha_dudi_ci_dynamic.egg-info/requires.txt
2023-03-13T08:52:39,039   writing top-level names to /tmp/pip-pip-egg-info-ii3hokb0/certora_cli_alpha_dudi_ci_dynamic.egg-info/top_level.txt
2023-03-13T08:52:39,041   writing manifest file '/tmp/pip-pip-egg-info-ii3hokb0/certora_cli_alpha_dudi_ci_dynamic.egg-info/SOURCES.txt'
2023-03-13T08:52:39,118   reading manifest file '/tmp/pip-pip-egg-info-ii3hokb0/certora_cli_alpha_dudi_ci_dynamic.egg-info/SOURCES.txt'
2023-03-13T08:52:39,119   reading manifest template 'MANIFEST.in'
2023-03-13T08:52:39,126   adding license file 'LICENSE'
2023-03-13T08:52:39,129   writing manifest file '/tmp/pip-pip-egg-info-ii3hokb0/certora_cli_alpha_dudi_ci_dynamic.egg-info/SOURCES.txt'
2023-03-13T08:52:39,188   Preparing metadata (setup.py): finished with status 'done'
2023-03-13T08:52:39,194   Source in /tmp/pip-wheel-wig0kzps/certora-cli-alpha-dudi-ci-dynamic_4f1571bbd900425db2c2a22bf7d4effb has version 20230313.8.21.515508, which satisfies requirement certora-cli-alpha-dudi-ci-dynamic==20230313.8.21.515508 from https://files.pythonhosted.org/packages/50/49/ecb8a603329ae2194f5695991fa167a6c775c0f1659b72f44b93db69fb88/certora-cli-alpha-dudi-ci_dynamic-20230313.8.21.515508.tar.gz
2023-03-13T08:52:39,195   Removed certora-cli-alpha-dudi-ci-dynamic==20230313.8.21.515508 from https://files.pythonhosted.org/packages/50/49/ecb8a603329ae2194f5695991fa167a6c775c0f1659b72f44b93db69fb88/certora-cli-alpha-dudi-ci_dynamic-20230313.8.21.515508.tar.gz from build tracker '/tmp/pip-build-tracker-l3wztbtp'
2023-03-13T08:52:39,202 Created temporary directory: /tmp/pip-unpack-71e20kbt
2023-03-13T08:52:39,203 Building wheels for collected packages: certora-cli-alpha-dudi-ci-dynamic
2023-03-13T08:52:39,207   Created temporary directory: /tmp/pip-wheel-haicz9xh
2023-03-13T08:52:39,207   Building wheel for certora-cli-alpha-dudi-ci-dynamic (setup.py): started
2023-03-13T08:52:39,208   Destination directory: /tmp/pip-wheel-haicz9xh
2023-03-13T08:52:39,209   Running command python setup.py bdist_wheel
2023-03-13T08:52:40,075   running bdist_wheel
2023-03-13T08:52:40,359   running build
2023-03-13T08:52:40,359   running build_py
2023-03-13T08:52:40,386   creating build
2023-03-13T08:52:40,386   creating build/lib
2023-03-13T08:52:40,387   creating build/lib/certora_cli
2023-03-13T08:52:40,389   copying certora_cli/mutationTest.py -> build/lib/certora_cli
2023-03-13T08:52:40,391   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-03-13T08:52:40,394   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-03-13T08:52:40,396   creating build/lib/certora_jars
2023-03-13T08:52:40,397   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-03-13T08:52:40,400   creating build/lib/certora_cli/EVMVerifier
2023-03-13T08:52:40,401   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-03-13T08:52:40,407   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-03-13T08:52:40,409   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-03-13T08:52:40,412   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-03-13T08:52:40,414   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-03-13T08:52:40,417   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-03-13T08:52:40,420   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-03-13T08:52:40,423   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-03-13T08:52:40,426   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-03-13T08:52:40,428   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-03-13T08:52:40,431   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-03-13T08:52:40,433   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-03-13T08:52:40,436   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-03-13T08:52:40,438   creating build/lib/certora_cli/Shared
2023-03-13T08:52:40,439   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-03-13T08:52:40,443   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-03-13T08:52:40,445   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-03-13T08:52:40,447   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-03-13T08:52:40,450   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-03-13T08:52:40,451   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-03-13T08:52:40,453   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-03-13T08:52:40,455   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-03-13T08:52:40,457   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-03-13T08:52:40,460   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-03-13T08:52:40,461   running egg_info
2023-03-13T08:52:40,517   writing certora_cli_alpha_dudi_ci_dynamic.egg-info/PKG-INFO
2023-03-13T08:52:40,518   writing dependency_links to certora_cli_alpha_dudi_ci_dynamic.egg-info/dependency_links.txt
2023-03-13T08:52:40,521   writing entry points to certora_cli_alpha_dudi_ci_dynamic.egg-info/entry_points.txt
2023-03-13T08:52:40,522   writing requirements to certora_cli_alpha_dudi_ci_dynamic.egg-info/requires.txt
2023-03-13T08:52:40,524   writing top-level names to certora_cli_alpha_dudi_ci_dynamic.egg-info/top_level.txt
2023-03-13T08:52:40,555   reading manifest file 'certora_cli_alpha_dudi_ci_dynamic.egg-info/SOURCES.txt'
2023-03-13T08:52:40,557   reading manifest template 'MANIFEST.in'
2023-03-13T08:52:40,564   adding license file 'LICENSE'
2023-03-13T08:52:40,569   writing manifest file 'certora_cli_alpha_dudi_ci_dynamic.egg-info/SOURCES.txt'
2023-03-13T08:52:40,572   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-03-13T08:52:40,836   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-03-13T08:52:41,060   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-03-13T08:52:41,224   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-03-13T08:52:41,380   /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-13T08:52:41,380     warnings.warn(
2023-03-13T08:52:41,405   installing to build/bdist.linux-armv7l/wheel
2023-03-13T08:52:41,405   running install
2023-03-13T08:52:41,430   running install_lib
2023-03-13T08:52:41,456   creating build/bdist.linux-armv7l
2023-03-13T08:52:41,456   creating build/bdist.linux-armv7l/wheel
2023-03-13T08:52:41,458   creating build/bdist.linux-armv7l/wheel/certora_cli
2023-03-13T08:52:41,460   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-13T08:52:41,461   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-13T08:52:41,468   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-13T08:52:41,470   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-13T08:52:41,472   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-13T08:52:41,475   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-13T08:52:41,480   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-13T08:52:41,483   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-13T08:52:41,486   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-13T08:52:41,490   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-13T08:52:41,492   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-13T08:52:41,496   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-13T08:52:41,499   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-03-13T08:52:41,500   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-03-13T08:52:41,502   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-03-13T08:52:41,505   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-03-13T08:52:41,507   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-03-13T08:52:41,509   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-03-13T08:52:41,511   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-13T08:52:41,514   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-03-13T08:52:41,516   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-03-13T08:52:41,517   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-03-13T08:52:41,522   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-03-13T08:52:41,524   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-03-13T08:52:41,527   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-03-13T08:52:41,529   copying build/lib/certora_cli/mutationTest.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-03-13T08:52:41,530   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-03-13T08:52:41,533   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-03-13T08:52:41,535   creating build/bdist.linux-armv7l/wheel/certora_jars
2023-03-13T08:52:41,536   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars
2023-03-13T08:52:41,678   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-03-13T08:52:41,901   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-03-13T08:52:42,206   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars
2023-03-13T08:52:42,334   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars
2023-03-13T08:52:42,336   running install_egg_info
2023-03-13T08:52:42,365   Copying certora_cli_alpha_dudi_ci_dynamic.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_dudi_ci_dynamic-20230313.8.21.515508-py3.9.egg-info
2023-03-13T08:52:42,377   running install_scripts
2023-03-13T08:52:42,395   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2023-03-13T08:52:42,399   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_dudi_ci_dynamic-20230313.8.21.515508.dist-info/WHEEL
2023-03-13T08:52:42,402   creating '/tmp/pip-wheel-haicz9xh/certora_cli_alpha_dudi_ci_dynamic-20230313.8.21.515508-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2023-03-13T08:52:42,405   adding 'certora_cli/__init__.py'
2023-03-13T08:52:42,407   adding 'certora_cli/certoraRun.py'
2023-03-13T08:52:42,409   adding 'certora_cli/mutationTest.py'
2023-03-13T08:52:42,412   adding 'certora_cli/EVMVerifier/__init__.py'
2023-03-13T08:52:42,434   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-03-13T08:52:42,440   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-03-13T08:52:42,443   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-03-13T08:52:42,445   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-03-13T08:52:42,449   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-03-13T08:52:42,452   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-03-13T08:52:42,454   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-03-13T08:52:42,460   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-03-13T08:52:42,463   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-03-13T08:52:42,464   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-03-13T08:52:42,466   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-03-13T08:52:42,470   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-03-13T08:52:42,473   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-03-13T08:52:42,475   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-03-13T08:52:42,477   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-03-13T08:52:42,480   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-03-13T08:52:42,481   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-03-13T08:52:42,484   adding 'certora_cli/Shared/__init__.py'
2023-03-13T08:52:42,486   adding 'certora_cli/Shared/certoraLogging.py'
2023-03-13T08:52:42,488   adding 'certora_cli/Shared/certoraTester.py'
2023-03-13T08:52:42,494   adding 'certora_cli/Shared/certoraUtils.py'
2023-03-13T08:52:43,990   adding 'certora_jars/MutationTest.jar'
2023-03-13T08:52:45,333   adding 'certora_jars/Typechecker.jar'
2023-03-13T08:52:45,401   adding 'certora_jars/__init__.py'
2023-03-13T08:52:46,275   adding 'certora_jars/gambit-linux'
2023-03-13T08:52:47,158   adding 'certora_jars/gambit-macos'
2023-03-13T08:52:47,311   adding 'certora_cli_alpha_dudi_ci_dynamic-20230313.8.21.515508.dist-info/LICENSE'
2023-03-13T08:52:47,351   adding 'certora_cli_alpha_dudi_ci_dynamic-20230313.8.21.515508.dist-info/METADATA'
2023-03-13T08:52:47,352   adding 'certora_cli_alpha_dudi_ci_dynamic-20230313.8.21.515508.dist-info/WHEEL'
2023-03-13T08:52:47,354   adding 'certora_cli_alpha_dudi_ci_dynamic-20230313.8.21.515508.dist-info/entry_points.txt'
2023-03-13T08:52:47,355   adding 'certora_cli_alpha_dudi_ci_dynamic-20230313.8.21.515508.dist-info/top_level.txt'
2023-03-13T08:52:47,356   adding 'certora_cli_alpha_dudi_ci_dynamic-20230313.8.21.515508.dist-info/RECORD'
2023-03-13T08:52:47,745   removing build/bdist.linux-armv7l/wheel
2023-03-13T08:52:47,863   Building wheel for certora-cli-alpha-dudi-ci-dynamic (setup.py): finished with status 'done'
2023-03-13T08:52:48,139   Created wheel for certora-cli-alpha-dudi-ci-dynamic: filename=certora_cli_alpha_dudi_ci_dynamic-20230313.8.21.515508-py3-none-any.whl size=25704066 sha256=dedc5a1a2b0fdcb09a156cae150f1d9f4bf5c4830509c0a06b48d09d42e8f02a
2023-03-13T08:52:48,140   Stored in directory: /tmp/pip-ephem-wheel-cache-i0n220df/wheels/ec/31/05/9492678a78f9e6b058c52d1d88b0cbd29a8d077d2705214ba7
2023-03-13T08:52:48,166 Successfully built certora-cli-alpha-dudi-ci-dynamic
2023-03-13T08:52:48,845 Removed build tracker: '/tmp/pip-build-tracker-l3wztbtp'