2023-02-03T14:44:54,964 Created temporary directory: /tmp/pip-ephem-wheel-cache-wbjdyjdi 2023-02-03T14:44:54,966 Created temporary directory: /tmp/pip-build-tracker-oac6wgf5 2023-02-03T14:44:54,967 Initialized build tracking at /tmp/pip-build-tracker-oac6wgf5 2023-02-03T14:44:54,967 Created build tracker: /tmp/pip-build-tracker-oac6wgf5 2023-02-03T14:44:54,967 Entered build tracker: /tmp/pip-build-tracker-oac6wgf5 2023-02-03T14:44:54,968 Created temporary directory: /tmp/pip-wheel-_4gdvhk9 2023-02-03T14:44:54,971 DEPRECATION: --no-binary currently disables reading from the cache of locally built wheels. In the future --no-binary will not influence the wheel cache. pip 23.1 will enforce this behaviour change. A possible replacement is to use the --no-cache-dir option. You can use the flag --use-feature=no-binary-enable-wheel-cache to test the upcoming behaviour. Discussion can be found at https://github.com/pypa/pip/issues/11453 2023-02-03T14:44:54,973 Created temporary directory: /tmp/pip-ephem-wheel-cache-wp643toe 2023-02-03T14:44:55,001 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-02-03T14:44:55,004 2 location(s) to search for versions of libmata: 2023-02-03T14:44:55,004 * https://pypi.org/simple/libmata/ 2023-02-03T14:44:55,004 * https://www.piwheels.org/simple/libmata/ 2023-02-03T14:44:55,004 Fetching project page and analyzing links: https://pypi.org/simple/libmata/ 2023-02-03T14:44:55,005 Getting page https://pypi.org/simple/libmata/ 2023-02-03T14:44:55,006 Found index url https://pypi.org/simple 2023-02-03T14:44:55,059 Fetched page https://pypi.org/simple/libmata/ as application/vnd.pypi.simple.v1+json 2023-02-03T14:44:55,066 Skipping link: unsupported archive format: .egg: https://files.pythonhosted.org/packages/93/90/888ce7876416e3a36580f8adabb800522b8b1c076fb81f8728db4abea1ab/libmata-0.22.1-py3.9-linux-x86_64.egg (from https://pypi.org/simple/libmata/) 2023-02-03T14:44:55,066 Found link https://files.pythonhosted.org/packages/09/37/78fa38b519e446ff3954f87c49a32ba2a174685c03f404fa921fcb1ba781/libmata-0.22.1.tar.gz (from https://pypi.org/simple/libmata/), version: 0.22.1 2023-02-03T14:44:55,066 Skipping link: unsupported archive format: .egg: https://files.pythonhosted.org/packages/93/31/e45b9411477fdaecb6995bd4fd7a4184f03a77f80c9afb7e8a729abc8c5b/libmata-0.23.0-py3.9-linux-x86_64.egg (from https://pypi.org/simple/libmata/) 2023-02-03T14:44:55,067 Found link https://files.pythonhosted.org/packages/0d/e7/51c3238680fe67546f36dacbece40f00e46713a3fc26c3ed146c6903993b/libmata-0.23.0.tar.gz (from https://pypi.org/simple/libmata/), version: 0.23.0 2023-02-03T14:44:55,067 Skipping link: unsupported archive format: .egg: https://files.pythonhosted.org/packages/ca/7a/9cdd8740f4aba24929b2da72915778d6802e01bea6bb06fbf58a6833f907/libmata-0.24.0-py3.9-linux-x86_64.egg (from https://pypi.org/simple/libmata/) 2023-02-03T14:44:55,067 Found link https://files.pythonhosted.org/packages/52/c9/6ca6234ba88389322f6e0771b08ceb70f5cfd90c5003af1f77c2758b2ebe/libmata-0.24.0.tar.gz (from https://pypi.org/simple/libmata/), version: 0.24.0 2023-02-03T14:44:55,067 Skipping link: unsupported archive format: .egg: https://files.pythonhosted.org/packages/b7/2d/8ef72ce71c87a25864e86fe155a0156d7800becbd66b321db40c24f06f13/libmata-0.25.0-py3.9-linux-x86_64.egg (from https://pypi.org/simple/libmata/) 2023-02-03T14:44:55,068 Found link https://files.pythonhosted.org/packages/57/3f/1032dd7b39d2390e91c83c0a93f817b05fa7dd043747ab43ec5c085abf98/libmata-0.25.0.tar.gz (from https://pypi.org/simple/libmata/), version: 0.25.0 2023-02-03T14:44:55,068 Skipping link: unsupported archive format: .egg: https://files.pythonhosted.org/packages/e2/51/46918eff586e2aaaff7dcdff8f9b00c14bcab576876eae4623859293ae47/libmata-0.26.0-py3.9-linux-x86_64.egg (from https://pypi.org/simple/libmata/) 2023-02-03T14:44:55,068 Found link https://files.pythonhosted.org/packages/ed/fb/a3f029ba0bd62f94c6d2dfa1109b4be818811344df559e78ab9b698db7a5/libmata-0.26.0.tar.gz (from https://pypi.org/simple/libmata/), version: 0.26.0 2023-02-03T14:44:55,068 Skipping link: unsupported archive format: .egg: https://files.pythonhosted.org/packages/30/53/9b1674772bcc54a9372150e471e517bd4c73ca0ffc396aeef58768b14e10/libmata-0.27.0-py3.9-linux-x86_64.egg (from https://pypi.org/simple/libmata/) 2023-02-03T14:44:55,069 Found link https://files.pythonhosted.org/packages/e2/47/d10612a2fb468c3b18adc2bbb344bb999ce42c1005f29747d15488433575/libmata-0.27.0.tar.gz (from https://pypi.org/simple/libmata/), version: 0.27.0 2023-02-03T14:44:55,069 Skipping link: unsupported archive format: .egg: https://files.pythonhosted.org/packages/34/fb/6a21aba8ff0a137dae675b6df5b6dcc991c28ef14db32ee6584212693b08/libmata-0.28.0-py3.9-linux-x86_64.egg (from https://pypi.org/simple/libmata/) 2023-02-03T14:44:55,069 Found link https://files.pythonhosted.org/packages/41/6e/fd32491cff1660bd3bcd9a96c8186c49486a4df19dcd4991e3b8b4468193/libmata-0.28.0.tar.gz (from https://pypi.org/simple/libmata/), version: 0.28.0 2023-02-03T14:44:55,069 Skipping link: unsupported archive format: .egg: https://files.pythonhosted.org/packages/f6/dd/62cf8bfbfbe6f12d64a50a70f7b5f7618ed1cdbb1a74987abcd36d77aae5/libmata-0.29.0-py3.9-linux-x86_64.egg (from https://pypi.org/simple/libmata/) 2023-02-03T14:44:55,069 Found link https://files.pythonhosted.org/packages/dc/a1/ee3030a7a9690bdbc5e3f967045c86eb10abff2d3d234504095ead7cd3a0/libmata-0.29.0.tar.gz (from https://pypi.org/simple/libmata/), version: 0.29.0 2023-02-03T14:44:55,070 Skipping link: unsupported archive format: .egg: https://files.pythonhosted.org/packages/ac/ca/1f4487b9e613796acf2c70384461b9a0836a3ff58ef198c4d2f50a5c5bca/libmata-0.30.0-py3.9-linux-x86_64.egg (from https://pypi.org/simple/libmata/) 2023-02-03T14:44:55,070 Found link https://files.pythonhosted.org/packages/67/7a/565460978c09ed92d7e2ea56774aba889ba9ae8298b61daadd94256afb55/libmata-0.30.0.tar.gz (from https://pypi.org/simple/libmata/), version: 0.30.0 2023-02-03T14:44:55,070 Skipping link: unsupported archive format: .egg: https://files.pythonhosted.org/packages/09/af/f7ecb0de67388ca2225eac73edcc19ab3f543a6752975f4a66fad4732415/libmata-0.31.0-py3.9-linux-x86_64.egg (from https://pypi.org/simple/libmata/) 2023-02-03T14:44:55,070 Found link https://files.pythonhosted.org/packages/f0/50/eb4276b5386b097ecde5674789e8c00ffecc5504b35486c0fd09e8661f8f/libmata-0.31.0.tar.gz (from https://pypi.org/simple/libmata/), version: 0.31.0 2023-02-03T14:44:55,071 Skipping link: unsupported archive format: .egg: https://files.pythonhosted.org/packages/78/4e/706c78ceb957033358a3f90e820e057ada8090eab47d1e0c8d6af4ab0016/libmata-0.32.0-py3.9-linux-x86_64.egg (from https://pypi.org/simple/libmata/) 2023-02-03T14:44:55,071 Found link https://files.pythonhosted.org/packages/6a/98/2b9ccd4a8973e79c71fdf251b756c57f8f749f535abcf5b4592b6eff320b/libmata-0.32.0.tar.gz (from https://pypi.org/simple/libmata/), version: 0.32.0 2023-02-03T14:44:55,071 Skipping link: unsupported archive format: .egg: https://files.pythonhosted.org/packages/d1/82/5c0f6b3890b4487b7121f78c30ea656a81aaf2fbbc44600ab8aad846ba28/libmata-0.33.0-py3.9-linux-x86_64.egg (from https://pypi.org/simple/libmata/) 2023-02-03T14:44:55,071 Found link https://files.pythonhosted.org/packages/51/ee/67c18825caf41d095a64ebe43b3ff7c1ed27e90a3b1fe7b00f945d2386a9/libmata-0.33.0.tar.gz (from https://pypi.org/simple/libmata/), version: 0.33.0 2023-02-03T14:44:55,072 Skipping link: unsupported archive format: .egg: https://files.pythonhosted.org/packages/2f/23/cce95ea40d36b05dcf6636d1b5253d76a55cb058e33f72f117de5acb52b9/libmata-0.34.0-py3.9-linux-x86_64.egg (from https://pypi.org/simple/libmata/) 2023-02-03T14:44:55,072 Found link https://files.pythonhosted.org/packages/a6/94/a934e4e1cda47cffcfdcc0ae63931334e2617b98fe0cb3ed15338a6bf499/libmata-0.34.0.tar.gz (from https://pypi.org/simple/libmata/), version: 0.34.0 2023-02-03T14:44:55,072 Skipping link: unsupported archive format: .egg: https://files.pythonhosted.org/packages/10/4c/485ae278588727eb618b6aeeeaa16672251c0ee5004ee5106df8fc65e6d4/libmata-0.35.0-py3.9-linux-x86_64.egg (from https://pypi.org/simple/libmata/) 2023-02-03T14:44:55,072 Found link https://files.pythonhosted.org/packages/7c/d9/8767a667a87961a77ca4b6544aeb29b137b1cb807515eecaa8de174c6962/libmata-0.35.0.tar.gz (from https://pypi.org/simple/libmata/), version: 0.35.0 2023-02-03T14:44:55,073 Skipping link: unsupported archive format: .egg: https://files.pythonhosted.org/packages/55/c2/e6cf80411c8a4b456f6d5e91b52a33044d20d86c662d71cfb9d0b25bd284/libmata-0.36.0-py3.9-linux-x86_64.egg (from https://pypi.org/simple/libmata/) 2023-02-03T14:44:55,073 Found link https://files.pythonhosted.org/packages/05/cf/ba706eac717f6cd8820229f2491f2c3af3dc1be416d4714614c0a47ce7ff/libmata-0.36.0.tar.gz (from https://pypi.org/simple/libmata/), version: 0.36.0 2023-02-03T14:44:55,073 Skipping link: unsupported archive format: .egg: https://files.pythonhosted.org/packages/a9/c2/36858bbcea2c3a094e337eedbe1727a0dd9b8f3a14500eeedfe6144dffd9/libmata-0.37.0-py3.9-linux-x86_64.egg (from https://pypi.org/simple/libmata/) 2023-02-03T14:44:55,073 Found link https://files.pythonhosted.org/packages/92/a8/e61f36b0730236092701b3432e9cf5e290641423af81987b9072f152acd7/libmata-0.37.0.tar.gz (from https://pypi.org/simple/libmata/), version: 0.37.0 2023-02-03T14:44:55,074 Skipping link: unsupported archive format: .egg: https://files.pythonhosted.org/packages/5b/ed/f5ab1f1e325879eb93f158bdbeea91f24647b22d785230416b727652e46a/libmata-0.38.0-py3.9-linux-x86_64.egg (from https://pypi.org/simple/libmata/) 2023-02-03T14:44:55,074 Found link https://files.pythonhosted.org/packages/95/07/83461592cc2511a2386bd51851ab957c7b55970fb4f8f099c8c6d3e96865/libmata-0.38.0.tar.gz (from https://pypi.org/simple/libmata/), version: 0.38.0 2023-02-03T14:44:55,074 Fetching project page and analyzing links: https://www.piwheels.org/simple/libmata/ 2023-02-03T14:44:55,074 Getting page https://www.piwheels.org/simple/libmata/ 2023-02-03T14:44:55,075 Found index url https://www.piwheels.org/simple 2023-02-03T14:44:55,303 Fetched page https://www.piwheels.org/simple/libmata/ as text/html 2023-02-03T14:44:55,305 Skipping link: No binaries permitted for libmata: https://www.piwheels.org/simple/libmata/libmata-0.22.1-cp39-cp39-linux_armv7l.whl#sha256=83903b9d0f0a1e9911a65311775d5893280feaaf9c4d031382c179d9a1cc4189 (from https://www.piwheels.org/simple/libmata/) 2023-02-03T14:44:55,305 Skipping link: No binaries permitted for libmata: https://www.piwheels.org/simple/libmata/libmata-0.22.1-cp39-cp39-linux_armv6l.whl#sha256=83903b9d0f0a1e9911a65311775d5893280feaaf9c4d031382c179d9a1cc4189 (from https://www.piwheels.org/simple/libmata/) 2023-02-03T14:44:55,306 Skipping link: No binaries permitted for libmata: https://www.piwheels.org/simple/libmata/libmata-0.22.1-cp37-cp37m-linux_armv7l.whl#sha256=ae507fa8de6be0435ed6d4d48b907a1ff53d9daa7641debb95c007b055a93a1a (from https://www.piwheels.org/simple/libmata/) 2023-02-03T14:44:55,306 Skipping link: No binaries permitted for libmata: https://www.piwheels.org/simple/libmata/libmata-0.22.1-cp37-cp37m-linux_armv6l.whl#sha256=ae507fa8de6be0435ed6d4d48b907a1ff53d9daa7641debb95c007b055a93a1a (from https://www.piwheels.org/simple/libmata/) 2023-02-03T14:44:55,306 Skipping link: not a file: https://www.piwheels.org/simple/libmata/ 2023-02-03T14:44:55,306 Skipping link: not a file: https://pypi.org/simple/libmata/ 2023-02-03T14:44:55,326 Given no hashes to check 1 links for project 'libmata': discarding no candidates 2023-02-03T14:44:55,343 Collecting libmata==0.38.0 2023-02-03T14:44:55,345 Created temporary directory: /tmp/pip-unpack-4iy8cb7u 2023-02-03T14:44:55,395 Downloading libmata-0.38.0.tar.gz (2.2 MB) 2023-02-03T14:44:56,951 Added libmata==0.38.0 from https://files.pythonhosted.org/packages/95/07/83461592cc2511a2386bd51851ab957c7b55970fb4f8f099c8c6d3e96865/libmata-0.38.0.tar.gz to build tracker '/tmp/pip-build-tracker-oac6wgf5' 2023-02-03T14:44:56,956 Created temporary directory: /tmp/pip-build-env-vubag2qq 2023-02-03T14:44:56,963 Installing build dependencies: started 2023-02-03T14:44:56,964 Running command pip subprocess to install build dependencies 2023-02-03T14:44:58,155 Using pip 22.3 from /usr/local/lib/python3.9/dist-packages/pip (python 3.9) 2023-02-03T14:44:58,551 DEPRECATION: --no-binary currently disables reading from the cache of locally built wheels. In the future --no-binary will not influence the wheel cache. pip 23.1 will enforce this behaviour change. A possible replacement is to use the --no-cache-dir option. You can use the flag --use-feature=no-binary-enable-wheel-cache to test the upcoming behaviour. Discussion can be found at https://github.com/pypa/pip/issues/11453 2023-02-03T14:44:58,576 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-02-03T14:45:00,205 Collecting setuptools 2023-02-03T14:45:00,325 Using cached https://www.piwheels.org/simple/setuptools/setuptools-67.1.0-py3-none-any.whl (1.1 MB) 2023-02-03T14:45:00,587 Collecting wheel 2023-02-03T14:45:00,605 Using cached https://www.piwheels.org/simple/wheel/wheel-0.38.4-py3-none-any.whl (36 kB) 2023-02-03T14:45:01,903 Collecting Cython>=0.29.32 2023-02-03T14:45:02,407 Using cached https://www.piwheels.org/simple/cython/Cython-0.29.33-cp39-cp39-linux_armv7l.whl (5.0 MB) 2023-02-03T14:45:04,592 Installing collected packages: wheel, setuptools, Cython 2023-02-03T14:45:04,743 Creating /tmp/pip-build-env-vubag2qq/overlay/bin 2023-02-03T14:45:04,745 changing mode of /tmp/pip-build-env-vubag2qq/overlay/bin/wheel to 755 2023-02-03T14:45:09,816 changing mode of /tmp/pip-build-env-vubag2qq/overlay/bin/cygdb to 755 2023-02-03T14:45:09,819 changing mode of /tmp/pip-build-env-vubag2qq/overlay/bin/cython to 755 2023-02-03T14:45:09,821 changing mode of /tmp/pip-build-env-vubag2qq/overlay/bin/cythonize to 755 2023-02-03T14:45:09,846 Successfully installed Cython-0.29.33 setuptools-67.1.0 wheel-0.38.4 2023-02-03T14:45:09,862 [notice] A new release of pip available: 22.3 -> 23.0 2023-02-03T14:45:09,862 [notice] To update, run: python3 -m pip install --upgrade pip 2023-02-03T14:45:10,177 Installing build dependencies: finished with status 'done' 2023-02-03T14:45:10,184 Getting requirements to build wheel: started 2023-02-03T14:45:10,185 Running command Getting requirements to build wheel 2023-02-03T14:45:11,700 /tmp/pip-build-env-vubag2qq/overlay/lib/python3.9/site-packages/Cython/Compiler/Main.py:369: FutureWarning: Cython directive 'language_level' not set, using 2 for now (Py2). This will change in a later release! File: /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/libmata.pxd 2023-02-03T14:45:11,701 tree = Parsing.p_module(s, pxd, full_module_name) 2023-02-03T14:45:15,442 Compiling libmata.pyx because it depends on /tmp/pip-build-env-vubag2qq/overlay/lib/python3.9/site-packages/Cython/Includes/libcpp/vector.pxd. 2023-02-03T14:45:15,443 [1/1] Cythonizing libmata.pyx 2023-02-03T14:45:15,504 running egg_info 2023-02-03T14:45:15,505 creating libmata.egg-info 2023-02-03T14:45:15,509 writing libmata.egg-info/PKG-INFO 2023-02-03T14:45:15,512 writing dependency_links to libmata.egg-info/dependency_links.txt 2023-02-03T14:45:15,515 writing requirements to libmata.egg-info/requires.txt 2023-02-03T14:45:15,517 writing top-level names to libmata.egg-info/top_level.txt 2023-02-03T14:45:15,518 writing manifest file 'libmata.egg-info/SOURCES.txt' 2023-02-03T14:45:15,536 reading manifest file 'libmata.egg-info/SOURCES.txt' 2023-02-03T14:45:15,545 writing manifest file 'libmata.egg-info/SOURCES.txt' 2023-02-03T14:45:16,095 Getting requirements to build wheel: finished with status 'done' 2023-02-03T14:45:16,105 Created temporary directory: /tmp/pip-modern-metadata-99suj98y 2023-02-03T14:45:16,108 Preparing metadata (pyproject.toml): started 2023-02-03T14:45:16,109 Running command Preparing metadata (pyproject.toml) 2023-02-03T14:45:17,465 running dist_info 2023-02-03T14:45:17,483 creating /tmp/pip-modern-metadata-99suj98y/libmata.egg-info 2023-02-03T14:45:17,487 writing /tmp/pip-modern-metadata-99suj98y/libmata.egg-info/PKG-INFO 2023-02-03T14:45:17,490 writing dependency_links to /tmp/pip-modern-metadata-99suj98y/libmata.egg-info/dependency_links.txt 2023-02-03T14:45:17,493 writing requirements to /tmp/pip-modern-metadata-99suj98y/libmata.egg-info/requires.txt 2023-02-03T14:45:17,494 writing top-level names to /tmp/pip-modern-metadata-99suj98y/libmata.egg-info/top_level.txt 2023-02-03T14:45:17,495 writing manifest file '/tmp/pip-modern-metadata-99suj98y/libmata.egg-info/SOURCES.txt' 2023-02-03T14:45:17,531 reading manifest file '/tmp/pip-modern-metadata-99suj98y/libmata.egg-info/SOURCES.txt' 2023-02-03T14:45:17,540 writing manifest file '/tmp/pip-modern-metadata-99suj98y/libmata.egg-info/SOURCES.txt' 2023-02-03T14:45:17,542 creating '/tmp/pip-modern-metadata-99suj98y/libmata-0.38.0.dist-info' 2023-02-03T14:45:17,739 Preparing metadata (pyproject.toml): finished with status 'done' 2023-02-03T14:45:17,747 Source in /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec has version 0.38.0, which satisfies requirement libmata==0.38.0 from https://files.pythonhosted.org/packages/95/07/83461592cc2511a2386bd51851ab957c7b55970fb4f8f099c8c6d3e96865/libmata-0.38.0.tar.gz 2023-02-03T14:45:17,748 Removed libmata==0.38.0 from https://files.pythonhosted.org/packages/95/07/83461592cc2511a2386bd51851ab957c7b55970fb4f8f099c8c6d3e96865/libmata-0.38.0.tar.gz from build tracker '/tmp/pip-build-tracker-oac6wgf5' 2023-02-03T14:45:17,753 Created temporary directory: /tmp/pip-unpack-en07j2ll 2023-02-03T14:45:17,754 Building wheels for collected packages: libmata 2023-02-03T14:45:17,758 Created temporary directory: /tmp/pip-wheel-dwfnbd6q 2023-02-03T14:45:17,758 Destination directory: /tmp/pip-wheel-dwfnbd6q 2023-02-03T14:45:17,761 Building wheel for libmata (pyproject.toml): started 2023-02-03T14:45:17,762 Running command Building wheel for libmata (pyproject.toml) 2023-02-03T14:45:19,105 running bdist_wheel 2023-02-03T14:45:19,128 running build 2023-02-03T14:45:19,128 running build_ext 2023-02-03T14:45:19,133 building 'libmata' extension 2023-02-03T14:45:19,137 creating build 2023-02-03T14:45:19,137 creating build/temp.linux-armv7l-cpython-39 2023-02-03T14:45:19,138 creating build/temp.linux-armv7l-cpython-39/tmp 2023-02-03T14:45:19,139 creating build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9 2023-02-03T14:45:19,140 creating build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec 2023-02-03T14:45:19,141 creating build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata 2023-02-03T14:45:19,141 creating build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty 2023-02-03T14:45:19,142 creating build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min 2023-02-03T14:45:19,148 creating build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 2023-02-03T14:45:19,148 creating build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2/re2 2023-02-03T14:45:19,150 creating build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2/util 2023-02-03T14:45:19,151 creating build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib 2023-02-03T14:45:19,151 creating build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/src 2023-02-03T14:45:19,152 creating build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/src 2023-02-03T14:45:19,153 creating build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/src/afa 2023-02-03T14:45:19,154 creating build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/src/nfa 2023-02-03T14:45:19,156 creating build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/src/rra 2023-02-03T14:45:19,156 creating build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/src/strings 2023-02-03T14:45:19,158 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/bnet.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/bnet.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:19,183 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:21,290 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/chkMterm.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/chkMterm.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:21,312 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:21,544 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cpu_stats.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cpu_stats.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:21,566 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:21,593 In file included from /usr/include/assert.h:35, 2023-02-03T14:45:21,594 from /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/util.h:70, 2023-02-03T14:45:21,594 from /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cpu_stats.c:66: 2023-02-03T14:45:21,594 /usr/include/features.h:187:3: warning: #warning "_BSD_SOURCE and _SVID_SOURCE are deprecated, use _DEFAULT_SOURCE" [-Wcpp] 2023-02-03T14:45:21,594 187 | # warning "_BSD_SOURCE and _SVID_SOURCE are deprecated, use _DEFAULT_SOURCE" 2023-02-03T14:45:21,594 | ^~~~~~~ 2023-02-03T14:45:21,762 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cpu_time.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cpu_time.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:21,784 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:21,950 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cstringstream.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cstringstream.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:21,972 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:22,136 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cstringstream.c: In function ‘appendStringStringStream’: 2023-02-03T14:45:22,137 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cstringstream.c:143:3: warning: ‘strncpy’ output truncated before terminating nul copying as many bytes from a string as its length [-Wstringop-truncation] 2023-02-03T14:45:22,137 143 | strncpy(ss->data + ss->inUse - len, s, len); 2023-02-03T14:45:22,137 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-02-03T14:45:22,137 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cstringstream.c:140:16: note: length computed here 2023-02-03T14:45:22,138 140 | size_t len = strlen(s); 2023-02-03T14:45:22,138 | ^~~~~~~~~ 2023-02-03T14:45:22,243 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddAPI.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddAPI.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:22,265 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:24,060 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddAddAbs.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddAddAbs.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:24,083 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:24,567 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddAddApply.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddAddApply.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:24,589 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:25,112 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddAddFind.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddAddFind.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:25,135 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:25,472 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddAddInv.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddAddInv.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:25,494 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:25,746 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddAddIte.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddAddIte.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:25,768 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:26,245 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddAddNeg.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddAddNeg.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:26,267 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:26,563 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddAddWalsh.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddAddWalsh.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:26,586 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:27,025 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddAndAbs.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddAndAbs.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:27,047 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:27,397 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddAnneal.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddAnneal.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:27,419 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:27,961 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddApa.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddApa.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:27,984 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:28,717 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddApprox.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddApprox.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:28,739 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:30,075 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddBddAbs.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddBddAbs.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:30,098 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:30,706 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddBddCorr.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddBddCorr.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:30,728 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:31,076 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddBddIte.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddBddIte.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:31,098 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:32,005 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddBridge.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddBridge.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:32,027 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:32,764 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddCache.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddCache.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:32,787 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:33,348 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddCheck.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddCheck.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:33,370 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:34,141 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddClip.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddClip.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:34,164 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:34,634 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddCof.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddCof.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:34,653 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:35,060 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddCompose.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddCompose.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:35,079 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:36,164 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddDecomp.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddDecomp.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:36,183 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:37,481 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddEssent.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddEssent.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:37,500 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:38,702 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddExact.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddExact.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:38,725 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:39,611 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddExport.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddExport.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:39,630 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:40,869 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddGenCof.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddGenCof.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:40,889 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:42,330 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddGenetic.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddGenetic.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:42,348 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:43,082 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddGroup.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddGroup.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:43,101 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:44,498 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddHarwell.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddHarwell.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:44,520 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:45,166 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddInit.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddInit.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:45,188 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:45,475 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddInteract.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddInteract.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:45,497 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:45,899 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddLCache.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddLCache.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:45,921 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:46,748 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddLevelQ.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddLevelQ.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:46,771 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:47,146 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddLinear.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddLinear.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:47,178 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:48,105 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddLiteral.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddLiteral.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:48,127 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:48,424 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddMatMult.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddMatMult.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:45:48,445 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:45:49,072 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddObj.cc -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddObj.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:01,409 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddPriority.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddPriority.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:01,428 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:02,874 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddRead.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddRead.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:02,893 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:03,461 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddRef.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddRef.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:03,480 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:03,969 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddReorder.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddReorder.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:03,988 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:05,302 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddSat.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddSat.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:05,321 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:06,399 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddSign.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddSign.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:06,418 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:06,760 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddSolve.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddSolve.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:06,782 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:07,101 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddSplit.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddSplit.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:07,124 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:07,680 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddSubsetHB.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddSubsetHB.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:07,699 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:08,723 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddSubsetSP.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddSubsetSP.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:08,742 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:09,737 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddSymmetry.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddSymmetry.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:09,760 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:11,180 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddTable.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddTable.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:11,203 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:13,480 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddUtil.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddUtil.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:13,499 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:13,689 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddUtil.c: In function ‘cuddNodeArray’: 2023-02-03T14:46:13,690 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddUtil.c:3060:15: warning: variable ‘retval’ set but not used [-Wunused-but-set-variable] 2023-02-03T14:46:13,691 3060 | int size, retval; 2023-02-03T14:46:13,691 | ^~~~~~ 2023-02-03T14:46:16,404 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddWindow.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddWindow.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:16,426 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:17,110 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddZddCount.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddZddCount.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:17,131 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:17,400 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddZddFuncs.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddZddFuncs.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:17,420 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:18,394 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddZddGroup.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddZddGroup.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:18,415 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:19,178 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddZddIsop.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddZddIsop.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:19,201 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:19,844 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddZddLin.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddZddLin.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:19,864 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:20,583 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddZddMisc.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddZddMisc.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:20,605 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:20,879 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddZddPort.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddZddPort.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:20,899 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:21,244 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddZddReord.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddZddReord.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:21,266 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:22,210 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddZddSetop.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddZddSetop.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:22,233 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:22,933 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddZddSymm.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddZddSymm.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:22,956 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:24,263 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddZddUtil.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/cuddZddUtil.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:24,285 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:25,334 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/datalimit.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/datalimit.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:25,358 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:25,454 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/dddmpBinary.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/dddmpBinary.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:25,475 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:25,791 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/dddmpConvert.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/dddmpConvert.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:25,811 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:26,068 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/dddmpDbg.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/dddmpDbg.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:26,087 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:26,370 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/dddmpLoad.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/dddmpLoad.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:26,389 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:27,783 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/dddmpLoadCnf.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/dddmpLoadCnf.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:27,802 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:28,671 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/dddmpNodeAdd.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/dddmpNodeAdd.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:28,698 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:29,022 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/dddmpNodeBdd.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/dddmpNodeBdd.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:29,050 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:29,398 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/dddmpNodeCnf.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/dddmpNodeCnf.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:29,422 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:29,904 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/dddmpStoreAdd.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/dddmpStoreAdd.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:29,924 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:30,808 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/dddmpStoreBdd.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/dddmpStoreBdd.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:30,828 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:31,753 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/dddmpStoreCnf.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/dddmpStoreCnf.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:31,777 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:32,990 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/dddmpStoreMisc.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/dddmpStoreMisc.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:33,014 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:33,919 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/dddmpUtil.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/dddmpUtil.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:33,942 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:34,311 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/epd.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/epd.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:34,331 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:35,104 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/main.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/main.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:35,126 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:36,677 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/mtrBasic.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/mtrBasic.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:36,698 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:37,040 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/mtrGroup.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/mtrGroup.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:37,059 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:37,520 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:37,539 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:37,685 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c: In function ‘Ntr_buildTR’: 2023-02-03T14:46:37,686 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:394:2: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-02-03T14:46:37,686 394 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); 2023-02-03T14:46:37,686 | ^~ 2023-02-03T14:46:37,686 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:394:33: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ 2023-02-03T14:46:37,686 394 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); 2023-02-03T14:46:37,686 | ^~~~~~~~ 2023-02-03T14:46:37,687 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:445:2: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-02-03T14:46:37,687 445 | if (tmp == NULL) goto endgame; Cudd_Ref(tmp); 2023-02-03T14:46:37,687 | ^~ 2023-02-03T14:46:37,687 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:445:33: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ 2023-02-03T14:46:37,687 445 | if (tmp == NULL) goto endgame; Cudd_Ref(tmp); 2023-02-03T14:46:37,687 | ^~~~~~~~ 2023-02-03T14:46:37,688 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:470:6: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-02-03T14:46:37,688 470 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); 2023-02-03T14:46:37,688 | ^~ 2023-02-03T14:46:37,688 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:470:37: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ 2023-02-03T14:46:37,688 470 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); 2023-02-03T14:46:37,688 | ^~~~~~~~ 2023-02-03T14:46:37,689 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:475:6: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-02-03T14:46:37,689 475 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); 2023-02-03T14:46:37,689 | ^~ 2023-02-03T14:46:37,689 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:475:37: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ 2023-02-03T14:46:37,689 475 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); 2023-02-03T14:46:37,689 | ^~~~~~~~ 2023-02-03T14:46:37,689 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:498:3: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-02-03T14:46:37,690 498 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); 2023-02-03T14:46:37,690 | ^~ 2023-02-03T14:46:37,690 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:498:34: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ 2023-02-03T14:46:37,690 498 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); 2023-02-03T14:46:37,690 | ^~~~~~~~ 2023-02-03T14:46:37,690 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:503:3: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-02-03T14:46:37,690 503 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); 2023-02-03T14:46:37,691 | ^~ 2023-02-03T14:46:37,691 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:503:34: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ 2023-02-03T14:46:37,691 503 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); 2023-02-03T14:46:37,691 | ^~~~~~~~ 2023-02-03T14:46:37,700 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c: In function ‘Ntr_SCC’: 2023-02-03T14:46:37,700 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:1007:6: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-02-03T14:46:37,701 1007 | if (tmp == NULL) return(0); Cudd_Ref(tmp); 2023-02-03T14:46:37,701 | ^~ 2023-02-03T14:46:37,701 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:1007:34: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ 2023-02-03T14:46:37,701 1007 | if (tmp == NULL) return(0); Cudd_Ref(tmp); 2023-02-03T14:46:37,701 | ^~~~~~~~ 2023-02-03T14:46:37,702 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:1010:6: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-02-03T14:46:37,702 1010 | if (neW == NULL) return(0); Cudd_Ref(neW); 2023-02-03T14:46:37,702 | ^~ 2023-02-03T14:46:37,702 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:1010:34: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ 2023-02-03T14:46:37,702 1010 | if (neW == NULL) return(0); Cudd_Ref(neW); 2023-02-03T14:46:37,702 | ^~~~~~~~ 2023-02-03T14:46:37,704 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:1063:6: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-02-03T14:46:37,704 1063 | if (tmp == NULL) return(0); Cudd_Ref(tmp); 2023-02-03T14:46:37,704 | ^~ 2023-02-03T14:46:37,704 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:1063:34: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ 2023-02-03T14:46:37,704 1063 | if (tmp == NULL) return(0); Cudd_Ref(tmp); 2023-02-03T14:46:37,705 | ^~~~~~~~ 2023-02-03T14:46:37,705 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:1066:6: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-02-03T14:46:37,705 1066 | if (neW == NULL) return(0); Cudd_Ref(neW); 2023-02-03T14:46:37,705 | ^~ 2023-02-03T14:46:37,706 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:1066:34: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ 2023-02-03T14:46:37,706 1066 | if (neW == NULL) return(0); Cudd_Ref(neW); 2023-02-03T14:46:37,706 | ^~~~~~~~ 2023-02-03T14:46:37,727 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c: In function ‘ntrImage’: 2023-02-03T14:46:37,728 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:1932:6: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-02-03T14:46:37,728 1932 | if (abs == NULL) return(NULL); Cudd_Ref(abs); 2023-02-03T14:46:37,728 | ^~ 2023-02-03T14:46:37,729 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:1932:37: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ 2023-02-03T14:46:37,729 1932 | if (abs == NULL) return(NULL); Cudd_Ref(abs); 2023-02-03T14:46:37,730 | ^~~~~~~~ 2023-02-03T14:46:37,731 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:1938:3: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-02-03T14:46:37,731 1938 | if (positive == NULL) return(NULL); Cudd_Ref(positive); 2023-02-03T14:46:37,731 | ^~ 2023-02-03T14:46:37,732 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:1938:39: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ 2023-02-03T14:46:37,732 1938 | if (positive == NULL) return(NULL); Cudd_Ref(positive); 2023-02-03T14:46:37,732 | ^~~~~~~~ 2023-02-03T14:46:37,733 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:1940:3: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-02-03T14:46:37,733 1940 | if (absabs == NULL) return(NULL); Cudd_Ref(absabs); 2023-02-03T14:46:37,733 | ^~ 2023-02-03T14:46:37,734 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:1940:37: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ 2023-02-03T14:46:37,734 1940 | if (absabs == NULL) return(NULL); Cudd_Ref(absabs); 2023-02-03T14:46:37,734 | ^~~~~~~~ 2023-02-03T14:46:37,735 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:1943:3: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-02-03T14:46:37,735 1943 | if (phi == NULL) return(NULL); Cudd_Ref(phi); 2023-02-03T14:46:37,735 | ^~ 2023-02-03T14:46:37,736 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:1943:34: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ 2023-02-03T14:46:37,736 1943 | if (phi == NULL) return(NULL); Cudd_Ref(phi); 2023-02-03T14:46:37,736 | ^~~~~~~~ 2023-02-03T14:46:37,737 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:1947:3: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-02-03T14:46:37,737 1947 | if (exnor == NULL) return(NULL); Cudd_Ref(exnor); 2023-02-03T14:46:37,737 | ^~ 2023-02-03T14:46:37,738 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:1947:36: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ 2023-02-03T14:46:37,738 1947 | if (exnor == NULL) return(NULL); Cudd_Ref(exnor); 2023-02-03T14:46:37,738 | ^~~~~~~~ 2023-02-03T14:46:37,740 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:1954:3: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-02-03T14:46:37,740 1954 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); 2023-02-03T14:46:37,740 | ^~ 2023-02-03T14:46:37,741 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:1954:34: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ 2023-02-03T14:46:37,741 1954 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); 2023-02-03T14:46:37,741 | ^~~~~~~~ 2023-02-03T14:46:37,743 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:1979:6: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-02-03T14:46:37,744 1979 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); 2023-02-03T14:46:37,744 | ^~ 2023-02-03T14:46:37,744 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:1979:37: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ 2023-02-03T14:46:37,745 1979 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); 2023-02-03T14:46:37,745 | ^~~~~~~~ 2023-02-03T14:46:37,752 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c: In function ‘ntrLatchDependencies’: 2023-02-03T14:46:37,753 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:2266:6: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-02-03T14:46:37,753 2266 | if (positive == NULL) return(-1); Cudd_Ref(positive); 2023-02-03T14:46:37,753 | ^~ 2023-02-03T14:46:37,755 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:2266:40: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ 2023-02-03T14:46:37,755 2266 | if (positive == NULL) return(-1); Cudd_Ref(positive); 2023-02-03T14:46:37,755 | ^~~~~~~~ 2023-02-03T14:46:37,756 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:2268:6: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-02-03T14:46:37,756 2268 | if (abs == NULL) return(-1); Cudd_Ref(abs); 2023-02-03T14:46:37,756 | ^~ 2023-02-03T14:46:37,757 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:2268:35: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ 2023-02-03T14:46:37,757 2268 | if (abs == NULL) return(-1); Cudd_Ref(abs); 2023-02-03T14:46:37,757 | ^~~~~~~~ 2023-02-03T14:46:37,758 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:2270:6: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-02-03T14:46:37,758 2270 | if (phi == NULL) return(-1); Cudd_Ref(phi); 2023-02-03T14:46:37,759 | ^~ 2023-02-03T14:46:37,759 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:2270:35: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ 2023-02-03T14:46:37,760 2270 | if (phi == NULL) return(-1); Cudd_Ref(phi); 2023-02-03T14:46:37,760 | ^~~~~~~~ 2023-02-03T14:46:37,763 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:2313:6: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-02-03T14:46:37,763 2313 | if (abs == NULL) return(-1); Cudd_Ref(abs); 2023-02-03T14:46:37,763 | ^~ 2023-02-03T14:46:37,764 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:2313:35: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ 2023-02-03T14:46:37,764 2313 | if (abs == NULL) return(-1); Cudd_Ref(abs); 2023-02-03T14:46:37,765 | ^~~~~~~~ 2023-02-03T14:46:37,766 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c: In function ‘ntrEliminateDependencies’: 2023-02-03T14:46:37,768 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:2433:6: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-02-03T14:46:37,768 2433 | if (abs == NULL) return(NULL); Cudd_Ref(abs); 2023-02-03T14:46:37,768 | ^~ 2023-02-03T14:46:37,769 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:2433:37: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ 2023-02-03T14:46:37,769 2433 | if (abs == NULL) return(NULL); Cudd_Ref(abs); 2023-02-03T14:46:37,769 | ^~~~~~~~ 2023-02-03T14:46:37,770 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:2435:6: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-02-03T14:46:37,770 2435 | if (positive == NULL) return(NULL); Cudd_Ref(positive); 2023-02-03T14:46:37,771 | ^~ 2023-02-03T14:46:37,772 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:2435:42: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ 2023-02-03T14:46:37,772 2435 | if (positive == NULL) return(NULL); Cudd_Ref(positive); 2023-02-03T14:46:37,772 | ^~~~~~~~ 2023-02-03T14:46:37,773 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:2437:6: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-02-03T14:46:37,773 2437 | if (phi == NULL) return(NULL); Cudd_Ref(phi); 2023-02-03T14:46:37,773 | ^~ 2023-02-03T14:46:37,774 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:2437:37: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ 2023-02-03T14:46:37,775 2437 | if (phi == NULL) return(NULL); Cudd_Ref(phi); 2023-02-03T14:46:37,775 | ^~~~~~~~ 2023-02-03T14:46:37,776 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:2449:7: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-02-03T14:46:37,776 2449 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); 2023-02-03T14:46:37,776 | ^~ 2023-02-03T14:46:37,777 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:2449:38: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ 2023-02-03T14:46:37,777 2449 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); 2023-02-03T14:46:37,778 | ^~~~~~~~ 2023-02-03T14:46:37,780 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c: In function ‘ntrUpdateQuantificationSchedule’: 2023-02-03T14:46:37,781 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:2550:6: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-02-03T14:46:37,781 2550 | if (xnor == NULL) return(0); Cudd_Ref(xnor); 2023-02-03T14:46:37,781 | ^~ 2023-02-03T14:46:37,782 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:2550:35: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ 2023-02-03T14:46:37,782 2550 | if (xnor == NULL) return(0); Cudd_Ref(xnor); 2023-02-03T14:46:37,783 | ^~~~~~~~ 2023-02-03T14:46:37,784 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:2552:6: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-02-03T14:46:37,784 2552 | if (tmp == NULL) return(0); Cudd_Ref(tmp); 2023-02-03T14:46:37,784 | ^~ 2023-02-03T14:46:37,785 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:2552:34: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ 2023-02-03T14:46:37,785 2552 | if (tmp == NULL) return(0); Cudd_Ref(tmp); 2023-02-03T14:46:37,785 | ^~~~~~~~ 2023-02-03T14:46:37,789 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:2607:2: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-02-03T14:46:37,790 2607 | if (support == NULL) return(0); Cudd_Ref(support); 2023-02-03T14:46:37,790 | ^~ 2023-02-03T14:46:37,791 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:2607:34: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ 2023-02-03T14:46:37,791 2607 | if (support == NULL) return(0); Cudd_Ref(support); 2023-02-03T14:46:37,791 | ^~~~~~~~ 2023-02-03T14:46:37,796 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:2751:6: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-02-03T14:46:37,797 2751 | if (tmp == NULL) return(0); Cudd_Ref(tmp); 2023-02-03T14:46:37,797 | ^~ 2023-02-03T14:46:37,798 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:2751:34: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ 2023-02-03T14:46:37,798 2751 | if (tmp == NULL) return(0); Cudd_Ref(tmp); 2023-02-03T14:46:37,798 | ^~~~~~~~ 2023-02-03T14:46:37,799 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:2756:6: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-02-03T14:46:37,800 2756 | if (tmp == NULL) return(0); Cudd_Ref(tmp); 2023-02-03T14:46:37,800 | ^~ 2023-02-03T14:46:37,801 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:2756:34: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ 2023-02-03T14:46:37,801 2756 | if (tmp == NULL) return(0); Cudd_Ref(tmp); 2023-02-03T14:46:37,801 | ^~~~~~~~ 2023-02-03T14:46:37,803 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:2766:2: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-02-03T14:46:37,803 2766 | if (tmp == NULL) return(0); Cudd_Ref(tmp); 2023-02-03T14:46:37,803 | ^~ 2023-02-03T14:46:37,804 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntr.c:2766:30: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ 2023-02-03T14:46:37,804 2766 | if (tmp == NULL) return(0); Cudd_Ref(tmp); 2023-02-03T14:46:37,805 | ^~~~~~~~ 2023-02-03T14:46:40,258 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntrBddTest.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntrBddTest.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:40,281 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:42,044 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntrHeap.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntrHeap.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:42,066 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:42,343 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntrMflow.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntrMflow.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:42,365 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:44,953 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntrShort.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntrShort.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:44,975 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:45,602 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntrZddTest.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ntrZddTest.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:45,624 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:46,129 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/pathsearch.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/pathsearch.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:46,152 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:46,332 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/pipefork.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/pipefork.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:46,354 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:46,487 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/prtime.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/prtime.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:46,509 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:46,649 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/safe_mem.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/safe_mem.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:46,671 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:46,831 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/st.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/st.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:46,853 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:47,665 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/strsav.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/strsav.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:47,687 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:47,827 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/texpand.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/texpand.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:47,849 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:47,981 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ucbqsort.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/ucbqsort.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:48,004 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-02-03T14:46:48,278 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2/re2/compile.cc -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2/re2/compile.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:46:53,955 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2/re2/parse.cc -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2/re2/parse.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:47:00,618 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2/re2/perl_groups.cc -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2/re2/perl_groups.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:47:00,729 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2/re2/prog.cc -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2/re2/prog.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:47:07,652 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2/re2/re2.cc -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2/re2/re2.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:47:11,019 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2/re2/regexp.cc -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2/re2/regexp.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:47:16,445 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2/re2/simplify.cc -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2/re2/simplify.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:47:20,599 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2/re2/stringpiece.cc -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2/re2/stringpiece.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:47:22,565 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2/re2/tostring.cc -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2/re2/tostring.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:47:26,010 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2/re2/unicode_casefold.cc -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2/re2/unicode_casefold.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:47:26,114 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2/re2/unicode_groups.cc -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2/re2/unicode_groups.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:47:26,464 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2/util/rune.cc -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2/util/rune.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:47:26,640 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2/util/strutil.cc -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2/util/strutil.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:47:28,380 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/src/explicit_lts_sim.cc -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/src/explicit_lts_sim.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:47:40,037 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -fPIC -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/re2 -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/simlib/include -I/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/src/afa/afa.cc -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/src/afa/afa.o -std=c++17 -DNO_THROW_DISPATCHER 2023-02-03T14:47:42,678 In file included from /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include/mata/afa.hh:32, 2023-02-03T14:47:42,678 from /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/src/afa/afa.cc:25: 2023-02-03T14:47:42,678 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include/mata/nfa.hh: In member function ‘size_t Mata::Nfa::Nfa::size() const’: 2023-02-03T14:47:42,679 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include/mata/nfa.hh:480:110: error: no matching function for call to ‘max()’ 2023-02-03T14:47:42,679 480 | return std::max({m_num_of_states, delta.num_of_states(), initial.domain_size(), final.domain_size() }); 2023-02-03T14:47:42,679 | ^ 2023-02-03T14:47:42,679 In file included from /usr/include/c++/10/algorithm:61, 2023-02-03T14:47:42,679 from /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/src/afa/afa.cc:18: 2023-02-03T14:47:42,679 /usr/include/c++/10/bits/stl_algobase.h:254:5: note: candidate: ‘template constexpr const _Tp& std::max(const _Tp&, const _Tp&)’ 2023-02-03T14:47:42,680 254 | max(const _Tp& __a, const _Tp& __b) 2023-02-03T14:47:42,680 | ^~~ 2023-02-03T14:47:42,680 /usr/include/c++/10/bits/stl_algobase.h:254:5: note: template argument deduction/substitution failed: 2023-02-03T14:47:42,680 In file included from /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include/mata/afa.hh:32, 2023-02-03T14:47:42,680 from /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/src/afa/afa.cc:25: 2023-02-03T14:47:42,680 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include/mata/nfa.hh:480:110: note: candidate expects 2 arguments, 1 provided 2023-02-03T14:47:42,680 480 | return std::max({m_num_of_states, delta.num_of_states(), initial.domain_size(), final.domain_size() }); 2023-02-03T14:47:42,680 | ^ 2023-02-03T14:47:42,681 In file included from /usr/include/c++/10/algorithm:61, 2023-02-03T14:47:42,681 from /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/src/afa/afa.cc:18: 2023-02-03T14:47:42,681 /usr/include/c++/10/bits/stl_algobase.h:300:5: note: candidate: ‘template constexpr const _Tp& std::max(const _Tp&, const _Tp&, _Compare)’ 2023-02-03T14:47:42,681 300 | max(const _Tp& __a, const _Tp& __b, _Compare __comp) 2023-02-03T14:47:42,681 | ^~~ 2023-02-03T14:47:42,681 /usr/include/c++/10/bits/stl_algobase.h:300:5: note: template argument deduction/substitution failed: 2023-02-03T14:47:42,681 In file included from /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include/mata/afa.hh:32, 2023-02-03T14:47:42,682 from /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/src/afa/afa.cc:25: 2023-02-03T14:47:42,682 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include/mata/nfa.hh:480:110: note: candidate expects 3 arguments, 1 provided 2023-02-03T14:47:42,682 480 | return std::max({m_num_of_states, delta.num_of_states(), initial.domain_size(), final.domain_size() }); 2023-02-03T14:47:42,682 | ^ 2023-02-03T14:47:42,682 In file included from /usr/include/c++/10/algorithm:62, 2023-02-03T14:47:42,682 from /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/src/afa/afa.cc:18: 2023-02-03T14:47:42,683 /usr/include/c++/10/bits/stl_algo.h:3480:5: note: candidate: ‘template constexpr _Tp std::max(std::initializer_list<_Tp>)’ 2023-02-03T14:47:42,683 3480 | max(initializer_list<_Tp> __l) 2023-02-03T14:47:42,683 | ^~~ 2023-02-03T14:47:42,683 /usr/include/c++/10/bits/stl_algo.h:3480:5: note: template argument deduction/substitution failed: 2023-02-03T14:47:42,683 In file included from /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include/mata/afa.hh:32, 2023-02-03T14:47:42,683 from /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/src/afa/afa.cc:25: 2023-02-03T14:47:42,683 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include/mata/nfa.hh:480:110: note: deduced conflicting types for parameter ‘_Tp’ (‘unsigned int’ and ‘long unsigned int’) 2023-02-03T14:47:42,684 480 | return std::max({m_num_of_states, delta.num_of_states(), initial.domain_size(), final.domain_size() }); 2023-02-03T14:47:42,684 | ^ 2023-02-03T14:47:42,684 In file included from /usr/include/c++/10/algorithm:62, 2023-02-03T14:47:42,684 from /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/src/afa/afa.cc:18: 2023-02-03T14:47:42,684 /usr/include/c++/10/bits/stl_algo.h:3486:5: note: candidate: ‘template constexpr _Tp std::max(std::initializer_list<_Tp>, _Compare)’ 2023-02-03T14:47:42,684 3486 | max(initializer_list<_Tp> __l, _Compare __comp) 2023-02-03T14:47:42,685 | ^~~ 2023-02-03T14:47:42,685 /usr/include/c++/10/bits/stl_algo.h:3486:5: note: template argument deduction/substitution failed: 2023-02-03T14:47:42,685 In file included from /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include/mata/afa.hh:32, 2023-02-03T14:47:42,685 from /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/src/afa/afa.cc:25: 2023-02-03T14:47:42,685 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include/mata/nfa.hh:480:110: note: deduced conflicting types for parameter ‘_Tp’ (‘unsigned int’ and ‘long unsigned int’) 2023-02-03T14:47:42,685 480 | return std::max({m_num_of_states, delta.num_of_states(), initial.domain_size(), final.domain_size() }); 2023-02-03T14:47:42,685 | ^ 2023-02-03T14:47:42,838 In file included from /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/src/afa/afa.cc:25: 2023-02-03T14:47:42,839 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include/mata/afa.hh: In member function ‘bool Mata::Afa::Afa::trans_empty() const’: 2023-02-03T14:47:42,839 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include/mata/afa.hh:254:28: warning: value computed is not used [-Wunused-value] 2023-02-03T14:47:42,839 254 | bool trans_empty() const {!transitionrelation.size();};// no transitions 2023-02-03T14:47:42,839 | ^~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-02-03T14:47:42,839 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include/mata/afa.hh:254:55: warning: no return statement in function returning non-void [-Wreturn-type] 2023-02-03T14:47:42,839 254 | bool trans_empty() const {!transitionrelation.size();};// no transitions 2023-02-03T14:47:42,840 | ^ 2023-02-03T14:47:42,920 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/src/afa/afa.cc: In function ‘bool Mata::Afa::are_state_disjoint(const Mata::Afa::Afa&, const Mata::Afa::Afa&)’: 2023-02-03T14:47:42,920 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/src/afa/afa.cc:581:1: warning: no return statement in function returning non-void [-Wreturn-type] 2023-02-03T14:47:42,920 581 | } // are_disjoint }}} 2023-02-03T14:47:42,920 | ^ 2023-02-03T14:47:42,921 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/src/afa/afa.cc: In function ‘Mata::Afa::Afa Mata::Afa::union_rename(const Mata::Afa::Afa&, const Mata::Afa::Afa&)’: 2023-02-03T14:47:42,921 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/src/afa/afa.cc:608:1: warning: no return statement in function returning non-void [-Wreturn-type] 2023-02-03T14:47:42,921 608 | } // union_rename }}} 2023-02-03T14:47:42,921 | ^ 2023-02-03T14:47:42,921 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/src/afa/afa.cc: In function ‘bool Mata::Afa::is_lang_empty(const Mata::Afa::Afa&, Mata::Afa::Path*)’: 2023-02-03T14:47:42,921 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/src/afa/afa.cc:618:1: warning: no return statement in function returning non-void [-Wreturn-type] 2023-02-03T14:47:42,921 618 | } // is_lang_empty }}} 2023-02-03T14:47:42,922 | ^ 2023-02-03T14:47:42,922 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/src/afa/afa.cc: In function ‘bool Mata::Afa::is_lang_empty_cex(const Mata::Afa::Afa&, Mata::Afa::Word*)’: 2023-02-03T14:47:42,922 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/src/afa/afa.cc:630:1: warning: no return statement in function returning non-void [-Wreturn-type] 2023-02-03T14:47:42,922 630 | } // is_lang_empty_cex }}} 2023-02-03T14:47:42,922 | ^ 2023-02-03T14:47:43,088 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/src/afa/afa.cc: In function ‘Mata::Afa::Afa Mata::Afa::construct(const Mata::Parser::ParsedSection&, Mata::Alphabet*, Mata::Afa::StringToStateMap*)’: 2023-02-03T14:47:43,089 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/src/afa/afa.cc:963:9: warning: unused variable ‘src_state’ [-Wunused-variable] 2023-02-03T14:47:43,089 963 | State src_state = get_state_name(body_line[0]); 2023-02-03T14:47:43,089 | ^~~~~~~~~ 2023-02-03T14:47:43,115 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/src/afa/afa.cc: In function ‘bool Mata::Afa::is_in_lang(const Mata::Afa::Afa&, const Word&)’: 2023-02-03T14:47:43,115 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/src/afa/afa.cc:1137:1: warning: no return statement in function returning non-void [-Wreturn-type] 2023-02-03T14:47:43,116 1137 | } // is_in_lang }}} 2023-02-03T14:47:43,116 | ^ 2023-02-03T14:47:43,116 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/src/afa/afa.cc: In function ‘bool Mata::Afa::is_prfx_in_lang(const Mata::Afa::Afa&, const Word&)’: 2023-02-03T14:47:43,116 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/src/afa/afa.cc:1147:1: warning: no return statement in function returning non-void [-Wreturn-type] 2023-02-03T14:47:43,116 1147 | } // is_prfx_in_lang }}} 2023-02-03T14:47:43,116 | ^ 2023-02-03T14:47:43,117 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/src/afa/afa.cc: In function ‘bool Mata::Afa::is_deterministic(const Mata::Afa::Afa&)’: 2023-02-03T14:47:43,117 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/src/afa/afa.cc:1156:1: warning: no return statement in function returning non-void [-Wreturn-type] 2023-02-03T14:47:43,117 1156 | } // is_deterministic }}} 2023-02-03T14:47:43,117 | ^ 2023-02-03T14:47:43,117 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/src/afa/afa.cc: In function ‘bool Mata::Afa::is_complete(const Mata::Afa::Afa&, const Mata::Alphabet&)’: 2023-02-03T14:47:43,117 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/src/afa/afa.cc:1166:1: warning: no return statement in function returning non-void [-Wreturn-type] 2023-02-03T14:47:43,117 1166 | } // is_complete }}} 2023-02-03T14:47:43,118 | ^ 2023-02-03T14:47:43,259 In file included from /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include/mata/afa.hh:36, 2023-02-03T14:47:43,260 from /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/src/afa/afa.cc:25: 2023-02-03T14:47:43,260 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include/mata/closed-set.hh: In instantiation of ‘Mata::ClosedSet Mata::ClosedSet::complement() const [with T = long unsigned int]’: 2023-02-03T14:47:43,260 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include/mata/afa.hh:289:60: required from here 2023-02-03T14:47:43,260 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include/mata/closed-set.hh:464:21: warning: comparison of integer expressions of different signedness: ‘int’ and ‘const long unsigned int’ [-Wsign-compare] 2023-02-03T14:47:43,260 464 | for(int i = 0; i <= max_val_; ++i) 2023-02-03T14:47:43,260 | ~~^~~~~~~~~~~ 2023-02-03T14:47:43,261 /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec/mata/include/mata/closed-set.hh:471:31: warning: comparison of integer expressions of different signedness: ‘int’ and ‘const long unsigned int’ [-Wsign-compare] 2023-02-03T14:47:43,261 471 | for(int j = 0; j <= max_val_; ++j) 2023-02-03T14:47:43,261 | ~~^~~~~~~~~~~ 2023-02-03T14:47:44,494 error: command '/usr/bin/arm-linux-gnueabihf-gcc' failed with exit code 1 2023-02-03T14:47:44,623 ERROR: [present-rich] Building wheel for libmata (pyproject.toml) exited with 1 2023-02-03T14:47:44,641 [bold magenta]full command[/]: [blue]/usr/bin/python3 /usr/local/lib/python3.9/dist-packages/pip/_vendor/pep517/in_process/_in_process.py build_wheel /tmp/tmpidjrx164[/] 2023-02-03T14:47:44,641 [bold magenta]cwd[/]: /tmp/pip-wheel-_4gdvhk9/libmata_58c6f054165846cba13a7171784a79ec 2023-02-03T14:47:44,641 Building wheel for libmata (pyproject.toml): finished with status 'error' 2023-02-03T14:47:44,644 ERROR: Failed building wheel for libmata 2023-02-03T14:47:44,646 Failed to build libmata 2023-02-03T14:47:44,647 ERROR: Failed to build one or more wheels 2023-02-03T14:47:44,648 Exception information: 2023-02-03T14:47:44,648 Traceback (most recent call last): 2023-02-03T14:47:44,648 File "/usr/local/lib/python3.9/dist-packages/pip/_internal/cli/base_command.py", line 160, in exc_logging_wrapper 2023-02-03T14:47:44,648 status = run_func(*args) 2023-02-03T14:47:44,648 File "/usr/local/lib/python3.9/dist-packages/pip/_internal/cli/req_command.py", line 247, in wrapper 2023-02-03T14:47:44,648 return func(self, options, args) 2023-02-03T14:47:44,648 File "/usr/local/lib/python3.9/dist-packages/pip/_internal/commands/wheel.py", line 201, in run 2023-02-03T14:47:44,648 raise CommandError("Failed to build one or more wheels") 2023-02-03T14:47:44,648 pip._internal.exceptions.CommandError: Failed to build one or more wheels 2023-02-03T14:47:44,653 Removed build tracker: '/tmp/pip-build-tracker-oac6wgf5'