| commit | 04cff96defb83981a50e56e37b361d1424dc50ac | [log] [tgz] |
|---|---|---|
| author | Andreas Schneider <asn@cryptomilk.org> | Fri Jul 12 12:23:18 2013 +0200 |
| committer | Andreas Schneider <asn@cryptomilk.org> | Fri Jul 12 12:23:18 2013 +0200 |
| tree | 6d0f84131d490b119fdcfca127faf9dd0970f69c | |
| parent | c3ed974e50e3bb8a13d0a8646261018a2487f168 [diff] |
cov: Add coverity modeling file.
diff --git a/coverity/coverity_model.c b/coverity/coverity_model.c new file mode 100644 index 0000000..fd1416d --- /dev/null +++ b/coverity/coverity_model.c
@@ -0,0 +1,5 @@ +/* Functions to help coverity do static analysis on cmocka */ +void exit_test(const int quit_application) +{ + __coverity_panic__(); +}