Searched refs:verif_options (Results 1 – 6 of 6) sorted by relevance
114 auto &verif_options = runtime.GetVerificationOptions(); in ProcessSectionUplevel() local125 if (!verif_options.Debug.GetMethodOptions().IsOptionsPresent(uplevel)) { in ProcessSectionUplevel()129 options->AddUpLevel(verif_options.Debug.GetMethodOptions().GetOptions(uplevel)); in ProcessSectionUplevel()171 auto &verif_options = runtime.GetVerificationOptions(); in MethodOptionsProcessor() local172 auto &options = verif_options.Debug.GetMethodOptions().NewOptions(name); in MethodOptionsProcessor()255 auto &verif_options = runtime.GetVerificationOptions(); in SetDefaultMethodOptions() local256 auto &options = verif_options.Debug.GetMethodOptions(); in SetDefaultMethodOptions()
47 auto &verif_options = runtime.GetVerificationOptions(); in RegisterConfigHandlerMethodGroups() local80 … if (!verif_options.Debug.GetMethodOptions().AddOptionsForGroup(ctx.group, ctx.options)) { in RegisterConfigHandlerMethodGroups()
477 auto &&verif_options = runtime.GetVerificationOptions(); in WaitForVerification()478 auto does_not_fail = verif_options.Mode.VerifierDoesNotFail; in WaitForVerification()506 auto &&verif_options = runtime.GetVerificationOptions(); in Verify()507 if (verif_options.Mode.VerifierDoesNotFail) { in Verify()546 auto &&verif_options = runtime.GetVerificationOptions(); in AddJobInQueue()547 auto does_not_fail = verif_options.Mode.VerifierDoesNotFail; in AddJobInQueue()554 auto &&verif_options = runtime.GetVerificationOptions(); in AddJobInQueue()555 auto does_not_fail = verif_options.Mode.VerifierDoesNotFail; in AddJobInQueue()575 auto &&verif_options = runtime.GetVerificationOptions(); in EnqueueForVerification()576 if (verif_options.Enable) { in EnqueueForVerification()[all …]
327 auto &&verif_options = GetVerificationOptions(); in InitializeVerificationResultCache()328 if (verif_options.Enable) { in InitializeVerificationResultCache()330 verifier::JobQueue::Initialize(verif_options.Mode.VerificationThreads); in InitializeVerificationResultCache()337 auto &&cache_file = verif_options.Cache.File; in InitializeVerificationResultCache()
233 auto &verif_options = runtime.GetVerificationOptions(); in NewJob() local235 auto config = verif_options.Debug.GetMethodOptions()[method_name]; in NewJob()238 if (!verif_options.Debug.GetMethodOptions().IsOptionsPresent("default")) { in NewJob()243 … Job {method, cached_method, verif_options.Debug.GetMethodOptions().GetOptions("default")}; in NewJob()
66 auto &verif_options = runtime.GetVerificationOptions(); in SetResult() local67 if (verif_options.Mode.VerifierDoesNotFail) { in SetResult()