Lines Matching full:verification
16 #include "verification/debug/config_load.h"
17 #include "verification/debug/allowlist/allowlist.h"
18 #include "verification/job_queue/job_queue.h"
19 #include "verification/job_queue/job_fill.h"
20 #include "verification/cache/results_cache.h"
21 #include "verification/util/invalid_ref.h"
531 … LOG(INFO, VERIFIER) << "Verification result of method '" << GetFullName() << "' was cached: OK"; in AddJobInQueue()
535 … LOG(INFO, VERIFIER) << "Verification result of method '" << GetFullName() << "' was cached: FAIL"; in AddJobInQueue()
544 … << "' cannot be enqueued for verification. Cannot create job object."; in AddJobInQueue()
552 … LOG(INFO, VERIFIER) << "Method '" << GetFullName() << "' cannot be enqueued for verification"; in AddJobInQueue()
562 << reinterpret_cast<uintptr_t>(this) << " ) enqueued for verification"; in AddJobInQueue()
597 LOG(INFO, VERIFIER) << "Verification result of method '" << GetFullName() << "': SKIP"; in EnqueueForVerification()
627 // verification success: 110 2 2 VERIFIED_OK in BitsToVerificationStage()
628 // verification failed: 101 1 1 VERIFIED_FAIL in BitsToVerificationStage()