Lines Matching full:discovered
3557 - fixed a threadsafety bug discovered by testing this
3635 dumping on, and discovered that there were many 5-element lists.
11301 - Minor fixups I discovered while working on the autogenerator.
24711 - fixed <rdar://problem/3519285>: integer operations on large negative numbers yield bad results (discovered with "HTMLCrypt")
