988
63%
master: 66%

Ran 03 Oct 2019 10:59PM UTC

Jobs 2

Files 0

Run time –

Badge

Embed ▾

pending completion

Build # 988

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

Jobs

ID	Job ID	Ran	Files	Coverage
9	988.9 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	03 Oct 2019 11:15PM UTC	430	62.87	Travis Job 988.9
10	988.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	03 Oct 2019 10:59PM UTC	0		Travis Job 988.10

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 988

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 988

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

README BADGES
x