| commit | 16575df5946643f657772c742f5e7cdc3f9ce00e | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 26 Jul 2018 06:49:15 +0000 (26 09:49 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 26 Jul 2018 06:52:57 +0000 (26 09:52 +0300) | ||
| tree | 1595ec5e9a57ab656a6416dc83c1206c49a7e553 | treesnapshot (tar.gz zip) |
| parent | 1e70b407e2513ff0d1ae96fb8250d30ed3756d07 | commitdiff |
validation: add some mtag tests
These are slightly slow because we need to build the DB and then run the
test.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
These are slightly slow because we need to build the DB and then run the
test.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| validation/sm_mtag1.c | [new file with mode: 0644] | blob |
| validation/sm_mtag2.c | [new file with mode: 0644] | blob |
| validation/sm_mtag3.c | [new file with mode: 0644] | blob |
| validation/smatch_db_test.sh | [new file with mode: 0755] | blob |