SRI-CSL / yices2 / 278
66%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 384
Run time 5min
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
278

Pull #89

travis-ci

web-flow 
Remove placeholder function

Replacing placeholder function check_assumptions() with yices_check_assumptions() from API
Pull Request #89: Unsat core support

344 of 344 new or added lines in 5 files covered. (100.0%)

60163 of 90767 relevant lines covered (66.28%)

1230145.27 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
6
90.3
 -4.23% src/solvers/cdcl/smt_core.h
15
0.0
 0.0% src/solvers/cdcl/smt_core_printer.c
29
75.91
 -7.36% src/context/context_solver.c
84
24.77
 -0.56% src/api/yices_api.c
185
73.59
 -5.95% src/solvers/cdcl/smt_core.c

Uncovered Existing Lines

Lines Coverage ∆ File
4
71.43
 -28.57% src/context/internalization_table.h
4
81.82
 -18.18% src/context/internalization_codes.h
Jobs
ID Job ID Ran Files Coverage
1 278.1 384
66.28
 Travis Job 278.1
Source Files on build 278