Searched refs:GiveMeAnS (Results 1 – 3 of 3) sorted by relevance
246 p := fmt.Sprintf("PROBLEM: %d proof%s failed remote checks", nfails, GiveMeAnS(nfails))253 ntf, GiveMeAnS(ntf)))
180 func GiveMeAnS(i int) string { func
1649 problem = fmt.Sprintf("%d followed proof%s failed", num, GiveMeAnS(num))