Repo Added
|
Files
16
|
Badge
README BADGES
|
push
circleci
274 of 350 branches covered (78.29%)
Branch coverage included in aggregate %.
1 of 1 new or added line in 1 file covered. (100.0%)
1004 of 1116 relevant lines covered (89.96%)
13.27 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | Branch Hits | Branch Misses |
---|---|---|---|---|---|---|---|---|---|
30.77 | smtsolver.js | 61 | 19 | 8 | 11 | 15.0 | 0 | 7 | |
39.73 | test/smtcallback.js | 210 | 104 | 46 | 58 | 1.0 | 12 | 30 | |
52.17 | smtchecker.js | 43 | 17 | 7 | 10 | 4.0 | 5 | 1 | |
86.67 | translate.js | 201 | 86 | 79 | 7 | 50.0 | 51 | 13 | |
90.87 | wrapper.js | 351 | 154 | 142 | 12 | 32.0 | 77 | 10 | |
90.91 | test/index.js | 14 | 9 | 9 | 0 | 1.0 | 1 | 1 | |
94.19 | test/compiler.js | 820 | 378 | 364 | 14 | 9.0 | 90 | 14 | |
100.0 | abi.js | 64 | 26 | 26 | 0 | 8.0 | 26 | 0 | |
100.0 | test/cli.js | 135 | 77 | 77 | 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 |
---|---|---|---|---|---|---|---|
14d6c258... | cli-tests | Make CLI incorrectSource test less picky about error formatting | push | Alex Beregszaszi | circleci | pending completion |