Lines Matching refs:verif_options

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()
577         if (verif_options.Mode.DebugEnable) {  in EnqueueForVerification()
585         if (!verif_options.Mode.DoNotAssumeLibraryMethodsVerified) {  in EnqueueForVerification()
596     if (verif_options.Show.Status) {  in EnqueueForVerification()