[LLVMdev] Modifying the support CommandLine Library to support option categories and iteration over registered options

[Tobias Grosser]

On 02/06/2013 07:16 PM, Daniel Liew wrote:
> 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...
[...]
>
> So what do people think? If there are no major objections I'll try and
> implement the ideas I described above and submit a patch.

Hi Dan,

I would be very interested in this feature. What is the progress of this?

Cheers,
Tobias