| dev.civl.mc.transform.common |   | 61% | | 56% | 953 | 1,941 | 2,489 | 6,899 | 105 | 435 | 5 | 29 |
| dev.civl.mc.semantics.common | | 70% | | 62% | 758 | 1,709 | 1,736 | 5,904 | 74 | 383 | 4 | 30 |
| dev.civl.mc.model.common | | 73% | | 67% | 773 | 2,089 | 1,584 | 5,920 | 141 | 632 | 4 | 26 |
| dev.civl.mc.slice.common | | 0% | | 0% | 471 | 471 | 1,138 | 1,138 | 113 | 113 | 14 | 14 |
| dev.civl.mc.transform.common.contracts | | 42% | | 37% | 323 | 479 | 945 | 1,668 | 81 | 166 | 6 | 22 |
| dev.civl.mc.run.common | | 13% | | 19% | 327 | 386 | 656 | 808 | 219 | 256 | 25 | 33 |
| dev.civl.mc.model.common.expression | | 56% | | 43% | 451 | 953 | 749 | 1,815 | 192 | 563 | 6 | 46 |
| dev.civl.mc.kripke.common | | 66% | | 64% | 292 | 660 | 578 | 1,794 | 53 | 147 | 4 | 15 |
| dev.civl.mc.state.common.immutable | | 76% | | 72% | 272 | 810 | 531 | 2,257 | 72 | 280 | 3 | 16 |
| dev.civl.mc.run.IF | | 64% | | 59% | 148 | 277 | 436 | 1,178 | 29 | 88 | 4 | 14 |
| dev.civl.mc.dynamic.common | | 61% | | 51% | 192 | 361 | 364 | 986 | 39 | 128 | 3 | 8 |
| dev.civl.mc.model.common.statement | | 53% | | 51% | 219 | 452 | 385 | 933 | 78 | 227 | 3 | 16 |
| dev.civl.mc.library.civlc | | 67% | | 58% | 143 | 291 | 286 | 918 | 18 | 70 | 0 | 12 |
| 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.library.pthread | | 29% | | 32% | 37 | 50 | 158 | 231 | 11 | 18 | 0 | 2 |
| dev.civl.mc.library.pointer | | 53% | | 36% | 58 | 82 | 169 | 372 | 4 | 16 | 0 | 1 |
| dev.civl.mc.library.mpi | | 37% | | 30% | 41 | 59 | 161 | 257 | 11 | 21 | 0 | 2 |
| dev.civl.mc.library.domain | | 36% | | 27% | 40 | 52 | 148 | 243 | 11 | 19 | 0 | 2 |
| dev.civl.mc.model.common.type | | 75% | | 65% | 150 | 460 | 155 | 745 | 77 | 315 | 0 | 24 |
| dev.civl.mc.transform.analysisIF | | 72% | | 66% | 72 | 186 | 134 | 513 | 7 | 46 | 1 | 8 |
| dev.civl.mc.predicate.common | | 55% | | 56% | 64 | 120 | 151 | 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 | | 12% | | 11% | 56 | 63 | 131 | 153 | 15 | 20 | 2 | 4 |
| dev.civl.mc.config.IF | | 85% | | 55% | 84 | 205 | 108 | 697 | 44 | 145 | 0 | 5 |
| dev.civl.mc.log.IF | | 62% | | 39% | 50 | 81 | 86 | 229 | 4 | 23 | 0 | 3 |
| dev.civl.mc.model.common.location | | 78% | | 75% | 44 | 173 | 78 | 373 | 15 | 73 | 0 | 1 |
| dev.civl.mc.library.seq | | 69% | | 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.mem | | 89% | | 82% | 16 | 89 | 36 | 328 | 2 | 35 | 0 | 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% | | 63% | 18 | 97 | 12 | 152 | 8 | 82 | 2 | 30 |
| 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 | 43 | 19 | 108 | 10 | 38 | 1 | 9 |
| dev.civl.mc.model.IF.expression | | 91% | | n/a | 1 | 7 | 2 | 27 | 1 | 7 | 1 | 7 |
| dev.civl.mc.semantics.IF | | 81% | | 75% | 7 | 27 | 8 | 41 | 6 | 25 | 1 | 11 |
| 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 | | 91% | | n/a | 1 | 5 | 1 | 5 | 1 | 5 | 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 |