2019-07-15T14:39:26 Created temporary directory: /tmp/pip-ephem-wheel-cache-orj2ki22
2019-07-15T14:39:26 Created temporary directory: /tmp/pip-req-tracker-v9mnjbh3
2019-07-15T14:39:26 Created requirements tracker '/tmp/pip-req-tracker-v9mnjbh3'
2019-07-15T14:39:26 Created temporary directory: /tmp/pip-wheel-onpiymyo
2019-07-15T14:39:26 Collecting pydepqbf==0.0.2
2019-07-15T14:39:26   1 location(s) to search for versions of pydepqbf:
2019-07-15T14:39:26   * https://pypi.org/simple/pydepqbf/
2019-07-15T14:39:26   Getting page https://pypi.org/simple/pydepqbf/
2019-07-15T14:39:26   Analyzing links from page https://pypi.org/simple/pydepqbf/
2019-07-15T14:39:26     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
2019-07-15T14:39:26   Using version 0.0.2 (newest of versions: 0.0.2)
2019-07-15T14:39:26   Created temporary directory: /tmp/pip-unpack-0_y1o398
2019-07-15T14:39:27   Downloading https://files.pythonhosted.org/packages/5b/c6/b56208db66b807eeaa8151a9085955e058a1991b5f43f9f21f0bfaf1a37d/pydepqbf-0.0.2.tar.gz (325kB)
2019-07-15T14:39:27   Downloading from URL https://files.pythonhosted.org/packages/5b/c6/b56208db66b807eeaa8151a9085955e058a1991b5f43f9f21f0bfaf1a37d/pydepqbf-0.0.2.tar.gz#sha256=7f762764a19db42fbe154216d75eca07953abe29905f4d0b6ff2af8fbf93e802 (from https://pypi.org/simple/pydepqbf/)
2019-07-15T14:39:27   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-v9mnjbh3'
2019-07-15T14:39:27     Running setup.py (path:/tmp/pip-wheel-onpiymyo/pydepqbf/setup.py) egg_info for package pydepqbf
2019-07-15T14:39:27     Running command python setup.py egg_info
2019-07-15T14:39:28     running egg_info
2019-07-15T14:39:28     creating pip-egg-info/pydepqbf.egg-info
2019-07-15T14:39:28     writing pip-egg-info/pydepqbf.egg-info/PKG-INFO
2019-07-15T14:39:28     writing dependency_links to pip-egg-info/pydepqbf.egg-info/dependency_links.txt
2019-07-15T14:39:28     writing top-level names to pip-egg-info/pydepqbf.egg-info/top_level.txt
2019-07-15T14:39:28     writing manifest file 'pip-egg-info/pydepqbf.egg-info/SOURCES.txt'
2019-07-15T14:39:29     reading manifest file 'pip-egg-info/pydepqbf.egg-info/SOURCES.txt'
2019-07-15T14:39:29     writing manifest file 'pip-egg-info/pydepqbf.egg-info/SOURCES.txt'
2019-07-15T14:39:29   Source in /tmp/pip-wheel-onpiymyo/pydepqbf 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
2019-07-15T14:39:29   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-v9mnjbh3'
2019-07-15T14:39:29 Building wheels for collected packages: pydepqbf
2019-07-15T14:39:29   Created temporary directory: /tmp/pip-wheel-e191snls
2019-07-15T14:39:29   Building wheel for pydepqbf (setup.py): started
2019-07-15T14:39:29   Destination directory: /tmp/pip-wheel-e191snls
2019-07-15T14:39:29   Running command /usr/bin/python3 -u -c 'import setuptools, tokenize;__file__='"'"'/tmp/pip-wheel-onpiymyo/pydepqbf/setup.py'"'"';f=getattr(tokenize, '"'"'open'"'"', open)(__file__);code=f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, __file__, '"'"'exec'"'"'))' bdist_wheel -d /tmp/pip-wheel-e191snls
2019-07-15T14:39:30   running bdist_wheel
2019-07-15T14:39:30   running build
2019-07-15T14:39:30   running build_py
2019-07-15T14:39:31   creating build
2019-07-15T14:39:31   creating build/lib.linux-armv7l-3.7
2019-07-15T14:39:31   copying test_pydepqbf.py -> build/lib.linux-armv7l-3.7
2019-07-15T14:39:31   running build_ext
2019-07-15T14:39:31   building 'pydepqbf' extension
2019-07-15T14:39:31   creating build/temp.linux-armv7l-3.7
2019-07-15T14:39:31   creating build/temp.linux-armv7l-3.7/picosat
2019-07-15T14:39:31   creating build/temp.linux-armv7l-3.7/nenofex
2019-07-15T14:39:31   arm-linux-gnueabihf-gcc -pthread -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -I. -I/usr/include/python3.7m -c pydepqbf.c -o build/temp.linux-armv7l-3.7/pydepqbf.o
2019-07-15T14:39:32   arm-linux-gnueabihf-gcc -pthread -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -I. -I/usr/include/python3.7m -c qdpll.c -o build/temp.linux-armv7l-3.7/qdpll.o
2019-07-15T14:39:32   qdpll.c: In function ‘assert_var_pqueue_condition’:
2019-07-15T14:39:32   qdpll.c:1870:33: warning: variable ‘right_var’ set but not used [-Wunused-but-set-variable]
2019-07-15T14:39:32          Var *cur_var, *left_var, *right_var;
2019-07-15T14:39:32                                    ^~~~~~~~~
2019-07-15T14:39:32   qdpll.c:1870:22: warning: variable ‘left_var’ set but not used [-Wunused-but-set-variable]
2019-07-15T14:39:32          Var *cur_var, *left_var, *right_var;
2019-07-15T14:39:32                         ^~~~~~~~
2019-07-15T14:39:32   qdpll.c:1870:12: warning: variable ‘cur_var’ set but not used [-Wunused-but-set-variable]
2019-07-15T14:39:32          Var *cur_var, *left_var, *right_var;
2019-07-15T14:39:32               ^~~~~~~
2019-07-15T14:39:32   qdpll.c: In function ‘is_clause_satisfied’:
2019-07-15T14:39:32   qdpll.c:2189:7: warning: variable ‘init_watchers’ set but not used [-Wunused-but-set-variable]
2019-07-15T14:39:32      int init_watchers = 0;
2019-07-15T14:39:32          ^~~~~~~~~~~~~
2019-07-15T14:39:32   qdpll.c: In function ‘is_clause_satisfied_by_prop_var’:
2019-07-15T14:39:32   qdpll.c:2335:7: warning: variable ‘init_watchers’ set but not used [-Wunused-but-set-variable]
2019-07-15T14:39:32      int init_watchers = 0;
2019-07-15T14:39:32          ^~~~~~~~~~~~~
2019-07-15T14:39:32   qdpll.c: In function ‘remove_clause_from_notify_list’:
2019-07-15T14:39:32   qdpll.c:3697:7: warning: unused variable ‘marked’ [-Wunused-variable]
2019-07-15T14:39:32      int marked = BLIT_MARKED_PTR (last_occ_constr);
2019-07-15T14:39:32          ^~~~~~
2019-07-15T14:39:32   qdpll.c: In function ‘update_literal_watchers’:
2019-07-15T14:39:32   qdpll.c:3893:16: warning: unused variable ‘mm’ [-Wunused-variable]
2019-07-15T14:39:32      QDPLLMemMan *mm = qdpll->mm;
2019-07-15T14:39:32                   ^~
2019-07-15T14:39:32   qdpll.c: In function ‘init_literal_watcher’:
2019-07-15T14:39:32   qdpll.c:4235:16: warning: unused variable ‘num_lits’ [-Wunused-variable]
2019-07-15T14:39:32      unsigned int num_lits = c->num_lits;
2019-07-15T14:39:32                   ^~~~~~~~
2019-07-15T14:39:32   qdpll.c: In function ‘unmark_constraint_variables’:
2019-07-15T14:39:32   qdpll.c:5269:19: warning: unused variable ‘lit’ [-Wunused-variable]
2019-07-15T14:39:32      LitID *p, *end, lit;
2019-07-15T14:39:32                      ^~~
2019-07-15T14:39:32   qdpll.c: In function ‘import_added_ids’:
2019-07-15T14:39:32   qdpll.c:5643:16: warning: unused variable ‘internal_var’ [-Wunused-variable]
2019-07-15T14:39:32              Var *internal_var = VARID2VARPTR(qdpll->pcnf.vars, internal_id);
2019-07-15T14:39:32                   ^~~~~~~~~~~~
2019-07-15T14:39:32   qdpll.c: In function ‘has_variable_active_occs_in_cubes’:
2019-07-15T14:39:32   qdpll.c:5705:9: warning: unused variable ‘lit’ [-Wunused-variable]
2019-07-15T14:39:32      LitID lit = occ_cubes == &(var->neg_occ_cubes) ? -var->id : var->id;
2019-07-15T14:39:32            ^~~
2019-07-15T14:39:32   qdpll.c: In function ‘has_variable_active_occs_in_clauses’:
2019-07-15T14:39:32   qdpll.c:5938:9: warning: unused variable ‘lit’ [-Wunused-variable]
2019-07-15T14:39:32      LitID lit = occ_clauses == &(var->neg_occ_clauses) ? -var->id : var->id;
2019-07-15T14:39:32            ^~~
2019-07-15T14:39:32   qdpll.c: In function ‘cover_by_clauses_collect_lits_sorted_aux’:
2019-07-15T14:39:32   qdpll.c:6266:12: warning: unused variable ‘v’ [-Wunused-variable]
2019-07-15T14:39:32          Var *v = LIT2VARPTR (qdpll->pcnf.vars, lit);
2019-07-15T14:39:32               ^
2019-07-15T14:39:32   qdpll.c: In function ‘cover_by_clauses_collect_lits_sorted’:
2019-07-15T14:39:32   qdpll.c:6293:8: warning: unused variable ‘vars’ [-Wunused-variable]
2019-07-15T14:39:32      Var *vars = qdpll->pcnf.vars;
2019-07-15T14:39:32           ^~~~
2019-07-15T14:39:33   qdpll.c: In function ‘all_smaller_type_lits_have_value_adv’:
2019-07-15T14:39:33   qdpll.c:7536:22: warning: unused variable ‘hi_dl_var_dec_level’ [-Wunused-variable]
2019-07-15T14:39:33      const unsigned int hi_dl_var_dec_level = hi_dl_var->decision_level;
2019-07-15T14:39:33                         ^~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:33   qdpll.c: In function ‘resolve_and_reduce’:
2019-07-15T14:39:33   qdpll.c:7695:16: warning: unused variable ‘nesting2’ [-Wunused-variable]
2019-07-15T14:39:33      unsigned int nesting2;
2019-07-15T14:39:33                   ^~~~~~~~
2019-07-15T14:39:33   qdpll.c:7694:16: warning: unused variable ‘nesting1’ [-Wunused-variable]
2019-07-15T14:39:33      unsigned int nesting1;
2019-07-15T14:39:33                   ^~~~~~~~
2019-07-15T14:39:33   qdpll.c:7693:9: warning: unused variable ‘vid2’ [-Wunused-variable]
2019-07-15T14:39:33      VarID vid2;
2019-07-15T14:39:33            ^~~~
2019-07-15T14:39:33   qdpll.c:7692:9: warning: unused variable ‘vid1’ [-Wunused-variable]
2019-07-15T14:39:33      VarID vid1;
2019-07-15T14:39:33            ^~~~
2019-07-15T14:39:33   qdpll.c:7683:16: warning: unused variable ‘del’ [-Wunused-variable]
2019-07-15T14:39:33      unsigned int del = 0;
2019-07-15T14:39:33                   ^~~
2019-07-15T14:39:33   qdpll.c: In function ‘generate_reason’:
2019-07-15T14:39:33   qdpll.c:8032:5: warning: label ‘DO_RES’ defined but not used [-Wunused-label]
2019-07-15T14:39:33        DO_RES:
2019-07-15T14:39:33        ^~~~~~
2019-07-15T14:39:33   qdpll.c:7992:16: warning: unused variable ‘mm’ [-Wunused-variable]
2019-07-15T14:39:33      QDPLLMemMan *mm = qdpll->mm;
2019-07-15T14:39:33                   ^~
2019-07-15T14:39:33   qdpll.c: In function ‘qpup_print_info_literals_aux’:
2019-07-15T14:39:33   qdpll.c:9126:20: warning: unused variable ‘v’ [-Wunused-variable]
2019-07-15T14:39:33                  Var *v = LIT2VARPTR(qdpll->pcnf.vars, lit);
2019-07-15T14:39:33                       ^
2019-07-15T14:39:33   qdpll.c:9137:12: warning: unused variable ‘v’ [-Wunused-variable]
2019-07-15T14:39:33          Var *v = LIT2VARPTR(qdpll->pcnf.vars, lit);
2019-07-15T14:39:33               ^
2019-07-15T14:39:33   In file included from qdpll_pcnf.h:32,
2019-07-15T14:39:33                    from qdpll.c:35:
2019-07-15T14:39:33   qdpll.c: In function ‘qpup_res_reduce’:
2019-07-15T14:39:33   qdpll_stack.h:89:33: warning: value computed is not used [-Wunused-value]
2019-07-15T14:39:33    #define QDPLL_POP_STACK(stack) (*--(stack).top)
2019-07-15T14:39:33                                   ~^~~~~~~~~~~~~~~
2019-07-15T14:39:33   qdpll.c:9325:11: note: in expansion of macro ‘QDPLL_POP_STACK’
2019-07-15T14:39:33              QDPLL_POP_STACK(*stack);
2019-07-15T14:39:33              ^~~~~~~~~~~~~~~
2019-07-15T14:39:33   qdpll.c: In function ‘generate_and_add_reason’:
2019-07-15T14:39:33   qdpll.c:10434:20: warning: unused variable ‘offset’ [-Wunused-variable]
2019-07-15T14:39:33          unsigned int offset = 0;
2019-07-15T14:39:33                       ^~~~~~
2019-07-15T14:39:33   qdpll.c:10354:16: warning: unused variable ‘is_taut’ [-Wunused-variable]
2019-07-15T14:39:33      unsigned int is_taut = 0;
2019-07-15T14:39:33                   ^~~~~~~
2019-07-15T14:39:33   In file included from qdpll_pcnf.h:32,
2019-07-15T14:39:33                    from qdpll.c:35:
2019-07-15T14:39:33   qdpll.c: In function ‘backtrack_undo_assignment’:
2019-07-15T14:39:33   qdpll_stack.h:89:33: warning: value computed is not used [-Wunused-value]
2019-07-15T14:39:33    #define QDPLL_POP_STACK(stack) (*--(stack).top)
2019-07-15T14:39:33                                   ~^~~~~~~~~~~~~~~
2019-07-15T14:39:33   qdpll.c:10702:7: note: in expansion of macro ‘QDPLL_POP_STACK’
2019-07-15T14:39:33          QDPLL_POP_STACK (qdpll->dec_vars);
2019-07-15T14:39:33          ^~~~~~~~~~~~~~~
2019-07-15T14:39:33   qdpll.c: In function ‘propagate_variable_assigned’:
2019-07-15T14:39:33   qdpll.c:11182:23: warning: unused variable ‘dm’ [-Wunused-variable]
2019-07-15T14:39:33      QDPLLDepManGeneric *dm = qdpll->dm;
2019-07-15T14:39:33                          ^~
2019-07-15T14:39:33   qdpll.c: In function ‘qbcp_qbce_delete_watched_occ_entry’:
2019-07-15T14:39:33   qdpll.c:11570:16: warning: unused variable ‘del_offset’ [-Wunused-variable]
2019-07-15T14:39:33      unsigned int del_offset = *offset_entry_p;
2019-07-15T14:39:33                   ^~~~~~~~~~
2019-07-15T14:39:33   qdpll.c: In function ‘qbcp_qbce_store_witness’:
2019-07-15T14:39:33   qdpll.c:11695:29: warning: unused variable ‘non_blocked_clause_entry’ [-Wunused-variable]
2019-07-15T14:39:33          QBCENonBlockedWitness non_blocked_clause_entry = *non_blocked_clause_entry_p;
2019-07-15T14:39:33                                ^~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:33   qdpll.c: In function ‘qbcp_qbce_push_maybe_blocked_clauses_by_assignment’:
2019-07-15T14:39:33   qdpll.c:11978:21: warning: unused variable ‘satisfying_lit’ [-Wunused-variable]
2019-07-15T14:39:33                  LitID satisfying_lit;
2019-07-15T14:39:33                        ^~~~~~~~~~~~~~
2019-07-15T14:39:33   qdpll.c: In function ‘assert_qbcp_qbce_blocked_clauses_integrity’:
2019-07-15T14:39:33   qdpll.c:12057:16: warning: unused variable ‘blocking_var’ [-Wunused-variable]
2019-07-15T14:39:33              Var *blocking_var = LIT2VARPTR
2019-07-15T14:39:33                   ^~~~~~~~~~~~
2019-07-15T14:39:33   qdpll.c:12084:27: warning: unused variable ‘c’ [-Wunused-variable]
2019-07-15T14:39:33                  Constraint *c = *p;
2019-07-15T14:39:33                              ^
2019-07-15T14:39:33   qdpll.c:12093:27: warning: unused variable ‘c’ [-Wunused-variable]
2019-07-15T14:39:33                  Constraint *c = *p;
2019-07-15T14:39:33                              ^
2019-07-15T14:39:33   qdpll.c: In function ‘assert_qbcp_qbce_non_blocked_witness_integrity’:
2019-07-15T14:39:33   qdpll.c:12222:41: warning: unused variable ‘check_pair’ [-Wunused-variable]
2019-07-15T14:39:33                      QBCENonBlockedWitness check_pair = *check_p;
2019-07-15T14:39:33                                            ^~~~~~~~~~
2019-07-15T14:39:33   qdpll.c:12197:20: warning: unused variable ‘non_blocking_var’ [-Wunused-variable]
2019-07-15T14:39:33                  Var *non_blocking_var =
2019-07-15T14:39:33                       ^~~~~~~~~~~~~~~~
2019-07-15T14:39:33   qdpll.c:12259:41: warning: unused variable ‘check_pair’ [-Wunused-variable]
2019-07-15T14:39:33                      QBCENonBlockedWitness check_pair = *check_p;
2019-07-15T14:39:33                                            ^~~~~~~~~~
2019-07-15T14:39:33   qdpll.c:12264:37: warning: unused variable ‘check_pair’ [-Wunused-variable]
2019-07-15T14:39:33                  QBCENonBlockedWitness check_pair = {maybe_blocked_pair.non_blocking_lit, {c->lits[0], c},
2019-07-15T14:39:33                                        ^~~~~~~~~~
2019-07-15T14:39:33   qdpll.c: In function ‘qbcp_qbce_find_blocked_clauses’:
2019-07-15T14:39:33   qdpll.c:12647:20: warning: unused variable ‘var’ [-Wunused-variable]
2019-07-15T14:39:33                  Var *var = LIT2VARPTR (qdpll->pcnf.vars, lit);
2019-07-15T14:39:33                       ^~~
2019-07-15T14:39:33   qdpll.c: In function ‘cleanup_constraint_sweep’:
2019-07-15T14:39:33   qdpll.c:13182:16: warning: unused variable ‘check_del’ [-Wunused-variable]
2019-07-15T14:39:33      unsigned int check_del = 0;
2019-07-15T14:39:33                   ^~~~~~~~~
2019-07-15T14:39:33   qdpll.c: In function ‘check_resize_learnt_constraints’:
2019-07-15T14:39:33   qdpll.c:13279:15: warning: unused variable ‘c’ [-Wunused-variable]
2019-07-15T14:39:33      Constraint *c;
2019-07-15T14:39:33                  ^
2019-07-15T14:39:33   qdpll.c: In function ‘qbcp_qbce_check_blocked_clauses_after_clause_addition’:
2019-07-15T14:39:33   qdpll.c:14640:27: warning: unused variable ‘blocked_occs’ [-Wunused-variable]
2019-07-15T14:39:33          ConstraintPtrStack *blocked_occs;
2019-07-15T14:39:33                              ^~~~~~~~~~~~
2019-07-15T14:39:33   qdpll.c: In function ‘solve’:
2019-07-15T14:39:33   qdpll.c:15406:23: warning: unused variable ‘dm’ [-Wunused-variable]
2019-07-15T14:39:33      QDPLLDepManGeneric *dm = qdpll->dm;
2019-07-15T14:39:33                          ^~
2019-07-15T14:39:33   In file included from qdpll_pcnf.h:32,
2019-07-15T14:39:33                    from qdpll.c:35:
2019-07-15T14:39:33   qdpll.c: In function ‘reset_clean_up_assignments’:
2019-07-15T14:39:33   qdpll_stack.h:89:33: warning: value computed is not used [-Wunused-value]
2019-07-15T14:39:33    #define QDPLL_POP_STACK(stack) (*--(stack).top)
2019-07-15T14:39:33                                   ~^~~~~~~~~~~~~~~
2019-07-15T14:39:33   qdpll.c:16081:15: note: in expansion of macro ‘QDPLL_POP_STACK’
2019-07-15T14:39:33                  QDPLL_POP_STACK (qdpll->dec_vars);
2019-07-15T14:39:33                  ^~~~~~~~~~~~~~~
2019-07-15T14:39:33   qdpll.c: In function ‘recompute_var_act_scores’:
2019-07-15T14:39:33   qdpll.c:16854:20: warning: unused variable ‘ce’ [-Wunused-variable]
2019-07-15T14:39:33      Constraint *cp, *ce;
2019-07-15T14:39:33                       ^~
2019-07-15T14:39:33   qdpll.c: In function ‘qdo_reconstruct_cnf_model_is_clause_empty’:
2019-07-15T14:39:33   qdpll.c:16873:34: warning: unused variable ‘sat_var’ [-Wunused-variable]
2019-07-15T14:39:33      Var *vars = qdpll->pcnf.vars, *sat_var = 0;
2019-07-15T14:39:33                                     ^~~~~~~
2019-07-15T14:39:34   In file included from qdpll_pcnf.h:32,
2019-07-15T14:39:34                    from qdpll.c:35:
2019-07-15T14:39:34   qdpll.c: In function ‘qdpll_pop’:
2019-07-15T14:39:34   qdpll_stack.h:89:33: warning: value computed is not used [-Wunused-value]
2019-07-15T14:39:34    #define QDPLL_POP_STACK(stack) (*--(stack).top)
2019-07-15T14:39:34                                   ~^~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:18100:3: note: in expansion of macro ‘QDPLL_POP_STACK’
2019-07-15T14:39:34      QDPLL_POP_STACK(qdpll->state.cur_used_internal_vars);
2019-07-15T14:39:34      ^~~~~~~~~~~~~~~
2019-07-15T14:39:34   At top level:
2019-07-15T14:39:34   qdpll.c:16838:1: warning: ‘recompute_var_act_scores’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    recompute_var_act_scores (QDPLL *qdpll)
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:14066:1: warning: ‘count_selector_literals’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    count_selector_literals (QDPLL *qdpll, Constraint *c)
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:14051:1: warning: ‘find_selector_literal’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    find_selector_literal (QDPLL *qdpll, Constraint *c)
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:13743:1: warning: ‘setup_occ_lists’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    setup_occ_lists (QDPLL * qdpll)
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:13695:1: warning: ‘reset_occ_lists’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    reset_occ_lists (QDPLL * qdpll)
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:13387:1: warning: ‘print_config’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    print_config (QDPLL * qdpll)
2019-07-15T14:39:34    ^~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:12129:1: warning: ‘assert_qbcp_qbce_non_blocked_witness_integrity’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    assert_qbcp_qbce_non_blocked_witness_integrity (QDPLL *qdpll)
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:12042:1: warning: ‘assert_qbcp_qbce_blocked_clauses_integrity’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    assert_qbcp_qbce_blocked_clauses_integrity (QDPLL *qdpll)
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:12032:1: warning: ‘qbcp_qbce_find_in_blocked_clauses’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    qbcp_qbce_find_in_blocked_clauses (ConstraintPtrStack *stack, Constraint *c)
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:11482:1: warning: ‘qbcp_qbce_find_watched_occ’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    qbcp_qbce_find_watched_occ (QDPLL *qdpll, ConstraintPtrStack *watched_occs,
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:11380:1: warning: ‘qbcp_qbce_find_clause_in_list’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    qbcp_qbce_find_clause_in_list (QDPLL *qdpll, QBCENonBlockedWitnessStack *list,
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:11338:1: warning: ‘assumptions_given’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    assumptions_given (QDPLL *qdpll)
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:11304:1: warning: ‘is_lit_reducible_in_clause’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    is_lit_reducible_in_clause (QDPLL * qdpll, LitID lit, Constraint * c,
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:11283:1: warning: ‘sizeof_top_level’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    sizeof_top_level (QDPLL * qdpll)
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:9899:1: warning: ‘check_invariant_qpup_is_subseteq’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    check_invariant_qpup_is_subseteq (QDPLL *qdpll, Constraint *c1, Constraint *c2,
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:9854:1: warning: ‘qpup_is_subseteq’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    qpup_is_subseteq (Constraint *c1, Constraint *c2)
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:9782:1: warning: ‘assert_qpup_data_cleared’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    assert_qpup_data_cleared (QDPLL *qdpll)
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:9199:1: warning: ‘qpup_is_tautology’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    qpup_is_tautology (LitID *start, LitID *end)
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:9180:1: warning: ‘qpup_has_duplicate_lits’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    qpup_has_duplicate_lits (LitID *start, LitID *end)
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:8246:1: warning: ‘qpup_res_is_var_marked’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    qpup_res_is_var_marked (Var *var)
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:7951:1: warning: ‘working_clause_is_tautologous’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    working_clause_is_tautologous (QDPLL * qdpll, LitIDStack * lit_stack,
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:6579:1: warning: ‘cover_by_assignment_keep_univ_var’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    cover_by_assignment_keep_univ_var (QDPLL *qdpll, Var *univ_var,
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:6550:1: warning: ‘cover_by_assignment_check_blocked_clauses’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    cover_by_assignment_check_blocked_clauses (QDPLL *qdpll, Var *univ_var)
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:5983:1: warning: ‘get_reason_asserting_level’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    get_reason_asserting_level (QDPLL * qdpll, LitID * lit_start, LitID * lit_end,
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:5722:1: warning: ‘is_var_pure_in_cubes’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    is_var_pure_in_cubes (QDPLL * qdpll, Var * var,
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:3196:1: warning: ‘assert_all_assigned_assumption_lits_clause’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    assert_all_assigned_assumption_lits_clause (QDPLL *qdpll, Constraint *c)
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:2839:1: warning: ‘determine_solver_state’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    determine_solver_state (QDPLL * qdpll)
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:2626:1: warning: ‘is_cube_unit’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    is_cube_unit (QDPLL * qdpll, Constraint * cube)
2019-07-15T14:39:34    ^~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:2008:1: warning: ‘var_pqueue_access_min’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    var_pqueue_access_min (QDPLL * qdpll)
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:1860:1: warning: ‘assert_var_pqueue_condition’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    assert_var_pqueue_condition (QDPLL * qdpll)
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:1663:1: warning: ‘compute_constraint_lbd’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    compute_constraint_lbd (QDPLL * qdpll, Constraint * c)
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:1472:1: warning: ‘assert_peek_taut_lit_irreducible’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    assert_peek_taut_lit_irreducible (QDPLL * qdpll, LitIDStack * lit_stack,
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:314:1: warning: ‘print_assigned_vars’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    print_assigned_vars (QDPLL * qdpll)
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:296:1: warning: ‘count_in_notify_literal_watcher_list’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    count_in_notify_literal_watcher_list (BLitsOccStack * notify_list,
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:280:1: warning: ‘offset_in_clause’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    offset_in_clause (Constraint * clause, LitID id)
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:265:1: warning: ‘offset_in_notify_clause_watcher_list’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    offset_in_notify_clause_watcher_list (LitIDStack * notify_list, LitID id)
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:249:1: warning: ‘count_in_notify_clause_watcher_list’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    count_in_notify_clause_watcher_list (LitIDStack * notify_list, LitID id)
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:237:1: warning: ‘find_in_assigned_vars’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    find_in_assigned_vars (QDPLL * qdpll, VarID id)
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:227:1: warning: ‘print_var_pqueue’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    print_var_pqueue (QDPLL * qdpll)
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:221:1: warning: ‘check_depends’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    check_depends (QDPLL * qdpll, VarID id1, VarID id2)
2019-07-15T14:39:34    ^~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:194:1: warning: ‘print_vars_state’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    print_vars_state (QDPLL * qdpll)
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:177:1: warning: ‘print_lit_notify_lists_info’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    print_lit_notify_lists_info (QDPLL * qdpll)
2019-07-15T14:39:34    ^~~~~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:34   qdpll.c:147:1: warning: ‘print_all_deps’ defined but not used [-Wunused-function]
2019-07-15T14:39:34    print_all_deps (QDPLL * qdpll)
2019-07-15T14:39:34    ^~~~~~~~~~~~~~
2019-07-15T14:39:58   arm-linux-gnueabihf-gcc -pthread -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -I. -I/usr/include/python3.7m -c qdpll_dep_man_qdag.c -o build/temp.linux-armv7l-3.7/qdpll_dep_man_qdag.o
2019-07-15T14:39:58   qdpll_dep_man_qdag.c: In function ‘assert_pq_condition’:
2019-07-15T14:39:58   qdpll_dep_man_qdag.c:533:29: warning: variable ‘right’ set but not used [-Wunused-but-set-variable]
2019-07-15T14:39:58          Edge **cur, **left, **right;
2019-07-15T14:39:58                                ^~~~~
2019-07-15T14:39:58   qdpll_dep_man_qdag.c:533:21: warning: variable ‘left’ set but not used [-Wunused-but-set-variable]
2019-07-15T14:39:58          Edge **cur, **left, **right;
2019-07-15T14:39:58                        ^~~~
2019-07-15T14:39:58   qdpll_dep_man_qdag.c:533:14: warning: variable ‘cur’ set but not used [-Wunused-but-set-variable]
2019-07-15T14:39:58          Edge **cur, **left, **right;
2019-07-15T14:39:58                 ^~~
2019-07-15T14:39:58   qdpll_dep_man_qdag.c: In function ‘assert_graph_check_edges_pq’:
2019-07-15T14:39:58   qdpll_dep_man_qdag.c:845:12: warning: unused variable ‘tv’ [-Wunused-variable]
2019-07-15T14:39:58          Var *tv = VARID2VARPTR (vars, (*d)->tail_var);
2019-07-15T14:39:58               ^~
2019-07-15T14:39:58   qdpll_dep_man_qdag.c: In function ‘assert_graph_check_edges’:
2019-07-15T14:39:58   qdpll_dep_man_qdag.c:866:14: warning: unused variable ‘hv’ [-Wunused-variable]
2019-07-15T14:39:58            Var *hv = VARID2VARPTR (vars, d->head_var);
2019-07-15T14:39:58                 ^~
2019-07-15T14:39:58   qdpll_dep_man_qdag.c: In function ‘assert_c_edges_integrity’:
2019-07-15T14:39:58   qdpll_dep_man_qdag.c:1114:8: warning: variable ‘prev’ set but not used [-Wunused-but-set-variable]
2019-07-15T14:39:58      Var *prev, *cur;
2019-07-15T14:39:58           ^~~~
2019-07-15T14:39:58   qdpll_dep_man_qdag.c: In function ‘assert_xcheck_dependencies’:
2019-07-15T14:39:58   qdpll_dep_man_qdag.c:1210:53: warning: variable ‘e2’ set but not used [-Wunused-but-set-variable]
2019-07-15T14:39:58              Var **p1, **prev1, **p2, **prev2, **e1, **e2;
2019-07-15T14:39:58                                                        ^~
2019-07-15T14:39:58   qdpll_dep_man_qdag.c:1205:24: warning: unused variable ‘cnt_deps_from_graph’ [-Wunused-variable]
2019-07-15T14:39:58              unsigned int cnt_deps_from_graph =
2019-07-15T14:39:58                           ^~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:58   qdpll_dep_man_qdag.c:1204:24: warning: unused variable ‘cnt_deps_from_cnf’ [-Wunused-variable]
2019-07-15T14:39:58              unsigned int cnt_deps_from_cnf = QDPLL_COUNT_STACK (deps_from_cnf);
2019-07-15T14:39:58                           ^~~~~~~~~~~~~~~~~
2019-07-15T14:39:58   qdpll_dep_man_qdag.c: In function ‘mark_inverse_depending_exists_forall’:
2019-07-15T14:39:58   qdpll_dep_man_qdag.c:4594:10: warning: unused variable ‘qdpll’ [-Wunused-variable]
2019-07-15T14:39:58      QDPLL *qdpll = dm->dmg.qdpll;
2019-07-15T14:39:58             ^~~~~
2019-07-15T14:39:58   qdpll_dep_man_qdag.c: In function ‘mark_inverse_depending_forall_exists’:
2019-07-15T14:39:58   qdpll_dep_man_qdag.c:4683:10: warning: unused variable ‘qdpll’ [-Wunused-variable]
2019-07-15T14:39:58      QDPLL *qdpll = dm->dmg.qdpll;
2019-07-15T14:39:58             ^~~~~
2019-07-15T14:39:58   qdpll_dep_man_qdag.c: In function ‘type_reduce_push_members’:
2019-07-15T14:39:58   qdpll_dep_man_qdag.c:4793:12: warning: unused variable ‘var’ [-Wunused-variable]
2019-07-15T14:39:58          Var *var = LIT2VARPTR (vars, lit);
2019-07-15T14:39:58               ^~~
2019-07-15T14:39:58   qdpll_dep_man_qdag.c: In function ‘type_reduce_by_std_deps_adv’:
2019-07-15T14:39:58   qdpll_dep_man_qdag.c:4815:14: warning: unused variable ‘e’ [-Wunused-variable]
2019-07-15T14:39:58      LitID *p, *e;
2019-07-15T14:39:58                 ^
2019-07-15T14:39:58   qdpll_dep_man_qdag.c:4815:10: warning: unused variable ‘p’ [-Wunused-variable]
2019-07-15T14:39:58      LitID *p, *e;
2019-07-15T14:39:58             ^
2019-07-15T14:39:58   qdpll_dep_man_qdag.c:4814:8: warning: unused variable ‘vars’ [-Wunused-variable]
2019-07-15T14:39:58      Var *vars = qdpll->pcnf.vars;
2019-07-15T14:39:58           ^~~~
2019-07-15T14:39:58   In file included from qdpll_pcnf.h:32,
2019-07-15T14:39:58                    from qdpll_dep_man_generic.h:29,
2019-07-15T14:39:58                    from qdpll_internals.h:29,
2019-07-15T14:39:58                    from qdpll_dep_man_qdag.c:30:
2019-07-15T14:39:58   qdpll_dep_man_qdag.c: In function ‘type_reduce’:
2019-07-15T14:39:58   qdpll_stack.h:89:33: warning: value computed is not used [-Wunused-value]
2019-07-15T14:39:58    #define QDPLL_POP_STACK(stack) (*--(stack).top)
2019-07-15T14:39:58                                   ~^~~~~~~~~~~~~~~
2019-07-15T14:39:58   qdpll_dep_man_qdag.c:5079:15: note: in expansion of macro ‘QDPLL_POP_STACK’
2019-07-15T14:39:58                  QDPLL_POP_STACK (**lit_stack);
2019-07-15T14:39:58                  ^~~~~~~~~~~~~~~
2019-07-15T14:39:58   qdpll_dep_man_qdag.c: In function ‘qdpll_dep_man_init’:
2019-07-15T14:39:58   qdpll_dep_man_qdag.c:5134:25: warning: unused variable ‘type’ [-Wunused-variable]
2019-07-15T14:39:58      const QDPLLDepManType type = dmg->type;
2019-07-15T14:39:58                            ^~~~
2019-07-15T14:39:58   qdpll_dep_man_qdag.c: In function ‘qdpll_dep_man_reduce_lits’:
2019-07-15T14:39:58   qdpll_dep_man_qdag.c:5855:20: warning: unused variable ‘dm’ [-Wunused-variable]
2019-07-15T14:39:58      QDPLLDepManQDAG *dm = (QDPLLDepManQDAG *) dmg;
2019-07-15T14:39:58                       ^~
2019-07-15T14:39:58   qdpll_dep_man_qdag.c: In function ‘qdpll_dep_man_get_candidates’:
2019-07-15T14:39:58   qdpll_dep_man_qdag.c:5880:14: warning: unused variable ‘cidn’ [-Wunused-variable]
2019-07-15T14:39:58      VarID cid, cidn;
2019-07-15T14:39:58                 ^~~~
2019-07-15T14:39:58   qdpll_dep_man_qdag.c:5872:25: warning: unused variable ‘type’ [-Wunused-variable]
2019-07-15T14:39:58      const QDPLLDepManType type = dmg->type;
2019-07-15T14:39:58                            ^~~~
2019-07-15T14:39:58   qdpll_dep_man_qdag.c: At top level:
2019-07-15T14:39:58   qdpll_dep_man_qdag.c:1256:12: warning: ‘referenced_by_active_existential_var’ declared ‘static’ but never defined [-Wunused-function]
2019-07-15T14:39:58    static int referenced_by_active_existential_var (Var * vars, Var * var);
2019-07-15T14:39:58               ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:58   qdpll_dep_man_qdag.c:4478:1: warning: ‘print_marked_candidates’ defined but not used [-Wunused-function]
2019-07-15T14:39:58    print_marked_candidates (QDPLLDepManQDAG * dm)
2019-07-15T14:39:58    ^~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:58   qdpll_dep_man_qdag.c:4462:1: warning: ‘print_candidate_list’ defined but not used [-Wunused-function]
2019-07-15T14:39:58    print_candidate_list (QDPLLDepManQDAG * dm)
2019-07-15T14:39:58    ^~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:58   qdpll_dep_man_qdag.c:4087:1: warning: ‘referenced_by_active_universal_class’ defined but not used [-Wunused-function]
2019-07-15T14:39:58    referenced_by_active_universal_class (Var * vars, Var * v)
2019-07-15T14:39:58    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:58   qdpll_dep_man_qdag.c:3533:1: warning: ‘count_direct_active_refs_by_univ_class’ defined but not used [-Wunused-function]
2019-07-15T14:39:58    count_direct_active_refs_by_univ_class (Var * vars, Var * v)
2019-07-15T14:39:58    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:58   qdpll_dep_man_qdag.c:3505:1: warning: ‘count_direct_active_refs_by_sedge’ defined but not used [-Wunused-function]
2019-07-15T14:39:58    count_direct_active_refs_by_sedge (Var * vars, Var * v)
2019-07-15T14:39:58    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:58   qdpll_dep_man_qdag.c:3473:1: warning: ‘count_direct_active_refs_by_exist_var’ defined but not used [-Wunused-function]
2019-07-15T14:39:58    count_direct_active_refs_by_exist_var (Var * vars, Var * v)
2019-07-15T14:39:58    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:58   qdpll_dep_man_qdag.c:3445:1: warning: ‘count_direct_non_candidate_refs_by_univ_class’ defined but not used [-Wunused-function]
2019-07-15T14:39:58    count_direct_non_candidate_refs_by_univ_class (Var * vars, Var * v)
2019-07-15T14:39:58    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:58   qdpll_dep_man_qdag.c:1242:1: warning: ‘assert_candidate_list’ defined but not used [-Wunused-function]
2019-07-15T14:39:58    assert_candidate_list (QDPLLDepManQDAG * dm)
2019-07-15T14:39:58    ^~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:58   qdpll_dep_man_qdag.c:1168:1: warning: ‘assert_xcheck_dependencies’ defined but not used [-Wunused-function]
2019-07-15T14:39:58    assert_xcheck_dependencies (QDPLLDepManQDAG * dm)
2019-07-15T14:39:58    ^~~~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:58   qdpll_dep_man_qdag.c:1111:1: warning: ‘assert_c_edges_integrity’ defined but not used [-Wunused-function]
2019-07-15T14:39:58    assert_c_edges_integrity (Var * vars, Var * start)
2019-07-15T14:39:58    ^~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:58   qdpll_dep_man_qdag.c:1052:1: warning: ‘assert_insert_c_edge_cchilds’ defined but not used [-Wunused-function]
2019-07-15T14:39:58    assert_insert_c_edge_cchilds (Var * vars, Var * from, Var * to)
2019-07-15T14:39:58    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:39:58   qdpll_dep_man_qdag.c:878:1: warning: ‘assert_graph_integrity’ defined but not used [-Wunused-function]
2019-07-15T14:39:58    assert_graph_integrity (QDPLLDepManQDAG * dm)
2019-07-15T14:39:58    ^~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:40:05   arm-linux-gnueabihf-gcc -pthread -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -I. -I/usr/include/python3.7m -c qdpll_dynamic_nenofex.c -o build/temp.linux-armv7l-3.7/qdpll_dynamic_nenofex.o
2019-07-15T14:40:06   arm-linux-gnueabihf-gcc -pthread -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -I. -I/usr/include/python3.7m -c qdpll_mem.c -o build/temp.linux-armv7l-3.7/qdpll_mem.o
2019-07-15T14:40:06   arm-linux-gnueabihf-gcc -pthread -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -I. -I/usr/include/python3.7m -c qdpll_pqueue.c -o build/temp.linux-armv7l-3.7/qdpll_pqueue.o
2019-07-15T14:40:06   qdpll_pqueue.c: In function ‘assert_pqueue_condition’:
2019-07-15T14:40:06   qdpll_pqueue.c:181:39: warning: variable ‘right’ set but not used [-Wunused-but-set-variable]
2019-07-15T14:40:06          PriorityQueueElem *cur, *left, *right;
2019-07-15T14:40:06                                          ^~~~~
2019-07-15T14:40:06   qdpll_pqueue.c:181:32: warning: variable ‘left’ set but not used [-Wunused-but-set-variable]
2019-07-15T14:40:06          PriorityQueueElem *cur, *left, *right;
2019-07-15T14:40:06                                   ^~~~
2019-07-15T14:40:06   qdpll_pqueue.c:181:26: warning: variable ‘cur’ set but not used [-Wunused-but-set-variable]
2019-07-15T14:40:06          PriorityQueueElem *cur, *left, *right;
2019-07-15T14:40:06                             ^~~
2019-07-15T14:40:06   At top level:
2019-07-15T14:40:06   qdpll_pqueue.c:217:1: warning: ‘print_pqueue’ defined but not used [-Wunused-function]
2019-07-15T14:40:06    print_pqueue (PriorityQueue * pqueue)
2019-07-15T14:40:06    ^~~~~~~~~~~~
2019-07-15T14:40:06   qdpll_pqueue.c:174:1: warning: ‘assert_pqueue_condition’ defined but not used [-Wunused-function]
2019-07-15T14:40:06    assert_pqueue_condition (PriorityQueue * pqueue)
2019-07-15T14:40:06    ^~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:40:06   arm-linux-gnueabihf-gcc -pthread -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -I. -I/usr/include/python3.7m -c picosat/picosat.c -o build/temp.linux-armv7l-3.7/picosat/picosat.o
2019-07-15T14:40:18   arm-linux-gnueabihf-gcc -pthread -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -I. -I/usr/include/python3.7m -c picosat/version.c -o build/temp.linux-armv7l-3.7/picosat/version.o
2019-07-15T14:40:19   arm-linux-gnueabihf-gcc -pthread -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -I. -I/usr/include/python3.7m -c nenofex/atpg.c -o build/temp.linux-armv7l-3.7/nenofex/atpg.o
2019-07-15T14:40:19   nenofex/atpg.c: In function ‘collect_necessary_off_path_literals’:
2019-07-15T14:40:19   nenofex/atpg.c:2227:15: warning: variable ‘prev’ set but not used [-Wunused-but-set-variable]
2019-07-15T14:40:19      Node *cur, *prev;
2019-07-15T14:40:19                  ^~~~
2019-07-15T14:40:19   nenofex/atpg.c: In function ‘simplify_by_global_flow_and_atpg_main’:
2019-07-15T14:40:19   nenofex/atpg.c:3739:14: warning: unused variable ‘changed_subformula’ [-Wunused-variable]
2019-07-15T14:40:19      LCAObject *changed_subformula = &(nenofex->changed_subformula);
2019-07-15T14:40:19                 ^~~~~~~~~~~~~~~~~~
2019-07-15T14:40:19   At top level:
2019-07-15T14:40:19   nenofex/atpg.c:2664:1: warning: ‘print_atpg_graph’ defined but not used [-Wunused-function]
2019-07-15T14:40:19    print_atpg_graph (Nenofex * nenofex)
2019-07-15T14:40:19    ^~~~~~~~~~~~~~~~
2019-07-15T14:40:19   nenofex/atpg.c:427:1: warning: ‘collect_fault_nodes_by_bfs’ defined but not used [-Wunused-function]
2019-07-15T14:40:19    collect_fault_nodes_by_bfs (Nenofex * nenofex)
2019-07-15T14:40:19    ^~~~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:40:19   nenofex/atpg.c:375:1: warning: ‘collect_fault_nodes_by_dfs’ defined but not used [-Wunused-function]
2019-07-15T14:40:19    collect_fault_nodes_by_dfs (Nenofex * nenofex)
2019-07-15T14:40:19    ^~~~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:40:21   arm-linux-gnueabihf-gcc -pthread -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -I. -I/usr/include/python3.7m -c nenofex/mem.c -o build/temp.linux-armv7l-3.7/nenofex/mem.o
2019-07-15T14:40:22   arm-linux-gnueabihf-gcc -pthread -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -I. -I/usr/include/python3.7m -c nenofex/nenofex.c -o build/temp.linux-armv7l-3.7/nenofex/nenofex.o
2019-07-15T14:40:22   nenofex/nenofex.c: In function ‘replace_changed_lca_child’:
2019-07-15T14:40:22   nenofex/nenofex.c:4489:14: warning: unused variable ‘changed_subformula’ [-Wunused-variable]
2019-07-15T14:40:22      LCAObject *changed_subformula = &(nenofex->changed_subformula);
2019-07-15T14:40:22                 ^~~~~~~~~~~~~~~~~~
2019-07-15T14:40:22   nenofex/nenofex.c: In function ‘quantified_nnf_to_cnf_dump’:
2019-07-15T14:40:22   nenofex/nenofex.c:8123:35: warning: unused variable ‘num_remaining_univ_vars’ [-Wunused-variable]
2019-07-15T14:40:22        num_remaining_exist_vars = 0, num_remaining_univ_vars = 0;
2019-07-15T14:40:22                                      ^~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:40:22   nenofex/nenofex.c:8123:5: warning: unused variable ‘num_remaining_exist_vars’ [-Wunused-variable]
2019-07-15T14:40:22        num_remaining_exist_vars = 0, num_remaining_univ_vars = 0;
2019-07-15T14:40:22        ^~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:40:22   nenofex/nenofex.c:8122:38: warning: unused variable ‘num_remaining_vars’ [-Wunused-variable]
2019-07-15T14:40:22      int num_clauses = 0, num_vars = 0, num_remaining_vars = 0,
2019-07-15T14:40:22                                         ^~~~~~~~~~~~~~~~~~
2019-07-15T14:40:22   nenofex/nenofex.c: In function ‘nnf_to_cnf_dump’:
2019-07-15T14:40:22   nenofex/nenofex.c:8140:38: warning: variable ‘num_remaining_vars’ set but not used [-Wunused-but-set-variable]
2019-07-15T14:40:22      int num_clauses = 0, num_vars = 0, num_remaining_vars = 0,
2019-07-15T14:40:22                                         ^~~~~~~~~~~~~~~~~~
2019-07-15T14:40:22   nenofex/nenofex.c: In function ‘nnf_to_cnf_forward’:
2019-07-15T14:40:22   nenofex/nenofex.c:8183:38: warning: variable ‘num_remaining_vars’ set but not used [-Wunused-but-set-variable]
2019-07-15T14:40:22      int num_clauses = 0, num_vars = 0, num_remaining_vars = 0,
2019-07-15T14:40:22                                         ^~~~~~~~~~~~~~~~~~
2019-07-15T14:40:22   nenofex/nenofex.c: In function ‘generate_qdimacs_output’:
2019-07-15T14:40:22   nenofex/nenofex.c:8321:11: warning: unused variable ‘value’ [-Wunused-variable]
2019-07-15T14:40:22          int value = var->assignment - 1;
2019-07-15T14:40:22              ^~~~~
2019-07-15T14:40:22   nenofex/nenofex.c: In function ‘nenofex_parse’:
2019-07-15T14:40:22   nenofex/nenofex.c:11167:11: warning: ignoring return value of ‘fscanf’, declared with attribute warn_unused_result [-Wunused-result]
2019-07-15T14:40:22              fscanf (input_file, "%s", num_vars_str);
2019-07-15T14:40:22              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:40:22   nenofex/nenofex.c:11168:11: warning: ignoring return value of ‘fscanf’, declared with attribute warn_unused_result [-Wunused-result]
2019-07-15T14:40:22              fscanf (input_file, "%s", num_clauses_str);
2019-07-15T14:40:22              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:40:22   nenofex/nenofex.c:11199:11: warning: ignoring return value of ‘fscanf’, declared with attribute warn_unused_result [-Wunused-result]
2019-07-15T14:40:22              fscanf (input_file, "%ld", &val);
2019-07-15T14:40:22              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:40:22   At top level:
2019-07-15T14:40:22   nenofex/nenofex.c:9735:1: warning: ‘print_lit_stats_before_exp’ defined but not used [-Wunused-function]
2019-07-15T14:40:22    print_lit_stats_before_exp (Nenofex * nenofex, Var * var)
2019-07-15T14:40:22    ^~~~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:40:22   nenofex/nenofex.c:8882:1: warning: ‘compute_graph_statistics’ defined but not used [-Wunused-function]
2019-07-15T14:40:22    compute_graph_statistics (Nenofex * nenofex)
2019-07-15T14:40:22    ^~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:40:22   nenofex/nenofex.c:4079:1: warning: ‘find_innermost_non_empty_scope’ defined but not used [-Wunused-function]
2019-07-15T14:40:22    find_innermost_non_empty_scope (Nenofex * nenofex)
2019-07-15T14:40:22    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:40:22   nenofex/nenofex.c:1274:1: warning: ‘print_graph_by_traversal’ defined but not used [-Wunused-function]
2019-07-15T14:40:22    print_graph_by_traversal (Nenofex *nenofex, Node * root)
2019-07-15T14:40:22    ^~~~~~~~~~~~~~~~~~~~~~~~
2019-07-15T14:40:31   arm-linux-gnueabihf-gcc -pthread -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -I. -I/usr/include/python3.7m -c nenofex/queue.c -o build/temp.linux-armv7l-3.7/nenofex/queue.o
2019-07-15T14:40:31   arm-linux-gnueabihf-gcc -pthread -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -I. -I/usr/include/python3.7m -c nenofex/stack.c -o build/temp.linux-armv7l-3.7/nenofex/stack.o
2019-07-15T14:40:32   arm-linux-gnueabihf-gcc -pthread -shared -Wl,-O1 -Wl,-Bsymbolic-functions -Wl,-z,relro -Wl,-z,relro -g -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 build/temp.linux-armv7l-3.7/pydepqbf.o build/temp.linux-armv7l-3.7/qdpll.o build/temp.linux-armv7l-3.7/qdpll_dep_man_qdag.o build/temp.linux-armv7l-3.7/qdpll_dynamic_nenofex.o build/temp.linux-armv7l-3.7/qdpll_mem.o build/temp.linux-armv7l-3.7/qdpll_pqueue.o build/temp.linux-armv7l-3.7/picosat/picosat.o build/temp.linux-armv7l-3.7/picosat/version.o build/temp.linux-armv7l-3.7/nenofex/atpg.o build/temp.linux-armv7l-3.7/nenofex/mem.o build/temp.linux-armv7l-3.7/nenofex/nenofex.o build/temp.linux-armv7l-3.7/nenofex/queue.o build/temp.linux-armv7l-3.7/nenofex/stack.o -o build/lib.linux-armv7l-3.7/pydepqbf.cpython-37m-arm-linux-gnueabihf.so
2019-07-15T14:40:32   installing to build/bdist.linux-armv7l/wheel
2019-07-15T14:40:32   running install
2019-07-15T14:40:32   running install_lib
2019-07-15T14:40:32   creating build/bdist.linux-armv7l
2019-07-15T14:40:32   creating build/bdist.linux-armv7l/wheel
2019-07-15T14:40:32   copying build/lib.linux-armv7l-3.7/pydepqbf.cpython-37m-arm-linux-gnueabihf.so -> build/bdist.linux-armv7l/wheel
2019-07-15T14:40:32   copying build/lib.linux-armv7l-3.7/test_pydepqbf.py -> build/bdist.linux-armv7l/wheel
2019-07-15T14:40:32   running install_egg_info
2019-07-15T14:40:32   running egg_info
2019-07-15T14:40:32   creating pydepqbf.egg-info
2019-07-15T14:40:32   writing pydepqbf.egg-info/PKG-INFO
2019-07-15T14:40:32   writing dependency_links to pydepqbf.egg-info/dependency_links.txt
2019-07-15T14:40:32   writing top-level names to pydepqbf.egg-info/top_level.txt
2019-07-15T14:40:32   writing manifest file 'pydepqbf.egg-info/SOURCES.txt'
2019-07-15T14:40:32   reading manifest file 'pydepqbf.egg-info/SOURCES.txt'
2019-07-15T14:40:32   writing manifest file 'pydepqbf.egg-info/SOURCES.txt'
2019-07-15T14:40:32   Copying pydepqbf.egg-info to build/bdist.linux-armv7l/wheel/pydepqbf-0.0.2-py3.7.egg-info
2019-07-15T14:40:32   running install_scripts
2019-07-15T14:40:32   creating build/bdist.linux-armv7l/wheel/pydepqbf-0.0.2.dist-info/WHEEL
2019-07-15T14:40:32   creating '/tmp/pip-wheel-e191snls/pydepqbf-0.0.2-cp37-cp37m-linux_armv7l.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2019-07-15T14:40:33   adding 'pydepqbf.cpython-37m-arm-linux-gnueabihf.so'
2019-07-15T14:40:33   adding 'test_pydepqbf.py'
2019-07-15T14:40:33   adding 'pydepqbf-0.0.2.dist-info/METADATA'
2019-07-15T14:40:33   adding 'pydepqbf-0.0.2.dist-info/WHEEL'
2019-07-15T14:40:33   adding 'pydepqbf-0.0.2.dist-info/top_level.txt'
2019-07-15T14:40:33   adding 'pydepqbf-0.0.2.dist-info/RECORD'
2019-07-15T14:40:33   removing build/bdist.linux-armv7l/wheel
2019-07-15T14:40:33   Building wheel for pydepqbf (setup.py): finished with status 'done'
2019-07-15T14:40:33   Stored in directory: /tmp/tmpdhn3ughv
2019-07-15T14:40:33 Successfully built pydepqbf
2019-07-15T14:40:33 Cleaning up...
2019-07-15T14:40:33   Removing source in /tmp/pip-wheel-onpiymyo/pydepqbf
2019-07-15T14:40:33 Removed build tracker '/tmp/pip-req-tracker-v9mnjbh3'