1082
67%

Ran 08 Feb 2020 05:51PM UTC

Jobs 2

Files 442

Run time 12min

Badge

Embed ▾

Committed 08 Feb 2020 05:45PM UTC coverage: 62.843%. Remained the same

Build # 1082

Build Type

push

travis-ci

Committed by

BrunoDutertre

Commit Message

Allow build using GNU GCC on MacOS

src/Makefile:644 appends '-Qunused-arguments' to CFLAGS, which assumes Clang is
used for the build. This PR adds some detection to distinguish between
clang-disguised-as-gcc and true GNU GCC, omitting the argument in the latter
case.

Run Details

68027 of 108249 relevant lines covered (62.84%)

1406337.93 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
5	1082.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	08 Feb 2020 05:51PM UTC	0	62.84	Travis Job 1082.5
10	1082.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	08 Feb 2020 06:03PM UTC	0		Travis Job 1082.10

Source Files on build 1082

Detailed source file information is not available for this build.

SRI-CSL / yices2 / 1082
67%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1082

SRI-CSL / yices2 / 1082 67%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1082

SRI-CSL / yices2 / 1082
67%

README BADGES
x