Ran
|
Jobs
2
|
Files
453
|
Run time
29min
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
4 of 4 new or added lines in 1 file covered. (100.0%)
71581 of 111812 relevant lines covered (64.02%)
1400223.16 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
2 |
69.67 |
-0.09% | src/context/context_solver.c |
Lines | Coverage | ∆ | File |
---|---|---|---|
6 |
45.45 |
0.0% | src/io/yices_pp.h |
81 |
0.0 |
0.0% | src/io/term_printer.c |
171 |
45.68 |
-1.27% | src/io/yices_pp.c |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|