2021-07-12T17:16:35,682 Created temporary directory: /tmp/pip-ephem-wheel-cache-d4i1vsaw 2021-07-12T17:16:35,685 Created temporary directory: /tmp/pip-req-tracker-w8e0sm2r 2021-07-12T17:16:35,685 Initialized build tracking at /tmp/pip-req-tracker-w8e0sm2r 2021-07-12T17:16:35,686 Created build tracker: /tmp/pip-req-tracker-w8e0sm2r 2021-07-12T17:16:35,686 Entered build tracker: /tmp/pip-req-tracker-w8e0sm2r 2021-07-12T17:16:35,686 Created temporary directory: /tmp/pip-wheel-be0y0ump 2021-07-12T17:16:35,717 1 location(s) to search for versions of pycryptosat: 2021-07-12T17:16:35,717 * https://pypi.org/simple/pycryptosat/ 2021-07-12T17:16:35,718 Fetching project page and analyzing links: https://pypi.org/simple/pycryptosat/ 2021-07-12T17:16:35,719 Getting page https://pypi.org/simple/pycryptosat/ 2021-07-12T17:16:35,720 Found index url https://pypi.org/simple 2021-07-12T17:16:35,823 Found link https://files.pythonhosted.org/packages/7a/b1/b9acf78cb43777e5492f7ee3c98da1169160be9ea719c5ab9f2668d3ff03/pycryptosat-0.1.2.tar.gz#sha256=7ede0badf25f1e52eb6db8dcde360b138395ad26497d44a62ce02cb19ca7574f (from https://pypi.org/simple/pycryptosat/), version: 0.1.2 2021-07-12T17:16:35,823 Found link https://files.pythonhosted.org/packages/41/d8/12296be268fbe7896f5c207af622b53545c36f854ccfe91d5fe7a6d9e105/pycryptosat-0.1.3.tar.gz#sha256=1a832b41f068407faa1b46fb4ca0c74065765abdb4b976f531870e58e51dbe00 (from https://pypi.org/simple/pycryptosat/), version: 0.1.3 2021-07-12T17:16:35,824 Found link https://files.pythonhosted.org/packages/28/1a/4012efa6207d1fca05e0b462b583920ce9a16088dcced52c22bfb98bb530/pycryptosat-0.1.4.tar.gz#sha256=8d66005f7ca5021e78cbf2c23d406e6c913719d52da8308d3f8ed863ea7267e4 (from https://pypi.org/simple/pycryptosat/), version: 0.1.4 2021-07-12T17:16:35,844 Skipping link: none of the wheel's tags (cp27-cp27mu-manylinux2010_x86_64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/83/d5/def4f157cb81e25c7ba689442522d4987118a2b392ccf36bd14fceac326e/pycryptosat-0.6.1-cp27-cp27mu-manylinux2010_x86_64.whl#sha256=5ab1ff5f8ce92c8de0b3762a1854e9aa24c616000c9c22158403760c51bd3cd8 (from https://pypi.org/simple/pycryptosat/) 2021-07-12T17:16:35,844 Skipping link: none of the wheel's tags (cp36-cp36m-manylinux2010_x86_64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/56/3d/419594403efaf1ba01c188e19ba4bead13bf800b3b31883611d9b28ec636/pycryptosat-0.6.1-cp36-cp36m-manylinux2010_x86_64.whl#sha256=02bd61b024a1b6829dd8032ebc464350153181eecbe09a3171695b52aed20af9 (from https://pypi.org/simple/pycryptosat/) 2021-07-12T17:16:35,845 Found link https://files.pythonhosted.org/packages/7a/e1/b85c5f20db50f3495c778220d8587c54be11e8e52328cb5440d5e1b89b33/pycryptosat-0.6.1.tar.gz#sha256=fde24d733e90b108eb751e1a94c92b18836ccc80d0c882e33cc9755888ff5705 (from https://pypi.org/simple/pycryptosat/), version: 0.6.1 2021-07-12T17:16:35,846 Skipping link: none of the wheel's tags (cp27-cp27m-win_amd64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/9c/7e/5a971863c3f44f02bbfc7854fecaa9c98d76438807ae6058523beb902eca/pycryptosat-0.7.0.dev3-cp27-cp27m-win_amd64.whl#sha256=2c00a49fc12fff42e189f497343d621e898d2b96f1e65c3883b164c0ddc3a280 (from https://pypi.org/simple/pycryptosat/) 2021-07-12T17:16:35,846 Skipping link: none of the wheel's tags (cp27-cp27mu-manylinux2010_x86_64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/1b/0f/18aca37caed4236036e7d6cad31b9021427c5f611e75fa5ce3cd40267494/pycryptosat-0.7.0.dev3-cp27-cp27mu-manylinux2010_x86_64.whl#sha256=b0bead36263efbecbfe51b54523ab3f03391c66af069d4ba0cf770ceaa6ab18d (from https://pypi.org/simple/pycryptosat/) 2021-07-12T17:16:35,847 Skipping link: none of the wheel's tags (cp37-cp37m-win_amd64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/3c/bf/8826fa6b88c4a7b189c969da16df003b448fe424d1f49d9a6f806c1e43d7/pycryptosat-0.7.0.dev3-cp37-cp37m-win_amd64.whl#sha256=1603dc550fcd3836f1f0e5e826a949d2240e2edbb1f47dcd6e4e7b0703b84bf5 (from https://pypi.org/simple/pycryptosat/) 2021-07-12T17:16:35,847 Found link https://files.pythonhosted.org/packages/98/4a/e8827b6c7c0592e3b3cff7ea3a9b9dfa2be656353bae3ff0628a5f6c3dd6/pycryptosat-0.7.0.dev3.tar.gz#sha256=b53bbf34216f2c7336bcb436938417f5dafd634386d08a3454baf077fe6c6e78 (from https://pypi.org/simple/pycryptosat/), version: 0.7.0.dev3 2021-07-12T17:16:35,848 Skipping link: not a file: https://pypi.org/simple/pycryptosat/ 2021-07-12T17:16:35,849 Given no hashes to check 1 links for project 'pycryptosat': discarding no candidates 2021-07-12T17:16:35,871 Collecting pycryptosat==0.1.4 2021-07-12T17:16:35,872 Created temporary directory: /tmp/pip-unpack-oee75fh0 2021-07-12T17:16:36,068 Downloading pycryptosat-0.1.4.tar.gz (297 kB) 2021-07-12T17:16:36,584 Added pycryptosat==0.1.4 from https://files.pythonhosted.org/packages/28/1a/4012efa6207d1fca05e0b462b583920ce9a16088dcced52c22bfb98bb530/pycryptosat-0.1.4.tar.gz#sha256=8d66005f7ca5021e78cbf2c23d406e6c913719d52da8308d3f8ed863ea7267e4 to build tracker '/tmp/pip-req-tracker-w8e0sm2r' 2021-07-12T17:16:36,585 Running setup.py (path:/tmp/pip-wheel-be0y0ump/pycryptosat_0b497f02fd474e8fb9f5b0a45e2c9d59/setup.py) egg_info for package pycryptosat 2021-07-12T17:16:36,586 Created temporary directory: /tmp/pip-pip-egg-info-5daj7c2b 2021-07-12T17:16:36,587 Running command python setup.py egg_info 2021-07-12T17:16:37,724 running egg_info 2021-07-12T17:16:37,726 creating /tmp/pip-pip-egg-info-5daj7c2b/pycryptosat.egg-info 2021-07-12T17:16:37,727 writing /tmp/pip-pip-egg-info-5daj7c2b/pycryptosat.egg-info/PKG-INFO 2021-07-12T17:16:37,730 writing dependency_links to /tmp/pip-pip-egg-info-5daj7c2b/pycryptosat.egg-info/dependency_links.txt 2021-07-12T17:16:37,733 writing top-level names to /tmp/pip-pip-egg-info-5daj7c2b/pycryptosat.egg-info/top_level.txt 2021-07-12T17:16:37,734 writing manifest file '/tmp/pip-pip-egg-info-5daj7c2b/pycryptosat.egg-info/SOURCES.txt' 2021-07-12T17:16:37,962 reading manifest file '/tmp/pip-pip-egg-info-5daj7c2b/pycryptosat.egg-info/SOURCES.txt' 2021-07-12T17:16:37,964 reading manifest template 'MANIFEST.in' 2021-07-12T17:16:38,109 adding license file 'LICENSE' 2021-07-12T17:16:38,118 writing manifest file '/tmp/pip-pip-egg-info-5daj7c2b/pycryptosat.egg-info/SOURCES.txt' 2021-07-12T17:16:38,225 Source in /tmp/pip-wheel-be0y0ump/pycryptosat_0b497f02fd474e8fb9f5b0a45e2c9d59 has version 0.1.4, which satisfies requirement pycryptosat==0.1.4 from https://files.pythonhosted.org/packages/28/1a/4012efa6207d1fca05e0b462b583920ce9a16088dcced52c22bfb98bb530/pycryptosat-0.1.4.tar.gz#sha256=8d66005f7ca5021e78cbf2c23d406e6c913719d52da8308d3f8ed863ea7267e4 2021-07-12T17:16:38,226 Removed pycryptosat==0.1.4 from https://files.pythonhosted.org/packages/28/1a/4012efa6207d1fca05e0b462b583920ce9a16088dcced52c22bfb98bb530/pycryptosat-0.1.4.tar.gz#sha256=8d66005f7ca5021e78cbf2c23d406e6c913719d52da8308d3f8ed863ea7267e4 from build tracker '/tmp/pip-req-tracker-w8e0sm2r' 2021-07-12T17:16:38,230 Created temporary directory: /tmp/pip-unpack-ub_9s6kw 2021-07-12T17:16:38,231 Building wheels for collected packages: pycryptosat 2021-07-12T17:16:38,235 Created temporary directory: /tmp/pip-wheel-uoev0d2p 2021-07-12T17:16:38,236 Building wheel for pycryptosat (setup.py): started 2021-07-12T17:16:38,236 Destination directory: /tmp/pip-wheel-uoev0d2p 2021-07-12T17:16:38,236 Running command /usr/bin/python3 -u -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/tmp/pip-wheel-be0y0ump/pycryptosat_0b497f02fd474e8fb9f5b0a45e2c9d59/setup.py'"'"'; __file__='"'"'/tmp/pip-wheel-be0y0ump/pycryptosat_0b497f02fd474e8fb9f5b0a45e2c9d59/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(__file__) if os.path.exists(__file__) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, __file__, '"'"'exec'"'"'))' bdist_wheel -d /tmp/pip-wheel-uoev0d2p 2021-07-12T17:16:39,636 running bdist_wheel 2021-07-12T17:16:39,870 running build 2021-07-12T17:16:39,870 running build_ext 2021-07-12T17:16:39,877 building 'pycryptosat' extension 2021-07-12T17:16:39,878 creating build 2021-07-12T17:16:39,879 creating build/temp.linux-armv7l-3.9 2021-07-12T17:16:39,879 creating build/temp.linux-armv7l-3.9/src 2021-07-12T17:16:39,882 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/GitSHA1.cpp -o build/temp.linux-armv7l-3.9/src/GitSHA1.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:16:39,951 src/GitSHA1.cpp:59:32: warning: macro "__DATE__" might prevent reproducible builds [-Wdate-time] 2021-07-12T17:16:39,951 59 | "compilation date time = " __DATE__ " " __TIME__ 2021-07-12T17:16:39,951 | ^~~~~~~~ 2021-07-12T17:16:39,952 src/GitSHA1.cpp:59:45: warning: macro "__TIME__" might prevent reproducible builds [-Wdate-time] 2021-07-12T17:16:39,952 59 | "compilation date time = " __DATE__ " " __TIME__ 2021-07-12T17:16:39,952 | ^~~~~~~~ 2021-07-12T17:16:39,990 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/bva.cpp -o build/temp.linux-armv7l-3.9/src/bva.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:16:43,457 In file included from src/heap.h:24, 2021-07-12T17:16:43,458 from src/bva.h:26, 2021-07-12T17:16:43,458 from src/bva.cpp:23: 2021-07-12T17:16:43,458 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T17:16:43,459 src/watcharray.h:146:31: required from here 2021-07-12T17:16:43,459 src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:16:43,459 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T17:16:43,460 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:16:43,460 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:16:43,461 40 | class vec { 2021-07-12T17:16:43,461 | ^~~ 2021-07-12T17:16:43,624 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T17:16:43,624 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T17:16:43,624 src/watcharray.h:90:36: required from here 2021-07-12T17:16:43,625 src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:16:43,625 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T17:16:43,625 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:16:43,626 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:16:43,626 40 | class vec { 2021-07-12T17:16:43,626 | ^~~ 2021-07-12T17:16:46,599 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/clauseallocator.cpp -o build/temp.linux-armv7l-3.9/src/clauseallocator.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:16:49,829 In file included from src/heap.h:24, 2021-07-12T17:16:49,830 from src/propengine.h:39, 2021-07-12T17:16:49,830 from src/solver.h:36, 2021-07-12T17:16:49,830 from src/clauseallocator.cpp:33: 2021-07-12T17:16:49,831 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T17:16:49,831 src/watcharray.h:146:31: required from here 2021-07-12T17:16:49,831 src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:16:49,832 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T17:16:49,832 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:16:49,832 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:16:49,833 40 | class vec { 2021-07-12T17:16:49,833 | ^~~ 2021-07-12T17:16:49,944 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T17:16:49,944 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T17:16:49,945 src/watcharray.h:90:36: required from here 2021-07-12T17:16:49,945 src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:16:49,945 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T17:16:49,946 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:16:49,946 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:16:49,946 40 | class vec { 2021-07-12T17:16:49,947 | ^~~ 2021-07-12T17:16:50,815 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/clausecleaner.cpp -o build/temp.linux-armv7l-3.9/src/clausecleaner.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:16:53,652 In file included from src/watcharray.h:28, 2021-07-12T17:16:53,652 from src/clausecleaner.h:28, 2021-07-12T17:16:53,652 from src/clausecleaner.cpp:23: 2021-07-12T17:16:53,653 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T17:16:53,653 src/watcharray.h:146:31: required from here 2021-07-12T17:16:53,653 src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:16:53,653 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T17:16:53,653 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:16:53,654 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:16:53,654 40 | class vec { 2021-07-12T17:16:53,654 | ^~~ 2021-07-12T17:16:53,765 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T17:16:53,765 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T17:16:53,765 src/watcharray.h:90:36: required from here 2021-07-12T17:16:53,765 src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:16:53,765 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T17:16:53,766 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:16:53,766 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:16:53,766 40 | class vec { 2021-07-12T17:16:53,766 | ^~~ 2021-07-12T17:16:55,172 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/clausedumper.cpp -o build/temp.linux-armv7l-3.9/src/clausedumper.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:16:58,222 In file included from src/heap.h:24, 2021-07-12T17:16:58,222 from src/propengine.h:39, 2021-07-12T17:16:58,223 from src/solver.h:36, 2021-07-12T17:16:58,223 from src/clausedumper.cpp:24: 2021-07-12T17:16:58,223 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T17:16:58,223 src/watcharray.h:146:31: required from here 2021-07-12T17:16:58,224 src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:16:58,224 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T17:16:58,224 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:16:58,224 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:16:58,225 40 | class vec { 2021-07-12T17:16:58,225 | ^~~ 2021-07-12T17:16:58,353 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T17:16:58,354 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T17:16:58,354 src/watcharray.h:90:36: required from here 2021-07-12T17:16:58,354 src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:16:58,354 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T17:16:58,355 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:16:58,355 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:16:58,355 40 | class vec { 2021-07-12T17:16:58,356 | ^~~ 2021-07-12T17:16:59,593 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/clauseusagestats.cpp -o build/temp.linux-armv7l-3.9/src/clauseusagestats.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:17:01,639 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/cnf.cpp -o build/temp.linux-armv7l-3.9/src/cnf.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:17:04,778 In file included from src/watcharray.h:28, 2021-07-12T17:17:04,778 from src/cnf.h:35, 2021-07-12T17:17:04,778 from src/cnf.cpp:23: 2021-07-12T17:17:04,779 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T17:17:04,779 src/watcharray.h:146:31: required from here 2021-07-12T17:17:04,779 src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:17:04,779 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T17:17:04,779 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:17:04,780 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:17:04,780 40 | class vec { 2021-07-12T17:17:04,780 | ^~~ 2021-07-12T17:17:04,995 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T17:17:04,995 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T17:17:04,995 src/watcharray.h:90:36: required from here 2021-07-12T17:17:04,995 src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:17:04,996 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T17:17:04,996 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:17:04,996 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:17:04,996 40 | class vec { 2021-07-12T17:17:04,997 | ^~~ 2021-07-12T17:17:08,970 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/compfinder.cpp -o build/temp.linux-armv7l-3.9/src/compfinder.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:17:11,880 In file included from src/heap.h:24, 2021-07-12T17:17:11,881 from src/propengine.h:39, 2021-07-12T17:17:11,881 from src/solver.h:36, 2021-07-12T17:17:11,881 from src/compfinder.cpp:30: 2021-07-12T17:17:11,881 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T17:17:11,881 src/watcharray.h:146:31: required from here 2021-07-12T17:17:11,882 src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:17:11,882 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T17:17:11,882 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:17:11,882 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:17:11,882 40 | class vec { 2021-07-12T17:17:11,882 | ^~~ 2021-07-12T17:17:12,014 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T17:17:12,014 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T17:17:12,014 src/watcharray.h:90:36: required from here 2021-07-12T17:17:12,015 src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:17:12,015 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T17:17:12,015 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:17:12,015 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:17:12,015 40 | class vec { 2021-07-12T17:17:12,016 | ^~~ 2021-07-12T17:17:13,629 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/comphandler.cpp -o build/temp.linux-armv7l-3.9/src/comphandler.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:17:17,388 In file included from src/watcharray.h:28, 2021-07-12T17:17:17,388 from src/varreplacer.h:33, 2021-07-12T17:17:17,389 from src/comphandler.cpp:25: 2021-07-12T17:17:17,389 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T17:17:17,389 src/watcharray.h:146:31: required from here 2021-07-12T17:17:17,389 src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:17:17,389 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T17:17:17,390 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:17:17,390 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:17:17,390 40 | class vec { 2021-07-12T17:17:17,390 | ^~~ 2021-07-12T17:17:17,563 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T17:17:17,563 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T17:17:17,563 src/watcharray.h:90:36: required from here 2021-07-12T17:17:17,564 src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:17:17,564 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T17:17:17,564 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:17:17,564 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:17:17,565 40 | class vec { 2021-07-12T17:17:17,565 | ^~~ 2021-07-12T17:17:20,931 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/completedetachreattacher.cpp -o build/temp.linux-armv7l-3.9/src/completedetachreattacher.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:17:24,352 In file included from src/watcharray.h:28, 2021-07-12T17:17:24,353 from src/completedetachreattacher.h:28, 2021-07-12T17:17:24,353 from src/completedetachreattacher.cpp:23: 2021-07-12T17:17:24,353 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T17:17:24,353 src/watcharray.h:146:31: required from here 2021-07-12T17:17:24,353 src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:17:24,354 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T17:17:24,354 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:17:24,354 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:17:24,354 40 | class vec { 2021-07-12T17:17:24,355 | ^~~ 2021-07-12T17:17:24,474 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T17:17:24,475 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T17:17:24,475 src/watcharray.h:90:36: required from here 2021-07-12T17:17:24,475 src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:17:24,475 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T17:17:24,476 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:17:24,476 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:17:24,476 40 | class vec { 2021-07-12T17:17:24,476 | ^~~ 2021-07-12T17:17:25,519 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/cryptominisat.cpp -o build/temp.linux-armv7l-3.9/src/cryptominisat.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:17:28,910 In file included from src/heap.h:24, 2021-07-12T17:17:28,911 from src/propengine.h:39, 2021-07-12T17:17:28,911 from src/solver.h:36, 2021-07-12T17:17:28,911 from src/cryptominisat.cpp:25: 2021-07-12T17:17:28,912 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T17:17:28,912 src/watcharray.h:146:31: required from here 2021-07-12T17:17:28,912 src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:17:28,912 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T17:17:28,913 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:17:28,913 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:17:28,913 40 | class vec { 2021-07-12T17:17:28,914 | ^~~ 2021-07-12T17:17:29,054 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T17:17:29,055 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T17:17:29,055 src/watcharray.h:90:36: required from here 2021-07-12T17:17:29,055 src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:17:29,056 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T17:17:29,056 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:17:29,056 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:17:29,057 40 | class vec { 2021-07-12T17:17:29,057 | ^~~ 2021-07-12T17:17:29,668 In file included from src/solvertypes.h:38, 2021-07-12T17:17:29,669 from src/solver.h:34, 2021-07-12T17:17:29,669 from src/cryptominisat.cpp:25: 2021-07-12T17:17:29,669 src/solverconf.h: In function ‘unsigned int CMSat::clean_to_int(CMSat::ClauseClean)’: 2021-07-12T17:17:29,670 src/solverconf.h:53:1: warning: control reaches end of non-void function [-Wreturn-type] 2021-07-12T17:17:29,670 53 | } 2021-07-12T17:17:29,670 | ^ 2021-07-12T17:17:31,307 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/cryptominisat_c.cpp -o build/temp.linux-armv7l-3.9/src/cryptominisat_c.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:17:32,997 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/datasync.cpp -o build/temp.linux-armv7l-3.9/src/datasync.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:17:36,031 In file included from src/watcharray.h:28, 2021-07-12T17:17:36,032 from src/datasync.h:25, 2021-07-12T17:17:36,032 from src/datasync.cpp:23: 2021-07-12T17:17:36,032 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T17:17:36,033 src/watcharray.h:146:31: required from here 2021-07-12T17:17:36,033 src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:17:36,033 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T17:17:36,034 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:17:36,034 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:17:36,034 40 | class vec { 2021-07-12T17:17:36,035 | ^~~ 2021-07-12T17:17:36,150 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T17:17:36,150 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T17:17:36,151 src/watcharray.h:90:36: required from here 2021-07-12T17:17:36,151 src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:17:36,151 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T17:17:36,152 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:17:36,152 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:17:36,152 40 | class vec { 2021-07-12T17:17:36,153 | ^~~ 2021-07-12T17:17:37,857 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/distillerallwithall.cpp -o build/temp.linux-armv7l-3.9/src/distillerallwithall.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:17:41,422 In file included from src/watcharray.h:28, 2021-07-12T17:17:41,422 from src/distillerallwithall.h:31, 2021-07-12T17:17:41,422 from src/distillerallwithall.cpp:23: 2021-07-12T17:17:41,423 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T17:17:41,423 src/watcharray.h:146:31: required from here 2021-07-12T17:17:41,423 src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:17:41,423 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T17:17:41,424 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:17:41,424 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:17:41,424 40 | class vec { 2021-07-12T17:17:41,424 | ^~~ 2021-07-12T17:17:41,559 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T17:17:41,559 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T17:17:41,560 src/watcharray.h:90:36: required from here 2021-07-12T17:17:41,560 src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:17:41,560 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T17:17:41,560 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:17:41,560 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:17:41,561 40 | class vec { 2021-07-12T17:17:41,561 | ^~~ 2021-07-12T17:17:43,264 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/distillerlongwithimpl.cpp -o build/temp.linux-armv7l-3.9/src/distillerlongwithimpl.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:17:46,871 In file included from src/watcharray.h:28, 2021-07-12T17:17:46,871 from src/distillerlongwithimpl.h:31, 2021-07-12T17:17:46,872 from src/distillerlongwithimpl.cpp:23: 2021-07-12T17:17:46,872 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T17:17:46,872 src/watcharray.h:146:31: required from here 2021-07-12T17:17:46,873 src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:17:46,873 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T17:17:46,873 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:17:46,874 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:17:46,874 40 | class vec { 2021-07-12T17:17:46,874 | ^~~ 2021-07-12T17:17:46,999 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T17:17:46,999 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T17:17:47,000 src/watcharray.h:90:36: required from here 2021-07-12T17:17:47,000 src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:17:47,000 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T17:17:47,000 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:17:47,000 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:17:47,000 40 | class vec { 2021-07-12T17:17:47,001 | ^~~ 2021-07-12T17:17:48,570 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/features_calc.cpp -o build/temp.linux-armv7l-3.9/src/features_calc.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:17:52,165 In file included from src/heap.h:24, 2021-07-12T17:17:52,165 from src/propengine.h:39, 2021-07-12T17:17:52,166 from src/solver.h:36, 2021-07-12T17:17:52,166 from src/features_calc.cpp:26: 2021-07-12T17:17:52,166 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T17:17:52,166 src/watcharray.h:146:31: required from here 2021-07-12T17:17:52,167 src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:17:52,167 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T17:17:52,168 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:17:52,168 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:17:52,168 40 | class vec { 2021-07-12T17:17:52,168 | ^~~ 2021-07-12T17:17:52,316 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T17:17:52,317 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T17:17:52,317 src/watcharray.h:90:36: required from here 2021-07-12T17:17:52,317 src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:17:52,318 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T17:17:52,318 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:17:52,318 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:17:52,319 40 | class vec { 2021-07-12T17:17:52,319 | ^~~ 2021-07-12T17:17:53,493 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/features_to_reconf.cpp -o build/temp.linux-armv7l-3.9/src/features_to_reconf.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:17:54,660 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/hyperengine.cpp -o build/temp.linux-armv7l-3.9/src/hyperengine.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:17:57,307 In file included from src/watcharray.h:28, 2021-07-12T17:17:57,307 from src/cnf.h:35, 2021-07-12T17:17:57,308 from src/hyperengine.h:23, 2021-07-12T17:17:57,308 from src/hyperengine.cpp:23: 2021-07-12T17:17:57,308 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T17:17:57,309 src/watcharray.h:146:31: required from here 2021-07-12T17:17:57,309 src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:17:57,309 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T17:17:57,310 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:17:57,310 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:17:57,310 40 | class vec { 2021-07-12T17:17:57,311 | ^~~ 2021-07-12T17:17:57,460 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T17:17:57,460 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T17:17:57,460 src/watcharray.h:90:36: required from here 2021-07-12T17:17:57,461 src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:17:57,461 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T17:17:57,461 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:17:57,462 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:17:57,462 40 | class vec { 2021-07-12T17:17:57,462 | ^~~ 2021-07-12T17:17:59,027 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/implcache.cpp -o build/temp.linux-armv7l-3.9/src/implcache.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:18:02,806 In file included from src/heap.h:24, 2021-07-12T17:18:02,807 from src/propengine.h:39, 2021-07-12T17:18:02,807 from src/solver.h:36, 2021-07-12T17:18:02,807 from src/implcache.cpp:28: 2021-07-12T17:18:02,808 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T17:18:02,808 src/watcharray.h:146:31: required from here 2021-07-12T17:18:02,808 src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:18:02,809 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T17:18:02,809 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:18:02,809 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:18:02,810 40 | class vec { 2021-07-12T17:18:02,810 | ^~~ 2021-07-12T17:18:02,983 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T17:18:02,984 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T17:18:02,984 src/watcharray.h:90:36: required from here 2021-07-12T17:18:02,984 src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:18:02,985 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T17:18:02,985 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:18:02,985 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:18:02,985 40 | class vec { 2021-07-12T17:18:02,986 | ^~~ 2021-07-12T17:18:04,948 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/intree.cpp -o build/temp.linux-armv7l-3.9/src/intree.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:18:08,638 In file included from src/heap.h:24, 2021-07-12T17:18:08,638 from src/propengine.h:39, 2021-07-12T17:18:08,639 from src/solver.h:36, 2021-07-12T17:18:08,639 from src/intree.cpp:24: 2021-07-12T17:18:08,639 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T17:18:08,639 src/watcharray.h:146:31: required from here 2021-07-12T17:18:08,640 src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:18:08,640 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T17:18:08,640 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:18:08,641 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:18:08,641 40 | class vec { 2021-07-12T17:18:08,641 | ^~~ 2021-07-12T17:18:08,829 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T17:18:08,830 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T17:18:08,830 src/watcharray.h:90:36: required from here 2021-07-12T17:18:08,830 src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:18:08,831 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T17:18:08,831 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:18:08,831 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:18:08,832 40 | class vec { 2021-07-12T17:18:08,832 | ^~~ 2021-07-12T17:18:10,831 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/occsimplifier.cpp -o build/temp.linux-armv7l-3.9/src/occsimplifier.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:18:15,224 In file included from src/heap.h:24, 2021-07-12T17:18:15,224 from src/occsimplifier.h:38, 2021-07-12T17:18:15,224 from src/occsimplifier.cpp:39: 2021-07-12T17:18:15,224 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T17:18:15,224 src/watcharray.h:146:31: required from here 2021-07-12T17:18:15,224 src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:18:15,225 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T17:18:15,225 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:18:15,225 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:18:15,225 40 | class vec { 2021-07-12T17:18:15,225 | ^~~ 2021-07-12T17:18:15,476 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T17:18:15,476 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T17:18:15,476 src/watcharray.h:90:36: required from here 2021-07-12T17:18:15,477 src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:18:15,477 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T17:18:15,477 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:18:15,477 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:18:15,477 40 | class vec { 2021-07-12T17:18:15,477 | ^~~ 2021-07-12T17:18:21,555 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/prober.cpp -o build/temp.linux-armv7l-3.9/src/prober.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:18:24,483 In file included from src/heap.h:24, 2021-07-12T17:18:24,483 from src/propengine.h:39, 2021-07-12T17:18:24,484 from src/solver.h:36, 2021-07-12T17:18:24,484 from src/prober.cpp:32: 2021-07-12T17:18:24,484 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T17:18:24,484 src/watcharray.h:146:31: required from here 2021-07-12T17:18:24,484 src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:18:24,484 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T17:18:24,485 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:18:24,485 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:18:24,485 40 | class vec { 2021-07-12T17:18:24,485 | ^~~ 2021-07-12T17:18:24,605 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T17:18:24,605 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T17:18:24,605 src/watcharray.h:90:36: required from here 2021-07-12T17:18:24,606 src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:18:24,606 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T17:18:24,606 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:18:24,606 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:18:24,606 40 | class vec { 2021-07-12T17:18:24,606 | ^~~ 2021-07-12T17:18:26,694 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/propengine.cpp -o build/temp.linux-armv7l-3.9/src/propengine.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:18:30,295 In file included from src/heap.h:24, 2021-07-12T17:18:30,295 from src/propengine.h:39, 2021-07-12T17:18:30,295 from src/propengine.cpp:23: 2021-07-12T17:18:30,296 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T17:18:30,296 src/watcharray.h:146:31: required from here 2021-07-12T17:18:30,296 src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:18:30,296 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T17:18:30,297 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:18:30,297 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:18:30,297 40 | class vec { 2021-07-12T17:18:30,298 | ^~~ 2021-07-12T17:18:30,462 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T17:18:30,463 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T17:18:30,463 src/watcharray.h:90:36: required from here 2021-07-12T17:18:30,463 src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:18:30,463 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T17:18:30,464 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:18:30,464 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:18:30,464 40 | class vec { 2021-07-12T17:18:30,465 | ^~~ 2021-07-12T17:18:32,887 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/pycryptosat.cpp -o build/temp.linux-armv7l-3.9/src/pycryptosat.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:18:34,860 src/pycryptosat.cpp: In function ‘int parse_clause(Solver*, PyObject*, std::vector&)’: 2021-07-12T17:18:34,860 src/pycryptosat.cpp:173:17: warning: comparison of integer expressions of different signedness: ‘long int’ and ‘unsigned int’ [-Wsign-compare] 2021-07-12T17:18:34,860 173 | if (var >= self->cmsat->nVars()) { 2021-07-12T17:18:34,860 | ~~~~^~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:18:34,862 src/pycryptosat.cpp: In function ‘int parse_xor_clause(Solver*, PyObject*, std::vector&)’: 2021-07-12T17:18:34,862 src/pycryptosat.cpp:216:17: warning: comparison of integer expressions of different signedness: ‘long int’ and ‘unsigned int’ [-Wsign-compare] 2021-07-12T17:18:34,862 216 | if (var >= self->cmsat->nVars()) { 2021-07-12T17:18:34,863 | ~~~~^~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:18:34,908 src/pycryptosat.cpp: In function ‘int parse_assumption_lits(PyObject*, CMSat::SATSolver*, std::vector&)’: 2021-07-12T17:18:34,908 src/pycryptosat.cpp:457:17: warning: comparison of integer expressions of different signedness: ‘long int’ and ‘unsigned int’ [-Wsign-compare] 2021-07-12T17:18:34,908 457 | if (var >= cmsat->nVars()) { 2021-07-12T17:18:34,908 | ~~~~^~~~~~~~~~~~~~~~~ 2021-07-12T17:18:35,764 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/reducedb.cpp -o build/temp.linux-armv7l-3.9/src/reducedb.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:18:38,627 In file included from src/heap.h:24, 2021-07-12T17:18:38,627 from src/propengine.h:39, 2021-07-12T17:18:38,627 from src/solver.h:36, 2021-07-12T17:18:38,627 from src/reducedb.cpp:24: 2021-07-12T17:18:38,627 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T17:18:38,628 src/watcharray.h:146:31: required from here 2021-07-12T17:18:38,628 src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:18:38,628 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T17:18:38,628 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:18:38,629 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:18:38,629 40 | class vec { 2021-07-12T17:18:38,629 | ^~~ 2021-07-12T17:18:38,776 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T17:18:38,777 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T17:18:38,777 src/watcharray.h:90:36: required from here 2021-07-12T17:18:38,777 src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:18:38,777 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T17:18:38,777 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:18:38,778 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:18:38,778 40 | class vec { 2021-07-12T17:18:38,778 | ^~~ 2021-07-12T17:18:40,386 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/sccfinder.cpp -o build/temp.linux-armv7l-3.9/src/sccfinder.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:18:43,984 In file included from src/watcharray.h:28, 2021-07-12T17:18:43,984 from src/varreplacer.h:33, 2021-07-12T17:18:43,985 from src/sccfinder.cpp:29: 2021-07-12T17:18:43,985 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T17:18:43,985 src/watcharray.h:146:31: required from here 2021-07-12T17:18:43,986 src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:18:43,986 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T17:18:43,986 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:18:43,987 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:18:43,987 40 | class vec { 2021-07-12T17:18:43,987 | ^~~ 2021-07-12T17:18:44,152 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T17:18:44,152 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T17:18:44,152 src/watcharray.h:90:36: required from here 2021-07-12T17:18:44,153 src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:18:44,153 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T17:18:44,153 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:18:44,154 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:18:44,154 40 | class vec { 2021-07-12T17:18:44,154 | ^~~ 2021-07-12T17:18:45,929 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/searcher.cpp -o build/temp.linux-armv7l-3.9/src/searcher.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:18:50,440 In file included from src/heap.h:24, 2021-07-12T17:18:50,440 from src/propengine.h:39, 2021-07-12T17:18:50,440 from src/searcher.h:28, 2021-07-12T17:18:50,441 from src/searcher.cpp:23: 2021-07-12T17:18:50,441 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T17:18:50,441 src/watcharray.h:146:31: required from here 2021-07-12T17:18:50,441 src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:18:50,442 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T17:18:50,442 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:18:50,442 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:18:50,443 40 | class vec { 2021-07-12T17:18:50,443 | ^~~ 2021-07-12T17:18:50,710 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T17:18:50,710 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T17:18:50,711 src/watcharray.h:90:36: required from here 2021-07-12T17:18:50,711 src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:18:50,711 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T17:18:50,711 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:18:50,712 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:18:50,712 40 | class vec { 2021-07-12T17:18:50,712 | ^~~ 2021-07-12T17:18:56,160 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/searchstats.cpp -o build/temp.linux-armv7l-3.9/src/searchstats.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:18:58,866 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/solutionextender.cpp -o build/temp.linux-armv7l-3.9/src/solutionextender.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:19:02,731 In file included from src/watcharray.h:28, 2021-07-12T17:19:02,732 from src/solutionextender.h:28, 2021-07-12T17:19:02,732 from src/solutionextender.cpp:23: 2021-07-12T17:19:02,732 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T17:19:02,732 src/watcharray.h:146:31: required from here 2021-07-12T17:19:02,732 src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:19:02,733 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T17:19:02,733 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:19:02,733 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:19:02,733 40 | class vec { 2021-07-12T17:19:02,733 | ^~~ 2021-07-12T17:19:02,876 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T17:19:02,876 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T17:19:02,876 src/watcharray.h:90:36: required from here 2021-07-12T17:19:02,877 src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:19:02,877 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T17:19:02,877 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:19:02,877 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:19:02,877 40 | class vec { 2021-07-12T17:19:02,877 | ^~~ 2021-07-12T17:19:04,309 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/solvefeatures.cpp -o build/temp.linux-armv7l-3.9/src/solvefeatures.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:19:06,001 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/solver.cpp -o build/temp.linux-armv7l-3.9/src/solver.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:19:10,062 In file included from src/heap.h:24, 2021-07-12T17:19:10,062 from src/propengine.h:39, 2021-07-12T17:19:10,063 from src/solver.h:36, 2021-07-12T17:19:10,063 from src/solver.cpp:23: 2021-07-12T17:19:10,063 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T17:19:10,063 src/watcharray.h:146:31: required from here 2021-07-12T17:19:10,064 src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:19:10,064 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T17:19:10,064 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:19:10,065 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:19:10,065 40 | class vec { 2021-07-12T17:19:10,065 | ^~~ 2021-07-12T17:19:10,341 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T17:19:10,342 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T17:19:10,342 src/watcharray.h:90:36: required from here 2021-07-12T17:19:10,342 src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:19:10,343 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T17:19:10,343 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:19:10,344 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:19:10,344 40 | class vec { 2021-07-12T17:19:10,344 | ^~~ 2021-07-12T17:19:11,376 In file included from src/solvertypes.h:38, 2021-07-12T17:19:11,376 from src/solver.h:34, 2021-07-12T17:19:11,376 from src/solver.cpp:23: 2021-07-12T17:19:11,377 src/solverconf.h: In function ‘unsigned int CMSat::clean_to_int(CMSat::ClauseClean)’: 2021-07-12T17:19:11,377 src/solverconf.h:53:1: warning: control reaches end of non-void function [-Wreturn-type] 2021-07-12T17:19:11,377 53 | } 2021-07-12T17:19:11,377 | ^ 2021-07-12T17:19:15,870 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/solverconf.cpp -o build/temp.linux-armv7l-3.9/src/solverconf.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:19:17,787 In file included from src/solverconf.cpp:24: 2021-07-12T17:19:17,787 src/solverconf.h: In function ‘unsigned int CMSat::clean_to_int(CMSat::ClauseClean)’: 2021-07-12T17:19:17,788 src/solverconf.h:53:1: warning: control reaches end of non-void function [-Wreturn-type] 2021-07-12T17:19:17,788 53 | } 2021-07-12T17:19:17,788 | ^ 2021-07-12T17:19:18,155 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/sqlstats.cpp -o build/temp.linux-armv7l-3.9/src/sqlstats.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:19:21,640 In file included from src/heap.h:24, 2021-07-12T17:19:21,640 from src/propengine.h:39, 2021-07-12T17:19:21,640 from src/searcher.h:28, 2021-07-12T17:19:21,640 from src/sqlstats.h:26, 2021-07-12T17:19:21,641 from src/sqlstats.cpp:23: 2021-07-12T17:19:21,641 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T17:19:21,641 src/watcharray.h:146:31: required from here 2021-07-12T17:19:21,641 src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:19:21,641 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T17:19:21,642 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:19:21,642 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:19:21,642 40 | class vec { 2021-07-12T17:19:21,642 | ^~~ 2021-07-12T17:19:21,783 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T17:19:21,783 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T17:19:21,784 src/watcharray.h:90:36: required from here 2021-07-12T17:19:21,784 src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:19:21,784 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T17:19:21,784 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:19:21,784 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:19:21,785 40 | class vec { 2021-07-12T17:19:21,785 | ^~~ 2021-07-12T17:19:22,526 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/stamp.cpp -o build/temp.linux-armv7l-3.9/src/stamp.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:19:26,102 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/str_impl_w_impl_stamp.cpp -o build/temp.linux-armv7l-3.9/src/str_impl_w_impl_stamp.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:19:28,941 In file included from src/watcharray.h:28, 2021-07-12T17:19:28,941 from src/str_impl_w_impl_stamp.h:31, 2021-07-12T17:19:28,941 from src/str_impl_w_impl_stamp.cpp:23: 2021-07-12T17:19:28,942 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T17:19:28,942 src/watcharray.h:146:31: required from here 2021-07-12T17:19:28,942 src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:19:28,943 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T17:19:28,943 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:19:28,943 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:19:28,944 40 | class vec { 2021-07-12T17:19:28,944 | ^~~ 2021-07-12T17:19:29,051 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T17:19:29,051 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T17:19:29,052 src/watcharray.h:90:36: required from here 2021-07-12T17:19:29,052 src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:19:29,052 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T17:19:29,053 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:19:29,053 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:19:29,053 40 | class vec { 2021-07-12T17:19:29,054 | ^~~ 2021-07-12T17:19:30,227 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/subsumeimplicit.cpp -o build/temp.linux-armv7l-3.9/src/subsumeimplicit.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:19:33,758 In file included from src/watcharray.h:28, 2021-07-12T17:19:33,759 from src/subsumeimplicit.h:31, 2021-07-12T17:19:33,759 from src/subsumeimplicit.cpp:23: 2021-07-12T17:19:33,759 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T17:19:33,760 src/watcharray.h:146:31: required from here 2021-07-12T17:19:33,760 src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:19:33,760 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T17:19:33,761 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:19:33,761 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:19:33,761 40 | class vec { 2021-07-12T17:19:33,762 | ^~~ 2021-07-12T17:19:33,890 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T17:19:33,890 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T17:19:33,890 src/watcharray.h:90:36: required from here 2021-07-12T17:19:33,891 src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:19:33,891 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T17:19:33,891 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:19:33,892 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:19:33,892 40 | class vec { 2021-07-12T17:19:33,892 | ^~~ 2021-07-12T17:19:35,180 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/subsumestrengthen.cpp -o build/temp.linux-armv7l-3.9/src/subsumestrengthen.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:19:38,198 In file included from src/heap.h:24, 2021-07-12T17:19:38,198 from src/occsimplifier.h:38, 2021-07-12T17:19:38,199 from src/subsumestrengthen.cpp:24: 2021-07-12T17:19:38,199 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T17:19:38,199 src/watcharray.h:146:31: required from here 2021-07-12T17:19:38,200 src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:19:38,200 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T17:19:38,200 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:19:38,201 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:19:38,201 40 | class vec { 2021-07-12T17:19:38,201 | ^~~ 2021-07-12T17:19:38,336 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T17:19:38,337 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T17:19:38,337 src/watcharray.h:90:36: required from here 2021-07-12T17:19:38,337 src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:19:38,337 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T17:19:38,338 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:19:38,338 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:19:38,338 40 | class vec { 2021-07-12T17:19:38,339 | ^~~ 2021-07-12T17:19:40,127 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/varreplacer.cpp -o build/temp.linux-armv7l-3.9/src/varreplacer.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:19:43,374 In file included from src/watcharray.h:28, 2021-07-12T17:19:43,374 from src/varreplacer.h:33, 2021-07-12T17:19:43,374 from src/varreplacer.cpp:23: 2021-07-12T17:19:43,375 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T17:19:43,375 src/watcharray.h:146:31: required from here 2021-07-12T17:19:43,375 src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:19:43,375 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T17:19:43,375 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:19:43,376 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:19:43,376 40 | class vec { 2021-07-12T17:19:43,376 | ^~~ 2021-07-12T17:19:43,562 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T17:19:43,563 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T17:19:43,563 src/watcharray.h:90:36: required from here 2021-07-12T17:19:43,563 src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:19:43,563 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T17:19:43,563 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:19:43,564 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:19:43,564 40 | class vec { 2021-07-12T17:19:43,564 | ^~~ 2021-07-12T17:19:46,568 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -fwrapv -O2 -Wall -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.0.1" -Isrc -I. -I/usr/include/python3.9 -c src/xorfinder.cpp -o build/temp.linux-armv7l-3.9/src/xorfinder.o -pthread -DUSE_PTHREADS -flto -std=c++11 -Wno-unused-variable -Wno-unused-but-set-variable -fwrapv -Ofast -DNDEBUG 2021-07-12T17:19:49,640 In file included from src/watcharray.h:28, 2021-07-12T17:19:49,640 from src/xorfinder.h:33, 2021-07-12T17:19:49,640 from src/xorfinder.cpp:23: 2021-07-12T17:19:49,640 src/Vec.h: In instantiation of ‘void CMSat::vec::shrink_to_fit() [with T = CMSat::vec]’: 2021-07-12T17:19:49,641 src/watcharray.h:146:31: required from here 2021-07-12T17:19:49,641 src/Vec.h:227:31: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:19:49,641 227 | T* data2 = (T*)realloc(data, sz*sizeof(T)); 2021-07-12T17:19:49,641 | ~~~~~~~^~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:19:49,642 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:19:49,642 40 | class vec { 2021-07-12T17:19:49,642 | ^~~ 2021-07-12T17:19:49,785 src/Vec.h: In instantiation of ‘void CMSat::vec::capacity(int32_t) [with T = CMSat::vec; int32_t = int]’: 2021-07-12T17:19:49,785 src/Vec.h:274:13: required from ‘void CMSat::vec::growTo(uint32_t) [with T = CMSat::vec; uint32_t = unsigned int]’ 2021-07-12T17:19:49,785 src/watcharray.h:90:36: required from here 2021-07-12T17:19:49,786 src/Vec.h:246:35: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class CMSat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-12T17:19:49,786 246 | || (((data = (T*)::realloc(data, (cap += (uint32_t)add) * sizeof(T))) == NULL) 2021-07-12T17:19:49,786 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-12T17:19:49,786 src/Vec.h:40:7: note: ‘class CMSat::vec’ declared here 2021-07-12T17:19:49,787 40 | class vec { 2021-07-12T17:19:49,787 | ^~~ 2021-07-12T17:19:52,245 creating build/lib.linux-armv7l-3.9 2021-07-12T17:19:52,245 arm-linux-gnueabihf-g++ -pthread -shared -Wl,-O1 -Wl,-Bsymbolic-functions -Wl,-z,relro -fwrapv -O2 -Wl,-z,relro -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 build/temp.linux-armv7l-3.9/src/GitSHA1.o build/temp.linux-armv7l-3.9/src/bva.o build/temp.linux-armv7l-3.9/src/clauseallocator.o build/temp.linux-armv7l-3.9/src/clausecleaner.o build/temp.linux-armv7l-3.9/src/clausedumper.o build/temp.linux-armv7l-3.9/src/clauseusagestats.o build/temp.linux-armv7l-3.9/src/cnf.o build/temp.linux-armv7l-3.9/src/compfinder.o build/temp.linux-armv7l-3.9/src/comphandler.o build/temp.linux-armv7l-3.9/src/completedetachreattacher.o build/temp.linux-armv7l-3.9/src/cryptominisat.o build/temp.linux-armv7l-3.9/src/cryptominisat_c.o build/temp.linux-armv7l-3.9/src/datasync.o build/temp.linux-armv7l-3.9/src/distillerallwithall.o build/temp.linux-armv7l-3.9/src/distillerlongwithimpl.o build/temp.linux-armv7l-3.9/src/features_calc.o build/temp.linux-armv7l-3.9/src/features_to_reconf.o build/temp.linux-armv7l-3.9/src/hyperengine.o build/temp.linux-armv7l-3.9/src/implcache.o build/temp.linux-armv7l-3.9/src/intree.o build/temp.linux-armv7l-3.9/src/occsimplifier.o build/temp.linux-armv7l-3.9/src/prober.o build/temp.linux-armv7l-3.9/src/propengine.o build/temp.linux-armv7l-3.9/src/pycryptosat.o build/temp.linux-armv7l-3.9/src/reducedb.o build/temp.linux-armv7l-3.9/src/sccfinder.o build/temp.linux-armv7l-3.9/src/searcher.o build/temp.linux-armv7l-3.9/src/searchstats.o build/temp.linux-armv7l-3.9/src/solutionextender.o build/temp.linux-armv7l-3.9/src/solvefeatures.o build/temp.linux-armv7l-3.9/src/solver.o build/temp.linux-armv7l-3.9/src/solverconf.o build/temp.linux-armv7l-3.9/src/sqlstats.o build/temp.linux-armv7l-3.9/src/stamp.o build/temp.linux-armv7l-3.9/src/str_impl_w_impl_stamp.o build/temp.linux-armv7l-3.9/src/subsumeimplicit.o build/temp.linux-armv7l-3.9/src/subsumestrengthen.o build/temp.linux-armv7l-3.9/src/varreplacer.o build/temp.linux-armv7l-3.9/src/xorfinder.o -o build/lib.linux-armv7l-3.9/pycryptosat.cpython-39-arm-linux-gnueabihf.so -Ofast -flto 2021-07-12T17:21:36,511 installing to build/bdist.linux-armv7l/wheel 2021-07-12T17:21:36,511 running install 2021-07-12T17:21:36,513 running install_lib 2021-07-12T17:21:36,518 creating build/bdist.linux-armv7l 2021-07-12T17:21:36,518 creating build/bdist.linux-armv7l/wheel 2021-07-12T17:21:36,520 copying build/lib.linux-armv7l-3.9/pycryptosat.cpython-39-arm-linux-gnueabihf.so -> build/bdist.linux-armv7l/wheel 2021-07-12T17:21:36,918 running install_egg_info 2021-07-12T17:21:36,948 running egg_info 2021-07-12T17:21:36,949 writing pycryptosat.egg-info/PKG-INFO 2021-07-12T17:21:36,951 writing dependency_links to pycryptosat.egg-info/dependency_links.txt 2021-07-12T17:21:36,954 writing top-level names to pycryptosat.egg-info/top_level.txt 2021-07-12T17:21:36,999 reading manifest file 'pycryptosat.egg-info/SOURCES.txt' 2021-07-12T17:21:37,029 reading manifest template 'MANIFEST.in' 2021-07-12T17:21:37,179 adding license file 'LICENSE' 2021-07-12T17:21:37,192 writing manifest file 'pycryptosat.egg-info/SOURCES.txt' 2021-07-12T17:21:37,194 Copying pycryptosat.egg-info to build/bdist.linux-armv7l/wheel/pycryptosat-0.1.4-py3.9.egg-info 2021-07-12T17:21:37,205 running install_scripts 2021-07-12T17:21:37,302 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2021-07-12T17:21:37,307 creating build/bdist.linux-armv7l/wheel/pycryptosat-0.1.4.dist-info/WHEEL 2021-07-12T17:21:37,310 creating '/tmp/pip-wheel-uoev0d2p/pycryptosat-0.1.4-cp39-cp39-linux_armv7l.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2021-07-12T17:21:39,920 adding 'pycryptosat.cpython-39-arm-linux-gnueabihf.so' 2021-07-12T17:21:40,029 adding 'pycryptosat-0.1.4.dist-info/LICENSE' 2021-07-12T17:21:40,031 adding 'pycryptosat-0.1.4.dist-info/METADATA' 2021-07-12T17:21:40,033 adding 'pycryptosat-0.1.4.dist-info/WHEEL' 2021-07-12T17:21:40,034 adding 'pycryptosat-0.1.4.dist-info/top_level.txt' 2021-07-12T17:21:40,035 adding 'pycryptosat-0.1.4.dist-info/RECORD' 2021-07-12T17:21:40,109 removing build/bdist.linux-armv7l/wheel 2021-07-12T17:21:40,219 Building wheel for pycryptosat (setup.py): finished with status 'done' 2021-07-12T17:21:40,285 Created wheel for pycryptosat: filename=pycryptosat-0.1.4-cp39-cp39-linux_armv7l.whl size=5042522 sha256=b0e478193598c06461c5a79f25a99a584c04c755124a8d617f20d9854a3d9b78 2021-07-12T17:21:40,285 Stored in directory: /tmp/pip-ephem-wheel-cache-d4i1vsaw/wheels/b1/b7/41/5c3c42821922bdcb54115499476323bca5e09a0c1a576343da 2021-07-12T17:21:40,297 Successfully built pycryptosat 2021-07-12T17:21:40,461 Removed build tracker: '/tmp/pip-req-tracker-w8e0sm2r'