diff options
-rwxr-xr-x | src/systemc/tests/verify.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/systemc/tests/verify.py b/src/systemc/tests/verify.py index f9fb19a0e..24a27afe1 100755 --- a/src/systemc/tests/verify.py +++ b/src/systemc/tests/verify.py @@ -225,6 +225,8 @@ class LogChecker(Checker): warning_filt(540), warning_filt(569), warning_filt(571), + error_filt(514), + error_filt(515), error_filt(525), error_filt(541), error_filt(542), |