Searched refs:verified (Results 1 – 11 of 11) sorted by relevance
219 long verified = success + timedOut + truelyDivergent; in handleSummary() local224 (((float) (verified)) / iterations) * 100.0f; in handleSummary()228 (((float) timedOut) / (verified)) * 100.0f; in handleSummary()232 (((float) success) / (verified)) * 100.0f; in handleSummary()236 (((float) truelyDivergent) / (verified)) * 100.0f; in handleSummary()
2 test method successfully verified/compiled.
2 methods when the VerifierDeps were verified.
2 that was not verified by the verifier.
1 Test that dex files loaded with InMemoryDexClassLoader get verified and the verification results
218 boolean verified = true; in execute()221 verified = goldenExecutor.verifyOnHost(programName); in execute()222 if (verified) { in execute()227 if (verified) { in execute()
22 ; because the first Dex file has already been verified, we know the class
48 (where it is verified) and assembly (where the definitions are used).
38 # Empty, ignore this. We want to see if the other method can be verified in a reasonable amount of
31 therefore create a scope within which the statement is verified.
1436 static void CheckMethod(ArtMethod* method, bool verified) in CheckMethod() argument1439 EXPECT_EQ((method->GetAccessFlags() & kAccSkipAccessChecks) != 0U, verified) in CheckMethod()