Commit 72d0ff16 authored by Kučera Petr RNDr. Ph.D.'s avatar Kučera Petr RNDr. Ph.D.
Browse files

PrgOptions shared_ptr usage, cnfcanon uncommented code

parent 304edf3a
......@@ -184,7 +184,6 @@ main(int argc, char *argv[])
}
SUBool::logs.mVerbLevel = conf->verbosity;
dump_config(*conf, 1);
#if 0
SUBool::CNF cnf;
int ret = input(*conf, &cnf);
if (ret != 0)
......@@ -196,6 +195,5 @@ main(int argc, char *argv[])
canon->Compute();
canon->PrintStatistics(2);
output(*conf, canon->Cnf());
#endif
return 0;
}
......@@ -6,6 +6,8 @@
* Utility functions and structures used in programs.
*/
#include <boost/smart_ptr/make_shared.hpp>
#include "prgutil.h"
#include "version.h"
......@@ -98,12 +100,12 @@ SUBool::PrgOptions::InitCommon()
{
mCommon.add_options()("help,h", "Print help")(
"version,v", "Print version info");
boost::shared_ptr<po::option_description> opt_verbosity(
new po::option_description("verbosity,b",
auto opt_verbosity =
boost::make_shared<po::option_description>("verbosity,b",
po::value<unsigned>(&mVerbosity)->default_value(mVerbosity),
"Verbosity level of the log which is written to standard output."
" 0 means no log is written, however, messages of glucose can still "
"appear."));
"appear.");
mCommon.add(opt_verbosity);
if (mUseConfigFile)
{
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment