Table 2. A summary of boundary candidates found for bytecount by our method.
Rows 1–7 are for the valid-valid (VV) validity group of type String-String, row 8 for the valid-error (VE) group of type String-BoundsErrror, and row 9 for error-error (EE) group of type BoundsError-BoundsError. The candidates of rows 1–7 are the shortest candidate pairs of each identified cluster.
| Row | Input 1 | Input 2 | Out 1 | Out 2 | Validity |
|---|---|---|---|---|---|
| 1 | false | true | falseB | trueB | VV |
| 2 | 9 | 9B | 10 | 10B | VV |
| 3 | −10 | −9 | −10B | −9B | VV |
| 4 | 999949 | 999950 | 999.9 kB | 1.0 MB | VV |
| 5 | 99949999999999999 | 99950000000000000 | 99.9 PB | 100.0 PB | VV |
| 6 | 9950000000000001999 | 9950000000000002000 | 9.9 EB | 10.0 EB | VV |
| 7 | −1000000000000000000000000000000 | −999999999999999999999999999999 | −1000000000000000000000000000000B | −999999999999999999999999999999B | VV |
| 8 | 999999999999994822656 | 999999999999994822657 | 1000.0 EB | BoundsError(“kMGTPE”, 7) | VE |
| 9 | 999999999999990520104160854016 | 999999999999990520104160854017 | BoundsError(“kMGTPE”, 9) | BoundsError(“kMGTPE”, 10) | EE |