2023-07-25T10:54:25,496 Created temporary directory: /tmp/pip-build-tracker-zizndthq
2023-07-25T10:54:25,497 Initialized build tracking at /tmp/pip-build-tracker-zizndthq
2023-07-25T10:54:25,497 Created build tracker: /tmp/pip-build-tracker-zizndthq
2023-07-25T10:54:25,498 Entered build tracker: /tmp/pip-build-tracker-zizndthq
2023-07-25T10:54:25,498 Created temporary directory: /tmp/pip-wheel-nb2jnwu6
2023-07-25T10:54:25,502 Created temporary directory: /tmp/pip-ephem-wheel-cache-c3hva44m
2023-07-25T10:54:25,526 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2023-07-25T10:54:25,530 2 location(s) to search for versions of certora-cli-alpha-nast-mutation-test:
2023-07-25T10:54:25,530 * https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/
2023-07-25T10:54:25,530 * https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/
2023-07-25T10:54:25,531 Fetching project page and analyzing links: https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/
2023-07-25T10:54:25,531 Getting page https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/
2023-07-25T10:54:25,533 Found index url https://pypi.org/simple/
2023-07-25T10:54:25,583 Fetched page https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/ as application/vnd.pypi.simple.v1+json
2023-07-25T10:54:25,586   Found link https://files.pythonhosted.org/packages/17/d5/3d6c46f4f9a33de2eccf5260cdb7e3b5c348efadf944c9b3dcbb4f1f7a34/certora-cli-alpha-nast-mutation-test-20230719.15.53.919804.tar.gz (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8), version: 20230719.15.53.919804
2023-07-25T10:54:25,587   Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/6e/3a/de2a411fcb8d80c9d58ebfd4b1086d9338ed7ab85b8555ce2111cd9d02e5/certora_cli_alpha_nast_mutation_test-20230719.15.53.919804-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8)
2023-07-25T10:54:25,587   Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/00/40/00cd4b9113821e438cbf9e857246ff5d20fbbfe2cfcb7d8a97acada01cf9/certora_cli_alpha_nast_mutation_test-20230719.15.53.919804-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8)
2023-07-25T10:54:25,587   Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/82/0a/0b949589e4ec267ab2c19831067a826231fec0ad087bd3812a0dc448288d/certora_cli_alpha_nast_mutation_test-20230719.15.53.919804-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8)
2023-07-25T10:54:25,588   Found link https://files.pythonhosted.org/packages/85/c7/9c1f08c47e8f0d8f89065c9df0db0b9ee53ba940028e70a9d37492135b25/certora-cli-alpha-nast-mutation-test-20230725.8.57.697813.tar.gz (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8), version: 20230725.8.57.697813
2023-07-25T10:54:25,588   Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/ab/ec/4f20eb41be56a49409f9f6e7950db1b997166986ef1961954b20dbd92128/certora_cli_alpha_nast_mutation_test-20230725.8.57.697813-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8)
2023-07-25T10:54:25,588   Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/cb/91/0dd3cbc8e1bded0e5eaf8eb515845c371890406540c3752d4f91acfd8106/certora_cli_alpha_nast_mutation_test-20230725.8.57.697813-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8)
2023-07-25T10:54:25,588   Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/b1/b7/955bbbf53284d70676a2076d0e4b6394aa5a6bbcc0be0caf113d36aca018/certora_cli_alpha_nast_mutation_test-20230725.8.57.697813-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8)
2023-07-25T10:54:25,589   Found link https://files.pythonhosted.org/packages/8f/cd/b0832e31ffb3dd2baad36f7c5f75ef94b97e069ea7987752f319826ca472/certora-cli-alpha-nast-mutation-test-20230725.10.14.255449.tar.gz (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8), version: 20230725.10.14.255449
2023-07-25T10:54:25,589   Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/e3/15/71e825b829e1eca735df6e0fa46b47fb23b16e19314e42557c9d63dcfcb7/certora_cli_alpha_nast_mutation_test-20230725.10.14.255449-py3-none-any.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8)
2023-07-25T10:54:25,590   Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/79/83/ccb95b5db2ee9b170fd8c2258673a038197d87fd9243a8680f0f2b3cb8a2/certora_cli_alpha_nast_mutation_test-20230725.10.14.255449-py3-none-macosx_10_9_universal2.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8)
2023-07-25T10:54:25,590   Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://files.pythonhosted.org/packages/cb/75/c9924bc252a27201db8a300ab72282f5791c627d520b4b222b7ce73f329a/certora_cli_alpha_nast_mutation_test-20230725.10.14.255449-py3-none-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8)
2023-07-25T10:54:25,590 Fetching project page and analyzing links: https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/
2023-07-25T10:54:25,590 Getting page https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/
2023-07-25T10:54:25,591 Found index url https://www.piwheels.org/simple/
2023-07-25T10:54:25,758 Fetched page https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/ as text/html
2023-07-25T10:54:25,759   Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/certora_cli_alpha_nast_mutation_test-20230725.8.57.697813-py3-none-any.whl#sha256=30de614c49904bb0f740b6ffaacf4a8e5ffe6fb0f5a131ce3b755b21090d2c39 (from https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8)
2023-07-25T10:54:25,759   Skipping link: No binaries permitted for certora-cli-alpha-nast-mutation-test: https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/certora_cli_alpha_nast_mutation_test-20230719.15.53.919804-py3-none-any.whl#sha256=13c33b992f79f8ecb3a879c16a91982e13e4cbb3b700a61a1cf5189f75f8bdb6 (from https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/) (requires-python:>=3.8)
2023-07-25T10:54:25,760 Skipping link: not a file: https://www.piwheels.org/simple/certora-cli-alpha-nast-mutation-test/
2023-07-25T10:54:25,760 Skipping link: not a file: https://pypi.org/simple/certora-cli-alpha-nast-mutation-test/
2023-07-25T10:54:25,777 Given no hashes to check 1 links for project 'certora-cli-alpha-nast-mutation-test': discarding no candidates
2023-07-25T10:54:25,794 Collecting certora-cli-alpha-nast-mutation-test==20230725.10.14.255449
2023-07-25T10:54:25,796   Created temporary directory: /tmp/pip-unpack-kxaek7o0
2023-07-25T10:54:26,008   Downloading certora-cli-alpha-nast-mutation-test-20230725.10.14.255449.tar.gz (37.5 MB)
2023-07-25T10:54:33,562   Added certora-cli-alpha-nast-mutation-test==20230725.10.14.255449 from https://files.pythonhosted.org/packages/8f/cd/b0832e31ffb3dd2baad36f7c5f75ef94b97e069ea7987752f319826ca472/certora-cli-alpha-nast-mutation-test-20230725.10.14.255449.tar.gz to build tracker '/tmp/pip-build-tracker-zizndthq'
2023-07-25T10:54:33,565   Running setup.py (path:/tmp/pip-wheel-nb2jnwu6/certora-cli-alpha-nast-mutation-test_65b30c9da64d4d00a36f696e374c6f30/setup.py) egg_info for package certora-cli-alpha-nast-mutation-test
2023-07-25T10:54:33,565   Created temporary directory: /tmp/pip-pip-egg-info-zfc94rdw
2023-07-25T10:54:33,565   Preparing metadata (setup.py): started
2023-07-25T10:54:33,566   Running command python setup.py egg_info
2023-07-25T10:54:34,191   running egg_info
2023-07-25T10:54:34,192   creating /tmp/pip-pip-egg-info-zfc94rdw/certora_cli_alpha_nast_mutation_test.egg-info
2023-07-25T10:54:34,220   writing /tmp/pip-pip-egg-info-zfc94rdw/certora_cli_alpha_nast_mutation_test.egg-info/PKG-INFO
2023-07-25T10:54:34,222   writing dependency_links to /tmp/pip-pip-egg-info-zfc94rdw/certora_cli_alpha_nast_mutation_test.egg-info/dependency_links.txt
2023-07-25T10:54:34,224   writing entry points to /tmp/pip-pip-egg-info-zfc94rdw/certora_cli_alpha_nast_mutation_test.egg-info/entry_points.txt
2023-07-25T10:54:34,225   writing requirements to /tmp/pip-pip-egg-info-zfc94rdw/certora_cli_alpha_nast_mutation_test.egg-info/requires.txt
2023-07-25T10:54:34,226   writing top-level names to /tmp/pip-pip-egg-info-zfc94rdw/certora_cli_alpha_nast_mutation_test.egg-info/top_level.txt
2023-07-25T10:54:34,228   writing manifest file '/tmp/pip-pip-egg-info-zfc94rdw/certora_cli_alpha_nast_mutation_test.egg-info/SOURCES.txt'
2023-07-25T10:54:34,312   reading manifest file '/tmp/pip-pip-egg-info-zfc94rdw/certora_cli_alpha_nast_mutation_test.egg-info/SOURCES.txt'
2023-07-25T10:54:34,313   reading manifest template 'MANIFEST.in'
2023-07-25T10:54:34,319   warning: no files found matching 'gambit' under directory 'certora_bins'
2023-07-25T10:54:34,364   adding license file 'LICENSE'
2023-07-25T10:54:34,368   writing manifest file '/tmp/pip-pip-egg-info-zfc94rdw/certora_cli_alpha_nast_mutation_test.egg-info/SOURCES.txt'
2023-07-25T10:54:34,427   Preparing metadata (setup.py): finished with status 'done'
2023-07-25T10:54:34,432   Source in /tmp/pip-wheel-nb2jnwu6/certora-cli-alpha-nast-mutation-test_65b30c9da64d4d00a36f696e374c6f30 has version 20230725.10.14.255449, which satisfies requirement certora-cli-alpha-nast-mutation-test==20230725.10.14.255449 from https://files.pythonhosted.org/packages/8f/cd/b0832e31ffb3dd2baad36f7c5f75ef94b97e069ea7987752f319826ca472/certora-cli-alpha-nast-mutation-test-20230725.10.14.255449.tar.gz
2023-07-25T10:54:34,433   Removed certora-cli-alpha-nast-mutation-test==20230725.10.14.255449 from https://files.pythonhosted.org/packages/8f/cd/b0832e31ffb3dd2baad36f7c5f75ef94b97e069ea7987752f319826ca472/certora-cli-alpha-nast-mutation-test-20230725.10.14.255449.tar.gz from build tracker '/tmp/pip-build-tracker-zizndthq'
2023-07-25T10:54:34,440 Created temporary directory: /tmp/pip-unpack-eikpgmmi
2023-07-25T10:54:34,440 Building wheels for collected packages: certora-cli-alpha-nast-mutation-test
2023-07-25T10:54:34,444   Created temporary directory: /tmp/pip-wheel-p77cpjpl
2023-07-25T10:54:34,445   Building wheel for certora-cli-alpha-nast-mutation-test (setup.py): started
2023-07-25T10:54:34,445   Destination directory: /tmp/pip-wheel-p77cpjpl
2023-07-25T10:54:34,446   Running command python setup.py bdist_wheel
2023-07-25T10:54:35,103   running bdist_wheel
2023-07-25T10:54:35,389   running build
2023-07-25T10:54:35,390   running build_py
2023-07-25T10:54:35,419   creating build
2023-07-25T10:54:35,419   creating build/lib
2023-07-25T10:54:35,420   creating build/lib/certora_jars
2023-07-25T10:54:35,421   copying certora_jars/__init__.py -> build/lib/certora_jars
2023-07-25T10:54:35,423   creating build/lib/certora_bins
2023-07-25T10:54:35,424   copying certora_bins/__init__.py -> build/lib/certora_bins
2023-07-25T10:54:35,426   creating build/lib/certora_cli
2023-07-25T10:54:35,427   copying certora_cli/certoraMutate.py -> build/lib/certora_cli
2023-07-25T10:54:35,430   copying certora_cli/certoraRun.py -> build/lib/certora_cli
2023-07-25T10:54:35,432   copying certora_cli/__init__.py -> build/lib/certora_cli
2023-07-25T10:54:35,433   copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli
2023-07-25T10:54:35,436   creating build/lib/certora_cli/Shared
2023-07-25T10:54:35,437   copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared
2023-07-25T10:54:35,440   copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared
2023-07-25T10:54:35,442   copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared
2023-07-25T10:54:35,444   copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared
2023-07-25T10:54:35,448   creating build/lib/certora_cli/EVMVerifier
2023-07-25T10:54:35,449   copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier
2023-07-25T10:54:35,457   copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier
2023-07-25T10:54:35,460   copying certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/lib/certora_cli/EVMVerifier
2023-07-25T10:54:35,461   copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier
2023-07-25T10:54:35,465   copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier
2023-07-25T10:54:35,466   copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier
2023-07-25T10:54:35,469   copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier
2023-07-25T10:54:35,470   copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier
2023-07-25T10:54:35,473   copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier
2023-07-25T10:54:35,475   copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier
2023-07-25T10:54:35,478   copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier
2023-07-25T10:54:35,481   copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier
2023-07-25T10:54:35,485   copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier
2023-07-25T10:54:35,487   copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier
2023-07-25T10:54:35,490   creating build/lib/certora_cli/EquivalenceCheck
2023-07-25T10:54:35,491   copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck
2023-07-25T10:54:35,493   copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck
2023-07-25T10:54:35,495   creating build/lib/certora_cli/EVMVerifier/Compiler
2023-07-25T10:54:35,496   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-07-25T10:54:35,500   copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-07-25T10:54:35,501   copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-07-25T10:54:35,503   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-07-25T10:54:35,506   copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler
2023-07-25T10:54:35,507   running egg_info
2023-07-25T10:54:35,569   writing certora_cli_alpha_nast_mutation_test.egg-info/PKG-INFO
2023-07-25T10:54:35,570   writing dependency_links to certora_cli_alpha_nast_mutation_test.egg-info/dependency_links.txt
2023-07-25T10:54:35,572   writing entry points to certora_cli_alpha_nast_mutation_test.egg-info/entry_points.txt
2023-07-25T10:54:35,574   writing requirements to certora_cli_alpha_nast_mutation_test.egg-info/requires.txt
2023-07-25T10:54:35,575   writing top-level names to certora_cli_alpha_nast_mutation_test.egg-info/top_level.txt
2023-07-25T10:54:35,608   reading manifest file 'certora_cli_alpha_nast_mutation_test.egg-info/SOURCES.txt'
2023-07-25T10:54:35,611   reading manifest template 'MANIFEST.in'
2023-07-25T10:54:35,618   warning: no files found matching 'gambit' under directory 'certora_bins'
2023-07-25T10:54:35,663   adding license file 'LICENSE'
2023-07-25T10:54:35,667   writing manifest file 'certora_cli_alpha_nast_mutation_test.egg-info/SOURCES.txt'
2023-07-25T10:54:35,671   copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars
2023-07-25T10:54:35,673   copying certora_jars/MutationTest.jar -> build/lib/certora_jars
2023-07-25T10:54:35,911   copying certora_jars/Typechecker.3.6.5.jar -> build/lib/certora_jars
2023-07-25T10:54:36,065   copying certora_jars/Typechecker.jar -> build/lib/certora_jars
2023-07-25T10:54:36,277   copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck
2023-07-25T10:54:36,280   copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck
2023-07-25T10:54:36,282   copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck
2023-07-25T10:54:36,284   copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck
2023-07-25T10:54:36,287   copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck
2023-07-25T10:54:36,324   /home/piwheels/.local/lib/python3.9/site-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2023-07-25T10:54:36,325   !!

