啥意思？
static cl::opt<bool> Diagnose("diagnose",
 	                                    cl::desc("Instrument for test case reduction and trace slicing"));
写成这样就行了？