Message ID | 20170212232904.49647-10-luc.vanoostenryck@gmail.com (mailing list archive) |
---|---|
State | Mainlined, archived |
Headers | show |
diff --git a/validation/testsuite-selfcheck1.c b/validation/testsuite-selfcheck1.c new file mode 100644 index 000000000..d927f9961 --- /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 000000000..5309e32f3 --- /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 000000000..6d834e68d --- /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 + */
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com> --- validation/testsuite-selfcheck1.c | 10 ++++++++++ validation/testsuite-selfcheck2.c | 10 ++++++++++ validation/testsuite-selfcheck3.c | 10 ++++++++++ 3 files changed, 30 insertions(+) create mode 100644 validation/testsuite-selfcheck1.c create mode 100644 validation/testsuite-selfcheck2.c create mode 100644 validation/testsuite-selfcheck3.c