diff options
| -rwxr-xr-x | src/systemc/tests/verify.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/systemc/tests/verify.py b/src/systemc/tests/verify.py index 27273ea8f..48e92c714 100755 --- a/src/systemc/tests/verify.py +++ b/src/systemc/tests/verify.py @@ -259,6 +259,7 @@ class LogChecker(DiffingChecker): warning_filt(540), warning_filt(571), info_filt(804), + info_filt(704), in_file_filt, ) test_filt = merge_filts( |