Home
last modified time | relevance | path

Searched refs:verified (Results 1 – 11 of 11) sorted by relevance

/art/tools/dexfuzz/src/dexfuzz/listeners/
DLogFileListener.java219 long verified = success + timedOut + truelyDivergent; in handleSummary() local
224 (((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()
/art/test/664-aget-verifier/
Dexpected.txt2 test method successfully verified/compiled.
/art/test/629-vdex-speed/
Dinfo.txt2 methods when the VerifierDeps were verified.
/art/test/546-regression-simplify-catch/
Dinfo.txt2 that was not verified by the verifier.
/art/test/692-vdex-inmem-loader/
Dinfo.txt1 Test that dex files loaded with InMemoryDexClassLoader get verified and the verification results
/art/tools/dexfuzz/src/dexfuzz/fuzzers/
DFuzzer.java218 boolean verified = true; in execute()
221 verified = goldenExecutor.verifyOnHost(programName); in execute()
222 if (verified) { in execute()
227 if (verified) { in execute()
/art/test/606-erroneous-class/jasmin-multidex/
DClassA.j22 ; because the first Dex file has already been verified, we know the class
/art/runtime/interpreter/mterp/
DREADME.txt48 (where it is verified) and assembly (where the definitions are used).
/art/tools/checker/
DREADME30 therefore create a scope within which the assertion is verified.
/art/test/800-smali/smali/
Db_22881413.smali38 # Empty, ignore this. We want to see if the other method can be verified in a reasonable amount of
/art/runtime/
Dclass_linker_test.cc1436 static void CheckMethod(ArtMethod* method, bool verified) in CheckMethod() argument
1439 EXPECT_EQ((method->GetAccessFlags() & kAccSkipAccessChecks) != 0U, verified) in CheckMethod()