| dev.civl.mc.transform.common |   | 59% | | 55% | 1,046 | 2,069 | 2,776 | 7,301 | 150 | 491 | 6 | 31 |
| dev.civl.mc.semantics.common | | 71% | | 63% | 766 | 1,741 | 1,578 | 5,758 | 72 | 385 | 4 | 30 |
| dev.civl.mc.model.common | | 73% | | 67% | 772 | 2,121 | 1,570 | 6,007 | 140 | 635 | 4 | 26 |
| dev.civl.mc.slice.common | | 0% | | 0% | 471 | 471 | 1,157 | 1,157 | 113 | 113 | 14 | 14 |
| dev.civl.mc.run.common | | 35% | | 38% | 400 | 530 | 833 | 1,402 | 239 | 308 | 29 | 45 |
| dev.civl.mc.transform.common.contracts | | 42% | | 37% | 323 | 479 | 945 | 1,668 | 81 | 166 | 6 | 22 |
| dev.civl.mc.kripke.common | | 61% | | 60% | 348 | 719 | 725 | 1,962 | 71 | 167 | 5 | 17 |
| dev.civl.mc.state.common.immutable | | 70% | | 67% | 325 | 867 | 712 | 2,445 | 84 | 294 | 3 | 16 |
| dev.civl.mc.model.common.expression | | 60% | | 48% | 436 | 977 | 696 | 1,847 | 173 | 565 | 5 | 47 |
| dev.civl.mc.dynamic.common | | 61% | | 51% | 192 | 361 | 344 | 913 | 39 | 128 | 3 | 8 |
| dev.civl.mc.library.civlc | | 64% | | 55% | 159 | 307 | 310 | 914 | 20 | 72 | 0 | 12 |
| dev.civl.mc.model.common.statement | | 53% | | 51% | 219 | 452 | 385 | 933 | 78 | 227 | 3 | 16 |
| dev.civl.mc.util.IF | | 32% | | 27% | 139 | 195 | 310 | 478 | 34 | 58 | 3 | 10 |
| dev.civl.mc.library.comm | | 65% | | 52% | 73 | 132 | 199 | 639 | 10 | 34 | 0 | 3 |
| dev.civl.mc.library.common | | 65% | | 57% | 83 | 164 | 212 | 629 | 9 | 41 | 0 | 6 |
| dev.civl.mc.model.common.contract | | 19% | | 8% | 156 | 198 | 287 | 369 | 69 | 108 | 4 | 10 |
| dev.civl.mc.run.IF | | 56% | | 52% | 82 | 140 | 296 | 608 | 11 | 39 | 0 | 2 |
| dev.civl.mc.library.pointer | | 53% | | 36% | 58 | 82 | 169 | 372 | 4 | 16 | 0 | 1 |
| dev.civl.mc.library.pthread | | 29% | | 32% | 37 | 50 | 158 | 231 | 11 | 18 | 0 | 2 |
| dev.civl.mc.library.mpi | | 37% | | 30% | 41 | 59 | 161 | 257 | 11 | 21 | 0 | 2 |
| dev.civl.mc.library.domain | | 36% | | 27% | 40 | 52 | 149 | 244 | 11 | 19 | 0 | 2 |
| dev.civl.mc.model.common.type | | 75% | | 64% | 151 | 466 | 150 | 744 | 76 | 319 | 0 | 24 |
| dev.civl.mc.transform.analysisIF | | 72% | | 66% | 72 | 186 | 134 | 513 | 7 | 46 | 1 | 8 |
| dev.civl.mc.library.mem | | 75% | | 71% | 31 | 109 | 100 | 422 | 5 | 40 | 0 | 4 |
| dev.civl.mc.predicate.common | | 56% | | 57% | 62 | 120 | 148 | 334 | 19 | 37 | 2 | 6 |
| dev.civl.mc.library.stdio | | 78% | | 57% | 43 | 89 | 118 | 481 | 4 | 18 | 0 | 2 |
| dev.civl.mc.analysis.common | | 13% | | 11% | 56 | 63 | 131 | 153 | 15 | 20 | 2 | 4 |
| dev.civl.mc.config.IF | | 85% | | 54% | 87 | 208 | 113 | 689 | 46 | 147 | 0 | 5 |
| dev.civl.mc.log.IF | | 63% | | 40% | 49 | 81 | 85 | 231 | 4 | 23 | 0 | 3 |
| dev.civl.mc.model.common.location | | 77% | | 75% | 44 | 173 | 78 | 373 | 15 | 73 | 0 | 1 |
| dev.civl.mc.library.seq | | 68% | | 73% | 24 | 54 | 45 | 166 | 0 | 7 | 0 | 1 |
| dev.civl.mc.transform.analysis.common | | 55% | | 33% | 48 | 89 | 53 | 129 | 27 | 65 | 2 | 9 |
| dev.civl.mc.library.string | | 76% | | 55% | 32 | 50 | 45 | 217 | 0 | 7 | 0 | 1 |
| dev.civl.mc.library.collate | | 56% | | 31% | 16 | 21 | 41 | 92 | 8 | 12 | 1 | 2 |
| dev.civl.mc.model.common.expression.reference | | 4% | | 0% | 33 | 35 | 63 | 68 | 21 | 23 | 2 | 4 |
| dev.civl.mc.library.time | | 65% | | 45% | 7 | 10 | 15 | 53 | 1 | 4 | 0 | 1 |
| dev.civl.mc.state.IF | | 61% | | 50% | 11 | 28 | 20 | 57 | 10 | 27 | 0 | 5 |
| dev.civl.mc.transform.IF | | 91% | | 65% | 18 | 103 | 12 | 161 | 8 | 87 | 2 | 32 |
| dev.civl.mc.model.IF.contract | | 39% | | n/a | 3 | 4 | 6 | 8 | 3 | 4 | 3 | 4 |
| dev.civl.mc.library.bundle | | 96% | | 87% | 15 | 82 | 6 | 335 | 0 | 20 | 0 | 1 |
| dev.civl.mc.model.IF | | 88% | | 70% | 12 | 44 | 19 | 114 | 10 | 39 | 1 | 10 |
| dev.civl.mc.semantics.IF | | 80% | | 75% | 7 | 27 | 8 | 41 | 6 | 25 | 1 | 11 |
| dev.civl.mc.model.IF.expression | | 92% | | n/a | 1 | 7 | 2 | 26 | 1 | 7 | 1 | 7 |
| dev.civl.mc.library.math | | 73% | | 54% | 5 | 10 | 9 | 32 | 0 | 4 | 0 | 1 |
| dev.civl.mc.model.IF.expression.reference | | 0% | | n/a | 2 | 2 | 6 | 6 | 2 | 2 | 2 | 2 |
| dev.civl.mc.model.common.variable | | 86% | | 73% | 11 | 43 | 11 | 79 | 4 | 30 | 0 | 1 |
| dev.civl.mc | | 0% | | 0% | 4 | 4 | 6 | 6 | 2 | 2 | 1 | 1 |
| dev.civl.mc.transform | | 71% | | 50% | 4 | 7 | 3 | 20 | 1 | 4 | 0 | 1 |
| dev.civl.mc.predicate.IF | | 58% | | n/a | 3 | 6 | 3 | 6 | 3 | 6 | 0 | 1 |
| dev.civl.mc.dynamic.immutable | | 97% | | 93% | 2 | 18 | 2 | 50 | 1 | 10 | 0 | 2 |
| dev.civl.mc.analysis.IF | | 95% | | 100% | 1 | 9 | 1 | 14 | 1 | 5 | 0 | 1 |
| dev.civl.mc.kripke.IF | | 92% | | n/a | 1 | 6 | 1 | 6 | 1 | 6 | 0 | 2 |
| dev.civl.mc.dynamic.IF | | 82% | | n/a | 1 | 3 | 1 | 3 | 1 | 3 | 0 | 1 |
| dev.civl.mc.model.IF.type | | 100% | | n/a | 0 | 2 | 0 | 7 | 0 | 2 | 0 | 2 |
| dev.civl.mc.model.IF.statement | | 100% | | n/a | 0 | 2 | 0 | 13 | 0 | 2 | 0 | 2 |
| dev.civl.mc.library.scope | | 100% | | 50% | 1 | 4 | 0 | 11 | 0 | 3 | 0 | 1 |
| dev.civl.mc.model.IF.location | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 | 0 | 1 |