search for: smtliboptionscategori

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

Did you mean: smtliboptionscategory
2013 Feb 06
1
[LLVMdev] Modifying the support CommandLine Library to support option categories and iteration over registered options
Hi, I'm a contributor to the KLEE project (based on LLVM) and I'm currently looking at trying to add the following functionality to KLEE... (1). Be able to iterate through registered command line options and programmatically hide them. We're interested in this because we wish to hide (unless -help-hidden is called) several LLVM options. (2). Be able to place an option into a category