2023-05-19T10:08:24,670 Created temporary directory: /tmp/pip-build-tracker-mm2sev44
2023-05-19T10:08:24,671 Initialized build tracking at /tmp/pip-build-tracker-mm2sev44
2023-05-19T10:08:24,671 Created build tracker: /tmp/pip-build-tracker-mm2sev44
2023-05-19T10:08:24,671 Entered build tracker: /tmp/pip-build-tracker-mm2sev44
2023-05-19T10:08:24,672 Created temporary directory: /tmp/pip-wheel-s97wc8oy
2023-05-19T10:08:24,676 Created temporary directory: /tmp/pip-ephem-wheel-cache-66kib8a3
2023-05-19T10:08:24,702 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-19T10:08:24,706 2 location(s) to search for versions of certora-cli-alpha-dominik-change-mus-enumeration-solver:
2023-05-19T10:08:24,706 * https://pypi.org/simple/certora-cli-alpha-dominik-change-mus-enumeration-solver/
2023-05-19T10:08:24,706 * https://www.piwheels.org/simple/certora-cli-alpha-dominik-change-mus-enumeration-solver/
2023-05-19T10:08:24,706 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-dominik-change-mus-enumeration-solver/
2023-05-19T10:08:24,707 Getting page https://pypi.org/simple/certora-cli-alpha-dominik-change-mus-enumeration-solver/
2023-05-19T10:08:24,708 Found index url https://pypi.org/simple/
2023-05-19T10:08:24,758 Fetched page https://pypi.org/simple/certora-cli-alpha-dominik-change-mus-enumeration-solver/ as application/vnd.pypi.simple.v1+json
2023-05-19T10:08:24,760   Found link https://files.pythonhosted.org/packages/1e/50/9b81c4bc38a3d8e1fa50c11f4c9152d0ac1314b1de15cd30521100262501/certora-cli-alpha-dominik-change_mus_enumeration_solver-20230519.9.3.809548.tar.gz (from https://pypi.org/simple/certora-cli-alpha-dominik-change-mus-enumeration-solver/) (requires-python:>=3.8), version: 20230519.9.3.809548
2023-05-19T10:08:24,760   Skipping link: No binaries permitted for certora-cli-alpha-dominik-change-mus-enumeration-solver: https://files.pythonhosted.org/packages/00/1e/effff71a39a6a21e0811756a58755c0164611597c706c4932a5067116a3f/certora_cli_alpha_dominik_change_mus_enumeration_solver-20230519.9.3.809548-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-dominik-change-mus-enumeration-solver/) (requires-python:>=3.8)
2023-05-19T10:08:24,760 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-dominik-change-mus-enumeration-solver/
2023-05-19T10:08:24,761 Getting page https://www.piwheels.org/simple/certora-cli-alpha-dominik-change-mus-enumeration-solver/
2023-05-19T10:08:24,762 Found index url https://www.piwheels.org/simple/
2023-05-19T10:08:24,925 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-dominik-change-mus-enumeration-solver/ as text/html
2023-05-19T10:08:24,926 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-dominik-change-mus-enumeration-solver/
2023-05-19T10:08:24,927 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-dominik-change-mus-enumeration-solver/
2023-05-19T10:08:24,944 Given no hashes to check 1 links for project 'certora-cli-alpha-dominik-change-mus-enumeration-solver': discarding no candidates
2023-05-19T10:08:24,961 Collecting certora-cli-alpha-dominik-change-mus-enumeration-solver==20230519.9.3.809548
2023-05-19T10:08:24,963   Created temporary directory: /tmp/pip-unpack-y1_ksl7n
2023-05-19T10:08:25,175   Downloading certora-cli-alpha-dominik-change_mus_enumeration_solver-20230519.9.3.809548.tar.gz (39.0 MB)
2023-05-19T10:08:34,988   Added certora-cli-alpha-dominik-change-mus-enumeration-solver==20230519.9.3.809548 from https://files.pythonhosted.org/packages/1e/50/9b81c4bc38a3d8e1fa50c11f4c9152d0ac1314b1de15cd30521100262501/certora-cli-alpha-dominik-change_mus_enumeration_solver-20230519.9.3.809548.tar.gz to build tracker '/tmp/pip-build-tracker-mm2sev44'
2023-05-19T10:08:34,989   Running setup.py (path:/tmp/pip-wheel-s97wc8oy/certora-cli-alpha-dominik-change-mus-enumeration-solver_75e0dc65389a4e93ab08fc24ffe4c800/setup.py) egg_info for package certora-cli-alpha-dominik-change-mus-enumeration-solver
2023-05-19T10:08:34,990   Created temporary directory: /tmp/pip-pip-egg-info-eusprrca
2023-05-19T10:08:34,990   Preparing metadata (setup.py): started
2023-05-19T10:08:34,991   Running command python setup.py egg_info
2023-05-19T10:08:35,580   running egg_info
2023-05-19T10:08:35,581   creating /tmp/pip-pip-egg-info-eusprrca/certora_cli_alpha_dominik_change_mus_enumeration_solver.egg-info
2023-05-19T10:08:35,606   writing /tmp/pip-pip-egg-info-eusprrca/certora_cli_alpha_dominik_change_mus_enumeration_solver.egg-info/PKG-INFO
2023-05-19T10:08:35,608   writing dependency_links to /tmp/pip-pip-egg-info-eusprrca/certora_cli_alpha_dominik_change_mus_enumeration_solver.egg-info/dependency_links.txt
2023-05-19T10:08:35,610   writing entry points to /tmp/pip-pip-egg-info-eusprrca/certora_cli_alpha_dominik_change_mus_enumeration_solver.egg-info/entry_points.txt
2023-05-19T10:08:35,612   writing requirements to /tmp/pip-pip-egg-info-eusprrca/certora_cli_alpha_dominik_change_mus_enumeration_solver.egg-info/requires.txt
2023-05-19T10:08:35,613   writing top-level names to /tmp/pip-pip-egg-info-eusprrca/certora_cli_alpha_dominik_change_mus_enumeration_solver.egg-info/top_level.txt
2023-05-19T10:08:35,614   writing manifest file '/tmp/pip-pip-egg-info-eusprrca/certora_cli_alpha_dominik_change_mus_enumeration_solver.egg-info/SOURCES.txt'
2023-05-19T10:08:35,696   reading manifest file '/tmp/pip-pip-egg-info-eusprrca/certora_cli_alpha_dominik_change_mus_enumeration_solver.egg-info/SOURCES.txt'
2023-05-19T10:08:35,698   reading manifest template 'MANIFEST.in'
2023-05-19T10:08:35,707   adding license file 'LICENSE'
2023-05-19T10:08:35,710   writing manifest file '/tmp/pip-pip-egg-info-eusprrca/certora_cli_alpha_dominik_change_mus_enumeration_solver.egg-info/SOURCES.txt'
2023-05-19T10:08:35,770   Preparing metadata (setup.py): finished with status 'done'
2023-05-19T10:08:35,775   Source in /tmp/pip-wheel-s97wc8oy/certora-cli-alpha-dominik-change-mus-enumeration-solver_75e0dc65389a4e93ab08fc24ffe4c800 has version 20230519.9.3.809548, which satisfies requirement certora-cli-alpha-dominik-change-mus-enumeration-solver==20230519.9.3.809548 from https://files.pythonhosted.org/packages/1e/50/9b81c4bc38a3d8e1fa50c11f4c9152d0ac1314b1de15cd30521100262501/certora-cli-alpha-dominik-change_mus_enumeration_solver-20230519.9.3.809548.tar.gz
2023-05-19T10:08:35,776   Removed certora-cli-alpha-dominik-change-mus-enumeration-solver==20230519.9.3.809548 from https://files.pythonhosted.org/packages/1e/50/9b81c4bc38a3d8e1fa50c11f4c9152d0ac1314b1de15cd30521100262501/certora-cli-alpha-dominik-change_mus_enumeration_solver-20230519.9.3.809548.tar.gz from build tracker '/tmp/pip-build-tracker-mm2sev44'
2023-05-19T10:08:35,782 Created temporary directory: /tmp/pip-unpack-_5kp6h8b
2023-05-19T10:08:35,783 Building wheels for collected packages: certora-cli-alpha-dominik-change-mus-enumeration-solver
2023-05-19T10:08:35,787   Created temporary directory: /tmp/pip-wheel-4lqd08ul
2023-05-19T10:08:35,787   Building wheel for certora-cli-alpha-dominik-change-mus-enumeration-solver (setup.py): started
2023-05-19T10:08:35,788   Destination directory: /tmp/pip-wheel-4lqd08ul
2023-05-19T10:08:35,788   Running command python setup.py bdist_wheel
2023-05-19T10:08:36,558   running bdist_wheel
2023-05-19T10:08:36,827   running build
2023-05-19T10:08:36,827   running build_py
2023-05-19T10:08:36,854   creating build
2023-05-19T10:08:36,854   creating build/lib
2023-05-19T10:08:36,855   creating build/lib/certora_jars
2023-05-19T10:08:36,856   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-19T10:08:36,858   creating build/lib/certora_cli
2023-05-19T10:08:36,859   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-19T10:08:36,861   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-19T10:08:36,863   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-19T10:08:36,865   creating build/lib/certora_cli/Shared
2023-05-19T10:08:36,866   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-19T10:08:36,869   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-19T10:08:36,871   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-19T10:08:36,873   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-19T10:08:36,876   creating build/lib/certora_cli/EVMVerifier
2023-05-19T10:08:36,877   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-19T10:08:36,882   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-19T10:08:36,885   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2023-05-19T10:08:36,887   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-19T10:08:36,889   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-19T10:08:36,891   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-19T10:08:36,893   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-19T10:08:36,894   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-19T10:08:36,897   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-19T10:08:36,899   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-19T10:08:36,901   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-19T10:08:36,904   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-19T10:08:36,907   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-19T10:08:36,909   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-19T10:08:36,912   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-19T10:08:36,913   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-19T10:08:36,915   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-19T10:08:36,917   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-19T10:08:36,919   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-19T10:08:36,921   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-19T10:08:36,923   running egg_info
2023-05-19T10:08:36,981   writing certora_cli_alpha_dominik_change_mus_enumeration_solver.egg-info/PKG-INFO
2023-05-19T10:08:36,982   writing dependency_links to certora_cli_alpha_dominik_change_mus_enumeration_solver.egg-info/dependency_links.txt
2023-05-19T10:08:36,985   writing entry points to certora_cli_alpha_dominik_change_mus_enumeration_solver.egg-info/entry_points.txt
2023-05-19T10:08:36,986   writing requirements to certora_cli_alpha_dominik_change_mus_enumeration_solver.egg-info/requires.txt
2023-05-19T10:08:36,987   writing top-level names to certora_cli_alpha_dominik_change_mus_enumeration_solver.egg-info/top_level.txt
2023-05-19T10:08:37,018   reading manifest file 'certora_cli_alpha_dominik_change_mus_enumeration_solver.egg-info/SOURCES.txt'
2023-05-19T10:08:37,021   reading manifest template 'MANIFEST.in'
2023-05-19T10:08:37,029   adding license file 'LICENSE'
2023-05-19T10:08:37,033   writing manifest file 'certora_cli_alpha_dominik_change_mus_enumeration_solver.egg-info/SOURCES.txt'
2023-05-19T10:08:37,037   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-19T10:08:37,040   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-19T10:08:37,264   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-19T10:08:37,423   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-19T10:08:37,614   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-19T10:08:37,711   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-19T10:08:37,808   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-19T10:08:37,808   !!

