search for: printhumanreadable

Displaying 1 result from an estimated 1 matches for "printhumanreadable".

2013 Feb 06
1
[LLVMdev] Modifying the support CommandLine Library to support option categories and iteration over registered options
...eturn "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 applicator llvm::cl::category<TYPE> . For example cl::opt<bool> printHumanReadable("smtlib-human-readable", cl::desc("foobar"), cl::init(false), cl::category<SMTLIBOptionsCategory>); If a client does not place their option in a category then by default the LLVM command line library could put the option in the DefaultCategory. I personally think the abo...