3
37%
master: 36%

Ran 18 Mar 2021 07:27PM UTC

Files 1883

Run time 7min

Badge

Embed ▾

Committed 18 Mar 2021 06:21PM UTC coverage: 0.0%. Remained the same

Job # CMAKE_BUILD_TYPE=Release ENABLE_COVERAGE=ON

Build Type

push

travis-ci

Committed by

dddejan

Commit Message

- remove dreal failing tests
- fix caucy schwartz so it doesn't mess with cmake
- remove bernoulli
- better use of interpolation API from yices (need to set option)

Run Details

0 of 0 relevant lines covered (NaN%)

0.0 hits per line

SRI-CSL / sally / 691 / 3
37%
master: 36%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 691.3 (CMAKE_BUILD_TYPE=Release ENABLE_COVERAGE=ON)

SRI-CSL / sally / 691 / 3 37% master: 36%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 691.3 (CMAKE_BUILD_TYPE=Release ENABLE_COVERAGE=ON)

SRI-CSL / sally / 691 / 3
37%
master: 36%

README BADGES
x