Lines Matching full:verification
16 #include "verification/config/config_load.h"
17 #include "verification/config/context/context.h"
18 #include "verification/config/debug_breakpoint/breakpoint_private.h"
19 #include "verification/config/whitelist/whitelist_private.h"
20 #include "verification/jobs/thread_pool.h"
21 #include "verification/cache/results_cache.h"
22 #include "verification/util/is_system.h"
464 … LOG(DEBUG, VERIFIER) << "Verification result of method '" << GetFullName() << "' was cached: OK"; in AddJobInQueue()
468 …LOG(DEBUG, VERIFIER) << "Verification result of method '" << GetFullName() << "' was cached: FAIL"; in AddJobInQueue()
475 LOG(DEBUG, VERIFIER) << "Method '" << GetFullName() << "' enqueued for verification"; in AddJobInQueue()
477 … LOG(WARNING, VERIFIER) << "Method '" << GetFullName() << "' cannot be enqueued for verification"; in AddJobInQueue()
508 LOG(DEBUG, VERIFIER) << "Skipping verification of system method " << GetFullName(true); in EnqueueForVerification()
514 LOG(DEBUG, VERIFIER) << "Verification result of method '" << GetFullName(true) << "': SKIP"; in EnqueueForVerification()
550 // verification success: 110 2 2 VERIFIED_OK in BitsToVerificationStage()
551 // verification failed: 101 1 1 VERIFIED_FAIL in BitsToVerificationStage()