| dev.civl.mc.transform.common |   | 61% | | 56% | 986 | 1,953 | 2,388 | 6,536 | 140 | 467 | 5 | 28 |
| dev.civl.mc.semantics.common | | 76% | | 67% | 678 | 1,703 | 1,157 | 5,284 | 65 | 381 | 4 | 30 |
| dev.civl.mc.model.common | | 76% | | 70% | 700 | 2,065 | 1,252 | 5,279 | 128 | 626 | 4 | 26 |
| dev.civl.mc.transform.common.contracts | | 2% | | 1% | 333 | 337 | 970 | 995 | 121 | 125 | 20 | 21 |
| dev.civl.mc.run.common | | 35% | | 37% | 397 | 523 | 825 | 1,362 | 239 | 308 | 29 | 45 |
| dev.civl.mc.model.common.expression | | 68% | | 54% | 372 | 934 | 541 | 1,756 | 141 | 545 | 3 | 45 |
| dev.civl.mc.kripke.common | | 72% | | 67% | 272 | 653 | 423 | 1,649 | 48 | 147 | 3 | 15 |
| dev.civl.mc.dynamic.common | | 60% | | 51% | 193 | 361 | 350 | 913 | 40 | 128 | 3 | 8 |
| dev.civl.mc.state.common.immutable | | 79% | | 74% | 233 | 722 | 408 | 1,805 | 74 | 268 | 3 | 15 |
| dev.civl.mc.library.civlc | | 66% | | 57% | 149 | 299 | 281 | 880 | 19 | 71 | 0 | 12 |
| dev.civl.mc.model.common.statement | | 61% | | 56% | 183 | 433 | 311 | 897 | 53 | 213 | 2 | 15 |
| dev.civl.mc.library.common | | 61% | | 54% | 86 | 163 | 178 | 538 | 9 | 41 | 0 | 6 |
| 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.run.IF | | 59% | | 56% | 77 | 138 | 268 | 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.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.contract | | 44% | | 34% | 108 | 173 | 166 | 320 | 46 | 93 | 3 | 9 |
| dev.civl.mc.model.common.type | | 77% | | 67% | 144 | 466 | 137 | 744 | 74 | 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% | | 61% | 72 | 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.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 | | 63% | | 37% | 23 | 40 | 54 | 144 | 3 | 13 | 0 | 2 |
| dev.civl.mc.library.string | | 76% | | 55% | 32 | 50 | 45 | 217 | 0 | 7 | 0 | 1 |
| dev.civl.mc.model.common.expression.reference | | 12% | | 4% | 31 | 35 | 58 | 68 | 19 | 23 | 2 | 4 |
| dev.civl.mc.library.time | | 65% | | 45% | 7 | 10 | 15 | 53 | 1 | 4 | 0 | 1 |
| dev.civl.mc.model.common.location | | 92% | | 90% | 33 | 173 | 28 | 373 | 14 | 73 | 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.contract | | 45% | | n/a | 2 | 3 | 4 | 6 | 2 | 3 | 2 | 3 |
| dev.civl.mc.model.IF | | 91% | | 90% | 10 | 44 | 15 | 114 | 9 | 39 | 1 | 10 |
| 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.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.model.common.variable | | 91% | | 84% | 8 | 43 | 8 | 79 | 4 | 30 | 0 | 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 |