Lines Matching defs:VerificationOptions

31 struct VerificationOptions {  struct
32     std::string ConfigFile = "default";
33     VerificationMode Mode = VerificationMode::DISABLED;
34     struct {
36     } Show;
37     CflowOptions Cflow;
38     bool VerifyRuntimeLibraries = false;
39     bool SyncOnClassInitialization = false;
40     size_t VerificationThreads = 1;
41     struct {
44     } Cache;
45     struct {
72     } Debug;
76     bool IsEnabled() const  in IsEnabled()
81     bool IsOnlyVerify() const  in IsOnlyVerify()