| dev.civl.mc.transform.common |   | 60% | | 56% | 984 | 1,960 | 2,478 | 6,741 | 140 | 468 | 5 | 28 |
| dev.civl.mc.semantics.common | | 71% | | 62% | 766 | 1,733 | 1,525 | 5,434 | 72 | 385 | 4 | 30 |
| dev.civl.mc.model.common | | 73% | | 67% | 770 | 2,112 | 1,560 | 5,921 | 140 | 635 | 4 | 26 |
| dev.civl.mc.run.common | | 34% | | 36% | 399 | 523 | 829 | 1,362 | 239 | 308 | 29 | 45 |
| dev.civl.mc.transform.common.contracts | | 42% | | 37% | 323 | 479 | 945 | 1,668 | 81 | 166 | 6 | 22 |
| dev.civl.mc.state.common.immutable | | 70% | | 67% | 322 | 863 | 679 | 2,282 | 84 | 294 | 3 | 16 |
| dev.civl.mc.model.common.expression | | 60% | | 47% | 439 | 977 | 702 | 1,847 | 173 | 565 | 5 | 47 |
| dev.civl.mc.kripke.common | | 66% | | 62% | 315 | 685 | 583 | 1,819 | 58 | 154 | 4 | 16 |
| dev.civl.mc.dynamic.common | | 61% | | 51% | 192 | 361 | 344 | 913 | 39 | 128 | 3 | 8 |
| dev.civl.mc.library.civlc | | 64% | | 55% | 157 | 304 | 301 | 894 | 20 | 72 | 0 | 12 |
| dev.civl.mc.model.common.statement | | 53% | | 51% | 220 | 452 | 387 | 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% | 82 | 163 | 166 | 538 | 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% | 80 | 138 | 292 | 600 | 11 | 39 | 0 | 2 |
| dev.civl.mc.library.pointer | | 53% | | 36% | 57 | 81 | 144 | 317 | 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.predicate.common | | 55% | | 56% | 64 | 120 | 151 | 334 | 19 | 37 | 2 | 6 |
| dev.civl.mc.library.mem | | 75% | | 71% | 31 | 109 | 100 | 422 | 5 | 40 | 0 | 4 |
| 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 | | 86% | | 58% | 73 | 185 | 96 | 628 | 43 | 138 | 0 | 5 |
| dev.civl.mc.log.IF | | 62% | | 38% | 51 | 81 | 87 | 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.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.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.semantics.IF | | 85% | | 75% | 6 | 26 | 6 | 39 | 5 | 24 | 0 | 10 |
| 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.transform.IF | | 97% | | 70% | 12 | 86 | 3 | 133 | 3 | 71 | 0 | 26 |
| 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 |