Ran
|
Jobs
1
|
Files
86
|
Run time
6s
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
6202 of 11100 relevant lines covered (55.87%)
225013.58 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
4 |
79.12 |
0.0% | /usr0/home/soonhok/work/dreal3/src/contractor/contractor_ibex.cpp |
12 |
66.67 |
0.0% | /usr0/home/soonhok/work/dreal3/src/opensmt/smtsolvers/CoreSMTSolver.h |
30 |
38.24 |
-0.28% | /usr0/home/soonhok/work/dreal3/src/opensmt/parsers/smt2/smt2lexer.ll |
38 |
66.45 |
-0.43% | /usr0/home/soonhok/work/dreal3/src/opensmt/smtsolvers/CoreSMTSolver.C |
163 |
42.65 |
0.0% | /usr0/home/soonhok/work/dreal3/src/opensmt/api/OpenSMTContext.C |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | #6.1 | 86 |
55.87 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|