aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/include-eval.inc
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2018-04-28 11:54:43 +0200
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2018-05-04 18:55:44 +0200
commit13b85df87ae16206df4615ae911c284684b3f3bc (patch)
tree1e53a1b12ec5b797bb995c6469e5106976c49309 /validation/include-eval.inc
parent78389300348804c26c231f56e1c8156082957a64 (diff)
downloadsparse-dev-13b85df87ae16206df4615ae911c284684b3f3bc.tar.gz
testsuite: add check-assert
Ideally, the testcases should be universal but it happen than some of them need to test some specificities or are meaningless or plainly wrong in some situations. In such cases, these tests must but ignored. Currently, the only the only mechanisms a test are: 1) ignoring the tests depending on a tool which cannot be compiled (like, for example, those using sparse-llvm when LLVM is not installed. 2) some rather corse criteria using the name of the arch used to run the tests. Allow more flexibility by allowing to exclude some tests based on the success or failure of an arbitrary condition via _Static_assert(). Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/include-eval.inc')
0 files changed, 0 insertions, 0 deletions