diff --git a/regression/validate-trace-xml-schema/check.py b/regression/validate-trace-xml-schema/check.py index eaec65c09c7..2d4b55f6c95 100644 --- a/regression/validate-trace-xml-schema/check.py +++ b/regression/validate-trace-xml-schema/check.py @@ -12,7 +12,7 @@ # some tests in the cbmc suite don't work for the trace checks for one reason or another ExcludedTests = list(map(lambda s: os.path.join(test_base_dir, s), [ - # these tests except input from stdin + # these tests expect input from stdin 'json-interface1/test_wrong_option.desc', 'json-interface1/test.desc', 'json-interface1/test_wrong_flag.desc',