rts: Add an initial Coverity model
authorAustin Seipp <austin@well-typed.com>
Tue, 29 Apr 2014 15:07:50 +0000 (10:07 -0500)
committerAustin Seipp <austin@well-typed.com>
Tue, 29 Apr 2014 19:08:30 +0000 (14:08 -0500)
commit275ea0ff391297b184e5c9cf2f87b26906f0e7e9
tree079d474b92aa399d901989f5231f4a6e78c2cfb8
parent91cc88b3d2dbbd64c63d6359bd32cf3ba3f546ab
rts: Add an initial Coverity model

Signed-off-by: Austin Seipp <austin@well-typed.com>
utils/coverity/model.c [new file with mode: 0644]