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