Ran
|
Jobs
1
|
Files
289
|
Run time
32s
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
5 of 5 new or added lines in 1 file covered. (100.0%)
7841 of 16013 relevant lines covered (48.97%)
0.49 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
2 |
63.74 |
-0.07% | jayhorn/src/main/java/jayhorn/solver/princess/PrincessProver.java |
Lines | Coverage | ∆ | File |
---|---|---|---|
2 |
60.0 |
-13.33% | soottocfg/src/main/java/soottocfg/cfg/expression/literal/NullLiteral.java |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 838.1 (TMPDIR=/tmp COVERITY_SCAN_TOKEN=[secure]) | 289 |
48.97 |
Travis Job 838.1 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|