2023-01-30T11:52:23,824 Created temporary directory: /tmp/pip-ephem-wheel-cache-tdx7b2at 2023-01-30T11:52:23,827 Created temporary directory: /tmp/pip-build-tracker-igzts308 2023-01-30T11:52:23,827 Initialized build tracking at /tmp/pip-build-tracker-igzts308 2023-01-30T11:52:23,827 Created build tracker: /tmp/pip-build-tracker-igzts308 2023-01-30T11:52:23,827 Entered build tracker: /tmp/pip-build-tracker-igzts308 2023-01-30T11:52:23,828 Created temporary directory: /tmp/pip-wheel-0pcw_c83 2023-01-30T11:52:23,831 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-01-30T11:52:23,834 Created temporary directory: /tmp/pip-ephem-wheel-cache-07wkodn4 2023-01-30T11:52:23,861 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-01-30T11:52:23,864 2 location(s) to search for versions of libmata: 2023-01-30T11:52:23,864 * https://pypi.org/simple/libmata/ 2023-01-30T11:52:23,864 * https://www.piwheels.org/simple/libmata/ 2023-01-30T11:52:23,865 Fetching project page and analyzing links: https://pypi.org/simple/libmata/ 2023-01-30T11:52:23,865 Getting page https://pypi.org/simple/libmata/ 2023-01-30T11:52:23,867 Found index url https://pypi.org/simple 2023-01-30T11:52:23,919 Fetched page https://pypi.org/simple/libmata/ as application/vnd.pypi.simple.v1+json 2023-01-30T11:52:23,924 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-01-30T11:52:23,925 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-01-30T11:52:23,925 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-01-30T11:52:23,925 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-01-30T11:52:23,926 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-01-30T11:52:23,926 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-01-30T11:52:23,926 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-01-30T11:52:23,927 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-01-30T11:52:23,927 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-01-30T11:52:23,927 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-01-30T11:52:23,927 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-01-30T11:52:23,928 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-01-30T11:52:23,928 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-01-30T11:52:23,928 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-01-30T11:52:23,928 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-01-30T11:52:23,929 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-01-30T11:52:23,929 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-01-30T11:52:23,929 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-01-30T11:52:23,929 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-01-30T11:52:23,930 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-01-30T11:52:23,930 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-01-30T11:52:23,930 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-01-30T11:52:23,930 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-01-30T11:52:23,931 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-01-30T11:52:23,931 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-01-30T11:52:23,931 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-01-30T11:52:23,931 Fetching project page and analyzing links: https://www.piwheels.org/simple/libmata/ 2023-01-30T11:52:23,932 Getting page https://www.piwheels.org/simple/libmata/ 2023-01-30T11:52:23,933 Found index url https://www.piwheels.org/simple 2023-01-30T11:52:24,097 Fetched page https://www.piwheels.org/simple/libmata/ as text/html 2023-01-30T11:52:24,099 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-01-30T11:52:24,099 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-01-30T11:52:24,100 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-01-30T11:52:24,100 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-01-30T11:52:24,100 Skipping link: not a file: https://www.piwheels.org/simple/libmata/ 2023-01-30T11:52:24,100 Skipping link: not a file: https://pypi.org/simple/libmata/ 2023-01-30T11:52:24,120 Given no hashes to check 1 links for project 'libmata': discarding no candidates 2023-01-30T11:52:24,137 Collecting libmata==0.33.0 2023-01-30T11:52:24,139 Created temporary directory: /tmp/pip-unpack-wh9zvmq_ 2023-01-30T11:52:24,197 Downloading libmata-0.33.0.tar.gz (2.2 MB) 2023-01-30T11:52:25,775 Added libmata==0.33.0 from https://files.pythonhosted.org/packages/51/ee/67c18825caf41d095a64ebe43b3ff7c1ed27e90a3b1fe7b00f945d2386a9/libmata-0.33.0.tar.gz to build tracker '/tmp/pip-build-tracker-igzts308' 2023-01-30T11:52:25,779 Created temporary directory: /tmp/pip-build-env-czqghply 2023-01-30T11:52:25,787 Installing build dependencies: started 2023-01-30T11:52:25,788 Running command pip subprocess to install build dependencies 2023-01-30T11:52:27,022 Using pip 22.3 from /usr/local/lib/python3.9/dist-packages/pip (python 3.9) 2023-01-30T11:52:27,454 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-01-30T11:52:27,478 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-01-30T11:52:29,137 Collecting setuptools 2023-01-30T11:52:29,243 Using cached https://www.piwheels.org/simple/setuptools/setuptools-67.0.0-py3-none-any.whl (1.1 MB) 2023-01-30T11:52:29,509 Collecting wheel 2023-01-30T11:52:29,527 Using cached https://www.piwheels.org/simple/wheel/wheel-0.38.4-py3-none-any.whl (36 kB) 2023-01-30T11:52:30,866 Collecting Cython>=0.29.32 2023-01-30T11:52:31,329 Using cached https://www.piwheels.org/simple/cython/Cython-0.29.33-cp39-cp39-linux_armv7l.whl (5.0 MB) 2023-01-30T11:52:33,908 Installing collected packages: wheel, setuptools, Cython 2023-01-30T11:52:34,137 Creating /tmp/pip-build-env-czqghply/overlay/bin 2023-01-30T11:52:34,139 changing mode of /tmp/pip-build-env-czqghply/overlay/bin/wheel to 755 2023-01-30T11:52:39,507 changing mode of /tmp/pip-build-env-czqghply/overlay/bin/cygdb to 755 2023-01-30T11:52:39,510 changing mode of /tmp/pip-build-env-czqghply/overlay/bin/cython to 755 2023-01-30T11:52:39,512 changing mode of /tmp/pip-build-env-czqghply/overlay/bin/cythonize to 755 2023-01-30T11:52:39,537 Successfully installed Cython-0.29.33 setuptools-67.0.0 wheel-0.38.4 2023-01-30T11:52:39,554 [notice] A new release of pip available: 22.3 -> 22.3.1 2023-01-30T11:52:39,554 [notice] To update, run: python3 -m pip install --upgrade pip 2023-01-30T11:52:39,878 Installing build dependencies: finished with status 'done' 2023-01-30T11:52:39,887 Getting requirements to build wheel: started 2023-01-30T11:52:39,888 Running command Getting requirements to build wheel 2023-01-30T11:52:41,438 /tmp/pip-build-env-czqghply/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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/libmata.pxd 2023-01-30T11:52:41,439 tree = Parsing.p_module(s, pxd, full_module_name) 2023-01-30T11:52:45,179 Compiling libmata.pyx because it depends on /tmp/pip-build-env-czqghply/overlay/lib/python3.9/site-packages/Cython/Includes/libcpp/vector.pxd. 2023-01-30T11:52:45,179 [1/1] Cythonizing libmata.pyx 2023-01-30T11:52:45,243 running egg_info 2023-01-30T11:52:45,244 creating libmata.egg-info 2023-01-30T11:52:45,249 writing libmata.egg-info/PKG-INFO 2023-01-30T11:52:45,252 writing dependency_links to libmata.egg-info/dependency_links.txt 2023-01-30T11:52:45,254 writing requirements to libmata.egg-info/requires.txt 2023-01-30T11:52:45,255 writing top-level names to libmata.egg-info/top_level.txt 2023-01-30T11:52:45,257 writing manifest file 'libmata.egg-info/SOURCES.txt' 2023-01-30T11:52:45,275 reading manifest file 'libmata.egg-info/SOURCES.txt' 2023-01-30T11:52:45,284 writing manifest file 'libmata.egg-info/SOURCES.txt' 2023-01-30T11:52:45,843 Getting requirements to build wheel: finished with status 'done' 2023-01-30T11:52:45,853 Created temporary directory: /tmp/pip-modern-metadata-uw9tm6e9 2023-01-30T11:52:45,857 Preparing metadata (pyproject.toml): started 2023-01-30T11:52:45,858 Running command Preparing metadata (pyproject.toml) 2023-01-30T11:52:47,231 running dist_info 2023-01-30T11:52:47,251 creating /tmp/pip-modern-metadata-uw9tm6e9/libmata.egg-info 2023-01-30T11:52:47,255 writing /tmp/pip-modern-metadata-uw9tm6e9/libmata.egg-info/PKG-INFO 2023-01-30T11:52:47,258 writing dependency_links to /tmp/pip-modern-metadata-uw9tm6e9/libmata.egg-info/dependency_links.txt 2023-01-30T11:52:47,261 writing requirements to /tmp/pip-modern-metadata-uw9tm6e9/libmata.egg-info/requires.txt 2023-01-30T11:52:47,262 writing top-level names to /tmp/pip-modern-metadata-uw9tm6e9/libmata.egg-info/top_level.txt 2023-01-30T11:52:47,264 writing manifest file '/tmp/pip-modern-metadata-uw9tm6e9/libmata.egg-info/SOURCES.txt' 2023-01-30T11:52:47,301 reading manifest file '/tmp/pip-modern-metadata-uw9tm6e9/libmata.egg-info/SOURCES.txt' 2023-01-30T11:52:47,310 writing manifest file '/tmp/pip-modern-metadata-uw9tm6e9/libmata.egg-info/SOURCES.txt' 2023-01-30T11:52:47,312 creating '/tmp/pip-modern-metadata-uw9tm6e9/libmata-0.33.0.dist-info' 2023-01-30T11:52:47,513 Preparing metadata (pyproject.toml): finished with status 'done' 2023-01-30T11:52:47,521 Source in /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512 has version 0.33.0, which satisfies requirement libmata==0.33.0 from https://files.pythonhosted.org/packages/51/ee/67c18825caf41d095a64ebe43b3ff7c1ed27e90a3b1fe7b00f945d2386a9/libmata-0.33.0.tar.gz 2023-01-30T11:52:47,522 Removed libmata==0.33.0 from https://files.pythonhosted.org/packages/51/ee/67c18825caf41d095a64ebe43b3ff7c1ed27e90a3b1fe7b00f945d2386a9/libmata-0.33.0.tar.gz from build tracker '/tmp/pip-build-tracker-igzts308' 2023-01-30T11:52:47,527 Created temporary directory: /tmp/pip-unpack-beowzrnn 2023-01-30T11:52:47,528 Building wheels for collected packages: libmata 2023-01-30T11:52:47,532 Created temporary directory: /tmp/pip-wheel-z_xk2j6e 2023-01-30T11:52:47,533 Destination directory: /tmp/pip-wheel-z_xk2j6e 2023-01-30T11:52:47,535 Building wheel for libmata (pyproject.toml): started 2023-01-30T11:52:47,536 Running command Building wheel for libmata (pyproject.toml) 2023-01-30T11:52:48,922 running bdist_wheel 2023-01-30T11:52:48,946 running build 2023-01-30T11:52:48,947 running build_ext 2023-01-30T11:52:48,952 building 'libmata' extension 2023-01-30T11:52:48,955 creating build 2023-01-30T11:52:48,956 creating build/temp.linux-armv7l-cpython-39 2023-01-30T11:52:48,957 creating build/temp.linux-armv7l-cpython-39/tmp 2023-01-30T11:52:48,958 creating build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83 2023-01-30T11:52:48,959 creating build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512 2023-01-30T11:52:48,960 creating build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata 2023-01-30T11:52:48,961 creating build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty 2023-01-30T11:52:48,962 creating build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min 2023-01-30T11:52:48,967 creating build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 2023-01-30T11:52:48,968 creating build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2/re2 2023-01-30T11:52:48,969 creating build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2/util 2023-01-30T11:52:48,970 creating build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib 2023-01-30T11:52:48,971 creating build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/src 2023-01-30T11:52:48,972 creating build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/src 2023-01-30T11:52:48,973 creating build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/src/afa 2023-01-30T11:52:48,974 creating build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/src/nfa 2023-01-30T11:52:48,975 creating build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/src/rra 2023-01-30T11:52:48,976 creating build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/src/strings 2023-01-30T11:52:48,977 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/bnet.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/bnet.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:52:49,003 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:52:51,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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/chkMterm.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/chkMterm.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:52:51,127 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:52:51,354 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cpu_stats.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cpu_stats.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:52:51,378 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:52:51,406 In file included from /usr/include/assert.h:35, 2023-01-30T11:52:51,406 from /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/util.h:70, 2023-01-30T11:52:51,406 from /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cpu_stats.c:66: 2023-01-30T11:52:51,406 /usr/include/features.h:187:3: warning: #warning "_BSD_SOURCE and _SVID_SOURCE are deprecated, use _DEFAULT_SOURCE" [-Wcpp] 2023-01-30T11:52:51,406 187 | # warning "_BSD_SOURCE and _SVID_SOURCE are deprecated, use _DEFAULT_SOURCE" 2023-01-30T11:52:51,406 | ^~~~~~~ 2023-01-30T11:52:51,577 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cpu_time.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cpu_time.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:52:51,607 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:52:51,793 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cstringstream.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cstringstream.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:52:51,816 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:52:51,981 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cstringstream.c: In function ‘appendStringStringStream’: 2023-01-30T11:52:51,981 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/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-01-30T11:52:51,981 143 | strncpy(ss->data + ss->inUse - len, s, len); 2023-01-30T11:52:51,981 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-01-30T11:52:51,982 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cstringstream.c:140:16: note: length computed here 2023-01-30T11:52:51,982 140 | size_t len = strlen(s); 2023-01-30T11:52:51,982 | ^~~~~~~~~ 2023-01-30T11:52:52,086 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddAPI.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddAPI.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:52:52,108 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:52:53,895 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddAddAbs.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddAddAbs.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:52:53,917 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:52:54,401 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddAddApply.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddAddApply.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:52:54,424 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:52:54,940 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddAddFind.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddAddFind.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:52:54,963 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:52:55,299 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddAddInv.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddAddInv.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:52:55,322 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:52:55,606 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddAddIte.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddAddIte.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:52:55,629 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:52:56,106 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddAddNeg.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddAddNeg.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:52:56,129 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:52:56,422 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddAddWalsh.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddAddWalsh.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:52:56,447 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:52:56,888 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddAndAbs.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddAndAbs.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:52:56,911 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:52:57,260 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddAnneal.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddAnneal.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:52:57,283 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:52:57,856 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddApa.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddApa.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:52:57,879 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:52:58,613 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddApprox.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddApprox.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:52:58,636 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:52:59,978 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddBddAbs.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddBddAbs.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:00,001 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:00,572 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddBddCorr.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddBddCorr.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:00,595 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:00,944 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddBddIte.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddBddIte.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:00,966 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:01,863 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddBridge.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddBridge.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:01,885 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:02,623 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddCache.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddCache.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:02,646 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:03,196 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddCheck.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddCheck.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:03,218 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:03,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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddClip.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddClip.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:04,012 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:04,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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddCof.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddCof.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:04,494 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:04,895 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddCompose.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddCompose.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:04,918 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:05,986 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddDecomp.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddDecomp.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:06,009 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:07,296 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddEssent.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddEssent.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:07,319 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:08,516 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddExact.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddExact.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:08,538 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:09,387 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddExport.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddExport.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:09,410 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:10,633 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddGenCof.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddGenCof.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:10,656 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:12,086 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddGenetic.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddGenetic.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:12,108 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:12,838 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddGroup.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddGroup.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:12,861 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:14,215 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddHarwell.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddHarwell.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:14,239 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:14,885 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddInit.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddInit.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:14,908 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:15,196 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddInteract.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddInteract.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:15,218 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:15,651 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddLCache.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddLCache.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:15,674 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:16,499 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddLevelQ.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddLevelQ.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:16,522 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:16,885 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddLinear.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddLinear.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:16,908 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:17,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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddLiteral.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddLiteral.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:17,854 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:18,151 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddMatMult.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddMatMult.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:18,174 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:18,793 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddObj.cc -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddObj.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:31,083 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddPriority.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddPriority.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:31,107 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:32,553 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddRead.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddRead.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:32,577 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:33,136 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddRef.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddRef.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:33,160 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:33,644 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddReorder.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddReorder.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:33,667 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:34,980 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddSat.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddSat.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:35,003 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:36,035 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddSign.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddSign.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:36,059 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:36,402 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddSolve.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddSolve.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:36,425 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:36,749 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddSplit.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddSplit.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:36,772 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:37,328 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddSubsetHB.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddSubsetHB.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:37,351 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:38,363 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddSubsetSP.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddSubsetSP.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:38,386 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:39,373 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddSymmetry.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddSymmetry.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:39,395 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:40,774 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddTable.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddTable.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:40,796 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:43,058 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddUtil.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddUtil.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:43,082 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:43,275 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddUtil.c: In function ‘cuddNodeArray’: 2023-01-30T11:53:43,277 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddUtil.c:3060:15: warning: variable ‘retval’ set but not used [-Wunused-but-set-variable] 2023-01-30T11:53:43,277 3060 | int size, retval; 2023-01-30T11:53:43,277 | ^~~~~~ 2023-01-30T11:53:45,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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddWindow.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddWindow.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:45,977 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:46,660 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddZddCount.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddZddCount.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:46,683 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:46,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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddZddFuncs.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddZddFuncs.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:46,976 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:47,976 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddZddGroup.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddZddGroup.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:47,998 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:48,754 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddZddIsop.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddZddIsop.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:48,777 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:49,388 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddZddLin.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddZddLin.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:49,411 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:50,132 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddZddMisc.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddZddMisc.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:50,154 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:50,423 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddZddPort.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddZddPort.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:50,445 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:50,818 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddZddReord.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddZddReord.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:50,840 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:51,785 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddZddSetop.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddZddSetop.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:51,807 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:52,513 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddZddSymm.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddZddSymm.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:52,536 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:53,845 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddZddUtil.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/cuddZddUtil.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:53,868 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:54,883 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/datalimit.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/datalimit.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:54,907 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:55,002 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/dddmpBinary.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/dddmpBinary.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:55,024 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:55,339 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/dddmpConvert.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/dddmpConvert.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:55,362 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:55,612 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/dddmpDbg.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/dddmpDbg.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:55,635 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:55,923 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/dddmpLoad.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/dddmpLoad.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:55,946 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:57,331 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/dddmpLoadCnf.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/dddmpLoadCnf.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:57,353 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:58,216 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/dddmpNodeAdd.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/dddmpNodeAdd.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:58,240 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:58,559 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/dddmpNodeBdd.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/dddmpNodeBdd.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:58,582 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:58,907 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/dddmpNodeCnf.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/dddmpNodeCnf.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:58,931 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:53:59,416 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/dddmpStoreAdd.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/dddmpStoreAdd.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:53:59,441 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:54:00,320 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/dddmpStoreBdd.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/dddmpStoreBdd.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:54:00,348 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:54:01,287 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/dddmpStoreCnf.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/dddmpStoreCnf.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:54:01,310 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:54:02,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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/dddmpStoreMisc.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/dddmpStoreMisc.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:54:02,586 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:54:03,489 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/dddmpUtil.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/dddmpUtil.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:54:03,512 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:54:03,870 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/epd.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/epd.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:54:03,893 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:54:04,662 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/main.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/main.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:54:04,685 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:54:06,242 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/mtrBasic.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/mtrBasic.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:54:06,265 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:54:06,606 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/mtrGroup.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/mtrGroup.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:54:06,629 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:54:07,092 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:54:07,118 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:54:07,302 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.c: In function ‘Ntr_buildTR’: 2023-01-30T11:54:07,303 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.c:394:2: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-01-30T11:54:07,303 394 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); 2023-01-30T11:54:07,303 | ^~ 2023-01-30T11:54:07,303 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/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-01-30T11:54:07,303 394 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); 2023-01-30T11:54:07,303 | ^~~~~~~~ 2023-01-30T11:54:07,304 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.c:445:2: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-01-30T11:54:07,304 445 | if (tmp == NULL) goto endgame; Cudd_Ref(tmp); 2023-01-30T11:54:07,304 | ^~ 2023-01-30T11:54:07,304 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/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-01-30T11:54:07,304 445 | if (tmp == NULL) goto endgame; Cudd_Ref(tmp); 2023-01-30T11:54:07,304 | ^~~~~~~~ 2023-01-30T11:54:07,305 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.c:470:6: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-01-30T11:54:07,305 470 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); 2023-01-30T11:54:07,305 | ^~ 2023-01-30T11:54:07,305 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/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-01-30T11:54:07,305 470 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); 2023-01-30T11:54:07,306 | ^~~~~~~~ 2023-01-30T11:54:07,306 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.c:475:6: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-01-30T11:54:07,306 475 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); 2023-01-30T11:54:07,306 | ^~ 2023-01-30T11:54:07,306 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/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-01-30T11:54:07,306 475 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); 2023-01-30T11:54:07,306 | ^~~~~~~~ 2023-01-30T11:54:07,307 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.c:498:3: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-01-30T11:54:07,307 498 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); 2023-01-30T11:54:07,307 | ^~ 2023-01-30T11:54:07,307 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/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-01-30T11:54:07,307 498 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); 2023-01-30T11:54:07,307 | ^~~~~~~~ 2023-01-30T11:54:07,307 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.c:503:3: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-01-30T11:54:07,308 503 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); 2023-01-30T11:54:07,308 | ^~ 2023-01-30T11:54:07,308 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/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-01-30T11:54:07,308 503 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); 2023-01-30T11:54:07,308 | ^~~~~~~~ 2023-01-30T11:54:07,318 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.c: In function ‘Ntr_SCC’: 2023-01-30T11:54:07,318 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.c:1007:6: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-01-30T11:54:07,318 1007 | if (tmp == NULL) return(0); Cudd_Ref(tmp); 2023-01-30T11:54:07,319 | ^~ 2023-01-30T11:54:07,319 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/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-01-30T11:54:07,319 1007 | if (tmp == NULL) return(0); Cudd_Ref(tmp); 2023-01-30T11:54:07,319 | ^~~~~~~~ 2023-01-30T11:54:07,319 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.c:1010:6: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-01-30T11:54:07,320 1010 | if (neW == NULL) return(0); Cudd_Ref(neW); 2023-01-30T11:54:07,320 | ^~ 2023-01-30T11:54:07,320 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/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-01-30T11:54:07,320 1010 | if (neW == NULL) return(0); Cudd_Ref(neW); 2023-01-30T11:54:07,320 | ^~~~~~~~ 2023-01-30T11:54:07,321 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.c:1063:6: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-01-30T11:54:07,322 1063 | if (tmp == NULL) return(0); Cudd_Ref(tmp); 2023-01-30T11:54:07,322 | ^~ 2023-01-30T11:54:07,322 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/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-01-30T11:54:07,322 1063 | if (tmp == NULL) return(0); Cudd_Ref(tmp); 2023-01-30T11:54:07,322 | ^~~~~~~~ 2023-01-30T11:54:07,323 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.c:1066:6: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-01-30T11:54:07,323 1066 | if (neW == NULL) return(0); Cudd_Ref(neW); 2023-01-30T11:54:07,323 | ^~ 2023-01-30T11:54:07,323 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/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-01-30T11:54:07,323 1066 | if (neW == NULL) return(0); Cudd_Ref(neW); 2023-01-30T11:54:07,323 | ^~~~~~~~ 2023-01-30T11:54:07,344 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.c: In function ‘ntrImage’: 2023-01-30T11:54:07,345 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.c:1932:6: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-01-30T11:54:07,345 1932 | if (abs == NULL) return(NULL); Cudd_Ref(abs); 2023-01-30T11:54:07,346 | ^~ 2023-01-30T11:54:07,346 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/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-01-30T11:54:07,346 1932 | if (abs == NULL) return(NULL); Cudd_Ref(abs); 2023-01-30T11:54:07,347 | ^~~~~~~~ 2023-01-30T11:54:07,348 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.c:1938:3: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-01-30T11:54:07,348 1938 | if (positive == NULL) return(NULL); Cudd_Ref(positive); 2023-01-30T11:54:07,348 | ^~ 2023-01-30T11:54:07,349 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/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-01-30T11:54:07,349 1938 | if (positive == NULL) return(NULL); Cudd_Ref(positive); 2023-01-30T11:54:07,349 | ^~~~~~~~ 2023-01-30T11:54:07,350 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.c:1940:3: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-01-30T11:54:07,350 1940 | if (absabs == NULL) return(NULL); Cudd_Ref(absabs); 2023-01-30T11:54:07,350 | ^~ 2023-01-30T11:54:07,351 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/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-01-30T11:54:07,351 1940 | if (absabs == NULL) return(NULL); Cudd_Ref(absabs); 2023-01-30T11:54:07,351 | ^~~~~~~~ 2023-01-30T11:54:07,352 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.c:1943:3: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-01-30T11:54:07,352 1943 | if (phi == NULL) return(NULL); Cudd_Ref(phi); 2023-01-30T11:54:07,352 | ^~ 2023-01-30T11:54:07,353 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/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-01-30T11:54:07,353 1943 | if (phi == NULL) return(NULL); Cudd_Ref(phi); 2023-01-30T11:54:07,353 | ^~~~~~~~ 2023-01-30T11:54:07,354 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.c:1947:3: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-01-30T11:54:07,354 1947 | if (exnor == NULL) return(NULL); Cudd_Ref(exnor); 2023-01-30T11:54:07,354 | ^~ 2023-01-30T11:54:07,355 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/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-01-30T11:54:07,355 1947 | if (exnor == NULL) return(NULL); Cudd_Ref(exnor); 2023-01-30T11:54:07,355 | ^~~~~~~~ 2023-01-30T11:54:07,357 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.c:1954:3: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-01-30T11:54:07,357 1954 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); 2023-01-30T11:54:07,357 | ^~ 2023-01-30T11:54:07,358 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/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-01-30T11:54:07,358 1954 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); 2023-01-30T11:54:07,358 | ^~~~~~~~ 2023-01-30T11:54:07,360 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.c:1979:6: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-01-30T11:54:07,360 1979 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); 2023-01-30T11:54:07,361 | ^~ 2023-01-30T11:54:07,361 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/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-01-30T11:54:07,362 1979 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); 2023-01-30T11:54:07,362 | ^~~~~~~~ 2023-01-30T11:54:07,369 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.c: In function ‘ntrLatchDependencies’: 2023-01-30T11:54:07,370 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.c:2266:6: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-01-30T11:54:07,370 2266 | if (positive == NULL) return(-1); Cudd_Ref(positive); 2023-01-30T11:54:07,370 | ^~ 2023-01-30T11:54:07,371 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/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-01-30T11:54:07,371 2266 | if (positive == NULL) return(-1); Cudd_Ref(positive); 2023-01-30T11:54:07,372 | ^~~~~~~~ 2023-01-30T11:54:07,373 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.c:2268:6: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-01-30T11:54:07,373 2268 | if (abs == NULL) return(-1); Cudd_Ref(abs); 2023-01-30T11:54:07,373 | ^~ 2023-01-30T11:54:07,374 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/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-01-30T11:54:07,374 2268 | if (abs == NULL) return(-1); Cudd_Ref(abs); 2023-01-30T11:54:07,374 | ^~~~~~~~ 2023-01-30T11:54:07,375 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.c:2270:6: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-01-30T11:54:07,375 2270 | if (phi == NULL) return(-1); Cudd_Ref(phi); 2023-01-30T11:54:07,375 | ^~ 2023-01-30T11:54:07,376 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/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-01-30T11:54:07,377 2270 | if (phi == NULL) return(-1); Cudd_Ref(phi); 2023-01-30T11:54:07,377 | ^~~~~~~~ 2023-01-30T11:54:07,380 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.c:2313:6: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-01-30T11:54:07,380 2313 | if (abs == NULL) return(-1); Cudd_Ref(abs); 2023-01-30T11:54:07,380 | ^~ 2023-01-30T11:54:07,381 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/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-01-30T11:54:07,381 2313 | if (abs == NULL) return(-1); Cudd_Ref(abs); 2023-01-30T11:54:07,381 | ^~~~~~~~ 2023-01-30T11:54:07,383 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.c: In function ‘ntrEliminateDependencies’: 2023-01-30T11:54:07,384 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.c:2433:6: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-01-30T11:54:07,385 2433 | if (abs == NULL) return(NULL); Cudd_Ref(abs); 2023-01-30T11:54:07,385 | ^~ 2023-01-30T11:54:07,386 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/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-01-30T11:54:07,386 2433 | if (abs == NULL) return(NULL); Cudd_Ref(abs); 2023-01-30T11:54:07,386 | ^~~~~~~~ 2023-01-30T11:54:07,387 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.c:2435:6: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-01-30T11:54:07,387 2435 | if (positive == NULL) return(NULL); Cudd_Ref(positive); 2023-01-30T11:54:07,387 | ^~ 2023-01-30T11:54:07,388 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/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-01-30T11:54:07,389 2435 | if (positive == NULL) return(NULL); Cudd_Ref(positive); 2023-01-30T11:54:07,389 | ^~~~~~~~ 2023-01-30T11:54:07,390 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.c:2437:6: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-01-30T11:54:07,390 2437 | if (phi == NULL) return(NULL); Cudd_Ref(phi); 2023-01-30T11:54:07,390 | ^~ 2023-01-30T11:54:07,391 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/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-01-30T11:54:07,391 2437 | if (phi == NULL) return(NULL); Cudd_Ref(phi); 2023-01-30T11:54:07,391 | ^~~~~~~~ 2023-01-30T11:54:07,393 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.c:2449:7: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-01-30T11:54:07,393 2449 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); 2023-01-30T11:54:07,393 | ^~ 2023-01-30T11:54:07,394 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/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-01-30T11:54:07,394 2449 | if (tmp == NULL) return(NULL); Cudd_Ref(tmp); 2023-01-30T11:54:07,394 | ^~~~~~~~ 2023-01-30T11:54:07,396 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.c: In function ‘ntrUpdateQuantificationSchedule’: 2023-01-30T11:54:07,398 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.c:2550:6: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-01-30T11:54:07,398 2550 | if (xnor == NULL) return(0); Cudd_Ref(xnor); 2023-01-30T11:54:07,398 | ^~ 2023-01-30T11:54:07,399 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/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-01-30T11:54:07,399 2550 | if (xnor == NULL) return(0); Cudd_Ref(xnor); 2023-01-30T11:54:07,399 | ^~~~~~~~ 2023-01-30T11:54:07,401 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.c:2552:6: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-01-30T11:54:07,401 2552 | if (tmp == NULL) return(0); Cudd_Ref(tmp); 2023-01-30T11:54:07,401 | ^~ 2023-01-30T11:54:07,402 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/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-01-30T11:54:07,402 2552 | if (tmp == NULL) return(0); Cudd_Ref(tmp); 2023-01-30T11:54:07,402 | ^~~~~~~~ 2023-01-30T11:54:07,406 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.c:2607:2: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-01-30T11:54:07,406 2607 | if (support == NULL) return(0); Cudd_Ref(support); 2023-01-30T11:54:07,406 | ^~ 2023-01-30T11:54:07,408 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/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-01-30T11:54:07,408 2607 | if (support == NULL) return(0); Cudd_Ref(support); 2023-01-30T11:54:07,408 | ^~~~~~~~ 2023-01-30T11:54:07,413 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.c:2751:6: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-01-30T11:54:07,413 2751 | if (tmp == NULL) return(0); Cudd_Ref(tmp); 2023-01-30T11:54:07,413 | ^~ 2023-01-30T11:54:07,414 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/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-01-30T11:54:07,415 2751 | if (tmp == NULL) return(0); Cudd_Ref(tmp); 2023-01-30T11:54:07,415 | ^~~~~~~~ 2023-01-30T11:54:07,416 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.c:2756:6: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-01-30T11:54:07,416 2756 | if (tmp == NULL) return(0); Cudd_Ref(tmp); 2023-01-30T11:54:07,416 | ^~ 2023-01-30T11:54:07,418 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/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-01-30T11:54:07,418 2756 | if (tmp == NULL) return(0); Cudd_Ref(tmp); 2023-01-30T11:54:07,418 | ^~~~~~~~ 2023-01-30T11:54:07,419 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntr.c:2766:2: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] 2023-01-30T11:54:07,419 2766 | if (tmp == NULL) return(0); Cudd_Ref(tmp); 2023-01-30T11:54:07,420 | ^~ 2023-01-30T11:54:07,421 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/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-01-30T11:54:07,421 2766 | if (tmp == NULL) return(0); Cudd_Ref(tmp); 2023-01-30T11:54:07,421 | ^~~~~~~~ 2023-01-30T11:54:09,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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntrBddTest.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntrBddTest.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:54:09,897 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:54:11,620 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntrHeap.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntrHeap.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:54:11,643 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:54:11,922 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntrMflow.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntrMflow.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:54:11,945 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:54:14,543 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntrShort.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntrShort.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:54:14,566 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:54:15,188 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntrZddTest.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ntrZddTest.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:54:15,210 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:54:15,716 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/pathsearch.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/pathsearch.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:54:15,739 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:54:15,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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/pipefork.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/pipefork.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:54:15,942 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:54:16,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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/prtime.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/prtime.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:54:16,098 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:54:16,241 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/safe_mem.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/safe_mem.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:54:16,264 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:54:16,423 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/st.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/st.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:54:16,446 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:54:17,264 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/strsav.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/strsav.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:54:17,287 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:54:17,427 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/texpand.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/texpand.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:54:17,450 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:54:17,587 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ucbqsort.c -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/ucbqsort.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:54:17,610 cc1: warning: command-line option ‘-std=c++17’ is valid for C++/ObjC++ but not for C 2023-01-30T11:54:17,884 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2/re2/compile.cc -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2/re2/compile.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:54:23,582 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2/re2/parse.cc -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2/re2/parse.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:54:30,239 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2/re2/perl_groups.cc -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2/re2/perl_groups.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:54:30,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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2/re2/prog.cc -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2/re2/prog.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:54:37,284 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2/re2/re2.cc -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2/re2/re2.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:54:40,669 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2/re2/regexp.cc -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2/re2/regexp.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:54:46,091 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2/re2/simplify.cc -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2/re2/simplify.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:54:50,277 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2/re2/stringpiece.cc -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2/re2/stringpiece.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:54:52,220 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2/re2/tostring.cc -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2/re2/tostring.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:54:55,660 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2/re2/unicode_casefold.cc -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2/re2/unicode_casefold.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:54:55,768 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2/re2/unicode_groups.cc -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2/re2/unicode_groups.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:54:56,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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2/util/rune.cc -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2/util/rune.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:54:56,254 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2/util/strutil.cc -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2/util/strutil.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:54:58,035 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/src/explicit_lts_sim.cc -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/src/explicit_lts_sim.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:55:09,695 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-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/re2 -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/simlib/include -I/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/3rdparty/cudd-min/include -I/usr/include/python3.9 -c /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/src/afa/afa.cc -o build/temp.linux-armv7l-cpython-39/tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/src/afa/afa.o -std=c++17 -DNO_THROW_DISPATCHER 2023-01-30T11:55:12,350 In file included from /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include/mata/afa.hh:32, 2023-01-30T11:55:12,350 from /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/src/afa/afa.cc:25: 2023-01-30T11:55:12,350 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include/mata/nfa.hh: In member function ‘size_t Mata::Nfa::Nfa::size() const’: 2023-01-30T11:55:12,351 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include/mata/nfa.hh:480:110: error: no matching function for call to ‘max()’ 2023-01-30T11:55:12,351 480 | return std::max({m_num_of_states, delta.num_of_states(), initial.domain_size(), final.domain_size() }); 2023-01-30T11:55:12,351 | ^ 2023-01-30T11:55:12,351 In file included from /usr/include/c++/10/algorithm:61, 2023-01-30T11:55:12,351 from /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/src/afa/afa.cc:18: 2023-01-30T11:55:12,351 /usr/include/c++/10/bits/stl_algobase.h:254:5: note: candidate: ‘template constexpr const _Tp& std::max(const _Tp&, const _Tp&)’ 2023-01-30T11:55:12,352 254 | max(const _Tp& __a, const _Tp& __b) 2023-01-30T11:55:12,352 | ^~~ 2023-01-30T11:55:12,352 /usr/include/c++/10/bits/stl_algobase.h:254:5: note: template argument deduction/substitution failed: 2023-01-30T11:55:12,352 In file included from /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include/mata/afa.hh:32, 2023-01-30T11:55:12,352 from /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/src/afa/afa.cc:25: 2023-01-30T11:55:12,352 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include/mata/nfa.hh:480:110: note: candidate expects 2 arguments, 1 provided 2023-01-30T11:55:12,352 480 | return std::max({m_num_of_states, delta.num_of_states(), initial.domain_size(), final.domain_size() }); 2023-01-30T11:55:12,352 | ^ 2023-01-30T11:55:12,352 In file included from /usr/include/c++/10/algorithm:61, 2023-01-30T11:55:12,353 from /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/src/afa/afa.cc:18: 2023-01-30T11:55:12,353 /usr/include/c++/10/bits/stl_algobase.h:300:5: note: candidate: ‘template constexpr const _Tp& std::max(const _Tp&, const _Tp&, _Compare)’ 2023-01-30T11:55:12,353 300 | max(const _Tp& __a, const _Tp& __b, _Compare __comp) 2023-01-30T11:55:12,353 | ^~~ 2023-01-30T11:55:12,353 /usr/include/c++/10/bits/stl_algobase.h:300:5: note: template argument deduction/substitution failed: 2023-01-30T11:55:12,353 In file included from /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include/mata/afa.hh:32, 2023-01-30T11:55:12,353 from /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/src/afa/afa.cc:25: 2023-01-30T11:55:12,354 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include/mata/nfa.hh:480:110: note: candidate expects 3 arguments, 1 provided 2023-01-30T11:55:12,354 480 | return std::max({m_num_of_states, delta.num_of_states(), initial.domain_size(), final.domain_size() }); 2023-01-30T11:55:12,354 | ^ 2023-01-30T11:55:12,354 In file included from /usr/include/c++/10/algorithm:62, 2023-01-30T11:55:12,354 from /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/src/afa/afa.cc:18: 2023-01-30T11:55:12,354 /usr/include/c++/10/bits/stl_algo.h:3480:5: note: candidate: ‘template constexpr _Tp std::max(std::initializer_list<_Tp>)’ 2023-01-30T11:55:12,355 3480 | max(initializer_list<_Tp> __l) 2023-01-30T11:55:12,355 | ^~~ 2023-01-30T11:55:12,355 /usr/include/c++/10/bits/stl_algo.h:3480:5: note: template argument deduction/substitution failed: 2023-01-30T11:55:12,355 In file included from /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include/mata/afa.hh:32, 2023-01-30T11:55:12,355 from /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/src/afa/afa.cc:25: 2023-01-30T11:55:12,355 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include/mata/nfa.hh:480:110: note: deduced conflicting types for parameter ‘_Tp’ (‘unsigned int’ and ‘long unsigned int’) 2023-01-30T11:55:12,356 480 | return std::max({m_num_of_states, delta.num_of_states(), initial.domain_size(), final.domain_size() }); 2023-01-30T11:55:12,356 | ^ 2023-01-30T11:55:12,356 In file included from /usr/include/c++/10/algorithm:62, 2023-01-30T11:55:12,356 from /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/src/afa/afa.cc:18: 2023-01-30T11:55:12,356 /usr/include/c++/10/bits/stl_algo.h:3486:5: note: candidate: ‘template constexpr _Tp std::max(std::initializer_list<_Tp>, _Compare)’ 2023-01-30T11:55:12,356 3486 | max(initializer_list<_Tp> __l, _Compare __comp) 2023-01-30T11:55:12,356 | ^~~ 2023-01-30T11:55:12,357 /usr/include/c++/10/bits/stl_algo.h:3486:5: note: template argument deduction/substitution failed: 2023-01-30T11:55:12,357 In file included from /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include/mata/afa.hh:32, 2023-01-30T11:55:12,357 from /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/src/afa/afa.cc:25: 2023-01-30T11:55:12,357 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include/mata/nfa.hh:480:110: note: deduced conflicting types for parameter ‘_Tp’ (‘unsigned int’ and ‘long unsigned int’) 2023-01-30T11:55:12,357 480 | return std::max({m_num_of_states, delta.num_of_states(), initial.domain_size(), final.domain_size() }); 2023-01-30T11:55:12,357 | ^ 2023-01-30T11:55:12,549 In file included from /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/src/afa/afa.cc:25: 2023-01-30T11:55:12,549 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include/mata/afa.hh: In member function ‘bool Mata::Afa::Afa::trans_empty() const’: 2023-01-30T11:55:12,550 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include/mata/afa.hh:254:28: warning: value computed is not used [-Wunused-value] 2023-01-30T11:55:12,550 254 | bool trans_empty() const {!transitionrelation.size();};// no transitions 2023-01-30T11:55:12,550 | ^~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-01-30T11:55:12,550 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include/mata/afa.hh:254:55: warning: no return statement in function returning non-void [-Wreturn-type] 2023-01-30T11:55:12,550 254 | bool trans_empty() const {!transitionrelation.size();};// no transitions 2023-01-30T11:55:12,550 | ^ 2023-01-30T11:55:12,631 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/src/afa/afa.cc: In function ‘bool Mata::Afa::are_state_disjoint(const Mata::Afa::Afa&, const Mata::Afa::Afa&)’: 2023-01-30T11:55:12,631 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/src/afa/afa.cc:581:1: warning: no return statement in function returning non-void [-Wreturn-type] 2023-01-30T11:55:12,631 581 | } // are_disjoint }}} 2023-01-30T11:55:12,631 | ^ 2023-01-30T11:55:12,632 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/src/afa/afa.cc: In function ‘Mata::Afa::Afa Mata::Afa::union_rename(const Mata::Afa::Afa&, const Mata::Afa::Afa&)’: 2023-01-30T11:55:12,632 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/src/afa/afa.cc:608:1: warning: no return statement in function returning non-void [-Wreturn-type] 2023-01-30T11:55:12,632 608 | } // union_rename }}} 2023-01-30T11:55:12,632 | ^ 2023-01-30T11:55:12,632 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/src/afa/afa.cc: In function ‘bool Mata::Afa::is_lang_empty(const Mata::Afa::Afa&, Mata::Afa::Path*)’: 2023-01-30T11:55:12,632 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/src/afa/afa.cc:618:1: warning: no return statement in function returning non-void [-Wreturn-type] 2023-01-30T11:55:12,633 618 | } // is_lang_empty }}} 2023-01-30T11:55:12,633 | ^ 2023-01-30T11:55:12,633 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/src/afa/afa.cc: In function ‘bool Mata::Afa::is_lang_empty_cex(const Mata::Afa::Afa&, Mata::Afa::Word*)’: 2023-01-30T11:55:12,633 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/src/afa/afa.cc:630:1: warning: no return statement in function returning non-void [-Wreturn-type] 2023-01-30T11:55:12,633 630 | } // is_lang_empty_cex }}} 2023-01-30T11:55:12,633 | ^ 2023-01-30T11:55:12,800 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/src/afa/afa.cc: In function ‘Mata::Afa::Afa Mata::Afa::construct(const Mata::Parser::ParsedSection&, Mata::Alphabet*, Mata::Afa::StringToStateMap*)’: 2023-01-30T11:55:12,800 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/src/afa/afa.cc:963:9: warning: unused variable ‘src_state’ [-Wunused-variable] 2023-01-30T11:55:12,801 963 | State src_state = get_state_name(body_line[0]); 2023-01-30T11:55:12,801 | ^~~~~~~~~ 2023-01-30T11:55:12,827 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/src/afa/afa.cc: In function ‘bool Mata::Afa::is_in_lang(const Mata::Afa::Afa&, const Word&)’: 2023-01-30T11:55:12,827 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/src/afa/afa.cc:1137:1: warning: no return statement in function returning non-void [-Wreturn-type] 2023-01-30T11:55:12,827 1137 | } // is_in_lang }}} 2023-01-30T11:55:12,827 | ^ 2023-01-30T11:55:12,828 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/src/afa/afa.cc: In function ‘bool Mata::Afa::is_prfx_in_lang(const Mata::Afa::Afa&, const Word&)’: 2023-01-30T11:55:12,828 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/src/afa/afa.cc:1147:1: warning: no return statement in function returning non-void [-Wreturn-type] 2023-01-30T11:55:12,828 1147 | } // is_prfx_in_lang }}} 2023-01-30T11:55:12,828 | ^ 2023-01-30T11:55:12,828 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/src/afa/afa.cc: In function ‘bool Mata::Afa::is_deterministic(const Mata::Afa::Afa&)’: 2023-01-30T11:55:12,828 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/src/afa/afa.cc:1156:1: warning: no return statement in function returning non-void [-Wreturn-type] 2023-01-30T11:55:12,828 1156 | } // is_deterministic }}} 2023-01-30T11:55:12,829 | ^ 2023-01-30T11:55:12,829 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/src/afa/afa.cc: In function ‘bool Mata::Afa::is_complete(const Mata::Afa::Afa&, const Mata::Alphabet&)’: 2023-01-30T11:55:12,829 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/src/afa/afa.cc:1166:1: warning: no return statement in function returning non-void [-Wreturn-type] 2023-01-30T11:55:12,829 1166 | } // is_complete }}} 2023-01-30T11:55:12,829 | ^ 2023-01-30T11:55:12,970 In file included from /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include/mata/afa.hh:36, 2023-01-30T11:55:12,970 from /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/src/afa/afa.cc:25: 2023-01-30T11:55:12,970 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include/mata/closed-set.hh: In instantiation of ‘Mata::ClosedSet Mata::ClosedSet::complement() const [with T = long unsigned int]’: 2023-01-30T11:55:12,970 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/mata/include/mata/afa.hh:289:60: required from here 2023-01-30T11:55:12,970 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/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-01-30T11:55:12,971 464 | for(int i = 0; i <= max_val_; ++i) 2023-01-30T11:55:12,971 | ~~^~~~~~~~~~~ 2023-01-30T11:55:12,971 /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512/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-01-30T11:55:12,971 471 | for(int j = 0; j <= max_val_; ++j) 2023-01-30T11:55:12,971 | ~~^~~~~~~~~~~ 2023-01-30T11:55:14,186 error: command '/usr/bin/arm-linux-gnueabihf-gcc' failed with exit code 1 2023-01-30T11:55:14,323 ERROR: [present-rich] Building wheel for libmata (pyproject.toml) exited with 1 2023-01-30T11:55:14,341 [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/tmpmcfu8foa[/] 2023-01-30T11:55:14,342 [bold magenta]cwd[/]: /tmp/pip-wheel-0pcw_c83/libmata_94ca58d2d40c4389b3480c33680bf512 2023-01-30T11:55:14,342 Building wheel for libmata (pyproject.toml): finished with status 'error' 2023-01-30T11:55:14,344 ERROR: Failed building wheel for libmata 2023-01-30T11:55:14,347 Failed to build libmata 2023-01-30T11:55:14,348 ERROR: Failed to build one or more wheels 2023-01-30T11:55:14,349 Exception information: 2023-01-30T11:55:14,349 Traceback (most recent call last): 2023-01-30T11:55:14,349 File "/usr/local/lib/python3.9/dist-packages/pip/_internal/cli/base_command.py", line 160, in exc_logging_wrapper 2023-01-30T11:55:14,349 status = run_func(*args) 2023-01-30T11:55:14,349 File "/usr/local/lib/python3.9/dist-packages/pip/_internal/cli/req_command.py", line 247, in wrapper 2023-01-30T11:55:14,349 return func(self, options, args) 2023-01-30T11:55:14,349 File "/usr/local/lib/python3.9/dist-packages/pip/_internal/commands/wheel.py", line 201, in run 2023-01-30T11:55:14,349 raise CommandError("Failed to build one or more wheels") 2023-01-30T11:55:14,349 pip._internal.exceptions.CommandError: Failed to build one or more wheels 2023-01-30T11:55:14,353 Removed build tracker: '/tmp/pip-build-tracker-igzts308'