是


On Thu, Feb 7, 2013 at 10:27 AM, jl3937 <notifications@github.com> wrote:

> In lib/Instrumenters/MemoryInstrumenter.cpp:
>
> > @@ -94,6 +96,9 @@ struct MemoryInstrumenter: public ModulePass {
> >  static cl::opt<bool> HookAllPointers("hook-all-pointers",
> >                                       cl::desc("Hook all pointers"));
> >
> > +static cl::opt<bool> Diagnose("diagnose",
> > +                              cl::desc("Instrument for test case reduction"));
>
> 啥意思？
> static cl::opt Diagnose("diagnose",
> cl::desc("Instrument for test case reduction and trace slicing"));
> 写成这样就行了？
>
> —
> Reply to this email directly or view it on GitHub<https://github.com/wujingyue/neongoby/pull/3/files#r2927676>.
>
>



-- 
Jingyue Wu
Department of Computer Science
Columbia University
New York, NY 10027
http://www.cs.columbia.edu/~jingyue