5
65%
master: 65%

Ran 14 May 2020 04:13AM UTC

Files 444

Run time 42s

Badge

Embed ▾

Committed 14 May 2020 04:07AM UTC coverage: 62.711% (-0.004%) from 62.715%

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

Build Type

push

travis-ci

Committed by

BrunoDutertre

Commit Message

Closes #210. Extends `timeout_handler()` for exists-forall mode; adds `init_timeout()`, `start_timeout()`, and `clear_timeout()` in `efsolve_cmd()`; and implements `ef_solver_stop_search()`.

Run Details

69019 of 110058 relevant lines covered (62.71%)

1395971.37 hits per line

SRI-CSL / yices2 / 1251 / 5
65%
master: 65%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

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

SRI-CSL / yices2 / 1251 / 5 65% master: 65%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

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

SRI-CSL / yices2 / 1251 / 5
65%
master: 65%

README BADGES
x