1074
65%

Ran 05 Feb 2020 01:18AM UTC

Jobs 2

Files 441

Run time 11min

Badge

Embed ▾

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

Build # 1074

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

Jobs

ID	Job ID	Ran	Files	Coverage
5	1074.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	05 Feb 2020 01:18AM UTC	0	62.99	Travis Job 1074.5
10	1074.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	05 Feb 2020 01:29AM UTC	0		Travis Job 1074.10

Source Files on build 1074

Detailed source file information is not available for this build.

SRI-CSL / yices2 / 1074
65%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1074

SRI-CSL / yices2 / 1074 65%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1074

SRI-CSL / yices2 / 1074
65%

README BADGES
x