Skip to content

Commit 5b3640a

Browse files
author
Thomas Kiley
committed
Correct typo in comment
1 parent ac0402f commit 5b3640a

File tree

1 file changed

+1
-1
lines changed
  • regression/validate-trace-xml-schema

1 file changed

+1
-1
lines changed

regression/validate-trace-xml-schema/check.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@
1212

1313
# some tests in the cbmc suite don't work for the trace checks for one reason or another
1414
ExcludedTests = list(map(lambda s: os.path.join(test_base_dir, s), [
15-
# these tests except input from stdin
15+
# these tests expect input from stdin
1616
'json-interface1/test_wrong_option.desc',
1717
'json-interface1/test.desc',
1818
'json-interface1/test_wrong_flag.desc',

0 commit comments

Comments
 (0)