diff options
| -rw-r--r-- | validation/testsuite-selfcheck1.c | 10 | ||||
| -rw-r--r-- | validation/testsuite-selfcheck2.c | 10 | ||||
| -rw-r--r-- | validation/testsuite-selfcheck3.c | 10 |
3 files changed, 30 insertions, 0 deletions
diff --git a/validation/testsuite-selfcheck1.c b/validation/testsuite-selfcheck1.c new file mode 100644 index 00000000..d927f996 --- /dev/null +++ b/validation/testsuite-selfcheck1.c @@ -0,0 +1,10 @@ +good + +/* + * check-name: selfcheck1 + * check-command: sparse -E $file + * check-output-ignore + * + * check-output-contains: good + * check-output-excludes: evil + */ diff --git a/validation/testsuite-selfcheck2.c b/validation/testsuite-selfcheck2.c new file mode 100644 index 00000000..5309e32f --- /dev/null +++ b/validation/testsuite-selfcheck2.c @@ -0,0 +1,10 @@ +evil + +/* + * check-name: selfcheck2 + * check-command: sparse -E $file + * check-output-ignore + * check-known-to-fail + * + * check-output-contains: good + */ diff --git a/validation/testsuite-selfcheck3.c b/validation/testsuite-selfcheck3.c new file mode 100644 index 00000000..6d834e68 --- /dev/null +++ b/validation/testsuite-selfcheck3.c @@ -0,0 +1,10 @@ +evil + +/* + * check-name: selfcheck3 + * check-command: sparse -E $file + * check-output-ignore + * check-known-to-fail + * + * check-output-excludes: evil + */ |