3
36%
master: 36%

Ran 04 Sep 2020 02:53PM UTC

Files 1886

Run time 12min

Badge

Embed ▾

Committed 04 Sep 2020 02:40PM UTC coverage: 37.837% (-0.08%) from 37.913%

Job # CMAKE_BUILD_TYPE=Release ENABLE_COVERAGE=ON

Build Type

push

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 / 632 / 3
36%
master: 36%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

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

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

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

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

README BADGES
x