2023-05-19T10:08:37,809           ********************************************************************************
2023-05-19T10:08:37,809           Please avoid running ``setup.py`` directly.
2023-05-19T10:08:37,809           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-19T10:08:37,809           other standards-based tools.

2023-05-19T10:08:37,809           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-19T10:08:37,809           ********************************************************************************

2023-05-19T10:08:37,809   !!
2023-05-19T10:08:37,810     self.initialize_options()
2023-05-19T10:08:37,835   installing to build/bdist.linux-armv7l/wheel
2023-05-19T10:08:37,835   running install
2023-05-19T10:08:37,861   running install_lib
2023-05-19T10:08:37,887   creating build/bdist.linux-armv7l
2023-05-19T10:08:37,888   creating build/bdist.linux-armv7l/wheel
2023-05-19T10:08:37,890   creating build/bdist.linux-armv7l/wheel/certora_jars
2023-05-19T10:08:37,891   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-19T10:08:38,090   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-19T10:08:38,251   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-19T10:08:38,311   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-19T10:08:38,313   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-19T10:08:38,314   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-19T10:08:38,399   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-05-19T10:08:38,613   creating build/bdist.linux-armv7l/wheel/certora_cli
2023-05-19T10:08:38,614   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-19T10:08:38,616   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-19T10:08:38,618   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-05-19T10:08:38,620   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-19T10:08:38,621   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-19T10:08:38,624   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-19T10:08:38,625   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-19T10:08:38,628   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-05-19T10:08:38,630   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-19T10:08:38,631   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-19T10:08:38,636   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-19T10:08:38,638   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-19T10:08:38,640   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-19T10:08:38,643   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-19T10:08:38,644   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-19T10:08:38,646   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-19T10:08:38,648   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-19T10:08:38,650   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-19T10:08:38,652   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-19T10:08:38,655   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-19T10:08:38,658   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-19T10:08:38,659   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-19T10:08:38,662   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-19T10:08:38,664   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-19T10:08:38,666   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-19T10:08:38,668   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-05-19T10:08:38,670   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-19T10:08:38,674   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-19T10:08:38,676   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-05-19T10:08:38,678   running install_egg_info
2023-05-19T10:08:38,707   Copying certora_cli_alpha_dominik_change_mus_enumeration_solver.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_dominik_change_mus_enumeration_solver-20230519.9.3.809548-py3.9.egg-info
2023-05-19T10:08:38,729   running install_scripts
2023-05-19T10:08:38,745   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2023-05-19T10:08:38,749   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_dominik_change_mus_enumeration_solver-20230519.9.3.809548.dist-info/WHEEL
2023-05-19T10:08:38,752   creating '/tmp/pip-wheel-4lqd08ul/certora_cli_alpha_dominik_change_mus_enumeration_solver-20230519.9.3.809548-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2023-05-19T10:08:38,754   adding 'certora_cli/__init__.py'
2023-05-19T10:08:38,756   adding 'certora_cli/certoraMutate.py'
2023-05-19T10:08:38,758   adding 'certora_cli/certoraRun.py'
2023-05-19T10:08:38,761   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-19T10:08:38,783   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-19T10:08:38,790   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-19T10:08:38,792   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-19T10:08:38,794   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-19T10:08:38,799   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-19T10:08:38,803   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-19T10:08:38,804   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-19T10:08:38,810   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-19T10:08:38,812   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2023-05-19T10:08:38,814   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-19T10:08:38,816   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-19T10:08:38,819   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-19T10:08:38,823   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-19T10:08:38,826   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-19T10:08:38,828   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-19T10:08:38,830   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-19T10:08:38,834   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-19T10:08:38,836   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-19T10:08:38,838   adding 'certora_cli/Shared/__init__.py'
2023-05-19T10:08:38,840   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-19T10:08:38,842   adding 'certora_cli/Shared/certoraTester.py'
2023-05-19T10:08:38,849   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-19T10:08:38,852   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-19T10:08:40,537   adding 'certora_jars/MutationTest.jar'
2023-05-19T10:08:41,874   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-19T10:08:43,466   adding 'certora_jars/Typechecker.jar'
2023-05-19T10:08:43,549   adding 'certora_jars/__init__.py'
2023-05-19T10:08:44,286   adding 'certora_jars/gambit-linux'
2023-05-19T10:08:44,947   adding 'certora_jars/gambit-macos'
2023-05-19T10:08:44,973   adding 'certora_cli_alpha_dominik_change_mus_enumeration_solver-20230519.9.3.809548.dist-info/LICENSE'
2023-05-19T10:08:44,974   adding 'certora_cli_alpha_dominik_change_mus_enumeration_solver-20230519.9.3.809548.dist-info/METADATA'
2023-05-19T10:08:44,975   adding 'certora_cli_alpha_dominik_change_mus_enumeration_solver-20230519.9.3.809548.dist-info/WHEEL'
2023-05-19T10:08:44,976   adding 'certora_cli_alpha_dominik_change_mus_enumeration_solver-20230519.9.3.809548.dist-info/entry_points.txt'
2023-05-19T10:08:44,977   adding 'certora_cli_alpha_dominik_change_mus_enumeration_solver-20230519.9.3.809548.dist-info/top_level.txt'
2023-05-19T10:08:44,978   adding 'certora_cli_alpha_dominik_change_mus_enumeration_solver-20230519.9.3.809548.dist-info/RECORD'
2023-05-19T10:08:45,380   removing build/bdist.linux-armv7l/wheel
2023-05-19T10:08:45,499   Building wheel for certora-cli-alpha-dominik-change-mus-enumeration-solver (setup.py): finished with status 'done'
2023-05-19T10:08:45,884   Created wheel for certora-cli-alpha-dominik-change-mus-enumeration-solver: filename=certora_cli_alpha_dominik_change_mus_enumeration_solver-20230519.9.3.809548-py3-none-any.whl size=39015500 sha256=9387c204601494a21b58665adac709ed9342c460b0df9c902c4d334834741503
2023-05-19T10:08:45,885   Stored in directory: /tmp/pip-ephem-wheel-cache-66kib8a3/wheels/16/31/ad/46cc88e6e42808e46ddf7090250c773ecfa9e3dc6257d11398
2023-05-19T10:08:45,909 Successfully built certora-cli-alpha-dominik-change-mus-enumeration-solver
2023-05-19T10:08:46,870 Removed build tracker: '/tmp/pip-build-tracker-mm2sev44'