From 5b3640ada52f23f41d1c967b44205fbd60b8cd8a Mon Sep 17 00:00:00 2001 From: Thomas Kiley Date: Fri, 17 Apr 2020 18:32:09 +0100 Subject: [PATCH] Correct typo in comment --- regression/validate-trace-xml-schema/check.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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',