2023-05-13T20:55:35,188 Created temporary directory: /tmp/pip-build-tracker-06jx4es9
2023-05-13T20:55:35,189 Initialized build tracking at /tmp/pip-build-tracker-06jx4es9
2023-05-13T20:55:35,189 Created build tracker: /tmp/pip-build-tracker-06jx4es9
2023-05-13T20:55:35,189 Entered build tracker: /tmp/pip-build-tracker-06jx4es9
2023-05-13T20:55:35,190 Created temporary directory: /tmp/pip-wheel-lwpoe_w0
2023-05-13T20:55:35,194 Created temporary directory: /tmp/pip-ephem-wheel-cache-rkllng87
2023-05-13T20:55:35,219 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-13T20:55:35,223 2 location(s) to search for versions of certora-cli-alpha-dominik-mus-enumeration-tests:
2023-05-13T20:55:35,223 * https://pypi.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/
2023-05-13T20:55:35,223 * https://www.piwheels.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/
2023-05-13T20:55:35,224 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/
2023-05-13T20:55:35,224 Getting page https://pypi.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/
2023-05-13T20:55:35,226 Found index url https://pypi.org/simple/
2023-05-13T20:55:35,287 Fetched page https://pypi.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/ as application/vnd.pypi.simple.v1+json
2023-05-13T20:55:35,290   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-13T20:55:35,290   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-13T20:55:35,291   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-13T20:55:35,291   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-13T20:55:35,292   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-13T20:55:35,292   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-13T20:55:35,292 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/
2023-05-13T20:55:35,293 Getting page https://www.piwheels.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/
2023-05-13T20:55:35,294 Found index url https://www.piwheels.org/simple/
2023-05-13T20:55:35,688 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/ as text/html
2023-05-13T20:55:35,690   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=77c9c03df1efe0c5ecf13af05b79a9b127ba49df9e621c114bf1b43072a01cb6 (from https://www.piwheels.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/) (requires-python:>=3.8.16)
2023-05-13T20:55:35,690   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=3fcf8aa2005706773719269d2f45448552f2f7d53c668a2e727fbfff8d37a265 (from https://www.piwheels.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/) (requires-python:>=3.8.16)
2023-05-13T20:55:35,691 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/
2023-05-13T20:55:35,691 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/
2023-05-13T20:55:35,709 Given no hashes to check 1 links for project 'certora-cli-alpha-dominik-mus-enumeration-tests': discarding no candidates
2023-05-13T20:55:35,727 Collecting certora-cli-alpha-dominik-mus-enumeration-tests==20230503.15.17.377241
2023-05-13T20:55:35,729   Created temporary directory: /tmp/pip-unpack-b5bj1c6h
2023-05-13T20:55:36,117   Downloading certora-cli-alpha-dominik-MUS_enumeration_tests-20230503.15.17.377241.tar.gz (38.4 MB)
2023-05-13T20:55:45,541   Added certora-cli-alpha-dominik-mus-enumeration-tests==20230503.15.17.377241 from https://files.pythonhosted.org/packages/c8/14/c8b1c5eb6a0ea328a4d57b62f6d00399ccdf35b8978d9164a63093f45b5e/certora-cli-alpha-dominik-MUS_enumeration_tests-20230503.15.17.377241.tar.gz to build tracker '/tmp/pip-build-tracker-06jx4es9'
2023-05-13T20:55:45,544   Running setup.py (path:/tmp/pip-wheel-lwpoe_w0/certora-cli-alpha-dominik-mus-enumeration-tests_98d3904c09bc4586b67dc56f84709ae8/setup.py) egg_info for package certora-cli-alpha-dominik-mus-enumeration-tests
2023-05-13T20:55:45,544   Created temporary directory: /tmp/pip-pip-egg-info-jmt3lm88
2023-05-13T20:55:45,545   Preparing metadata (setup.py): started
2023-05-13T20:55:45,546   Running command python setup.py egg_info
2023-05-13T20:55:46,190   running egg_info
2023-05-13T20:55:46,192   creating /tmp/pip-pip-egg-info-jmt3lm88/certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info
2023-05-13T20:55:46,219   writing /tmp/pip-pip-egg-info-jmt3lm88/certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/PKG-INFO
2023-05-13T20:55:46,221   writing dependency_links to /tmp/pip-pip-egg-info-jmt3lm88/certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/dependency_links.txt
2023-05-13T20:55:46,224   writing entry points to /tmp/pip-pip-egg-info-jmt3lm88/certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/entry_points.txt
2023-05-13T20:55:46,225   writing requirements to /tmp/pip-pip-egg-info-jmt3lm88/certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/requires.txt
2023-05-13T20:55:46,226   writing top-level names to /tmp/pip-pip-egg-info-jmt3lm88/certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/top_level.txt
2023-05-13T20:55:46,228   writing manifest file '/tmp/pip-pip-egg-info-jmt3lm88/certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/SOURCES.txt'
2023-05-13T20:55:46,336   reading manifest file '/tmp/pip-pip-egg-info-jmt3lm88/certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/SOURCES.txt'
2023-05-13T20:55:46,338   reading manifest template 'MANIFEST.in'
2023-05-13T20:55:46,348   adding license file 'LICENSE'
2023-05-13T20:55:46,351   writing manifest file '/tmp/pip-pip-egg-info-jmt3lm88/certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/SOURCES.txt'
2023-05-13T20:55:46,411   Preparing metadata (setup.py): finished with status 'done'
2023-05-13T20:55:46,417   Source in /tmp/pip-wheel-lwpoe_w0/certora-cli-alpha-dominik-mus-enumeration-tests_98d3904c09bc4586b67dc56f84709ae8 has version 20230503.15.17.377241, which satisfies requirement certora-cli-alpha-dominik-mus-enumeration-tests==20230503.15.17.377241 from https://files.pythonhosted.org/packages/c8/14/c8b1c5eb6a0ea328a4d57b62f6d00399ccdf35b8978d9164a63093f45b5e/certora-cli-alpha-dominik-MUS_enumeration_tests-20230503.15.17.377241.tar.gz
2023-05-13T20:55:46,418   Removed certora-cli-alpha-dominik-mus-enumeration-tests==20230503.15.17.377241 from https://files.pythonhosted.org/packages/c8/14/c8b1c5eb6a0ea328a4d57b62f6d00399ccdf35b8978d9164a63093f45b5e/certora-cli-alpha-dominik-MUS_enumeration_tests-20230503.15.17.377241.tar.gz from build tracker '/tmp/pip-build-tracker-06jx4es9'
2023-05-13T20:55:46,425 Created temporary directory: /tmp/pip-unpack-pnb58y71
2023-05-13T20:55:46,425 Building wheels for collected packages: certora-cli-alpha-dominik-mus-enumeration-tests
2023-05-13T20:55:46,430   Created temporary directory: /tmp/pip-wheel-cgnjido8
2023-05-13T20:55:46,430   Building wheel for certora-cli-alpha-dominik-mus-enumeration-tests (setup.py): started
2023-05-13T20:55:46,431   Destination directory: /tmp/pip-wheel-cgnjido8
2023-05-13T20:55:46,432   Running command python setup.py bdist_wheel
2023-05-13T20:55:47,365   running bdist_wheel
2023-05-13T20:55:47,662   running build
2023-05-13T20:55:47,662   running build_py
2023-05-13T20:55:47,693   creating build
2023-05-13T20:55:47,694   creating build/lib
2023-05-13T20:55:47,694   creating build/lib/certora_jars
2023-05-13T20:55:47,696   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-13T20:55:47,698   creating build/lib/certora_cli
2023-05-13T20:55:47,699   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-13T20:55:47,701   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-13T20:55:47,703   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-13T20:55:47,706   creating build/lib/certora_cli/EVMVerifier
2023-05-13T20:55:47,707   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T20:55:47,709   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T20:55:47,712   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T20:55:47,715   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T20:55:47,721   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T20:55:47,724   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T20:55:47,727   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T20:55:47,728   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T20:55:47,731   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T20:55:47,734   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T20:55:47,736   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T20:55:47,740   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T20:55:47,743   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T20:55:47,746   creating build/lib/certora_cli/Shared
2023-05-13T20:55:47,747   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-13T20:55:47,749   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-13T20:55:47,751   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-13T20:55:47,755   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-13T20:55:47,758   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T20:55:47,759   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T20:55:47,761   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T20:55:47,764   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T20:55:47,767   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T20:55:47,770   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T20:55:47,771   running egg_info
2023-05-13T20:55:47,834   writing certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/PKG-INFO
2023-05-13T20:55:47,836   writing dependency_links to certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/dependency_links.txt
2023-05-13T20:55:47,838   writing entry points to certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/entry_points.txt
2023-05-13T20:55:47,839   writing requirements to certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/requires.txt
2023-05-13T20:55:47,841   writing top-level names to certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/top_level.txt
2023-05-13T20:55:47,873   reading manifest file 'certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/SOURCES.txt'
2023-05-13T20:55:47,876   reading manifest template 'MANIFEST.in'
2023-05-13T20:55:47,886   adding license file 'LICENSE'
2023-05-13T20:55:47,890   writing manifest file 'certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/SOURCES.txt'
2023-05-13T20:55:47,894   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-13T20:55:47,896   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-13T20:55:48,138   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-13T20:55:48,335   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-13T20:55:48,537   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-13T20:55:48,648   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-13T20:55:48,764   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-13T20:55:48,764   !!

2023-05-13T20:55:48,764           ********************************************************************************
2023-05-13T20:55:48,764           Please avoid running ``setup.py`` directly.
2023-05-13T20:55:48,765           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-13T20:55:48,765           other standards-based tools.

2023-05-13T20:55:48,765           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-05-13T20:55:48,765           ********************************************************************************

2023-05-13T20:55:48,765   !!
2023-05-13T20:55:48,766     self.initialize_options()
2023-05-13T20:55:48,792   installing to build/bdist.linux-aarch64/wheel
2023-05-13T20:55:48,793   running install
2023-05-13T20:55:48,818   running install_lib
2023-05-13T20:55:48,847   creating build/bdist.linux-aarch64
2023-05-13T20:55:48,848   creating build/bdist.linux-aarch64/wheel
2023-05-13T20:55:48,850   creating build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T20:55:48,851   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T20:55:49,063   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T20:55:49,065   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T20:55:49,172   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T20:55:49,287   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T20:55:49,505   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T20:55:49,507   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T20:55:49,709   creating build/bdist.linux-aarch64/wheel/certora_cli
2023-05-13T20:55:49,711   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T20:55:49,712   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T20:55:49,715   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T20:55:49,717   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T20:55:49,721   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T20:55:49,728   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T20:55:49,729   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T20:55:49,731   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T20:55:49,734   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T20:55:49,737   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T20:55:49,739   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T20:55:49,742   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T20:55:49,744   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T20:55:49,747   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T20:55:49,750   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T20:55:49,753   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T20:55:49,756   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T20:55:49,758   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T20:55:49,761   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T20:55:49,765   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T20:55:49,768   creating build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T20:55:49,769   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T20:55:49,771   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T20:55:49,774   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T20:55:49,777   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T20:55:49,780   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-13T20:55:49,782   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-13T20:55:49,784   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-13T20:55:49,787   running install_egg_info
2023-05-13T20:55:49,819   Copying certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_dominik_MUS_enumeration_tests-20230503.15.17.377241-py3.9.egg-info
2023-05-13T20:55:49,832   running install_scripts
2023-05-13T20:55:49,850   creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_dominik_MUS_enumeration_tests-20230503.15.17.377241.dist-info/WHEEL
2023-05-13T20:55:49,853   creating '/tmp/pip-wheel-cgnjido8/certora_cli_alpha_dominik_MUS_enumeration_tests-20230503.15.17.377241-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it
2023-05-13T20:55:49,856   adding 'certora_cli/__init__.py'
2023-05-13T20:55:49,858   adding 'certora_cli/certoraMutate.py'
2023-05-13T20:55:49,860   adding 'certora_cli/certoraRun.py'
2023-05-13T20:55:49,862   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-13T20:55:49,884   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-13T20:55:49,891   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-13T20:55:49,893   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-13T20:55:49,895   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-13T20:55:49,899   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-13T20:55:49,903   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-13T20:55:49,904   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-13T20:55:49,910   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-13T20:55:49,912   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-13T20:55:49,914   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-13T20:55:49,917   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-13T20:55:49,920   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-13T20:55:49,923   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-13T20:55:49,925   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-13T20:55:49,927   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-13T20:55:49,931   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-13T20:55:49,933   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-13T20:55:49,934   adding 'certora_cli/Shared/__init__.py'
2023-05-13T20:55:49,937   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-13T20:55:49,938   adding 'certora_cli/Shared/certoraTester.py'
2023-05-13T20:55:49,945   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-13T20:55:49,949   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-13T20:55:51,528   adding 'certora_jars/MutationTest.jar'
2023-05-13T20:55:52,839   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-13T20:55:54,328   adding 'certora_jars/Typechecker.jar'
2023-05-13T20:55:54,408   adding 'certora_jars/__init__.py'
2023-05-13T20:55:55,261   adding 'certora_jars/gambit-linux'
2023-05-13T20:55:56,115   adding 'certora_jars/gambit-macos'
2023-05-13T20:55:56,151   adding 'certora_cli_alpha_dominik_MUS_enumeration_tests-20230503.15.17.377241.dist-info/LICENSE'
2023-05-13T20:55:56,152   adding 'certora_cli_alpha_dominik_MUS_enumeration_tests-20230503.15.17.377241.dist-info/METADATA'
2023-05-13T20:55:56,153   adding 'certora_cli_alpha_dominik_MUS_enumeration_tests-20230503.15.17.377241.dist-info/WHEEL'
2023-05-13T20:55:56,154   adding 'certora_cli_alpha_dominik_MUS_enumeration_tests-20230503.15.17.377241.dist-info/entry_points.txt'
2023-05-13T20:55:56,155   adding 'certora_cli_alpha_dominik_MUS_enumeration_tests-20230503.15.17.377241.dist-info/top_level.txt'
2023-05-13T20:55:56,156   adding 'certora_cli_alpha_dominik_MUS_enumeration_tests-20230503.15.17.377241.dist-info/RECORD'
2023-05-13T20:55:56,574   removing build/bdist.linux-aarch64/wheel
2023-05-13T20:55:56,694   Building wheel for certora-cli-alpha-dominik-mus-enumeration-tests (setup.py): finished with status 'done'
2023-05-13T20:55:57,012   Created wheel for certora-cli-alpha-dominik-mus-enumeration-tests: filename=certora_cli_alpha_dominik_MUS_enumeration_tests-20230503.15.17.377241-py3-none-any.whl size=38422389 sha256=73fd2333c9977c451c15c91ce446bce6a88ba0343a52cc282c6c0936a9c778b6
2023-05-13T20:55:57,014   Stored in directory: /tmp/pip-ephem-wheel-cache-rkllng87/wheels/f7/8d/09/44183bee7df0d929eebd8a123a6f09b0756457356f3bb7f5ad
2023-05-13T20:55:57,043 Successfully built certora-cli-alpha-dominik-mus-enumeration-tests
2023-05-13T20:55:58,049 Removed build tracker: '/tmp/pip-build-tracker-06jx4es9'