2021-07-13T14:36:02,651 Created temporary directory: /tmp/pip-ephem-wheel-cache-xcdq2awp 2021-07-13T14:36:02,653 Created temporary directory: /tmp/pip-req-tracker-r9v7iplf 2021-07-13T14:36:02,654 Initialized build tracking at /tmp/pip-req-tracker-r9v7iplf 2021-07-13T14:36:02,654 Created build tracker: /tmp/pip-req-tracker-r9v7iplf 2021-07-13T14:36:02,654 Entered build tracker: /tmp/pip-req-tracker-r9v7iplf 2021-07-13T14:36:02,655 Created temporary directory: /tmp/pip-wheel-qku8dhuk 2021-07-13T14:36:02,684 1 location(s) to search for versions of pydepqbf: 2021-07-13T14:36:02,684 * https://pypi.org/simple/pydepqbf/ 2021-07-13T14:36:02,685 Fetching project page and analyzing links: https://pypi.org/simple/pydepqbf/ 2021-07-13T14:36:02,686 Getting page https://pypi.org/simple/pydepqbf/ 2021-07-13T14:36:02,687 Found index url https://pypi.org/simple 2021-07-13T14:36:02,774 Found link https://files.pythonhosted.org/packages/5b/c6/b56208db66b807eeaa8151a9085955e058a1991b5f43f9f21f0bfaf1a37d/pydepqbf-0.0.2.tar.gz#sha256=7f762764a19db42fbe154216d75eca07953abe29905f4d0b6ff2af8fbf93e802 (from https://pypi.org/simple/pydepqbf/), version: 0.0.2 2021-07-13T14:36:02,774 Skipping link: not a file: https://pypi.org/simple/pydepqbf/ 2021-07-13T14:36:02,792 Given no hashes to check 1 links for project 'pydepqbf': discarding no candidates 2021-07-13T14:36:02,810 Collecting pydepqbf==0.0.2 2021-07-13T14:36:02,812 Created temporary directory: /tmp/pip-unpack-6h5d9zj6 2021-07-13T14:36:03,080 Downloading pydepqbf-0.0.2.tar.gz (325 kB) 2021-07-13T14:36:03,295 Added pydepqbf==0.0.2 from https://files.pythonhosted.org/packages/5b/c6/b56208db66b807eeaa8151a9085955e058a1991b5f43f9f21f0bfaf1a37d/pydepqbf-0.0.2.tar.gz#sha256=7f762764a19db42fbe154216d75eca07953abe29905f4d0b6ff2af8fbf93e802 to build tracker '/tmp/pip-req-tracker-r9v7iplf' 2021-07-13T14:36:03,296 Running setup.py (path:/tmp/pip-wheel-qku8dhuk/pydepqbf_8790169c76a74240b92f0a554dbc799a/setup.py) egg_info for package pydepqbf 2021-07-13T14:36:03,297 Created temporary directory: /tmp/pip-pip-egg-info-k2lekefd 2021-07-13T14:36:03,298 Running command python setup.py egg_info 2021-07-13T14:36:04,210 running egg_info 2021-07-13T14:36:04,213 creating /tmp/pip-pip-egg-info-k2lekefd/pydepqbf.egg-info 2021-07-13T14:36:04,214 writing /tmp/pip-pip-egg-info-k2lekefd/pydepqbf.egg-info/PKG-INFO 2021-07-13T14:36:04,216 writing dependency_links to /tmp/pip-pip-egg-info-k2lekefd/pydepqbf.egg-info/dependency_links.txt 2021-07-13T14:36:04,218 writing top-level names to /tmp/pip-pip-egg-info-k2lekefd/pydepqbf.egg-info/top_level.txt 2021-07-13T14:36:04,220 writing manifest file '/tmp/pip-pip-egg-info-k2lekefd/pydepqbf.egg-info/SOURCES.txt' 2021-07-13T14:36:04,537 reading manifest file '/tmp/pip-pip-egg-info-k2lekefd/pydepqbf.egg-info/SOURCES.txt' 2021-07-13T14:36:04,541 writing manifest file '/tmp/pip-pip-egg-info-k2lekefd/pydepqbf.egg-info/SOURCES.txt' 2021-07-13T14:36:04,618 Source in /tmp/pip-wheel-qku8dhuk/pydepqbf_8790169c76a74240b92f0a554dbc799a has version 0.0.2, which satisfies requirement pydepqbf==0.0.2 from https://files.pythonhosted.org/packages/5b/c6/b56208db66b807eeaa8151a9085955e058a1991b5f43f9f21f0bfaf1a37d/pydepqbf-0.0.2.tar.gz#sha256=7f762764a19db42fbe154216d75eca07953abe29905f4d0b6ff2af8fbf93e802 2021-07-13T14:36:04,619 Removed pydepqbf==0.0.2 from https://files.pythonhosted.org/packages/5b/c6/b56208db66b807eeaa8151a9085955e058a1991b5f43f9f21f0bfaf1a37d/pydepqbf-0.0.2.tar.gz#sha256=7f762764a19db42fbe154216d75eca07953abe29905f4d0b6ff2af8fbf93e802 from build tracker '/tmp/pip-req-tracker-r9v7iplf' 2021-07-13T14:36:04,624 Created temporary directory: /tmp/pip-unpack-sn0tkei8 2021-07-13T14:36:04,625 Building wheels for collected packages: pydepqbf 2021-07-13T14:36:04,629 Created temporary directory: /tmp/pip-wheel-gbs1t39h 2021-07-13T14:36:04,630 Building wheel for pydepqbf (setup.py): started 2021-07-13T14:36:04,630 Destination directory: /tmp/pip-wheel-gbs1t39h 2021-07-13T14:36:04,630 Running command /usr/bin/python3 -u -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/tmp/pip-wheel-qku8dhuk/pydepqbf_8790169c76a74240b92f0a554dbc799a/setup.py'"'"'; __file__='"'"'/tmp/pip-wheel-qku8dhuk/pydepqbf_8790169c76a74240b92f0a554dbc799a/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-gbs1t39h 2021-07-13T14:36:05,572 running bdist_wheel 2021-07-13T14:36:05,726 running build 2021-07-13T14:36:05,726 running build_py 2021-07-13T14:36:05,866 creating build 2021-07-13T14:36:05,867 creating build/lib.linux-armv7l-3.9 2021-07-13T14:36:05,868 copying test_pydepqbf.py -> build/lib.linux-armv7l-3.9 2021-07-13T14:36:05,870 running build_ext 2021-07-13T14:36:05,875 building 'pydepqbf' extension 2021-07-13T14:36:05,876 creating build/temp.linux-armv7l-3.9 2021-07-13T14:36:05,876 creating build/temp.linux-armv7l-3.9/nenofex 2021-07-13T14:36:05,878 creating build/temp.linux-armv7l-3.9/picosat 2021-07-13T14:36:05,878 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 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -I. -I/usr/include/python3.9 -c nenofex/atpg.c -o build/temp.linux-armv7l-3.9/nenofex/atpg.o 2021-07-13T14:36:06,055 nenofex/atpg.c: In function ‘collect_necessary_off_path_literals’: 2021-07-13T14:36:06,056 nenofex/atpg.c:2227:15: warning: variable ‘prev’ set but not used [-Wunused-but-set-variable] 2021-07-13T14:36:06,056 2227 | Node *cur, *prev; 2021-07-13T14:36:06,056 | ^~~~ 2021-07-13T14:36:06,076 nenofex/atpg.c: In function ‘simplify_by_global_flow_and_atpg_main’: 2021-07-13T14:36:06,078 nenofex/atpg.c:3739:14: warning: unused variable ‘changed_subformula’ [-Wunused-variable] 2021-07-13T14:36:06,079 3739 | LCAObject *changed_subformula = &(nenofex->changed_subformula); 2021-07-13T14:36:06,079 | ^~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:06,097 At top level: 2021-07-13T14:36:06,098 nenofex/atpg.c:2664:1: warning: ‘print_atpg_graph’ defined but not used [-Wunused-function] 2021-07-13T14:36:06,098 2664 | print_atpg_graph (Nenofex * nenofex) 2021-07-13T14:36:06,098 | ^~~~~~~~~~~~~~~~ 2021-07-13T14:36:06,099 nenofex/atpg.c:427:1: warning: ‘collect_fault_nodes_by_bfs’ defined but not used [-Wunused-function] 2021-07-13T14:36:06,099 427 | collect_fault_nodes_by_bfs (Nenofex * nenofex) 2021-07-13T14:36:06,099 | ^~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:06,099 nenofex/atpg.c:375:1: warning: ‘collect_fault_nodes_by_dfs’ defined but not used [-Wunused-function] 2021-07-13T14:36:06,099 375 | collect_fault_nodes_by_dfs (Nenofex * nenofex) 2021-07-13T14:36:06,099 | ^~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:07,675 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 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -I. -I/usr/include/python3.9 -c nenofex/mem.c -o build/temp.linux-armv7l-3.9/nenofex/mem.o 2021-07-13T14:36:07,894 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 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -I. -I/usr/include/python3.9 -c nenofex/nenofex.c -o build/temp.linux-armv7l-3.9/nenofex/nenofex.o 2021-07-13T14:36:08,119 nenofex/nenofex.c: In function ‘replace_changed_lca_child’: 2021-07-13T14:36:08,120 nenofex/nenofex.c:4489:14: warning: unused variable ‘changed_subformula’ [-Wunused-variable] 2021-07-13T14:36:08,121 4489 | LCAObject *changed_subformula = &(nenofex->changed_subformula); 2021-07-13T14:36:08,121 | ^~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:08,168 nenofex/nenofex.c: In function ‘quantified_nnf_to_cnf_dump’: 2021-07-13T14:36:08,171 nenofex/nenofex.c:8123:35: warning: unused variable ‘num_remaining_univ_vars’ [-Wunused-variable] 2021-07-13T14:36:08,171 8123 | num_remaining_exist_vars = 0, num_remaining_univ_vars = 0; 2021-07-13T14:36:08,172 | ^~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:08,176 nenofex/nenofex.c:8123:5: warning: unused variable ‘num_remaining_exist_vars’ [-Wunused-variable] 2021-07-13T14:36:08,176 8123 | num_remaining_exist_vars = 0, num_remaining_univ_vars = 0; 2021-07-13T14:36:08,176 | ^~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:08,180 nenofex/nenofex.c:8122:38: warning: unused variable ‘num_remaining_vars’ [-Wunused-variable] 2021-07-13T14:36:08,180 8122 | int num_clauses = 0, num_vars = 0, num_remaining_vars = 0, 2021-07-13T14:36:08,180 | ^~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:08,181 nenofex/nenofex.c: In function ‘nnf_to_cnf_dump’: 2021-07-13T14:36:08,184 nenofex/nenofex.c:8140:38: warning: variable ‘num_remaining_vars’ set but not used [-Wunused-but-set-variable] 2021-07-13T14:36:08,184 8140 | int num_clauses = 0, num_vars = 0, num_remaining_vars = 0, 2021-07-13T14:36:08,185 | ^~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:08,185 nenofex/nenofex.c: In function ‘nnf_to_cnf_forward’: 2021-07-13T14:36:08,188 nenofex/nenofex.c:8183:38: warning: variable ‘num_remaining_vars’ set but not used [-Wunused-but-set-variable] 2021-07-13T14:36:08,189 8183 | int num_clauses = 0, num_vars = 0, num_remaining_vars = 0, 2021-07-13T14:36:08,189 | ^~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:08,197 nenofex/nenofex.c: In function ‘generate_qdimacs_output’: 2021-07-13T14:36:08,202 nenofex/nenofex.c:8321:11: warning: unused variable ‘value’ [-Wunused-variable] 2021-07-13T14:36:08,202 8321 | int value = var->assignment - 1; 2021-07-13T14:36:08,202 | ^~~~~ 2021-07-13T14:36:08,291 nenofex/nenofex.c: In function ‘expansion_phase’: 2021-07-13T14:36:08,296 nenofex/nenofex.c:10212:58: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare] 2021-07-13T14:36:08,296 10212 | && nenofex->graph_root->size_subformula > 2021-07-13T14:36:08,296 | ^ 2021-07-13T14:36:08,393 At top level: 2021-07-13T14:36:08,398 nenofex/nenofex.c:9735:1: warning: ‘print_lit_stats_before_exp’ defined but not used [-Wunused-function] 2021-07-13T14:36:08,398 9735 | print_lit_stats_before_exp (Nenofex * nenofex, Var * var) 2021-07-13T14:36:08,398 | ^~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:08,403 nenofex/nenofex.c:8882:1: warning: ‘compute_graph_statistics’ defined but not used [-Wunused-function] 2021-07-13T14:36:08,403 8882 | compute_graph_statistics (Nenofex * nenofex) 2021-07-13T14:36:08,403 | ^~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:08,405 nenofex/nenofex.c:4079:1: warning: ‘find_innermost_non_empty_scope’ defined but not used [-Wunused-function] 2021-07-13T14:36:08,405 4079 | find_innermost_non_empty_scope (Nenofex * nenofex) 2021-07-13T14:36:08,405 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:08,405 nenofex/nenofex.c:1274:1: warning: ‘print_graph_by_traversal’ defined but not used [-Wunused-function] 2021-07-13T14:36:08,406 1274 | print_graph_by_traversal (Nenofex *nenofex, Node * root) 2021-07-13T14:36:08,406 | ^~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:13,850 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 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -I. -I/usr/include/python3.9 -c nenofex/queue.c -o build/temp.linux-armv7l-3.9/nenofex/queue.o 2021-07-13T14:36:14,069 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 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -I. -I/usr/include/python3.9 -c nenofex/stack.c -o build/temp.linux-armv7l-3.9/nenofex/stack.o 2021-07-13T14:36:14,248 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 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -I. -I/usr/include/python3.9 -c picosat/picosat.c -o build/temp.linux-armv7l-3.9/picosat/picosat.o 2021-07-13T14:36:22,044 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -I. -I/usr/include/python3.9 -c picosat/version.c -o build/temp.linux-armv7l-3.9/picosat/version.o 2021-07-13T14:36:22,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 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -I. -I/usr/include/python3.9 -c pydepqbf.c -o build/temp.linux-armv7l-3.9/pydepqbf.o 2021-07-13T14:36:22,814 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 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -I. -I/usr/include/python3.9 -c qdpll.c -o build/temp.linux-armv7l-3.9/qdpll.o 2021-07-13T14:36:23,011 qdpll.c: In function ‘assert_var_pqueue_condition’: 2021-07-13T14:36:23,012 qdpll.c:1870:33: warning: variable ‘right_var’ set but not used [-Wunused-but-set-variable] 2021-07-13T14:36:23,012 1870 | Var *cur_var, *left_var, *right_var; 2021-07-13T14:36:23,012 | ^~~~~~~~~ 2021-07-13T14:36:23,013 qdpll.c:1870:22: warning: variable ‘left_var’ set but not used [-Wunused-but-set-variable] 2021-07-13T14:36:23,013 1870 | Var *cur_var, *left_var, *right_var; 2021-07-13T14:36:23,013 | ^~~~~~~~ 2021-07-13T14:36:23,014 qdpll.c:1870:12: warning: variable ‘cur_var’ set but not used [-Wunused-but-set-variable] 2021-07-13T14:36:23,015 1870 | Var *cur_var, *left_var, *right_var; 2021-07-13T14:36:23,015 | ^~~~~~~ 2021-07-13T14:36:23,021 qdpll.c: In function ‘is_clause_satisfied’: 2021-07-13T14:36:23,022 qdpll.c:2189:7: warning: variable ‘init_watchers’ set but not used [-Wunused-but-set-variable] 2021-07-13T14:36:23,022 2189 | int init_watchers = 0; 2021-07-13T14:36:23,022 | ^~~~~~~~~~~~~ 2021-07-13T14:36:23,023 qdpll.c: In function ‘is_clause_satisfied_by_prop_var’: 2021-07-13T14:36:23,025 qdpll.c:2335:7: warning: variable ‘init_watchers’ set but not used [-Wunused-but-set-variable] 2021-07-13T14:36:23,025 2335 | int init_watchers = 0; 2021-07-13T14:36:23,025 | ^~~~~~~~~~~~~ 2021-07-13T14:36:23,048 qdpll.c: In function ‘remove_clause_from_notify_list’: 2021-07-13T14:36:23,051 qdpll.c:3697:7: warning: unused variable ‘marked’ [-Wunused-variable] 2021-07-13T14:36:23,051 3697 | int marked = BLIT_MARKED_PTR (last_occ_constr); 2021-07-13T14:36:23,051 | ^~~~~~ 2021-07-13T14:36:23,056 qdpll.c: In function ‘update_literal_watchers’: 2021-07-13T14:36:23,059 qdpll.c:3893:16: warning: unused variable ‘mm’ [-Wunused-variable] 2021-07-13T14:36:23,059 3893 | QDPLLMemMan *mm = qdpll->mm; 2021-07-13T14:36:23,059 | ^~ 2021-07-13T14:36:23,061 qdpll.c: In function ‘init_literal_watcher’: 2021-07-13T14:36:23,063 qdpll.c:4235:16: warning: unused variable ‘num_lits’ [-Wunused-variable] 2021-07-13T14:36:23,063 4235 | unsigned int num_lits = c->num_lits; 2021-07-13T14:36:23,064 | ^~~~~~~~ 2021-07-13T14:36:23,094 qdpll.c: In function ‘unmark_constraint_variables’: 2021-07-13T14:36:23,097 qdpll.c:5269:19: warning: unused variable ‘lit’ [-Wunused-variable] 2021-07-13T14:36:23,097 5269 | LitID *p, *end, lit; 2021-07-13T14:36:23,097 | ^~~ 2021-07-13T14:36:23,109 qdpll.c: In function ‘import_added_ids’: 2021-07-13T14:36:23,112 qdpll.c:5643:16: warning: unused variable ‘internal_var’ [-Wunused-variable] 2021-07-13T14:36:23,113 5643 | Var *internal_var = VARID2VARPTR(qdpll->pcnf.vars, internal_id); 2021-07-13T14:36:23,113 | ^~~~~~~~~~~~ 2021-07-13T14:36:23,116 qdpll.c: In function ‘has_variable_active_occs_in_cubes’: 2021-07-13T14:36:23,120 qdpll.c:5705:9: warning: unused variable ‘lit’ [-Wunused-variable] 2021-07-13T14:36:23,120 5705 | LitID lit = occ_cubes == &(var->neg_occ_cubes) ? -var->id : var->id; 2021-07-13T14:36:23,120 | ^~~ 2021-07-13T14:36:23,126 qdpll.c: In function ‘has_variable_active_occs_in_clauses’: 2021-07-13T14:36:23,130 qdpll.c:5938:9: warning: unused variable ‘lit’ [-Wunused-variable] 2021-07-13T14:36:23,130 5938 | LitID lit = occ_clauses == &(var->neg_occ_clauses) ? -var->id : var->id; 2021-07-13T14:36:23,131 | ^~~ 2021-07-13T14:36:23,142 qdpll.c: In function ‘cover_by_clauses_collect_lits_sorted_aux’: 2021-07-13T14:36:23,146 qdpll.c:6266:12: warning: unused variable ‘v’ [-Wunused-variable] 2021-07-13T14:36:23,147 6266 | Var *v = LIT2VARPTR (qdpll->pcnf.vars, lit); 2021-07-13T14:36:23,147 | ^ 2021-07-13T14:36:23,147 qdpll.c: In function ‘cover_by_clauses_collect_lits_sorted’: 2021-07-13T14:36:23,151 qdpll.c:6293:8: warning: unused variable ‘vars’ [-Wunused-variable] 2021-07-13T14:36:23,151 6293 | Var *vars = qdpll->pcnf.vars; 2021-07-13T14:36:23,151 | ^~~~ 2021-07-13T14:36:23,218 qdpll.c: In function ‘all_smaller_type_lits_have_value_adv’: 2021-07-13T14:36:23,223 qdpll.c:7536:22: warning: unused variable ‘hi_dl_var_dec_level’ [-Wunused-variable] 2021-07-13T14:36:23,223 7536 | const unsigned int hi_dl_var_dec_level = hi_dl_var->decision_level; 2021-07-13T14:36:23,224 | ^~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:23,238 qdpll.c: In function ‘resolve_and_reduce’: 2021-07-13T14:36:23,244 qdpll.c:7695:16: warning: unused variable ‘nesting2’ [-Wunused-variable] 2021-07-13T14:36:23,244 7695 | unsigned int nesting2; 2021-07-13T14:36:23,245 | ^~~~~~~~ 2021-07-13T14:36:23,250 qdpll.c:7694:16: warning: unused variable ‘nesting1’ [-Wunused-variable] 2021-07-13T14:36:23,250 7694 | unsigned int nesting1; 2021-07-13T14:36:23,251 | ^~~~~~~~ 2021-07-13T14:36:23,256 qdpll.c:7693:9: warning: unused variable ‘vid2’ [-Wunused-variable] 2021-07-13T14:36:23,256 7693 | VarID vid2; 2021-07-13T14:36:23,256 | ^~~~ 2021-07-13T14:36:23,262 qdpll.c:7692:9: warning: unused variable ‘vid1’ [-Wunused-variable] 2021-07-13T14:36:23,262 7692 | VarID vid1; 2021-07-13T14:36:23,262 | ^~~~ 2021-07-13T14:36:23,268 qdpll.c:7683:16: warning: unused variable ‘del’ [-Wunused-variable] 2021-07-13T14:36:23,268 7683 | unsigned int del = 0; 2021-07-13T14:36:23,268 | ^~~ 2021-07-13T14:36:23,280 qdpll.c: In function ‘generate_reason’: 2021-07-13T14:36:23,287 qdpll.c:8032:5: warning: label ‘DO_RES’ defined but not used [-Wunused-label] 2021-07-13T14:36:23,287 8032 | DO_RES: 2021-07-13T14:36:23,287 | ^~~~~~ 2021-07-13T14:36:23,293 qdpll.c:7992:16: warning: unused variable ‘mm’ [-Wunused-variable] 2021-07-13T14:36:23,293 7992 | QDPLLMemMan *mm = qdpll->mm; 2021-07-13T14:36:23,293 | ^~ 2021-07-13T14:36:23,362 qdpll.c: In function ‘qpup_print_info_literals_aux’: 2021-07-13T14:36:23,368 qdpll.c:9126:20: warning: unused variable ‘v’ [-Wunused-variable] 2021-07-13T14:36:23,368 9126 | Var *v = LIT2VARPTR(qdpll->pcnf.vars, lit); 2021-07-13T14:36:23,368 | ^ 2021-07-13T14:36:23,374 qdpll.c:9137:12: warning: unused variable ‘v’ [-Wunused-variable] 2021-07-13T14:36:23,374 9137 | Var *v = LIT2VARPTR(qdpll->pcnf.vars, lit); 2021-07-13T14:36:23,375 | ^ 2021-07-13T14:36:23,386 In file included from qdpll_pcnf.h:32, 2021-07-13T14:36:23,386 from qdpll.c:35: 2021-07-13T14:36:23,386 qdpll.c: In function ‘qpup_res_reduce’: 2021-07-13T14:36:23,392 qdpll_stack.h:89:33: warning: value computed is not used [-Wunused-value] 2021-07-13T14:36:23,392 89 | #define QDPLL_POP_STACK(stack) (*--(stack).top) 2021-07-13T14:36:23,392 | ~^~~~~~~~~~~~~~~ 2021-07-13T14:36:23,393 qdpll.c:9325:11: note: in expansion of macro ‘QDPLL_POP_STACK’ 2021-07-13T14:36:23,393 9325 | QDPLL_POP_STACK(*stack); 2021-07-13T14:36:23,393 | ^~~~~~~~~~~~~~~ 2021-07-13T14:36:23,430 qdpll.c: In function ‘generate_and_add_reason’: 2021-07-13T14:36:23,436 qdpll.c:10434:20: warning: unused variable ‘offset’ [-Wunused-variable] 2021-07-13T14:36:23,437 10434 | unsigned int offset = 0; 2021-07-13T14:36:23,437 | ^~~~~~ 2021-07-13T14:36:23,445 qdpll.c:10354:16: warning: unused variable ‘is_taut’ [-Wunused-variable] 2021-07-13T14:36:23,445 10354 | unsigned int is_taut = 0; 2021-07-13T14:36:23,446 | ^~~~~~~ 2021-07-13T14:36:23,455 In file included from qdpll_pcnf.h:32, 2021-07-13T14:36:23,455 from qdpll.c:35: 2021-07-13T14:36:23,456 qdpll.c: In function ‘backtrack_undo_assignment’: 2021-07-13T14:36:23,462 qdpll_stack.h:89:33: warning: value computed is not used [-Wunused-value] 2021-07-13T14:36:23,463 89 | #define QDPLL_POP_STACK(stack) (*--(stack).top) 2021-07-13T14:36:23,463 | ~^~~~~~~~~~~~~~~ 2021-07-13T14:36:23,463 qdpll.c:10702:7: note: in expansion of macro ‘QDPLL_POP_STACK’ 2021-07-13T14:36:23,463 10702 | QDPLL_POP_STACK (qdpll->dec_vars); 2021-07-13T14:36:23,463 | ^~~~~~~~~~~~~~~ 2021-07-13T14:36:23,481 qdpll.c: In function ‘propagate_variable_assigned’: 2021-07-13T14:36:23,489 qdpll.c:11182:23: warning: unused variable ‘dm’ [-Wunused-variable] 2021-07-13T14:36:23,489 11182 | QDPLLDepManGeneric *dm = qdpll->dm; 2021-07-13T14:36:23,490 | ^~ 2021-07-13T14:36:23,502 qdpll.c: In function ‘qbcp_qbce_delete_watched_occ_entry’: 2021-07-13T14:36:23,509 qdpll.c:11570:16: warning: unused variable ‘del_offset’ [-Wunused-variable] 2021-07-13T14:36:23,509 11570 | unsigned int del_offset = *offset_entry_p; 2021-07-13T14:36:23,510 | ^~~~~~~~~~ 2021-07-13T14:36:23,511 qdpll.c: In function ‘qbcp_qbce_store_witness’: 2021-07-13T14:36:23,518 qdpll.c:11695:29: warning: unused variable ‘non_blocked_clause_entry’ [-Wunused-variable] 2021-07-13T14:36:23,519 11695 | QBCENonBlockedWitness non_blocked_clause_entry = *non_blocked_clause_entry_p; 2021-07-13T14:36:23,519 | ^~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:23,539 qdpll.c: In function ‘qbcp_qbce_push_maybe_blocked_clauses_by_assignment’: 2021-07-13T14:36:23,547 qdpll.c:11978:21: warning: unused variable ‘satisfying_lit’ [-Wunused-variable] 2021-07-13T14:36:23,547 11978 | LitID satisfying_lit; 2021-07-13T14:36:23,548 | ^~~~~~~~~~~~~~ 2021-07-13T14:36:23,556 qdpll.c: In function ‘assert_qbcp_qbce_blocked_clauses_integrity’: 2021-07-13T14:36:23,564 qdpll.c:12057:16: warning: unused variable ‘blocking_var’ [-Wunused-variable] 2021-07-13T14:36:23,564 12057 | Var *blocking_var = LIT2VARPTR 2021-07-13T14:36:23,564 | ^~~~~~~~~~~~ 2021-07-13T14:36:23,572 qdpll.c:12084:27: warning: unused variable ‘c’ [-Wunused-variable] 2021-07-13T14:36:23,572 12084 | Constraint *c = *p; 2021-07-13T14:36:23,572 | ^ 2021-07-13T14:36:23,580 qdpll.c:12093:27: warning: unused variable ‘c’ [-Wunused-variable] 2021-07-13T14:36:23,580 12093 | Constraint *c = *p; 2021-07-13T14:36:23,580 | ^ 2021-07-13T14:36:23,585 qdpll.c: In function ‘assert_qbcp_qbce_non_blocked_witness_integrity’: 2021-07-13T14:36:23,594 qdpll.c:12222:41: warning: unused variable ‘check_pair’ [-Wunused-variable] 2021-07-13T14:36:23,594 12222 | QBCENonBlockedWitness check_pair = *check_p; 2021-07-13T14:36:23,594 | ^~~~~~~~~~ 2021-07-13T14:36:23,604 qdpll.c:12197:20: warning: unused variable ‘non_blocking_var’ [-Wunused-variable] 2021-07-13T14:36:23,604 12197 | Var *non_blocking_var = 2021-07-13T14:36:23,604 | ^~~~~~~~~~~~~~~~ 2021-07-13T14:36:23,612 qdpll.c:12259:41: warning: unused variable ‘check_pair’ [-Wunused-variable] 2021-07-13T14:36:23,612 12259 | QBCENonBlockedWitness check_pair = *check_p; 2021-07-13T14:36:23,613 | ^~~~~~~~~~ 2021-07-13T14:36:23,621 qdpll.c:12264:37: warning: unused variable ‘check_pair’ [-Wunused-variable] 2021-07-13T14:36:23,621 12264 | QBCENonBlockedWitness check_pair = {maybe_blocked_pair.non_blocking_lit, {c->lits[0], c}, 2021-07-13T14:36:23,621 | ^~~~~~~~~~ 2021-07-13T14:36:23,663 qdpll.c: In function ‘qbcp_qbce_find_blocked_clauses’: 2021-07-13T14:36:23,673 qdpll.c:12647:20: warning: unused variable ‘var’ [-Wunused-variable] 2021-07-13T14:36:23,674 12647 | Var *var = LIT2VARPTR (qdpll->pcnf.vars, lit); 2021-07-13T14:36:23,674 | ^~~ 2021-07-13T14:36:23,686 qdpll.c: In function ‘cleanup_constraint_sweep’: 2021-07-13T14:36:23,695 qdpll.c:13182:16: warning: unused variable ‘check_del’ [-Wunused-variable] 2021-07-13T14:36:23,695 13182 | unsigned int check_del = 0; 2021-07-13T14:36:23,696 | ^~~~~~~~~ 2021-07-13T14:36:23,709 qdpll.c: In function ‘check_resize_learnt_constraints’: 2021-07-13T14:36:23,719 qdpll.c:13279:15: warning: unused variable ‘c’ [-Wunused-variable] 2021-07-13T14:36:23,720 13279 | Constraint *c; 2021-07-13T14:36:23,720 | ^ 2021-07-13T14:36:23,899 qdpll.c: In function ‘qbcp_qbce_check_blocked_clauses_after_clause_addition’: 2021-07-13T14:36:23,909 qdpll.c:14640:27: warning: unused variable ‘blocked_occs’ [-Wunused-variable] 2021-07-13T14:36:23,909 14640 | ConstraintPtrStack *blocked_occs; 2021-07-13T14:36:23,909 | ^~~~~~~~~~~~ 2021-07-13T14:36:24,014 qdpll.c: In function ‘solve’: 2021-07-13T14:36:24,027 qdpll.c:15406:23: warning: unused variable ‘dm’ [-Wunused-variable] 2021-07-13T14:36:24,027 15406 | QDPLLDepManGeneric *dm = qdpll->dm; 2021-07-13T14:36:24,027 | ^~ 2021-07-13T14:36:24,032 In file included from qdpll_pcnf.h:32, 2021-07-13T14:36:24,033 from qdpll.c:35: 2021-07-13T14:36:24,033 qdpll.c: In function ‘reset_clean_up_assignments’: 2021-07-13T14:36:24,043 qdpll_stack.h:89:33: warning: value computed is not used [-Wunused-value] 2021-07-13T14:36:24,044 89 | #define QDPLL_POP_STACK(stack) (*--(stack).top) 2021-07-13T14:36:24,044 | ~^~~~~~~~~~~~~~~ 2021-07-13T14:36:24,044 qdpll.c:16081:15: note: in expansion of macro ‘QDPLL_POP_STACK’ 2021-07-13T14:36:24,044 16081 | QDPLL_POP_STACK (qdpll->dec_vars); 2021-07-13T14:36:24,044 | ^~~~~~~~~~~~~~~ 2021-07-13T14:36:24,095 qdpll.c: In function ‘recompute_var_act_scores’: 2021-07-13T14:36:24,109 qdpll.c:16854:20: warning: unused variable ‘ce’ [-Wunused-variable] 2021-07-13T14:36:24,109 16854 | Constraint *cp, *ce; 2021-07-13T14:36:24,109 | ^~ 2021-07-13T14:36:24,114 qdpll.c: In function ‘qdo_reconstruct_cnf_model_is_clause_empty’: 2021-07-13T14:36:24,128 qdpll.c:16873:34: warning: unused variable ‘sat_var’ [-Wunused-variable] 2021-07-13T14:36:24,128 16873 | Var *vars = qdpll->pcnf.vars, *sat_var = 0; 2021-07-13T14:36:24,128 | ^~~~~~~ 2021-07-13T14:36:24,557 In file included from qdpll_pcnf.h:32, 2021-07-13T14:36:24,557 from qdpll.c:35: 2021-07-13T14:36:24,557 qdpll.c: In function ‘qdpll_pop’: 2021-07-13T14:36:24,569 qdpll_stack.h:89:33: warning: value computed is not used [-Wunused-value] 2021-07-13T14:36:24,569 89 | #define QDPLL_POP_STACK(stack) (*--(stack).top) 2021-07-13T14:36:24,569 | ~^~~~~~~~~~~~~~~ 2021-07-13T14:36:24,569 qdpll.c:18100:3: note: in expansion of macro ‘QDPLL_POP_STACK’ 2021-07-13T14:36:24,570 18100 | QDPLL_POP_STACK(qdpll->state.cur_used_internal_vars); 2021-07-13T14:36:24,570 | ^~~~~~~~~~~~~~~ 2021-07-13T14:36:24,853 At top level: 2021-07-13T14:36:24,867 qdpll.c:16838:1: warning: ‘recompute_var_act_scores’ defined but not used [-Wunused-function] 2021-07-13T14:36:24,867 16838 | recompute_var_act_scores (QDPLL *qdpll) 2021-07-13T14:36:24,867 | ^~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:24,878 qdpll.c:14066:1: warning: ‘count_selector_literals’ defined but not used [-Wunused-function] 2021-07-13T14:36:24,878 14066 | count_selector_literals (QDPLL *qdpll, Constraint *c) 2021-07-13T14:36:24,878 | ^~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:24,889 qdpll.c:14051:1: warning: ‘find_selector_literal’ defined but not used [-Wunused-function] 2021-07-13T14:36:24,889 14051 | find_selector_literal (QDPLL *qdpll, Constraint *c) 2021-07-13T14:36:24,889 | ^~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:24,900 qdpll.c:13743:1: warning: ‘setup_occ_lists’ defined but not used [-Wunused-function] 2021-07-13T14:36:24,900 13743 | setup_occ_lists (QDPLL * qdpll) 2021-07-13T14:36:24,900 | ^~~~~~~~~~~~~~~ 2021-07-13T14:36:24,911 qdpll.c:13695:1: warning: ‘reset_occ_lists’ defined but not used [-Wunused-function] 2021-07-13T14:36:24,911 13695 | reset_occ_lists (QDPLL * qdpll) 2021-07-13T14:36:24,911 | ^~~~~~~~~~~~~~~ 2021-07-13T14:36:24,922 qdpll.c:13387:1: warning: ‘print_config’ defined but not used [-Wunused-function] 2021-07-13T14:36:24,922 13387 | print_config (QDPLL * qdpll) 2021-07-13T14:36:24,922 | ^~~~~~~~~~~~ 2021-07-13T14:36:24,932 qdpll.c:12129:1: warning: ‘assert_qbcp_qbce_non_blocked_witness_integrity’ defined but not used [-Wunused-function] 2021-07-13T14:36:24,932 12129 | assert_qbcp_qbce_non_blocked_witness_integrity (QDPLL *qdpll) 2021-07-13T14:36:24,932 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:24,941 qdpll.c:12042:1: warning: ‘assert_qbcp_qbce_blocked_clauses_integrity’ defined but not used [-Wunused-function] 2021-07-13T14:36:24,941 12042 | assert_qbcp_qbce_blocked_clauses_integrity (QDPLL *qdpll) 2021-07-13T14:36:24,941 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:24,951 qdpll.c:12032:1: warning: ‘qbcp_qbce_find_in_blocked_clauses’ defined but not used [-Wunused-function] 2021-07-13T14:36:24,951 12032 | qbcp_qbce_find_in_blocked_clauses (ConstraintPtrStack *stack, Constraint *c) 2021-07-13T14:36:24,951 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:24,960 qdpll.c:11482:1: warning: ‘qbcp_qbce_find_watched_occ’ defined but not used [-Wunused-function] 2021-07-13T14:36:24,960 11482 | qbcp_qbce_find_watched_occ (QDPLL *qdpll, ConstraintPtrStack *watched_occs, 2021-07-13T14:36:24,960 | ^~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:24,969 qdpll.c:11380:1: warning: ‘qbcp_qbce_find_clause_in_list’ defined but not used [-Wunused-function] 2021-07-13T14:36:24,969 11380 | qbcp_qbce_find_clause_in_list (QDPLL *qdpll, QBCENonBlockedWitnessStack *list, 2021-07-13T14:36:24,969 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:24,977 qdpll.c:11338:1: warning: ‘assumptions_given’ defined but not used [-Wunused-function] 2021-07-13T14:36:24,978 11338 | assumptions_given (QDPLL *qdpll) 2021-07-13T14:36:24,978 | ^~~~~~~~~~~~~~~~~ 2021-07-13T14:36:24,986 qdpll.c:11304:1: warning: ‘is_lit_reducible_in_clause’ defined but not used [-Wunused-function] 2021-07-13T14:36:24,986 11304 | is_lit_reducible_in_clause (QDPLL * qdpll, LitID lit, Constraint * c, 2021-07-13T14:36:24,987 | ^~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:24,995 qdpll.c:11283:1: warning: ‘sizeof_top_level’ defined but not used [-Wunused-function] 2021-07-13T14:36:24,995 11283 | sizeof_top_level (QDPLL * qdpll) 2021-07-13T14:36:24,995 | ^~~~~~~~~~~~~~~~ 2021-07-13T14:36:25,003 qdpll.c:9899:1: warning: ‘check_invariant_qpup_is_subseteq’ defined but not used [-Wunused-function] 2021-07-13T14:36:25,003 9899 | check_invariant_qpup_is_subseteq (QDPLL *qdpll, Constraint *c1, Constraint *c2, 2021-07-13T14:36:25,003 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:25,011 qdpll.c:9854:1: warning: ‘qpup_is_subseteq’ defined but not used [-Wunused-function] 2021-07-13T14:36:25,011 9854 | qpup_is_subseteq (Constraint *c1, Constraint *c2) 2021-07-13T14:36:25,011 | ^~~~~~~~~~~~~~~~ 2021-07-13T14:36:25,018 qdpll.c:9782:1: warning: ‘assert_qpup_data_cleared’ defined but not used [-Wunused-function] 2021-07-13T14:36:25,018 9782 | assert_qpup_data_cleared (QDPLL *qdpll) 2021-07-13T14:36:25,019 | ^~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:25,025 qdpll.c:9199:1: warning: ‘qpup_is_tautology’ defined but not used [-Wunused-function] 2021-07-13T14:36:25,026 9199 | qpup_is_tautology (LitID *start, LitID *end) 2021-07-13T14:36:25,026 | ^~~~~~~~~~~~~~~~~ 2021-07-13T14:36:25,033 qdpll.c:9180:1: warning: ‘qpup_has_duplicate_lits’ defined but not used [-Wunused-function] 2021-07-13T14:36:25,033 9180 | qpup_has_duplicate_lits (LitID *start, LitID *end) 2021-07-13T14:36:25,033 | ^~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:25,039 qdpll.c:8246:1: warning: ‘qpup_res_is_var_marked’ defined but not used [-Wunused-function] 2021-07-13T14:36:25,039 8246 | qpup_res_is_var_marked (Var *var) 2021-07-13T14:36:25,039 | ^~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:25,045 qdpll.c:7951:1: warning: ‘working_clause_is_tautologous’ defined but not used [-Wunused-function] 2021-07-13T14:36:25,045 7951 | working_clause_is_tautologous (QDPLL * qdpll, LitIDStack * lit_stack, 2021-07-13T14:36:25,045 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:25,050 qdpll.c:6579:1: warning: ‘cover_by_assignment_keep_univ_var’ defined but not used [-Wunused-function] 2021-07-13T14:36:25,050 6579 | cover_by_assignment_keep_univ_var (QDPLL *qdpll, Var *univ_var, 2021-07-13T14:36:25,050 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:25,055 qdpll.c:6550:1: warning: ‘cover_by_assignment_check_blocked_clauses’ defined but not used [-Wunused-function] 2021-07-13T14:36:25,055 6550 | cover_by_assignment_check_blocked_clauses (QDPLL *qdpll, Var *univ_var) 2021-07-13T14:36:25,055 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:25,060 qdpll.c:5983:1: warning: ‘get_reason_asserting_level’ defined but not used [-Wunused-function] 2021-07-13T14:36:25,060 5983 | get_reason_asserting_level (QDPLL * qdpll, LitID * lit_start, LitID * lit_end, 2021-07-13T14:36:25,060 | ^~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:25,064 qdpll.c:5722:1: warning: ‘is_var_pure_in_cubes’ defined but not used [-Wunused-function] 2021-07-13T14:36:25,064 5722 | is_var_pure_in_cubes (QDPLL * qdpll, Var * var, 2021-07-13T14:36:25,064 | ^~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:25,066 qdpll.c:3196:1: warning: ‘assert_all_assigned_assumption_lits_clause’ defined but not used [-Wunused-function] 2021-07-13T14:36:25,067 3196 | assert_all_assigned_assumption_lits_clause (QDPLL *qdpll, Constraint *c) 2021-07-13T14:36:25,067 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:25,068 qdpll.c:2839:1: warning: ‘determine_solver_state’ defined but not used [-Wunused-function] 2021-07-13T14:36:25,069 2839 | determine_solver_state (QDPLL * qdpll) 2021-07-13T14:36:25,069 | ^~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:25,070 qdpll.c:2626:1: warning: ‘is_cube_unit’ defined but not used [-Wunused-function] 2021-07-13T14:36:25,070 2626 | is_cube_unit (QDPLL * qdpll, Constraint * cube) 2021-07-13T14:36:25,071 | ^~~~~~~~~~~~ 2021-07-13T14:36:25,072 qdpll.c:2008:1: warning: ‘var_pqueue_access_min’ defined but not used [-Wunused-function] 2021-07-13T14:36:25,072 2008 | var_pqueue_access_min (QDPLL * qdpll) 2021-07-13T14:36:25,072 | ^~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:25,073 qdpll.c:1860:1: warning: ‘assert_var_pqueue_condition’ defined but not used [-Wunused-function] 2021-07-13T14:36:25,073 1860 | assert_var_pqueue_condition (QDPLL * qdpll) 2021-07-13T14:36:25,073 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:25,074 qdpll.c:1663:1: warning: ‘compute_constraint_lbd’ defined but not used [-Wunused-function] 2021-07-13T14:36:25,074 1663 | compute_constraint_lbd (QDPLL * qdpll, Constraint * c) 2021-07-13T14:36:25,074 | ^~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:25,075 qdpll.c:1472:1: warning: ‘assert_peek_taut_lit_irreducible’ defined but not used [-Wunused-function] 2021-07-13T14:36:25,075 1472 | assert_peek_taut_lit_irreducible (QDPLL * qdpll, LitIDStack * lit_stack, 2021-07-13T14:36:25,075 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:25,076 qdpll.c:314:1: warning: ‘print_assigned_vars’ defined but not used [-Wunused-function] 2021-07-13T14:36:25,076 314 | print_assigned_vars (QDPLL * qdpll) 2021-07-13T14:36:25,076 | ^~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:25,076 qdpll.c:296:1: warning: ‘count_in_notify_literal_watcher_list’ defined but not used [-Wunused-function] 2021-07-13T14:36:25,076 296 | count_in_notify_literal_watcher_list (BLitsOccStack * notify_list, 2021-07-13T14:36:25,076 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:25,076 qdpll.c:280:1: warning: ‘offset_in_clause’ defined but not used [-Wunused-function] 2021-07-13T14:36:25,077 280 | offset_in_clause (Constraint * clause, LitID id) 2021-07-13T14:36:25,077 | ^~~~~~~~~~~~~~~~ 2021-07-13T14:36:25,077 qdpll.c:265:1: warning: ‘offset_in_notify_clause_watcher_list’ defined but not used [-Wunused-function] 2021-07-13T14:36:25,077 265 | offset_in_notify_clause_watcher_list (LitIDStack * notify_list, LitID id) 2021-07-13T14:36:25,077 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:25,077 qdpll.c:249:1: warning: ‘count_in_notify_clause_watcher_list’ defined but not used [-Wunused-function] 2021-07-13T14:36:25,077 249 | count_in_notify_clause_watcher_list (LitIDStack * notify_list, LitID id) 2021-07-13T14:36:25,078 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:25,078 qdpll.c:237:1: warning: ‘find_in_assigned_vars’ defined but not used [-Wunused-function] 2021-07-13T14:36:25,078 237 | find_in_assigned_vars (QDPLL * qdpll, VarID id) 2021-07-13T14:36:25,078 | ^~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:25,078 qdpll.c:227:1: warning: ‘print_var_pqueue’ defined but not used [-Wunused-function] 2021-07-13T14:36:25,078 227 | print_var_pqueue (QDPLL * qdpll) 2021-07-13T14:36:25,078 | ^~~~~~~~~~~~~~~~ 2021-07-13T14:36:25,078 qdpll.c:221:1: warning: ‘check_depends’ defined but not used [-Wunused-function] 2021-07-13T14:36:25,079 221 | check_depends (QDPLL * qdpll, VarID id1, VarID id2) 2021-07-13T14:36:25,079 | ^~~~~~~~~~~~~ 2021-07-13T14:36:25,079 qdpll.c:194:1: warning: ‘print_vars_state’ defined but not used [-Wunused-function] 2021-07-13T14:36:25,079 194 | print_vars_state (QDPLL * qdpll) 2021-07-13T14:36:25,079 | ^~~~~~~~~~~~~~~~ 2021-07-13T14:36:25,079 qdpll.c:177:1: warning: ‘print_lit_notify_lists_info’ defined but not used [-Wunused-function] 2021-07-13T14:36:25,079 177 | print_lit_notify_lists_info (QDPLL * qdpll) 2021-07-13T14:36:25,079 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:25,079 qdpll.c:147:1: warning: ‘print_all_deps’ defined but not used [-Wunused-function] 2021-07-13T14:36:25,080 147 | print_all_deps (QDPLL * qdpll) 2021-07-13T14:36:25,080 | ^~~~~~~~~~~~~~ 2021-07-13T14:36:39,447 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 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -I. -I/usr/include/python3.9 -c qdpll_dep_man_qdag.c -o build/temp.linux-armv7l-3.9/qdpll_dep_man_qdag.o 2021-07-13T14:36:39,597 qdpll_dep_man_qdag.c: In function ‘assert_pq_condition’: 2021-07-13T14:36:39,597 qdpll_dep_man_qdag.c:533:29: warning: variable ‘right’ set but not used [-Wunused-but-set-variable] 2021-07-13T14:36:39,597 533 | Edge **cur, **left, **right; 2021-07-13T14:36:39,598 | ^~~~~ 2021-07-13T14:36:39,598 qdpll_dep_man_qdag.c:533:21: warning: variable ‘left’ set but not used [-Wunused-but-set-variable] 2021-07-13T14:36:39,598 533 | Edge **cur, **left, **right; 2021-07-13T14:36:39,598 | ^~~~ 2021-07-13T14:36:39,599 qdpll_dep_man_qdag.c:533:14: warning: variable ‘cur’ set but not used [-Wunused-but-set-variable] 2021-07-13T14:36:39,599 533 | Edge **cur, **left, **right; 2021-07-13T14:36:39,599 | ^~~ 2021-07-13T14:36:39,603 qdpll_dep_man_qdag.c: In function ‘assert_graph_check_edges_pq’: 2021-07-13T14:36:39,603 qdpll_dep_man_qdag.c:845:12: warning: unused variable ‘tv’ [-Wunused-variable] 2021-07-13T14:36:39,604 845 | Var *tv = VARID2VARPTR (vars, (*d)->tail_var); 2021-07-13T14:36:39,604 | ^~ 2021-07-13T14:36:39,604 qdpll_dep_man_qdag.c: In function ‘assert_graph_check_edges’: 2021-07-13T14:36:39,605 qdpll_dep_man_qdag.c:866:14: warning: unused variable ‘hv’ [-Wunused-variable] 2021-07-13T14:36:39,605 866 | Var *hv = VARID2VARPTR (vars, d->head_var); 2021-07-13T14:36:39,605 | ^~ 2021-07-13T14:36:39,609 qdpll_dep_man_qdag.c: In function ‘assert_c_edges_integrity’: 2021-07-13T14:36:39,610 qdpll_dep_man_qdag.c:1114:8: warning: variable ‘prev’ set but not used [-Wunused-but-set-variable] 2021-07-13T14:36:39,610 1114 | Var *prev, *cur; 2021-07-13T14:36:39,610 | ^~~~ 2021-07-13T14:36:39,611 qdpll_dep_man_qdag.c: In function ‘assert_xcheck_dependencies’: 2021-07-13T14:36:39,612 qdpll_dep_man_qdag.c:1210:53: warning: variable ‘e2’ set but not used [-Wunused-but-set-variable] 2021-07-13T14:36:39,612 1210 | Var **p1, **prev1, **p2, **prev2, **e1, **e2; 2021-07-13T14:36:39,612 | ^~ 2021-07-13T14:36:39,613 qdpll_dep_man_qdag.c:1205:24: warning: unused variable ‘cnt_deps_from_graph’ [-Wunused-variable] 2021-07-13T14:36:39,613 1205 | unsigned int cnt_deps_from_graph = 2021-07-13T14:36:39,613 | ^~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:39,614 qdpll_dep_man_qdag.c:1204:24: warning: unused variable ‘cnt_deps_from_cnf’ [-Wunused-variable] 2021-07-13T14:36:39,614 1204 | unsigned int cnt_deps_from_cnf = QDPLL_COUNT_STACK (deps_from_cnf); 2021-07-13T14:36:39,614 | ^~~~~~~~~~~~~~~~~ 2021-07-13T14:36:39,676 qdpll_dep_man_qdag.c: In function ‘mark_inverse_depending_exists_forall’: 2021-07-13T14:36:39,679 qdpll_dep_man_qdag.c:4594:10: warning: unused variable ‘qdpll’ [-Wunused-variable] 2021-07-13T14:36:39,679 4594 | QDPLL *qdpll = dm->dmg.qdpll; 2021-07-13T14:36:39,679 | ^~~~~ 2021-07-13T14:36:39,680 qdpll_dep_man_qdag.c: In function ‘mark_inverse_depending_forall_exists’: 2021-07-13T14:36:39,683 qdpll_dep_man_qdag.c:4683:10: warning: unused variable ‘qdpll’ [-Wunused-variable] 2021-07-13T14:36:39,683 4683 | QDPLL *qdpll = dm->dmg.qdpll; 2021-07-13T14:36:39,683 | ^~~~~ 2021-07-13T14:36:39,684 qdpll_dep_man_qdag.c: In function ‘type_reduce_push_members’: 2021-07-13T14:36:39,687 qdpll_dep_man_qdag.c:4793:12: warning: unused variable ‘var’ [-Wunused-variable] 2021-07-13T14:36:39,687 4793 | Var *var = LIT2VARPTR (vars, lit); 2021-07-13T14:36:39,687 | ^~~ 2021-07-13T14:36:39,689 qdpll_dep_man_qdag.c: In function ‘type_reduce_by_std_deps_adv’: 2021-07-13T14:36:39,692 qdpll_dep_man_qdag.c:4815:14: warning: unused variable ‘e’ [-Wunused-variable] 2021-07-13T14:36:39,692 4815 | LitID *p, *e; 2021-07-13T14:36:39,692 | ^ 2021-07-13T14:36:39,695 qdpll_dep_man_qdag.c:4815:10: warning: unused variable ‘p’ [-Wunused-variable] 2021-07-13T14:36:39,695 4815 | LitID *p, *e; 2021-07-13T14:36:39,695 | ^ 2021-07-13T14:36:39,698 qdpll_dep_man_qdag.c:4814:8: warning: unused variable ‘vars’ [-Wunused-variable] 2021-07-13T14:36:39,698 4814 | Var *vars = qdpll->pcnf.vars; 2021-07-13T14:36:39,698 | ^~~~ 2021-07-13T14:36:39,701 In file included from qdpll_pcnf.h:32, 2021-07-13T14:36:39,701 from qdpll_dep_man_generic.h:29, 2021-07-13T14:36:39,701 from qdpll_internals.h:29, 2021-07-13T14:36:39,702 from qdpll_dep_man_qdag.c:30: 2021-07-13T14:36:39,702 qdpll_dep_man_qdag.c: In function ‘type_reduce’: 2021-07-13T14:36:39,705 qdpll_stack.h:89:33: warning: value computed is not used [-Wunused-value] 2021-07-13T14:36:39,705 89 | #define QDPLL_POP_STACK(stack) (*--(stack).top) 2021-07-13T14:36:39,705 | ~^~~~~~~~~~~~~~~ 2021-07-13T14:36:39,705 qdpll_dep_man_qdag.c:5079:15: note: in expansion of macro ‘QDPLL_POP_STACK’ 2021-07-13T14:36:39,705 5079 | QDPLL_POP_STACK (**lit_stack); 2021-07-13T14:36:39,705 | ^~~~~~~~~~~~~~~ 2021-07-13T14:36:39,709 qdpll_dep_man_qdag.c: In function ‘qdpll_dep_man_init’: 2021-07-13T14:36:39,712 qdpll_dep_man_qdag.c:5134:25: warning: unused variable ‘type’ [-Wunused-variable] 2021-07-13T14:36:39,713 5134 | const QDPLLDepManType type = dmg->type; 2021-07-13T14:36:39,713 | ^~~~ 2021-07-13T14:36:39,728 qdpll_dep_man_qdag.c: In function ‘qdpll_dep_man_reduce_lits’: 2021-07-13T14:36:39,731 qdpll_dep_man_qdag.c:5855:20: warning: unused variable ‘dm’ [-Wunused-variable] 2021-07-13T14:36:39,731 5855 | QDPLLDepManQDAG *dm = (QDPLLDepManQDAG *) dmg; 2021-07-13T14:36:39,732 | ^~ 2021-07-13T14:36:39,733 qdpll_dep_man_qdag.c: In function ‘qdpll_dep_man_get_candidates’: 2021-07-13T14:36:39,736 qdpll_dep_man_qdag.c:5880:14: warning: unused variable ‘cidn’ [-Wunused-variable] 2021-07-13T14:36:39,736 5880 | VarID cid, cidn; 2021-07-13T14:36:39,736 | ^~~~ 2021-07-13T14:36:39,740 qdpll_dep_man_qdag.c:5872:25: warning: unused variable ‘type’ [-Wunused-variable] 2021-07-13T14:36:39,740 5872 | const QDPLLDepManType type = dmg->type; 2021-07-13T14:36:39,740 | ^~~~ 2021-07-13T14:36:39,743 qdpll_dep_man_qdag.c: At top level: 2021-07-13T14:36:39,744 qdpll_dep_man_qdag.c:1256:12: warning: ‘referenced_by_active_existential_var’ declared ‘static’ but never defined [-Wunused-function] 2021-07-13T14:36:39,744 1256 | static int referenced_by_active_existential_var (Var * vars, Var * var); 2021-07-13T14:36:39,744 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:39,787 qdpll_dep_man_qdag.c:4478:1: warning: ‘print_marked_candidates’ defined but not used [-Wunused-function] 2021-07-13T14:36:39,787 4478 | print_marked_candidates (QDPLLDepManQDAG * dm) 2021-07-13T14:36:39,787 | ^~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:39,790 qdpll_dep_man_qdag.c:4462:1: warning: ‘print_candidate_list’ defined but not used [-Wunused-function] 2021-07-13T14:36:39,790 4462 | print_candidate_list (QDPLLDepManQDAG * dm) 2021-07-13T14:36:39,790 | ^~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:39,793 qdpll_dep_man_qdag.c:4087:1: warning: ‘referenced_by_active_universal_class’ defined but not used [-Wunused-function] 2021-07-13T14:36:39,793 4087 | referenced_by_active_universal_class (Var * vars, Var * v) 2021-07-13T14:36:39,793 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:39,795 qdpll_dep_man_qdag.c:3533:1: warning: ‘count_direct_active_refs_by_univ_class’ defined but not used [-Wunused-function] 2021-07-13T14:36:39,795 3533 | count_direct_active_refs_by_univ_class (Var * vars, Var * v) 2021-07-13T14:36:39,796 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:39,798 qdpll_dep_man_qdag.c:3505:1: warning: ‘count_direct_active_refs_by_sedge’ defined but not used [-Wunused-function] 2021-07-13T14:36:39,798 3505 | count_direct_active_refs_by_sedge (Var * vars, Var * v) 2021-07-13T14:36:39,798 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:39,800 qdpll_dep_man_qdag.c:3473:1: warning: ‘count_direct_active_refs_by_exist_var’ defined but not used [-Wunused-function] 2021-07-13T14:36:39,800 3473 | count_direct_active_refs_by_exist_var (Var * vars, Var * v) 2021-07-13T14:36:39,800 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:39,802 qdpll_dep_man_qdag.c:3445:1: warning: ‘count_direct_non_candidate_refs_by_univ_class’ defined but not used [-Wunused-function] 2021-07-13T14:36:39,803 3445 | count_direct_non_candidate_refs_by_univ_class (Var * vars, Var * v) 2021-07-13T14:36:39,803 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:39,803 qdpll_dep_man_qdag.c:1242:1: warning: ‘assert_candidate_list’ defined but not used [-Wunused-function] 2021-07-13T14:36:39,804 1242 | assert_candidate_list (QDPLLDepManQDAG * dm) 2021-07-13T14:36:39,804 | ^~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:39,804 qdpll_dep_man_qdag.c:1168:1: warning: ‘assert_xcheck_dependencies’ defined but not used [-Wunused-function] 2021-07-13T14:36:39,804 1168 | assert_xcheck_dependencies (QDPLLDepManQDAG * dm) 2021-07-13T14:36:39,805 | ^~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:39,805 qdpll_dep_man_qdag.c:1111:1: warning: ‘assert_c_edges_integrity’ defined but not used [-Wunused-function] 2021-07-13T14:36:39,805 1111 | assert_c_edges_integrity (Var * vars, Var * start) 2021-07-13T14:36:39,806 | ^~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:39,806 qdpll_dep_man_qdag.c:1052:1: warning: ‘assert_insert_c_edge_cchilds’ defined but not used [-Wunused-function] 2021-07-13T14:36:39,806 1052 | assert_insert_c_edge_cchilds (Var * vars, Var * from, Var * to) 2021-07-13T14:36:39,806 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:39,807 qdpll_dep_man_qdag.c:878:1: warning: ‘assert_graph_integrity’ defined but not used [-Wunused-function] 2021-07-13T14:36:39,807 878 | assert_graph_integrity (QDPLLDepManQDAG * dm) 2021-07-13T14:36:39,807 | ^~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:44,008 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 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -I. -I/usr/include/python3.9 -c qdpll_dynamic_nenofex.c -o build/temp.linux-armv7l-3.9/qdpll_dynamic_nenofex.o 2021-07-13T14:36:44,425 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 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -I. -I/usr/include/python3.9 -c qdpll_mem.c -o build/temp.linux-armv7l-3.9/qdpll_mem.o 2021-07-13T14:36:44,685 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 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -I. -I/usr/include/python3.9 -c qdpll_pqueue.c -o build/temp.linux-armv7l-3.9/qdpll_pqueue.o 2021-07-13T14:36:44,766 qdpll_pqueue.c: In function ‘assert_pqueue_condition’: 2021-07-13T14:36:44,766 qdpll_pqueue.c:181:39: warning: variable ‘right’ set but not used [-Wunused-but-set-variable] 2021-07-13T14:36:44,767 181 | PriorityQueueElem *cur, *left, *right; 2021-07-13T14:36:44,767 | ^~~~~ 2021-07-13T14:36:44,767 qdpll_pqueue.c:181:32: warning: variable ‘left’ set but not used [-Wunused-but-set-variable] 2021-07-13T14:36:44,767 181 | PriorityQueueElem *cur, *left, *right; 2021-07-13T14:36:44,767 | ^~~~ 2021-07-13T14:36:44,768 qdpll_pqueue.c:181:26: warning: variable ‘cur’ set but not used [-Wunused-but-set-variable] 2021-07-13T14:36:44,768 181 | PriorityQueueElem *cur, *left, *right; 2021-07-13T14:36:44,768 | ^~~ 2021-07-13T14:36:44,772 At top level: 2021-07-13T14:36:44,772 qdpll_pqueue.c:217:1: warning: ‘print_pqueue’ defined but not used [-Wunused-function] 2021-07-13T14:36:44,772 217 | print_pqueue (PriorityQueue * pqueue) 2021-07-13T14:36:44,773 | ^~~~~~~~~~~~ 2021-07-13T14:36:44,773 qdpll_pqueue.c:174:1: warning: ‘assert_pqueue_condition’ defined but not used [-Wunused-function] 2021-07-13T14:36:44,773 174 | assert_pqueue_condition (PriorityQueue * pqueue) 2021-07-13T14:36:44,773 | ^~~~~~~~~~~~~~~~~~~~~~~ 2021-07-13T14:36:44,944 arm-linux-gnueabihf-gcc -pthread -shared -Wl,-O1 -Wl,-Bsymbolic-functions -Wl,-z,relro -g -fwrapv -O2 -Wl,-z,relro -g -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/nenofex/atpg.o build/temp.linux-armv7l-3.9/nenofex/mem.o build/temp.linux-armv7l-3.9/nenofex/nenofex.o build/temp.linux-armv7l-3.9/nenofex/queue.o build/temp.linux-armv7l-3.9/nenofex/stack.o build/temp.linux-armv7l-3.9/picosat/picosat.o build/temp.linux-armv7l-3.9/picosat/version.o build/temp.linux-armv7l-3.9/pydepqbf.o build/temp.linux-armv7l-3.9/qdpll.o build/temp.linux-armv7l-3.9/qdpll_dep_man_qdag.o build/temp.linux-armv7l-3.9/qdpll_dynamic_nenofex.o build/temp.linux-armv7l-3.9/qdpll_mem.o build/temp.linux-armv7l-3.9/qdpll_pqueue.o -o build/lib.linux-armv7l-3.9/pydepqbf.cpython-39-arm-linux-gnueabihf.so 2021-07-13T14:36:45,178 installing to build/bdist.linux-armv7l/wheel 2021-07-13T14:36:45,178 running install 2021-07-13T14:36:45,180 running install_lib 2021-07-13T14:36:45,184 creating build/bdist.linux-armv7l 2021-07-13T14:36:45,185 creating build/bdist.linux-armv7l/wheel 2021-07-13T14:36:45,189 copying build/lib.linux-armv7l-3.9/pydepqbf.cpython-39-arm-linux-gnueabihf.so -> build/bdist.linux-armv7l/wheel 2021-07-13T14:36:45,240 copying build/lib.linux-armv7l-3.9/test_pydepqbf.py -> build/bdist.linux-armv7l/wheel 2021-07-13T14:36:45,242 running install_egg_info 2021-07-13T14:36:45,268 running egg_info 2021-07-13T14:36:45,268 creating pydepqbf.egg-info 2021-07-13T14:36:45,269 writing pydepqbf.egg-info/PKG-INFO 2021-07-13T14:36:45,271 writing dependency_links to pydepqbf.egg-info/dependency_links.txt 2021-07-13T14:36:45,273 writing top-level names to pydepqbf.egg-info/top_level.txt 2021-07-13T14:36:45,275 writing manifest file 'pydepqbf.egg-info/SOURCES.txt' 2021-07-13T14:36:45,279 reading manifest file 'pydepqbf.egg-info/SOURCES.txt' 2021-07-13T14:36:45,282 writing manifest file 'pydepqbf.egg-info/SOURCES.txt' 2021-07-13T14:36:45,284 Copying pydepqbf.egg-info to build/bdist.linux-armv7l/wheel/pydepqbf-0.0.2-py3.9.egg-info 2021-07-13T14:36:45,293 running install_scripts 2021-07-13T14:36:45,372 creating build/bdist.linux-armv7l/wheel/pydepqbf-0.0.2.dist-info/WHEEL 2021-07-13T14:36:45,375 creating '/tmp/pip-wheel-gbs1t39h/pydepqbf-0.0.2-cp39-cp39-linux_armv7l.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2021-07-13T14:36:45,756 adding 'pydepqbf.cpython-39-arm-linux-gnueabihf.so' 2021-07-13T14:36:45,771 adding 'test_pydepqbf.py' 2021-07-13T14:36:45,773 adding 'pydepqbf-0.0.2.dist-info/METADATA' 2021-07-13T14:36:45,774 adding 'pydepqbf-0.0.2.dist-info/WHEEL' 2021-07-13T14:36:45,775 adding 'pydepqbf-0.0.2.dist-info/top_level.txt' 2021-07-13T14:36:45,775 adding 'pydepqbf-0.0.2.dist-info/RECORD' 2021-07-13T14:36:45,787 removing build/bdist.linux-armv7l/wheel 2021-07-13T14:36:45,881 Building wheel for pydepqbf (setup.py): finished with status 'done' 2021-07-13T14:36:45,893 Created wheel for pydepqbf: filename=pydepqbf-0.0.2-cp39-cp39-linux_armv7l.whl size=672560 sha256=218a310fa8b52eb444dcaab6ec68dbaafec6aa42e0c795e1d65f4dd477a4692a 2021-07-13T14:36:45,894 Stored in directory: /tmp/pip-ephem-wheel-cache-xcdq2awp/wheels/cf/73/1c/0b1543bfc0f99652594155badf74cb42ec93abdcbfbfff3569 2021-07-13T14:36:45,904 Successfully built pydepqbf 2021-07-13T14:36:45,933 Removed build tracker: '/tmp/pip-req-tracker-r9v7iplf'