diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-02-13 00:28:59 +0100 |
|---|---|---|
| committer | Christopher Li <sparse@chrisli.org> | 2017-02-13 09:38:14 +0800 |
| commit | 3be53df1165cf0603282cb3138a2ad9df36048a7 (patch) | |
| tree | f1eae2c906bef1cf54c6dce90bfe4eb9fd8bbd55 /validation | |
| parent | f832788b65c99344761c98a75edd05dc8aca0ec3 (diff) | |
| download | sparse-dev-3be53df1165cf0603282cb3138a2ad9df36048a7.tar.gz | |
testsuite: add some selfchecking
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Signed-off-by: Christopher Li <sparse@chrisli.org>
Diffstat (limited to 'validation')
| -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 + */ |