|
Ran
|
Jobs
1
|
Files
10
|
Run time
5s
|
Badge
README BADGES
|
push
circleci
339 of 428 branches covered (79.21%)
Branch coverage included in aggregate %.
476 of 547 relevant lines covered (87.02%)
81.31 hits per line
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 2 |
100.0 |
dist/smtchecker.js | |
| 3 |
100.0 |
dist/abi.js | |
| 6 |
100.0 |
dist/translate.js | |
| 14 |
100.0 |
dist/smtsolver.js | |
| 16 |
100.0 |
dist/wrapper.js | |
| 23 |
100.0 |
dist/solc.js |
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 72797463-4cc1-4f25-a6ff-91089e40bb62.1 | 0 |
83.59 |
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | Branch Hits | Branch Misses |
|---|