5
65%
master: 65%

Ran 05 Feb 2020 01:18AM UTC

Files 441

Run time 52s

Badge

Embed ▾

Committed 05 Feb 2020 12:57AM UTC coverage: 62.994% (-0.02%) from 63.014%

Job # BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat"

Build Type

push

travis-ci

Committed by

BrunoDutertre

Commit Message

Support for reduced model generation.

Added code to compute the variables/uninterpreted terms whose
value is enough to derive the value of a term t in a model.
That's a subset of all free variables/uninterpreted terms of t.
We call this subset the support of t in the model.

Run Details

68022 of 107982 relevant lines covered (62.99%)

1409815.29 hits per line

SRI-CSL / yices2 / 1074 / 5
65%
master: 65%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1074.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")

SRI-CSL / yices2 / 1074 / 5 65% master: 65%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1074.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")

SRI-CSL / yices2 / 1074 / 5
65%
master: 65%

README BADGES
x