zcov: / include/klee/Internal/

Files: 13 Branches Taken: 63.4% 362 / 571
Generated: 2009-05-17 22:47 Branches Executed: 70.6% 403 / 571
Line Coverage: 76.1% 493 / 648

Name Coverage
Line Branches Taken
ADT
88.7%  385 / 434 lines 74.5%  295 / 396 branches
Module
94.4%  17 / 18 lines 57.9%  11 / 19 branches
Support
46.4%  91 / 196 lines 35.9%  56 / 156 branches
Generated: 2009-05-17 22:47 by zcov