coverity: Add modeling file for assert functions.
authorAndreas Schneider <asn@cryptomilk.org>
Mon, 29 Jul 2013 17:39:46 +0000 (19:39 +0200)
committerAndreas Schneider <asn@cryptomilk.org>
Mon, 29 Jul 2013 17:40:12 +0000 (19:40 +0200)
commitc69d643581fd9eea780429a0fb77fb8993181044
tree740790e004f0178680689055bc903f37dc2acc9f
parentce9c96b9e962f618804c7303e866098342d4d528
coverity: Add modeling file for assert functions.
coverity/README [new file with mode: 0644]
coverity/coverity_assert_model.c [new file with mode: 0644]
coverity/coverity_internal_model.c [moved from coverity/coverity_model.c with 100% similarity]