testsuite: make tests known to fail effectively fail
commitcac6d8d34ba6f1617b69134bf7528f4a9768097b
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>
Sun, 12 Feb 2017 23:28:52 +0000 (13 00:28 +0100)
committerChristopher Li <sparse@chrisli.org>
Mon, 13 Feb 2017 01:38:05 +0000 (13 09:38 +0800)
tree68f314b5e7ed64682d97f9927ea94e3da5889ade
parentd8098a73cffc533410528785a5f3a9f6a01b8da6
testsuite: make tests known to fail effectively fail

These tests must fail because some errors which should
be detected are not.
But the test suite lack to see that because those tests
don't have the check-error-start/end section.

Add such a section (with madeup error message) so that the
testsuite now properly see and report the failure.

Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Signed-off-by: Christopher Li <sparse@chrisli.org>
validation/badtype1.c
validation/struct-ns2.c