| dev.civl.mc.transform.common |   | 61% | | 56% | 986 | 1,953 | 2,388 | 6,536 | 140 | 467 | 5 | 28 |
| dev.civl.mc.semantics.common | | 72% | | 63% | 737 | 1,703 | 1,388 | 5,284 | 68 | 381 | 4 | 30 |
| dev.civl.mc.model.common | | 75% | | 69% | 727 | 2,065 | 1,329 | 5,279 | 135 | 626 | 4 | 26 |
| dev.civl.mc.transform.common.contracts | | 2% | | 1% | 333 | 337 | 970 | 995 | 121 | 125 | 20 | 21 |
| dev.civl.mc.run.common | | 34% | | 36% | 399 | 523 | 829 | 1,362 | 239 | 308 | 29 | 45 |
| dev.civl.mc.model.common.expression | | 64% | | 51% | 394 | 934 | 606 | 1,756 | 153 | 545 | 3 | 45 |
| dev.civl.mc.kripke.common | | 70% | | 66% | 283 | 653 | 464 | 1,649 | 51 | 147 | 3 | 15 |
| dev.civl.mc.dynamic.common | | 60% | | 51% | 194 | 361 | 352 | 913 | 40 | 128 | 3 | 8 |
| dev.civl.mc.state.common.immutable | | 79% | | 73% | 238 | 722 | 413 | 1,805 | 75 | 268 | 3 | 15 |
| dev.civl.mc.library.civlc | | 65% | | 56% | 152 | 299 | 287 | 880 | 19 | 71 | 0 | 12 |
| dev.civl.mc.model.common.statement | | 55% | | 52% | 201 | 433 | 351 | 897 | 64 | 213 | 2 | 15 |
| 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.run.IF | | 58% | | 54% | 79 | 138 | 280 | 600 | 11 | 39 | 0 | 2 |
| dev.civl.mc.model.common.contract | | 22% | | 10% | 131 | 173 | 240 | 320 | 54 | 93 | 3 | 9 |
| 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.transform.analysisIF | | 65% | | 60% | 80 | 186 | 167 | 513 | 9 | 46 | 1 | 8 |
| dev.civl.mc.library.domain | | 36% | | 27% | 40 | 52 | 149 | 244 | 11 | 19 | 0 | 2 |
| dev.civl.mc.model.common.type | | 74% | | 64% | 153 | 466 | 154 | 744 | 78 | 319 | 0 | 24 |
| 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 | | 13% | | 11% | 56 | 63 | 131 | 153 | 15 | 20 | 2 | 4 |
| dev.civl.mc.library.mem | | 78% | | 73% | 28 | 106 | 65 | 340 | 4 | 39 | 0 | 4 |
| dev.civl.mc.config.IF | | 86% | | 58% | 74 | 186 | 97 | 630 | 44 | 139 | 1 | 6 |
| 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.mpi | | 77% | | 42% | 24 | 43 | 49 | 157 | 3 | 14 | 0 | 3 |
| dev.civl.mc.library.string | | 76% | | 55% | 32 | 50 | 45 | 217 | 0 | 7 | 0 | 1 |
| 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 | | 0% | | 0% | 7 | 7 | 20 | 20 | 4 | 4 | 1 | 1 |
| 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.contract | | 45% | | n/a | 2 | 3 | 4 | 6 | 2 | 3 | 2 | 3 |
| dev.civl.mc.model.IF.expression | | 91% | | n/a | 1 | 6 | 2 | 22 | 1 | 6 | 1 | 6 |
| 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.IF | | 97% | | 70% | 12 | 86 | 4 | 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 | 12 | 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 |