Ran
|
Jobs
2
|
Files
441
|
Run time
4min
|
Badge
Embed ▾
README BADGES
|
travis-ci
8913 of 8913 new or added lines in 49 files covered. (100.0%)
68013 of 107946 relevant lines covered (63.01%)
1410242.15 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
37.37 |
0.15% | src/frontend/yices_smt2.c |
1 |
89.47 |
-0.66% | src/mcsat/nra/libpoly_utils.c |
1 |
88.63 |
8.07% | src/mcsat/preprocessor.c |
1 |
62.22 |
5.56% | src/mcsat/utils/statistics.c |
2 |
39.87 |
-0.34% | src/frontend/smt2/smt2_commands.c |
2 |
66.99 |
-4.74% | src/mcsat/conflict.c |
2 |
74.66 |
-4.74% | src/mcsat/solver.c |
2 |
83.65 |
5.66% | src/mcsat/watch_list_manager.c |
3 |
83.51 |
-5.63% | src/mcsat/uf/uf_plugin.c |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
9 | 1067.9 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat") | 441 |
63.01 |
Travis Job 1067.9 | |
10 | 1067.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat") | 0 | Travis Job 1067.10 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|