Searched refs:divergentVerifiedRatio (Results 1 – 1 of 1) sorted by relevance
235 float divergentVerifiedRatio = in handleSummary() local237 write(String.format("Percentage Divergent/Verified: %.3f%%", divergentVerifiedRatio)); in handleSummary()