diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2025-04-14 16:07:15 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2025-04-15 11:46:04 +0000 |
| commit | b7285264646c21702afa7317ed90a0d6c06814f8 (patch) | |
| tree | 341fb1bea72994fb800a62b79755dc89eaf078ff /tools | |
| parent | 9b260b0e8a71a22a5fee1bfe673ecc134f6fc4df (diff) | |
tools/syz-declextract: ignore files with non US-ASCII chars
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/syz-declextract/testdata/file_operations.c.probe | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/syz-declextract/testdata/file_operations.c.probe b/tools/syz-declextract/testdata/file_operations.c.probe index 8020b4943..5560952c3 100644 --- a/tools/syz-declextract/testdata/file_operations.c.probe +++ b/tools/syz-declextract/testdata/file_operations.c.probe @@ -3,6 +3,10 @@ { "Name": "/dev/foo", "Cover": [0, 1, 2, 3, 4] + }, + { + "Name": "/dev/CAFÉ NAND", + "Cover": [0, 1, 2, 3, 4] } ], "PCs": [ |