|
Ran
|
Jobs
1
|
Files
10
|
Run time
7min
|
Badge
README BADGES
|
push
circleci
365 of 460 branches covered (79.35%)
Branch coverage included in aggregate %.
488 of 559 relevant lines covered (87.3%)
118.25 hits per line
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 3 |
100.0 |
dist/abi.js | |
| 12 |
100.0 |
dist/smtsolver.js | |
| 14 |
100.0 |
dist/wrapper.js | |
| 19 |
100.0 |
dist/solc.js |
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | f11eccff-0bb3-4057-98dd-90df8163ae88.1 | 0 |
83.71 |
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | Branch Hits | Branch Misses |
|---|