2023-05-13T17:13:23,863 Created temporary directory: /tmp/pip-build-tracker-r5o9l1r1
2023-05-13T17:13:23,864 Initialized build tracking at /tmp/pip-build-tracker-r5o9l1r1
2023-05-13T17:13:23,864 Created build tracker: /tmp/pip-build-tracker-r5o9l1r1
2023-05-13T17:13:23,865 Entered build tracker: /tmp/pip-build-tracker-r5o9l1r1
2023-05-13T17:13:23,865 Created temporary directory: /tmp/pip-wheel-wq8vbryn
2023-05-13T17:13:23,869 Created temporary directory: /tmp/pip-ephem-wheel-cache-je25ckdq
2023-05-13T17:13:23,893 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-13T17:13:23,897 2 location(s) to search for versions of certora-cli-alpha-dominik-mus-enumeration-tests:
2023-05-13T17:13:23,897 * https://pypi.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/
2023-05-13T17:13:23,897 * https://www.piwheels.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/
2023-05-13T17:13:23,897 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/
2023-05-13T17:13:23,898 Getting page https://pypi.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/
2023-05-13T17:13:23,900 Found index url https://pypi.org/simple/
2023-05-13T17:13:23,984 Fetched page https://pypi.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/ as application/vnd.pypi.simple.v1+json
2023-05-13T17:13:23,986   Found link https://files.pythonhosted.org/packages/20/91/d4b0ff70770a732a5caa7e3fb8f48cdad6ecf3b00f94730895994fce2295/certora-cli-alpha-dominik-MUS_enumeration_tests-20230502.9.47.335390.tar.gz (from https://pypi.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/) (requires-python:>=3.8.16), version: 20230502.9.47.335390
2023-05-13T17:13:23,987   Skipping link: No binaries permitted for certora-cli-alpha-dominik-mus-enumeration-tests: https://files.pythonhosted.org/packages/35/1b/b77f5df1b94983dfdd5e77dc37a765d5ca7d49f95f44129c8e40dc1fd93e/certora_cli_alpha_dominik_MUS_enumeration_tests-20230502.9.47.335390-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/) (requires-python:>=3.8.16)
2023-05-13T17:13:23,987   Found link https://files.pythonhosted.org/packages/ae/6c/fe57c49916e3a7c83e1d761395f997f74041d0e6405e596be42248d93720/certora-cli-alpha-dominik-MUS_enumeration_tests-20230503.14.29.450860.tar.gz (from https://pypi.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/) (requires-python:>=3.8.16), version: 20230503.14.29.450860
2023-05-13T17:13:23,988   Skipping link: No binaries permitted for certora-cli-alpha-dominik-mus-enumeration-tests: https://files.pythonhosted.org/packages/88/69/f42cb57ace987c63a8688564b51bf3874a1191434b2aebb73f8efdd1424b/certora_cli_alpha_dominik_MUS_enumeration_tests-20230503.14.29.450860-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/) (requires-python:>=3.8.16)
2023-05-13T17:13:23,988   Found link https://files.pythonhosted.org/packages/c8/14/c8b1c5eb6a0ea328a4d57b62f6d00399ccdf35b8978d9164a63093f45b5e/certora-cli-alpha-dominik-MUS_enumeration_tests-20230503.15.17.377241.tar.gz (from https://pypi.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/) (requires-python:>=3.8.16), version: 20230503.15.17.377241
2023-05-13T17:13:23,989   Skipping link: No binaries permitted for certora-cli-alpha-dominik-mus-enumeration-tests: https://files.pythonhosted.org/packages/be/81/c6d718a26541fabeed9d8dae0efa0e01d83bf907549f1586565dcaa64c09/certora_cli_alpha_dominik_MUS_enumeration_tests-20230503.15.17.377241-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/) (requires-python:>=3.8.16)
2023-05-13T17:13:23,989 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/
2023-05-13T17:13:23,989 Getting page https://www.piwheels.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/
2023-05-13T17:13:23,990 Found index url https://www.piwheels.org/simple/
2023-05-13T17:13:24,162 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/ as text/html
2023-05-13T17:13:24,164   Skipping link: No binaries permitted for certora-cli-alpha-dominik-mus-enumeration-tests: https://www.piwheels.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/certora_cli_alpha_dominik_MUS_enumeration_tests-20230503.15.17.377241-py3-none-any.whl#sha256=6e786270a7cf836068d0b3d66d6da3b33fd094bf50057ac1b3e2a7d576076c56 (from https://www.piwheels.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/) (requires-python:>=3.8.16)
2023-05-13T17:13:24,164   Skipping link: No binaries permitted for certora-cli-alpha-dominik-mus-enumeration-tests: https://www.piwheels.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/certora_cli_alpha_dominik_MUS_enumeration_tests-20230503.14.29.450860-py3-none-any.whl#sha256=3ed3a2ef7b804d0503517ffc23a1d820f7f39b40ad26a78aff07572fa4228848 (from https://www.piwheels.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/) (requires-python:>=3.8.16)
2023-05-13T17:13:24,164   Skipping link: No binaries permitted for certora-cli-alpha-dominik-mus-enumeration-tests: https://www.piwheels.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/certora_cli_alpha_dominik_MUS_enumeration_tests-20230502.9.47.335390-py3-none-any.whl#sha256=09445d5bfff7147e95f5ba473068b2b92cbe86160cbf6b4c1552f88a2b03a3ca (from https://www.piwheels.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/) (requires-python:>=3.8.16)
2023-05-13T17:13:24,165 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/
2023-05-13T17:13:24,165 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/
2023-05-13T17:13:24,183 Given no hashes to check 1 links for project 'certora-cli-alpha-dominik-mus-enumeration-tests': discarding no candidates
2023-05-13T17:13:24,201 Collecting certora-cli-alpha-dominik-mus-enumeration-tests==20230502.9.47.335390
2023-05-13T17:13:24,203   Created temporary directory: /tmp/pip-unpack-c0s_t3ff
2023-05-13T17:13:24,564   Downloading certora-cli-alpha-dominik-MUS_enumeration_tests-20230502.9.47.335390.tar.gz (38.4 MB)
2023-05-13T17:13:34,516   Added certora-cli-alpha-dominik-mus-enumeration-tests==20230502.9.47.335390 from https://files.pythonhosted.org/packages/20/91/d4b0ff70770a732a5caa7e3fb8f48cdad6ecf3b00f94730895994fce2295/certora-cli-alpha-dominik-MUS_enumeration_tests-20230502.9.47.335390.tar.gz to build tracker '/tmp/pip-build-tracker-r5o9l1r1'
2023-05-13T17:13:34,518   Running setup.py (path:/tmp/pip-wheel-wq8vbryn/certora-cli-alpha-dominik-mus-enumeration-tests_1e96dbbddf1a47bfb3e784bb7a5b6e18/setup.py) egg_info for package certora-cli-alpha-dominik-mus-enumeration-tests
2023-05-13T17:13:34,519   Created temporary directory: /tmp/pip-pip-egg-info-n3nuc094
2023-05-13T17:13:34,519   Preparing metadata (setup.py): started
2023-05-13T17:13:34,520   Running command python setup.py egg_info
2023-05-13T17:13:35,201   running egg_info
2023-05-13T17:13:35,202   creating /tmp/pip-pip-egg-info-n3nuc094/certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info
2023-05-13T17:13:35,229   writing /tmp/pip-pip-egg-info-n3nuc094/certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/PKG-INFO
2023-05-13T17:13:35,231   writing dependency_links to /tmp/pip-pip-egg-info-n3nuc094/certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/dependency_links.txt
2023-05-13T17:13:35,233   writing entry points to /tmp/pip-pip-egg-info-n3nuc094/certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/entry_points.txt
2023-05-13T17:13:35,235   writing requirements to /tmp/pip-pip-egg-info-n3nuc094/certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/requires.txt
2023-05-13T17:13:35,236   writing top-level names to /tmp/pip-pip-egg-info-n3nuc094/certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/top_level.txt
2023-05-13T17:13:35,237   writing manifest file '/tmp/pip-pip-egg-info-n3nuc094/certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/SOURCES.txt'
2023-05-13T17:13:35,322   reading manifest file '/tmp/pip-pip-egg-info-n3nuc094/certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/SOURCES.txt'
2023-05-13T17:13:35,323   reading manifest template 'MANIFEST.in'
2023-05-13T17:13:35,333   adding license file 'LICENSE'
2023-05-13T17:13:35,337   writing manifest file '/tmp/pip-pip-egg-info-n3nuc094/certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/SOURCES.txt'
2023-05-13T17:13:35,396   Preparing metadata (setup.py): finished with status 'done'
2023-05-13T17:13:35,402   Source in /tmp/pip-wheel-wq8vbryn/certora-cli-alpha-dominik-mus-enumeration-tests_1e96dbbddf1a47bfb3e784bb7a5b6e18 has version 20230502.9.47.335390, which satisfies requirement certora-cli-alpha-dominik-mus-enumeration-tests==20230502.9.47.335390 from https://files.pythonhosted.org/packages/20/91/d4b0ff70770a732a5caa7e3fb8f48cdad6ecf3b00f94730895994fce2295/certora-cli-alpha-dominik-MUS_enumeration_tests-20230502.9.47.335390.tar.gz
2023-05-13T17:13:35,403   Removed certora-cli-alpha-dominik-mus-enumeration-tests==20230502.9.47.335390 from https://files.pythonhosted.org/packages/20/91/d4b0ff70770a732a5caa7e3fb8f48cdad6ecf3b00f94730895994fce2295/certora-cli-alpha-dominik-MUS_enumeration_tests-20230502.9.47.335390.tar.gz from build tracker '/tmp/pip-build-tracker-r5o9l1r1'
2023-05-13T17:13:35,410 Created temporary directory: /tmp/pip-unpack-znws17jq
2023-05-13T17:13:35,410 Building wheels for collected packages: certora-cli-alpha-dominik-mus-enumeration-tests
2023-05-13T17:13:35,415   Created temporary directory: /tmp/pip-wheel-tb2gylah
2023-05-13T17:13:35,415   Building wheel for certora-cli-alpha-dominik-mus-enumeration-tests (setup.py): started
2023-05-13T17:13:35,416   Destination directory: /tmp/pip-wheel-tb2gylah
2023-05-13T17:13:35,417   Running command python setup.py bdist_wheel
2023-05-13T17:13:36,235   running bdist_wheel
2023-05-13T17:13:36,516   running build
2023-05-13T17:13:36,517   running build_py
2023-05-13T17:13:36,546   creating build
2023-05-13T17:13:36,546   creating build/lib
2023-05-13T17:13:36,547   creating build/lib/certora_jars
2023-05-13T17:13:36,548   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-13T17:13:36,550   creating build/lib/certora_cli
2023-05-13T17:13:36,551   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-13T17:13:36,553   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-13T17:13:36,555   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-13T17:13:36,558   creating build/lib/certora_cli/EVMVerifier
2023-05-13T17:13:36,559   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T17:13:36,561   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T17:13:36,567   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T17:13:36,569   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T17:13:36,572   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T17:13:36,576   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T17:13:36,578   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T17:13:36,581   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T17:13:36,583   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T17:13:36,587   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T17:13:36,589   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T17:13:36,591   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T17:13:36,594   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T17:13:36,597   creating build/lib/certora_cli/Shared
2023-05-13T17:13:36,598   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-13T17:13:36,600   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-13T17:13:36,602   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-13T17:13:36,605   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-13T17:13:36,609   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T17:13:36,610   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T17:13:36,612   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T17:13:36,614   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T17:13:36,616   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T17:13:36,618   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T17:13:36,621   running egg_info
2023-05-13T17:13:36,682   writing certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/PKG-INFO
2023-05-13T17:13:36,685   writing dependency_links to certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/dependency_links.txt
2023-05-13T17:13:36,687   writing entry points to certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/entry_points.txt
2023-05-13T17:13:36,689   writing requirements to certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/requires.txt
2023-05-13T17:13:36,690   writing top-level names to certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/top_level.txt
2023-05-13T17:13:36,721   reading manifest file 'certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/SOURCES.txt'
2023-05-13T17:13:36,724   reading manifest template 'MANIFEST.in'
2023-05-13T17:13:36,733   adding license file 'LICENSE'
2023-05-13T17:13:36,738   writing manifest file 'certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/SOURCES.txt'
2023-05-13T17:13:36,741   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-13T17:13:36,744   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-13T17:13:36,959   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-13T17:13:37,144   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-13T17:13:37,344   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-13T17:13:37,457   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-13T17:13:37,582   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-13T17:13:37,582   !!

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

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

