3
36%
master: 36%

Ran 04 Sep 2020 09:41PM UTC

Files 1886

Run time 3min

Badge

Embed ▾

Committed 04 Sep 2020 02:40PM UTC coverage: 37.837%. Remained the same

Job # CMAKE_BUILD_TYPE=Release ENABLE_COVERAGE=ON

Build Type

cron

travis-ci

Committed by

dddejan

Commit Message

Cleanup:
- removing AI support since there is no progress
- removing y2z3 solver since z3 doesn't support interpolation
- adding descriptions for modules in the options

New:
- adding basic simulator engine to be extended

Run Details

6130 of 16201 relevant lines covered (37.84%)

15936.4 hits per line

SRI-CSL / sally / 633 / 3
36%
master: 36%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

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

SRI-CSL / sally / 633 / 3 36% master: 36%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

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

SRI-CSL / sally / 633 / 3
36%
master: 36%

README BADGES
x