Ran
|
Jobs
1
|
Files
10
|
Run time
3s
|
Badge
Embed ▾
README BADGES
|
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 |
73.91 |
-1.09% | dist/smtchecker.js |
3 |
88.17 |
-11.83% | dist/abi.js |
6 |
87.42 |
0.0% | dist/translate.js |
14 |
52.05 |
24.78% | dist/smtsolver.js |
16 |
87.29 |
-2.31% | dist/wrapper.js |
23 |
80.33 |
-0.6% | dist/solc.js |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 7ec40130-3ee5-41f1-9aae-8936a3210f05.1 | 10 |
83.59 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | Branch Hits | Branch Misses |
---|