2023-05-13T17:13:37,584   !!
2023-05-13T17:13:37,584     self.initialize_options()
2023-05-13T17:13:37,609   installing to build/bdist.linux-aarch64/wheel
2023-05-13T17:13:37,609   running install
2023-05-13T17:13:37,634   running install_lib
2023-05-13T17:13:37,661   creating build/bdist.linux-aarch64
2023-05-13T17:13:37,662   creating build/bdist.linux-aarch64/wheel
2023-05-13T17:13:37,664   creating build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T17:13:37,665   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T17:13:37,667   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T17:13:37,669   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T17:13:37,833   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T17:13:37,934   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T17:13:38,095   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T17:13:38,369   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T17:13:38,465   creating build/bdist.linux-aarch64/wheel/certora_cli
2023-05-13T17:13:38,466   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-13T17:13:38,468   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-13T17:13:38,470   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-13T17:13:38,473   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T17:13:38,474   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T17:13:38,476   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T17:13:38,482   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T17:13:38,484   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T17:13:38,487   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T17:13:38,490   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T17:13:38,493   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T17:13:38,496   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T17:13:38,499   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T17:13:38,499   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T17:13:38,501   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T17:13:38,504   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T17:13:38,506   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T17:13:38,508   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T17:13:38,511   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T17:13:38,515   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T17:13:38,518   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T17:13:38,519   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T17:13:38,522   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T17:13:38,525   creating build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T17:13:38,526   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T17:13:38,528   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T17:13:38,530   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T17:13:38,533   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T17:13:38,536   running install_egg_info
2023-05-13T17:13:38,566   Copying certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_dominik_MUS_enumeration_tests-20230502.9.47.335390-py3.9.egg-info
2023-05-13T17:13:38,579   running install_scripts
2023-05-13T17:13:38,597   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2023-05-13T17:13:38,602   creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_dominik_MUS_enumeration_tests-20230502.9.47.335390.dist-info/WHEEL
2023-05-13T17:13:38,604   creating '/tmp/pip-wheel-tb2gylah/certora_cli_alpha_dominik_MUS_enumeration_tests-20230502.9.47.335390-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it
2023-05-13T17:13:38,607   adding 'certora_cli/__init__.py'
2023-05-13T17:13:38,608   adding 'certora_cli/certoraMutate.py'
2023-05-13T17:13:38,611   adding 'certora_cli/certoraRun.py'
2023-05-13T17:13:38,613   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-13T17:13:38,634   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-13T17:13:38,641   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-13T17:13:38,643   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-13T17:13:38,645   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-13T17:13:38,649   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-13T17:13:38,653   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-13T17:13:38,654   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-13T17:13:38,660   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-13T17:13:38,662   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-13T17:13:38,664   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-13T17:13:38,667   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-13T17:13:38,670   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-13T17:13:38,673   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-13T17:13:38,675   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-13T17:13:38,676   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-13T17:13:38,680   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-13T17:13:38,682   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-13T17:13:38,684   adding 'certora_cli/Shared/__init__.py'
2023-05-13T17:13:38,686   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-13T17:13:38,688   adding 'certora_cli/Shared/certoraTester.py'
2023-05-13T17:13:38,694   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-13T17:13:38,698   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-13T17:13:40,283   adding 'certora_jars/MutationTest.jar'
2023-05-13T17:13:41,595   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-13T17:13:43,081   adding 'certora_jars/Typechecker.jar'
2023-05-13T17:13:43,160   adding 'certora_jars/__init__.py'
2023-05-13T17:13:44,013   adding 'certora_jars/gambit-linux'
2023-05-13T17:13:44,869   adding 'certora_jars/gambit-macos'
2023-05-13T17:13:44,904   adding 'certora_cli_alpha_dominik_MUS_enumeration_tests-20230502.9.47.335390.dist-info/LICENSE'
2023-05-13T17:13:44,906   adding 'certora_cli_alpha_dominik_MUS_enumeration_tests-20230502.9.47.335390.dist-info/METADATA'
2023-05-13T17:13:44,907   adding 'certora_cli_alpha_dominik_MUS_enumeration_tests-20230502.9.47.335390.dist-info/WHEEL'
2023-05-13T17:13:44,908   adding 'certora_cli_alpha_dominik_MUS_enumeration_tests-20230502.9.47.335390.dist-info/entry_points.txt'
2023-05-13T17:13:44,909   adding 'certora_cli_alpha_dominik_MUS_enumeration_tests-20230502.9.47.335390.dist-info/top_level.txt'
2023-05-13T17:13:44,910   adding 'certora_cli_alpha_dominik_MUS_enumeration_tests-20230502.9.47.335390.dist-info/RECORD'
2023-05-13T17:13:45,393   removing build/bdist.linux-aarch64/wheel
2023-05-13T17:13:45,517   Building wheel for certora-cli-alpha-dominik-mus-enumeration-tests (setup.py): finished with status 'done'
2023-05-13T17:13:45,835   Created wheel for certora-cli-alpha-dominik-mus-enumeration-tests: filename=certora_cli_alpha_dominik_MUS_enumeration_tests-20230502.9.47.335390-py3-none-any.whl size=38404220 sha256=3fcf8aa2005706773719269d2f45448552f2f7d53c668a2e727fbfff8d37a265
2023-05-13T17:13:45,836   Stored in directory: /tmp/pip-ephem-wheel-cache-je25ckdq/wheels/e9/e3/f3/890a0010660c9b0ae3fbb0314fd10a8b61abffc7dd0cf013b4
2023-05-13T17:13:45,868 Successfully built certora-cli-alpha-dominik-mus-enumeration-tests
2023-05-13T17:13:47,028 Removed build tracker: '/tmp/pip-build-tracker-r5o9l1r1'