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
232 boolean verified = true; in execute()235 verified = goldenExecutor.verifyOnHost(programName); in execute()236 if (verified) { in execute()241 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).
30 therefore create a scope within which the assertion is verified.
38 # Empty, ignore this. We want to see if the other method can be verified in a reasonable amount of
1429 static void CheckMethod(ArtMethod* method, bool verified) in CheckMethod() argument1432 EXPECT_EQ((method->GetAccessFlags() & kAccSkipAccessChecks) != 0U, verified) in CheckMethod()