Ran
|
Jobs
1
|
Files
16
|
Run time
2s
|
Badge
Embed ▾
README BADGES
|
circleci
351 of 441 branches covered (0.0%)
Branch coverage included in aggregate %.
524 of 595 relevant lines covered (88.07%)
80.92 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
3 |
88.17 |
1.63% | dist/abi.js |
3 |
85.71 |
1.5% | dist/bindings/core.js |
12 |
52.05 |
-6.28% | dist/smtsolver.js |
19 |
80.33 |
-0.85% | dist/solc.js |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 8221.1 | 16 |
84.46 |
CircleCI Job |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | Branch Hits | Branch Misses |
---|