Ran
|
Files
15
|
Run time
5s
|
Badge
README BADGES
|
push
circleci
272 of 338 branches covered (80.47%)
Branch coverage included in aggregate %.
974 of 1069 relevant lines covered (91.11%)
13.51 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | Branch Hits | Branch Misses |
---|---|---|---|---|---|---|---|---|---|
30.77 | smtsolver.js | 61 | 19 | 8 | 11 | 12.0 | |||
46.28 | test/smtcallback.js | 169 | 89 | 46 | 43 | 1.0 | |||
52.17 | smtchecker.js | 43 | 17 | 7 | 10 | 3.0 | |||
86.67 | translate.js | 201 | 86 | 79 | 7 | 49.0 | |||
90.91 | test/index.js | 14 | 9 | 9 | 0 | 1.0 | |||
92.53 | wrapper.js | 351 | 154 | 144 | 10 | 30.0 | |||
94.19 | test/compiler.js | 820 | 378 | 364 | 14 | 9.0 | |||
100.0 | abi.js | 64 | 26 | 26 | 0 | 6.0 | |||
100.0 | test/cli.js | 94 | 57 | 57 | 0 | 1.0 | |||
100.0 | test/linker.js | 170 | 81 | 81 | 0 | 1.0 |