Displaying 1 result from an estimated 1 matches for "smtliboptionscategory".
2013 Feb 06
1
[LLVMdev] Modifying the support CommandLine Library to support option categories and iteration over registered options
...eader name in --help
}
class llvm::cl::DefaultCategory
{
virtual const char* getName() { return "General";}
virtual const char* getHelpDescription() { return "";}
}
then clients in their own code could simply implement their own
categories by sub-classing e.g.
class klee::SMTLIBOptionsCategory : public llvm::cl::OptionCategory
{
virtual const char* getName() { return "SMTLIB";}
virtual const char* getHelpDescription() { return "These options
control the behaviour of the SMTLIB printer";}
}
and now when a client declares an option we could have an additional
appli...