Ran
|
Jobs
1
|
Files
289
|
Run time
51s
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
20 of 20 new or added lines in 2 files covered. (100.0%)
7838 of 16009 relevant lines covered (48.96%)
0.49 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
2 |
66.29 |
1.31% | soottocfg/src/main/java/soottocfg/soot/visitors/SootStmtSwitch.java |
Lines | Coverage | ∆ | File |
---|---|---|---|
18 |
8.51 |
0.0% | jayhorn/src/main/java/jayhorn/solver/princess/HornExpr.java |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 835.1 (TMPDIR=/tmp COVERITY_SCAN_TOKEN=[secure]) | 289 |
48.96 |
Travis Job 835.1 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|