diff options
| author | Andreas Schneider <asn@cryptomilk.org> | 2013-07-12 12:23:18 +0200 |
|---|---|---|
| committer | Andreas Schneider <asn@cryptomilk.org> | 2013-07-12 12:23:18 +0200 |
| commit | 04cff96defb83981a50e56e37b361d1424dc50ac (patch) | |
| tree | 6d0f84131d490b119fdcfca127faf9dd0970f69c /coverity | |
| parent | c3ed974e50e3bb8a13d0a8646261018a2487f168 (diff) | |
| download | cmocka-04cff96defb83981a50e56e37b361d1424dc50ac.tar.gz cmocka-04cff96defb83981a50e56e37b361d1424dc50ac.tar.bz2 cmocka-04cff96defb83981a50e56e37b361d1424dc50ac.zip | |
cov: Add coverity modeling file.
Diffstat (limited to 'coverity')
| -rw-r--r-- | coverity/coverity_model.c | 5 |
1 files changed, 5 insertions, 0 deletions
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__(); +} |