SRI-CSL / yices2 / 264
67%
master: 66%

LAST BUILD BRANCH: mcsat-target-best
DEFAULT BRANCH: master
Ran
Jobs 1
Files 383
Run time 22s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
264

push

travis-ci

web-flow 
Merge branch 'master' into mcsat-incremental

230 of 230 new or added lines in 13 files covered. (100.0%)

60119 of 90042 relevant lines covered (66.77%)

1238101.38 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
21.83
 -0.05% src/frontend/yices_smtcomp.c
2
6.74
 3.21% src/api/context_config.c
3
77.53
 0.0% src/context/context.c
4
0.0
 src/solvers/simplex/gomory_cuts.c
7
92.39
 -2.88% src/solvers/simplex/simplex.c
29
60.0
 -3.89% src/frontend/smt2/smt2_parser.c
30
60.56
 -1.49% src/frontend/smt2/smt2_term_stack.c
32
31.9
 0.02% src/frontend/yices/yices_reval.c
38
46.06
 -0.26% src/frontend/smt2/smt2_commands.c
Jobs
ID Job ID Ran Files Coverage
1 264.1 383
66.77
 Travis Job 264.1
Source Files on build 264
Coverage ∆ File Lines Relevant Covered Missed Hits/Line