2023-05-13T20:14:04,191 Created temporary directory: /tmp/pip-build-tracker-ubb1ekua
2023-05-13T20:14:04,193 Initialized build tracking at /tmp/pip-build-tracker-ubb1ekua
2023-05-13T20:14:04,193 Created build tracker: /tmp/pip-build-tracker-ubb1ekua
2023-05-13T20:14:04,193 Entered build tracker: /tmp/pip-build-tracker-ubb1ekua
2023-05-13T20:14:04,194 Created temporary directory: /tmp/pip-wheel-zn31tnz1
2023-05-13T20:14:04,198 Created temporary directory: /tmp/pip-ephem-wheel-cache-qfl054i2
2023-05-13T20:14:04,224 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-05-13T20:14:04,228 2 location(s) to search for versions of certora-cli-alpha-dominik-mus-enumeration-tests:
2023-05-13T20:14:04,228 * https://pypi.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/
2023-05-13T20:14:04,228 * https://www.piwheels.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/
2023-05-13T20:14:04,229 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/
2023-05-13T20:14:04,229 Getting page https://pypi.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/
2023-05-13T20:14:04,231 Found index url https://pypi.org/simple/
2023-05-13T20:14:04,282 Fetched page https://pypi.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/ as application/vnd.pypi.simple.v1+json
2023-05-13T20:14:04,285   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:14:04,285   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:14:04,286   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:14:04,286   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:14:04,287   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:14:04,287   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:14:04,287 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/
2023-05-13T20:14:04,287 Getting page https://www.piwheels.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/
2023-05-13T20:14:04,289 Found index url https://www.piwheels.org/simple/
2023-05-13T20:14:04,458 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/ as text/html
2023-05-13T20:14:04,460   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:14:04,460 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/
2023-05-13T20:14:04,460 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-dominik-mus-enumeration-tests/
2023-05-13T20:14:04,481 Given no hashes to check 1 links for project 'certora-cli-alpha-dominik-mus-enumeration-tests': discarding no candidates
2023-05-13T20:14:04,500 Collecting certora-cli-alpha-dominik-mus-enumeration-tests==20230503.14.29.450860
2023-05-13T20:14:04,503   Created temporary directory: /tmp/pip-unpack-0xo8_bx6
2023-05-13T20:14:04,886   Downloading certora-cli-alpha-dominik-MUS_enumeration_tests-20230503.14.29.450860.tar.gz (38.4 MB)
2023-05-13T20:14:15,780   Added certora-cli-alpha-dominik-mus-enumeration-tests==20230503.14.29.450860 from https://files.pythonhosted.org/packages/ae/6c/fe57c49916e3a7c83e1d761395f997f74041d0e6405e596be42248d93720/certora-cli-alpha-dominik-MUS_enumeration_tests-20230503.14.29.450860.tar.gz to build tracker '/tmp/pip-build-tracker-ubb1ekua'
2023-05-13T20:14:15,783   Running setup.py (path:/tmp/pip-wheel-zn31tnz1/certora-cli-alpha-dominik-mus-enumeration-tests_cb82cc87de314ab88456d4842d219332/setup.py) egg_info for package certora-cli-alpha-dominik-mus-enumeration-tests
2023-05-13T20:14:15,784   Created temporary directory: /tmp/pip-pip-egg-info-a82htk1p
2023-05-13T20:14:15,784   Preparing metadata (setup.py): started
2023-05-13T20:14:15,785   Running command python setup.py egg_info
2023-05-13T20:14:16,418   running egg_info
2023-05-13T20:14:16,420   creating /tmp/pip-pip-egg-info-a82htk1p/certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info
2023-05-13T20:14:16,445   writing /tmp/pip-pip-egg-info-a82htk1p/certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/PKG-INFO
2023-05-13T20:14:16,447   writing dependency_links to /tmp/pip-pip-egg-info-a82htk1p/certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/dependency_links.txt
2023-05-13T20:14:16,449   writing entry points to /tmp/pip-pip-egg-info-a82htk1p/certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/entry_points.txt
2023-05-13T20:14:16,451   writing requirements to /tmp/pip-pip-egg-info-a82htk1p/certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/requires.txt
2023-05-13T20:14:16,452   writing top-level names to /tmp/pip-pip-egg-info-a82htk1p/certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/top_level.txt
2023-05-13T20:14:16,454   writing manifest file '/tmp/pip-pip-egg-info-a82htk1p/certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/SOURCES.txt'
2023-05-13T20:14:16,540   reading manifest file '/tmp/pip-pip-egg-info-a82htk1p/certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/SOURCES.txt'
2023-05-13T20:14:16,542   reading manifest template 'MANIFEST.in'
2023-05-13T20:14:16,552   adding license file 'LICENSE'
2023-05-13T20:14:16,556   writing manifest file '/tmp/pip-pip-egg-info-a82htk1p/certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/SOURCES.txt'
2023-05-13T20:14:16,615   Preparing metadata (setup.py): finished with status 'done'
2023-05-13T20:14:16,621   Source in /tmp/pip-wheel-zn31tnz1/certora-cli-alpha-dominik-mus-enumeration-tests_cb82cc87de314ab88456d4842d219332 has version 20230503.14.29.450860, which satisfies requirement certora-cli-alpha-dominik-mus-enumeration-tests==20230503.14.29.450860 from https://files.pythonhosted.org/packages/ae/6c/fe57c49916e3a7c83e1d761395f997f74041d0e6405e596be42248d93720/certora-cli-alpha-dominik-MUS_enumeration_tests-20230503.14.29.450860.tar.gz
2023-05-13T20:14:16,622   Removed certora-cli-alpha-dominik-mus-enumeration-tests==20230503.14.29.450860 from https://files.pythonhosted.org/packages/ae/6c/fe57c49916e3a7c83e1d761395f997f74041d0e6405e596be42248d93720/certora-cli-alpha-dominik-MUS_enumeration_tests-20230503.14.29.450860.tar.gz from build tracker '/tmp/pip-build-tracker-ubb1ekua'
2023-05-13T20:14:16,629 Created temporary directory: /tmp/pip-unpack-9_zbidnt
2023-05-13T20:14:16,630 Building wheels for collected packages: certora-cli-alpha-dominik-mus-enumeration-tests
2023-05-13T20:14:16,634   Created temporary directory: /tmp/pip-wheel-sucu9fex
2023-05-13T20:14:16,635   Building wheel for certora-cli-alpha-dominik-mus-enumeration-tests (setup.py): started
2023-05-13T20:14:16,636   Destination directory: /tmp/pip-wheel-sucu9fex
2023-05-13T20:14:16,636   Running command python setup.py bdist_wheel
2023-05-13T20:14:17,466   running bdist_wheel
2023-05-13T20:14:17,755   running build
2023-05-13T20:14:17,755   running build_py
2023-05-13T20:14:17,794   creating build
2023-05-13T20:14:17,794   creating build/lib
2023-05-13T20:14:17,795   creating build/lib/certora_cli
2023-05-13T20:14:17,796   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-05-13T20:14:17,798   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-05-13T20:14:17,800   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-05-13T20:14:17,803   creating build/lib/certora_jars
2023-05-13T20:14:17,804   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-05-13T20:14:17,806   creating build/lib/certora_cli/Shared
2023-05-13T20:14:17,807   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-05-13T20:14:17,809   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-05-13T20:14:17,812   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-05-13T20:14:17,815   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-05-13T20:14:17,819   creating build/lib/certora_cli/EVMVerifier
2023-05-13T20:14:17,819   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T20:14:17,821   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T20:14:17,824   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T20:14:17,826   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T20:14:17,829   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T20:14:17,832   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T20:14:17,835   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T20:14:17,838   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T20:14:17,841   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T20:14:17,847   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T20:14:17,850   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T20:14:17,852   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T20:14:17,854   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-05-13T20:14:17,858   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T20:14:17,859   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T20:14:17,861   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T20:14:17,863   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T20:14:17,865   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T20:14:17,867   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-05-13T20:14:17,871   running egg_info
2023-05-13T20:14:17,930   writing certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/PKG-INFO
2023-05-13T20:14:17,932   writing dependency_links to certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/dependency_links.txt
2023-05-13T20:14:17,934   writing entry points to certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/entry_points.txt
2023-05-13T20:14:17,936   writing requirements to certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/requires.txt
2023-05-13T20:14:17,937   writing top-level names to certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/top_level.txt
2023-05-13T20:14:17,967   reading manifest file 'certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/SOURCES.txt'
2023-05-13T20:14:17,969   reading manifest template 'MANIFEST.in'
2023-05-13T20:14:17,979   adding license file 'LICENSE'
2023-05-13T20:14:17,983   writing manifest file 'certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info/SOURCES.txt'
2023-05-13T20:14:17,986   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-05-13T20:14:17,989   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-05-13T20:14:18,205   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-05-13T20:14:18,375   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-05-13T20:14:18,556   copying certora_jars/gambit-linux -> build/lib/certora_jars
2023-05-13T20:14:18,672   copying certora_jars/gambit-macos -> build/lib/certora_jars
2023-05-13T20:14:18,852   /usr/local/lib/python3.9/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-05-13T20:14:18,852   !!

