diff mbox

[v2,09/14] testsuite: add some selfchecking

Message ID 20170212232904.49647-10-luc.vanoostenryck@gmail.com (mailing list archive)
State Mainlined, archived
Headers show

Commit Message

Luc Van Oostenryck Feb. 12, 2017, 11:28 p.m. UTC
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
diff mbox

Patch

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
+ */