Home
last modified time | relevance | path

Searched defs:VerificationOptions (Results 1 – 1 of 1) sorted by relevance

/arkcompiler/runtime_core/verification/
Dverification_options.h31 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 {
[all …]