/cbmc/src/solvers/miniBDD/miniBDD.cpp:402: warning: documented symbol `mini_bddt mini_bddt::operator &' was not declared or defined.
/cbmc/src/solvers/sat/satcheck_glucose.cpp:228: warning: no matching class member found for 
  template <>
  satcheck_glucose_baset< Glucose::Solver >::~satcheck_glucose_baset()

/cbmc/src/solvers/sat/satcheck_glucose.cpp:234: warning: no matching class member found for 
  template <>
  satcheck_glucose_baset< Glucose::SimpSolver >::~satcheck_glucose_baset()

/cbmc/src/solvers/sat/satcheck_minisat2.cpp:306: warning: no matching class member found for 
  template <>
  satcheck_minisat2_baset< Minisat::Solver >::~satcheck_minisat2_baset()

/cbmc/src/solvers/sat/satcheck_minisat2.cpp:312: warning: no matching class member found for 
  template <>
  satcheck_minisat2_baset< Minisat::SimpSolver >::~satcheck_minisat2_baset()

/cbmc/src/solvers/refinement/string_refinement.cpp:239: warning: Invalid list item found
/cbmc/doc/architectural/howto.md:260: warning: found </div> at different nesting level (6) than expected (3)
/cbmc/doc/architectural/howto.md:261: warning: end of comment block while expecting command </div>
/cbmc/src/solvers/README.md:434: warning: Invalid list item found
