We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent f08356b commit c16fc8eCopy full SHA for c16fc8e
contest/tests/cocci-check.sh
@@ -23,6 +23,9 @@ clean_up_output() {
23
# remove the command lines
24
sed -i '/^\/usr\/local\/bin\/spatch -D report /d' $file
25
26
+ # ignore the str helpers like str_on_off(), we don't care
27
+ sed -i '/: opportunity for str_/d' $file
28
+
29
# if files are removed or added cocci will fail in pre- or post- run
30
sed -i '/^EXN: .*No such file or directory/d' $file
31
sed -i '/^EXN: Coccinelle_modules.Common.Timeout /d' $file
0 commit comments