3
38%
master: 36%

Ran 20 Jun 2019 01:24AM UTC

Files 1635

Run time 53s

Badge

Embed ▾

Committed 20 Jun 2019 01:11AM UTC coverage: 37.932%. First build

Job # CMAKE_BUILD_TYPE=Release ENABLE_COVERAGE=ON

Build Type

push

travis-ci

Committed by

dddejan

Commit Message

1st version of a decicated smt2 parser

- parse formula f
- create transition system <init = f, trans = false>
- check property true

to be used for testing efficiency of hybrid solvers (e.g., QF_NRA benchmarks)

Run Details

6098 of 16076 relevant lines covered (37.93%)

15771.37 hits per line

SRI-CSL / sally / 531 / 3
38%
master: 36%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

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

SRI-CSL / sally / 531 / 3 38% master: 36%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

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

SRI-CSL / sally / 531 / 3
38%
master: 36%

README BADGES
x