SRI-CSL / yices2 / 983
63%
master: 66%

LAST BUILD BRANCH: reintroduce-interval-approx-nra
DEFAULT BRANCH: master
Ran
Jobs 2
Files 428
Run time 4min
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
983

push

travis-ci

web-flow 
Merge pull request #136 from disteph/mcsat-bv

stats when interrupted, and more printouts for arith explainer

36 of 36 new or added lines in 2 files covered. (100.0%)

66771 of 106216 relevant lines covered (62.86%)

1361787.76 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
3
39.92
 0.88% src/frontend/yices_smt2.c
15
72.84
 -0.67% src/mcsat/bv/explain/arith.c
Jobs
ID Job ID Ran Files Coverage
9 983.9 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat") 428
62.86
 Travis Job 983.9
10 983.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat") 0
Travis Job 983.10
Source Files on build 983