alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Improve sanity tests.

Browse source 
* tests/sanity/style.test: improve detection of assert in headers, and
  of template arguments.
This commit is contained in:
Maximilien Colange 2017-03-28 13:08:46 +02:00
parent f6a238efd5
commit 60bf675c10
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
tests/sanity/style.test
View file

@ -150,7 +150,7 @@ for dir in "$TOP/spot" "$TOP/bin" "$TOP/tests"; do
case $file in
*.test);;
*)
$GREP -E '[^<]class[ \t]+[A-Z]' $tmp &&
$GREP -E '(>[^>]*|^[^<]*)class[ \t]+[A-Z]' $tmp &&
diag 'Use lower case class names.'
$GREP '[ ]if(' $tmp &&
@ -267,7 +267,7 @@ for dir in "$TOP/spot" "$TOP/bin" "$TOP/tests"; do
e$GREP '(->|[.])size\(\) [=!]= 0|![a-zA-Z0-9_]*(->|[.])size\(\)|(if |while |assert)\([a-zA-Z0-9_]*(->|[.])size\(\)\)' $tmp &&
diag 'Prefer empty() to check emptiness.'
e$GREP 'assert\((0|!".*")\)' $tmp | $GREP -v 'static_assert' &&
e$GREP 'assert\((0|!".*")\)' $tmp &&
diag 'Prefer SPOT_UNREACHABLE or SPOT_UNIMPLEMENTED.'
e$GREP '^[^=*<]*([+][+]|--);' $tmp &&
@ -307,7 +307,7 @@ for dir in "$TOP/spot" "$TOP/bin" "$TOP/tests"; do
*)
$GREP '#.*include.*priv/' $tmp &&
diag 'Do not include private headers in public headers.'
$GREP -v '#' $tmp | $GREP 'assert[ ]*(.*)' | $GREP -v 'static_assert'&&
$GREP '^[^#]*[^#_]assert[ ]*(.*)' $tmp &&
diag 'Use SPOT_ASSERT() instead of assert() in public headers.'
;;