Lines Matching full:verified
2494 // r1: pushed function (to be verified)2725 // r1: pushed function (to be verified)
