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 96527e9e0..f9fb19a0e 100755 --- a/src/systemc/tests/verify.py +++ b/src/systemc/tests/verify.py @@ -225,6 +225,7 @@ class LogChecker(Checker): warning_filt(540), warning_filt(569), warning_filt(571), + error_filt(525), error_filt(541), error_filt(542), error_filt(543), |