Merge pull request #10220 from erik-krogh/overlapsWithNothing

print a correct range for ranges that doesn't contain any alpha-numeric chars
This commit is contained in:
Erik Krogh Kristensen
2022-08-30 15:38:34 +02:00
committed by GitHub
6 changed files with 7 additions and 4 deletions

View File

@@ -173,7 +173,7 @@ module RangePrinter {
}
/** Gets the number of parts we should print for a given `range`. */
private int parts(OverlyWideRange range) { result = 1 + strictcount(cutoff(range, _)) }
private int parts(OverlyWideRange range) { result = 1 + count(cutoff(range, _)) }
/** Holds if the given part of a range should span from `low` to `high`. */
private predicate part(OverlyWideRange range, int part, string low, string high) {