diff options
author | Roozbeh Pournader <roozbeh@google.com> | 2014-07-31 23:30:52 -0700 |
---|---|---|
committer | James Godfrey-Kittle <jamesgk@google.com> | 2015-04-16 12:16:21 -0700 |
commit | 308edc3450450342faf1d196d9e29c694e7b3e67 (patch) | |
tree | ad5ac8aae995644c375a7dae61d75e601c380fab /scripts/coverage_test.py | |
parent | 844b53257db046c56b2b46e6dee4214f3f73ad0f (diff) |
Make sure Unicode 8.0 characters are not asked for.
coverage_test.py didn't check that the characters is not post-Unicode 7.0.
Diffstat (limited to 'scripts/coverage_test.py')
-rwxr-xr-x | scripts/coverage_test.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/coverage_test.py b/scripts/coverage_test.py index bb25041..92974c7 100755 --- a/scripts/coverage_test.py +++ b/scripts/coverage_test.py @@ -69,7 +69,7 @@ def _defined_characters_in_range(range_str): """Given a range string, returns defined Unicode characters in the range.""" characters = set() for code in _range_string_to_set(range_str): - if unicode_data.is_defined(code): + if unicode_data.is_defined(code) and unicode_data.age(code) is not None: characters.add(code) return characters |