2023-05-13T20:14:18,852           ********************************************************************************
2023-05-13T20:14:18,852           Please avoid running ``setup.py`` directly.
2023-05-13T20:14:18,853           Instead, use pypa/build, pypa/installer, pypa/build or
2023-05-13T20:14:18,853           other standards-based tools.

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

2023-05-13T20:14:18,854   !!
2023-05-13T20:14:18,854     self.initialize_options()
2023-05-13T20:14:18,879   installing to build/bdist.linux-aarch64/wheel
2023-05-13T20:14:18,879   running install
2023-05-13T20:14:18,904   running install_lib
2023-05-13T20:14:18,930   creating build/bdist.linux-aarch64
2023-05-13T20:14:18,931   creating build/bdist.linux-aarch64/wheel
2023-05-13T20:14:18,932   creating build/bdist.linux-aarch64/wheel/certora_cli
2023-05-13T20:14:18,934   creating build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T20:14:18,935   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T20:14:18,937   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T20:14:18,940   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T20:14:18,943   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-aarch64/wheel/certora_cli/Shared
2023-05-13T20:14:18,946   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T20:14:18,948   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T20:14:18,950   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T20:14:18,953   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T20:14:18,956   creating build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T20:14:18,957   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T20:14:18,959   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T20:14:18,962   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T20:14:18,965   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T20:14:18,967   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier/Compiler
2023-05-13T20:14:18,971   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T20:14:18,974   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T20:14:18,978   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T20:14:18,981   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T20:14:18,984   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T20:14:18,988   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T20:14:18,996   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T20:14:19,000   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T20:14:19,003   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T20:14:19,006   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-aarch64/wheel/certora_cli/EVMVerifier
2023-05-13T20:14:19,009   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-13T20:14:19,011   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-13T20:14:19,013   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-aarch64/wheel/certora_cli
2023-05-13T20:14:19,016   creating build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T20:14:19,017   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T20:14:19,019   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T20:14:19,221   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T20:14:19,223   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T20:14:19,383   copying build/lib/certora_jars/gambit-macos -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T20:14:19,483   copying build/lib/certora_jars/gambit-linux -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T20:14:19,587   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-aarch64/wheel/certora_jars
2023-05-13T20:14:19,802   running install_egg_info
2023-05-13T20:14:19,833   Copying certora_cli_alpha_dominik_MUS_enumeration_tests.egg-info to build/bdist.linux-aarch64/wheel/certora_cli_alpha_dominik_MUS_enumeration_tests-20230503.14.29.450860-py3.9.egg-info
2023-05-13T20:14:19,845   running install_scripts
2023-05-13T20:14:19,863   adding license file "LICENSE" (matched pattern "LICEN[CS]E*")
2023-05-13T20:14:19,868   creating build/bdist.linux-aarch64/wheel/certora_cli_alpha_dominik_MUS_enumeration_tests-20230503.14.29.450860.dist-info/WHEEL
2023-05-13T20:14:19,871   creating '/tmp/pip-wheel-sucu9fex/certora_cli_alpha_dominik_MUS_enumeration_tests-20230503.14.29.450860-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it
2023-05-13T20:14:19,874   adding 'certora_cli/__init__.py'
2023-05-13T20:14:19,876   adding 'certora_cli/certoraMutate.py'
2023-05-13T20:14:19,878   adding 'certora_cli/certoraRun.py'
2023-05-13T20:14:19,881   adding 'certora_cli/EVMVerifier/__init__.py'
2023-05-13T20:14:19,903   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-05-13T20:14:19,910   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-05-13T20:14:19,912   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-05-13T20:14:19,915   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-05-13T20:14:19,919   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-05-13T20:14:19,924   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-05-13T20:14:19,926   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-05-13T20:14:19,932   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-05-13T20:14:19,934   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-05-13T20:14:19,936   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-05-13T20:14:19,939   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-05-13T20:14:19,943   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-05-13T20:14:19,946   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-05-13T20:14:19,948   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-05-13T20:14:19,950   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-05-13T20:14:19,955   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-05-13T20:14:19,957   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-05-13T20:14:19,959   adding 'certora_cli/Shared/__init__.py'
2023-05-13T20:14:19,962   adding 'certora_cli/Shared/certoraLogging.py'
2023-05-13T20:14:19,964   adding 'certora_cli/Shared/certoraTester.py'
2023-05-13T20:14:19,971   adding 'certora_cli/Shared/certoraUtils.py'
2023-05-13T20:14:19,974   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-05-13T20:14:21,559   adding 'certora_jars/MutationTest.jar'
2023-05-13T20:14:22,875   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-05-13T20:14:24,366   adding 'certora_jars/Typechecker.jar'
2023-05-13T20:14:24,447   adding 'certora_jars/__init__.py'
2023-05-13T20:14:25,300   adding 'certora_jars/gambit-linux'
2023-05-13T20:14:26,157   adding 'certora_jars/gambit-macos'
2023-05-13T20:14:26,194   adding 'certora_cli_alpha_dominik_MUS_enumeration_tests-20230503.14.29.450860.dist-info/LICENSE'
2023-05-13T20:14:26,195   adding 'certora_cli_alpha_dominik_MUS_enumeration_tests-20230503.14.29.450860.dist-info/METADATA'
2023-05-13T20:14:26,197   adding 'certora_cli_alpha_dominik_MUS_enumeration_tests-20230503.14.29.450860.dist-info/WHEEL'
2023-05-13T20:14:26,198   adding 'certora_cli_alpha_dominik_MUS_enumeration_tests-20230503.14.29.450860.dist-info/entry_points.txt'
2023-05-13T20:14:26,200   adding 'certora_cli_alpha_dominik_MUS_enumeration_tests-20230503.14.29.450860.dist-info/top_level.txt'
2023-05-13T20:14:26,201   adding 'certora_cli_alpha_dominik_MUS_enumeration_tests-20230503.14.29.450860.dist-info/RECORD'
2023-05-13T20:14:26,721   removing build/bdist.linux-aarch64/wheel
2023-05-13T20:14:26,844   Building wheel for certora-cli-alpha-dominik-mus-enumeration-tests (setup.py): finished with status 'done'
2023-05-13T20:14:27,162   Created wheel for certora-cli-alpha-dominik-mus-enumeration-tests: filename=certora_cli_alpha_dominik_MUS_enumeration_tests-20230503.14.29.450860-py3-none-any.whl size=38404238 sha256=77c9c03df1efe0c5ecf13af05b79a9b127ba49df9e621c114bf1b43072a01cb6
2023-05-13T20:14:27,163   Stored in directory: /tmp/pip-ephem-wheel-cache-qfl054i2/wheels/2c/d1/48/fb66b35235f2cf4b352f3e081699a05c616b46102582d9f25d
2023-05-13T20:14:27,193 Successfully built certora-cli-alpha-dominik-mus-enumeration-tests
2023-05-13T20:14:28,187 Removed build tracker: '/tmp/pip-build-tracker-ubb1ekua'