2023-07-25T10:54:36,325           ********************************************************************************
2023-07-25T10:54:36,325           Please avoid running ``setup.py`` directly.
2023-07-25T10:54:36,325           Instead, use pypa/build, pypa/installer, pypa/build or
2023-07-25T10:54:36,326           other standards-based tools.

2023-07-25T10:54:36,326           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2023-07-25T10:54:36,326           ********************************************************************************

2023-07-25T10:54:36,326   !!
2023-07-25T10:54:36,326     self.initialize_options()
2023-07-25T10:54:36,352   installing to build/bdist.linux-armv7l/wheel
2023-07-25T10:54:36,352   running install
2023-07-25T10:54:36,377   running install_lib
2023-07-25T10:54:36,405   creating build/bdist.linux-armv7l
2023-07-25T10:54:36,405   creating build/bdist.linux-armv7l/wheel
2023-07-25T10:54:36,407   creating build/bdist.linux-armv7l/wheel/certora_jars
2023-07-25T10:54:36,408   copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-07-25T10:54:36,609   copying build/lib/certora_jars/Typechecker.3.6.5.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-07-25T10:54:36,783   copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-armv7l/wheel/certora_jars
2023-07-25T10:54:36,785   copying build/lib/certora_jars/__init__.py -> build/bdist.linux-armv7l/wheel/certora_jars
2023-07-25T10:54:36,787   copying build/lib/certora_jars/MutationTest.jar -> build/bdist.linux-armv7l/wheel/certora_jars
2023-07-25T10:54:37,017   creating build/bdist.linux-armv7l/wheel/certora_bins
2023-07-25T10:54:37,018   copying build/lib/certora_bins/__init__.py -> build/bdist.linux-armv7l/wheel/certora_bins
2023-07-25T10:54:37,020   creating build/bdist.linux-armv7l/wheel/certora_cli
2023-07-25T10:54:37,021   copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-07-25T10:54:37,024   copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-07-25T10:54:37,026   copying build/lib/certora_cli/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-07-25T10:54:37,028   copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-armv7l/wheel/certora_cli
2023-07-25T10:54:37,030   creating build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-07-25T10:54:37,031   copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-07-25T10:54:37,035   copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-07-25T10:54:37,037   copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-07-25T10:54:37,039   copying build/lib/certora_cli/Shared/certoraTester.py -> build/bdist.linux-armv7l/wheel/certora_cli/Shared
2023-07-25T10:54:37,042   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-07-25T10:54:37,043   copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-07-25T10:54:37,048   copying build/lib/certora_cli/EVMVerifier/certoraType.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-07-25T10:54:37,050   copying build/lib/certora_cli/EVMVerifier/certoraExtensionInfo.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-07-25T10:54:37,052   copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-07-25T10:54:37,055   copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-07-25T10:54:37,056   copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-07-25T10:54:37,059   copying build/lib/certora_cli/EVMVerifier/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-07-25T10:54:37,061   copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-07-25T10:54:37,064   copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-07-25T10:54:37,065   copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-07-25T10:54:37,068   copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-07-25T10:54:37,072   creating build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-07-25T10:54:37,073   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-07-25T10:54:37,076   copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-07-25T10:54:37,078   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-07-25T10:54:37,080   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-07-25T10:54:37,082   copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier/Compiler
2023-07-25T10:54:37,084   copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-07-25T10:54:37,087   copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-07-25T10:54:37,089   copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/bdist.linux-armv7l/wheel/certora_cli/EVMVerifier
2023-07-25T10:54:37,092   creating build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2023-07-25T10:54:37,093   copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2023-07-25T10:54:37,095   copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2023-07-25T10:54:37,096   copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2023-07-25T10:54:37,099   copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2023-07-25T10:54:37,100   copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2023-07-25T10:54:37,103   copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2023-07-25T10:54:37,104   copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-armv7l/wheel/certora_cli/EquivalenceCheck
2023-07-25T10:54:37,106   running install_egg_info
2023-07-25T10:54:37,137   Copying certora_cli_alpha_nast_mutation_test.egg-info to build/bdist.linux-armv7l/wheel/certora_cli_alpha_nast_mutation_test-20230725.10.14.255449-py3.9.egg-info
2023-07-25T10:54:37,148   running install_scripts
2023-07-25T10:54:37,165   creating build/bdist.linux-armv7l/wheel/certora_cli_alpha_nast_mutation_test-20230725.10.14.255449.dist-info/WHEEL
2023-07-25T10:54:37,167   creating '/tmp/pip-wheel-p77cpjpl/certora_cli_alpha_nast_mutation_test-20230725.10.14.255449-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2023-07-25T10:54:37,170   adding 'certora_bins/__init__.py'
2023-07-25T10:54:37,172   adding 'certora_cli/__init__.py'
2023-07-25T10:54:37,173   adding 'certora_cli/certoraEqCheck.py'
2023-07-25T10:54:37,178   adding 'certora_cli/certoraMutate.py'
2023-07-25T10:54:37,180   adding 'certora_cli/certoraRun.py'
2023-07-25T10:54:37,182   adding 'certora_cli/EVMVerifier/__init__.py'
2023-07-25T10:54:37,205   adding 'certora_cli/EVMVerifier/certoraBuild.py'
2023-07-25T10:54:37,212   adding 'certora_cli/EVMVerifier/certoraCloudIO.py'
2023-07-25T10:54:37,214   adding 'certora_cli/EVMVerifier/certoraCollectRunMetadata.py'
2023-07-25T10:54:37,216   adding 'certora_cli/EVMVerifier/certoraConfigIO.py'
2023-07-25T10:54:37,220   adding 'certora_cli/EVMVerifier/certoraContext.py'
2023-07-25T10:54:37,224   adding 'certora_cli/EVMVerifier/certoraContextAttribute.py'
2023-07-25T10:54:37,226   adding 'certora_cli/EVMVerifier/certoraContextClass.py'
2023-07-25T10:54:37,231   adding 'certora_cli/EVMVerifier/certoraContextValidator.py'
2023-07-25T10:54:37,233   adding 'certora_cli/EVMVerifier/certoraExtensionInfo.py'
2023-07-25T10:54:37,235   adding 'certora_cli/EVMVerifier/certoraJobList.py'
2023-07-25T10:54:37,236   adding 'certora_cli/EVMVerifier/certoraNodeFilters.py'
2023-07-25T10:54:37,239   adding 'certora_cli/EVMVerifier/certoraType.py'
2023-07-25T10:54:37,243   adding 'certora_cli/EVMVerifier/certoraValidateFuncs.py'
2023-07-25T10:54:37,245   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollector.py'
2023-07-25T10:54:37,246   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py'
2023-07-25T10:54:37,248   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py'
2023-07-25T10:54:37,252   adding 'certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py'
2023-07-25T10:54:37,254   adding 'certora_cli/EVMVerifier/Compiler/__init__.py'
2023-07-25T10:54:37,256   adding 'certora_cli/EquivalenceCheck/Eq_default.conf'
2023-07-25T10:54:37,257   adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec'
2023-07-25T10:54:37,258   adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf'
2023-07-25T10:54:37,259   adding 'certora_cli/EquivalenceCheck/Eq_template.spec'
2023-07-25T10:54:37,260   adding 'certora_cli/EquivalenceCheck/__init__.py'
2023-07-25T10:54:37,263   adding 'certora_cli/EquivalenceCheck/equivCheck.py'
2023-07-25T10:54:37,264   adding 'certora_cli/EquivalenceCheck/sanity.spec'
2023-07-25T10:54:37,266   adding 'certora_cli/Shared/__init__.py'
2023-07-25T10:54:37,268   adding 'certora_cli/Shared/certoraLogging.py'
2023-07-25T10:54:37,270   adding 'certora_cli/Shared/certoraTester.py'
2023-07-25T10:54:37,276   adding 'certora_cli/Shared/certoraUtils.py'
2023-07-25T10:54:37,280   adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json'
2023-07-25T10:54:39,084   adding 'certora_jars/MutationTest.jar'
2023-07-25T10:54:40,433   adding 'certora_jars/Typechecker.3.6.5.jar'
2023-07-25T10:54:42,141   adding 'certora_jars/Typechecker.jar'
2023-07-25T10:54:42,230   adding 'certora_jars/__init__.py'
2023-07-25T10:54:42,231   adding 'certora_cli_alpha_nast_mutation_test-20230725.10.14.255449.dist-info/LICENSE'
2023-07-25T10:54:42,232   adding 'certora_cli_alpha_nast_mutation_test-20230725.10.14.255449.dist-info/METADATA'
2023-07-25T10:54:42,233   adding 'certora_cli_alpha_nast_mutation_test-20230725.10.14.255449.dist-info/WHEEL'
2023-07-25T10:54:42,234   adding 'certora_cli_alpha_nast_mutation_test-20230725.10.14.255449.dist-info/entry_points.txt'
2023-07-25T10:54:42,235   adding 'certora_cli_alpha_nast_mutation_test-20230725.10.14.255449.dist-info/top_level.txt'
2023-07-25T10:54:42,236   adding 'certora_cli_alpha_nast_mutation_test-20230725.10.14.255449.dist-info/RECORD'
2023-07-25T10:54:42,633   removing build/bdist.linux-armv7l/wheel
2023-07-25T10:54:42,745   Building wheel for certora-cli-alpha-nast-mutation-test (setup.py): finished with status 'done'
2023-07-25T10:54:43,115   Created wheel for certora-cli-alpha-nast-mutation-test: filename=certora_cli_alpha_nast_mutation_test-20230725.10.14.255449-py3-none-any.whl size=37503779 sha256=7082718fa8b0bfc9fe82032186b7e2e27d441f60485639ca81a86905f9044014
2023-07-25T10:54:43,116   Stored in directory: /tmp/pip-ephem-wheel-cache-c3hva44m/wheels/bb/1a/69/16fce8893e3e495121661d531b4c02638cb58c7b8593c6bba8
2023-07-25T10:54:43,140 Successfully built certora-cli-alpha-nast-mutation-test
2023-07-25T10:54:44,031 Removed build tracker: '/tmp/pip-build-tracker-zizndthq'