1580
66%

Ran 16 Feb 2021 06:09PM UTC

Jobs 2

Files 470

Run time 36min

Badge

Committed 16 Feb 2021 04:58PM UTC coverage: 65.574%. Remained the same

Build # 1580

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #348 from kquick/yices_abort

Adds --abort-on-int cmdline flag to yices executable.

Run Details

4 of 4 new or added lines in 1 file covered. (100.0%)

75832 of 115644 relevant lines covered (65.57%)

1522421.44 hits per line

Lines	Coverage	∆	File
2	28.2	0.01%	src/frontend/yices/yices_reval.c

ID	Job ID	Ran	Files	Coverage
5	1580.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	16 Feb 2021 06:09PM UTC	470	65.57	Travis Job 1580.5
10	1580.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	16 Feb 2021 06:45PM UTC	0	0.0	Travis Job 1580.10