SRI-CSL / yices2 / 265
66%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 383
Run time 16s
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
265

Pull #87

travis-ci

web-flow 
Merge branch 'master' into mcsat-incremental
Pull Request #87: Mcsat incremental

198 of 198 new or added lines in 18 files covered. (100.0%)

60119 of 90042 relevant lines covered (66.77%)

1238101.28 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
18.46
 0.16% src/io/model_printer.c
1
93.57
 2.66% src/mcsat/bool/cnf.c
1
72.84
 0.18% src/mcsat/nra/nra_plugin.c
1
33.33
 0.0% src/mcsat/tracing.h
2
0.0
 0.0% src/mcsat/tracing.c
4
31.9
 -0.07% src/frontend/yices/yices_reval.c
6
77.53
 0.13% src/context/context.c
6
82.61
 -2.52% src/mcsat/trail.c
7
6.74
 0.15% src/api/context_config.c
8
65.85
 -4.58% src/mcsat/variable_db.c
13
80.1
 3.18% src/mcsat/solver.c

Uncovered Existing Lines

Lines Coverage ∆ File
1
77.53
 0.13% src/context/context.c
1
31.9
 -0.07% src/frontend/yices/yices_reval.c
1
65.85
 -4.58% src/mcsat/variable_db.c
1
80.1
 3.18% src/mcsat/solver.c
Jobs
ID Job ID Ran Files Coverage
1 265.1 383
66.77
 Travis Job 265.1
Source Files on build 265
Coverage ∆ File Lines Relevant Covered Missed Hits/Line