9
63%
master: 65%

Ran 03 Oct 2019 11:15PM UTC

Files 430

Run time 29s

Badge

Embed ▾

Committed 03 Oct 2019 10:32PM UTC coverage: 62.874% (+0.09%) from 62.785%

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

Build Type

push

travis-ci

Committed by

BrunoDutertre

Commit Message

Small fixes to mcsat show_statistics + attempt to fix compilation
problems.

Not sure that we can call fileno from a signal handler.

Added -lm (may be required for fclassify on some systems).

Run Details

66884 of 106377 relevant lines covered (62.87%)

1359729.12 hits per line

SRI-CSL / yices2 / 988 / 9
63%
master: 65%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

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

SRI-CSL / yices2 / 988 / 9 63% master: 65%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

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

SRI-CSL / yices2 / 988 / 9
63%
master: 65%

README BADGES
x