2023-09-10T17:20:23,111 Created temporary directory: /tmp/pip-build-tracker-yjlcoeok 2023-09-10T17:20:23,113 Initialized build tracking at /tmp/pip-build-tracker-yjlcoeok 2023-09-10T17:20:23,113 Created build tracker: /tmp/pip-build-tracker-yjlcoeok 2023-09-10T17:20:23,113 Entered build tracker: /tmp/pip-build-tracker-yjlcoeok 2023-09-10T17:20:23,114 Created temporary directory: /tmp/pip-wheel-rcbv0z4x 2023-09-10T17:20:23,117 Created temporary directory: /tmp/pip-ephem-wheel-cache-26qzvcu8 2023-09-10T17:20:23,139 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-09-10T17:20:23,142 2 location(s) to search for versions of pydepqbf: 2023-09-10T17:20:23,142 * https://pypi.org/simple/pydepqbf/ 2023-09-10T17:20:23,142 * https://www.piwheels.org/simple/pydepqbf/ 2023-09-10T17:20:23,143 Fetching project page and analyzing links: https://pypi.org/simple/pydepqbf/ 2023-09-10T17:20:23,144 Getting page https://pypi.org/simple/pydepqbf/ 2023-09-10T17:20:23,145 Found index url https://pypi.org/simple/ 2023-09-10T17:20:23,398 Fetched page https://pypi.org/simple/pydepqbf/ as application/vnd.pypi.simple.v1+json 2023-09-10T17:20:23,399 Found link https://files.pythonhosted.org/packages/5b/c6/b56208db66b807eeaa8151a9085955e058a1991b5f43f9f21f0bfaf1a37d/pydepqbf-0.0.2.tar.gz (from https://pypi.org/simple/pydepqbf/), version: 0.0.2 2023-09-10T17:20:23,400 Fetching project page and analyzing links: https://www.piwheels.org/simple/pydepqbf/ 2023-09-10T17:20:23,400 Getting page https://www.piwheels.org/simple/pydepqbf/ 2023-09-10T17:20:23,402 Found index url https://www.piwheels.org/simple/ 2023-09-10T17:20:24,839 Fetched page https://www.piwheels.org/simple/pydepqbf/ as text/html 2023-09-10T17:20:24,847 Skipping link: No binaries permitted for pydepqbf: https://www.piwheels.org/simple/pydepqbf/pydepqbf-0.0.2-cp34-cp34m-linux_armv6l.whl#sha256=6b18377a7a9ab31b4413e00d49f968e08642b8382949726f467c4207d7b2101c (from https://www.piwheels.org/simple/pydepqbf/) 2023-09-10T17:20:24,848 Skipping link: No binaries permitted for pydepqbf: https://www.piwheels.org/simple/pydepqbf/pydepqbf-0.0.2-cp34-cp34m-linux_armv7l.whl#sha256=6b18377a7a9ab31b4413e00d49f968e08642b8382949726f467c4207d7b2101c (from https://www.piwheels.org/simple/pydepqbf/) 2023-09-10T17:20:24,849 Skipping link: No binaries permitted for pydepqbf: https://www.piwheels.org/simple/pydepqbf/pydepqbf-0.0.2-cp35-cp35m-linux_armv6l.whl#sha256=fdf7a7e5c4d4140c42e18126dfd62d9a15cac7a5e4142dd0ddc20be67b8a5a3e (from https://www.piwheels.org/simple/pydepqbf/) 2023-09-10T17:20:24,850 Skipping link: No binaries permitted for pydepqbf: https://www.piwheels.org/simple/pydepqbf/pydepqbf-0.0.2-cp35-cp35m-linux_armv7l.whl#sha256=fdf7a7e5c4d4140c42e18126dfd62d9a15cac7a5e4142dd0ddc20be67b8a5a3e (from https://www.piwheels.org/simple/pydepqbf/) 2023-09-10T17:20:24,851 Skipping link: No binaries permitted for pydepqbf: https://www.piwheels.org/simple/pydepqbf/pydepqbf-0.0.2-cp37-cp37m-linux_armv6l.whl#sha256=e9c207b4bdff77bbd0bcd4435c73f92166c132a81bbc3abb83e4b9c25a36503c (from https://www.piwheels.org/simple/pydepqbf/) 2023-09-10T17:20:24,852 Skipping link: No binaries permitted for pydepqbf: https://www.piwheels.org/simple/pydepqbf/pydepqbf-0.0.2-cp37-cp37m-linux_armv7l.whl#sha256=e9c207b4bdff77bbd0bcd4435c73f92166c132a81bbc3abb83e4b9c25a36503c (from https://www.piwheels.org/simple/pydepqbf/) 2023-09-10T17:20:24,853 Skipping link: No binaries permitted for pydepqbf: https://www.piwheels.org/simple/pydepqbf/pydepqbf-0.0.2-cp39-cp39-linux_armv6l.whl#sha256=218a310fa8b52eb444dcaab6ec68dbaafec6aa42e0c795e1d65f4dd477a4692a (from https://www.piwheels.org/simple/pydepqbf/) 2023-09-10T17:20:24,854 Skipping link: No binaries permitted for pydepqbf: https://www.piwheels.org/simple/pydepqbf/pydepqbf-0.0.2-cp39-cp39-linux_armv7l.whl#sha256=218a310fa8b52eb444dcaab6ec68dbaafec6aa42e0c795e1d65f4dd477a4692a (from https://www.piwheels.org/simple/pydepqbf/) 2023-09-10T17:20:24,855 Skipping link: not a file: https://www.piwheels.org/simple/pydepqbf/ 2023-09-10T17:20:24,856 Skipping link: not a file: https://pypi.org/simple/pydepqbf/ 2023-09-10T17:20:24,892 Given no hashes to check 1 links for project 'pydepqbf': discarding no candidates 2023-09-10T17:20:24,911 Collecting pydepqbf==0.0.2 2023-09-10T17:20:24,913 Created temporary directory: /tmp/pip-unpack-jyvk_y07 2023-09-10T17:20:25,132 Downloading pydepqbf-0.0.2.tar.gz (325 kB) 2023-09-10T17:20:25,338 Added pydepqbf==0.0.2 from https://files.pythonhosted.org/packages/5b/c6/b56208db66b807eeaa8151a9085955e058a1991b5f43f9f21f0bfaf1a37d/pydepqbf-0.0.2.tar.gz to build tracker '/tmp/pip-build-tracker-yjlcoeok' 2023-09-10T17:20:25,339 Running setup.py (path:/tmp/pip-wheel-rcbv0z4x/pydepqbf_9d110108b77d4937830afb24dfcbb802/setup.py) egg_info for package pydepqbf 2023-09-10T17:20:25,340 Created temporary directory: /tmp/pip-pip-egg-info-5nrxueeo 2023-09-10T17:20:25,341 Preparing metadata (setup.py): started 2023-09-10T17:20:25,342 Running command python setup.py egg_info 2023-09-10T17:20:26,560 Preparing metadata (setup.py): finished with status 'done' 2023-09-10T17:20:26,563 Source in /tmp/pip-wheel-rcbv0z4x/pydepqbf_9d110108b77d4937830afb24dfcbb802 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 2023-09-10T17:20:26,564 Removed pydepqbf==0.0.2 from https://files.pythonhosted.org/packages/5b/c6/b56208db66b807eeaa8151a9085955e058a1991b5f43f9f21f0bfaf1a37d/pydepqbf-0.0.2.tar.gz from build tracker '/tmp/pip-build-tracker-yjlcoeok' 2023-09-10T17:20:26,568 Created temporary directory: /tmp/pip-unpack-zq44xd1d 2023-09-10T17:20:26,569 Created temporary directory: /tmp/pip-unpack-jcegp0ei 2023-09-10T17:20:26,572 Building wheels for collected packages: pydepqbf 2023-09-10T17:20:26,576 Created temporary directory: /tmp/pip-wheel-x6s8gfq9 2023-09-10T17:20:26,576 Building wheel for pydepqbf (setup.py): started 2023-09-10T17:20:26,578 Destination directory: /tmp/pip-wheel-x6s8gfq9 2023-09-10T17:20:26,578 Running command python setup.py bdist_wheel 2023-09-10T17:20:28,267 nenofex/atpg.c: In function ‘collect_necessary_off_path_literals’: 2023-09-10T17:20:28,269 nenofex/atpg.c:2227:15: warning: variable ‘prev’ set but not used [-Wunused-but-set-variable] 2023-09-10T17:20:28,270 2227 | Node *cur, *prev; 2023-09-10T17:20:28,271 | ^~~~ 2023-09-10T17:20:28,296 nenofex/atpg.c: In function ‘simplify_by_global_flow_and_atpg_main’: 2023-09-10T17:20:28,299 nenofex/atpg.c:3739:14: warning: unused variable ‘changed_subformula’ [-Wunused-variable] 2023-09-10T17:20:28,300 3739 | LCAObject *changed_subformula = &(nenofex->changed_subformula); 2023-09-10T17:20:28,301 | ^~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:28,322 nenofex/atpg.c: At top level: 2023-09-10T17:20:28,324 nenofex/atpg.c:2664:1: warning: ‘print_atpg_graph’ defined but not used [-Wunused-function] 2023-09-10T17:20:28,325 2664 | print_atpg_graph (Nenofex * nenofex) 2023-09-10T17:20:28,326 | ^~~~~~~~~~~~~~~~ 2023-09-10T17:20:28,326 nenofex/atpg.c:427:1: warning: ‘collect_fault_nodes_by_bfs’ defined but not used [-Wunused-function] 2023-09-10T17:20:28,327 427 | collect_fault_nodes_by_bfs (Nenofex * nenofex) 2023-09-10T17:20:28,328 | ^~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:28,328 nenofex/atpg.c:375:1: warning: ‘collect_fault_nodes_by_dfs’ defined but not used [-Wunused-function] 2023-09-10T17:20:28,329 375 | collect_fault_nodes_by_dfs (Nenofex * nenofex) 2023-09-10T17:20:28,330 | ^~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:30,493 nenofex/nenofex.c: In function ‘replace_changed_lca_child’: 2023-09-10T17:20:30,496 nenofex/nenofex.c:4489:14: warning: unused variable ‘changed_subformula’ [-Wunused-variable] 2023-09-10T17:20:30,497 4489 | LCAObject *changed_subformula = &(nenofex->changed_subformula); 2023-09-10T17:20:30,498 | ^~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:30,564 nenofex/nenofex.c: In function ‘quantified_nnf_to_cnf_dump’: 2023-09-10T17:20:30,571 nenofex/nenofex.c:8123:35: warning: unused variable ‘num_remaining_univ_vars’ [-Wunused-variable] 2023-09-10T17:20:30,571 8123 | num_remaining_exist_vars = 0, num_remaining_univ_vars = 0; 2023-09-10T17:20:30,572 | ^~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:30,578 nenofex/nenofex.c:8123:5: warning: unused variable ‘num_remaining_exist_vars’ [-Wunused-variable] 2023-09-10T17:20:30,578 8123 | num_remaining_exist_vars = 0, num_remaining_univ_vars = 0; 2023-09-10T17:20:30,579 | ^~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:30,585 nenofex/nenofex.c:8122:38: warning: unused variable ‘num_remaining_vars’ [-Wunused-variable] 2023-09-10T17:20:30,586 8122 | int num_clauses = 0, num_vars = 0, num_remaining_vars = 0, 2023-09-10T17:20:30,586 | ^~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:30,587 nenofex/nenofex.c: In function ‘nnf_to_cnf_dump’: 2023-09-10T17:20:30,592 nenofex/nenofex.c:8140:38: warning: variable ‘num_remaining_vars’ set but not used [-Wunused-but-set-variable] 2023-09-10T17:20:30,593 8140 | int num_clauses = 0, num_vars = 0, num_remaining_vars = 0, 2023-09-10T17:20:30,594 | ^~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:30,594 nenofex/nenofex.c: In function ‘nnf_to_cnf_forward’: 2023-09-10T17:20:30,600 nenofex/nenofex.c:8183:38: warning: variable ‘num_remaining_vars’ set but not used [-Wunused-but-set-variable] 2023-09-10T17:20:30,600 8183 | int num_clauses = 0, num_vars = 0, num_remaining_vars = 0, 2023-09-10T17:20:30,601 | ^~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:30,609 nenofex/nenofex.c: In function ‘generate_qdimacs_output’: 2023-09-10T17:20:30,616 nenofex/nenofex.c:8321:11: warning: unused variable ‘value’ [-Wunused-variable] 2023-09-10T17:20:30,617 8321 | int value = var->assignment - 1; 2023-09-10T17:20:30,617 | ^~~~~ 2023-09-10T17:20:30,709 nenofex/nenofex.c: In function ‘expansion_phase’: 2023-09-10T17:20:30,717 nenofex/nenofex.c:10212:58: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare] 2023-09-10T17:20:30,718 10212 | && nenofex->graph_root->size_subformula > 2023-09-10T17:20:30,718 | ^ 2023-09-10T17:20:30,843 nenofex/nenofex.c: At top level: 2023-09-10T17:20:30,849 nenofex/nenofex.c:9735:1: warning: ‘print_lit_stats_before_exp’ defined but not used [-Wunused-function] 2023-09-10T17:20:30,849 9735 | print_lit_stats_before_exp (Nenofex * nenofex, Var * var) 2023-09-10T17:20:30,850 | ^~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:30,854 nenofex/nenofex.c:8882:1: warning: ‘compute_graph_statistics’ defined but not used [-Wunused-function] 2023-09-10T17:20:30,855 8882 | compute_graph_statistics (Nenofex * nenofex) 2023-09-10T17:20:30,855 | ^~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:30,857 nenofex/nenofex.c:4079:1: warning: ‘find_innermost_non_empty_scope’ defined but not used [-Wunused-function] 2023-09-10T17:20:30,857 4079 | find_innermost_non_empty_scope (Nenofex * nenofex) 2023-09-10T17:20:30,858 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:30,858 nenofex/nenofex.c:1274:1: warning: ‘print_graph_by_traversal’ defined but not used [-Wunused-function] 2023-09-10T17:20:30,859 1274 | print_graph_by_traversal (Nenofex *nenofex, Node * root) 2023-09-10T17:20:30,860 | ^~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:47,211 qdpll.c: In function ‘assert_var_pqueue_condition’: 2023-09-10T17:20:47,212 qdpll.c:1870:33: warning: variable ‘right_var’ set but not used [-Wunused-but-set-variable] 2023-09-10T17:20:47,213 1870 | Var *cur_var, *left_var, *right_var; 2023-09-10T17:20:47,213 | ^~~~~~~~~ 2023-09-10T17:20:47,214 qdpll.c:1870:22: warning: variable ‘left_var’ set but not used [-Wunused-but-set-variable] 2023-09-10T17:20:47,215 1870 | Var *cur_var, *left_var, *right_var; 2023-09-10T17:20:47,216 | ^~~~~~~~ 2023-09-10T17:20:47,216 qdpll.c:1870:12: warning: variable ‘cur_var’ set but not used [-Wunused-but-set-variable] 2023-09-10T17:20:47,217 1870 | Var *cur_var, *left_var, *right_var; 2023-09-10T17:20:47,217 | ^~~~~~~ 2023-09-10T17:20:47,223 qdpll.c: In function ‘is_clause_satisfied’: 2023-09-10T17:20:47,224 qdpll.c:2189:7: warning: variable ‘init_watchers’ set but not used [-Wunused-but-set-variable] 2023-09-10T17:20:47,225 2189 | int init_watchers = 0; 2023-09-10T17:20:47,226 | ^~~~~~~~~~~~~ 2023-09-10T17:20:47,227 qdpll.c: In function ‘is_clause_satisfied_by_prop_var’: 2023-09-10T17:20:47,228 qdpll.c:2335:7: warning: variable ‘init_watchers’ set but not used [-Wunused-but-set-variable] 2023-09-10T17:20:47,229 2335 | int init_watchers = 0; 2023-09-10T17:20:47,229 | ^~~~~~~~~~~~~ 2023-09-10T17:20:47,255 qdpll.c: In function ‘remove_clause_from_notify_list’: 2023-09-10T17:20:47,258 qdpll.c:3697:7: warning: unused variable ‘marked’ [-Wunused-variable] 2023-09-10T17:20:47,258 3697 | int marked = BLIT_MARKED_PTR (last_occ_constr); 2023-09-10T17:20:47,259 | ^~~~~~ 2023-09-10T17:20:47,265 qdpll.c: In function ‘update_literal_watchers’: 2023-09-10T17:20:47,268 qdpll.c:3893:16: warning: unused variable ‘mm’ [-Wunused-variable] 2023-09-10T17:20:47,269 3893 | QDPLLMemMan *mm = qdpll->mm; 2023-09-10T17:20:47,270 | ^~ 2023-09-10T17:20:47,271 qdpll.c: In function ‘init_literal_watcher’: 2023-09-10T17:20:47,275 qdpll.c:4235:16: warning: unused variable ‘num_lits’ [-Wunused-variable] 2023-09-10T17:20:47,275 4235 | unsigned int num_lits = c->num_lits; 2023-09-10T17:20:47,276 | ^~~~~~~~ 2023-09-10T17:20:47,309 qdpll.c: In function ‘unmark_constraint_variables’: 2023-09-10T17:20:47,313 qdpll.c:5269:19: warning: unused variable ‘lit’ [-Wunused-variable] 2023-09-10T17:20:47,314 5269 | LitID *p, *end, lit; 2023-09-10T17:20:47,315 | ^~~ 2023-09-10T17:20:47,329 qdpll.c: In function ‘import_added_ids’: 2023-09-10T17:20:47,334 qdpll.c:5643:16: warning: unused variable ‘internal_var’ [-Wunused-variable] 2023-09-10T17:20:47,335 5643 | Var *internal_var = VARID2VARPTR(qdpll->pcnf.vars, internal_id); 2023-09-10T17:20:47,335 | ^~~~~~~~~~~~ 2023-09-10T17:20:47,337 qdpll.c: In function ‘has_variable_active_occs_in_cubes’: 2023-09-10T17:20:47,342 qdpll.c:5705:9: warning: unused variable ‘lit’ [-Wunused-variable] 2023-09-10T17:20:47,343 5705 | LitID lit = occ_cubes == &(var->neg_occ_cubes) ? -var->id : var->id; 2023-09-10T17:20:47,344 | ^~~ 2023-09-10T17:20:47,350 qdpll.c: In function ‘has_variable_active_occs_in_clauses’: 2023-09-10T17:20:47,355 qdpll.c:5938:9: warning: unused variable ‘lit’ [-Wunused-variable] 2023-09-10T17:20:47,356 5938 | LitID lit = occ_clauses == &(var->neg_occ_clauses) ? -var->id : var->id; 2023-09-10T17:20:47,357 | ^~~ 2023-09-10T17:20:47,369 qdpll.c: In function ‘cover_by_clauses_collect_lits_sorted_aux’: 2023-09-10T17:20:47,374 qdpll.c:6266:12: warning: unused variable ‘v’ [-Wunused-variable] 2023-09-10T17:20:47,375 6266 | Var *v = LIT2VARPTR (qdpll->pcnf.vars, lit); 2023-09-10T17:20:47,376 | ^ 2023-09-10T17:20:47,376 qdpll.c: In function ‘cover_by_clauses_collect_lits_sorted’: 2023-09-10T17:20:47,380 qdpll.c:6293:8: warning: unused variable ‘vars’ [-Wunused-variable] 2023-09-10T17:20:47,381 6293 | Var *vars = qdpll->pcnf.vars; 2023-09-10T17:20:47,382 | ^~~~ 2023-09-10T17:20:47,450 qdpll.c: In function ‘all_smaller_type_lits_have_value_adv’: 2023-09-10T17:20:47,456 qdpll.c:7536:22: warning: unused variable ‘hi_dl_var_dec_level’ [-Wunused-variable] 2023-09-10T17:20:47,457 7536 | const unsigned int hi_dl_var_dec_level = hi_dl_var->decision_level; 2023-09-10T17:20:47,458 | ^~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:47,471 qdpll.c: In function ‘resolve_and_reduce’: 2023-09-10T17:20:47,478 qdpll.c:7695:16: warning: unused variable ‘nesting2’ [-Wunused-variable] 2023-09-10T17:20:47,478 7695 | unsigned int nesting2; 2023-09-10T17:20:47,478 | ^~~~~~~~ 2023-09-10T17:20:47,485 qdpll.c:7694:16: warning: unused variable ‘nesting1’ [-Wunused-variable] 2023-09-10T17:20:47,485 7694 | unsigned int nesting1; 2023-09-10T17:20:47,486 | ^~~~~~~~ 2023-09-10T17:20:47,492 qdpll.c:7693:9: warning: unused variable ‘vid2’ [-Wunused-variable] 2023-09-10T17:20:47,492 7693 | VarID vid2; 2023-09-10T17:20:47,493 | ^~~~ 2023-09-10T17:20:47,499 qdpll.c:7692:9: warning: unused variable ‘vid1’ [-Wunused-variable] 2023-09-10T17:20:47,499 7692 | VarID vid1; 2023-09-10T17:20:47,500 | ^~~~ 2023-09-10T17:20:47,506 qdpll.c:7683:16: warning: unused variable ‘del’ [-Wunused-variable] 2023-09-10T17:20:47,507 7683 | unsigned int del = 0; 2023-09-10T17:20:47,507 | ^~~ 2023-09-10T17:20:47,522 qdpll.c: In function ‘generate_reason’: 2023-09-10T17:20:47,529 qdpll.c:8032:5: warning: label ‘DO_RES’ defined but not used [-Wunused-label] 2023-09-10T17:20:47,530 8032 | DO_RES: 2023-09-10T17:20:47,530 | ^~~~~~ 2023-09-10T17:20:47,536 qdpll.c:7992:16: warning: unused variable ‘mm’ [-Wunused-variable] 2023-09-10T17:20:47,537 7992 | QDPLLMemMan *mm = qdpll->mm; 2023-09-10T17:20:47,538 | ^~ 2023-09-10T17:20:47,605 qdpll.c: In function ‘qpup_print_info_literals_aux’: 2023-09-10T17:20:47,612 qdpll.c:9126:20: warning: unused variable ‘v’ [-Wunused-variable] 2023-09-10T17:20:47,613 9126 | Var *v = LIT2VARPTR(qdpll->pcnf.vars, lit); 2023-09-10T17:20:47,614 | ^ 2023-09-10T17:20:47,620 qdpll.c:9137:12: warning: unused variable ‘v’ [-Wunused-variable] 2023-09-10T17:20:47,621 9137 | Var *v = LIT2VARPTR(qdpll->pcnf.vars, lit); 2023-09-10T17:20:47,622 | ^ 2023-09-10T17:20:47,634 In file included from qdpll_pcnf.h:32, 2023-09-10T17:20:47,635 from qdpll.c:35: 2023-09-10T17:20:47,636 qdpll.c: In function ‘qpup_res_reduce’: 2023-09-10T17:20:47,642 qdpll_stack.h:89:33: warning: value computed is not used [-Wunused-value] 2023-09-10T17:20:47,643 89 | #define QDPLL_POP_STACK(stack) (*--(stack).top) 2023-09-10T17:20:47,643 | ~^~~~~~~~~~~~~~~ 2023-09-10T17:20:47,644 qdpll.c:9325:11: note: in expansion of macro ‘QDPLL_POP_STACK’ 2023-09-10T17:20:47,644 9325 | QDPLL_POP_STACK(*stack); 2023-09-10T17:20:47,645 | ^~~~~~~~~~~~~~~ 2023-09-10T17:20:47,686 qdpll.c: In function ‘generate_and_add_reason’: 2023-09-10T17:20:47,694 qdpll.c:10434:20: warning: unused variable ‘offset’ [-Wunused-variable] 2023-09-10T17:20:47,695 10434 | unsigned int offset = 0; 2023-09-10T17:20:47,696 | ^~~~~~ 2023-09-10T17:20:47,705 qdpll.c:10354:16: warning: unused variable ‘is_taut’ [-Wunused-variable] 2023-09-10T17:20:47,706 10354 | unsigned int is_taut = 0; 2023-09-10T17:20:47,706 | ^~~~~~~ 2023-09-10T17:20:47,713 qdpll.c: In function ‘backtrack_undo_assignment’: 2023-09-10T17:20:47,722 qdpll_stack.h:89:33: warning: value computed is not used [-Wunused-value] 2023-09-10T17:20:47,723 89 | #define QDPLL_POP_STACK(stack) (*--(stack).top) 2023-09-10T17:20:47,724 | ~^~~~~~~~~~~~~~~ 2023-09-10T17:20:47,725 qdpll.c:10702:7: note: in expansion of macro ‘QDPLL_POP_STACK’ 2023-09-10T17:20:47,725 10702 | QDPLL_POP_STACK (qdpll->dec_vars); 2023-09-10T17:20:47,726 | ^~~~~~~~~~~~~~~ 2023-09-10T17:20:47,744 qdpll.c: In function ‘propagate_variable_assigned’: 2023-09-10T17:20:47,754 qdpll.c:11182:23: warning: unused variable ‘dm’ [-Wunused-variable] 2023-09-10T17:20:47,755 11182 | QDPLLDepManGeneric *dm = qdpll->dm; 2023-09-10T17:20:47,755 | ^~ 2023-09-10T17:20:47,769 qdpll.c: In function ‘qbcp_qbce_delete_watched_occ_entry’: 2023-09-10T17:20:47,778 qdpll.c:11570:16: warning: unused variable ‘del_offset’ [-Wunused-variable] 2023-09-10T17:20:47,779 11570 | unsigned int del_offset = *offset_entry_p; 2023-09-10T17:20:47,779 | ^~~~~~~~~~ 2023-09-10T17:20:47,783 qdpll.c: In function ‘qbcp_qbce_store_witness’: 2023-09-10T17:20:47,793 qdpll.c:11695:29: warning: unused variable ‘non_blocked_clause_entry’ [-Wunused-variable] 2023-09-10T17:20:47,793 11695 | QBCENonBlockedWitness non_blocked_clause_entry = *non_blocked_clause_entry_p; 2023-09-10T17:20:47,794 | ^~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:47,810 qdpll.c: In function ‘qbcp_qbce_push_maybe_blocked_clauses_by_assignment’: 2023-09-10T17:20:47,820 qdpll.c:11978:21: warning: unused variable ‘satisfying_lit’ [-Wunused-variable] 2023-09-10T17:20:47,821 11978 | LitID satisfying_lit; 2023-09-10T17:20:47,822 | ^~~~~~~~~~~~~~ 2023-09-10T17:20:47,830 qdpll.c: In function ‘assert_qbcp_qbce_blocked_clauses_integrity’: 2023-09-10T17:20:47,840 qdpll.c:12057:16: warning: unused variable ‘blocking_var’ [-Wunused-variable] 2023-09-10T17:20:47,841 12057 | Var *blocking_var = LIT2VARPTR 2023-09-10T17:20:47,841 | ^~~~~~~~~~~~ 2023-09-10T17:20:47,851 qdpll.c:12084:27: warning: unused variable ‘c’ [-Wunused-variable] 2023-09-10T17:20:47,852 12084 | Constraint *c = *p; 2023-09-10T17:20:47,852 | ^ 2023-09-10T17:20:47,862 qdpll.c:12093:27: warning: unused variable ‘c’ [-Wunused-variable] 2023-09-10T17:20:47,862 12093 | Constraint *c = *p; 2023-09-10T17:20:47,863 | ^ 2023-09-10T17:20:47,867 qdpll.c: In function ‘assert_qbcp_qbce_non_blocked_witness_integrity’: 2023-09-10T17:20:47,877 qdpll.c:12222:41: warning: unused variable ‘check_pair’ [-Wunused-variable] 2023-09-10T17:20:47,878 12222 | QBCENonBlockedWitness check_pair = *check_p; 2023-09-10T17:20:47,878 | ^~~~~~~~~~ 2023-09-10T17:20:47,889 qdpll.c:12197:20: warning: unused variable ‘non_blocking_var’ [-Wunused-variable] 2023-09-10T17:20:47,890 12197 | Var *non_blocking_var = 2023-09-10T17:20:47,890 | ^~~~~~~~~~~~~~~~ 2023-09-10T17:20:47,900 qdpll.c:12259:41: warning: unused variable ‘check_pair’ [-Wunused-variable] 2023-09-10T17:20:47,900 12259 | QBCENonBlockedWitness check_pair = *check_p; 2023-09-10T17:20:47,901 | ^~~~~~~~~~ 2023-09-10T17:20:47,910 qdpll.c:12264:37: warning: unused variable ‘check_pair’ [-Wunused-variable] 2023-09-10T17:20:47,911 12264 | QBCENonBlockedWitness check_pair = {maybe_blocked_pair.non_blocking_lit, {c->lits[0], c}, 2023-09-10T17:20:47,912 | ^~~~~~~~~~ 2023-09-10T17:20:47,953 qdpll.c: In function ‘qbcp_qbce_find_blocked_clauses’: 2023-09-10T17:20:47,965 qdpll.c:12647:20: warning: unused variable ‘var’ [-Wunused-variable] 2023-09-10T17:20:47,966 12647 | Var *var = LIT2VARPTR (qdpll->pcnf.vars, lit); 2023-09-10T17:20:47,967 | ^~~ 2023-09-10T17:20:47,988 qdpll.c: In function ‘cleanup_constraint_sweep’: 2023-09-10T17:20:47,999 qdpll.c:13182:16: warning: unused variable ‘check_del’ [-Wunused-variable] 2023-09-10T17:20:48,000 13182 | unsigned int check_del = 0; 2023-09-10T17:20:48,000 | ^~~~~~~~~ 2023-09-10T17:20:48,015 qdpll.c: In function ‘check_resize_learnt_constraints’: 2023-09-10T17:20:48,028 qdpll.c:13279:15: warning: unused variable ‘c’ [-Wunused-variable] 2023-09-10T17:20:48,028 13279 | Constraint *c; 2023-09-10T17:20:48,029 | ^ 2023-09-10T17:20:48,181 qdpll.c: In function ‘qbcp_qbce_check_blocked_clauses_after_clause_addition’: 2023-09-10T17:20:48,193 qdpll.c:14640:27: warning: unused variable ‘blocked_occs’ [-Wunused-variable] 2023-09-10T17:20:48,194 14640 | ConstraintPtrStack *blocked_occs; 2023-09-10T17:20:48,195 | ^~~~~~~~~~~~ 2023-09-10T17:20:48,291 qdpll.c: In function ‘solve’: 2023-09-10T17:20:48,306 qdpll.c:15406:23: warning: unused variable ‘dm’ [-Wunused-variable] 2023-09-10T17:20:48,306 15406 | QDPLLDepManGeneric *dm = qdpll->dm; 2023-09-10T17:20:48,307 | ^~ 2023-09-10T17:20:48,311 qdpll.c: In function ‘reset_clean_up_assignments’: 2023-09-10T17:20:48,325 qdpll_stack.h:89:33: warning: value computed is not used [-Wunused-value] 2023-09-10T17:20:48,325 89 | #define QDPLL_POP_STACK(stack) (*--(stack).top) 2023-09-10T17:20:48,326 | ~^~~~~~~~~~~~~~~ 2023-09-10T17:20:48,326 qdpll.c:16081:15: note: in expansion of macro ‘QDPLL_POP_STACK’ 2023-09-10T17:20:48,327 16081 | QDPLL_POP_STACK (qdpll->dec_vars); 2023-09-10T17:20:48,327 | ^~~~~~~~~~~~~~~ 2023-09-10T17:20:48,374 qdpll.c: In function ‘recompute_var_act_scores’: 2023-09-10T17:20:48,390 qdpll.c:16854:20: warning: unused variable ‘ce’ [-Wunused-variable] 2023-09-10T17:20:48,391 16854 | Constraint *cp, *ce; 2023-09-10T17:20:48,391 | ^~ 2023-09-10T17:20:48,395 qdpll.c: In function ‘qdo_reconstruct_cnf_model_is_clause_empty’: 2023-09-10T17:20:48,411 qdpll.c:16873:34: warning: unused variable ‘sat_var’ [-Wunused-variable] 2023-09-10T17:20:48,412 16873 | Var *vars = qdpll->pcnf.vars, *sat_var = 0; 2023-09-10T17:20:48,412 | ^~~~~~~ 2023-09-10T17:20:48,736 qdpll.c: In function ‘qdpll_pop’: 2023-09-10T17:20:48,752 qdpll_stack.h:89:33: warning: value computed is not used [-Wunused-value] 2023-09-10T17:20:48,752 89 | #define QDPLL_POP_STACK(stack) (*--(stack).top) 2023-09-10T17:20:48,753 | ~^~~~~~~~~~~~~~~ 2023-09-10T17:20:48,754 qdpll.c:18100:3: note: in expansion of macro ‘QDPLL_POP_STACK’ 2023-09-10T17:20:48,755 18100 | QDPLL_POP_STACK(qdpll->state.cur_used_internal_vars); 2023-09-10T17:20:48,755 | ^~~~~~~~~~~~~~~ 2023-09-10T17:20:49,085 qdpll.c: At top level: 2023-09-10T17:20:49,096 qdpll.c:16838:1: warning: ‘recompute_var_act_scores’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,097 16838 | recompute_var_act_scores (QDPLL *qdpll) 2023-09-10T17:20:49,098 | ^~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:49,106 qdpll.c:14066:1: warning: ‘count_selector_literals’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,106 14066 | count_selector_literals (QDPLL *qdpll, Constraint *c) 2023-09-10T17:20:49,107 | ^~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:49,115 qdpll.c:14051:1: warning: ‘find_selector_literal’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,116 14051 | find_selector_literal (QDPLL *qdpll, Constraint *c) 2023-09-10T17:20:49,117 | ^~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:49,125 qdpll.c:13743:1: warning: ‘setup_occ_lists’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,125 13743 | setup_occ_lists (QDPLL * qdpll) 2023-09-10T17:20:49,126 | ^~~~~~~~~~~~~~~ 2023-09-10T17:20:49,134 qdpll.c:13695:1: warning: ‘reset_occ_lists’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,135 13695 | reset_occ_lists (QDPLL * qdpll) 2023-09-10T17:20:49,136 | ^~~~~~~~~~~~~~~ 2023-09-10T17:20:49,143 qdpll.c:13387:1: warning: ‘print_config’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,145 13387 | print_config (QDPLL * qdpll) 2023-09-10T17:20:49,145 | ^~~~~~~~~~~~ 2023-09-10T17:20:49,152 qdpll.c:12129:1: warning: ‘assert_qbcp_qbce_non_blocked_witness_integrity’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,152 12129 | assert_qbcp_qbce_non_blocked_witness_integrity (QDPLL *qdpll) 2023-09-10T17:20:49,153 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:49,160 qdpll.c:12042:1: warning: ‘assert_qbcp_qbce_blocked_clauses_integrity’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,160 12042 | assert_qbcp_qbce_blocked_clauses_integrity (QDPLL *qdpll) 2023-09-10T17:20:49,161 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:49,168 qdpll.c:12032:1: warning: ‘qbcp_qbce_find_in_blocked_clauses’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,169 12032 | qbcp_qbce_find_in_blocked_clauses (ConstraintPtrStack *stack, Constraint *c) 2023-09-10T17:20:49,169 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:49,176 qdpll.c:11482:1: warning: ‘qbcp_qbce_find_watched_occ’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,176 11482 | qbcp_qbce_find_watched_occ (QDPLL *qdpll, ConstraintPtrStack *watched_occs, 2023-09-10T17:20:49,177 | ^~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:49,184 qdpll.c:11380:1: warning: ‘qbcp_qbce_find_clause_in_list’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,184 11380 | qbcp_qbce_find_clause_in_list (QDPLL *qdpll, QBCENonBlockedWitnessStack *list, 2023-09-10T17:20:49,185 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:49,191 qdpll.c:11338:1: warning: ‘assumptions_given’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,192 11338 | assumptions_given (QDPLL *qdpll) 2023-09-10T17:20:49,193 | ^~~~~~~~~~~~~~~~~ 2023-09-10T17:20:49,199 qdpll.c:11304:1: warning: ‘is_lit_reducible_in_clause’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,200 11304 | is_lit_reducible_in_clause (QDPLL * qdpll, LitID lit, Constraint * c, 2023-09-10T17:20:49,200 | ^~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:49,207 qdpll.c:11283:1: warning: ‘sizeof_top_level’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,207 11283 | sizeof_top_level (QDPLL * qdpll) 2023-09-10T17:20:49,208 | ^~~~~~~~~~~~~~~~ 2023-09-10T17:20:49,213 qdpll.c:9899:1: warning: ‘check_invariant_qpup_is_subseteq’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,214 9899 | check_invariant_qpup_is_subseteq (QDPLL *qdpll, Constraint *c1, Constraint *c2, 2023-09-10T17:20:49,215 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:49,220 qdpll.c:9854:1: warning: ‘qpup_is_subseteq’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,221 9854 | qpup_is_subseteq (Constraint *c1, Constraint *c2) 2023-09-10T17:20:49,221 | ^~~~~~~~~~~~~~~~ 2023-09-10T17:20:49,227 qdpll.c:9782:1: warning: ‘assert_qpup_data_cleared’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,227 9782 | assert_qpup_data_cleared (QDPLL *qdpll) 2023-09-10T17:20:49,228 | ^~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:49,233 qdpll.c:9199:1: warning: ‘qpup_is_tautology’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,234 9199 | qpup_is_tautology (LitID *start, LitID *end) 2023-09-10T17:20:49,234 | ^~~~~~~~~~~~~~~~~ 2023-09-10T17:20:49,239 qdpll.c:9180:1: warning: ‘qpup_has_duplicate_lits’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,240 9180 | qpup_has_duplicate_lits (LitID *start, LitID *end) 2023-09-10T17:20:49,240 | ^~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:49,245 qdpll.c:8246:1: warning: ‘qpup_res_is_var_marked’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,245 8246 | qpup_res_is_var_marked (Var *var) 2023-09-10T17:20:49,246 | ^~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:49,250 qdpll.c:7951:1: warning: ‘working_clause_is_tautologous’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,251 7951 | working_clause_is_tautologous (QDPLL * qdpll, LitIDStack * lit_stack, 2023-09-10T17:20:49,252 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:49,254 qdpll.c:6579:1: warning: ‘cover_by_assignment_keep_univ_var’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,255 6579 | cover_by_assignment_keep_univ_var (QDPLL *qdpll, Var *univ_var, 2023-09-10T17:20:49,255 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:49,259 qdpll.c:6550:1: warning: ‘cover_by_assignment_check_blocked_clauses’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,259 6550 | cover_by_assignment_check_blocked_clauses (QDPLL *qdpll, Var *univ_var) 2023-09-10T17:20:49,260 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:49,263 qdpll.c:5983:1: warning: ‘get_reason_asserting_level’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,263 5983 | get_reason_asserting_level (QDPLL * qdpll, LitID * lit_start, LitID * lit_end, 2023-09-10T17:20:49,264 | ^~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:49,266 qdpll.c:5722:1: warning: ‘is_var_pure_in_cubes’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,267 5722 | is_var_pure_in_cubes (QDPLL * qdpll, Var * var, 2023-09-10T17:20:49,267 | ^~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:49,268 qdpll.c:3196:1: warning: ‘assert_all_assigned_assumption_lits_clause’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,269 3196 | assert_all_assigned_assumption_lits_clause (QDPLL *qdpll, Constraint *c) 2023-09-10T17:20:49,269 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:49,270 qdpll.c:2839:1: warning: ‘determine_solver_state’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,271 2839 | determine_solver_state (QDPLL * qdpll) 2023-09-10T17:20:49,271 | ^~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:49,272 qdpll.c:2626:1: warning: ‘is_cube_unit’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,273 2626 | is_cube_unit (QDPLL * qdpll, Constraint * cube) 2023-09-10T17:20:49,273 | ^~~~~~~~~~~~ 2023-09-10T17:20:49,274 qdpll.c:2008:1: warning: ‘var_pqueue_access_min’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,274 2008 | var_pqueue_access_min (QDPLL * qdpll) 2023-09-10T17:20:49,275 | ^~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:49,275 qdpll.c:1860:1: warning: ‘assert_var_pqueue_condition’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,276 1860 | assert_var_pqueue_condition (QDPLL * qdpll) 2023-09-10T17:20:49,277 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:49,277 qdpll.c:1663:1: warning: ‘compute_constraint_lbd’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,278 1663 | compute_constraint_lbd (QDPLL * qdpll, Constraint * c) 2023-09-10T17:20:49,279 | ^~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:49,279 qdpll.c:1472:1: warning: ‘assert_peek_taut_lit_irreducible’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,280 1472 | assert_peek_taut_lit_irreducible (QDPLL * qdpll, LitIDStack * lit_stack, 2023-09-10T17:20:49,281 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:49,281 qdpll.c:314:1: warning: ‘print_assigned_vars’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,282 314 | print_assigned_vars (QDPLL * qdpll) 2023-09-10T17:20:49,282 | ^~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:49,283 qdpll.c:296:1: warning: ‘count_in_notify_literal_watcher_list’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,284 296 | count_in_notify_literal_watcher_list (BLitsOccStack * notify_list, 2023-09-10T17:20:49,284 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:49,285 qdpll.c:280:1: warning: ‘offset_in_clause’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,286 280 | offset_in_clause (Constraint * clause, LitID id) 2023-09-10T17:20:49,286 | ^~~~~~~~~~~~~~~~ 2023-09-10T17:20:49,287 qdpll.c:265:1: warning: ‘offset_in_notify_clause_watcher_list’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,288 265 | offset_in_notify_clause_watcher_list (LitIDStack * notify_list, LitID id) 2023-09-10T17:20:49,289 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:49,290 qdpll.c:249:1: warning: ‘count_in_notify_clause_watcher_list’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,291 249 | count_in_notify_clause_watcher_list (LitIDStack * notify_list, LitID id) 2023-09-10T17:20:49,291 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:49,292 qdpll.c:237:1: warning: ‘find_in_assigned_vars’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,292 237 | find_in_assigned_vars (QDPLL * qdpll, VarID id) 2023-09-10T17:20:49,293 | ^~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:49,293 qdpll.c:227:1: warning: ‘print_var_pqueue’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,294 227 | print_var_pqueue (QDPLL * qdpll) 2023-09-10T17:20:49,294 | ^~~~~~~~~~~~~~~~ 2023-09-10T17:20:49,295 qdpll.c:221:1: warning: ‘check_depends’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,295 221 | check_depends (QDPLL * qdpll, VarID id1, VarID id2) 2023-09-10T17:20:49,296 | ^~~~~~~~~~~~~ 2023-09-10T17:20:49,296 qdpll.c:194:1: warning: ‘print_vars_state’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,297 194 | print_vars_state (QDPLL * qdpll) 2023-09-10T17:20:49,297 | ^~~~~~~~~~~~~~~~ 2023-09-10T17:20:49,298 qdpll.c:177:1: warning: ‘print_lit_notify_lists_info’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,298 177 | print_lit_notify_lists_info (QDPLL * qdpll) 2023-09-10T17:20:49,299 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:20:49,300 qdpll.c:147:1: warning: ‘print_all_deps’ defined but not used [-Wunused-function] 2023-09-10T17:20:49,301 147 | print_all_deps (QDPLL * qdpll) 2023-09-10T17:20:49,301 | ^~~~~~~~~~~~~~ 2023-09-10T17:21:05,620 qdpll_dep_man_qdag.c: In function ‘assert_pq_condition’: 2023-09-10T17:21:05,621 qdpll_dep_man_qdag.c:533:29: warning: variable ‘right’ set but not used [-Wunused-but-set-variable] 2023-09-10T17:21:05,621 533 | Edge **cur, **left, **right; 2023-09-10T17:21:05,622 | ^~~~~ 2023-09-10T17:21:05,623 qdpll_dep_man_qdag.c:533:21: warning: variable ‘left’ set but not used [-Wunused-but-set-variable] 2023-09-10T17:21:05,623 533 | Edge **cur, **left, **right; 2023-09-10T17:21:05,624 | ^~~~ 2023-09-10T17:21:05,625 qdpll_dep_man_qdag.c:533:14: warning: variable ‘cur’ set but not used [-Wunused-but-set-variable] 2023-09-10T17:21:05,626 533 | Edge **cur, **left, **right; 2023-09-10T17:21:05,626 | ^~~ 2023-09-10T17:21:05,627 qdpll_dep_man_qdag.c: In function ‘assert_graph_check_edges_pq’: 2023-09-10T17:21:05,628 qdpll_dep_man_qdag.c:845:12: warning: unused variable ‘tv’ [-Wunused-variable] 2023-09-10T17:21:05,628 845 | Var *tv = VARID2VARPTR (vars, (*d)->tail_var); 2023-09-10T17:21:05,629 | ^~ 2023-09-10T17:21:05,630 qdpll_dep_man_qdag.c: In function ‘assert_graph_check_edges’: 2023-09-10T17:21:05,630 qdpll_dep_man_qdag.c:866:14: warning: unused variable ‘hv’ [-Wunused-variable] 2023-09-10T17:21:05,631 866 | Var *hv = VARID2VARPTR (vars, d->head_var); 2023-09-10T17:21:05,632 | ^~ 2023-09-10T17:21:05,634 qdpll_dep_man_qdag.c: In function ‘assert_c_edges_integrity’: 2023-09-10T17:21:05,635 qdpll_dep_man_qdag.c:1114:8: warning: variable ‘prev’ set but not used [-Wunused-but-set-variable] 2023-09-10T17:21:05,636 1114 | Var *prev, *cur; 2023-09-10T17:21:05,637 | ^~~~ 2023-09-10T17:21:05,637 qdpll_dep_man_qdag.c: In function ‘assert_xcheck_dependencies’: 2023-09-10T17:21:05,638 qdpll_dep_man_qdag.c:1210:53: warning: variable ‘e2’ set but not used [-Wunused-but-set-variable] 2023-09-10T17:21:05,639 1210 | Var **p1, **prev1, **p2, **prev2, **e1, **e2; 2023-09-10T17:21:05,639 | ^~ 2023-09-10T17:21:05,640 qdpll_dep_man_qdag.c:1205:24: warning: unused variable ‘cnt_deps_from_graph’ [-Wunused-variable] 2023-09-10T17:21:05,640 1205 | unsigned int cnt_deps_from_graph = 2023-09-10T17:21:05,641 | ^~~~~~~~~~~~~~~~~~~ 2023-09-10T17:21:05,641 qdpll_dep_man_qdag.c:1204:24: warning: unused variable ‘cnt_deps_from_cnf’ [-Wunused-variable] 2023-09-10T17:21:05,642 1204 | unsigned int cnt_deps_from_cnf = QDPLL_COUNT_STACK (deps_from_cnf); 2023-09-10T17:21:05,642 | ^~~~~~~~~~~~~~~~~ 2023-09-10T17:21:05,719 qdpll_dep_man_qdag.c: In function ‘mark_inverse_depending_exists_forall’: 2023-09-10T17:21:05,724 qdpll_dep_man_qdag.c:4594:10: warning: unused variable ‘qdpll’ [-Wunused-variable] 2023-09-10T17:21:05,724 4594 | QDPLL *qdpll = dm->dmg.qdpll; 2023-09-10T17:21:05,725 | ^~~~~ 2023-09-10T17:21:05,726 qdpll_dep_man_qdag.c: In function ‘mark_inverse_depending_forall_exists’: 2023-09-10T17:21:05,731 qdpll_dep_man_qdag.c:4683:10: warning: unused variable ‘qdpll’ [-Wunused-variable] 2023-09-10T17:21:05,731 4683 | QDPLL *qdpll = dm->dmg.qdpll; 2023-09-10T17:21:05,732 | ^~~~~ 2023-09-10T17:21:05,733 qdpll_dep_man_qdag.c: In function ‘type_reduce_push_members’: 2023-09-10T17:21:05,737 qdpll_dep_man_qdag.c:4793:12: warning: unused variable ‘var’ [-Wunused-variable] 2023-09-10T17:21:05,738 4793 | Var *var = LIT2VARPTR (vars, lit); 2023-09-10T17:21:05,738 | ^~~ 2023-09-10T17:21:05,741 qdpll_dep_man_qdag.c: In function ‘type_reduce_by_std_deps_adv’: 2023-09-10T17:21:05,746 qdpll_dep_man_qdag.c:4815:14: warning: unused variable ‘e’ [-Wunused-variable] 2023-09-10T17:21:05,747 4815 | LitID *p, *e; 2023-09-10T17:21:05,747 | ^ 2023-09-10T17:21:05,751 qdpll_dep_man_qdag.c:4815:10: warning: unused variable ‘p’ [-Wunused-variable] 2023-09-10T17:21:05,751 4815 | LitID *p, *e; 2023-09-10T17:21:05,752 | ^ 2023-09-10T17:21:05,755 qdpll_dep_man_qdag.c:4814:8: warning: unused variable ‘vars’ [-Wunused-variable] 2023-09-10T17:21:05,756 4814 | Var *vars = qdpll->pcnf.vars; 2023-09-10T17:21:05,757 | ^~~~ 2023-09-10T17:21:05,759 In file included from qdpll_pcnf.h:32, 2023-09-10T17:21:05,760 from qdpll_dep_man_generic.h:29, 2023-09-10T17:21:05,760 from qdpll_internals.h:29, 2023-09-10T17:21:05,761 from qdpll_dep_man_qdag.c:30: 2023-09-10T17:21:05,761 qdpll_dep_man_qdag.c: In function ‘type_reduce’: 2023-09-10T17:21:05,764 qdpll_stack.h:89:33: warning: value computed is not used [-Wunused-value] 2023-09-10T17:21:05,764 89 | #define QDPLL_POP_STACK(stack) (*--(stack).top) 2023-09-10T17:21:05,765 | ~^~~~~~~~~~~~~~~ 2023-09-10T17:21:05,766 qdpll_dep_man_qdag.c:5079:15: note: in expansion of macro ‘QDPLL_POP_STACK’ 2023-09-10T17:21:05,766 5079 | QDPLL_POP_STACK (**lit_stack); 2023-09-10T17:21:05,767 | ^~~~~~~~~~~~~~~ 2023-09-10T17:21:05,769 qdpll_dep_man_qdag.c: In function ‘qdpll_dep_man_init’: 2023-09-10T17:21:05,774 qdpll_dep_man_qdag.c:5134:25: warning: unused variable ‘type’ [-Wunused-variable] 2023-09-10T17:21:05,775 5134 | const QDPLLDepManType type = dmg->type; 2023-09-10T17:21:05,775 | ^~~~ 2023-09-10T17:21:05,795 qdpll_dep_man_qdag.c: In function ‘qdpll_dep_man_reduce_lits’: 2023-09-10T17:21:05,800 qdpll_dep_man_qdag.c:5855:20: warning: unused variable ‘dm’ [-Wunused-variable] 2023-09-10T17:21:05,801 5855 | QDPLLDepManQDAG *dm = (QDPLLDepManQDAG *) dmg; 2023-09-10T17:21:05,802 | ^~ 2023-09-10T17:21:05,803 qdpll_dep_man_qdag.c: In function ‘qdpll_dep_man_get_candidates’: 2023-09-10T17:21:05,807 qdpll_dep_man_qdag.c:5880:14: warning: unused variable ‘cidn’ [-Wunused-variable] 2023-09-10T17:21:05,807 5880 | VarID cid, cidn; 2023-09-10T17:21:05,808 | ^~~~ 2023-09-10T17:21:05,812 qdpll_dep_man_qdag.c:5872:25: warning: unused variable ‘type’ [-Wunused-variable] 2023-09-10T17:21:05,813 5872 | const QDPLLDepManType type = dmg->type; 2023-09-10T17:21:05,813 | ^~~~ 2023-09-10T17:21:05,815 qdpll_dep_man_qdag.c: At top level: 2023-09-10T17:21:05,816 qdpll_dep_man_qdag.c:1256:12: warning: ‘referenced_by_active_existential_var’ declared ‘static’ but never defined [-Wunused-function] 2023-09-10T17:21:05,817 1256 | static int referenced_by_active_existential_var (Var * vars, Var * var); 2023-09-10T17:21:05,818 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:21:05,868 qdpll_dep_man_qdag.c:4478:1: warning: ‘print_marked_candidates’ defined but not used [-Wunused-function] 2023-09-10T17:21:05,868 4478 | print_marked_candidates (QDPLLDepManQDAG * dm) 2023-09-10T17:21:05,869 | ^~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:21:05,871 qdpll_dep_man_qdag.c:4462:1: warning: ‘print_candidate_list’ defined but not used [-Wunused-function] 2023-09-10T17:21:05,871 4462 | print_candidate_list (QDPLLDepManQDAG * dm) 2023-09-10T17:21:05,872 | ^~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:21:05,873 qdpll_dep_man_qdag.c:4087:1: warning: ‘referenced_by_active_universal_class’ defined but not used [-Wunused-function] 2023-09-10T17:21:05,874 4087 | referenced_by_active_universal_class (Var * vars, Var * v) 2023-09-10T17:21:05,874 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:21:05,876 qdpll_dep_man_qdag.c:3533:1: warning: ‘count_direct_active_refs_by_univ_class’ defined but not used [-Wunused-function] 2023-09-10T17:21:05,877 3533 | count_direct_active_refs_by_univ_class (Var * vars, Var * v) 2023-09-10T17:21:05,877 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:21:05,878 qdpll_dep_man_qdag.c:3505:1: warning: ‘count_direct_active_refs_by_sedge’ defined but not used [-Wunused-function] 2023-09-10T17:21:05,879 3505 | count_direct_active_refs_by_sedge (Var * vars, Var * v) 2023-09-10T17:21:05,880 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:21:05,881 qdpll_dep_man_qdag.c:3473:1: warning: ‘count_direct_active_refs_by_exist_var’ defined but not used [-Wunused-function] 2023-09-10T17:21:05,881 3473 | count_direct_active_refs_by_exist_var (Var * vars, Var * v) 2023-09-10T17:21:05,882 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:21:05,883 qdpll_dep_man_qdag.c:3445:1: warning: ‘count_direct_non_candidate_refs_by_univ_class’ defined but not used [-Wunused-function] 2023-09-10T17:21:05,884 3445 | count_direct_non_candidate_refs_by_univ_class (Var * vars, Var * v) 2023-09-10T17:21:05,884 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:21:05,885 qdpll_dep_man_qdag.c:1242:1: warning: ‘assert_candidate_list’ defined but not used [-Wunused-function] 2023-09-10T17:21:05,885 1242 | assert_candidate_list (QDPLLDepManQDAG * dm) 2023-09-10T17:21:05,886 | ^~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:21:05,886 qdpll_dep_man_qdag.c:1168:1: warning: ‘assert_xcheck_dependencies’ defined but not used [-Wunused-function] 2023-09-10T17:21:05,887 1168 | assert_xcheck_dependencies (QDPLLDepManQDAG * dm) 2023-09-10T17:21:05,887 | ^~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:21:05,888 qdpll_dep_man_qdag.c:1111:1: warning: ‘assert_c_edges_integrity’ defined but not used [-Wunused-function] 2023-09-10T17:21:05,889 1111 | assert_c_edges_integrity (Var * vars, Var * start) 2023-09-10T17:21:05,890 | ^~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:21:05,891 qdpll_dep_man_qdag.c:1052:1: warning: ‘assert_insert_c_edge_cchilds’ defined but not used [-Wunused-function] 2023-09-10T17:21:05,891 1052 | assert_insert_c_edge_cchilds (Var * vars, Var * from, Var * to) 2023-09-10T17:21:05,892 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:21:05,893 qdpll_dep_man_qdag.c:878:1: warning: ‘assert_graph_integrity’ defined but not used [-Wunused-function] 2023-09-10T17:21:05,893 878 | assert_graph_integrity (QDPLLDepManQDAG * dm) 2023-09-10T17:21:05,894 | ^~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:21:11,484 qdpll_pqueue.c: In function ‘assert_pqueue_condition’: 2023-09-10T17:21:11,485 qdpll_pqueue.c:181:39: warning: variable ‘right’ set but not used [-Wunused-but-set-variable] 2023-09-10T17:21:11,485 181 | PriorityQueueElem *cur, *left, *right; 2023-09-10T17:21:11,486 | ^~~~~ 2023-09-10T17:21:11,486 qdpll_pqueue.c:181:32: warning: variable ‘left’ set but not used [-Wunused-but-set-variable] 2023-09-10T17:21:11,487 181 | PriorityQueueElem *cur, *left, *right; 2023-09-10T17:21:11,487 | ^~~~ 2023-09-10T17:21:11,488 qdpll_pqueue.c:181:26: warning: variable ‘cur’ set but not used [-Wunused-but-set-variable] 2023-09-10T17:21:11,488 181 | PriorityQueueElem *cur, *left, *right; 2023-09-10T17:21:11,489 | ^~~ 2023-09-10T17:21:11,494 qdpll_pqueue.c: At top level: 2023-09-10T17:21:11,495 qdpll_pqueue.c:217:1: warning: ‘print_pqueue’ defined but not used [-Wunused-function] 2023-09-10T17:21:11,496 217 | print_pqueue (PriorityQueue * pqueue) 2023-09-10T17:21:11,496 | ^~~~~~~~~~~~ 2023-09-10T17:21:11,497 qdpll_pqueue.c:174:1: warning: ‘assert_pqueue_condition’ defined but not used [-Wunused-function] 2023-09-10T17:21:11,497 174 | assert_pqueue_condition (PriorityQueue * pqueue) 2023-09-10T17:21:11,498 | ^~~~~~~~~~~~~~~~~~~~~~~ 2023-09-10T17:21:11,875 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-09-10T17:21:11,876 !! 2023-09-10T17:21:11,877 ******************************************************************************** 2023-09-10T17:21:11,878 Please avoid running ``setup.py`` directly. 2023-09-10T17:21:11,878 Instead, use pypa/build, pypa/installer or other 2023-09-10T17:21:11,879 standards-based tools. 2023-09-10T17:21:11,880 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-09-10T17:21:11,881 ******************************************************************************** 2023-09-10T17:21:11,882 !! 2023-09-10T17:21:11,883 self.initialize_options() 2023-09-10T17:21:12,633 Building wheel for pydepqbf (setup.py): finished with status 'done' 2023-09-10T17:21:12,643 Created wheel for pydepqbf: filename=pydepqbf-0.0.2-cp311-cp311-linux_armv7l.whl size=626961 sha256=704adc7e9352e6ad9165c2dca00b4748371f4183751c7a975d66c1e4856efb92 2023-09-10T17:21:12,645 Stored in directory: /tmp/pip-ephem-wheel-cache-26qzvcu8/wheels/70/14/0b/25f3e1cdda296ecc53d1490bd86798ddf0db510591aa74ce45 2023-09-10T17:21:12,654 Successfully built pydepqbf 2023-09-10T17:21:12,673 Removed build tracker: '/tmp/pip-build-tracker-yjlcoeok'