Searched refs:digits (Results 1 – 3 of 3) sorted by relevance
120 int digits = (int) Math.ceil(Math.log10(commands.size())); in runVerify() local123 String format = String.format("%%%dd: %%s\n", digits); in runVerify()
212 charset="{}{}{}".format(string.digits,
491 string.ascii_lowercase + string.ascii_uppercase + string.digits)):