Repo Added
|
Files
16
|
Badge
README BADGES
|
circleci
286 of 372 branches covered (76.88%)
Branch coverage included in aggregate %.
27 of 27 new or added lines in 2 files covered. (100.0%)
1083 of 1212 relevant lines covered (89.36%)
21.24 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | Branch Hits | Branch Misses |
---|---|---|---|---|---|---|---|---|---|
30.77 | smtsolver.js | 61 | 19 | 8 | 11 | 24.0 | 0 | 7 | |
36.72 | test/smtcallback.js | 251 | 125 | 51 | 74 | 1.0 | 14 | 38 | |
52.17 | smtchecker.js | 43 | 17 | 7 | 10 | 6.0 | 5 | 1 | |
87.33 | translate.js | 201 | 86 | 79 | 7 | 94.0 + 44 | 52 + 1 | 12 - 1 | |
89.63 | wrapper.js | 351 | 154 | 141 | 13 | 57.0 + 21 | 75 | 12 | |
90.91 | test/index.js | 14 | 9 | 9 | 0 | 1.0 | 1 | 1 | |
94.44 | test/compiler.js | 895 + 71 | 406 + 26 | 392 + 26 | 14 | 14.0 + 5 | 101 + 8 | 15 | |
100.0 | abi.js | 64 | 26 | 26 | 0 | 8.0 | 26 | 0 | |
100.0 | test/cli.js | 263 | 124 | 124 | 0 | 1.0 | 0 | 0 | |
100.0 | test/linker.js | 170 | 81 | 81 | 0 | 1.0 | 0 | 0 |
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
799408eb... | handle-colons-in-file-names-on-0.4.10 | Corectly handle Standard JSON with wrong file name splitting from 0.4.11-0.4.19 in tests | Pull #556 | cameel | circleci | pending completion | |
41a97317... | handle-colons-in-file-names-on-0.4.10 | Corectly handle Standard JSON with wrong file name splitting from 0.4.11-0.4.19 in tests | push | cameel | circleci | pending completion |