Ran
|
Jobs
1
|
Files
1899
|
Run time
5min
|
Badge
Embed ▾
README BADGES
|
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
0.0 |
src/expr/algebraic_number.h | |
2 |
94.12 |
-0.88% | src/engine/pdkind/pdkind_engine.cpp |
2 |
71.54 |
-0.72% | src/sally.cpp |
2 |
42.5 |
-2.24% | src/smt/solver.h |
2 |
71.43 |
-11.9% | src/utils/statistics.h |
3 |
20.0 |
-3.53% | src/command/command.cpp |
4 |
44.49 |
-2.26% | src/expr/model.cpp |
4 |
30.61 |
-2.72% | src/utils/statistics.cpp |
5 |
64.62 |
-5.38% | src/engine/pdkind/cex_manager.cpp |
5 |
62.13 |
-6.26% | src/system/trace_helper.cpp |
8 |
70.26 |
-0.11% | src/smt/yices2/yices2_internal.cpp |
13 |
7.14 |
src/command/checksat.cpp | |
19 |
5.0 |
src/command/interpolate.cpp | |
24 |
4.0 |
src/command/generalize.cpp | |
53 |
48.07 |
-8.91% | src/expr/value.cpp |
67 |
33.0 |
src/expr/algebraic_number.cpp |
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
82.54 |
-1.59% | src/smt/d4y2/d4y2.cpp |
2 |
76.67 |
-6.67% | src/smt/dreal/dreal.cpp |
2 |
66.54 |
-0.74% | src/smt/dreal/dreal_internal.cpp |
2 |
92.5 |
-4.72% | src/utils/smart_ptr.h |
6 |
44.49 |
-2.26% | src/expr/model.cpp |
7 |
48.07 |
-8.91% | src/expr/value.cpp |
10 |
62.13 |
-6.26% | src/system/trace_helper.cpp |
12 |
36.08 |
-6.19% | src/expr/rational.cpp |
359 |
49.38 |
-0.84% | src/parser/mcmt/mcmtLexer.c |
555 |
53.2 |
-6.8% | src/parser/mcmt/mcmtParser.c |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
3 | 696.3 (CMAKE_BUILD_TYPE=Release ENABLE_COVERAGE=ON) | 1899 |
37.07 |
Travis Job 696.3 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|